0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
4.13/8.23 c #variables 33692 #constraints 737365
242.78/247.59 c #Conflicts: 1000 | #Constraints: 738364
242.78/247.59 c #Conflicts: 2000 | #Constraints: 739364
242.78/247.59 c INPROCESSING
242.78/247.59 c #Conflicts: 3000 | #Constraints: 738971
242.78/247.59 c #Conflicts: 4000 | #Constraints: 739971
242.78/247.59 c INPROCESSING
242.78/247.59 c #Conflicts: 5000 | #Constraints: 739452
242.78/247.59 c #Conflicts: 6000 | #Constraints: 740452
242.78/247.59 c INPROCESSING
242.78/247.59 c #Conflicts: 7000 | #Constraints: 739566
242.78/247.59 c #Conflicts: 8000 | #Constraints: 740566
242.78/247.59 c #Conflicts: 9000 | #Constraints: 741566
242.78/247.59 c #Conflicts: 10000 | #Constraints: 742566
242.78/247.59 c #Conflicts: 11000 | #Constraints: 743566
242.78/247.59 c #Conflicts: 12000 | #Constraints: 744566
242.78/247.59 c INPROCESSING
242.78/247.59 c rational objective 1418.6
713.24/719.22 c #Conflicts: 13000 | #Constraints: 741559
713.24/719.22 c #Conflicts: 14000 | #Constraints: 742559
713.24/719.22 c #Conflicts: 15000 | #Constraints: 743559
713.24/719.22 c #Conflicts: 16000 | #Constraints: 744559
713.24/719.22 c #Conflicts: 17000 | #Constraints: 745559
713.24/719.22 c #Conflicts: 18000 | #Constraints: 746559
713.24/719.22 c #Conflicts: 19000 | #Constraints: 747559
713.24/719.22 c #Conflicts: 20000 | #Constraints: 748559
713.24/719.22 c #Conflicts: 21000 | #Constraints: 749559
713.24/719.22 c INPROCESSING
713.24/719.22 c #Conflicts: 22000 | #Constraints: 744515
713.24/719.22 c #Conflicts: 23000 | #Constraints: 745515
713.24/719.22 c #Conflicts: 24000 | #Constraints: 746515
713.24/719.22 c #Conflicts: 25000 | #Constraints: 747515
713.24/719.22 c INPROCESSING
713.24/719.22 c #Conflicts: 26000 | #Constraints: 743122
713.24/719.22 c #Conflicts: 27000 | #Constraints: 744122
713.24/719.22 c #Conflicts: 28000 | #Constraints: 745122
713.24/719.22 c #Conflicts: 29000 | #Constraints: 746122
713.24/719.22 c #Conflicts: 30000 | #Constraints: 747122
713.24/719.22 c #Conflicts: 31000 | #Constraints: 748122
713.24/719.22 c #Conflicts: 32000 | #Constraints: 749122
713.24/719.22 c #Conflicts: 33000 | #Constraints: 750122
713.24/719.22 c #Conflicts: 34000 | #Constraints: 751122
713.24/719.22 c #Conflicts: 35000 | #Constraints: 752122
713.24/719.22 c #Conflicts: 36000 | #Constraints: 753122
713.24/719.22 c #Conflicts: 37000 | #Constraints: 754122
713.24/719.22 c INPROCESSING
713.24/719.22 c GARBAGE COLLECT
713.24/719.22 c #Conflicts: 38000 | #Constraints: 746840
713.24/719.22 c #Conflicts: 39000 | #Constraints: 747840
713.24/719.22 c #Conflicts: 40000 | #Constraints: 748840
713.24/719.22 c #Conflicts: 41000 | #Constraints: 749840
713.24/719.22 c #Conflicts: 42000 | #Constraints: 750840
713.24/719.22 c #Conflicts: 43000 | #Constraints: 751840
713.24/719.22 c #Conflicts: 44000 | #Constraints: 752840
713.24/719.22 c #Conflicts: 45000 | #Constraints: 753840
713.24/719.22 c #Conflicts: 46000 | #Constraints: 754840
713.24/719.22 c #Conflicts: 47000 | #Constraints: 755840
713.24/719.22 c #Conflicts: 48000 | #Constraints: 756840
713.24/719.22 c #Conflicts: 49000 | #Constraints: 757840
713.24/719.22 c #Conflicts: 50000 | #Constraints: 758840
713.24/719.22 c INPROCESSING
713.24/719.22 c #Conflicts: 51000 | #Constraints: 749314
713.24/719.22 c #Conflicts: 52000 | #Constraints: 750314
713.24/719.22 c #Conflicts: 53000 | #Constraints: 751314
713.24/719.22 c #Conflicts: 54000 | #Constraints: 752314
713.24/719.22 c #Conflicts: 55000 | #Constraints: 753314
713.24/719.22 c #Conflicts: 56000 | #Constraints: 754314
713.24/719.22 c #Conflicts: 57000 | #Constraints: 755314
713.24/719.22 c #Conflicts: 58000 | #Constraints: 756314
713.24/719.22 c #Conflicts: 59000 | #Constraints: 757314
713.24/719.22 c #Conflicts: 60000 | #Constraints: 758314
713.24/719.22 c #Conflicts: 61000 | #Constraints: 759314
713.24/719.22 c #Conflicts: 62000 | #Constraints: 760314
713.24/719.22 c #Conflicts: 63000 | #Constraints: 761314
713.24/719.22 c #Conflicts: 64000 | #Constraints: 762314
713.24/719.22 c #Conflicts: 65000 | #Constraints: 763314
713.24/719.22 c INPROCESSING
713.24/719.22 c #Conflicts: 66000 | #Constraints: 751291
713.24/719.22 c #Conflicts: 67000 | #Constraints: 752291
713.24/719.22 c #Conflicts: 68000 | #Constraints: 753291
713.24/719.22 c #Conflicts: 69000 | #Constraints: 754291
713.24/719.22 c #Conflicts: 70000 | #Constraints: 755291
713.24/719.22 c #Conflicts: 71000 | #Constraints: 756291
713.24/719.22 c #Conflicts: 72000 | #Constraints: 757291
713.24/719.22 c #Conflicts: 73000 | #Constraints: 758291
713.24/719.22 c #Conflicts: 74000 | #Constraints: 759291
713.24/719.22 c #Conflicts: 75000 | #Constraints: 760291
713.24/719.22 c #Conflicts: 76000 | #Constraints: 761291
713.24/719.22 c #Conflicts: 77000 | #Constraints: 762291
713.24/719.22 c #Conflicts: 78000 | #Constraints: 763291
713.24/719.22 c #Conflicts: 79000 | #Constraints: 764291
713.24/719.22 c #Conflicts: 80000 | #Constraints: 765291
713.24/719.22 c #Conflicts: 81000 | #Constraints: 766291
713.24/719.22 c #Conflicts: 82000 | #Constraints: 767291
713.24/719.22 c #Conflicts: 83000 | #Constraints: 768291
713.24/719.22 c INPROCESSING
713.24/719.22 c GARBAGE COLLECT
713.24/719.22 c #Conflicts: 84000 | #Constraints: 754335
713.24/719.22 c #Conflicts: 85000 | #Constraints: 755335
713.24/719.22 c #Conflicts: 86000 | #Constraints: 756335
713.24/719.22 c #Conflicts: 87000 | #Constraints: 757335
713.24/719.22 c #Conflicts: 88000 | #Constraints: 758335
713.24/719.22 c #Conflicts: 89000 | #Constraints: 759335
1066.31/1073.23 c #Conflicts: 90000 | #Constraints: 760335
1066.31/1073.23 c #Conflicts: 91000 | #Constraints: 761335
1066.31/1073.23 c #Conflicts: 92000 | #Constraints: 762335
1066.31/1073.23 c #Conflicts: 93000 | #Constraints: 763335
1066.31/1073.23 c #Conflicts: 94000 | #Constraints: 764335
1066.31/1073.23 c #Conflicts: 95000 | #Constraints: 765335
1066.31/1073.23 c #Conflicts: 96000 | #Constraints: 766335
1066.31/1073.23 c #Conflicts: 97000 | #Constraints: 767335
1066.31/1073.23 c #Conflicts: 98000 | #Constraints: 768335
1066.31/1073.23 c #Conflicts: 99000 | #Constraints: 769335
1066.31/1073.23 c #Conflicts: 100000 | #Constraints: 770335
1066.31/1073.23 c #Conflicts: 101000 | #Constraints: 771335
1066.31/1073.23 c #Conflicts: 102000 | #Constraints: 772335
1066.31/1073.23 c INPROCESSING
1066.31/1073.23 c #Conflicts: 103000 | #Constraints: 756264
1066.31/1073.23 c #Conflicts: 104000 | #Constraints: 757264
1066.31/1073.23 c #Conflicts: 105000 | #Constraints: 758264
1066.31/1073.23 c #Conflicts: 106000 | #Constraints: 759264
1066.31/1073.23 c #Conflicts: 107000 | #Constraints: 760264
1066.31/1073.23 c #Conflicts: 108000 | #Constraints: 761264
1066.31/1073.23 c #Conflicts: 109000 | #Constraints: 762264
1066.31/1073.23 c #Conflicts: 110000 | #Constraints: 763264
1066.31/1073.23 c #Conflicts: 111000 | #Constraints: 764264
1066.31/1073.23 c #Conflicts: 112000 | #Constraints: 765264
1066.31/1073.23 c INPROCESSING
1066.31/1073.23 c GARBAGE COLLECT
1066.31/1073.23 c #Conflicts: 113000 | #Constraints: 752556
1066.31/1073.23 c #Conflicts: 114000 | #Constraints: 753556
1066.31/1073.23 c #Conflicts: 115000 | #Constraints: 754556
1066.31/1073.23 c #Conflicts: 116000 | #Constraints: 755556
1066.31/1073.23 c #Conflicts: 117000 | #Constraints: 756556
1066.31/1073.23 c #Conflicts: 118000 | #Constraints: 757556
1066.31/1073.23 c #Conflicts: 119000 | #Constraints: 758556
1066.31/1073.23 c #Conflicts: 120000 | #Constraints: 759556
1066.31/1073.23 c #Conflicts: 121000 | #Constraints: 760556
1066.31/1073.23 c #Conflicts: 122000 | #Constraints: 761556
1066.31/1073.23 c #Conflicts: 123000 | #Constraints: 762556
1066.31/1073.23 c #Conflicts: 124000 | #Constraints: 763556
1066.31/1073.23 c #Conflicts: 125000 | #Constraints: 764556
1066.31/1073.23 c #Conflicts: 126000 | #Constraints: 765556
1066.31/1073.23 c #Conflicts: 127000 | #Constraints: 766556
1066.31/1073.23 c #Conflicts: 128000 | #Constraints: 767556
1066.31/1073.23 c #Conflicts: 129000 | #Constraints: 768556
1066.31/1073.23 c #Conflicts: 130000 | #Constraints: 769556
1066.31/1073.23 c #Conflicts: 131000 | #Constraints: 770556
1066.31/1073.23 c #Conflicts: 132000 | #Constraints: 771556
1066.31/1073.23 c #Conflicts: 133000 | #Constraints: 772556
1066.31/1073.23 c #Conflicts: 134000 | #Constraints: 773556
1066.31/1073.23 c #Conflicts: 135000 | #Constraints: 774556
1066.31/1073.23 c INPROCESSING
1066.31/1073.23 c #Conflicts: 136000 | #Constraints: 757578
1066.31/1073.23 c #Conflicts: 137000 | #Constraints: 758578
1066.31/1073.23 c #Conflicts: 138000 | #Constraints: 759578
1066.31/1073.23 c #Conflicts: 139000 | #Constraints: 760578
1066.31/1073.23 c #Conflicts: 140000 | #Constraints: 761578
1066.31/1073.23 c #Conflicts: 141000 | #Constraints: 762578
1066.31/1073.23 c #Conflicts: 142000 | #Constraints: 763578
1066.31/1073.23 c #Conflicts: 143000 | #Constraints: 764578
1066.31/1073.23 c #Conflicts: 144000 | #Constraints: 765578
1066.31/1073.23 c #Conflicts: 145000 | #Constraints: 766578
1066.31/1073.23 c #Conflicts: 146000 | #Constraints: 767578
1066.31/1073.23 c #Conflicts: 147000 | #Constraints: 768578
1066.31/1073.23 c #Conflicts: 148000 | #Constraints: 769578
1066.31/1073.23 c #Conflicts: 149000 | #Constraints: 770578
1066.31/1073.23 c #Conflicts: 150000 | #Constraints: 771578
1066.31/1073.23 c #Conflicts: 151000 | #Constraints: 772578
1066.31/1073.23 c #Conflicts: 152000 | #Constraints: 773578
1066.31/1073.23 c #Conflicts: 153000 | #Constraints: 774578
1066.31/1073.23 c #Conflicts: 154000 | #Constraints: 775578
1066.31/1073.23 c #Conflicts: 155000 | #Constraints: 776578
1066.31/1073.23 c #Conflicts: 156000 | #Constraints: 777578
1066.31/1073.23 c #Conflicts: 157000 | #Constraints: 778578
1066.31/1073.23 c #Conflicts: 158000 | #Constraints: 779578
1066.31/1073.23 c #Conflicts: 159000 | #Constraints: 780578
1066.31/1073.23 c INPROCESSING
1066.31/1073.23 c GARBAGE COLLECT
1066.31/1073.23 c #Conflicts: 160000 | #Constraints: 760577
1066.31/1073.23 c #Conflicts: 161000 | #Constraints: 761577
1066.31/1073.23 c #Conflicts: 162000 | #Constraints: 762577
1066.31/1073.23 c #Conflicts: 163000 | #Constraints: 763577
1066.31/1073.23 c #Conflicts: 164000 | #Constraints: 764577
1066.31/1073.23 c #Conflicts: 165000 | #Constraints: 765577
1066.31/1073.23 c #Conflicts: 166000 | #Constraints: 766577
1284.53/1292.06 c #Conflicts: 167000 | #Constraints: 767577
1284.53/1292.06 c #Conflicts: 168000 | #Constraints: 768577
1284.53/1292.06 c #Conflicts: 169000 | #Constraints: 769577
1284.53/1292.06 c #Conflicts: 170000 | #Constraints: 770577
1284.53/1292.06 c #Conflicts: 171000 | #Constraints: 771577
1284.53/1292.06 c #Conflicts: 172000 | #Constraints: 772577
1284.53/1292.06 c INPROCESSING
1284.53/1292.06 c #Conflicts: 173000 | #Constraints: 756544
1284.53/1292.06 c #Conflicts: 174000 | #Constraints: 757544
1284.53/1292.06 c #Conflicts: 175000 | #Constraints: 758544
1284.53/1292.06 c #Conflicts: 176000 | #Constraints: 759544
1284.53/1292.06 c #Conflicts: 177000 | #Constraints: 760544
1284.53/1292.06 c #Conflicts: 178000 | #Constraints: 761544
1284.53/1292.06 c #Conflicts: 179000 | #Constraints: 762544
1284.53/1292.06 c #Conflicts: 180000 | #Constraints: 763544
1284.53/1292.06 c #Conflicts: 181000 | #Constraints: 764544
1284.53/1292.06 c #Conflicts: 182000 | #Constraints: 765544
1284.53/1292.06 c #Conflicts: 183000 | #Constraints: 766544
1284.53/1292.06 c #Conflicts: 184000 | #Constraints: 767544
1284.53/1292.06 c #Conflicts: 185000 | #Constraints: 768544
1284.53/1292.06 c #Conflicts: 186000 | #Constraints: 769544
1284.53/1292.06 c #Conflicts: 187000 | #Constraints: 770544
1284.53/1292.06 c #Conflicts: 188000 | #Constraints: 771544
1284.53/1292.06 c #Conflicts: 189000 | #Constraints: 772544
1284.53/1292.06 c #Conflicts: 190000 | #Constraints: 773544
1284.53/1292.06 c #Conflicts: 191000 | #Constraints: 774544
1284.53/1292.06 c #Conflicts: 192000 | #Constraints: 775544
1284.53/1292.06 c #Conflicts: 193000 | #Constraints: 776544
1284.53/1292.06 c #Conflicts: 194000 | #Constraints: 777544
1284.53/1292.06 c #Conflicts: 195000 | #Constraints: 778544
1284.53/1292.06 c #Conflicts: 196000 | #Constraints: 779544
1284.53/1292.06 c #Conflicts: 197000 | #Constraints: 780544
1284.53/1292.06 c #Conflicts: 198000 | #Constraints: 781544
1284.53/1292.06 c #Conflicts: 199000 | #Constraints: 782544
1284.53/1292.06 c #Conflicts: 200000 | #Constraints: 783544
1284.53/1292.06 c INPROCESSING
1284.53/1292.06 c GARBAGE COLLECT
1284.53/1292.06 c #Conflicts: 201000 | #Constraints: 762287
1284.53/1292.06 c #Conflicts: 202000 | #Constraints: 763287
1284.53/1292.06 c #Conflicts: 203000 | #Constraints: 764287
1284.53/1292.06 c #Conflicts: 204000 | #Constraints: 765287
1284.53/1292.06 c #Conflicts: 205000 | #Constraints: 766287
1284.53/1292.06 c #Conflicts: 206000 | #Constraints: 767287
1284.53/1292.06 c #Conflicts: 207000 | #Constraints: 768287
1284.53/1292.06 c #Conflicts: 208000 | #Constraints: 769287
1284.53/1292.06 c #Conflicts: 209000 | #Constraints: 770287
1284.53/1292.06 c #Conflicts: 210000 | #Constraints: 771287
1284.53/1292.06 c #Conflicts: 211000 | #Constraints: 772287
1284.53/1292.06 c #Conflicts: 212000 | #Constraints: 773287
1284.53/1292.06 c #Conflicts: 213000 | #Constraints: 774287
1284.53/1292.06 c #Conflicts: 214000 | #Constraints: 775287
1284.53/1292.06 c INPROCESSING
1284.53/1292.06 c #Conflicts: 215000 | #Constraints: 758115
1284.53/1292.06 c #Conflicts: 216000 | #Constraints: 759115
1284.53/1292.06 c #Conflicts: 217000 | #Constraints: 760115
1284.53/1292.06 c #Conflicts: 218000 | #Constraints: 761115
1284.53/1292.06 c #Conflicts: 219000 | #Constraints: 762115
1284.53/1292.06 c #Conflicts: 220000 | #Constraints: 763115
1284.53/1292.06 c #Conflicts: 221000 | #Constraints: 764115
1284.53/1292.06 c #Conflicts: 222000 | #Constraints: 765115
1284.53/1292.06 c #Conflicts: 223000 | #Constraints: 766115
1284.53/1292.06 c #Conflicts: 224000 | #Constraints: 767115
1284.53/1292.06 c #Conflicts: 225000 | #Constraints: 768115
1284.53/1292.06 c #Conflicts: 226000 | #Constraints: 769115
1284.53/1292.06 c #Conflicts: 227000 | #Constraints: 770115
1284.53/1292.06 c #Conflicts: 228000 | #Constraints: 771115
1284.53/1292.06 c #Conflicts: 229000 | #Constraints: 772115
1284.53/1292.06 c #Conflicts: 230000 | #Constraints: 773115
1284.53/1292.06 c #Conflicts: 231000 | #Constraints: 774115
1284.53/1292.06 c #Conflicts: 232000 | #Constraints: 775115
1284.53/1292.06 c #Conflicts: 233000 | #Constraints: 776115
1284.53/1292.06 c #Conflicts: 234000 | #Constraints: 777115
1284.53/1292.06 c #Conflicts: 235000 | #Constraints: 778115
1284.53/1292.06 c #Conflicts: 236000 | #Constraints: 779115
1284.53/1292.06 c #Conflicts: 237000 | #Constraints: 780115
1284.53/1292.06 c #Conflicts: 238000 | #Constraints: 781115
1284.53/1292.06 c #Conflicts: 239000 | #Constraints: 782115
1284.53/1292.06 c #Conflicts: 240000 | #Constraints: 783115
1284.53/1292.06 c #Conflicts: 241000 | #Constraints: 784115
1284.53/1292.06 c #Conflicts: 242000 | #Constraints: 785115
1284.53/1292.06 c #Conflicts: 243000 | #Constraints: 786115
1484.99/1493.08 c #Conflicts: 244000 | #Constraints: 787115
1484.99/1493.08 c INPROCESSING
1484.99/1493.08 c GARBAGE COLLECT
1484.99/1493.08 c #Conflicts: 245000 | #Constraints: 763786
1484.99/1493.08 c #Conflicts: 246000 | #Constraints: 764786
1484.99/1493.08 c #Conflicts: 247000 | #Constraints: 765786
1484.99/1493.08 c #Conflicts: 248000 | #Constraints: 766786
1484.99/1493.08 c #Conflicts: 249000 | #Constraints: 767786
1484.99/1493.08 c #Conflicts: 250000 | #Constraints: 768786
1484.99/1493.08 c #Conflicts: 251000 | #Constraints: 769786
1484.99/1493.08 c #Conflicts: 252000 | #Constraints: 770786
1484.99/1493.08 c #Conflicts: 253000 | #Constraints: 771786
1484.99/1493.08 c #Conflicts: 254000 | #Constraints: 772786
1484.99/1493.08 c #Conflicts: 255000 | #Constraints: 773786
1484.99/1493.08 c #Conflicts: 256000 | #Constraints: 774786
1484.99/1493.08 c #Conflicts: 257000 | #Constraints: 775786
1484.99/1493.08 c #Conflicts: 258000 | #Constraints: 776786
1484.99/1493.08 c #Conflicts: 259000 | #Constraints: 777786
1484.99/1493.08 c #Conflicts: 260000 | #Constraints: 778786
1484.99/1493.08 c INPROCESSING
1484.99/1493.08 c #Conflicts: 261000 | #Constraints: 759831
1484.99/1493.08 c #Conflicts: 262000 | #Constraints: 760831
1484.99/1493.08 c #Conflicts: 263000 | #Constraints: 761831
1484.99/1493.08 c #Conflicts: 264000 | #Constraints: 762831
1484.99/1493.08 c #Conflicts: 265000 | #Constraints: 763831
1484.99/1493.08 c #Conflicts: 266000 | #Constraints: 764831
1484.99/1493.08 c #Conflicts: 267000 | #Constraints: 765831
1484.99/1493.08 c #Conflicts: 268000 | #Constraints: 766831
1484.99/1493.08 c #Conflicts: 269000 | #Constraints: 767831
1484.99/1493.08 c #Conflicts: 270000 | #Constraints: 768831
1484.99/1493.08 c #Conflicts: 271000 | #Constraints: 769831
1484.99/1493.08 c #Conflicts: 272000 | #Constraints: 770831
1484.99/1493.08 c #Conflicts: 273000 | #Constraints: 771831
1484.99/1493.08 c #Conflicts: 274000 | #Constraints: 772831
1484.99/1493.08 c #Conflicts: 275000 | #Constraints: 773831
1484.99/1493.08 c #Conflicts: 276000 | #Constraints: 774831
1484.99/1493.08 c #Conflicts: 277000 | #Constraints: 775831
1484.99/1493.08 c #Conflicts: 278000 | #Constraints: 776831
1484.99/1493.08 c #Conflicts: 279000 | #Constraints: 777831
1484.99/1493.08 c #Conflicts: 280000 | #Constraints: 778831
1484.99/1493.08 c #Conflicts: 281000 | #Constraints: 779831
1484.99/1493.08 c #Conflicts: 282000 | #Constraints: 780831
1484.99/1493.08 c #Conflicts: 283000 | #Constraints: 781831
1484.99/1493.08 c #Conflicts: 284000 | #Constraints: 782831
1484.99/1493.08 c #Conflicts: 285000 | #Constraints: 783831
1484.99/1493.08 c #Conflicts: 286000 | #Constraints: 784831
1484.99/1493.08 c #Conflicts: 287000 | #Constraints: 785831
1484.99/1493.08 c #Conflicts: 288000 | #Constraints: 786831
1484.99/1493.08 c #Conflicts: 289000 | #Constraints: 787831
1484.99/1493.08 c #Conflicts: 290000 | #Constraints: 788831
1484.99/1493.08 c #Conflicts: 291000 | #Constraints: 789831
1484.99/1493.08 c #Conflicts: 292000 | #Constraints: 790831
1484.99/1493.08 c #Conflicts: 293000 | #Constraints: 791831
1484.99/1493.08 c #Conflicts: 294000 | #Constraints: 792831
1484.99/1493.08 c INPROCESSING
1484.99/1493.08 c GARBAGE COLLECT
1484.99/1493.08 c #Conflicts: 295000 | #Constraints: 766939
1484.99/1493.08 c #Conflicts: 296000 | #Constraints: 767939
1484.99/1493.08 c #Conflicts: 297000 | #Constraints: 768939
1484.99/1493.08 c #Conflicts: 298000 | #Constraints: 769939
1484.99/1493.08 c #Conflicts: 299000 | #Constraints: 770939
1484.99/1493.08 c #Conflicts: 300000 | #Constraints: 771939
1484.99/1493.08 c #Conflicts: 301000 | #Constraints: 772939
1484.99/1493.08 c #Conflicts: 302000 | #Constraints: 773939
1484.99/1493.08 c #Conflicts: 303000 | #Constraints: 774939
1484.99/1493.08 c #Conflicts: 304000 | #Constraints: 775939
1484.99/1493.08 c #Conflicts: 305000 | #Constraints: 776939
1484.99/1493.08 c #Conflicts: 306000 | #Constraints: 777939
1484.99/1493.08 c #Conflicts: 307000 | #Constraints: 778939
1484.99/1493.08 c #Conflicts: 308000 | #Constraints: 779939
1484.99/1493.08 c #Conflicts: 309000 | #Constraints: 780939
1484.99/1493.08 c #Conflicts: 310000 | #Constraints: 781939
1484.99/1493.08 c #Conflicts: 311000 | #Constraints: 782939
1484.99/1493.08 c #Conflicts: 312000 | #Constraints: 783939
1484.99/1493.08 c #Conflicts: 313000 | #Constraints: 784939
1484.99/1493.08 c #Conflicts: 314000 | #Constraints: 785939
1484.99/1493.08 c #Conflicts: 315000 | #Constraints: 786939
1484.99/1493.08 c #Conflicts: 316000 | #Constraints: 787939
1484.99/1493.08 c #Conflicts: 317000 | #Constraints: 788939
1484.99/1493.08 c #Conflicts: 318000 | #Constraints: 789939
1484.99/1493.08 c #Conflicts: 319000 | #Constraints: 790939
1484.99/1493.08 c #Conflicts: 320000 | #Constraints: 791939
1484.99/1493.08 c #Conflicts: 321000 | #Constraints: 792939
1686.54/1695.12 c #Conflicts: 322000 | #Constraints: 793939
1686.54/1695.12 c #Conflicts: 323000 | #Constraints: 794939
1686.54/1695.12 c #Conflicts: 324000 | #Constraints: 795939
1686.54/1695.12 c #Conflicts: 325000 | #Constraints: 796939
1686.54/1695.12 c #Conflicts: 326000 | #Constraints: 797939
1686.54/1695.12 c #Conflicts: 327000 | #Constraints: 798939
1686.54/1695.12 c #Conflicts: 328000 | #Constraints: 799939
1686.54/1695.12 c #Conflicts: 329000 | #Constraints: 800939
1686.54/1695.12 c INPROCESSING
1686.54/1695.12 c GARBAGE COLLECT
1686.54/1695.12 c #Conflicts: 330000 | #Constraints: 770754
1686.54/1695.12 c #Conflicts: 331000 | #Constraints: 771754
1686.54/1695.12 c #Conflicts: 332000 | #Constraints: 772754
1686.54/1695.12 c #Conflicts: 333000 | #Constraints: 773754
1686.54/1695.12 c #Conflicts: 334000 | #Constraints: 774754
1686.54/1695.12 c #Conflicts: 335000 | #Constraints: 775754
1686.54/1695.12 c #Conflicts: 336000 | #Constraints: 776754
1686.54/1695.12 c #Conflicts: 337000 | #Constraints: 777754
1686.54/1695.12 c #Conflicts: 338000 | #Constraints: 778754
1686.54/1695.12 c #Conflicts: 339000 | #Constraints: 779754
1686.54/1695.12 c #Conflicts: 340000 | #Constraints: 780754
1686.54/1695.12 c #Conflicts: 341000 | #Constraints: 781754
1686.54/1695.12 c #Conflicts: 342000 | #Constraints: 782754
1686.54/1695.12 c #Conflicts: 343000 | #Constraints: 783754
1686.54/1695.12 c #Conflicts: 344000 | #Constraints: 784754
1686.54/1695.12 c #Conflicts: 345000 | #Constraints: 785754
1686.54/1695.12 c #Conflicts: 346000 | #Constraints: 786754
1686.54/1695.12 c #Conflicts: 347000 | #Constraints: 787754
1686.54/1695.12 c INPROCESSING
1686.54/1695.12 c #Conflicts: 348000 | #Constraints: 764350
1686.54/1695.12 c #Conflicts: 349000 | #Constraints: 765350
1686.54/1695.12 c #Conflicts: 350000 | #Constraints: 766350
1686.54/1695.12 c #Conflicts: 351000 | #Constraints: 767350
1686.54/1695.12 c #Conflicts: 352000 | #Constraints: 768350
1686.54/1695.12 c #Conflicts: 353000 | #Constraints: 769350
1686.54/1695.12 c #Conflicts: 354000 | #Constraints: 770350
1686.54/1695.12 c #Conflicts: 355000 | #Constraints: 771350
1686.54/1695.12 c #Conflicts: 356000 | #Constraints: 772350
1686.54/1695.12 c #Conflicts: 357000 | #Constraints: 773350
1686.54/1695.12 c #Conflicts: 358000 | #Constraints: 774350
1686.54/1695.12 c #Conflicts: 359000 | #Constraints: 775350
1686.54/1695.12 c #Conflicts: 360000 | #Constraints: 776350
1686.54/1695.12 c #Conflicts: 361000 | #Constraints: 777350
1686.54/1695.12 c #Conflicts: 362000 | #Constraints: 778350
1686.54/1695.12 c #Conflicts: 363000 | #Constraints: 779350
1686.54/1695.12 c #Conflicts: 364000 | #Constraints: 780350
1686.54/1695.12 c #Conflicts: 365000 | #Constraints: 781350
1686.54/1695.12 c #Conflicts: 366000 | #Constraints: 782350
1686.54/1695.12 c #Conflicts: 367000 | #Constraints: 783350
1686.54/1695.12 c #Conflicts: 368000 | #Constraints: 784350
1686.54/1695.12 c #Conflicts: 369000 | #Constraints: 785350
1686.54/1695.12 c #Conflicts: 370000 | #Constraints: 786350
1686.54/1695.12 c #Conflicts: 371000 | #Constraints: 787350
1686.54/1695.12 c #Conflicts: 372000 | #Constraints: 788350
1686.54/1695.12 c #Conflicts: 373000 | #Constraints: 789350
1686.54/1695.12 c #Conflicts: 374000 | #Constraints: 790350
1686.54/1695.12 c #Conflicts: 375000 | #Constraints: 791350
1686.54/1695.12 c #Conflicts: 376000 | #Constraints: 792350
1686.54/1695.12 c #Conflicts: 377000 | #Constraints: 793350
1686.54/1695.12 c #Conflicts: 378000 | #Constraints: 794350
1686.54/1695.12 c #Conflicts: 379000 | #Constraints: 795350
1686.54/1695.12 c #Conflicts: 380000 | #Constraints: 796350
1686.54/1695.12 c #Conflicts: 381000 | #Constraints: 797350
1686.54/1695.12 c #Conflicts: 382000 | #Constraints: 798350
1686.54/1695.12 c #Conflicts: 383000 | #Constraints: 799350
1686.54/1695.12 c #Conflicts: 384000 | #Constraints: 800350
1686.54/1695.12 c #Conflicts: 385000 | #Constraints: 801350
1686.54/1695.12 c #Conflicts: 386000 | #Constraints: 802350
1686.54/1695.12 c INPROCESSING
1686.54/1695.12 c GARBAGE COLLECT
1686.54/1695.12 c #Conflicts: 387000 | #Constraints: 772142
1686.54/1695.12 c #Conflicts: 388000 | #Constraints: 773142
1686.54/1695.12 c #Conflicts: 389000 | #Constraints: 774142
1686.54/1695.12 c #Conflicts: 390000 | #Constraints: 775142
1686.54/1695.12 c #Conflicts: 391000 | #Constraints: 776142
1686.54/1695.12 c #Conflicts: 392000 | #Constraints: 777142
1686.54/1695.12 c #Conflicts: 393000 | #Constraints: 778142
1686.54/1695.12 c #Conflicts: 394000 | #Constraints: 779142
1686.54/1695.12 c #Conflicts: 395000 | #Constraints: 780142
1686.54/1695.12 c #Conflicts: 396000 | #Constraints: 781142
1686.54/1695.12 c #Conflicts: 397000 | #Constraints: 782142
1686.54/1695.12 c #Conflicts: 398000 | #Constraints: 783142
2183.45/2193.34 c #Conflicts: 399000 | #Constraints: 784142
2183.45/2193.34 c #Conflicts: 400000 | #Constraints: 785142
2183.45/2193.34 c #Conflicts: 401000 | #Constraints: 786142
2183.45/2193.34 c #Conflicts: 402000 | #Constraints: 787142
2183.45/2193.34 c #Conflicts: 403000 | #Constraints: 788142
2183.45/2193.34 c #Conflicts: 404000 | #Constraints: 789142
2183.45/2193.34 c #Conflicts: 405000 | #Constraints: 790142
2183.45/2193.34 c #Conflicts: 406000 | #Constraints: 791142
2183.45/2193.34 c #Conflicts: 407000 | #Constraints: 792142
2183.45/2193.34 c #Conflicts: 408000 | #Constraints: 793142
2183.45/2193.34 c #Conflicts: 409000 | #Constraints: 794142
2183.45/2193.34 c #Conflicts: 410000 | #Constraints: 795142
2183.45/2193.34 c #Conflicts: 411000 | #Constraints: 796142
2183.45/2193.34 c #Conflicts: 412000 | #Constraints: 797142
2183.45/2193.34 c #Conflicts: 413000 | #Constraints: 798142
2183.45/2193.34 c #Conflicts: 414000 | #Constraints: 799142
2183.45/2193.34 c #Conflicts: 415000 | #Constraints: 800142
2183.45/2193.34 c #Conflicts: 416000 | #Constraints: 801142
2183.45/2193.34 c #Conflicts: 417000 | #Constraints: 802142
2183.45/2193.34 c #Conflicts: 418000 | #Constraints: 803142
2183.45/2193.34 c #Conflicts: 419000 | #Constraints: 804142
2183.45/2193.34 c #Conflicts: 420000 | #Constraints: 805142
2183.45/2193.34 c #Conflicts: 421000 | #Constraints: 806142
2183.45/2193.34 c #Conflicts: 422000 | #Constraints: 807142
2183.45/2193.34 c #Conflicts: 423000 | #Constraints: 808142
2183.45/2193.34 c #Conflicts: 424000 | #Constraints: 809142
2183.45/2193.34 c #Conflicts: 425000 | #Constraints: 810142
2183.45/2193.34 c #Conflicts: 426000 | #Constraints: 811142
2183.45/2193.34 c #Conflicts: 427000 | #Constraints: 812142
2183.45/2193.34 c INPROCESSING
2183.45/2193.34 c GARBAGE COLLECT
2183.45/2193.34 c #Conflicts: 428000 | #Constraints: 777182
2183.45/2193.34 c #Conflicts: 429000 | #Constraints: 778182
2183.45/2193.34 c #Conflicts: 430000 | #Constraints: 779182
2183.45/2193.34 c #Conflicts: 431000 | #Constraints: 780182
2183.45/2193.34 c #Conflicts: 432000 | #Constraints: 781182
2183.45/2193.34 c #Conflicts: 433000 | #Constraints: 782182
2183.45/2193.34 c #Conflicts: 434000 | #Constraints: 783182
2183.45/2193.34 c #Conflicts: 435000 | #Constraints: 784182
2183.45/2193.34 c #Conflicts: 436000 | #Constraints: 785182
2183.45/2193.34 c #Conflicts: 437000 | #Constraints: 786182
2183.45/2193.34 c #Conflicts: 438000 | #Constraints: 787182
2183.45/2193.34 c #Conflicts: 439000 | #Constraints: 788182
2183.45/2193.34 c #Conflicts: 440000 | #Constraints: 789182
2183.45/2193.34 c #Conflicts: 441000 | #Constraints: 790182
2183.45/2193.34 c #Conflicts: 442000 | #Constraints: 791182
2183.45/2193.34 c #Conflicts: 443000 | #Constraints: 792182
2183.45/2193.34 c #Conflicts: 444000 | #Constraints: 793182
2183.45/2193.34 c #Conflicts: 445000 | #Constraints: 794182
2183.45/2193.34 c #Conflicts: 446000 | #Constraints: 795182
2183.45/2193.34 c #Conflicts: 447000 | #Constraints: 796182
2183.45/2193.34 c #Conflicts: 448000 | #Constraints: 797182
2183.45/2193.34 c #Conflicts: 449000 | #Constraints: 798182
2183.45/2193.34 c #Conflicts: 450000 | #Constraints: 799182
2183.45/2193.34 c #Conflicts: 451000 | #Constraints: 800182
2183.45/2193.34 c #Conflicts: 452000 | #Constraints: 801182
2183.45/2193.34 c #Conflicts: 453000 | #Constraints: 802182
2183.45/2193.34 c #Conflicts: 454000 | #Constraints: 803182
2183.45/2193.34 c #Conflicts: 455000 | #Constraints: 804182
2183.45/2193.34 c #Conflicts: 456000 | #Constraints: 805182
2183.45/2193.34 c #Conflicts: 457000 | #Constraints: 806182
2183.45/2193.34 c #Conflicts: 458000 | #Constraints: 807182
2183.45/2193.34 c #Conflicts: 459000 | #Constraints: 808182
2183.45/2193.34 c #Conflicts: 460000 | #Constraints: 809182
2183.45/2193.34 c #Conflicts: 461000 | #Constraints: 810182
2183.45/2193.34 c #Conflicts: 462000 | #Constraints: 811182
2183.45/2193.34 c #Conflicts: 463000 | #Constraints: 812182
2183.45/2193.34 c #Conflicts: 464000 | #Constraints: 813182
2183.45/2193.34 c #Conflicts: 465000 | #Constraints: 814182
2183.45/2193.34 c #Conflicts: 466000 | #Constraints: 815182
2183.45/2193.34 c #Conflicts: 467000 | #Constraints: 816182
2183.45/2193.34 c #Conflicts: 468000 | #Constraints: 817182
2183.45/2193.34 c #Conflicts: 469000 | #Constraints: 818182
2183.45/2193.34 c #Conflicts: 470000 | #Constraints: 819182
2183.45/2193.34 c INPROCESSING
2183.45/2193.34 c GARBAGE COLLECT
2183.45/2193.34 c rational objective 1418.6
2387.63/2398.04 c #Conflicts: 471000 | #Constraints: 780614
2387.63/2398.04 c #Conflicts: 472000 | #Constraints: 781614
2387.63/2398.04 c #Conflicts: 473000 | #Constraints: 782614
2387.63/2398.04 c #Conflicts: 474000 | #Constraints: 783614
2387.63/2398.04 c #Conflicts: 475000 | #Constraints: 784614
2387.63/2398.04 c #Conflicts: 476000 | #Constraints: 785614
2387.63/2398.04 c #Conflicts: 477000 | #Constraints: 786614
2387.63/2398.04 c #Conflicts: 478000 | #Constraints: 787614
2387.63/2398.04 c #Conflicts: 479000 | #Constraints: 788614
2387.63/2398.04 c #Conflicts: 480000 | #Constraints: 789614
2387.63/2398.04 c #Conflicts: 481000 | #Constraints: 790614
2387.63/2398.04 c #Conflicts: 482000 | #Constraints: 791614
2387.63/2398.04 c #Conflicts: 483000 | #Constraints: 792614
2387.63/2398.04 c #Conflicts: 484000 | #Constraints: 793614
2387.63/2398.04 c #Conflicts: 485000 | #Constraints: 794614
2387.63/2398.04 c #Conflicts: 486000 | #Constraints: 795614
2387.63/2398.04 c #Conflicts: 487000 | #Constraints: 796614
2387.63/2398.04 c #Conflicts: 488000 | #Constraints: 797614
2387.63/2398.04 c #Conflicts: 489000 | #Constraints: 798614
2387.63/2398.04 c #Conflicts: 490000 | #Constraints: 799614
2387.63/2398.04 c #Conflicts: 491000 | #Constraints: 800614
2387.63/2398.04 c INPROCESSING
2387.63/2398.04 c GARBAGE COLLECT
2387.63/2398.04 c #Conflicts: 492000 | #Constraints: 770862
2387.63/2398.04 c #Conflicts: 493000 | #Constraints: 771862
2387.63/2398.04 c #Conflicts: 494000 | #Constraints: 772862
2387.63/2398.04 c #Conflicts: 495000 | #Constraints: 773862
2387.63/2398.04 c #Conflicts: 496000 | #Constraints: 774862
2387.63/2398.04 c #Conflicts: 497000 | #Constraints: 775862
2387.63/2398.04 c #Conflicts: 498000 | #Constraints: 776862
2387.63/2398.04 c #Conflicts: 499000 | #Constraints: 777862
2387.63/2398.04 c #Conflicts: 500000 | #Constraints: 778862
2387.63/2398.04 c #Conflicts: 501000 | #Constraints: 779862
2387.63/2398.04 c #Conflicts: 502000 | #Constraints: 780862
2387.63/2398.04 c #Conflicts: 503000 | #Constraints: 781862
2387.63/2398.04 c #Conflicts: 504000 | #Constraints: 782862
2387.63/2398.04 c #Conflicts: 505000 | #Constraints: 783862
2387.63/2398.04 c #Conflicts: 506000 | #Constraints: 784862
2387.63/2398.04 c #Conflicts: 507000 | #Constraints: 785862
2387.63/2398.04 c #Conflicts: 508000 | #Constraints: 786862
2387.63/2398.04 c #Conflicts: 509000 | #Constraints: 787862
2387.63/2398.04 c #Conflicts: 510000 | #Constraints: 788862
2387.63/2398.04 c #Conflicts: 511000 | #Constraints: 789862
2387.63/2398.04 c #Conflicts: 512000 | #Constraints: 790862
2387.63/2398.04 c #Conflicts: 513000 | #Constraints: 791862
2387.63/2398.04 c #Conflicts: 514000 | #Constraints: 792862
2387.63/2398.04 c #Conflicts: 515000 | #Constraints: 793862
2387.63/2398.04 c #Conflicts: 516000 | #Constraints: 794862
2387.63/2398.04 c #Conflicts: 517000 | #Constraints: 795862
2387.63/2398.04 c #Conflicts: 518000 | #Constraints: 796862
2387.63/2398.04 c #Conflicts: 519000 | #Constraints: 797862
2387.63/2398.04 c #Conflicts: 520000 | #Constraints: 798862
2387.63/2398.04 c #Conflicts: 521000 | #Constraints: 799862
2387.63/2398.04 c #Conflicts: 522000 | #Constraints: 800862
2387.63/2398.04 c #Conflicts: 523000 | #Constraints: 801862
2387.63/2398.04 c #Conflicts: 524000 | #Constraints: 802862
2387.63/2398.04 c #Conflicts: 525000 | #Constraints: 803862
2387.63/2398.04 c #Conflicts: 526000 | #Constraints: 804862
2387.63/2398.04 c #Conflicts: 527000 | #Constraints: 805862
2387.63/2398.04 c #Conflicts: 528000 | #Constraints: 806862
2387.63/2398.04 c #Conflicts: 529000 | #Constraints: 807862
2387.63/2398.04 c #Conflicts: 530000 | #Constraints: 808862
2387.63/2398.04 c #Conflicts: 531000 | #Constraints: 809862
2387.63/2398.04 c #Conflicts: 532000 | #Constraints: 810862
2387.63/2398.04 c #Conflicts: 533000 | #Constraints: 811862
2387.63/2398.04 c #Conflicts: 534000 | #Constraints: 812862
2387.63/2398.04 c #Conflicts: 535000 | #Constraints: 813862
2387.63/2398.04 c #Conflicts: 536000 | #Constraints: 814862
2387.63/2398.04 c #Conflicts: 537000 | #Constraints: 815862
2387.63/2398.04 c INPROCESSING
2387.63/2398.04 c GARBAGE COLLECT
2387.63/2398.04 c #Conflicts: 538000 | #Constraints: 778627
2387.63/2398.04 c #Conflicts: 539000 | #Constraints: 779627
2387.63/2398.04 c #Conflicts: 540000 | #Constraints: 780627
2387.63/2398.04 c #Conflicts: 541000 | #Constraints: 781627
2387.63/2398.04 c #Conflicts: 542000 | #Constraints: 782627
2387.63/2398.04 c #Conflicts: 543000 | #Constraints: 783627
2387.63/2398.04 c #Conflicts: 544000 | #Constraints: 784627
2387.63/2398.04 c #Conflicts: 545000 | #Constraints: 785627
2387.63/2398.04 c #Conflicts: 546000 | #Constraints: 786627
2387.63/2398.04 c #Conflicts: 547000 | #Constraints: 787627
2387.63/2398.04 c #Conflicts: 548000 | #Constraints: 788627
2531.13/2541.97 c #Conflicts: 549000 | #Constraints: 789627
2531.13/2541.97 c #Conflicts: 550000 | #Constraints: 790627
2531.13/2541.97 c #Conflicts: 551000 | #Constraints: 791627
2531.13/2541.97 c #Conflicts: 552000 | #Constraints: 792627
2531.13/2541.97 c #Conflicts: 553000 | #Constraints: 793627
2531.13/2541.97 c #Conflicts: 554000 | #Constraints: 794627
2531.13/2541.97 c #Conflicts: 555000 | #Constraints: 795627
2531.13/2541.97 c #Conflicts: 556000 | #Constraints: 796627
2531.13/2541.97 c #Conflicts: 557000 | #Constraints: 797627
2531.13/2541.97 c #Conflicts: 558000 | #Constraints: 798627
2531.13/2541.97 c #Conflicts: 559000 | #Constraints: 799627
2531.13/2541.97 c #Conflicts: 560000 | #Constraints: 800627
2531.13/2541.97 c INPROCESSING
2531.13/2541.97 c GARBAGE COLLECT
2531.13/2541.97 c #Conflicts: 561000 | #Constraints: 771549
2531.13/2541.97 c #Conflicts: 562000 | #Constraints: 772549
2531.13/2541.97 c #Conflicts: 563000 | #Constraints: 773549
2531.13/2541.97 c #Conflicts: 564000 | #Constraints: 774549
2531.13/2541.97 c #Conflicts: 565000 | #Constraints: 775549
2531.13/2541.97 c #Conflicts: 566000 | #Constraints: 776549
2531.13/2541.97 c #Conflicts: 567000 | #Constraints: 777549
2531.13/2541.97 c #Conflicts: 568000 | #Constraints: 778549
2531.13/2541.97 c #Conflicts: 569000 | #Constraints: 779549
2531.13/2541.97 c #Conflicts: 570000 | #Constraints: 780549
2531.13/2541.97 c #Conflicts: 571000 | #Constraints: 781549
2531.13/2541.97 c #Conflicts: 572000 | #Constraints: 782549
2531.13/2541.97 c #Conflicts: 573000 | #Constraints: 783549
2531.13/2541.97 c #Conflicts: 574000 | #Constraints: 784549
2531.13/2541.97 c #Conflicts: 575000 | #Constraints: 785549
2531.13/2541.97 c #Conflicts: 576000 | #Constraints: 786549
2531.13/2541.97 c #Conflicts: 577000 | #Constraints: 787549
2531.13/2541.97 c #Conflicts: 578000 | #Constraints: 788549
2531.13/2541.97 c #Conflicts: 579000 | #Constraints: 789549
2531.13/2541.97 c #Conflicts: 580000 | #Constraints: 790549
2531.13/2541.97 c #Conflicts: 581000 | #Constraints: 791549
2531.13/2541.97 c #Conflicts: 582000 | #Constraints: 792549
2531.13/2541.97 c #Conflicts: 583000 | #Constraints: 793549
2531.13/2541.97 c #Conflicts: 584000 | #Constraints: 794549
2531.13/2541.97 c #Conflicts: 585000 | #Constraints: 795549
2531.13/2541.97 c #Conflicts: 586000 | #Constraints: 796549
2531.13/2541.97 c #Conflicts: 587000 | #Constraints: 797549
2531.13/2541.97 c #Conflicts: 588000 | #Constraints: 798549
2531.13/2541.97 c #Conflicts: 589000 | #Constraints: 799549
2531.13/2541.97 c #Conflicts: 590000 | #Constraints: 800549
2531.13/2541.97 c #Conflicts: 591000 | #Constraints: 801549
2531.13/2541.97 c #Conflicts: 592000 | #Constraints: 802549
2531.13/2541.97 c #Conflicts: 593000 | #Constraints: 803549
2531.13/2541.97 c #Conflicts: 594000 | #Constraints: 804549
2531.13/2541.97 c #Conflicts: 595000 | #Constraints: 805549
2531.13/2541.97 c #Conflicts: 596000 | #Constraints: 806549
2531.13/2541.97 c #Conflicts: 597000 | #Constraints: 807549
2531.13/2541.97 c #Conflicts: 598000 | #Constraints: 808549
2531.13/2541.97 c #Conflicts: 599000 | #Constraints: 809549
2531.13/2541.97 c #Conflicts: 600000 | #Constraints: 810549
2531.13/2541.97 c #Conflicts: 601000 | #Constraints: 811549
2531.13/2541.97 c #Conflicts: 602000 | #Constraints: 812549
2531.13/2541.97 c #Conflicts: 603000 | #Constraints: 813549
2531.13/2541.97 c #Conflicts: 604000 | #Constraints: 814549
2531.13/2541.97 c #Conflicts: 605000 | #Constraints: 815549
2531.13/2541.97 c #Conflicts: 606000 | #Constraints: 816549
2531.13/2541.97 c #Conflicts: 607000 | #Constraints: 817549
2531.13/2541.97 c #Conflicts: 608000 | #Constraints: 818549
2531.13/2541.97 c #Conflicts: 609000 | #Constraints: 819549
2531.13/2541.97 c INPROCESSING
2531.13/2541.97 c GARBAGE COLLECT
2531.13/2541.97 c #Conflicts: 610000 | #Constraints: 781032
2531.13/2541.97 c #Conflicts: 611000 | #Constraints: 782032
2531.13/2541.97 c #Conflicts: 612000 | #Constraints: 783032
2531.13/2541.97 c #Conflicts: 613000 | #Constraints: 784032
2531.13/2541.97 c #Conflicts: 614000 | #Constraints: 785032
2531.13/2541.97 c #Conflicts: 615000 | #Constraints: 786032
2531.13/2541.97 c #Conflicts: 616000 | #Constraints: 787032
2531.13/2541.97 c #Conflicts: 617000 | #Constraints: 788032
2531.13/2541.97 c #Conflicts: 618000 | #Constraints: 789032
2531.13/2541.97 c #Conflicts: 619000 | #Constraints: 790032
2531.13/2541.97 c #Conflicts: 620000 | #Constraints: 791032
2531.13/2541.97 c #Conflicts: 621000 | #Constraints: 792032
2531.13/2541.97 c #Conflicts: 622000 | #Constraints: 793032
2531.13/2541.97 c #Conflicts: 623000 | #Constraints: 794032
2531.13/2541.97 c #Conflicts: 624000 | #Constraints: 795032
2531.13/2541.97 c #Conflicts: 625000 | #Constraints: 796032
2680.62/2691.82 c #Conflicts: 626000 | #Constraints: 797032
2680.62/2691.82 c #Conflicts: 627000 | #Constraints: 798032
2680.62/2691.82 c #Conflicts: 628000 | #Constraints: 799032
2680.62/2691.82 c #Conflicts: 629000 | #Constraints: 800032
2680.62/2691.82 c #Conflicts: 630000 | #Constraints: 801032
2680.62/2691.82 c #Conflicts: 631000 | #Constraints: 802032
2680.62/2691.82 c #Conflicts: 632000 | #Constraints: 803032
2680.62/2691.82 c #Conflicts: 633000 | #Constraints: 804032
2680.62/2691.82 c INPROCESSING
2680.62/2691.82 c #Conflicts: 634000 | #Constraints: 773319
2680.62/2691.82 c #Conflicts: 635000 | #Constraints: 774319
2680.62/2691.82 c #Conflicts: 636000 | #Constraints: 775319
2680.62/2691.82 c #Conflicts: 637000 | #Constraints: 776319
2680.62/2691.82 c #Conflicts: 638000 | #Constraints: 777319
2680.62/2691.82 c #Conflicts: 639000 | #Constraints: 778319
2680.62/2691.82 c #Conflicts: 640000 | #Constraints: 779319
2680.62/2691.82 c #Conflicts: 641000 | #Constraints: 780319
2680.62/2691.82 c #Conflicts: 642000 | #Constraints: 781319
2680.62/2691.82 c #Conflicts: 643000 | #Constraints: 782319
2680.62/2691.82 c #Conflicts: 644000 | #Constraints: 783319
2680.62/2691.82 c #Conflicts: 645000 | #Constraints: 784319
2680.62/2691.82 c #Conflicts: 646000 | #Constraints: 785319
2680.62/2691.82 c #Conflicts: 647000 | #Constraints: 786319
2680.62/2691.82 c #Conflicts: 648000 | #Constraints: 787319
2680.62/2691.82 c #Conflicts: 649000 | #Constraints: 788319
2680.62/2691.82 c #Conflicts: 650000 | #Constraints: 789319
2680.62/2691.82 c #Conflicts: 651000 | #Constraints: 790319
2680.62/2691.82 c #Conflicts: 652000 | #Constraints: 791319
2680.62/2691.82 c #Conflicts: 653000 | #Constraints: 792319
2680.62/2691.82 c #Conflicts: 654000 | #Constraints: 793319
2680.62/2691.82 c #Conflicts: 655000 | #Constraints: 794319
2680.62/2691.82 c #Conflicts: 656000 | #Constraints: 795319
2680.62/2691.82 c #Conflicts: 657000 | #Constraints: 796319
2680.62/2691.82 c #Conflicts: 658000 | #Constraints: 797319
2680.62/2691.82 c #Conflicts: 659000 | #Constraints: 798319
2680.62/2691.82 c #Conflicts: 660000 | #Constraints: 799319
2680.62/2691.82 c #Conflicts: 661000 | #Constraints: 800319
2680.62/2691.82 c #Conflicts: 662000 | #Constraints: 801319
2680.62/2691.82 c #Conflicts: 663000 | #Constraints: 802319
2680.62/2691.82 c #Conflicts: 664000 | #Constraints: 803319
2680.62/2691.82 c #Conflicts: 665000 | #Constraints: 804319
2680.62/2691.82 c #Conflicts: 666000 | #Constraints: 805319
2680.62/2691.82 c #Conflicts: 667000 | #Constraints: 806319
2680.62/2691.82 c #Conflicts: 668000 | #Constraints: 807319
2680.62/2691.82 c #Conflicts: 669000 | #Constraints: 808319
2680.62/2691.82 c #Conflicts: 670000 | #Constraints: 809319
2680.62/2691.82 c #Conflicts: 671000 | #Constraints: 810319
2680.62/2691.82 c #Conflicts: 672000 | #Constraints: 811319
2680.62/2691.82 c #Conflicts: 673000 | #Constraints: 812319
2680.62/2691.82 c #Conflicts: 674000 | #Constraints: 813319
2680.62/2691.82 c #Conflicts: 675000 | #Constraints: 814319
2680.62/2691.82 c #Conflicts: 676000 | #Constraints: 815319
2680.62/2691.82 c #Conflicts: 677000 | #Constraints: 816319
2680.62/2691.82 c #Conflicts: 678000 | #Constraints: 817319
2680.62/2691.82 c #Conflicts: 679000 | #Constraints: 818319
2680.62/2691.82 c #Conflicts: 680000 | #Constraints: 819319
2680.62/2691.82 c #Conflicts: 681000 | #Constraints: 820319
2680.62/2691.82 c #Conflicts: 682000 | #Constraints: 821319
2680.62/2691.82 c #Conflicts: 683000 | #Constraints: 822319
2680.62/2691.82 c #Conflicts: 684000 | #Constraints: 823319
2680.62/2691.82 c #Conflicts: 685000 | #Constraints: 824319
2680.62/2691.82 c INPROCESSING
2680.62/2691.82 c GARBAGE COLLECT
2680.62/2691.82 c #Conflicts: 686000 | #Constraints: 783140
2680.62/2691.82 c #Conflicts: 687000 | #Constraints: 784140
2680.62/2691.82 c #Conflicts: 688000 | #Constraints: 785140
2680.62/2691.82 c #Conflicts: 689000 | #Constraints: 786140
2680.62/2691.82 c #Conflicts: 690000 | #Constraints: 787140
2680.62/2691.82 c #Conflicts: 691000 | #Constraints: 788140
2680.62/2691.82 c #Conflicts: 692000 | #Constraints: 789140
2680.62/2691.82 c #Conflicts: 693000 | #Constraints: 790140
2680.62/2691.82 c #Conflicts: 694000 | #Constraints: 791140
2680.62/2691.82 c #Conflicts: 695000 | #Constraints: 792140
2680.62/2691.82 c #Conflicts: 696000 | #Constraints: 793140
2680.62/2691.82 c #Conflicts: 697000 | #Constraints: 794140
2680.62/2691.82 c #Conflicts: 698000 | #Constraints: 795140
2680.62/2691.82 c #Conflicts: 699000 | #Constraints: 796140
2680.62/2691.82 c #Conflicts: 700000 | #Constraints: 797140
2680.62/2691.82 c #Conflicts: 701000 | #Constraints: 798140
2680.62/2691.82 c #Conflicts: 702000 | #Constraints: 799140
2680.62/2691.82 c #Conflicts: 703000 | #Constraints: 800140
2810.51/2822.01 c #Conflicts: 704000 | #Constraints: 801140
2810.51/2822.01 c #Conflicts: 705000 | #Constraints: 802140
2810.51/2822.01 c #Conflicts: 706000 | #Constraints: 803140
2810.51/2822.01 c #Conflicts: 707000 | #Constraints: 804140
2810.51/2822.01 c #Conflicts: 708000 | #Constraints: 805140
2810.51/2822.01 c #Conflicts: 709000 | #Constraints: 806140
2810.51/2822.01 c #Conflicts: 710000 | #Constraints: 807140
2810.51/2822.01 c INPROCESSING
2810.51/2822.01 c GARBAGE COLLECT
2810.51/2822.01 c #Conflicts: 711000 | #Constraints: 774333
2810.51/2822.01 c #Conflicts: 712000 | #Constraints: 775333
2810.51/2822.01 c #Conflicts: 713000 | #Constraints: 776333
2810.51/2822.01 c #Conflicts: 714000 | #Constraints: 777333
2810.51/2822.01 c #Conflicts: 715000 | #Constraints: 778333
2810.51/2822.01 c #Conflicts: 716000 | #Constraints: 779333
2810.51/2822.01 c #Conflicts: 717000 | #Constraints: 780333
2810.51/2822.01 c #Conflicts: 718000 | #Constraints: 781333
2810.51/2822.01 c #Conflicts: 719000 | #Constraints: 782333
2810.51/2822.01 c #Conflicts: 720000 | #Constraints: 783333
2810.51/2822.01 c #Conflicts: 721000 | #Constraints: 784333
2810.51/2822.01 c #Conflicts: 722000 | #Constraints: 785333
2810.51/2822.01 c #Conflicts: 723000 | #Constraints: 786333
2810.51/2822.01 c #Conflicts: 724000 | #Constraints: 787333
2810.51/2822.01 c #Conflicts: 725000 | #Constraints: 788333
2810.51/2822.01 c #Conflicts: 726000 | #Constraints: 789333
2810.51/2822.01 c #Conflicts: 727000 | #Constraints: 790333
2810.51/2822.01 c #Conflicts: 728000 | #Constraints: 791333
2810.51/2822.01 c #Conflicts: 729000 | #Constraints: 792333
2810.51/2822.01 c #Conflicts: 730000 | #Constraints: 793333
2810.51/2822.01 c #Conflicts: 731000 | #Constraints: 794333
2810.51/2822.01 c #Conflicts: 732000 | #Constraints: 795333
2810.51/2822.01 c #Conflicts: 733000 | #Constraints: 796333
2810.51/2822.01 c #Conflicts: 734000 | #Constraints: 797333
2810.51/2822.01 c #Conflicts: 735000 | #Constraints: 798333
2810.51/2822.01 c #Conflicts: 736000 | #Constraints: 799333
2810.51/2822.01 c #Conflicts: 737000 | #Constraints: 800333
2810.51/2822.01 c #Conflicts: 738000 | #Constraints: 801333
2810.51/2822.01 c #Conflicts: 739000 | #Constraints: 802333
2810.51/2822.01 c #Conflicts: 740000 | #Constraints: 803333
2810.51/2822.01 c #Conflicts: 741000 | #Constraints: 804333
2810.51/2822.01 c #Conflicts: 742000 | #Constraints: 805333
2810.51/2822.01 c #Conflicts: 743000 | #Constraints: 806333
2810.51/2822.01 c #Conflicts: 744000 | #Constraints: 807333
2810.51/2822.01 c #Conflicts: 745000 | #Constraints: 808333
2810.51/2822.01 c #Conflicts: 746000 | #Constraints: 809333
2810.51/2822.01 c #Conflicts: 747000 | #Constraints: 810333
2810.51/2822.01 c #Conflicts: 748000 | #Constraints: 811333
2810.51/2822.01 c #Conflicts: 749000 | #Constraints: 812333
2810.51/2822.01 c #Conflicts: 750000 | #Constraints: 813333
2810.51/2822.01 c #Conflicts: 751000 | #Constraints: 814333
2810.51/2822.01 c #Conflicts: 752000 | #Constraints: 815333
2810.51/2822.01 c #Conflicts: 753000 | #Constraints: 816333
2810.51/2822.01 c #Conflicts: 754000 | #Constraints: 817333
2810.51/2822.01 c #Conflicts: 755000 | #Constraints: 818333
2810.51/2822.01 c #Conflicts: 756000 | #Constraints: 819333
2810.51/2822.01 c #Conflicts: 757000 | #Constraints: 820333
2810.51/2822.01 c #Conflicts: 758000 | #Constraints: 821333
2810.51/2822.01 c #Conflicts: 759000 | #Constraints: 822333
2810.51/2822.01 c #Conflicts: 760000 | #Constraints: 823333
2810.51/2822.01 c #Conflicts: 761000 | #Constraints: 824333
2810.51/2822.01 c #Conflicts: 762000 | #Constraints: 825333
2810.51/2822.01 c #Conflicts: 763000 | #Constraints: 826333
2810.51/2822.01 c #Conflicts: 764000 | #Constraints: 827333
2810.51/2822.01 c #Conflicts: 765000 | #Constraints: 828333
2810.51/2822.01 c INPROCESSING
2810.51/2822.01 c GARBAGE COLLECT
2810.51/2822.01 c #Conflicts: 766000 | #Constraints: 785252
2810.51/2822.01 c #Conflicts: 767000 | #Constraints: 786252
2810.51/2822.01 c #Conflicts: 768000 | #Constraints: 787252
2810.51/2822.01 c #Conflicts: 769000 | #Constraints: 788252
2810.51/2822.01 c #Conflicts: 770000 | #Constraints: 789252
2810.51/2822.01 c #Conflicts: 771000 | #Constraints: 790252
2810.51/2822.01 c #Conflicts: 772000 | #Constraints: 791252
2810.51/2822.01 c #Conflicts: 773000 | #Constraints: 792252
2810.51/2822.01 c #Conflicts: 774000 | #Constraints: 793252
2810.51/2822.01 c #Conflicts: 775000 | #Constraints: 794252
2810.51/2822.01 c #Conflicts: 776000 | #Constraints: 795252
2810.51/2822.01 c #Conflicts: 777000 | #Constraints: 796252
2810.51/2822.01 c #Conflicts: 778000 | #Constraints: 797252
2810.51/2822.01 c #Conflicts: 779000 | #Constraints: 798252
2810.51/2822.01 c #Conflicts: 780000 | #Constraints: 799252
2810.51/2822.01 c #Conflicts: 781000 | #Constraints: 800252
2971.03/2982.98 c #Conflicts: 782000 | #Constraints: 801252
2971.03/2982.98 c #Conflicts: 783000 | #Constraints: 802252
2971.03/2982.98 c #Conflicts: 784000 | #Constraints: 803252
2971.03/2982.98 c #Conflicts: 785000 | #Constraints: 804252
2971.03/2982.98 c #Conflicts: 786000 | #Constraints: 805252
2971.03/2982.98 c #Conflicts: 787000 | #Constraints: 806252
2971.03/2982.98 c #Conflicts: 788000 | #Constraints: 807252
2971.03/2982.98 c #Conflicts: 789000 | #Constraints: 808252
2971.03/2982.98 c #Conflicts: 790000 | #Constraints: 809252
2971.03/2982.98 c #Conflicts: 791000 | #Constraints: 810252
2971.03/2982.98 c #Conflicts: 792000 | #Constraints: 811252
2971.03/2982.98 c INPROCESSING
2971.03/2982.98 c GARBAGE COLLECT
2971.03/2982.98 c #Conflicts: 793000 | #Constraints: 776799
2971.03/2982.98 c #Conflicts: 794000 | #Constraints: 777799
2971.03/2982.98 c #Conflicts: 795000 | #Constraints: 778799
2971.03/2982.98 c #Conflicts: 796000 | #Constraints: 779799
2971.03/2982.98 c #Conflicts: 797000 | #Constraints: 780799
2971.03/2982.98 c #Conflicts: 798000 | #Constraints: 781799
2971.03/2982.98 c #Conflicts: 799000 | #Constraints: 782799
2971.03/2982.98 c #Conflicts: 800000 | #Constraints: 783799
2971.03/2982.98 c #Conflicts: 801000 | #Constraints: 784799
2971.03/2982.98 c #Conflicts: 802000 | #Constraints: 785799
2971.03/2982.98 c #Conflicts: 803000 | #Constraints: 786799
2971.03/2982.98 c #Conflicts: 804000 | #Constraints: 787799
2971.03/2982.98 c #Conflicts: 805000 | #Constraints: 788799
2971.03/2982.98 c #Conflicts: 806000 | #Constraints: 789799
2971.03/2982.98 c #Conflicts: 807000 | #Constraints: 790799
2971.03/2982.98 c #Conflicts: 808000 | #Constraints: 791799
2971.03/2982.98 c #Conflicts: 809000 | #Constraints: 792799
2971.03/2982.98 c #Conflicts: 810000 | #Constraints: 793799
2971.03/2982.98 c #Conflicts: 811000 | #Constraints: 794799
2971.03/2982.98 c #Conflicts: 812000 | #Constraints: 795799
2971.03/2982.98 c #Conflicts: 813000 | #Constraints: 796799
2971.03/2982.98 c #Conflicts: 814000 | #Constraints: 797799
2971.03/2982.98 c #Conflicts: 815000 | #Constraints: 798799
2971.03/2982.98 c #Conflicts: 816000 | #Constraints: 799799
2971.03/2982.98 c #Conflicts: 817000 | #Constraints: 800799
2971.03/2982.98 c #Conflicts: 818000 | #Constraints: 801799
2971.03/2982.98 c #Conflicts: 819000 | #Constraints: 802799
2971.03/2982.98 c #Conflicts: 820000 | #Constraints: 803799
2971.03/2982.98 c #Conflicts: 821000 | #Constraints: 804799
2971.03/2982.98 c #Conflicts: 822000 | #Constraints: 805799
2971.03/2982.98 c #Conflicts: 823000 | #Constraints: 806799
2971.03/2982.98 c #Conflicts: 824000 | #Constraints: 807799
2971.03/2982.98 c #Conflicts: 825000 | #Constraints: 808799
2971.03/2982.98 c #Conflicts: 826000 | #Constraints: 809799
2971.03/2982.98 c #Conflicts: 827000 | #Constraints: 810799
2971.03/2982.98 c #Conflicts: 828000 | #Constraints: 811799
2971.03/2982.98 c #Conflicts: 829000 | #Constraints: 812799
2971.03/2982.98 c #Conflicts: 830000 | #Constraints: 813799
2971.03/2982.98 c #Conflicts: 831000 | #Constraints: 814799
2971.03/2982.98 c #Conflicts: 832000 | #Constraints: 815799
2971.03/2982.98 c #Conflicts: 833000 | #Constraints: 816799
2971.03/2982.98 c #Conflicts: 834000 | #Constraints: 817799
2971.03/2982.98 c #Conflicts: 835000 | #Constraints: 818799
2971.03/2982.98 c #Conflicts: 836000 | #Constraints: 819799
2971.03/2982.98 c #Conflicts: 837000 | #Constraints: 820799
2971.03/2982.98 c #Conflicts: 838000 | #Constraints: 821799
2971.03/2982.98 c #Conflicts: 839000 | #Constraints: 822799
2971.03/2982.98 c #Conflicts: 840000 | #Constraints: 823799
2971.03/2982.98 c #Conflicts: 841000 | #Constraints: 824799
2971.03/2982.98 c #Conflicts: 842000 | #Constraints: 825799
2971.03/2982.98 c #Conflicts: 843000 | #Constraints: 826799
2971.03/2982.98 c #Conflicts: 844000 | #Constraints: 827799
2971.03/2982.98 c #Conflicts: 845000 | #Constraints: 828799
2971.03/2982.98 c #Conflicts: 846000 | #Constraints: 829799
2971.03/2982.98 c #Conflicts: 847000 | #Constraints: 830799
2971.03/2982.98 c #Conflicts: 848000 | #Constraints: 831799
2971.03/2982.98 c #Conflicts: 849000 | #Constraints: 832799
2971.03/2982.98 c #Conflicts: 850000 | #Constraints: 833799
2971.03/2982.98 c INPROCESSING
2971.03/2982.98 c GARBAGE COLLECT
2971.03/2982.98 c #Conflicts: 851000 | #Constraints: 788094
2971.03/2982.98 c #Conflicts: 852000 | #Constraints: 789094
2971.03/2982.98 c #Conflicts: 853000 | #Constraints: 790094
2971.03/2982.98 c #Conflicts: 854000 | #Constraints: 791094
2971.03/2982.98 c #Conflicts: 855000 | #Constraints: 792094
2971.03/2982.98 c #Conflicts: 856000 | #Constraints: 793094
2971.03/2982.98 c #Conflicts: 857000 | #Constraints: 794094
2971.03/2982.98 c #Conflicts: 858000 | #Constraints: 795094
3043.27/3055.35 c #Conflicts: 859000 | #Constraints: 796094
3043.27/3055.35 c #Conflicts: 860000 | #Constraints: 797094
3043.27/3055.35 c #Conflicts: 861000 | #Constraints: 798094
3043.27/3055.35 c #Conflicts: 862000 | #Constraints: 799094
3043.27/3055.35 c #Conflicts: 863000 | #Constraints: 800094
3043.27/3055.35 c #Conflicts: 864000 | #Constraints: 801094
3043.27/3055.35 c #Conflicts: 865000 | #Constraints: 802094
3043.27/3055.35 c #Conflicts: 866000 | #Constraints: 803094
3043.27/3055.35 c #Conflicts: 867000 | #Constraints: 804094
3043.27/3055.35 c #Conflicts: 868000 | #Constraints: 805094
3043.27/3055.35 c #Conflicts: 869000 | #Constraints: 806094
3043.27/3055.35 c #Conflicts: 870000 | #Constraints: 807094
3043.27/3055.35 c #Conflicts: 871000 | #Constraints: 808094
3043.27/3055.35 c #Conflicts: 872000 | #Constraints: 809094
3043.27/3055.35 c #Conflicts: 873000 | #Constraints: 810094
3043.27/3055.35 c #Conflicts: 874000 | #Constraints: 811094
3043.27/3055.35 c #Conflicts: 875000 | #Constraints: 812094
3043.27/3055.35 c #Conflicts: 876000 | #Constraints: 813094
3043.27/3055.35 c #Conflicts: 877000 | #Constraints: 814094
3043.27/3055.35 c #Conflicts: 878000 | #Constraints: 815094
3043.27/3055.35 c INPROCESSING
3043.27/3055.35 c GARBAGE COLLECT
3043.27/3055.35 c #Conflicts: 879000 | #Constraints: 778749
3043.27/3055.35 c #Conflicts: 880000 | #Constraints: 779749
3043.27/3055.35 c #Conflicts: 881000 | #Constraints: 780749
3043.27/3055.35 c #Conflicts: 882000 | #Constraints: 781749
3043.27/3055.35 c #Conflicts: 883000 | #Constraints: 782749
3043.27/3055.35 c #Conflicts: 884000 | #Constraints: 783749
3043.27/3055.35 c #Conflicts: 885000 | #Constraints: 784749
3043.27/3055.35 c #Conflicts: 886000 | #Constraints: 785749
3043.27/3055.35 c #Conflicts: 887000 | #Constraints: 786749
3043.27/3055.35 c #Conflicts: 888000 | #Constraints: 787749
3043.27/3055.35 c #Conflicts: 889000 | #Constraints: 788749
3043.27/3055.35 c #Conflicts: 890000 | #Constraints: 789749
3043.27/3055.35 c #Conflicts: 891000 | #Constraints: 790749
3043.27/3055.35 c #Conflicts: 892000 | #Constraints: 791749
3043.27/3055.35 c #Conflicts: 893000 | #Constraints: 792749
3043.27/3055.35 c #Conflicts: 894000 | #Constraints: 793749
3043.27/3055.35 c #Conflicts: 895000 | #Constraints: 794749
3043.27/3055.35 c #Conflicts: 896000 | #Constraints: 795749
3043.27/3055.35 c #Conflicts: 897000 | #Constraints: 796749
3043.27/3055.35 c #Conflicts: 898000 | #Constraints: 797749
3043.27/3055.35 c #Conflicts: 899000 | #Constraints: 798749
3043.27/3055.35 c #Conflicts: 900000 | #Constraints: 799749
3043.27/3055.35 c #Conflicts: 901000 | #Constraints: 800749
3043.27/3055.35 c #Conflicts: 902000 | #Constraints: 801749
3043.27/3055.35 c #Conflicts: 903000 | #Constraints: 802749
3043.27/3055.35 c #Conflicts: 904000 | #Constraints: 803749
3043.27/3055.35 c #Conflicts: 905000 | #Constraints: 804749
3043.27/3055.35 c #Conflicts: 906000 | #Constraints: 805749
3043.27/3055.35 c #Conflicts: 907000 | #Constraints: 806749
3043.27/3055.35 c #Conflicts: 908000 | #Constraints: 807749
3043.27/3055.35 c #Conflicts: 909000 | #Constraints: 808749
3043.27/3055.35 c #Conflicts: 910000 | #Constraints: 809749
3043.27/3055.35 c #Conflicts: 911000 | #Constraints: 810749
3043.27/3055.35 c #Conflicts: 912000 | #Constraints: 811749
3043.27/3055.35 c #Conflicts: 913000 | #Constraints: 812749
3043.27/3055.35 c #Conflicts: 914000 | #Constraints: 813749
3043.27/3055.35 c #Conflicts: 915000 | #Constraints: 814749
3043.27/3055.35 c #Conflicts: 916000 | #Constraints: 815749
3043.27/3055.35 c #Conflicts: 917000 | #Constraints: 816749
3043.27/3055.35 c #Conflicts: 918000 | #Constraints: 817749
3043.27/3055.35 c #Conflicts: 919000 | #Constraints: 818749
3043.27/3055.35 c #Conflicts: 920000 | #Constraints: 819749
3043.27/3055.35 c #Conflicts: 921000 | #Constraints: 820749
3043.27/3055.35 c #Conflicts: 922000 | #Constraints: 821749
3043.27/3055.35 c #Conflicts: 923000 | #Constraints: 822749
3043.27/3055.35 c #Conflicts: 924000 | #Constraints: 823749
3043.27/3055.35 c #Conflicts: 925000 | #Constraints: 824749
3043.27/3055.35 c #Conflicts: 926000 | #Constraints: 825749
3043.27/3055.35 c #Conflicts: 927000 | #Constraints: 826749
3043.27/3055.35 c #Conflicts: 928000 | #Constraints: 827749
3043.27/3055.35 c #Conflicts: 929000 | #Constraints: 828749
3043.27/3055.35 c #Conflicts: 930000 | #Constraints: 829749
3043.27/3055.35 c #Conflicts: 931000 | #Constraints: 830749
3043.27/3055.35 c #Conflicts: 932000 | #Constraints: 831749
3043.27/3055.35 c #Conflicts: 933000 | #Constraints: 832749
3043.27/3055.35 c #Conflicts: 934000 | #Constraints: 833749
3043.27/3055.35 c #Conflicts: 935000 | #Constraints: 834749
3043.27/3055.35 c #Conflicts: 936000 | #Constraints: 835749
3330.81/3343.55 c #Conflicts: 937000 | #Constraints: 836749
3330.81/3343.55 c #Conflicts: 938000 | #Constraints: 837749
3330.81/3343.55 c #Conflicts: 939000 | #Constraints: 838749
3330.81/3343.55 c INPROCESSING
3330.81/3343.55 c GARBAGE COLLECT
3330.81/3343.55 c #Conflicts: 940000 | #Constraints: 790175
3330.81/3343.55 c #Conflicts: 941000 | #Constraints: 791175
3330.81/3343.55 c #Conflicts: 942000 | #Constraints: 792175
3330.81/3343.55 c #Conflicts: 943000 | #Constraints: 793175
3330.81/3343.55 c #Conflicts: 944000 | #Constraints: 794175
3330.81/3343.55 c #Conflicts: 945000 | #Constraints: 795175
3330.81/3343.55 c #Conflicts: 946000 | #Constraints: 796175
3330.81/3343.55 c #Conflicts: 947000 | #Constraints: 797175
3330.81/3343.55 c #Conflicts: 948000 | #Constraints: 798175
3330.81/3343.55 c #Conflicts: 949000 | #Constraints: 799175
3330.81/3343.55 c #Conflicts: 950000 | #Constraints: 800175
3330.81/3343.55 c #Conflicts: 951000 | #Constraints: 801175
3330.81/3343.55 c #Conflicts: 952000 | #Constraints: 802175
3330.81/3343.55 c #Conflicts: 953000 | #Constraints: 803175
3330.81/3343.55 c #Conflicts: 954000 | #Constraints: 804175
3330.81/3343.55 c #Conflicts: 955000 | #Constraints: 805175
3330.81/3343.55 c #Conflicts: 956000 | #Constraints: 806175
3330.81/3343.55 c #Conflicts: 957000 | #Constraints: 807175
3330.81/3343.55 c #Conflicts: 958000 | #Constraints: 808175
3330.81/3343.55 c #Conflicts: 959000 | #Constraints: 809175
3330.81/3343.55 c #Conflicts: 960000 | #Constraints: 810175
3330.81/3343.55 c #Conflicts: 961000 | #Constraints: 811175
3330.81/3343.55 c #Conflicts: 962000 | #Constraints: 812175
3330.81/3343.55 c #Conflicts: 963000 | #Constraints: 813175
3330.81/3343.55 c #Conflicts: 964000 | #Constraints: 814175
3330.81/3343.55 c #Conflicts: 965000 | #Constraints: 815175
3330.81/3343.55 c #Conflicts: 966000 | #Constraints: 816175
3330.81/3343.55 c #Conflicts: 967000 | #Constraints: 817175
3330.81/3343.55 c #Conflicts: 968000 | #Constraints: 818175
3330.81/3343.55 c #Conflicts: 969000 | #Constraints: 819175
3330.81/3343.55 c INPROCESSING
3330.81/3343.55 c GARBAGE COLLECT
3330.81/3343.55 c #Conflicts: 970000 | #Constraints: 780721
3330.81/3343.55 c #Conflicts: 971000 | #Constraints: 781721
3330.81/3343.55 c #Conflicts: 972000 | #Constraints: 782721
3330.81/3343.55 c #Conflicts: 973000 | #Constraints: 783721
3330.81/3343.55 c #Conflicts: 974000 | #Constraints: 784721
3330.81/3343.55 c #Conflicts: 975000 | #Constraints: 785721
3330.81/3343.55 c #Conflicts: 976000 | #Constraints: 786721
3330.81/3343.55 c #Conflicts: 977000 | #Constraints: 787721
3330.81/3343.55 c #Conflicts: 978000 | #Constraints: 788721
3330.81/3343.55 c #Conflicts: 979000 | #Constraints: 789721
3330.81/3343.55 c #Conflicts: 980000 | #Constraints: 790721
3330.81/3343.55 c #Conflicts: 981000 | #Constraints: 791721
3330.81/3343.55 c #Conflicts: 982000 | #Constraints: 792721
3330.81/3343.55 c #Conflicts: 983000 | #Constraints: 793721
3330.81/3343.55 c #Conflicts: 984000 | #Constraints: 794721
3330.81/3343.55 c #Conflicts: 985000 | #Constraints: 795721
3330.81/3343.55 c #Conflicts: 986000 | #Constraints: 796721
3330.81/3343.55 c #Conflicts: 987000 | #Constraints: 797721
3330.81/3343.55 c #Conflicts: 988000 | #Constraints: 798721
3330.81/3343.55 c #Conflicts: 989000 | #Constraints: 799721
3330.81/3343.55 c #Conflicts: 990000 | #Constraints: 800721
3330.81/3343.55 c #Conflicts: 991000 | #Constraints: 801721
3330.81/3343.55 c #Conflicts: 992000 | #Constraints: 802721
3330.81/3343.55 c #Conflicts: 993000 | #Constraints: 803721
3330.81/3343.55 c #Conflicts: 994000 | #Constraints: 804721
3330.81/3343.55 c #Conflicts: 995000 | #Constraints: 805721
3330.81/3343.55 c #Conflicts: 996000 | #Constraints: 806721
3330.81/3343.55 c #Conflicts: 997000 | #Constraints: 807721
3330.81/3343.55 c #Conflicts: 998000 | #Constraints: 808721
3330.81/3343.55 c #Conflicts: 999000 | #Constraints: 809721
3330.81/3343.55 c #Conflicts: 1000000 | #Constraints: 810721
3330.81/3343.55 c #Conflicts: 1001000 | #Constraints: 811721
3330.81/3343.55 c #Conflicts: 1002000 | #Constraints: 812721
3330.81/3343.55 c #Conflicts: 1003000 | #Constraints: 813721
3330.81/3343.55 c #Conflicts: 1004000 | #Constraints: 814721
3330.81/3343.55 c #Conflicts: 1005000 | #Constraints: 815721
3330.81/3343.55 c #Conflicts: 1006000 | #Constraints: 816721
3330.81/3343.55 c #Conflicts: 1007000 | #Constraints: 817721
3330.81/3343.55 c #Conflicts: 1008000 | #Constraints: 818721
3330.81/3343.55 c #Conflicts: 1009000 | #Constraints: 819721
3330.81/3343.55 c #Conflicts: 1010000 | #Constraints: 820721
3330.81/3343.55 c #Conflicts: 1011000 | #Constraints: 821721
3330.81/3343.55 c #Conflicts: 1012000 | #Constraints: 822721
3330.81/3343.55 c #Conflicts: 1013000 | #Constraints: 823721
3330.81/3343.55 c #Conflicts: 1014000 | #Constraints: 824721
3600.05/3613.41 c #Conflicts: 1015000 | #Constraints: 825721
3600.05/3613.41 c #Conflicts: 1016000 | #Constraints: 826721
3600.05/3613.41 c #Conflicts: 1017000 | #Constraints: 827721
3600.05/3613.41 c #Conflicts: 1018000 | #Constraints: 828721
3600.05/3613.41 c #Conflicts: 1019000 | #Constraints: 829721
3600.05/3613.41 c #Conflicts: 1020000 | #Constraints: 830721
3600.05/3613.41 c #Conflicts: 1021000 | #Constraints: 831721
3600.05/3613.41 c #Conflicts: 1022000 | #Constraints: 832721
3600.05/3613.41 c #Conflicts: 1023000 | #Constraints: 833721
3600.05/3613.41 c #Conflicts: 1024000 | #Constraints: 834721
3600.05/3613.41 c #Conflicts: 1025000 | #Constraints: 835721
3600.05/3613.41 c #Conflicts: 1026000 | #Constraints: 836721
3600.05/3613.41 c #Conflicts: 1027000 | #Constraints: 837721
3600.05/3613.41 c #Conflicts: 1028000 | #Constraints: 838721
3600.05/3613.41 c #Conflicts: 1029000 | #Constraints: 839721
3600.05/3613.41 c #Conflicts: 1030000 | #Constraints: 840721
3600.05/3613.41 c #Conflicts: 1031000 | #Constraints: 841721
3600.05/3613.41 c #Conflicts: 1032000 | #Constraints: 842721
3600.05/3613.41 c #Conflicts: 1033000 | #Constraints: 843721
3600.05/3613.41 c INPROCESSING
3600.05/3613.41 c GARBAGE COLLECT
3600.05/3613.41 c #Conflicts: 1034000 | #Constraints: 792865
3600.05/3613.41 c #Conflicts: 1035000 | #Constraints: 793865
3600.05/3613.41 c #Conflicts: 1036000 | #Constraints: 794865
3600.05/3613.41 c #Conflicts: 1037000 | #Constraints: 795865
3600.05/3613.41 c #Conflicts: 1038000 | #Constraints: 796865
3600.05/3613.41 c #Conflicts: 1039000 | #Constraints: 797865
3600.05/3613.41 c #Conflicts: 1040000 | #Constraints: 798865
3600.05/3613.41 c #Conflicts: 1041000 | #Constraints: 799865
3600.05/3613.41 c #Conflicts: 1042000 | #Constraints: 800865
3600.05/3613.41 c #Conflicts: 1043000 | #Constraints: 801865
3600.05/3613.41 c #Conflicts: 1044000 | #Constraints: 802865
3600.05/3613.41 c #Conflicts: 1045000 | #Constraints: 803865
3600.05/3613.41 c #Conflicts: 1046000 | #Constraints: 804865
3600.05/3613.41 c #Conflicts: 1047000 | #Constraints: 805865
3600.05/3613.41 c #Conflicts: 1048000 | #Constraints: 806865
3600.05/3613.41 c #Conflicts: 1049000 | #Constraints: 807865
3600.05/3613.41 c #Conflicts: 1050000 | #Constraints: 808865
3600.05/3613.41 c #Conflicts: 1051000 | #Constraints: 809865
3600.05/3613.41 c #Conflicts: 1052000 | #Constraints: 810865
3600.05/3613.41 c #Conflicts: 1053000 | #Constraints: 811865
3600.05/3613.41 c #Conflicts: 1054000 | #Constraints: 812865
3600.05/3613.41 c #Conflicts: 1055000 | #Constraints: 813865
3600.05/3613.41 c #Conflicts: 1056000 | #Constraints: 814865
3600.05/3613.41 c #Conflicts: 1057000 | #Constraints: 815865
3600.05/3613.41 c #Conflicts: 1058000 | #Constraints: 816865
3600.05/3613.41 c #Conflicts: 1059000 | #Constraints: 817865
3600.05/3613.41 c #Conflicts: 1060000 | #Constraints: 818865
3600.05/3613.41 c #Conflicts: 1061000 | #Constraints: 819865
3600.05/3613.41 c #Conflicts: 1062000 | #Constraints: 820865
3600.05/3613.41 c #Conflicts: 1063000 | #Constraints: 821865
3600.05/3613.41 c #Conflicts: 1064000 | #Constraints: 822865
3600.05/3613.41 c INPROCESSING
3600.05/3613.41 c GARBAGE COLLECT
3600.05/3613.41 c Disabling crashed LP
3600.16/3613.52 c cpu time 3583.6 s
3600.16/3613.52 c deterministic time 11443894427 1.14e+10
3600.16/3613.52 c optimization time 0.106005 s
3600.16/3613.52 c total solve time 3580.13 s
3600.16/3613.52 c core-guided solve time 0 s
3600.16/3613.52 c propagation time 419.186 s
3600.16/3613.52 c conflict analysis time 46.8352 s
3600.16/3613.52 c propagations 1187249823
3600.16/3613.52 c resolve steps 12038421
3600.16/3613.52 c decisions 17119957
3600.16/3613.52 c conflicts 1064001
3600.16/3613.52 c restarts 2046
3600.16/3613.52 c inprocessing phases 40
3600.16/3613.52 c garbage collections 25 ,( 62.50 )
3600.16/3613.52 c input clauses 659976 ,( 89.50 )
3600.16/3613.52 c input cardinalities 2643 ,( 0.36 )
3600.16/3613.52 c input general constraints 74746 ,( 10.14 )
3600.16/3613.52 c input average constraint length 3.91
3600.16/3613.52 c input average constraint degree 1.12
3600.16/3613.52 c learned clauses 1063567 ,( 99.96 )
3600.16/3613.52 c learned cardinalities 392 ,( 0.04 )
3600.16/3613.52 c learned general constraints 44 ,( 0.00 )
3600.16/3613.52 c learned average constraint length 102.50
3600.16/3613.52 c learned average constraint degree 12304.79
3600.16/3613.52 c watched CF 32, 64, 128, Arb: 31 , 0 , 0 , 0
3600.16/3613.52 c counting CF 32, 64, 128, Arb: 74759 , 0 , 0 , 0
3600.16/3613.52 c watched constraints 31 ,( 0.04 )
3600.16/3613.52 c counting constraints 74759 ,( 99.96 )
3600.16/3613.52 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1945551983 , 3351667 , 68487320 ,( 9216 , 68478104 )
3600.16/3613.52 c gcd simplifications 289
3600.16/3613.52 c detected cardinalities 6
3600.16/3613.52 c weakened non-implied lits 299422
3600.16/3613.52 c weakened non-implying lits 821
3600.16/3613.52 c original variables 33692
3600.16/3613.52 c clausal propagations 1174672455
3600.16/3613.52 c cardinality propagations 2071372
3600.16/3613.52 c watched propagations 183
3600.16/3613.52 c counting propagations 9438841
3600.16/3613.52 c watch lookups 2802794082
3600.16/3613.52 c watch backjump lookups 0
3600.16/3613.52 c watch checks 4625830815
3600.16/3613.52 c propagation checks 1354092825
3600.16/3613.52 c constraint additions 251136338
3600.16/3613.52 c trail pops 1205433734
3600.16/3613.52 c formula constraints 737365
3600.16/3613.52 c learned constraints 1064001
3600.16/3613.52 c bound constraints 0
3600.16/3613.52 c core-guided constraints 0
3600.16/3613.52 c encountered formula constraints 9665701
3600.16/3613.52 c encountered learned constraints 3435408
3600.16/3613.52 c encountered bound constraints 0
3600.16/3613.52 c encountered core-guided constraints 0
3600.16/3613.52 c LP total time 753.587 s
3600.16/3613.52 c LP solve time 745.47 s
3600.16/3613.52 c LP constraints added 737407
3600.16/3613.52 c LP constraints removed 2
3600.16/3613.52 c LP pivots internal 131394
3600.16/3613.52 c LP pivots root 105458
3600.16/3613.52 c LP calls 13
3600.16/3613.52 c LP optimalities 7
3600.16/3613.52 c LP no pivot count 0
3600.16/3613.52 c LP infeasibilities 0
3600.16/3613.52 c LP valid Farkas constraints 0
3600.16/3613.52 c LP learned Farkas constraints 0
3600.16/3613.52 c LP basis resets 0
3600.16/3613.52 c LP cycling count 0
3600.16/3613.52 c LP singular count 0
3600.16/3613.52 c LP no primal count 0
3600.16/3613.52 c LP no farkas count 0
3600.16/3613.52 c LP other issue count 0
3600.16/3613.52 c LP Gomory cuts 2
3600.16/3613.52 c LP learned cuts 40
3600.16/3613.52 c LP deleted cuts 2
3600.16/3613.52 c LP encountered Gomory constraints 1313
3600.16/3613.52 c LP encountered Farkas constraints 0
3600.16/3613.52 c LP encountered learned Farkas constraints 0
3600.16/3613.52 c CG auxiliary variables introduced 0
3600.16/3613.52 c CG solutions found 0
3600.16/3613.52 c CG cores constructed 0
3600.16/3613.52 c CG core cardinality constraints returned 0
3600.16/3613.52 c CG unit cores 0
3600.16/3613.52 c CG single cores 0
3600.16/3613.52 c CG blocks removed during cardinality reduction 0
3600.16/3613.52 c CG first core best 0
3600.16/3613.52 c CG decision core best 0
3600.16/3613.52 c CG core reduction tie 0
3600.16/3613.52 c CG core degree average 0.00
3600.16/3613.52 c CG core slack average 0.00
3600.16/3613.52 c CG core upper bound improvements 0
3600.16/3613.52 c STR number of successful calls 0
3600.16/3613.52 c STR number of unsuccessful calls 0
3600.16/3613.52 c STR number of inconclusive calls 0
3600.16/3613.52 c STR number of successful attempts 0
3600.16/3613.52 c STR number of unsuccessful attempts 0
3600.16/3613.52 c STR number of inconclusive attempts 0
3600.16/3613.52 c STR average degree increase per successful call inf
3600.16/3613.52 c STR average degree increase per successful attempt inf
3600.16/3613.52 c STR total number of conflicts for successful attempts 0
3600.16/3613.52 c STR total number of conflicts for unsuccessful attempts 0
3600.16/3613.52 c STR total number of conflicts for inconclusive attempts 0
3600.16/3613.52 c STR average number of conflicts per successful attempt inf
3600.16/3613.52 c STR average number of conflicts per unsuccessful attempt inf
3600.16/3613.52 c STR average number of conflicts per inconclusive attempt inf
3600.16/3613.52 c AVG.sumWPerc 60.77
3600.16/3613.52 c bigint constraints 0
3600.16/3613.52 s UNKNOWN
3600.16/3613.52 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (30111 MiB free)
memory of node 1: 64507 MiB (62640 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503747-1751171469/watcher-4503747-1751171469 -o /tmp/evaluation-result-4503747-1751171469/solver-4503747-1751171469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18820 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4503747-1751171469.opb PROOFDIR/proof-4503747-1751171469
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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
solver pid=19528, runsolver pid=19525
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.22 4.17 4.09 5/269 19530
/proc/meminfo: memFree=98472492/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=50796 memory=7808 CPUtime=0 cores=4,6
/proc/19530/stat : 19530 (roundingsat) D 19528 19528 18809 0 -1 4456448 305 0 0 0 0 0 0 0 20 0 1 0 32825748 52015104 1952 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 12699 1952 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10880 KiB
[startup+0.205762 s]*
/proc/loadavg: 4.22 4.17 4.09 5/269 19530
/proc/meminfo: memFree=102153988/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=50796 memory=7808 CPUtime=0 cores=4,6
/proc/19530/stat : 19530 (roundingsat) D 19528 19528 18809 0 -1 4456448 305 0 0 0 0 0 0 0 20 0 1 0 32825748 52015104 1952 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 12699 1952 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10880 KiB
[startup+0.3057 s]*
/proc/loadavg: 4.22 4.17 4.09 5/269 19530
/proc/meminfo: memFree=105644656/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=50796 memory=7808 CPUtime=0 cores=4,6
/proc/19530/stat : 19530 (roundingsat) D 19528 19528 18809 0 -1 4456448 305 0 0 0 0 0 0 0 20 0 1 0 32825748 52015104 1952 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 12699 1952 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10880 KiB
[startup+0.70021 s]
/proc/loadavg: 4.22 4.17 4.09 5/269 19530
/proc/meminfo: memFree=112401360/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=50796 memory=7808 CPUtime=0 cores=4,6
/proc/19530/stat : 19530 (roundingsat) D 19528 19528 18809 0 -1 4456448 305 0 0 0 0 0 0 0 20 0 1 0 32825748 52015104 1952 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 12699 1952 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10880 KiB
[startup+1.50024 s]
/proc/loadavg: 4.22 4.17 4.09 4/270 19545
/proc/meminfo: memFree=125480812/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=50796 memory=7808 CPUtime=0 cores=4,6
/proc/19530/stat : 19530 (roundingsat) D 19528 19528 18809 0 -1 4456448 305 0 0 0 0 0 0 0 20 0 1 0 32825748 52015104 1952 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 12699 1952 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10880 KiB
[startup+3.10519 s]
/proc/loadavg: 4.22 4.17 4.09 3/275 19550
/proc/meminfo: memFree=127811540/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=50796 memory=7808 CPUtime=0 cores=4,6
/proc/19530/stat : 19530 (roundingsat) D 19528 19528 18809 0 -1 4456448 305 0 0 0 0 0 0 0 20 0 1 0 32825748 52015104 1952 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 12699 1952 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10880 KiB
heavy processes:
[startup+6.30018 s]
/proc/loadavg: 4.21 4.16 4.09 5/275 19550
/proc/meminfo: memFree=127209392/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=329400 memory=261092 CPUtime=2.23 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 59352 0 0 0 173 50 0 0 20 0 1 0 32825748 337305600 65273 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 82350 65273 2080 1147 0 69777 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 333592 KiB
Current children cumulated memory: 264164 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.19 4.16 4.09 5/275 19550
/proc/meminfo: memFree=125635220/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1248824 memory=1031096 CPUtime=8.62 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 112460 0 0 0 771 91 0 0 20 0 1 0 32825748 1278795776 257774 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 312206 257774 2336 1147 0 299633 0
Current children cumulated CPU time: 8.62 s
Current children cumulated vsize: 1253016 KiB
Current children cumulated memory: 1034168 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.15 4.15 4.08 5/275 19550
/proc/meminfo: memFree=124789404/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1248824 memory=1031096 CPUtime=21.38 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 112470 0 0 0 2047 91 0 0 20 0 1 0 32825748 1278795776 257774 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 312206 257774 2336 1147 0 299633 0
Current children cumulated CPU time: 21.38 s
Current children cumulated vsize: 1253016 KiB
Current children cumulated memory: 1034168 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 4.16 4.09 5/275 19551
/proc/meminfo: memFree=124771656/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1248824 memory=1031096 CPUtime=46.92 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 112470 0 0 0 4601 91 0 0 20 0 1 0 32825748 1278795776 257774 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 312206 257774 2336 1147 0 299633 0
Current children cumulated CPU time: 46.92 s
Current children cumulated vsize: 1253016 KiB
Current children cumulated memory: 1034168 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/275 19553
/proc/meminfo: memFree=124614844/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1272268 memory=1051112 CPUtime=97.98 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 118069 0 0 0 9699 99 0 0 20 0 1 0 32825748 1302802432 262778 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 318067 262778 2368 1147 0 305494 0
Current children cumulated CPU time: 97.98 s
Current children cumulated vsize: 1276460 KiB
Current children cumulated memory: 1054184 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/273 19557
/proc/meminfo: memFree=124449324/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1275160 memory=1054324 CPUtime=157.81 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 118381 0 0 0 15675 106 0 0 20 0 1 0 32825748 1305763840 263581 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 318790 263581 2368 1147 0 306217 0
Current children cumulated CPU time: 157.81 s
Current children cumulated vsize: 1279352 KiB
Current children cumulated memory: 1057396 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/273 19558
/proc/meminfo: memFree=124297572/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
################
# More data... #
################
[pid=19530] ppid=19528 vsize=1542260 memory=1277448 CPUtime=3090.17 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 134935 0 0 0 307486 1531 0 0 20 0 1 0 32825748 1579274240 319362 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 385565 319362 2400 1147 0 372992 0
Current children cumulated CPU time: 3090.17 s
Current children cumulated vsize: 1546452 KiB
Current children cumulated memory: 1280520 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 19718
/proc/meminfo: memFree=117307148/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1542260 memory=1277448 CPUtime=3150.04 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 135034 0 0 0 313452 1552 0 0 20 0 1 0 32825748 1579274240 319362 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 385565 319362 2400 1147 0 372992 0
Current children cumulated CPU time: 3150.04 s
Current children cumulated vsize: 1546452 KiB
Current children cumulated memory: 1280520 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/269 19720
/proc/meminfo: memFree=117132192/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1577600 memory=1312288 CPUtime=3209.9 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 136158 0 0 0 319415 1575 0 0 20 0 1 0 32825748 1615462400 328072 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 394400 328072 2400 1147 0 381827 0
Current children cumulated CPU time: 3209.9 s
Current children cumulated vsize: 1581792 KiB
Current children cumulated memory: 1315360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/269 19726
/proc/meminfo: memFree=116990940/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1630844 memory=1376116 CPUtime=3269.76 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138344 0 0 0 325394 1582 0 0 20 0 1 0 32825748 1669984256 344029 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 407711 344029 2400 1147 0 395138 0
Current children cumulated CPU time: 3269.76 s
Current children cumulated vsize: 1635036 KiB
Current children cumulated memory: 1379188 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 19729
/proc/meminfo: memFree=116943656/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1580484 memory=1325852 CPUtime=3329.61 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138357 0 0 0 331365 1596 0 0 20 0 1 0 32825748 1618415616 331463 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 395121 331463 2400 1147 0 382548 0
Current children cumulated CPU time: 3329.61 s
Current children cumulated vsize: 1584676 KiB
Current children cumulated memory: 1328924 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/270 19731
/proc/meminfo: memFree=116875988/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1580484 memory=1334812 CPUtime=3389.49 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138364 0 0 0 337332 1617 0 0 20 0 1 0 32825748 1618415616 333703 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 395121 333703 2400 1147 0 382548 0
Current children cumulated CPU time: 3389.49 s
Current children cumulated vsize: 1584676 KiB
Current children cumulated memory: 1337884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/270 19733
/proc/meminfo: memFree=116807752/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1580484 memory=1334812 CPUtime=3449.34 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138547 0 0 0 343292 1642 0 0 20 0 1 0 32825748 1618415616 333703 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 395121 333703 2400 1147 0 382548 0
Current children cumulated CPU time: 3449.34 s
Current children cumulated vsize: 1584676 KiB
Current children cumulated memory: 1337884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/270 19735
/proc/meminfo: memFree=116764952/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1580484 memory=1334812 CPUtime=3509.19 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138548 0 0 0 349273 1646 0 0 20 0 1 0 32825748 1618415616 333703 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 395121 333703 2400 1147 0 382548 0
Current children cumulated CPU time: 3509.19 s
Current children cumulated vsize: 1584676 KiB
Current children cumulated memory: 1337884 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/270 19739
/proc/meminfo: memFree=116697992/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1580484 memory=1336220 CPUtime=3569.04 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138556 0 0 0 355252 1652 0 0 20 0 1 0 32825748 1618415616 334055 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 395121 334055 2400 1147 0 382548 0
Current children cumulated CPU time: 3569.04 s
Current children cumulated vsize: 1584676 KiB
Current children cumulated memory: 1339292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.4 s]
/proc/loadavg: 4.15 4.13 4.10 4/267 19827
/proc/meminfo: memFree=120911292/131249988 swapFree=33010684/33010684
[pid=19528] ppid=19525 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/19528/stat : 19528 (run-dec-ls-log.) S 19525 19528 18809 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 32825747 4292608 768 18446744073709551615 94667101069312 94667101963845 140734692845952 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94667102202896 94667102250640 94667107409920 140734692854043 140734692854241 140734692854241 140734692859843 0
/proc/19528/statm: 1048 768 704 219 0 110 0
[pid=19530] ppid=19528 vsize=1580484 memory=1336220 CPUtime=3600.05 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19528 19528 18809 0 -1 4194304 138560 0 0 0 358348 1657 0 0 20 0 1 0 32825748 1618415616 334055 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 395121 334055 2400 1147 0 382548 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1584676 KiB
Current children cumulated memory: 1339292 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3613.4 s]
# the end of solver process 19528 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002092 s
Sleeping 2 seconds
[startup+3613.62 s]
# the end of solver process 19530 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.69 s, system=16.5797 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.61 s]
/proc/loadavg: 4.15 4.13 4.10 5/269 19833
/proc/meminfo: memFree=121413068/131249988 swapFree=33010684/33010684
[pid=19530] ppid=19525 vsize=735736 memory=674716 CPUtime=3600.25 cores=4,6
/proc/19530/stat : 19530 (roundingsat) R 19525 19528 18809 0 -1 4194304 138625 0 0 0 358368 1657 0 0 20 0 1 0 32825748 753393664 168679 18446744073709551615 4227072 8923433 140723346302336 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19357696 140723346307408 140723346307624 140723346307624 140723346313194 0
/proc/19530/statm: 183934 168679 2496 1147 0 171361 0
Current cumulated CPU time of completed processes: 0.002092 s
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 735736 KiB
Current children cumulated memory: 674716 KiB
Child status: 2
Real time (s): 3613.62
CPU time (s): 3600.27
CPU user time (s): 3583.69
CPU system time (s): 16.5797
CPU usage (%): 99.6308
Max. virtual memory (cumulated for all children) (KiB): 1635036
Max. memory (cumulated for all children) (KiB): 1379188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.69
system time used= 16.5797
maximum resident set size= 1376116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 295440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 1529
# summary of solver processes directly reported to runsolver:
# pid: 19528,19530
# total CPU time (s): 3600.27
# total CPU user time (s): 3583.69
# total CPU system time (s): 16.5797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13209 second user time and 16.8455 second system time
The end
Begin job on nodeC034 at 2025-06-29 06:31:09
IDJOB=4503747
IDBENCH=155584
IDSOLVER=3354
FILE ID=nodeC034/4503747-1751171469
RUNJOBID= nodeC034-1751167846-18820
SLURM_JOB_ID= 9587509
Free space on /tmp= 432704 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-111.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503747-1751171469/watcher-4503747-1751171469 -o /tmp/evaluation-result-4503747-1751171469/solver-4503747-1751171469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751167846-18820 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4503747-1751171469.opb PROOFDIR/proof-4503747-1751171469
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4268d39683cc1d999f2f6f0490fb9359
RANDOM SEED=520287019
nodeC034 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 : 3562.144
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3599.751
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3500.920
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3599.754
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3599.755
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.758
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 93350936 kB
MemAvailable: 128590548 kB
Buffers: 3280 kB
Cached: 36009100 kB
SwapCached: 0 kB
Active: 1272748 kB
Inactive: 35788308 kB
Active(anon): 1066460 kB
Inactive(anon): 0 kB
Active(file): 206288 kB
Inactive(file): 35788308 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 274900 kB
Writeback: 208 kB
AnonPages: 1051416 kB
Mapped: 110604 kB
Shmem: 18104 kB
KReclaimable: 168108 kB
Slab: 256560 kB
SReclaimable: 168108 kB
SUnreclaim: 88452 kB
KernelStack: 4336 kB
PageTables: 4820 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1580156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 456704 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC034 at 2025-06-29 07:31:23