0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
3.37/3.48 c #variables 33692 #constraints 737365
238.47/239.36 c #Conflicts: 1000 | #Constraints: 738364
238.47/239.36 c #Conflicts: 2000 | #Constraints: 739364
238.47/239.36 c INPROCESSING
238.47/239.36 c #Conflicts: 3000 | #Constraints: 738971
238.47/239.36 c #Conflicts: 4000 | #Constraints: 739971
238.47/239.36 c INPROCESSING
238.47/239.36 c #Conflicts: 5000 | #Constraints: 739452
238.47/239.36 c #Conflicts: 6000 | #Constraints: 740452
238.47/239.36 c INPROCESSING
238.47/239.36 c #Conflicts: 7000 | #Constraints: 739566
238.47/239.36 c #Conflicts: 8000 | #Constraints: 740566
238.47/239.36 c #Conflicts: 9000 | #Constraints: 741566
238.47/239.36 c #Conflicts: 10000 | #Constraints: 742566
238.47/239.36 c #Conflicts: 11000 | #Constraints: 743566
238.47/239.36 c #Conflicts: 12000 | #Constraints: 744566
238.47/239.36 c INPROCESSING
238.47/239.36 c rational objective 1418.6
702.63/705.01 c #Conflicts: 13000 | #Constraints: 741559
702.63/705.01 c #Conflicts: 14000 | #Constraints: 742559
702.63/705.01 c #Conflicts: 15000 | #Constraints: 743559
702.63/705.01 c #Conflicts: 16000 | #Constraints: 744559
702.63/705.01 c #Conflicts: 17000 | #Constraints: 745559
702.63/705.01 c #Conflicts: 18000 | #Constraints: 746559
702.63/705.01 c #Conflicts: 19000 | #Constraints: 747559
702.63/705.01 c #Conflicts: 20000 | #Constraints: 748559
702.63/705.01 c #Conflicts: 21000 | #Constraints: 749559
702.63/705.01 c INPROCESSING
702.63/705.01 c #Conflicts: 22000 | #Constraints: 744515
702.63/705.01 c #Conflicts: 23000 | #Constraints: 745515
702.63/705.01 c #Conflicts: 24000 | #Constraints: 746515
702.63/705.01 c #Conflicts: 25000 | #Constraints: 747515
702.63/705.01 c INPROCESSING
702.63/705.01 c #Conflicts: 26000 | #Constraints: 743122
702.63/705.01 c #Conflicts: 27000 | #Constraints: 744122
702.63/705.01 c #Conflicts: 28000 | #Constraints: 745122
702.63/705.01 c #Conflicts: 29000 | #Constraints: 746122
702.63/705.01 c #Conflicts: 30000 | #Constraints: 747122
702.63/705.01 c #Conflicts: 31000 | #Constraints: 748122
702.63/705.01 c #Conflicts: 32000 | #Constraints: 749122
702.63/705.01 c #Conflicts: 33000 | #Constraints: 750122
702.63/705.01 c #Conflicts: 34000 | #Constraints: 751122
702.63/705.01 c #Conflicts: 35000 | #Constraints: 752122
702.63/705.01 c #Conflicts: 36000 | #Constraints: 753122
702.63/705.01 c #Conflicts: 37000 | #Constraints: 754122
702.63/705.01 c INPROCESSING
702.63/705.01 c GARBAGE COLLECT
702.63/705.01 c #Conflicts: 38000 | #Constraints: 746840
702.63/705.01 c #Conflicts: 39000 | #Constraints: 747840
702.63/705.01 c #Conflicts: 40000 | #Constraints: 748840
702.63/705.01 c #Conflicts: 41000 | #Constraints: 749840
702.63/705.01 c #Conflicts: 42000 | #Constraints: 750840
702.63/705.01 c #Conflicts: 43000 | #Constraints: 751840
702.63/705.01 c #Conflicts: 44000 | #Constraints: 752840
702.63/705.01 c #Conflicts: 45000 | #Constraints: 753840
702.63/705.01 c #Conflicts: 46000 | #Constraints: 754840
702.63/705.01 c #Conflicts: 47000 | #Constraints: 755840
702.63/705.01 c #Conflicts: 48000 | #Constraints: 756840
702.63/705.01 c #Conflicts: 49000 | #Constraints: 757840
702.63/705.01 c #Conflicts: 50000 | #Constraints: 758840
702.63/705.01 c INPROCESSING
702.63/705.01 c #Conflicts: 51000 | #Constraints: 749314
702.63/705.01 c #Conflicts: 52000 | #Constraints: 750314
702.63/705.01 c #Conflicts: 53000 | #Constraints: 751314
702.63/705.01 c #Conflicts: 54000 | #Constraints: 752314
702.63/705.01 c #Conflicts: 55000 | #Constraints: 753314
702.63/705.01 c #Conflicts: 56000 | #Constraints: 754314
702.63/705.01 c #Conflicts: 57000 | #Constraints: 755314
702.63/705.01 c #Conflicts: 58000 | #Constraints: 756314
702.63/705.01 c #Conflicts: 59000 | #Constraints: 757314
702.63/705.01 c #Conflicts: 60000 | #Constraints: 758314
702.63/705.01 c #Conflicts: 61000 | #Constraints: 759314
702.63/705.01 c #Conflicts: 62000 | #Constraints: 760314
702.63/705.01 c #Conflicts: 63000 | #Constraints: 761314
702.63/705.01 c #Conflicts: 64000 | #Constraints: 762314
702.63/705.01 c #Conflicts: 65000 | #Constraints: 763314
702.63/705.01 c INPROCESSING
702.63/705.01 c #Conflicts: 66000 | #Constraints: 751291
702.63/705.01 c #Conflicts: 67000 | #Constraints: 752291
702.63/705.01 c #Conflicts: 68000 | #Constraints: 753291
702.63/705.01 c #Conflicts: 69000 | #Constraints: 754291
702.63/705.01 c #Conflicts: 70000 | #Constraints: 755291
702.63/705.01 c #Conflicts: 71000 | #Constraints: 756291
702.63/705.01 c #Conflicts: 72000 | #Constraints: 757291
702.63/705.01 c #Conflicts: 73000 | #Constraints: 758291
702.63/705.01 c #Conflicts: 74000 | #Constraints: 759291
702.63/705.01 c #Conflicts: 75000 | #Constraints: 760291
702.63/705.01 c #Conflicts: 76000 | #Constraints: 761291
702.63/705.01 c #Conflicts: 77000 | #Constraints: 762291
702.63/705.01 c #Conflicts: 78000 | #Constraints: 763291
702.63/705.01 c #Conflicts: 79000 | #Constraints: 764291
702.63/705.01 c #Conflicts: 80000 | #Constraints: 765291
702.63/705.01 c #Conflicts: 81000 | #Constraints: 766291
702.63/705.01 c #Conflicts: 82000 | #Constraints: 767291
702.63/705.01 c #Conflicts: 83000 | #Constraints: 768291
702.63/705.01 c INPROCESSING
702.63/705.01 c GARBAGE COLLECT
702.63/705.01 c #Conflicts: 84000 | #Constraints: 754335
702.63/705.01 c #Conflicts: 85000 | #Constraints: 755335
702.63/705.01 c #Conflicts: 86000 | #Constraints: 756335
702.63/705.01 c #Conflicts: 87000 | #Constraints: 757335
702.63/705.01 c #Conflicts: 88000 | #Constraints: 758335
702.63/705.01 c #Conflicts: 89000 | #Constraints: 759335
1051.88/1055.40 c #Conflicts: 90000 | #Constraints: 760335
1051.88/1055.40 c #Conflicts: 91000 | #Constraints: 761335
1051.88/1055.40 c #Conflicts: 92000 | #Constraints: 762335
1051.88/1055.40 c #Conflicts: 93000 | #Constraints: 763335
1051.88/1055.40 c #Conflicts: 94000 | #Constraints: 764335
1051.88/1055.40 c #Conflicts: 95000 | #Constraints: 765335
1051.88/1055.40 c #Conflicts: 96000 | #Constraints: 766335
1051.88/1055.40 c #Conflicts: 97000 | #Constraints: 767335
1051.88/1055.40 c #Conflicts: 98000 | #Constraints: 768335
1051.88/1055.40 c #Conflicts: 99000 | #Constraints: 769335
1051.88/1055.40 c #Conflicts: 100000 | #Constraints: 770335
1051.88/1055.40 c #Conflicts: 101000 | #Constraints: 771335
1051.88/1055.40 c #Conflicts: 102000 | #Constraints: 772335
1051.88/1055.40 c INPROCESSING
1051.88/1055.40 c #Conflicts: 103000 | #Constraints: 756264
1051.88/1055.40 c #Conflicts: 104000 | #Constraints: 757264
1051.88/1055.40 c #Conflicts: 105000 | #Constraints: 758264
1051.88/1055.40 c #Conflicts: 106000 | #Constraints: 759264
1051.88/1055.40 c #Conflicts: 107000 | #Constraints: 760264
1051.88/1055.40 c #Conflicts: 108000 | #Constraints: 761264
1051.88/1055.40 c #Conflicts: 109000 | #Constraints: 762264
1051.88/1055.40 c #Conflicts: 110000 | #Constraints: 763264
1051.88/1055.40 c #Conflicts: 111000 | #Constraints: 764264
1051.88/1055.40 c #Conflicts: 112000 | #Constraints: 765264
1051.88/1055.40 c INPROCESSING
1051.88/1055.40 c GARBAGE COLLECT
1051.88/1055.40 c #Conflicts: 113000 | #Constraints: 752556
1051.88/1055.40 c #Conflicts: 114000 | #Constraints: 753556
1051.88/1055.40 c #Conflicts: 115000 | #Constraints: 754556
1051.88/1055.40 c #Conflicts: 116000 | #Constraints: 755556
1051.88/1055.40 c #Conflicts: 117000 | #Constraints: 756556
1051.88/1055.40 c #Conflicts: 118000 | #Constraints: 757556
1051.88/1055.40 c #Conflicts: 119000 | #Constraints: 758556
1051.88/1055.40 c #Conflicts: 120000 | #Constraints: 759556
1051.88/1055.40 c #Conflicts: 121000 | #Constraints: 760556
1051.88/1055.40 c #Conflicts: 122000 | #Constraints: 761556
1051.88/1055.40 c #Conflicts: 123000 | #Constraints: 762556
1051.88/1055.40 c #Conflicts: 124000 | #Constraints: 763556
1051.88/1055.40 c #Conflicts: 125000 | #Constraints: 764556
1051.88/1055.40 c #Conflicts: 126000 | #Constraints: 765556
1051.88/1055.40 c #Conflicts: 127000 | #Constraints: 766556
1051.88/1055.40 c #Conflicts: 128000 | #Constraints: 767556
1051.88/1055.40 c #Conflicts: 129000 | #Constraints: 768556
1051.88/1055.40 c #Conflicts: 130000 | #Constraints: 769556
1051.88/1055.40 c #Conflicts: 131000 | #Constraints: 770556
1051.88/1055.40 c #Conflicts: 132000 | #Constraints: 771556
1051.88/1055.40 c #Conflicts: 133000 | #Constraints: 772556
1051.88/1055.40 c #Conflicts: 134000 | #Constraints: 773556
1051.88/1055.40 c #Conflicts: 135000 | #Constraints: 774556
1051.88/1055.40 c INPROCESSING
1051.88/1055.40 c #Conflicts: 136000 | #Constraints: 757578
1051.88/1055.40 c #Conflicts: 137000 | #Constraints: 758578
1051.88/1055.40 c #Conflicts: 138000 | #Constraints: 759578
1051.88/1055.40 c #Conflicts: 139000 | #Constraints: 760578
1051.88/1055.40 c #Conflicts: 140000 | #Constraints: 761578
1051.88/1055.40 c #Conflicts: 141000 | #Constraints: 762578
1051.88/1055.40 c #Conflicts: 142000 | #Constraints: 763578
1051.88/1055.40 c #Conflicts: 143000 | #Constraints: 764578
1051.88/1055.40 c #Conflicts: 144000 | #Constraints: 765578
1051.88/1055.40 c #Conflicts: 145000 | #Constraints: 766578
1051.88/1055.40 c #Conflicts: 146000 | #Constraints: 767578
1051.88/1055.40 c #Conflicts: 147000 | #Constraints: 768578
1051.88/1055.40 c #Conflicts: 148000 | #Constraints: 769578
1051.88/1055.40 c #Conflicts: 149000 | #Constraints: 770578
1051.88/1055.40 c #Conflicts: 150000 | #Constraints: 771578
1051.88/1055.40 c #Conflicts: 151000 | #Constraints: 772578
1051.88/1055.40 c #Conflicts: 152000 | #Constraints: 773578
1051.88/1055.40 c #Conflicts: 153000 | #Constraints: 774578
1051.88/1055.40 c #Conflicts: 154000 | #Constraints: 775578
1051.88/1055.40 c #Conflicts: 155000 | #Constraints: 776578
1051.88/1055.40 c #Conflicts: 156000 | #Constraints: 777578
1051.88/1055.40 c #Conflicts: 157000 | #Constraints: 778578
1051.88/1055.40 c #Conflicts: 158000 | #Constraints: 779578
1051.88/1055.40 c #Conflicts: 159000 | #Constraints: 780578
1051.88/1055.40 c INPROCESSING
1051.88/1055.40 c GARBAGE COLLECT
1051.88/1055.40 c #Conflicts: 160000 | #Constraints: 760577
1051.88/1055.40 c #Conflicts: 161000 | #Constraints: 761577
1051.88/1055.40 c #Conflicts: 162000 | #Constraints: 762577
1051.88/1055.40 c #Conflicts: 163000 | #Constraints: 763577
1051.88/1055.40 c #Conflicts: 164000 | #Constraints: 764577
1051.88/1055.40 c #Conflicts: 165000 | #Constraints: 765577
1051.88/1055.40 c #Conflicts: 166000 | #Constraints: 766577
1270.43/1274.75 c #Conflicts: 167000 | #Constraints: 767577
1270.43/1274.75 c #Conflicts: 168000 | #Constraints: 768577
1270.43/1274.75 c #Conflicts: 169000 | #Constraints: 769577
1270.43/1274.75 c #Conflicts: 170000 | #Constraints: 770577
1270.43/1274.75 c #Conflicts: 171000 | #Constraints: 771577
1270.43/1274.75 c #Conflicts: 172000 | #Constraints: 772577
1270.43/1274.75 c INPROCESSING
1270.43/1274.75 c #Conflicts: 173000 | #Constraints: 756544
1270.43/1274.75 c #Conflicts: 174000 | #Constraints: 757544
1270.43/1274.75 c #Conflicts: 175000 | #Constraints: 758544
1270.43/1274.75 c #Conflicts: 176000 | #Constraints: 759544
1270.43/1274.75 c #Conflicts: 177000 | #Constraints: 760544
1270.43/1274.75 c #Conflicts: 178000 | #Constraints: 761544
1270.43/1274.75 c #Conflicts: 179000 | #Constraints: 762544
1270.43/1274.75 c #Conflicts: 180000 | #Constraints: 763544
1270.43/1274.75 c #Conflicts: 181000 | #Constraints: 764544
1270.43/1274.75 c #Conflicts: 182000 | #Constraints: 765544
1270.43/1274.75 c #Conflicts: 183000 | #Constraints: 766544
1270.43/1274.75 c #Conflicts: 184000 | #Constraints: 767544
1270.43/1274.75 c #Conflicts: 185000 | #Constraints: 768544
1270.43/1274.75 c #Conflicts: 186000 | #Constraints: 769544
1270.43/1274.75 c #Conflicts: 187000 | #Constraints: 770544
1270.43/1274.75 c #Conflicts: 188000 | #Constraints: 771544
1270.43/1274.75 c #Conflicts: 189000 | #Constraints: 772544
1270.43/1274.75 c #Conflicts: 190000 | #Constraints: 773544
1270.43/1274.75 c #Conflicts: 191000 | #Constraints: 774544
1270.43/1274.75 c #Conflicts: 192000 | #Constraints: 775544
1270.43/1274.75 c #Conflicts: 193000 | #Constraints: 776544
1270.43/1274.75 c #Conflicts: 194000 | #Constraints: 777544
1270.43/1274.75 c #Conflicts: 195000 | #Constraints: 778544
1270.43/1274.75 c #Conflicts: 196000 | #Constraints: 779544
1270.43/1274.75 c #Conflicts: 197000 | #Constraints: 780544
1270.43/1274.75 c #Conflicts: 198000 | #Constraints: 781544
1270.43/1274.75 c #Conflicts: 199000 | #Constraints: 782544
1270.43/1274.75 c #Conflicts: 200000 | #Constraints: 783544
1270.43/1274.75 c INPROCESSING
1270.43/1274.75 c GARBAGE COLLECT
1270.43/1274.75 c #Conflicts: 201000 | #Constraints: 762287
1270.43/1274.75 c #Conflicts: 202000 | #Constraints: 763287
1270.43/1274.75 c #Conflicts: 203000 | #Constraints: 764287
1270.43/1274.75 c #Conflicts: 204000 | #Constraints: 765287
1270.43/1274.75 c #Conflicts: 205000 | #Constraints: 766287
1270.43/1274.75 c #Conflicts: 206000 | #Constraints: 767287
1270.43/1274.75 c #Conflicts: 207000 | #Constraints: 768287
1270.43/1274.75 c #Conflicts: 208000 | #Constraints: 769287
1270.43/1274.75 c #Conflicts: 209000 | #Constraints: 770287
1270.43/1274.75 c #Conflicts: 210000 | #Constraints: 771287
1270.43/1274.75 c #Conflicts: 211000 | #Constraints: 772287
1270.43/1274.75 c #Conflicts: 212000 | #Constraints: 773287
1270.43/1274.75 c #Conflicts: 213000 | #Constraints: 774287
1270.43/1274.75 c #Conflicts: 214000 | #Constraints: 775287
1270.43/1274.75 c INPROCESSING
1270.43/1274.75 c #Conflicts: 215000 | #Constraints: 758115
1270.43/1274.75 c #Conflicts: 216000 | #Constraints: 759115
1270.43/1274.75 c #Conflicts: 217000 | #Constraints: 760115
1270.43/1274.75 c #Conflicts: 218000 | #Constraints: 761115
1270.43/1274.75 c #Conflicts: 219000 | #Constraints: 762115
1270.43/1274.75 c #Conflicts: 220000 | #Constraints: 763115
1270.43/1274.75 c #Conflicts: 221000 | #Constraints: 764115
1270.43/1274.75 c #Conflicts: 222000 | #Constraints: 765115
1270.43/1274.75 c #Conflicts: 223000 | #Constraints: 766115
1270.43/1274.75 c #Conflicts: 224000 | #Constraints: 767115
1270.43/1274.75 c #Conflicts: 225000 | #Constraints: 768115
1270.43/1274.75 c #Conflicts: 226000 | #Constraints: 769115
1270.43/1274.75 c #Conflicts: 227000 | #Constraints: 770115
1270.43/1274.75 c #Conflicts: 228000 | #Constraints: 771115
1270.43/1274.75 c #Conflicts: 229000 | #Constraints: 772115
1270.43/1274.75 c #Conflicts: 230000 | #Constraints: 773115
1270.43/1274.75 c #Conflicts: 231000 | #Constraints: 774115
1270.43/1274.75 c #Conflicts: 232000 | #Constraints: 775115
1270.43/1274.75 c #Conflicts: 233000 | #Constraints: 776115
1270.43/1274.75 c #Conflicts: 234000 | #Constraints: 777115
1270.43/1274.75 c #Conflicts: 235000 | #Constraints: 778115
1270.43/1274.75 c #Conflicts: 236000 | #Constraints: 779115
1270.43/1274.75 c #Conflicts: 237000 | #Constraints: 780115
1270.43/1274.75 c #Conflicts: 238000 | #Constraints: 781115
1270.43/1274.75 c #Conflicts: 239000 | #Constraints: 782115
1270.43/1274.75 c #Conflicts: 240000 | #Constraints: 783115
1270.43/1274.75 c #Conflicts: 241000 | #Constraints: 784115
1270.43/1274.75 c #Conflicts: 242000 | #Constraints: 785115
1270.43/1274.75 c #Conflicts: 243000 | #Constraints: 786115
1465.39/1470.33 c #Conflicts: 244000 | #Constraints: 787115
1465.39/1470.33 c INPROCESSING
1465.39/1470.33 c GARBAGE COLLECT
1465.39/1470.33 c #Conflicts: 245000 | #Constraints: 763786
1465.39/1470.33 c #Conflicts: 246000 | #Constraints: 764786
1465.39/1470.33 c #Conflicts: 247000 | #Constraints: 765786
1465.39/1470.33 c #Conflicts: 248000 | #Constraints: 766786
1465.39/1470.33 c #Conflicts: 249000 | #Constraints: 767786
1465.39/1470.33 c #Conflicts: 250000 | #Constraints: 768786
1465.39/1470.33 c #Conflicts: 251000 | #Constraints: 769786
1465.39/1470.33 c #Conflicts: 252000 | #Constraints: 770786
1465.39/1470.33 c #Conflicts: 253000 | #Constraints: 771786
1465.39/1470.33 c #Conflicts: 254000 | #Constraints: 772786
1465.39/1470.33 c #Conflicts: 255000 | #Constraints: 773786
1465.39/1470.33 c #Conflicts: 256000 | #Constraints: 774786
1465.39/1470.33 c #Conflicts: 257000 | #Constraints: 775786
1465.39/1470.33 c #Conflicts: 258000 | #Constraints: 776786
1465.39/1470.33 c #Conflicts: 259000 | #Constraints: 777786
1465.39/1470.33 c #Conflicts: 260000 | #Constraints: 778786
1465.39/1470.33 c INPROCESSING
1465.39/1470.33 c #Conflicts: 261000 | #Constraints: 759831
1465.39/1470.33 c #Conflicts: 262000 | #Constraints: 760831
1465.39/1470.33 c #Conflicts: 263000 | #Constraints: 761831
1465.39/1470.33 c #Conflicts: 264000 | #Constraints: 762831
1465.39/1470.33 c #Conflicts: 265000 | #Constraints: 763831
1465.39/1470.33 c #Conflicts: 266000 | #Constraints: 764831
1465.39/1470.33 c #Conflicts: 267000 | #Constraints: 765831
1465.39/1470.33 c #Conflicts: 268000 | #Constraints: 766831
1465.39/1470.33 c #Conflicts: 269000 | #Constraints: 767831
1465.39/1470.33 c #Conflicts: 270000 | #Constraints: 768831
1465.39/1470.33 c #Conflicts: 271000 | #Constraints: 769831
1465.39/1470.33 c #Conflicts: 272000 | #Constraints: 770831
1465.39/1470.33 c #Conflicts: 273000 | #Constraints: 771831
1465.39/1470.33 c #Conflicts: 274000 | #Constraints: 772831
1465.39/1470.33 c #Conflicts: 275000 | #Constraints: 773831
1465.39/1470.33 c #Conflicts: 276000 | #Constraints: 774831
1465.39/1470.33 c #Conflicts: 277000 | #Constraints: 775831
1465.39/1470.33 c #Conflicts: 278000 | #Constraints: 776831
1465.39/1470.33 c #Conflicts: 279000 | #Constraints: 777831
1465.39/1470.33 c #Conflicts: 280000 | #Constraints: 778831
1465.39/1470.33 c #Conflicts: 281000 | #Constraints: 779831
1465.39/1470.33 c #Conflicts: 282000 | #Constraints: 780831
1465.39/1470.33 c #Conflicts: 283000 | #Constraints: 781831
1465.39/1470.33 c #Conflicts: 284000 | #Constraints: 782831
1465.39/1470.33 c #Conflicts: 285000 | #Constraints: 783831
1465.39/1470.33 c #Conflicts: 286000 | #Constraints: 784831
1465.39/1470.33 c #Conflicts: 287000 | #Constraints: 785831
1465.39/1470.33 c #Conflicts: 288000 | #Constraints: 786831
1465.39/1470.33 c #Conflicts: 289000 | #Constraints: 787831
1465.39/1470.33 c #Conflicts: 290000 | #Constraints: 788831
1465.39/1470.33 c #Conflicts: 291000 | #Constraints: 789831
1465.39/1470.33 c #Conflicts: 292000 | #Constraints: 790831
1465.39/1470.33 c #Conflicts: 293000 | #Constraints: 791831
1465.39/1470.33 c #Conflicts: 294000 | #Constraints: 792831
1465.39/1470.33 c INPROCESSING
1465.39/1470.33 c GARBAGE COLLECT
1465.39/1470.33 c #Conflicts: 295000 | #Constraints: 766939
1465.39/1470.33 c #Conflicts: 296000 | #Constraints: 767939
1465.39/1470.33 c #Conflicts: 297000 | #Constraints: 768939
1465.39/1470.33 c #Conflicts: 298000 | #Constraints: 769939
1465.39/1470.33 c #Conflicts: 299000 | #Constraints: 770939
1465.39/1470.33 c #Conflicts: 300000 | #Constraints: 771939
1465.39/1470.33 c #Conflicts: 301000 | #Constraints: 772939
1465.39/1470.33 c #Conflicts: 302000 | #Constraints: 773939
1465.39/1470.33 c #Conflicts: 303000 | #Constraints: 774939
1465.39/1470.33 c #Conflicts: 304000 | #Constraints: 775939
1465.39/1470.33 c #Conflicts: 305000 | #Constraints: 776939
1465.39/1470.33 c #Conflicts: 306000 | #Constraints: 777939
1465.39/1470.33 c #Conflicts: 307000 | #Constraints: 778939
1465.39/1470.33 c #Conflicts: 308000 | #Constraints: 779939
1465.39/1470.33 c #Conflicts: 309000 | #Constraints: 780939
1465.39/1470.33 c #Conflicts: 310000 | #Constraints: 781939
1465.39/1470.33 c #Conflicts: 311000 | #Constraints: 782939
1465.39/1470.33 c #Conflicts: 312000 | #Constraints: 783939
1465.39/1470.33 c #Conflicts: 313000 | #Constraints: 784939
1465.39/1470.33 c #Conflicts: 314000 | #Constraints: 785939
1465.39/1470.33 c #Conflicts: 315000 | #Constraints: 786939
1465.39/1470.33 c #Conflicts: 316000 | #Constraints: 787939
1465.39/1470.33 c #Conflicts: 317000 | #Constraints: 788939
1465.39/1470.33 c #Conflicts: 318000 | #Constraints: 789939
1465.39/1470.33 c #Conflicts: 319000 | #Constraints: 790939
1465.39/1470.33 c #Conflicts: 320000 | #Constraints: 791939
1465.39/1470.33 c #Conflicts: 321000 | #Constraints: 792939
1664.02/1669.67 c #Conflicts: 322000 | #Constraints: 793939
1664.02/1669.67 c #Conflicts: 323000 | #Constraints: 794939
1664.02/1669.67 c #Conflicts: 324000 | #Constraints: 795939
1664.02/1669.67 c #Conflicts: 325000 | #Constraints: 796939
1664.02/1669.67 c #Conflicts: 326000 | #Constraints: 797939
1664.02/1669.67 c #Conflicts: 327000 | #Constraints: 798939
1664.02/1669.67 c #Conflicts: 328000 | #Constraints: 799939
1664.02/1669.67 c #Conflicts: 329000 | #Constraints: 800939
1664.02/1669.67 c INPROCESSING
1664.02/1669.67 c GARBAGE COLLECT
1664.02/1669.67 c #Conflicts: 330000 | #Constraints: 770754
1664.02/1669.67 c #Conflicts: 331000 | #Constraints: 771754
1664.02/1669.67 c #Conflicts: 332000 | #Constraints: 772754
1664.02/1669.67 c #Conflicts: 333000 | #Constraints: 773754
1664.02/1669.67 c #Conflicts: 334000 | #Constraints: 774754
1664.02/1669.67 c #Conflicts: 335000 | #Constraints: 775754
1664.02/1669.67 c #Conflicts: 336000 | #Constraints: 776754
1664.02/1669.67 c #Conflicts: 337000 | #Constraints: 777754
1664.02/1669.67 c #Conflicts: 338000 | #Constraints: 778754
1664.02/1669.67 c #Conflicts: 339000 | #Constraints: 779754
1664.02/1669.67 c #Conflicts: 340000 | #Constraints: 780754
1664.02/1669.67 c #Conflicts: 341000 | #Constraints: 781754
1664.02/1669.67 c #Conflicts: 342000 | #Constraints: 782754
1664.02/1669.67 c #Conflicts: 343000 | #Constraints: 783754
1664.02/1669.67 c #Conflicts: 344000 | #Constraints: 784754
1664.02/1669.67 c #Conflicts: 345000 | #Constraints: 785754
1664.02/1669.67 c #Conflicts: 346000 | #Constraints: 786754
1664.02/1669.67 c #Conflicts: 347000 | #Constraints: 787754
1664.02/1669.67 c INPROCESSING
1664.02/1669.67 c #Conflicts: 348000 | #Constraints: 764350
1664.02/1669.67 c #Conflicts: 349000 | #Constraints: 765350
1664.02/1669.67 c #Conflicts: 350000 | #Constraints: 766350
1664.02/1669.67 c #Conflicts: 351000 | #Constraints: 767350
1664.02/1669.67 c #Conflicts: 352000 | #Constraints: 768350
1664.02/1669.67 c #Conflicts: 353000 | #Constraints: 769350
1664.02/1669.67 c #Conflicts: 354000 | #Constraints: 770350
1664.02/1669.67 c #Conflicts: 355000 | #Constraints: 771350
1664.02/1669.67 c #Conflicts: 356000 | #Constraints: 772350
1664.02/1669.67 c #Conflicts: 357000 | #Constraints: 773350
1664.02/1669.67 c #Conflicts: 358000 | #Constraints: 774350
1664.02/1669.67 c #Conflicts: 359000 | #Constraints: 775350
1664.02/1669.67 c #Conflicts: 360000 | #Constraints: 776350
1664.02/1669.67 c #Conflicts: 361000 | #Constraints: 777350
1664.02/1669.67 c #Conflicts: 362000 | #Constraints: 778350
1664.02/1669.67 c #Conflicts: 363000 | #Constraints: 779350
1664.02/1669.67 c #Conflicts: 364000 | #Constraints: 780350
1664.02/1669.67 c #Conflicts: 365000 | #Constraints: 781350
1664.02/1669.67 c #Conflicts: 366000 | #Constraints: 782350
1664.02/1669.67 c #Conflicts: 367000 | #Constraints: 783350
1664.02/1669.67 c #Conflicts: 368000 | #Constraints: 784350
1664.02/1669.67 c #Conflicts: 369000 | #Constraints: 785350
1664.02/1669.67 c #Conflicts: 370000 | #Constraints: 786350
1664.02/1669.67 c #Conflicts: 371000 | #Constraints: 787350
1664.02/1669.67 c #Conflicts: 372000 | #Constraints: 788350
1664.02/1669.67 c #Conflicts: 373000 | #Constraints: 789350
1664.02/1669.67 c #Conflicts: 374000 | #Constraints: 790350
1664.02/1669.67 c #Conflicts: 375000 | #Constraints: 791350
1664.02/1669.67 c #Conflicts: 376000 | #Constraints: 792350
1664.02/1669.67 c #Conflicts: 377000 | #Constraints: 793350
1664.02/1669.67 c #Conflicts: 378000 | #Constraints: 794350
1664.02/1669.67 c #Conflicts: 379000 | #Constraints: 795350
1664.02/1669.67 c #Conflicts: 380000 | #Constraints: 796350
1664.02/1669.67 c #Conflicts: 381000 | #Constraints: 797350
1664.02/1669.67 c #Conflicts: 382000 | #Constraints: 798350
1664.02/1669.67 c #Conflicts: 383000 | #Constraints: 799350
1664.02/1669.67 c #Conflicts: 384000 | #Constraints: 800350
1664.02/1669.67 c #Conflicts: 385000 | #Constraints: 801350
1664.02/1669.67 c #Conflicts: 386000 | #Constraints: 802350
1664.02/1669.67 c INPROCESSING
1664.02/1669.67 c GARBAGE COLLECT
1664.02/1669.67 c #Conflicts: 387000 | #Constraints: 772142
1664.02/1669.67 c #Conflicts: 388000 | #Constraints: 773142
1664.02/1669.67 c #Conflicts: 389000 | #Constraints: 774142
1664.02/1669.67 c #Conflicts: 390000 | #Constraints: 775142
1664.02/1669.67 c #Conflicts: 391000 | #Constraints: 776142
1664.02/1669.67 c #Conflicts: 392000 | #Constraints: 777142
1664.02/1669.67 c #Conflicts: 393000 | #Constraints: 778142
1664.02/1669.67 c #Conflicts: 394000 | #Constraints: 779142
1664.02/1669.67 c #Conflicts: 395000 | #Constraints: 780142
1664.02/1669.67 c #Conflicts: 396000 | #Constraints: 781142
1664.02/1669.67 c #Conflicts: 397000 | #Constraints: 782142
1664.02/1669.67 c #Conflicts: 398000 | #Constraints: 783142
2158.79/2166.06 c #Conflicts: 399000 | #Constraints: 784142
2158.79/2166.06 c #Conflicts: 400000 | #Constraints: 785142
2158.79/2166.06 c #Conflicts: 401000 | #Constraints: 786142
2158.79/2166.06 c #Conflicts: 402000 | #Constraints: 787142
2158.79/2166.06 c #Conflicts: 403000 | #Constraints: 788142
2158.79/2166.06 c #Conflicts: 404000 | #Constraints: 789142
2158.79/2166.06 c #Conflicts: 405000 | #Constraints: 790142
2158.79/2166.06 c #Conflicts: 406000 | #Constraints: 791142
2158.79/2166.06 c #Conflicts: 407000 | #Constraints: 792142
2158.79/2166.06 c #Conflicts: 408000 | #Constraints: 793142
2158.79/2166.06 c #Conflicts: 409000 | #Constraints: 794142
2158.79/2166.06 c #Conflicts: 410000 | #Constraints: 795142
2158.79/2166.06 c #Conflicts: 411000 | #Constraints: 796142
2158.79/2166.06 c #Conflicts: 412000 | #Constraints: 797142
2158.79/2166.06 c #Conflicts: 413000 | #Constraints: 798142
2158.79/2166.06 c #Conflicts: 414000 | #Constraints: 799142
2158.79/2166.06 c #Conflicts: 415000 | #Constraints: 800142
2158.79/2166.06 c #Conflicts: 416000 | #Constraints: 801142
2158.79/2166.06 c #Conflicts: 417000 | #Constraints: 802142
2158.79/2166.06 c #Conflicts: 418000 | #Constraints: 803142
2158.79/2166.06 c #Conflicts: 419000 | #Constraints: 804142
2158.79/2166.06 c #Conflicts: 420000 | #Constraints: 805142
2158.79/2166.06 c #Conflicts: 421000 | #Constraints: 806142
2158.79/2166.06 c #Conflicts: 422000 | #Constraints: 807142
2158.79/2166.06 c #Conflicts: 423000 | #Constraints: 808142
2158.79/2166.06 c #Conflicts: 424000 | #Constraints: 809142
2158.79/2166.06 c #Conflicts: 425000 | #Constraints: 810142
2158.79/2166.06 c #Conflicts: 426000 | #Constraints: 811142
2158.79/2166.06 c #Conflicts: 427000 | #Constraints: 812142
2158.79/2166.06 c INPROCESSING
2158.79/2166.06 c GARBAGE COLLECT
2158.79/2166.06 c #Conflicts: 428000 | #Constraints: 777182
2158.79/2166.06 c #Conflicts: 429000 | #Constraints: 778182
2158.79/2166.06 c #Conflicts: 430000 | #Constraints: 779182
2158.79/2166.06 c #Conflicts: 431000 | #Constraints: 780182
2158.79/2166.06 c #Conflicts: 432000 | #Constraints: 781182
2158.79/2166.06 c #Conflicts: 433000 | #Constraints: 782182
2158.79/2166.06 c #Conflicts: 434000 | #Constraints: 783182
2158.79/2166.06 c #Conflicts: 435000 | #Constraints: 784182
2158.79/2166.06 c #Conflicts: 436000 | #Constraints: 785182
2158.79/2166.06 c #Conflicts: 437000 | #Constraints: 786182
2158.79/2166.06 c #Conflicts: 438000 | #Constraints: 787182
2158.79/2166.06 c #Conflicts: 439000 | #Constraints: 788182
2158.79/2166.06 c #Conflicts: 440000 | #Constraints: 789182
2158.79/2166.06 c #Conflicts: 441000 | #Constraints: 790182
2158.79/2166.06 c #Conflicts: 442000 | #Constraints: 791182
2158.79/2166.06 c #Conflicts: 443000 | #Constraints: 792182
2158.79/2166.06 c #Conflicts: 444000 | #Constraints: 793182
2158.79/2166.06 c #Conflicts: 445000 | #Constraints: 794182
2158.79/2166.06 c #Conflicts: 446000 | #Constraints: 795182
2158.79/2166.06 c #Conflicts: 447000 | #Constraints: 796182
2158.79/2166.06 c #Conflicts: 448000 | #Constraints: 797182
2158.79/2166.06 c #Conflicts: 449000 | #Constraints: 798182
2158.79/2166.06 c #Conflicts: 450000 | #Constraints: 799182
2158.79/2166.06 c #Conflicts: 451000 | #Constraints: 800182
2158.79/2166.06 c #Conflicts: 452000 | #Constraints: 801182
2158.79/2166.06 c #Conflicts: 453000 | #Constraints: 802182
2158.79/2166.06 c #Conflicts: 454000 | #Constraints: 803182
2158.79/2166.06 c #Conflicts: 455000 | #Constraints: 804182
2158.79/2166.06 c #Conflicts: 456000 | #Constraints: 805182
2158.79/2166.06 c #Conflicts: 457000 | #Constraints: 806182
2158.79/2166.06 c #Conflicts: 458000 | #Constraints: 807182
2158.79/2166.06 c #Conflicts: 459000 | #Constraints: 808182
2158.79/2166.06 c #Conflicts: 460000 | #Constraints: 809182
2158.79/2166.06 c #Conflicts: 461000 | #Constraints: 810182
2158.79/2166.06 c #Conflicts: 462000 | #Constraints: 811182
2158.79/2166.06 c #Conflicts: 463000 | #Constraints: 812182
2158.79/2166.06 c #Conflicts: 464000 | #Constraints: 813182
2158.79/2166.06 c #Conflicts: 465000 | #Constraints: 814182
2158.79/2166.06 c #Conflicts: 466000 | #Constraints: 815182
2158.79/2166.06 c #Conflicts: 467000 | #Constraints: 816182
2158.79/2166.06 c #Conflicts: 468000 | #Constraints: 817182
2158.79/2166.06 c #Conflicts: 469000 | #Constraints: 818182
2158.79/2166.06 c #Conflicts: 470000 | #Constraints: 819182
2158.79/2166.06 c INPROCESSING
2158.79/2166.06 c GARBAGE COLLECT
2158.79/2166.06 c rational objective 1418.6
2362.61/2370.52 c #Conflicts: 471000 | #Constraints: 780614
2362.61/2370.52 c #Conflicts: 472000 | #Constraints: 781614
2362.61/2370.52 c #Conflicts: 473000 | #Constraints: 782614
2362.61/2370.52 c #Conflicts: 474000 | #Constraints: 783614
2362.61/2370.52 c #Conflicts: 475000 | #Constraints: 784614
2362.61/2370.52 c #Conflicts: 476000 | #Constraints: 785614
2362.61/2370.52 c #Conflicts: 477000 | #Constraints: 786614
2362.61/2370.52 c #Conflicts: 478000 | #Constraints: 787614
2362.61/2370.52 c #Conflicts: 479000 | #Constraints: 788614
2362.61/2370.52 c #Conflicts: 480000 | #Constraints: 789614
2362.61/2370.52 c #Conflicts: 481000 | #Constraints: 790614
2362.61/2370.52 c #Conflicts: 482000 | #Constraints: 791614
2362.61/2370.52 c #Conflicts: 483000 | #Constraints: 792614
2362.61/2370.52 c #Conflicts: 484000 | #Constraints: 793614
2362.61/2370.52 c #Conflicts: 485000 | #Constraints: 794614
2362.61/2370.52 c #Conflicts: 486000 | #Constraints: 795614
2362.61/2370.52 c #Conflicts: 487000 | #Constraints: 796614
2362.61/2370.52 c #Conflicts: 488000 | #Constraints: 797614
2362.61/2370.52 c #Conflicts: 489000 | #Constraints: 798614
2362.61/2370.52 c #Conflicts: 490000 | #Constraints: 799614
2362.61/2370.52 c #Conflicts: 491000 | #Constraints: 800614
2362.61/2370.52 c INPROCESSING
2362.61/2370.52 c GARBAGE COLLECT
2362.61/2370.52 c #Conflicts: 492000 | #Constraints: 770862
2362.61/2370.52 c #Conflicts: 493000 | #Constraints: 771862
2362.61/2370.52 c #Conflicts: 494000 | #Constraints: 772862
2362.61/2370.52 c #Conflicts: 495000 | #Constraints: 773862
2362.61/2370.52 c #Conflicts: 496000 | #Constraints: 774862
2362.61/2370.52 c #Conflicts: 497000 | #Constraints: 775862
2362.61/2370.52 c #Conflicts: 498000 | #Constraints: 776862
2362.61/2370.52 c #Conflicts: 499000 | #Constraints: 777862
2362.61/2370.52 c #Conflicts: 500000 | #Constraints: 778862
2362.61/2370.52 c #Conflicts: 501000 | #Constraints: 779862
2362.61/2370.52 c #Conflicts: 502000 | #Constraints: 780862
2362.61/2370.52 c #Conflicts: 503000 | #Constraints: 781862
2362.61/2370.52 c #Conflicts: 504000 | #Constraints: 782862
2362.61/2370.52 c #Conflicts: 505000 | #Constraints: 783862
2362.61/2370.52 c #Conflicts: 506000 | #Constraints: 784862
2362.61/2370.52 c #Conflicts: 507000 | #Constraints: 785862
2362.61/2370.52 c #Conflicts: 508000 | #Constraints: 786862
2362.61/2370.52 c #Conflicts: 509000 | #Constraints: 787862
2362.61/2370.52 c #Conflicts: 510000 | #Constraints: 788862
2362.61/2370.52 c #Conflicts: 511000 | #Constraints: 789862
2362.61/2370.52 c #Conflicts: 512000 | #Constraints: 790862
2362.61/2370.52 c #Conflicts: 513000 | #Constraints: 791862
2362.61/2370.52 c #Conflicts: 514000 | #Constraints: 792862
2362.61/2370.52 c #Conflicts: 515000 | #Constraints: 793862
2362.61/2370.52 c #Conflicts: 516000 | #Constraints: 794862
2362.61/2370.52 c #Conflicts: 517000 | #Constraints: 795862
2362.61/2370.52 c #Conflicts: 518000 | #Constraints: 796862
2362.61/2370.52 c #Conflicts: 519000 | #Constraints: 797862
2362.61/2370.52 c #Conflicts: 520000 | #Constraints: 798862
2362.61/2370.52 c #Conflicts: 521000 | #Constraints: 799862
2362.61/2370.52 c #Conflicts: 522000 | #Constraints: 800862
2362.61/2370.52 c #Conflicts: 523000 | #Constraints: 801862
2362.61/2370.52 c #Conflicts: 524000 | #Constraints: 802862
2362.61/2370.52 c #Conflicts: 525000 | #Constraints: 803862
2362.61/2370.52 c #Conflicts: 526000 | #Constraints: 804862
2362.61/2370.52 c #Conflicts: 527000 | #Constraints: 805862
2362.61/2370.52 c #Conflicts: 528000 | #Constraints: 806862
2362.61/2370.52 c #Conflicts: 529000 | #Constraints: 807862
2362.61/2370.52 c #Conflicts: 530000 | #Constraints: 808862
2362.61/2370.52 c #Conflicts: 531000 | #Constraints: 809862
2362.61/2370.52 c #Conflicts: 532000 | #Constraints: 810862
2362.61/2370.52 c #Conflicts: 533000 | #Constraints: 811862
2362.61/2370.52 c #Conflicts: 534000 | #Constraints: 812862
2362.61/2370.52 c #Conflicts: 535000 | #Constraints: 813862
2362.61/2370.52 c #Conflicts: 536000 | #Constraints: 814862
2362.61/2370.52 c #Conflicts: 537000 | #Constraints: 815862
2362.61/2370.52 c INPROCESSING
2362.61/2370.52 c GARBAGE COLLECT
2362.61/2370.52 c #Conflicts: 538000 | #Constraints: 778627
2362.61/2370.52 c #Conflicts: 539000 | #Constraints: 779627
2362.61/2370.52 c #Conflicts: 540000 | #Constraints: 780627
2362.61/2370.52 c #Conflicts: 541000 | #Constraints: 781627
2362.61/2370.52 c #Conflicts: 542000 | #Constraints: 782627
2362.61/2370.52 c #Conflicts: 543000 | #Constraints: 783627
2362.61/2370.52 c #Conflicts: 544000 | #Constraints: 784627
2362.61/2370.52 c #Conflicts: 545000 | #Constraints: 785627
2362.61/2370.52 c #Conflicts: 546000 | #Constraints: 786627
2362.61/2370.52 c #Conflicts: 547000 | #Constraints: 787627
2362.61/2370.52 c #Conflicts: 548000 | #Constraints: 788627
2502.66/2511.01 c #Conflicts: 549000 | #Constraints: 789627
2502.66/2511.01 c #Conflicts: 550000 | #Constraints: 790627
2502.66/2511.01 c #Conflicts: 551000 | #Constraints: 791627
2502.66/2511.01 c #Conflicts: 552000 | #Constraints: 792627
2502.66/2511.01 c #Conflicts: 553000 | #Constraints: 793627
2502.66/2511.01 c #Conflicts: 554000 | #Constraints: 794627
2502.66/2511.01 c #Conflicts: 555000 | #Constraints: 795627
2502.66/2511.01 c #Conflicts: 556000 | #Constraints: 796627
2502.66/2511.01 c #Conflicts: 557000 | #Constraints: 797627
2502.66/2511.01 c #Conflicts: 558000 | #Constraints: 798627
2502.66/2511.01 c #Conflicts: 559000 | #Constraints: 799627
2502.66/2511.01 c #Conflicts: 560000 | #Constraints: 800627
2502.66/2511.01 c INPROCESSING
2502.66/2511.01 c GARBAGE COLLECT
2502.66/2511.01 c #Conflicts: 561000 | #Constraints: 771549
2502.66/2511.01 c #Conflicts: 562000 | #Constraints: 772549
2502.66/2511.01 c #Conflicts: 563000 | #Constraints: 773549
2502.66/2511.01 c #Conflicts: 564000 | #Constraints: 774549
2502.66/2511.01 c #Conflicts: 565000 | #Constraints: 775549
2502.66/2511.01 c #Conflicts: 566000 | #Constraints: 776549
2502.66/2511.01 c #Conflicts: 567000 | #Constraints: 777549
2502.66/2511.01 c #Conflicts: 568000 | #Constraints: 778549
2502.66/2511.01 c #Conflicts: 569000 | #Constraints: 779549
2502.66/2511.01 c #Conflicts: 570000 | #Constraints: 780549
2502.66/2511.01 c #Conflicts: 571000 | #Constraints: 781549
2502.66/2511.01 c #Conflicts: 572000 | #Constraints: 782549
2502.66/2511.01 c #Conflicts: 573000 | #Constraints: 783549
2502.66/2511.01 c #Conflicts: 574000 | #Constraints: 784549
2502.66/2511.01 c #Conflicts: 575000 | #Constraints: 785549
2502.66/2511.01 c #Conflicts: 576000 | #Constraints: 786549
2502.66/2511.01 c #Conflicts: 577000 | #Constraints: 787549
2502.66/2511.01 c #Conflicts: 578000 | #Constraints: 788549
2502.66/2511.01 c #Conflicts: 579000 | #Constraints: 789549
2502.66/2511.01 c #Conflicts: 580000 | #Constraints: 790549
2502.66/2511.01 c #Conflicts: 581000 | #Constraints: 791549
2502.66/2511.01 c #Conflicts: 582000 | #Constraints: 792549
2502.66/2511.01 c #Conflicts: 583000 | #Constraints: 793549
2502.66/2511.01 c #Conflicts: 584000 | #Constraints: 794549
2502.66/2511.01 c #Conflicts: 585000 | #Constraints: 795549
2502.66/2511.01 c #Conflicts: 586000 | #Constraints: 796549
2502.66/2511.01 c #Conflicts: 587000 | #Constraints: 797549
2502.66/2511.01 c #Conflicts: 588000 | #Constraints: 798549
2502.66/2511.01 c #Conflicts: 589000 | #Constraints: 799549
2502.66/2511.01 c #Conflicts: 590000 | #Constraints: 800549
2502.66/2511.01 c #Conflicts: 591000 | #Constraints: 801549
2502.66/2511.01 c #Conflicts: 592000 | #Constraints: 802549
2502.66/2511.01 c #Conflicts: 593000 | #Constraints: 803549
2502.66/2511.01 c #Conflicts: 594000 | #Constraints: 804549
2502.66/2511.01 c #Conflicts: 595000 | #Constraints: 805549
2502.66/2511.01 c #Conflicts: 596000 | #Constraints: 806549
2502.66/2511.01 c #Conflicts: 597000 | #Constraints: 807549
2502.66/2511.01 c #Conflicts: 598000 | #Constraints: 808549
2502.66/2511.01 c #Conflicts: 599000 | #Constraints: 809549
2502.66/2511.01 c #Conflicts: 600000 | #Constraints: 810549
2502.66/2511.01 c #Conflicts: 601000 | #Constraints: 811549
2502.66/2511.01 c #Conflicts: 602000 | #Constraints: 812549
2502.66/2511.01 c #Conflicts: 603000 | #Constraints: 813549
2502.66/2511.01 c #Conflicts: 604000 | #Constraints: 814549
2502.66/2511.01 c #Conflicts: 605000 | #Constraints: 815549
2502.66/2511.01 c #Conflicts: 606000 | #Constraints: 816549
2502.66/2511.01 c #Conflicts: 607000 | #Constraints: 817549
2502.66/2511.01 c #Conflicts: 608000 | #Constraints: 818549
2502.66/2511.01 c #Conflicts: 609000 | #Constraints: 819549
2502.66/2511.01 c INPROCESSING
2502.66/2511.01 c GARBAGE COLLECT
2502.66/2511.01 c #Conflicts: 610000 | #Constraints: 781032
2502.66/2511.01 c #Conflicts: 611000 | #Constraints: 782032
2502.66/2511.01 c #Conflicts: 612000 | #Constraints: 783032
2502.66/2511.01 c #Conflicts: 613000 | #Constraints: 784032
2502.66/2511.01 c #Conflicts: 614000 | #Constraints: 785032
2502.66/2511.01 c #Conflicts: 615000 | #Constraints: 786032
2502.66/2511.01 c #Conflicts: 616000 | #Constraints: 787032
2502.66/2511.01 c #Conflicts: 617000 | #Constraints: 788032
2502.66/2511.01 c #Conflicts: 618000 | #Constraints: 789032
2502.66/2511.01 c #Conflicts: 619000 | #Constraints: 790032
2502.66/2511.01 c #Conflicts: 620000 | #Constraints: 791032
2502.66/2511.01 c #Conflicts: 621000 | #Constraints: 792032
2502.66/2511.01 c #Conflicts: 622000 | #Constraints: 793032
2502.66/2511.01 c #Conflicts: 623000 | #Constraints: 794032
2502.66/2511.01 c #Conflicts: 624000 | #Constraints: 795032
2502.66/2511.01 c #Conflicts: 625000 | #Constraints: 796032
2643.26/2652.05 c #Conflicts: 626000 | #Constraints: 797032
2643.26/2652.05 c #Conflicts: 627000 | #Constraints: 798032
2643.26/2652.05 c #Conflicts: 628000 | #Constraints: 799032
2643.26/2652.05 c #Conflicts: 629000 | #Constraints: 800032
2643.26/2652.05 c #Conflicts: 630000 | #Constraints: 801032
2643.26/2652.05 c #Conflicts: 631000 | #Constraints: 802032
2643.26/2652.05 c #Conflicts: 632000 | #Constraints: 803032
2643.26/2652.05 c #Conflicts: 633000 | #Constraints: 804032
2643.26/2652.05 c INPROCESSING
2643.26/2652.05 c #Conflicts: 634000 | #Constraints: 773319
2643.26/2652.05 c #Conflicts: 635000 | #Constraints: 774319
2643.26/2652.05 c #Conflicts: 636000 | #Constraints: 775319
2643.26/2652.05 c #Conflicts: 637000 | #Constraints: 776319
2643.26/2652.05 c #Conflicts: 638000 | #Constraints: 777319
2643.26/2652.05 c #Conflicts: 639000 | #Constraints: 778319
2643.26/2652.05 c #Conflicts: 640000 | #Constraints: 779319
2643.26/2652.05 c #Conflicts: 641000 | #Constraints: 780319
2643.26/2652.05 c #Conflicts: 642000 | #Constraints: 781319
2643.26/2652.05 c #Conflicts: 643000 | #Constraints: 782319
2643.26/2652.05 c #Conflicts: 644000 | #Constraints: 783319
2643.26/2652.05 c #Conflicts: 645000 | #Constraints: 784319
2643.26/2652.05 c #Conflicts: 646000 | #Constraints: 785319
2643.26/2652.05 c #Conflicts: 647000 | #Constraints: 786319
2643.26/2652.05 c #Conflicts: 648000 | #Constraints: 787319
2643.26/2652.05 c #Conflicts: 649000 | #Constraints: 788319
2643.26/2652.05 c #Conflicts: 650000 | #Constraints: 789319
2643.26/2652.05 c #Conflicts: 651000 | #Constraints: 790319
2643.26/2652.05 c #Conflicts: 652000 | #Constraints: 791319
2643.26/2652.05 c #Conflicts: 653000 | #Constraints: 792319
2643.26/2652.05 c #Conflicts: 654000 | #Constraints: 793319
2643.26/2652.05 c #Conflicts: 655000 | #Constraints: 794319
2643.26/2652.05 c #Conflicts: 656000 | #Constraints: 795319
2643.26/2652.05 c #Conflicts: 657000 | #Constraints: 796319
2643.26/2652.05 c #Conflicts: 658000 | #Constraints: 797319
2643.26/2652.05 c #Conflicts: 659000 | #Constraints: 798319
2643.26/2652.05 c #Conflicts: 660000 | #Constraints: 799319
2643.26/2652.05 c #Conflicts: 661000 | #Constraints: 800319
2643.26/2652.05 c #Conflicts: 662000 | #Constraints: 801319
2643.26/2652.05 c #Conflicts: 663000 | #Constraints: 802319
2643.26/2652.05 c #Conflicts: 664000 | #Constraints: 803319
2643.26/2652.05 c #Conflicts: 665000 | #Constraints: 804319
2643.26/2652.05 c #Conflicts: 666000 | #Constraints: 805319
2643.26/2652.05 c #Conflicts: 667000 | #Constraints: 806319
2643.26/2652.05 c #Conflicts: 668000 | #Constraints: 807319
2643.26/2652.05 c #Conflicts: 669000 | #Constraints: 808319
2643.26/2652.05 c #Conflicts: 670000 | #Constraints: 809319
2643.26/2652.05 c #Conflicts: 671000 | #Constraints: 810319
2643.26/2652.05 c #Conflicts: 672000 | #Constraints: 811319
2643.26/2652.05 c #Conflicts: 673000 | #Constraints: 812319
2643.26/2652.05 c #Conflicts: 674000 | #Constraints: 813319
2643.26/2652.05 c #Conflicts: 675000 | #Constraints: 814319
2643.26/2652.05 c #Conflicts: 676000 | #Constraints: 815319
2643.26/2652.05 c #Conflicts: 677000 | #Constraints: 816319
2643.26/2652.05 c #Conflicts: 678000 | #Constraints: 817319
2643.26/2652.05 c #Conflicts: 679000 | #Constraints: 818319
2643.26/2652.05 c #Conflicts: 680000 | #Constraints: 819319
2643.26/2652.05 c #Conflicts: 681000 | #Constraints: 820319
2643.26/2652.05 c #Conflicts: 682000 | #Constraints: 821319
2643.26/2652.05 c #Conflicts: 683000 | #Constraints: 822319
2643.26/2652.05 c #Conflicts: 684000 | #Constraints: 823319
2643.26/2652.05 c #Conflicts: 685000 | #Constraints: 824319
2643.26/2652.05 c INPROCESSING
2643.26/2652.05 c GARBAGE COLLECT
2643.26/2652.05 c #Conflicts: 686000 | #Constraints: 783140
2643.26/2652.05 c #Conflicts: 687000 | #Constraints: 784140
2643.26/2652.05 c #Conflicts: 688000 | #Constraints: 785140
2643.26/2652.05 c #Conflicts: 689000 | #Constraints: 786140
2643.26/2652.05 c #Conflicts: 690000 | #Constraints: 787140
2643.26/2652.05 c #Conflicts: 691000 | #Constraints: 788140
2643.26/2652.05 c #Conflicts: 692000 | #Constraints: 789140
2643.26/2652.05 c #Conflicts: 693000 | #Constraints: 790140
2643.26/2652.05 c #Conflicts: 694000 | #Constraints: 791140
2643.26/2652.05 c #Conflicts: 695000 | #Constraints: 792140
2643.26/2652.05 c #Conflicts: 696000 | #Constraints: 793140
2643.26/2652.05 c #Conflicts: 697000 | #Constraints: 794140
2643.26/2652.05 c #Conflicts: 698000 | #Constraints: 795140
2643.26/2652.05 c #Conflicts: 699000 | #Constraints: 796140
2643.26/2652.05 c #Conflicts: 700000 | #Constraints: 797140
2643.26/2652.05 c #Conflicts: 701000 | #Constraints: 798140
2643.26/2652.05 c #Conflicts: 702000 | #Constraints: 799140
2643.26/2652.05 c #Conflicts: 703000 | #Constraints: 800140
2772.61/2781.70 c #Conflicts: 704000 | #Constraints: 801140
2772.61/2781.70 c #Conflicts: 705000 | #Constraints: 802140
2772.61/2781.70 c #Conflicts: 706000 | #Constraints: 803140
2772.61/2781.70 c #Conflicts: 707000 | #Constraints: 804140
2772.61/2781.70 c #Conflicts: 708000 | #Constraints: 805140
2772.61/2781.70 c #Conflicts: 709000 | #Constraints: 806140
2772.61/2781.70 c #Conflicts: 710000 | #Constraints: 807140
2772.61/2781.70 c INPROCESSING
2772.61/2781.70 c GARBAGE COLLECT
2772.61/2781.70 c #Conflicts: 711000 | #Constraints: 774333
2772.61/2781.70 c #Conflicts: 712000 | #Constraints: 775333
2772.61/2781.70 c #Conflicts: 713000 | #Constraints: 776333
2772.61/2781.70 c #Conflicts: 714000 | #Constraints: 777333
2772.61/2781.70 c #Conflicts: 715000 | #Constraints: 778333
2772.61/2781.70 c #Conflicts: 716000 | #Constraints: 779333
2772.61/2781.70 c #Conflicts: 717000 | #Constraints: 780333
2772.61/2781.70 c #Conflicts: 718000 | #Constraints: 781333
2772.61/2781.70 c #Conflicts: 719000 | #Constraints: 782333
2772.61/2781.70 c #Conflicts: 720000 | #Constraints: 783333
2772.61/2781.70 c #Conflicts: 721000 | #Constraints: 784333
2772.61/2781.70 c #Conflicts: 722000 | #Constraints: 785333
2772.61/2781.70 c #Conflicts: 723000 | #Constraints: 786333
2772.61/2781.70 c #Conflicts: 724000 | #Constraints: 787333
2772.61/2781.70 c #Conflicts: 725000 | #Constraints: 788333
2772.61/2781.70 c #Conflicts: 726000 | #Constraints: 789333
2772.61/2781.70 c #Conflicts: 727000 | #Constraints: 790333
2772.61/2781.70 c #Conflicts: 728000 | #Constraints: 791333
2772.61/2781.70 c #Conflicts: 729000 | #Constraints: 792333
2772.61/2781.70 c #Conflicts: 730000 | #Constraints: 793333
2772.61/2781.70 c #Conflicts: 731000 | #Constraints: 794333
2772.61/2781.70 c #Conflicts: 732000 | #Constraints: 795333
2772.61/2781.70 c #Conflicts: 733000 | #Constraints: 796333
2772.61/2781.70 c #Conflicts: 734000 | #Constraints: 797333
2772.61/2781.70 c #Conflicts: 735000 | #Constraints: 798333
2772.61/2781.70 c #Conflicts: 736000 | #Constraints: 799333
2772.61/2781.70 c #Conflicts: 737000 | #Constraints: 800333
2772.61/2781.70 c #Conflicts: 738000 | #Constraints: 801333
2772.61/2781.70 c #Conflicts: 739000 | #Constraints: 802333
2772.61/2781.70 c #Conflicts: 740000 | #Constraints: 803333
2772.61/2781.70 c #Conflicts: 741000 | #Constraints: 804333
2772.61/2781.70 c #Conflicts: 742000 | #Constraints: 805333
2772.61/2781.70 c #Conflicts: 743000 | #Constraints: 806333
2772.61/2781.70 c #Conflicts: 744000 | #Constraints: 807333
2772.61/2781.70 c #Conflicts: 745000 | #Constraints: 808333
2772.61/2781.70 c #Conflicts: 746000 | #Constraints: 809333
2772.61/2781.70 c #Conflicts: 747000 | #Constraints: 810333
2772.61/2781.70 c #Conflicts: 748000 | #Constraints: 811333
2772.61/2781.70 c #Conflicts: 749000 | #Constraints: 812333
2772.61/2781.70 c #Conflicts: 750000 | #Constraints: 813333
2772.61/2781.70 c #Conflicts: 751000 | #Constraints: 814333
2772.61/2781.70 c #Conflicts: 752000 | #Constraints: 815333
2772.61/2781.70 c #Conflicts: 753000 | #Constraints: 816333
2772.61/2781.70 c #Conflicts: 754000 | #Constraints: 817333
2772.61/2781.70 c #Conflicts: 755000 | #Constraints: 818333
2772.61/2781.70 c #Conflicts: 756000 | #Constraints: 819333
2772.61/2781.70 c #Conflicts: 757000 | #Constraints: 820333
2772.61/2781.70 c #Conflicts: 758000 | #Constraints: 821333
2772.61/2781.70 c #Conflicts: 759000 | #Constraints: 822333
2772.61/2781.70 c #Conflicts: 760000 | #Constraints: 823333
2772.61/2781.70 c #Conflicts: 761000 | #Constraints: 824333
2772.61/2781.70 c #Conflicts: 762000 | #Constraints: 825333
2772.61/2781.70 c #Conflicts: 763000 | #Constraints: 826333
2772.61/2781.70 c #Conflicts: 764000 | #Constraints: 827333
2772.61/2781.70 c #Conflicts: 765000 | #Constraints: 828333
2772.61/2781.70 c INPROCESSING
2772.61/2781.70 c GARBAGE COLLECT
2772.61/2781.70 c #Conflicts: 766000 | #Constraints: 785252
2772.61/2781.70 c #Conflicts: 767000 | #Constraints: 786252
2772.61/2781.70 c #Conflicts: 768000 | #Constraints: 787252
2772.61/2781.70 c #Conflicts: 769000 | #Constraints: 788252
2772.61/2781.70 c #Conflicts: 770000 | #Constraints: 789252
2772.61/2781.70 c #Conflicts: 771000 | #Constraints: 790252
2772.61/2781.70 c #Conflicts: 772000 | #Constraints: 791252
2772.61/2781.70 c #Conflicts: 773000 | #Constraints: 792252
2772.61/2781.70 c #Conflicts: 774000 | #Constraints: 793252
2772.61/2781.70 c #Conflicts: 775000 | #Constraints: 794252
2772.61/2781.70 c #Conflicts: 776000 | #Constraints: 795252
2772.61/2781.70 c #Conflicts: 777000 | #Constraints: 796252
2772.61/2781.70 c #Conflicts: 778000 | #Constraints: 797252
2772.61/2781.70 c #Conflicts: 779000 | #Constraints: 798252
2772.61/2781.70 c #Conflicts: 780000 | #Constraints: 799252
2772.61/2781.70 c #Conflicts: 781000 | #Constraints: 800252
2929.71/2939.29 c #Conflicts: 782000 | #Constraints: 801252
2929.71/2939.29 c #Conflicts: 783000 | #Constraints: 802252
2929.71/2939.29 c #Conflicts: 784000 | #Constraints: 803252
2929.71/2939.29 c #Conflicts: 785000 | #Constraints: 804252
2929.71/2939.29 c #Conflicts: 786000 | #Constraints: 805252
2929.71/2939.29 c #Conflicts: 787000 | #Constraints: 806252
2929.71/2939.29 c #Conflicts: 788000 | #Constraints: 807252
2929.71/2939.29 c #Conflicts: 789000 | #Constraints: 808252
2929.71/2939.29 c #Conflicts: 790000 | #Constraints: 809252
2929.71/2939.29 c #Conflicts: 791000 | #Constraints: 810252
2929.71/2939.29 c #Conflicts: 792000 | #Constraints: 811252
2929.71/2939.29 c INPROCESSING
2929.71/2939.29 c GARBAGE COLLECT
2929.71/2939.29 c #Conflicts: 793000 | #Constraints: 776799
2929.71/2939.29 c #Conflicts: 794000 | #Constraints: 777799
2929.71/2939.29 c #Conflicts: 795000 | #Constraints: 778799
2929.71/2939.29 c #Conflicts: 796000 | #Constraints: 779799
2929.71/2939.29 c #Conflicts: 797000 | #Constraints: 780799
2929.71/2939.29 c #Conflicts: 798000 | #Constraints: 781799
2929.71/2939.29 c #Conflicts: 799000 | #Constraints: 782799
2929.71/2939.29 c #Conflicts: 800000 | #Constraints: 783799
2929.71/2939.29 c #Conflicts: 801000 | #Constraints: 784799
2929.71/2939.29 c #Conflicts: 802000 | #Constraints: 785799
2929.71/2939.29 c #Conflicts: 803000 | #Constraints: 786799
2929.71/2939.29 c #Conflicts: 804000 | #Constraints: 787799
2929.71/2939.29 c #Conflicts: 805000 | #Constraints: 788799
2929.71/2939.29 c #Conflicts: 806000 | #Constraints: 789799
2929.71/2939.29 c #Conflicts: 807000 | #Constraints: 790799
2929.71/2939.29 c #Conflicts: 808000 | #Constraints: 791799
2929.71/2939.29 c #Conflicts: 809000 | #Constraints: 792799
2929.71/2939.29 c #Conflicts: 810000 | #Constraints: 793799
2929.71/2939.29 c #Conflicts: 811000 | #Constraints: 794799
2929.71/2939.29 c #Conflicts: 812000 | #Constraints: 795799
2929.71/2939.29 c #Conflicts: 813000 | #Constraints: 796799
2929.71/2939.29 c #Conflicts: 814000 | #Constraints: 797799
2929.71/2939.29 c #Conflicts: 815000 | #Constraints: 798799
2929.71/2939.29 c #Conflicts: 816000 | #Constraints: 799799
2929.71/2939.29 c #Conflicts: 817000 | #Constraints: 800799
2929.71/2939.29 c #Conflicts: 818000 | #Constraints: 801799
2929.71/2939.29 c #Conflicts: 819000 | #Constraints: 802799
2929.71/2939.29 c #Conflicts: 820000 | #Constraints: 803799
2929.71/2939.29 c #Conflicts: 821000 | #Constraints: 804799
2929.71/2939.29 c #Conflicts: 822000 | #Constraints: 805799
2929.71/2939.29 c #Conflicts: 823000 | #Constraints: 806799
2929.71/2939.29 c #Conflicts: 824000 | #Constraints: 807799
2929.71/2939.29 c #Conflicts: 825000 | #Constraints: 808799
2929.71/2939.29 c #Conflicts: 826000 | #Constraints: 809799
2929.71/2939.29 c #Conflicts: 827000 | #Constraints: 810799
2929.71/2939.29 c #Conflicts: 828000 | #Constraints: 811799
2929.71/2939.29 c #Conflicts: 829000 | #Constraints: 812799
2929.71/2939.29 c #Conflicts: 830000 | #Constraints: 813799
2929.71/2939.29 c #Conflicts: 831000 | #Constraints: 814799
2929.71/2939.29 c #Conflicts: 832000 | #Constraints: 815799
2929.71/2939.29 c #Conflicts: 833000 | #Constraints: 816799
2929.71/2939.29 c #Conflicts: 834000 | #Constraints: 817799
2929.71/2939.29 c #Conflicts: 835000 | #Constraints: 818799
2929.71/2939.29 c #Conflicts: 836000 | #Constraints: 819799
2929.71/2939.29 c #Conflicts: 837000 | #Constraints: 820799
2929.71/2939.29 c #Conflicts: 838000 | #Constraints: 821799
2929.71/2939.29 c #Conflicts: 839000 | #Constraints: 822799
2929.71/2939.29 c #Conflicts: 840000 | #Constraints: 823799
2929.71/2939.29 c #Conflicts: 841000 | #Constraints: 824799
2929.71/2939.29 c #Conflicts: 842000 | #Constraints: 825799
2929.71/2939.29 c #Conflicts: 843000 | #Constraints: 826799
2929.71/2939.29 c #Conflicts: 844000 | #Constraints: 827799
2929.71/2939.29 c #Conflicts: 845000 | #Constraints: 828799
2929.71/2939.29 c #Conflicts: 846000 | #Constraints: 829799
2929.71/2939.29 c #Conflicts: 847000 | #Constraints: 830799
2929.71/2939.29 c #Conflicts: 848000 | #Constraints: 831799
2929.71/2939.29 c #Conflicts: 849000 | #Constraints: 832799
2929.71/2939.29 c #Conflicts: 850000 | #Constraints: 833799
2929.71/2939.29 c INPROCESSING
2929.71/2939.29 c GARBAGE COLLECT
2929.71/2939.29 c #Conflicts: 851000 | #Constraints: 788094
2929.71/2939.29 c #Conflicts: 852000 | #Constraints: 789094
2929.71/2939.29 c #Conflicts: 853000 | #Constraints: 790094
2929.71/2939.29 c #Conflicts: 854000 | #Constraints: 791094
2929.71/2939.29 c #Conflicts: 855000 | #Constraints: 792094
2929.71/2939.29 c #Conflicts: 856000 | #Constraints: 793094
2929.71/2939.29 c #Conflicts: 857000 | #Constraints: 794094
2929.71/2939.29 c #Conflicts: 858000 | #Constraints: 795094
3001.34/3011.03 c #Conflicts: 859000 | #Constraints: 796094
3001.34/3011.03 c #Conflicts: 860000 | #Constraints: 797094
3001.34/3011.03 c #Conflicts: 861000 | #Constraints: 798094
3001.34/3011.03 c #Conflicts: 862000 | #Constraints: 799094
3001.34/3011.03 c #Conflicts: 863000 | #Constraints: 800094
3001.34/3011.03 c #Conflicts: 864000 | #Constraints: 801094
3001.34/3011.03 c #Conflicts: 865000 | #Constraints: 802094
3001.34/3011.03 c #Conflicts: 866000 | #Constraints: 803094
3001.34/3011.03 c #Conflicts: 867000 | #Constraints: 804094
3001.34/3011.03 c #Conflicts: 868000 | #Constraints: 805094
3001.34/3011.03 c #Conflicts: 869000 | #Constraints: 806094
3001.34/3011.03 c #Conflicts: 870000 | #Constraints: 807094
3001.34/3011.03 c #Conflicts: 871000 | #Constraints: 808094
3001.34/3011.03 c #Conflicts: 872000 | #Constraints: 809094
3001.34/3011.03 c #Conflicts: 873000 | #Constraints: 810094
3001.34/3011.03 c #Conflicts: 874000 | #Constraints: 811094
3001.34/3011.03 c #Conflicts: 875000 | #Constraints: 812094
3001.34/3011.03 c #Conflicts: 876000 | #Constraints: 813094
3001.34/3011.03 c #Conflicts: 877000 | #Constraints: 814094
3001.34/3011.03 c #Conflicts: 878000 | #Constraints: 815094
3001.34/3011.03 c INPROCESSING
3001.34/3011.03 c GARBAGE COLLECT
3001.34/3011.03 c #Conflicts: 879000 | #Constraints: 778749
3001.34/3011.03 c #Conflicts: 880000 | #Constraints: 779749
3001.34/3011.03 c #Conflicts: 881000 | #Constraints: 780749
3001.34/3011.03 c #Conflicts: 882000 | #Constraints: 781749
3001.34/3011.03 c #Conflicts: 883000 | #Constraints: 782749
3001.34/3011.03 c #Conflicts: 884000 | #Constraints: 783749
3001.34/3011.03 c #Conflicts: 885000 | #Constraints: 784749
3001.34/3011.03 c #Conflicts: 886000 | #Constraints: 785749
3001.34/3011.03 c #Conflicts: 887000 | #Constraints: 786749
3001.34/3011.03 c #Conflicts: 888000 | #Constraints: 787749
3001.34/3011.03 c #Conflicts: 889000 | #Constraints: 788749
3001.34/3011.03 c #Conflicts: 890000 | #Constraints: 789749
3001.34/3011.03 c #Conflicts: 891000 | #Constraints: 790749
3001.34/3011.03 c #Conflicts: 892000 | #Constraints: 791749
3001.34/3011.03 c #Conflicts: 893000 | #Constraints: 792749
3001.34/3011.03 c #Conflicts: 894000 | #Constraints: 793749
3001.34/3011.03 c #Conflicts: 895000 | #Constraints: 794749
3001.34/3011.03 c #Conflicts: 896000 | #Constraints: 795749
3001.34/3011.03 c #Conflicts: 897000 | #Constraints: 796749
3001.34/3011.03 c #Conflicts: 898000 | #Constraints: 797749
3001.34/3011.03 c #Conflicts: 899000 | #Constraints: 798749
3001.34/3011.03 c #Conflicts: 900000 | #Constraints: 799749
3001.34/3011.03 c #Conflicts: 901000 | #Constraints: 800749
3001.34/3011.03 c #Conflicts: 902000 | #Constraints: 801749
3001.34/3011.03 c #Conflicts: 903000 | #Constraints: 802749
3001.34/3011.03 c #Conflicts: 904000 | #Constraints: 803749
3001.34/3011.03 c #Conflicts: 905000 | #Constraints: 804749
3001.34/3011.03 c #Conflicts: 906000 | #Constraints: 805749
3001.34/3011.03 c #Conflicts: 907000 | #Constraints: 806749
3001.34/3011.03 c #Conflicts: 908000 | #Constraints: 807749
3001.34/3011.03 c #Conflicts: 909000 | #Constraints: 808749
3001.34/3011.03 c #Conflicts: 910000 | #Constraints: 809749
3001.34/3011.03 c #Conflicts: 911000 | #Constraints: 810749
3001.34/3011.03 c #Conflicts: 912000 | #Constraints: 811749
3001.34/3011.03 c #Conflicts: 913000 | #Constraints: 812749
3001.34/3011.03 c #Conflicts: 914000 | #Constraints: 813749
3001.34/3011.03 c #Conflicts: 915000 | #Constraints: 814749
3001.34/3011.03 c #Conflicts: 916000 | #Constraints: 815749
3001.34/3011.03 c #Conflicts: 917000 | #Constraints: 816749
3001.34/3011.03 c #Conflicts: 918000 | #Constraints: 817749
3001.34/3011.03 c #Conflicts: 919000 | #Constraints: 818749
3001.34/3011.03 c #Conflicts: 920000 | #Constraints: 819749
3001.34/3011.03 c #Conflicts: 921000 | #Constraints: 820749
3001.34/3011.03 c #Conflicts: 922000 | #Constraints: 821749
3001.34/3011.03 c #Conflicts: 923000 | #Constraints: 822749
3001.34/3011.03 c #Conflicts: 924000 | #Constraints: 823749
3001.34/3011.03 c #Conflicts: 925000 | #Constraints: 824749
3001.34/3011.03 c #Conflicts: 926000 | #Constraints: 825749
3001.34/3011.03 c #Conflicts: 927000 | #Constraints: 826749
3001.34/3011.03 c #Conflicts: 928000 | #Constraints: 827749
3001.34/3011.03 c #Conflicts: 929000 | #Constraints: 828749
3001.34/3011.03 c #Conflicts: 930000 | #Constraints: 829749
3001.34/3011.03 c #Conflicts: 931000 | #Constraints: 830749
3001.34/3011.03 c #Conflicts: 932000 | #Constraints: 831749
3001.34/3011.03 c #Conflicts: 933000 | #Constraints: 832749
3001.34/3011.03 c #Conflicts: 934000 | #Constraints: 833749
3001.34/3011.03 c #Conflicts: 935000 | #Constraints: 834749
3001.34/3011.03 c #Conflicts: 936000 | #Constraints: 835749
3288.75/3299.26 c #Conflicts: 937000 | #Constraints: 836749
3288.75/3299.26 c #Conflicts: 938000 | #Constraints: 837749
3288.75/3299.26 c #Conflicts: 939000 | #Constraints: 838749
3288.75/3299.26 c INPROCESSING
3288.75/3299.26 c GARBAGE COLLECT
3288.75/3299.26 c #Conflicts: 940000 | #Constraints: 790175
3288.75/3299.26 c #Conflicts: 941000 | #Constraints: 791175
3288.75/3299.26 c #Conflicts: 942000 | #Constraints: 792175
3288.75/3299.26 c #Conflicts: 943000 | #Constraints: 793175
3288.75/3299.26 c #Conflicts: 944000 | #Constraints: 794175
3288.75/3299.26 c #Conflicts: 945000 | #Constraints: 795175
3288.75/3299.26 c #Conflicts: 946000 | #Constraints: 796175
3288.75/3299.26 c #Conflicts: 947000 | #Constraints: 797175
3288.75/3299.26 c #Conflicts: 948000 | #Constraints: 798175
3288.75/3299.26 c #Conflicts: 949000 | #Constraints: 799175
3288.75/3299.26 c #Conflicts: 950000 | #Constraints: 800175
3288.75/3299.26 c #Conflicts: 951000 | #Constraints: 801175
3288.75/3299.26 c #Conflicts: 952000 | #Constraints: 802175
3288.75/3299.26 c #Conflicts: 953000 | #Constraints: 803175
3288.75/3299.26 c #Conflicts: 954000 | #Constraints: 804175
3288.75/3299.26 c #Conflicts: 955000 | #Constraints: 805175
3288.75/3299.26 c #Conflicts: 956000 | #Constraints: 806175
3288.75/3299.26 c #Conflicts: 957000 | #Constraints: 807175
3288.75/3299.26 c #Conflicts: 958000 | #Constraints: 808175
3288.75/3299.26 c #Conflicts: 959000 | #Constraints: 809175
3288.75/3299.26 c #Conflicts: 960000 | #Constraints: 810175
3288.75/3299.26 c #Conflicts: 961000 | #Constraints: 811175
3288.75/3299.26 c #Conflicts: 962000 | #Constraints: 812175
3288.75/3299.26 c #Conflicts: 963000 | #Constraints: 813175
3288.75/3299.26 c #Conflicts: 964000 | #Constraints: 814175
3288.75/3299.26 c #Conflicts: 965000 | #Constraints: 815175
3288.75/3299.26 c #Conflicts: 966000 | #Constraints: 816175
3288.75/3299.26 c #Conflicts: 967000 | #Constraints: 817175
3288.75/3299.26 c #Conflicts: 968000 | #Constraints: 818175
3288.75/3299.26 c #Conflicts: 969000 | #Constraints: 819175
3288.75/3299.26 c INPROCESSING
3288.75/3299.26 c GARBAGE COLLECT
3288.75/3299.26 c #Conflicts: 970000 | #Constraints: 780721
3288.75/3299.26 c #Conflicts: 971000 | #Constraints: 781721
3288.75/3299.26 c #Conflicts: 972000 | #Constraints: 782721
3288.75/3299.26 c #Conflicts: 973000 | #Constraints: 783721
3288.75/3299.26 c #Conflicts: 974000 | #Constraints: 784721
3288.75/3299.26 c #Conflicts: 975000 | #Constraints: 785721
3288.75/3299.26 c #Conflicts: 976000 | #Constraints: 786721
3288.75/3299.26 c #Conflicts: 977000 | #Constraints: 787721
3288.75/3299.26 c #Conflicts: 978000 | #Constraints: 788721
3288.75/3299.26 c #Conflicts: 979000 | #Constraints: 789721
3288.75/3299.26 c #Conflicts: 980000 | #Constraints: 790721
3288.75/3299.26 c #Conflicts: 981000 | #Constraints: 791721
3288.75/3299.26 c #Conflicts: 982000 | #Constraints: 792721
3288.75/3299.26 c #Conflicts: 983000 | #Constraints: 793721
3288.75/3299.26 c #Conflicts: 984000 | #Constraints: 794721
3288.75/3299.26 c #Conflicts: 985000 | #Constraints: 795721
3288.75/3299.26 c #Conflicts: 986000 | #Constraints: 796721
3288.75/3299.26 c #Conflicts: 987000 | #Constraints: 797721
3288.75/3299.26 c #Conflicts: 988000 | #Constraints: 798721
3288.75/3299.26 c #Conflicts: 989000 | #Constraints: 799721
3288.75/3299.26 c #Conflicts: 990000 | #Constraints: 800721
3288.75/3299.26 c #Conflicts: 991000 | #Constraints: 801721
3288.75/3299.26 c #Conflicts: 992000 | #Constraints: 802721
3288.75/3299.26 c #Conflicts: 993000 | #Constraints: 803721
3288.75/3299.26 c #Conflicts: 994000 | #Constraints: 804721
3288.75/3299.26 c #Conflicts: 995000 | #Constraints: 805721
3288.75/3299.26 c #Conflicts: 996000 | #Constraints: 806721
3288.75/3299.26 c #Conflicts: 997000 | #Constraints: 807721
3288.75/3299.26 c #Conflicts: 998000 | #Constraints: 808721
3288.75/3299.26 c #Conflicts: 999000 | #Constraints: 809721
3288.75/3299.26 c #Conflicts: 1000000 | #Constraints: 810721
3288.75/3299.26 c #Conflicts: 1001000 | #Constraints: 811721
3288.75/3299.26 c #Conflicts: 1002000 | #Constraints: 812721
3288.75/3299.26 c #Conflicts: 1003000 | #Constraints: 813721
3288.75/3299.26 c #Conflicts: 1004000 | #Constraints: 814721
3288.75/3299.26 c #Conflicts: 1005000 | #Constraints: 815721
3288.75/3299.26 c #Conflicts: 1006000 | #Constraints: 816721
3288.75/3299.26 c #Conflicts: 1007000 | #Constraints: 817721
3288.75/3299.26 c #Conflicts: 1008000 | #Constraints: 818721
3288.75/3299.26 c #Conflicts: 1009000 | #Constraints: 819721
3288.75/3299.26 c #Conflicts: 1010000 | #Constraints: 820721
3288.75/3299.26 c #Conflicts: 1011000 | #Constraints: 821721
3288.75/3299.26 c #Conflicts: 1012000 | #Constraints: 822721
3288.75/3299.26 c #Conflicts: 1013000 | #Constraints: 823721
3288.75/3299.26 c #Conflicts: 1014000 | #Constraints: 824721
3596.41/3607.82 c #Conflicts: 1015000 | #Constraints: 825721
3596.41/3607.82 c #Conflicts: 1016000 | #Constraints: 826721
3596.41/3607.82 c #Conflicts: 1017000 | #Constraints: 827721
3596.41/3607.82 c #Conflicts: 1018000 | #Constraints: 828721
3596.41/3607.82 c #Conflicts: 1019000 | #Constraints: 829721
3596.41/3607.82 c #Conflicts: 1020000 | #Constraints: 830721
3596.41/3607.82 c #Conflicts: 1021000 | #Constraints: 831721
3596.41/3607.82 c #Conflicts: 1022000 | #Constraints: 832721
3596.41/3607.82 c #Conflicts: 1023000 | #Constraints: 833721
3596.41/3607.82 c #Conflicts: 1024000 | #Constraints: 834721
3596.41/3607.82 c #Conflicts: 1025000 | #Constraints: 835721
3596.41/3607.82 c #Conflicts: 1026000 | #Constraints: 836721
3596.41/3607.82 c #Conflicts: 1027000 | #Constraints: 837721
3596.41/3607.82 c #Conflicts: 1028000 | #Constraints: 838721
3596.41/3607.82 c #Conflicts: 1029000 | #Constraints: 839721
3596.41/3607.82 c #Conflicts: 1030000 | #Constraints: 840721
3596.41/3607.82 c #Conflicts: 1031000 | #Constraints: 841721
3596.41/3607.82 c #Conflicts: 1032000 | #Constraints: 842721
3596.41/3607.82 c #Conflicts: 1033000 | #Constraints: 843721
3596.41/3607.82 c INPROCESSING
3596.41/3607.82 c GARBAGE COLLECT
3596.41/3607.82 c #Conflicts: 1034000 | #Constraints: 792865
3596.41/3607.82 c #Conflicts: 1035000 | #Constraints: 793865
3596.41/3607.82 c #Conflicts: 1036000 | #Constraints: 794865
3596.41/3607.82 c #Conflicts: 1037000 | #Constraints: 795865
3596.41/3607.82 c #Conflicts: 1038000 | #Constraints: 796865
3596.41/3607.82 c #Conflicts: 1039000 | #Constraints: 797865
3596.41/3607.82 c #Conflicts: 1040000 | #Constraints: 798865
3596.41/3607.82 c #Conflicts: 1041000 | #Constraints: 799865
3596.41/3607.82 c #Conflicts: 1042000 | #Constraints: 800865
3596.41/3607.82 c #Conflicts: 1043000 | #Constraints: 801865
3596.41/3607.82 c #Conflicts: 1044000 | #Constraints: 802865
3596.41/3607.82 c #Conflicts: 1045000 | #Constraints: 803865
3596.41/3607.82 c #Conflicts: 1046000 | #Constraints: 804865
3596.41/3607.82 c #Conflicts: 1047000 | #Constraints: 805865
3596.41/3607.82 c #Conflicts: 1048000 | #Constraints: 806865
3596.41/3607.82 c #Conflicts: 1049000 | #Constraints: 807865
3596.41/3607.82 c #Conflicts: 1050000 | #Constraints: 808865
3596.41/3607.82 c #Conflicts: 1051000 | #Constraints: 809865
3596.41/3607.82 c #Conflicts: 1052000 | #Constraints: 810865
3596.41/3607.82 c #Conflicts: 1053000 | #Constraints: 811865
3596.41/3607.82 c #Conflicts: 1054000 | #Constraints: 812865
3596.41/3607.82 c #Conflicts: 1055000 | #Constraints: 813865
3596.41/3607.82 c #Conflicts: 1056000 | #Constraints: 814865
3596.41/3607.82 c #Conflicts: 1057000 | #Constraints: 815865
3596.41/3607.82 c #Conflicts: 1058000 | #Constraints: 816865
3596.41/3607.82 c #Conflicts: 1059000 | #Constraints: 817865
3596.41/3607.82 c #Conflicts: 1060000 | #Constraints: 818865
3596.41/3607.82 c #Conflicts: 1061000 | #Constraints: 819865
3596.41/3607.82 c #Conflicts: 1062000 | #Constraints: 820865
3596.41/3607.82 c #Conflicts: 1063000 | #Constraints: 821865
3596.41/3607.82 c #Conflicts: 1064000 | #Constraints: 822865
3596.41/3607.82 c INPROCESSING
3596.41/3607.82 c GARBAGE COLLECT
3596.41/3607.82 c rational objective 1418.69
3600.09/3611.51 c Disabling crashed LP
3600.21/3611.61 c cpu time 3583.72 s
3600.21/3611.61 c deterministic time 11443943188 1.14e+10
3600.21/3611.61 c optimization time 0.099755 s
3600.21/3611.61 c total solve time 3581.02 s
3600.21/3611.61 c core-guided solve time 0 s
3600.21/3611.61 c propagation time 416.604 s
3600.21/3611.61 c conflict analysis time 41.6325 s
3600.21/3611.61 c propagations 1187249823
3600.21/3611.61 c resolve steps 12038421
3600.21/3611.61 c decisions 17119957
3600.21/3611.61 c conflicts 1064001
3600.21/3611.61 c restarts 2046
3600.21/3611.61 c inprocessing phases 40
3600.21/3611.61 c garbage collections 25 ,( 62.50 )
3600.21/3611.61 c input clauses 659976 ,( 89.50 )
3600.21/3611.61 c input cardinalities 2643 ,( 0.36 )
3600.21/3611.61 c input general constraints 74746 ,( 10.14 )
3600.21/3611.61 c input average constraint length 3.91
3600.21/3611.61 c input average constraint degree 1.12
3600.21/3611.61 c learned clauses 1063567 ,( 99.96 )
3600.21/3611.61 c learned cardinalities 392 ,( 0.04 )
3600.21/3611.61 c learned general constraints 44 ,( 0.00 )
3600.21/3611.61 c learned average constraint length 102.50
3600.21/3611.61 c learned average constraint degree 12304.79
3600.21/3611.61 c watched CF 32, 64, 128, Arb: 31 , 0 , 0 , 0
3600.21/3611.61 c counting CF 32, 64, 128, Arb: 74759 , 0 , 0 , 0
3600.21/3611.61 c watched constraints 31 ,( 0.04 )
3600.21/3611.61 c counting constraints 74759 ,( 99.96 )
3600.21/3611.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1945551983 , 3351667 , 68487320 ,( 9216 , 68478104 )
3600.21/3611.61 c gcd simplifications 289
3600.21/3611.61 c detected cardinalities 6
3600.21/3611.61 c weakened non-implied lits 299422
3600.21/3611.61 c weakened non-implying lits 821
3600.21/3611.61 c original variables 33692
3600.21/3611.61 c clausal propagations 1174672455
3600.21/3611.61 c cardinality propagations 2071372
3600.21/3611.61 c watched propagations 183
3600.21/3611.61 c counting propagations 9438841
3600.21/3611.61 c watch lookups 2802794082
3600.21/3611.61 c watch backjump lookups 0
3600.21/3611.61 c watch checks 4625830815
3600.21/3611.61 c propagation checks 1354092825
3600.21/3611.61 c constraint additions 251136338
3600.21/3611.61 c trail pops 1205433734
3600.21/3611.61 c formula constraints 737365
3600.21/3611.61 c learned constraints 1064001
3600.21/3611.61 c bound constraints 0
3600.21/3611.61 c core-guided constraints 0
3600.21/3611.61 c encountered formula constraints 9665701
3600.21/3611.61 c encountered learned constraints 3435408
3600.21/3611.61 c encountered bound constraints 0
3600.21/3611.61 c encountered core-guided constraints 0
3600.21/3611.61 c LP total time 747.552 s
3600.21/3611.61 c LP solve time 973.97 s
3600.21/3611.61 c LP constraints added 737407
3600.21/3611.61 c LP constraints removed 2
3600.21/3611.61 c LP pivots internal 131394
3600.21/3611.61 c LP pivots root 154219
3600.21/3611.61 c LP calls 14
3600.21/3611.61 c LP optimalities 8
3600.21/3611.61 c LP no pivot count 0
3600.21/3611.61 c LP infeasibilities 0
3600.21/3611.61 c LP valid Farkas constraints 0
3600.21/3611.61 c LP learned Farkas constraints 0
3600.21/3611.61 c LP basis resets 0
3600.21/3611.61 c LP cycling count 0
3600.21/3611.61 c LP singular count 0
3600.21/3611.61 c LP no primal count 0
3600.21/3611.61 c LP no farkas count 0
3600.21/3611.61 c LP other issue count 0
3600.21/3611.61 c LP Gomory cuts 2
3600.21/3611.61 c LP learned cuts 40
3600.21/3611.61 c LP deleted cuts 2
3600.21/3611.61 c LP encountered Gomory constraints 1313
3600.21/3611.61 c LP encountered Farkas constraints 0
3600.21/3611.61 c LP encountered learned Farkas constraints 0
3600.21/3611.61 c CG auxiliary variables introduced 0
3600.21/3611.61 c CG solutions found 0
3600.21/3611.61 c CG cores constructed 0
3600.21/3611.61 c CG core cardinality constraints returned 0
3600.21/3611.61 c CG unit cores 0
3600.21/3611.61 c CG single cores 0
3600.21/3611.61 c CG blocks removed during cardinality reduction 0
3600.21/3611.61 c CG first core best 0
3600.21/3611.61 c CG decision core best 0
3600.21/3611.61 c CG core reduction tie 0
3600.21/3611.61 c CG core degree average 0.00
3600.21/3611.61 c CG core slack average 0.00
3600.21/3611.61 c CG core upper bound improvements 0
3600.21/3611.61 c STR number of successful calls 0
3600.21/3611.61 c STR number of unsuccessful calls 0
3600.21/3611.61 c STR number of inconclusive calls 0
3600.21/3611.61 c STR number of successful attempts 0
3600.21/3611.61 c STR number of unsuccessful attempts 0
3600.21/3611.61 c STR number of inconclusive attempts 0
3600.21/3611.61 c STR average degree increase per successful call inf
3600.21/3611.61 c STR average degree increase per successful attempt inf
3600.21/3611.61 c STR total number of conflicts for successful attempts 0
3600.21/3611.61 c STR total number of conflicts for unsuccessful attempts 0
3600.21/3611.61 c STR total number of conflicts for inconclusive attempts 0
3600.21/3611.61 c STR average number of conflicts per successful attempt inf
3600.21/3611.61 c STR average number of conflicts per unsuccessful attempt inf
3600.21/3611.61 c STR average number of conflicts per inconclusive attempt inf
3600.21/3611.61 c AVG.sumWPerc 60.77
3600.21/3611.61 c bigint constraints 0
3600.21/3611.61 s UNKNOWN
3600.21/3611.61 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 (62057 MiB free)
memory of node 1: 64507 MiB (63690 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503746-1751171879/watcher-4503746-1751171879 -o /tmp/evaluation-result-4503746-1751171879/solver-4503746-1751171879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18974 --watchdog 3760 run-dec-ls.sh HOME/instance-4503746-1751171879.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19621, runsolver pid=19618
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.12 4.09 4.07 5/267 19623
/proc/meminfo: memFree=128720888/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=73068 memory=27824 CPUtime=0.08 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 4790 0 0 0 5 3 0 0 20 0 1 0 32867839 74821632 6956 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 18267 6956 2016 1147 0 5694 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77260 KiB
Current children cumulated memory: 30896 KiB
[startup+0.205578 s]*
/proc/loadavg: 4.12 4.09 4.07 5/267 19623
/proc/meminfo: memFree=128682456/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=83176 memory=39968 CPUtime=0.19 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 7507 0 0 0 13 6 0 0 20 0 1 0 32867839 85172224 9992 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 20794 9992 2016 1147 0 8221 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87368 KiB
Current children cumulated memory: 43040 KiB
[startup+0.305528 s]*
/proc/loadavg: 4.12 4.09 4.07 5/267 19623
/proc/meminfo: memFree=128656248/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=96532 memory=50180 CPUtime=0.28 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 10476 0 0 0 20 8 0 0 20 0 1 0 32867839 98848768 12545 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 24133 12545 2016 1147 0 11560 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 100724 KiB
Current children cumulated memory: 53252 KiB
[startup+0.700201 s]
/proc/loadavg: 4.12 4.09 4.07 5/267 19623
/proc/meminfo: memFree=128580220/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=139376 memory=94884 CPUtime=0.67 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 22237 0 0 0 48 19 0 0 20 0 1 0 32867839 142721024 23721 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 34844 23721 2016 1147 0 22271 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 143568 KiB
Current children cumulated memory: 97956 KiB
[startup+1.5002 s]
/proc/loadavg: 4.12 4.09 4.07 5/267 19623
/proc/meminfo: memFree=128395120/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=236820 memory=187552 CPUtime=1.47 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 42493 0 0 0 105 42 0 0 20 0 1 0 32867839 242503680 46888 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 59205 46888 2016 1147 0 46632 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 241012 KiB
Current children cumulated memory: 190624 KiB
[startup+3.1054 s]
/proc/loadavg: 4.11 4.09 4.07 5/267 19623
/proc/meminfo: memFree=126571252/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1232980 memory=736460 CPUtime=3.07 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 84163 0 0 0 228 79 0 0 20 0 1 0 32867839 1262571520 184115 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 308245 184115 2272 1147 0 295672 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1237172 KiB
Current children cumulated memory: 739532 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.09 4.07 5/267 19669
/proc/meminfo: memFree=125905772/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1214044 memory=994092 CPUtime=6.25 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 105493 0 0 0 530 95 0 0 20 0 1 0 32867839 1243181056 248523 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 303511 248523 2304 1147 0 290938 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1218236 KiB
Current children cumulated memory: 997164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.10 4.08 5/267 19669
/proc/meminfo: memFree=125295284/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1214044 memory=994092 CPUtime=12.63 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 105498 0 0 0 1167 96 0 0 20 0 1 0 32867839 1243181056 248523 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 303511 248523 2304 1147 0 290938 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1218236 KiB
Current children cumulated memory: 997164 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.08 5/267 19669
/proc/meminfo: memFree=124792724/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1214044 memory=994092 CPUtime=25.39 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 105503 0 0 0 2443 96 0 0 20 0 1 0 32867839 1243181056 248523 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 303511 248523 2304 1147 0 290938 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1218236 KiB
Current children cumulated memory: 997164 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.10 4.08 5/267 19669
/proc/meminfo: memFree=124792752/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1214044 memory=994092 CPUtime=50.91 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 105503 0 0 0 4995 96 0 0 20 0 1 0 32867839 1243181056 248523 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 303511 248523 2304 1147 0 290938 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1218236 KiB
Current children cumulated memory: 997164 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.08 5/267 19671
/proc/meminfo: memFree=124741308/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1236924 memory=1013424 CPUtime=101.93 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 109898 0 0 0 10090 103 0 0 20 0 1 0 32867839 1266610176 253356 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 309231 253356 2368 1147 0 296658 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1241116 KiB
Current children cumulated memory: 1016496 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.08 5/267 19677
/proc/meminfo: memFree=124693684/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1237280 memory=1016180 CPUtime=161.73 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 110079 0 0 0 16063 110 0 0 20 0 1 0 32867839 1266974720 254045 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 309320 254045 2368 1147 0 296747 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1241472 KiB
Current children cumulated memory: 1019252 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/267 19679
/proc/meminfo: memFree=124658920/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1237624 memory=1016820 CPUtime=221.53 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 110249 0 0 0 22039 114 0 0 20 0 1 0 32867839 1267326976 254205 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 309406 254205 2368 1147 0 296833 0
Current children cumulated CPU time: 221.53 s
################
# More data... #
################
[pid=19623] ppid=19621 vsize=1497616 memory=1230568 CPUtime=3092.4 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 126683 0 0 0 307717 1523 0 0 20 0 1 0 32867839 1533558784 307642 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 374404 307642 2400 1147 0 361831 0
Current children cumulated CPU time: 3092.4 s
Current children cumulated vsize: 1501808 KiB
Current children cumulated memory: 1233640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.19 4.14 5/267 19828
/proc/meminfo: memFree=123084540/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1532956 memory=1255148 CPUtime=3152.24 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 127826 0 0 0 313680 1544 0 0 20 0 1 0 32867839 1569746944 313787 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383239 313787 2400 1147 0 370666 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 1537148 KiB
Current children cumulated memory: 1258220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/267 19830
/proc/meminfo: memFree=122994336/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1586200 memory=1329236 CPUtime=3212.06 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130024 0 0 0 319639 1567 0 0 20 0 1 0 32867839 1624268800 332309 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 396550 332309 2400 1147 0 383977 0
Current children cumulated CPU time: 3212.06 s
Current children cumulated vsize: 1590392 KiB
Current children cumulated memory: 1332308 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/267 19834
/proc/meminfo: memFree=123004196/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1586200 memory=1330388 CPUtime=3271.89 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130027 0 0 0 325612 1577 0 0 20 0 1 0 32867839 1624268800 332597 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 396550 332597 2400 1147 0 383977 0
Current children cumulated CPU time: 3271.89 s
Current children cumulated vsize: 1590392 KiB
Current children cumulated memory: 1333460 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/267 19836
/proc/meminfo: memFree=123020008/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1535840 memory=1288332 CPUtime=3331.73 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130172 0 0 0 331570 1603 0 0 20 0 1 0 32867839 1572700160 322083 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383960 322083 2400 1147 0 371387 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 1540032 KiB
Current children cumulated memory: 1291404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/267 19838
/proc/meminfo: memFree=122994104/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1535840 memory=1288716 CPUtime=3391.57 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130373 0 0 0 337531 1626 0 0 20 0 1 0 32867839 1572700160 322179 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383960 322179 2400 1147 0 371387 0
Current children cumulated CPU time: 3391.57 s
Current children cumulated vsize: 1540032 KiB
Current children cumulated memory: 1291788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/267 19840
/proc/meminfo: memFree=122990488/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1535840 memory=1288716 CPUtime=3451.37 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130373 0 0 0 343505 1632 0 0 20 0 1 0 32867839 1572700160 322179 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383960 322179 2400 1147 0 371387 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 1540032 KiB
Current children cumulated memory: 1291788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.11 4.10 5/267 19842
/proc/meminfo: memFree=122917144/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1535840 memory=1288716 CPUtime=3511.18 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130373 0 0 0 349482 1636 0 0 20 0 1 0 32867839 1572700160 322179 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383960 322179 2400 1147 0 371387 0
Current children cumulated CPU time: 3511.18 s
Current children cumulated vsize: 1540032 KiB
Current children cumulated memory: 1291788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/267 19844
/proc/meminfo: memFree=122935620/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1535840 memory=1288716 CPUtime=3570.99 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130373 0 0 0 355456 1643 0 0 20 0 1 0 32867839 1572700160 322179 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383960 322179 2400 1147 0 371387 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 1540032 KiB
Current children cumulated memory: 1291788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.08 4.10 4.10 5/267 19937
/proc/meminfo: memFree=126966552/131250000 swapFree=33010684/33010684
[pid=19621] ppid=19618 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/19621/stat : 19621 (run-dec-ls.sh) S 19618 19621 18961 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 32867838 4292608 768 18446744073709551615 93945735884800 93945736779333 140735920706352 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93945737018384 93945737066128 93945756815360 140735920707943 140735920708069 140735920708069 140735920713671 0
/proc/19621/statm: 1048 768 704 219 0 110 0
[pid=19623] ppid=19621 vsize=1535840 memory=1288716 CPUtime=3600.09 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19621 19621 18961 0 -1 4194304 130387 0 0 0 358361 1648 0 0 20 0 1 0 32867839 1572700160 322179 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 383960 322179 2400 1147 0 371387 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1540032 KiB
Current children cumulated memory: 1291788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 19621 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000578 s, system=0.001735 s
[startup+3611.67 s]
# the end of solver process 19623 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.78 s, system=16.4947 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+3611.6 s]*
/proc/loadavg: 4.08 4.10 4.10 5/266 19937
/proc/meminfo: memFree=127515416/131250000 swapFree=33010684/33010684
[pid=19623] ppid=19618 vsize=805860 memory=738780 CPUtime=3600.21 cores=5,7
/proc/19623/stat : 19623 (roundingsat) R 19618 19621 18961 0 -1 4194304 130397 0 0 0 358372 1649 0 0 20 0 1 0 32867839 825200640 184695 18446744073709551615 4227072 8923433 140735319412560 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42909696 140735319415200 140735319415336 140735319415336 140735319420906 0
/proc/19623/statm: 201465 184695 2464 1147 0 188892 0
Current cumulated CPU time of completed processes: 0.002313 s
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 805860 KiB
Current children cumulated memory: 738780 KiB
Child status: 2
Real time (s): 3611.67
CPU time (s): 3600.28
CPU user time (s): 3583.78
CPU system time (s): 16.4947
CPU usage (%): 99.6846
Max. virtual memory (cumulated for all children) (KiB): 1590392
Max. memory (cumulated for all children) (KiB): 1333460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.78
system time used= 16.4947
maximum resident set size= 1330388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206
involuntary context switches= 3808
# summary of solver processes directly reported to runsolver:
# pid: 19621,19623
# total CPU time (s): 3600.28
# total CPU user time (s): 3583.78
# total CPU system time (s): 16.4947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4193 second user time and 17.0509 second system time
The end
Begin job on nodeC027 at 2025-06-29 06:38:00
IDJOB=4503746
IDBENCH=155584
IDSOLVER=3353
FILE ID=nodeC027/4503746-1751171879
RUNJOBID= nodeC027-1751168266-18974
SLURM_JOB_ID= 9587510
Free space on /tmp= 432704 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-111.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503746-1751171879/watcher-4503746-1751171879 -o /tmp/evaluation-result-4503746-1751171879/solver-4503746-1751171879 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751168266-18974 --watchdog 3760 run-dec-ls.sh HOME/instance-4503746-1751171879.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4268d39683cc1d999f2f6f0490fb9359
RANDOM SEED=1524088532
nodeC027 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 : 3599.641
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.29
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.640
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.29
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 : 3792.066
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.29
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 : 3529.379
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.29
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.617
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.29
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.486
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.29
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.679
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.646
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128765992 kB
MemAvailable: 129100236 kB
Buffers: 3280 kB
Cached: 1140040 kB
SwapCached: 0 kB
Active: 1001988 kB
Inactive: 886160 kB
Active(anon): 762900 kB
Inactive(anon): 0 kB
Active(file): 239088 kB
Inactive(file): 886160 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 363468 kB
Writeback: 0 kB
AnonPages: 747864 kB
Mapped: 113392 kB
Shmem: 18068 kB
KReclaimable: 96068 kB
Slab: 181468 kB
SReclaimable: 96068 kB
SUnreclaim: 85400 kB
KernelStack: 4320 kB
PageTables: 4532 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1127928 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 350208 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC027 at 2025-06-29 07:38:11