0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4503748-1751165299.opb'
0.49/0.52 c read 33.57MB (509.04ms)
0.49/0.52 c [cnf: #variables 33692 #clauses 740354 #duplicates 0 #arr 2884216]
0.49/0.52 c
0.49/0.52 c make graph and approximate orbits
0.77/0.87 c [group: #orbits ~= 0] (351.30ms)
0.77/0.87 c
0.77/0.87 c detect special group actions
0.77/0.87 c probe for Johnson action (limit=64)
0.77/0.87 c probe for row-column symmetry (limit=64, splits=16.78M)
0.77/0.89 c probe for row symmetry (limit=64, splits=16.78M)
0.87/0.91 c (39.49ms)
0.87/0.91 c
0.87/0.91 c detect symmetries on remainder
0.87/0.91 c [graph: #vertices 879398 #edges 5979136]
0.87/0.92 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.87/0.97 c [group: #symmetries 1.00*10^0 #generators 0] (59.23ms)
0.87/0.97 c
0.87/0.97 c finalize break order and special generators
0.87/0.97 c
0.87/0.97 c generation finished
0.87/0.97 c [sbp: #constraints 0 #add_vars 0]
0.87/0.97 c
0.87/0.97 c write result to 'HOME/instance-4503748-1751165299.opb.pre'
0.98/1.04 c wrote 33.57MB (71.32ms)
0.98/1.04 c ------------------------------------------------------------------
0.98/1.04 c 509.03ms 49.19% parse
0.98/1.04 c 351.30ms 33.95% approx_orbits
0.98/1.04 c 71.32ms 6.89% output
0.98/1.04 c 59.23ms 5.72% detect_generic
0.98/1.04 c 39.49ms 3.82% detect_special
0.98/1.04 c 3.03ms 0.29% other
0.98/1.04 c 1.33ms 0.13% finalize_order
0.98/1.04 c ───────────────────────────────────────────────
0.98/1.04 c 1034.74ms 100% total
0.98/1.04 c ------------------------------------------------------------------
1.08/1.16 c RoundingSat 2
1.08/1.16 c branch pb25
1.08/1.16 c commit 63f22ad
4.45/4.56 c #variables 33692 #constraints 737365
264.57/265.56 c #Conflicts: 1000 | #Constraints: 738364
264.57/265.56 c #Conflicts: 2000 | #Constraints: 739364
264.57/265.56 c INPROCESSING
264.57/265.56 c #Conflicts: 3000 | #Constraints: 738971
264.57/265.56 c #Conflicts: 4000 | #Constraints: 739971
264.57/265.56 c INPROCESSING
264.57/265.56 c #Conflicts: 5000 | #Constraints: 739452
264.57/265.56 c #Conflicts: 6000 | #Constraints: 740452
264.57/265.56 c INPROCESSING
264.57/265.56 c #Conflicts: 7000 | #Constraints: 739566
264.57/265.56 c #Conflicts: 8000 | #Constraints: 740566
264.57/265.56 c #Conflicts: 9000 | #Constraints: 741566
264.57/265.56 c #Conflicts: 10000 | #Constraints: 742566
264.57/265.56 c #Conflicts: 11000 | #Constraints: 743566
264.57/265.56 c #Conflicts: 12000 | #Constraints: 744566
264.57/265.56 c INPROCESSING
264.57/265.56 c rational objective 1418.6
771.67/774.34 c #Conflicts: 13000 | #Constraints: 741559
771.67/774.34 c #Conflicts: 14000 | #Constraints: 742559
771.67/774.34 c #Conflicts: 15000 | #Constraints: 743559
771.67/774.34 c #Conflicts: 16000 | #Constraints: 744559
771.67/774.34 c #Conflicts: 17000 | #Constraints: 745559
771.67/774.34 c #Conflicts: 18000 | #Constraints: 746559
771.67/774.34 c #Conflicts: 19000 | #Constraints: 747559
771.67/774.34 c #Conflicts: 20000 | #Constraints: 748559
771.67/774.34 c #Conflicts: 21000 | #Constraints: 749559
771.67/774.34 c INPROCESSING
771.67/774.34 c #Conflicts: 22000 | #Constraints: 744515
771.67/774.34 c #Conflicts: 23000 | #Constraints: 745515
771.67/774.34 c #Conflicts: 24000 | #Constraints: 746515
771.67/774.34 c #Conflicts: 25000 | #Constraints: 747515
771.67/774.34 c INPROCESSING
771.67/774.34 c #Conflicts: 26000 | #Constraints: 743122
771.67/774.34 c #Conflicts: 27000 | #Constraints: 744122
771.67/774.34 c #Conflicts: 28000 | #Constraints: 745122
771.67/774.34 c #Conflicts: 29000 | #Constraints: 746122
771.67/774.34 c #Conflicts: 30000 | #Constraints: 747122
771.67/774.34 c #Conflicts: 31000 | #Constraints: 748122
771.67/774.34 c #Conflicts: 32000 | #Constraints: 749122
771.67/774.34 c #Conflicts: 33000 | #Constraints: 750122
771.67/774.34 c #Conflicts: 34000 | #Constraints: 751122
771.67/774.34 c #Conflicts: 35000 | #Constraints: 752122
771.67/774.34 c #Conflicts: 36000 | #Constraints: 753122
771.67/774.34 c #Conflicts: 37000 | #Constraints: 754122
771.67/774.34 c INPROCESSING
771.67/774.34 c GARBAGE COLLECT
771.67/774.34 c #Conflicts: 38000 | #Constraints: 746840
771.67/774.34 c #Conflicts: 39000 | #Constraints: 747840
771.67/774.34 c #Conflicts: 40000 | #Constraints: 748840
771.67/774.34 c #Conflicts: 41000 | #Constraints: 749840
771.67/774.34 c #Conflicts: 42000 | #Constraints: 750840
771.67/774.34 c #Conflicts: 43000 | #Constraints: 751840
771.67/774.34 c #Conflicts: 44000 | #Constraints: 752840
771.67/774.34 c #Conflicts: 45000 | #Constraints: 753840
771.67/774.34 c #Conflicts: 46000 | #Constraints: 754840
771.67/774.34 c #Conflicts: 47000 | #Constraints: 755840
771.67/774.34 c #Conflicts: 48000 | #Constraints: 756840
771.67/774.34 c #Conflicts: 49000 | #Constraints: 757840
771.67/774.34 c #Conflicts: 50000 | #Constraints: 758840
771.67/774.34 c INPROCESSING
771.67/774.34 c #Conflicts: 51000 | #Constraints: 749314
771.67/774.34 c #Conflicts: 52000 | #Constraints: 750314
771.67/774.34 c #Conflicts: 53000 | #Constraints: 751314
771.67/774.34 c #Conflicts: 54000 | #Constraints: 752314
771.67/774.34 c #Conflicts: 55000 | #Constraints: 753314
771.67/774.34 c #Conflicts: 56000 | #Constraints: 754314
771.67/774.34 c #Conflicts: 57000 | #Constraints: 755314
771.67/774.34 c #Conflicts: 58000 | #Constraints: 756314
771.67/774.34 c #Conflicts: 59000 | #Constraints: 757314
771.67/774.34 c #Conflicts: 60000 | #Constraints: 758314
771.67/774.34 c #Conflicts: 61000 | #Constraints: 759314
771.67/774.34 c #Conflicts: 62000 | #Constraints: 760314
771.67/774.34 c #Conflicts: 63000 | #Constraints: 761314
771.67/774.34 c #Conflicts: 64000 | #Constraints: 762314
771.67/774.34 c #Conflicts: 65000 | #Constraints: 763314
771.67/774.34 c INPROCESSING
771.67/774.34 c #Conflicts: 66000 | #Constraints: 751291
771.67/774.34 c #Conflicts: 67000 | #Constraints: 752291
771.67/774.34 c #Conflicts: 68000 | #Constraints: 753291
771.67/774.34 c #Conflicts: 69000 | #Constraints: 754291
771.67/774.34 c #Conflicts: 70000 | #Constraints: 755291
771.67/774.34 c #Conflicts: 71000 | #Constraints: 756291
771.67/774.34 c #Conflicts: 72000 | #Constraints: 757291
771.67/774.34 c #Conflicts: 73000 | #Constraints: 758291
771.67/774.34 c #Conflicts: 74000 | #Constraints: 759291
771.67/774.34 c #Conflicts: 75000 | #Constraints: 760291
771.67/774.34 c #Conflicts: 76000 | #Constraints: 761291
771.67/774.34 c #Conflicts: 77000 | #Constraints: 762291
771.67/774.34 c #Conflicts: 78000 | #Constraints: 763291
771.67/774.34 c #Conflicts: 79000 | #Constraints: 764291
771.67/774.34 c #Conflicts: 80000 | #Constraints: 765291
771.67/774.34 c #Conflicts: 81000 | #Constraints: 766291
771.67/774.34 c #Conflicts: 82000 | #Constraints: 767291
771.67/774.34 c #Conflicts: 83000 | #Constraints: 768291
771.67/774.34 c INPROCESSING
771.67/774.34 c GARBAGE COLLECT
771.67/774.34 c #Conflicts: 84000 | #Constraints: 754335
771.67/774.34 c #Conflicts: 85000 | #Constraints: 755335
771.67/774.34 c #Conflicts: 86000 | #Constraints: 756335
771.67/774.34 c #Conflicts: 87000 | #Constraints: 757335
771.67/774.34 c #Conflicts: 88000 | #Constraints: 758335
771.67/774.34 c #Conflicts: 89000 | #Constraints: 759335
1155.24/1159.16 c #Conflicts: 90000 | #Constraints: 760335
1155.24/1159.16 c #Conflicts: 91000 | #Constraints: 761335
1155.24/1159.16 c #Conflicts: 92000 | #Constraints: 762335
1155.24/1159.16 c #Conflicts: 93000 | #Constraints: 763335
1155.24/1159.16 c #Conflicts: 94000 | #Constraints: 764335
1155.24/1159.16 c #Conflicts: 95000 | #Constraints: 765335
1155.24/1159.16 c #Conflicts: 96000 | #Constraints: 766335
1155.24/1159.16 c #Conflicts: 97000 | #Constraints: 767335
1155.24/1159.16 c #Conflicts: 98000 | #Constraints: 768335
1155.24/1159.16 c #Conflicts: 99000 | #Constraints: 769335
1155.24/1159.16 c #Conflicts: 100000 | #Constraints: 770335
1155.24/1159.16 c #Conflicts: 101000 | #Constraints: 771335
1155.24/1159.16 c #Conflicts: 102000 | #Constraints: 772335
1155.24/1159.16 c INPROCESSING
1155.24/1159.16 c #Conflicts: 103000 | #Constraints: 756264
1155.24/1159.16 c #Conflicts: 104000 | #Constraints: 757264
1155.24/1159.16 c #Conflicts: 105000 | #Constraints: 758264
1155.24/1159.16 c #Conflicts: 106000 | #Constraints: 759264
1155.24/1159.16 c #Conflicts: 107000 | #Constraints: 760264
1155.24/1159.16 c #Conflicts: 108000 | #Constraints: 761264
1155.24/1159.16 c #Conflicts: 109000 | #Constraints: 762264
1155.24/1159.16 c #Conflicts: 110000 | #Constraints: 763264
1155.24/1159.16 c #Conflicts: 111000 | #Constraints: 764264
1155.24/1159.16 c #Conflicts: 112000 | #Constraints: 765264
1155.24/1159.16 c INPROCESSING
1155.24/1159.16 c GARBAGE COLLECT
1155.24/1159.16 c #Conflicts: 113000 | #Constraints: 752556
1155.24/1159.16 c #Conflicts: 114000 | #Constraints: 753556
1155.24/1159.16 c #Conflicts: 115000 | #Constraints: 754556
1155.24/1159.16 c #Conflicts: 116000 | #Constraints: 755556
1155.24/1159.16 c #Conflicts: 117000 | #Constraints: 756556
1155.24/1159.16 c #Conflicts: 118000 | #Constraints: 757556
1155.24/1159.16 c #Conflicts: 119000 | #Constraints: 758556
1155.24/1159.16 c #Conflicts: 120000 | #Constraints: 759556
1155.24/1159.16 c #Conflicts: 121000 | #Constraints: 760556
1155.24/1159.16 c #Conflicts: 122000 | #Constraints: 761556
1155.24/1159.16 c #Conflicts: 123000 | #Constraints: 762556
1155.24/1159.16 c #Conflicts: 124000 | #Constraints: 763556
1155.24/1159.16 c #Conflicts: 125000 | #Constraints: 764556
1155.24/1159.16 c #Conflicts: 126000 | #Constraints: 765556
1155.24/1159.16 c #Conflicts: 127000 | #Constraints: 766556
1155.24/1159.16 c #Conflicts: 128000 | #Constraints: 767556
1155.24/1159.16 c #Conflicts: 129000 | #Constraints: 768556
1155.24/1159.16 c #Conflicts: 130000 | #Constraints: 769556
1155.24/1159.16 c #Conflicts: 131000 | #Constraints: 770556
1155.24/1159.16 c #Conflicts: 132000 | #Constraints: 771556
1155.24/1159.16 c #Conflicts: 133000 | #Constraints: 772556
1155.24/1159.16 c #Conflicts: 134000 | #Constraints: 773556
1155.24/1159.16 c #Conflicts: 135000 | #Constraints: 774556
1155.24/1159.16 c INPROCESSING
1155.24/1159.16 c #Conflicts: 136000 | #Constraints: 757578
1155.24/1159.16 c #Conflicts: 137000 | #Constraints: 758578
1155.24/1159.16 c #Conflicts: 138000 | #Constraints: 759578
1155.24/1159.16 c #Conflicts: 139000 | #Constraints: 760578
1155.24/1159.16 c #Conflicts: 140000 | #Constraints: 761578
1155.24/1159.16 c #Conflicts: 141000 | #Constraints: 762578
1155.24/1159.16 c #Conflicts: 142000 | #Constraints: 763578
1155.24/1159.16 c #Conflicts: 143000 | #Constraints: 764578
1155.24/1159.16 c #Conflicts: 144000 | #Constraints: 765578
1155.24/1159.16 c #Conflicts: 145000 | #Constraints: 766578
1155.24/1159.16 c #Conflicts: 146000 | #Constraints: 767578
1155.24/1159.16 c #Conflicts: 147000 | #Constraints: 768578
1155.24/1159.16 c #Conflicts: 148000 | #Constraints: 769578
1155.24/1159.16 c #Conflicts: 149000 | #Constraints: 770578
1155.24/1159.16 c #Conflicts: 150000 | #Constraints: 771578
1155.24/1159.16 c #Conflicts: 151000 | #Constraints: 772578
1155.24/1159.16 c #Conflicts: 152000 | #Constraints: 773578
1155.24/1159.16 c #Conflicts: 153000 | #Constraints: 774578
1155.24/1159.16 c #Conflicts: 154000 | #Constraints: 775578
1155.24/1159.16 c #Conflicts: 155000 | #Constraints: 776578
1155.24/1159.16 c #Conflicts: 156000 | #Constraints: 777578
1155.24/1159.16 c #Conflicts: 157000 | #Constraints: 778578
1155.24/1159.16 c #Conflicts: 158000 | #Constraints: 779578
1155.24/1159.16 c #Conflicts: 159000 | #Constraints: 780578
1155.24/1159.16 c INPROCESSING
1155.24/1159.16 c GARBAGE COLLECT
1155.24/1159.16 c #Conflicts: 160000 | #Constraints: 760577
1155.24/1159.16 c #Conflicts: 161000 | #Constraints: 761577
1155.24/1159.16 c #Conflicts: 162000 | #Constraints: 762577
1155.24/1159.16 c #Conflicts: 163000 | #Constraints: 763577
1155.24/1159.16 c #Conflicts: 164000 | #Constraints: 764577
1155.24/1159.16 c #Conflicts: 165000 | #Constraints: 765577
1155.24/1159.16 c #Conflicts: 166000 | #Constraints: 766577
1386.20/1390.86 c #Conflicts: 167000 | #Constraints: 767577
1386.20/1390.86 c #Conflicts: 168000 | #Constraints: 768577
1386.20/1390.86 c #Conflicts: 169000 | #Constraints: 769577
1386.20/1390.86 c #Conflicts: 170000 | #Constraints: 770577
1386.20/1390.86 c #Conflicts: 171000 | #Constraints: 771577
1386.20/1390.86 c #Conflicts: 172000 | #Constraints: 772577
1386.20/1390.86 c INPROCESSING
1386.20/1390.86 c #Conflicts: 173000 | #Constraints: 756544
1386.20/1390.86 c #Conflicts: 174000 | #Constraints: 757544
1386.20/1390.86 c #Conflicts: 175000 | #Constraints: 758544
1386.20/1390.86 c #Conflicts: 176000 | #Constraints: 759544
1386.20/1390.86 c #Conflicts: 177000 | #Constraints: 760544
1386.20/1390.86 c #Conflicts: 178000 | #Constraints: 761544
1386.20/1390.86 c #Conflicts: 179000 | #Constraints: 762544
1386.20/1390.86 c #Conflicts: 180000 | #Constraints: 763544
1386.20/1390.86 c #Conflicts: 181000 | #Constraints: 764544
1386.20/1390.86 c #Conflicts: 182000 | #Constraints: 765544
1386.20/1390.86 c #Conflicts: 183000 | #Constraints: 766544
1386.20/1390.86 c #Conflicts: 184000 | #Constraints: 767544
1386.20/1390.86 c #Conflicts: 185000 | #Constraints: 768544
1386.20/1390.86 c #Conflicts: 186000 | #Constraints: 769544
1386.20/1390.86 c #Conflicts: 187000 | #Constraints: 770544
1386.20/1390.86 c #Conflicts: 188000 | #Constraints: 771544
1386.20/1390.86 c #Conflicts: 189000 | #Constraints: 772544
1386.20/1390.86 c #Conflicts: 190000 | #Constraints: 773544
1386.20/1390.86 c #Conflicts: 191000 | #Constraints: 774544
1386.20/1390.86 c #Conflicts: 192000 | #Constraints: 775544
1386.20/1390.86 c #Conflicts: 193000 | #Constraints: 776544
1386.20/1390.86 c #Conflicts: 194000 | #Constraints: 777544
1386.20/1390.86 c #Conflicts: 195000 | #Constraints: 778544
1386.20/1390.86 c #Conflicts: 196000 | #Constraints: 779544
1386.20/1390.86 c #Conflicts: 197000 | #Constraints: 780544
1386.20/1390.86 c #Conflicts: 198000 | #Constraints: 781544
1386.20/1390.86 c #Conflicts: 199000 | #Constraints: 782544
1386.20/1390.86 c #Conflicts: 200000 | #Constraints: 783544
1386.20/1390.86 c INPROCESSING
1386.20/1390.86 c GARBAGE COLLECT
1386.20/1390.86 c #Conflicts: 201000 | #Constraints: 762287
1386.20/1390.86 c #Conflicts: 202000 | #Constraints: 763287
1386.20/1390.86 c #Conflicts: 203000 | #Constraints: 764287
1386.20/1390.86 c #Conflicts: 204000 | #Constraints: 765287
1386.20/1390.86 c #Conflicts: 205000 | #Constraints: 766287
1386.20/1390.86 c #Conflicts: 206000 | #Constraints: 767287
1386.20/1390.86 c #Conflicts: 207000 | #Constraints: 768287
1386.20/1390.86 c #Conflicts: 208000 | #Constraints: 769287
1386.20/1390.86 c #Conflicts: 209000 | #Constraints: 770287
1386.20/1390.86 c #Conflicts: 210000 | #Constraints: 771287
1386.20/1390.86 c #Conflicts: 211000 | #Constraints: 772287
1386.20/1390.86 c #Conflicts: 212000 | #Constraints: 773287
1386.20/1390.86 c #Conflicts: 213000 | #Constraints: 774287
1386.20/1390.86 c #Conflicts: 214000 | #Constraints: 775287
1386.20/1390.86 c INPROCESSING
1386.20/1390.86 c #Conflicts: 215000 | #Constraints: 758115
1386.20/1390.86 c #Conflicts: 216000 | #Constraints: 759115
1386.20/1390.86 c #Conflicts: 217000 | #Constraints: 760115
1386.20/1390.86 c #Conflicts: 218000 | #Constraints: 761115
1386.20/1390.86 c #Conflicts: 219000 | #Constraints: 762115
1386.20/1390.86 c #Conflicts: 220000 | #Constraints: 763115
1386.20/1390.86 c #Conflicts: 221000 | #Constraints: 764115
1386.20/1390.86 c #Conflicts: 222000 | #Constraints: 765115
1386.20/1390.86 c #Conflicts: 223000 | #Constraints: 766115
1386.20/1390.86 c #Conflicts: 224000 | #Constraints: 767115
1386.20/1390.86 c #Conflicts: 225000 | #Constraints: 768115
1386.20/1390.86 c #Conflicts: 226000 | #Constraints: 769115
1386.20/1390.86 c #Conflicts: 227000 | #Constraints: 770115
1386.20/1390.86 c #Conflicts: 228000 | #Constraints: 771115
1386.20/1390.86 c #Conflicts: 229000 | #Constraints: 772115
1386.20/1390.86 c #Conflicts: 230000 | #Constraints: 773115
1386.20/1390.86 c #Conflicts: 231000 | #Constraints: 774115
1386.20/1390.86 c #Conflicts: 232000 | #Constraints: 775115
1386.20/1390.86 c #Conflicts: 233000 | #Constraints: 776115
1386.20/1390.86 c #Conflicts: 234000 | #Constraints: 777115
1386.20/1390.86 c #Conflicts: 235000 | #Constraints: 778115
1386.20/1390.86 c #Conflicts: 236000 | #Constraints: 779115
1386.20/1390.86 c #Conflicts: 237000 | #Constraints: 780115
1386.20/1390.86 c #Conflicts: 238000 | #Constraints: 781115
1386.20/1390.86 c #Conflicts: 239000 | #Constraints: 782115
1386.20/1390.86 c #Conflicts: 240000 | #Constraints: 783115
1386.20/1390.86 c #Conflicts: 241000 | #Constraints: 784115
1386.20/1390.86 c #Conflicts: 242000 | #Constraints: 785115
1386.20/1390.86 c #Conflicts: 243000 | #Constraints: 786115
1598.20/1603.56 c #Conflicts: 244000 | #Constraints: 787115
1598.20/1603.56 c INPROCESSING
1598.20/1603.56 c GARBAGE COLLECT
1598.20/1603.56 c #Conflicts: 245000 | #Constraints: 763786
1598.20/1603.56 c #Conflicts: 246000 | #Constraints: 764786
1598.20/1603.56 c #Conflicts: 247000 | #Constraints: 765786
1598.20/1603.56 c #Conflicts: 248000 | #Constraints: 766786
1598.20/1603.56 c #Conflicts: 249000 | #Constraints: 767786
1598.20/1603.56 c #Conflicts: 250000 | #Constraints: 768786
1598.20/1603.56 c #Conflicts: 251000 | #Constraints: 769786
1598.20/1603.56 c #Conflicts: 252000 | #Constraints: 770786
1598.20/1603.56 c #Conflicts: 253000 | #Constraints: 771786
1598.20/1603.56 c #Conflicts: 254000 | #Constraints: 772786
1598.20/1603.56 c #Conflicts: 255000 | #Constraints: 773786
1598.20/1603.56 c #Conflicts: 256000 | #Constraints: 774786
1598.20/1603.56 c #Conflicts: 257000 | #Constraints: 775786
1598.20/1603.56 c #Conflicts: 258000 | #Constraints: 776786
1598.20/1603.56 c #Conflicts: 259000 | #Constraints: 777786
1598.20/1603.56 c #Conflicts: 260000 | #Constraints: 778786
1598.20/1603.56 c INPROCESSING
1598.20/1603.56 c #Conflicts: 261000 | #Constraints: 759831
1598.20/1603.56 c #Conflicts: 262000 | #Constraints: 760831
1598.20/1603.56 c #Conflicts: 263000 | #Constraints: 761831
1598.20/1603.56 c #Conflicts: 264000 | #Constraints: 762831
1598.20/1603.56 c #Conflicts: 265000 | #Constraints: 763831
1598.20/1603.56 c #Conflicts: 266000 | #Constraints: 764831
1598.20/1603.56 c #Conflicts: 267000 | #Constraints: 765831
1598.20/1603.56 c #Conflicts: 268000 | #Constraints: 766831
1598.20/1603.56 c #Conflicts: 269000 | #Constraints: 767831
1598.20/1603.56 c #Conflicts: 270000 | #Constraints: 768831
1598.20/1603.56 c #Conflicts: 271000 | #Constraints: 769831
1598.20/1603.56 c #Conflicts: 272000 | #Constraints: 770831
1598.20/1603.56 c #Conflicts: 273000 | #Constraints: 771831
1598.20/1603.56 c #Conflicts: 274000 | #Constraints: 772831
1598.20/1603.56 c #Conflicts: 275000 | #Constraints: 773831
1598.20/1603.56 c #Conflicts: 276000 | #Constraints: 774831
1598.20/1603.56 c #Conflicts: 277000 | #Constraints: 775831
1598.20/1603.56 c #Conflicts: 278000 | #Constraints: 776831
1598.20/1603.56 c #Conflicts: 279000 | #Constraints: 777831
1598.20/1603.56 c #Conflicts: 280000 | #Constraints: 778831
1598.20/1603.56 c #Conflicts: 281000 | #Constraints: 779831
1598.20/1603.56 c #Conflicts: 282000 | #Constraints: 780831
1598.20/1603.56 c #Conflicts: 283000 | #Constraints: 781831
1598.20/1603.56 c #Conflicts: 284000 | #Constraints: 782831
1598.20/1603.56 c #Conflicts: 285000 | #Constraints: 783831
1598.20/1603.56 c #Conflicts: 286000 | #Constraints: 784831
1598.20/1603.56 c #Conflicts: 287000 | #Constraints: 785831
1598.20/1603.56 c #Conflicts: 288000 | #Constraints: 786831
1598.20/1603.56 c #Conflicts: 289000 | #Constraints: 787831
1598.20/1603.56 c #Conflicts: 290000 | #Constraints: 788831
1598.20/1603.56 c #Conflicts: 291000 | #Constraints: 789831
1598.20/1603.56 c #Conflicts: 292000 | #Constraints: 790831
1598.20/1603.56 c #Conflicts: 293000 | #Constraints: 791831
1598.20/1603.56 c #Conflicts: 294000 | #Constraints: 792831
1598.20/1603.56 c INPROCESSING
1598.20/1603.56 c GARBAGE COLLECT
1598.20/1603.56 c #Conflicts: 295000 | #Constraints: 766939
1598.20/1603.56 c #Conflicts: 296000 | #Constraints: 767939
1598.20/1603.56 c #Conflicts: 297000 | #Constraints: 768939
1598.20/1603.56 c #Conflicts: 298000 | #Constraints: 769939
1598.20/1603.56 c #Conflicts: 299000 | #Constraints: 770939
1598.20/1603.56 c #Conflicts: 300000 | #Constraints: 771939
1598.20/1603.56 c #Conflicts: 301000 | #Constraints: 772939
1598.20/1603.56 c #Conflicts: 302000 | #Constraints: 773939
1598.20/1603.56 c #Conflicts: 303000 | #Constraints: 774939
1598.20/1603.56 c #Conflicts: 304000 | #Constraints: 775939
1598.20/1603.56 c #Conflicts: 305000 | #Constraints: 776939
1598.20/1603.56 c #Conflicts: 306000 | #Constraints: 777939
1598.20/1603.56 c #Conflicts: 307000 | #Constraints: 778939
1598.20/1603.56 c #Conflicts: 308000 | #Constraints: 779939
1598.20/1603.56 c #Conflicts: 309000 | #Constraints: 780939
1598.20/1603.56 c #Conflicts: 310000 | #Constraints: 781939
1598.20/1603.56 c #Conflicts: 311000 | #Constraints: 782939
1598.20/1603.56 c #Conflicts: 312000 | #Constraints: 783939
1598.20/1603.56 c #Conflicts: 313000 | #Constraints: 784939
1598.20/1603.56 c #Conflicts: 314000 | #Constraints: 785939
1598.20/1603.56 c #Conflicts: 315000 | #Constraints: 786939
1598.20/1603.56 c #Conflicts: 316000 | #Constraints: 787939
1598.20/1603.56 c #Conflicts: 317000 | #Constraints: 788939
1598.20/1603.56 c #Conflicts: 318000 | #Constraints: 789939
1598.20/1603.56 c #Conflicts: 319000 | #Constraints: 790939
1598.20/1603.56 c #Conflicts: 320000 | #Constraints: 791939
1598.20/1603.56 c #Conflicts: 321000 | #Constraints: 792939
1802.43/1808.44 c #Conflicts: 322000 | #Constraints: 793939
1802.43/1808.44 c #Conflicts: 323000 | #Constraints: 794939
1802.43/1808.44 c #Conflicts: 324000 | #Constraints: 795939
1802.43/1808.44 c #Conflicts: 325000 | #Constraints: 796939
1802.43/1808.44 c #Conflicts: 326000 | #Constraints: 797939
1802.43/1808.44 c #Conflicts: 327000 | #Constraints: 798939
1802.43/1808.44 c #Conflicts: 328000 | #Constraints: 799939
1802.43/1808.44 c #Conflicts: 329000 | #Constraints: 800939
1802.43/1808.44 c INPROCESSING
1802.43/1808.44 c GARBAGE COLLECT
1802.43/1808.44 c #Conflicts: 330000 | #Constraints: 770754
1802.43/1808.44 c #Conflicts: 331000 | #Constraints: 771754
1802.43/1808.44 c #Conflicts: 332000 | #Constraints: 772754
1802.43/1808.44 c #Conflicts: 333000 | #Constraints: 773754
1802.43/1808.44 c #Conflicts: 334000 | #Constraints: 774754
1802.43/1808.44 c #Conflicts: 335000 | #Constraints: 775754
1802.43/1808.44 c #Conflicts: 336000 | #Constraints: 776754
1802.43/1808.44 c #Conflicts: 337000 | #Constraints: 777754
1802.43/1808.44 c #Conflicts: 338000 | #Constraints: 778754
1802.43/1808.44 c #Conflicts: 339000 | #Constraints: 779754
1802.43/1808.44 c #Conflicts: 340000 | #Constraints: 780754
1802.43/1808.44 c #Conflicts: 341000 | #Constraints: 781754
1802.43/1808.44 c #Conflicts: 342000 | #Constraints: 782754
1802.43/1808.44 c #Conflicts: 343000 | #Constraints: 783754
1802.43/1808.44 c #Conflicts: 344000 | #Constraints: 784754
1802.43/1808.44 c #Conflicts: 345000 | #Constraints: 785754
1802.43/1808.44 c #Conflicts: 346000 | #Constraints: 786754
1802.43/1808.44 c #Conflicts: 347000 | #Constraints: 787754
1802.43/1808.44 c INPROCESSING
1802.43/1808.44 c #Conflicts: 348000 | #Constraints: 764350
1802.43/1808.44 c #Conflicts: 349000 | #Constraints: 765350
1802.43/1808.44 c #Conflicts: 350000 | #Constraints: 766350
1802.43/1808.44 c #Conflicts: 351000 | #Constraints: 767350
1802.43/1808.44 c #Conflicts: 352000 | #Constraints: 768350
1802.43/1808.44 c #Conflicts: 353000 | #Constraints: 769350
1802.43/1808.44 c #Conflicts: 354000 | #Constraints: 770350
1802.43/1808.44 c #Conflicts: 355000 | #Constraints: 771350
1802.43/1808.44 c #Conflicts: 356000 | #Constraints: 772350
1802.43/1808.44 c #Conflicts: 357000 | #Constraints: 773350
1802.43/1808.44 c #Conflicts: 358000 | #Constraints: 774350
1802.43/1808.44 c #Conflicts: 359000 | #Constraints: 775350
1802.43/1808.44 c #Conflicts: 360000 | #Constraints: 776350
1802.43/1808.44 c #Conflicts: 361000 | #Constraints: 777350
1802.43/1808.44 c #Conflicts: 362000 | #Constraints: 778350
1802.43/1808.44 c #Conflicts: 363000 | #Constraints: 779350
1802.43/1808.44 c #Conflicts: 364000 | #Constraints: 780350
1802.43/1808.44 c #Conflicts: 365000 | #Constraints: 781350
1802.43/1808.44 c #Conflicts: 366000 | #Constraints: 782350
1802.43/1808.44 c #Conflicts: 367000 | #Constraints: 783350
1802.43/1808.44 c #Conflicts: 368000 | #Constraints: 784350
1802.43/1808.44 c #Conflicts: 369000 | #Constraints: 785350
1802.43/1808.44 c #Conflicts: 370000 | #Constraints: 786350
1802.43/1808.44 c #Conflicts: 371000 | #Constraints: 787350
1802.43/1808.44 c #Conflicts: 372000 | #Constraints: 788350
1802.43/1808.44 c #Conflicts: 373000 | #Constraints: 789350
1802.43/1808.44 c #Conflicts: 374000 | #Constraints: 790350
1802.43/1808.44 c #Conflicts: 375000 | #Constraints: 791350
1802.43/1808.44 c #Conflicts: 376000 | #Constraints: 792350
1802.43/1808.44 c #Conflicts: 377000 | #Constraints: 793350
1802.43/1808.44 c #Conflicts: 378000 | #Constraints: 794350
1802.43/1808.44 c #Conflicts: 379000 | #Constraints: 795350
1802.43/1808.44 c #Conflicts: 380000 | #Constraints: 796350
1802.43/1808.44 c #Conflicts: 381000 | #Constraints: 797350
1802.43/1808.44 c #Conflicts: 382000 | #Constraints: 798350
1802.43/1808.44 c #Conflicts: 383000 | #Constraints: 799350
1802.43/1808.44 c #Conflicts: 384000 | #Constraints: 800350
1802.43/1808.44 c #Conflicts: 385000 | #Constraints: 801350
1802.43/1808.44 c #Conflicts: 386000 | #Constraints: 802350
1802.43/1808.44 c INPROCESSING
1802.43/1808.44 c GARBAGE COLLECT
1802.43/1808.44 c #Conflicts: 387000 | #Constraints: 772142
1802.43/1808.44 c #Conflicts: 388000 | #Constraints: 773142
1802.43/1808.44 c #Conflicts: 389000 | #Constraints: 774142
1802.43/1808.44 c #Conflicts: 390000 | #Constraints: 775142
1802.43/1808.44 c #Conflicts: 391000 | #Constraints: 776142
1802.43/1808.44 c #Conflicts: 392000 | #Constraints: 777142
1802.43/1808.44 c #Conflicts: 393000 | #Constraints: 778142
1802.43/1808.44 c #Conflicts: 394000 | #Constraints: 779142
1802.43/1808.44 c #Conflicts: 395000 | #Constraints: 780142
1802.43/1808.44 c #Conflicts: 396000 | #Constraints: 781142
1802.43/1808.44 c #Conflicts: 397000 | #Constraints: 782142
1802.43/1808.44 c #Conflicts: 398000 | #Constraints: 783142
2316.56/2324.21 c #Conflicts: 399000 | #Constraints: 784142
2316.56/2324.21 c #Conflicts: 400000 | #Constraints: 785142
2316.56/2324.21 c #Conflicts: 401000 | #Constraints: 786142
2316.56/2324.21 c #Conflicts: 402000 | #Constraints: 787142
2316.56/2324.21 c #Conflicts: 403000 | #Constraints: 788142
2316.56/2324.21 c #Conflicts: 404000 | #Constraints: 789142
2316.56/2324.21 c #Conflicts: 405000 | #Constraints: 790142
2316.56/2324.21 c #Conflicts: 406000 | #Constraints: 791142
2316.56/2324.21 c #Conflicts: 407000 | #Constraints: 792142
2316.56/2324.21 c #Conflicts: 408000 | #Constraints: 793142
2316.56/2324.21 c #Conflicts: 409000 | #Constraints: 794142
2316.56/2324.21 c #Conflicts: 410000 | #Constraints: 795142
2316.56/2324.21 c #Conflicts: 411000 | #Constraints: 796142
2316.56/2324.21 c #Conflicts: 412000 | #Constraints: 797142
2316.56/2324.21 c #Conflicts: 413000 | #Constraints: 798142
2316.56/2324.21 c #Conflicts: 414000 | #Constraints: 799142
2316.56/2324.21 c #Conflicts: 415000 | #Constraints: 800142
2316.56/2324.21 c #Conflicts: 416000 | #Constraints: 801142
2316.56/2324.21 c #Conflicts: 417000 | #Constraints: 802142
2316.56/2324.21 c #Conflicts: 418000 | #Constraints: 803142
2316.56/2324.21 c #Conflicts: 419000 | #Constraints: 804142
2316.56/2324.21 c #Conflicts: 420000 | #Constraints: 805142
2316.56/2324.21 c #Conflicts: 421000 | #Constraints: 806142
2316.56/2324.21 c #Conflicts: 422000 | #Constraints: 807142
2316.56/2324.21 c #Conflicts: 423000 | #Constraints: 808142
2316.56/2324.21 c #Conflicts: 424000 | #Constraints: 809142
2316.56/2324.21 c #Conflicts: 425000 | #Constraints: 810142
2316.56/2324.21 c #Conflicts: 426000 | #Constraints: 811142
2316.56/2324.21 c #Conflicts: 427000 | #Constraints: 812142
2316.56/2324.21 c INPROCESSING
2316.56/2324.21 c GARBAGE COLLECT
2316.56/2324.21 c #Conflicts: 428000 | #Constraints: 777182
2316.56/2324.21 c #Conflicts: 429000 | #Constraints: 778182
2316.56/2324.21 c #Conflicts: 430000 | #Constraints: 779182
2316.56/2324.21 c #Conflicts: 431000 | #Constraints: 780182
2316.56/2324.21 c #Conflicts: 432000 | #Constraints: 781182
2316.56/2324.21 c #Conflicts: 433000 | #Constraints: 782182
2316.56/2324.21 c #Conflicts: 434000 | #Constraints: 783182
2316.56/2324.21 c #Conflicts: 435000 | #Constraints: 784182
2316.56/2324.21 c #Conflicts: 436000 | #Constraints: 785182
2316.56/2324.21 c #Conflicts: 437000 | #Constraints: 786182
2316.56/2324.21 c #Conflicts: 438000 | #Constraints: 787182
2316.56/2324.21 c #Conflicts: 439000 | #Constraints: 788182
2316.56/2324.21 c #Conflicts: 440000 | #Constraints: 789182
2316.56/2324.21 c #Conflicts: 441000 | #Constraints: 790182
2316.56/2324.21 c #Conflicts: 442000 | #Constraints: 791182
2316.56/2324.21 c #Conflicts: 443000 | #Constraints: 792182
2316.56/2324.21 c #Conflicts: 444000 | #Constraints: 793182
2316.56/2324.21 c #Conflicts: 445000 | #Constraints: 794182
2316.56/2324.21 c #Conflicts: 446000 | #Constraints: 795182
2316.56/2324.21 c #Conflicts: 447000 | #Constraints: 796182
2316.56/2324.21 c #Conflicts: 448000 | #Constraints: 797182
2316.56/2324.21 c #Conflicts: 449000 | #Constraints: 798182
2316.56/2324.21 c #Conflicts: 450000 | #Constraints: 799182
2316.56/2324.21 c #Conflicts: 451000 | #Constraints: 800182
2316.56/2324.21 c #Conflicts: 452000 | #Constraints: 801182
2316.56/2324.21 c #Conflicts: 453000 | #Constraints: 802182
2316.56/2324.21 c #Conflicts: 454000 | #Constraints: 803182
2316.56/2324.21 c #Conflicts: 455000 | #Constraints: 804182
2316.56/2324.21 c #Conflicts: 456000 | #Constraints: 805182
2316.56/2324.21 c #Conflicts: 457000 | #Constraints: 806182
2316.56/2324.21 c #Conflicts: 458000 | #Constraints: 807182
2316.56/2324.21 c #Conflicts: 459000 | #Constraints: 808182
2316.56/2324.21 c #Conflicts: 460000 | #Constraints: 809182
2316.56/2324.21 c #Conflicts: 461000 | #Constraints: 810182
2316.56/2324.21 c #Conflicts: 462000 | #Constraints: 811182
2316.56/2324.21 c #Conflicts: 463000 | #Constraints: 812182
2316.56/2324.21 c #Conflicts: 464000 | #Constraints: 813182
2316.56/2324.21 c #Conflicts: 465000 | #Constraints: 814182
2316.56/2324.21 c #Conflicts: 466000 | #Constraints: 815182
2316.56/2324.21 c #Conflicts: 467000 | #Constraints: 816182
2316.56/2324.21 c #Conflicts: 468000 | #Constraints: 817182
2316.56/2324.21 c #Conflicts: 469000 | #Constraints: 818182
2316.56/2324.21 c #Conflicts: 470000 | #Constraints: 819182
2316.56/2324.21 c INPROCESSING
2316.56/2324.21 c GARBAGE COLLECT
2316.56/2324.21 c rational objective 1418.6
2523.38/2531.70 c #Conflicts: 471000 | #Constraints: 780614
2523.38/2531.70 c #Conflicts: 472000 | #Constraints: 781614
2523.38/2531.70 c #Conflicts: 473000 | #Constraints: 782614
2523.38/2531.70 c #Conflicts: 474000 | #Constraints: 783614
2523.38/2531.70 c #Conflicts: 475000 | #Constraints: 784614
2523.38/2531.70 c #Conflicts: 476000 | #Constraints: 785614
2523.38/2531.70 c #Conflicts: 477000 | #Constraints: 786614
2523.38/2531.70 c #Conflicts: 478000 | #Constraints: 787614
2523.38/2531.70 c #Conflicts: 479000 | #Constraints: 788614
2523.38/2531.70 c #Conflicts: 480000 | #Constraints: 789614
2523.38/2531.70 c #Conflicts: 481000 | #Constraints: 790614
2523.38/2531.70 c #Conflicts: 482000 | #Constraints: 791614
2523.38/2531.70 c #Conflicts: 483000 | #Constraints: 792614
2523.38/2531.70 c #Conflicts: 484000 | #Constraints: 793614
2523.38/2531.70 c #Conflicts: 485000 | #Constraints: 794614
2523.38/2531.70 c #Conflicts: 486000 | #Constraints: 795614
2523.38/2531.70 c #Conflicts: 487000 | #Constraints: 796614
2523.38/2531.70 c #Conflicts: 488000 | #Constraints: 797614
2523.38/2531.70 c #Conflicts: 489000 | #Constraints: 798614
2523.38/2531.70 c #Conflicts: 490000 | #Constraints: 799614
2523.38/2531.70 c #Conflicts: 491000 | #Constraints: 800614
2523.38/2531.70 c INPROCESSING
2523.38/2531.70 c GARBAGE COLLECT
2523.38/2531.70 c #Conflicts: 492000 | #Constraints: 770862
2523.38/2531.70 c #Conflicts: 493000 | #Constraints: 771862
2523.38/2531.70 c #Conflicts: 494000 | #Constraints: 772862
2523.38/2531.70 c #Conflicts: 495000 | #Constraints: 773862
2523.38/2531.70 c #Conflicts: 496000 | #Constraints: 774862
2523.38/2531.70 c #Conflicts: 497000 | #Constraints: 775862
2523.38/2531.70 c #Conflicts: 498000 | #Constraints: 776862
2523.38/2531.70 c #Conflicts: 499000 | #Constraints: 777862
2523.38/2531.70 c #Conflicts: 500000 | #Constraints: 778862
2523.38/2531.70 c #Conflicts: 501000 | #Constraints: 779862
2523.38/2531.70 c #Conflicts: 502000 | #Constraints: 780862
2523.38/2531.70 c #Conflicts: 503000 | #Constraints: 781862
2523.38/2531.70 c #Conflicts: 504000 | #Constraints: 782862
2523.38/2531.70 c #Conflicts: 505000 | #Constraints: 783862
2523.38/2531.70 c #Conflicts: 506000 | #Constraints: 784862
2523.38/2531.70 c #Conflicts: 507000 | #Constraints: 785862
2523.38/2531.70 c #Conflicts: 508000 | #Constraints: 786862
2523.38/2531.70 c #Conflicts: 509000 | #Constraints: 787862
2523.38/2531.70 c #Conflicts: 510000 | #Constraints: 788862
2523.38/2531.70 c #Conflicts: 511000 | #Constraints: 789862
2523.38/2531.70 c #Conflicts: 512000 | #Constraints: 790862
2523.38/2531.70 c #Conflicts: 513000 | #Constraints: 791862
2523.38/2531.70 c #Conflicts: 514000 | #Constraints: 792862
2523.38/2531.70 c #Conflicts: 515000 | #Constraints: 793862
2523.38/2531.70 c #Conflicts: 516000 | #Constraints: 794862
2523.38/2531.70 c #Conflicts: 517000 | #Constraints: 795862
2523.38/2531.70 c #Conflicts: 518000 | #Constraints: 796862
2523.38/2531.70 c #Conflicts: 519000 | #Constraints: 797862
2523.38/2531.70 c #Conflicts: 520000 | #Constraints: 798862
2523.38/2531.70 c #Conflicts: 521000 | #Constraints: 799862
2523.38/2531.70 c #Conflicts: 522000 | #Constraints: 800862
2523.38/2531.70 c #Conflicts: 523000 | #Constraints: 801862
2523.38/2531.70 c #Conflicts: 524000 | #Constraints: 802862
2523.38/2531.70 c #Conflicts: 525000 | #Constraints: 803862
2523.38/2531.70 c #Conflicts: 526000 | #Constraints: 804862
2523.38/2531.70 c #Conflicts: 527000 | #Constraints: 805862
2523.38/2531.70 c #Conflicts: 528000 | #Constraints: 806862
2523.38/2531.70 c #Conflicts: 529000 | #Constraints: 807862
2523.38/2531.70 c #Conflicts: 530000 | #Constraints: 808862
2523.38/2531.70 c #Conflicts: 531000 | #Constraints: 809862
2523.38/2531.70 c #Conflicts: 532000 | #Constraints: 810862
2523.38/2531.70 c #Conflicts: 533000 | #Constraints: 811862
2523.38/2531.70 c #Conflicts: 534000 | #Constraints: 812862
2523.38/2531.70 c #Conflicts: 535000 | #Constraints: 813862
2523.38/2531.70 c #Conflicts: 536000 | #Constraints: 814862
2523.38/2531.70 c #Conflicts: 537000 | #Constraints: 815862
2523.38/2531.70 c INPROCESSING
2523.38/2531.70 c GARBAGE COLLECT
2523.38/2531.70 c #Conflicts: 538000 | #Constraints: 778627
2523.38/2531.70 c #Conflicts: 539000 | #Constraints: 779627
2523.38/2531.70 c #Conflicts: 540000 | #Constraints: 780627
2523.38/2531.70 c #Conflicts: 541000 | #Constraints: 781627
2523.38/2531.70 c #Conflicts: 542000 | #Constraints: 782627
2523.38/2531.70 c #Conflicts: 543000 | #Constraints: 783627
2523.38/2531.70 c #Conflicts: 544000 | #Constraints: 784627
2523.38/2531.70 c #Conflicts: 545000 | #Constraints: 785627
2523.38/2531.70 c #Conflicts: 546000 | #Constraints: 786627
2523.38/2531.70 c #Conflicts: 547000 | #Constraints: 787627
2523.38/2531.70 c #Conflicts: 548000 | #Constraints: 788627
2666.51/2675.32 c #Conflicts: 549000 | #Constraints: 789627
2666.51/2675.32 c #Conflicts: 550000 | #Constraints: 790627
2666.51/2675.32 c #Conflicts: 551000 | #Constraints: 791627
2666.51/2675.32 c #Conflicts: 552000 | #Constraints: 792627
2666.51/2675.32 c #Conflicts: 553000 | #Constraints: 793627
2666.51/2675.32 c #Conflicts: 554000 | #Constraints: 794627
2666.51/2675.32 c #Conflicts: 555000 | #Constraints: 795627
2666.51/2675.32 c #Conflicts: 556000 | #Constraints: 796627
2666.51/2675.32 c #Conflicts: 557000 | #Constraints: 797627
2666.51/2675.32 c #Conflicts: 558000 | #Constraints: 798627
2666.51/2675.32 c #Conflicts: 559000 | #Constraints: 799627
2666.51/2675.32 c #Conflicts: 560000 | #Constraints: 800627
2666.51/2675.32 c INPROCESSING
2666.51/2675.32 c GARBAGE COLLECT
2666.51/2675.32 c #Conflicts: 561000 | #Constraints: 771549
2666.51/2675.32 c #Conflicts: 562000 | #Constraints: 772549
2666.51/2675.32 c #Conflicts: 563000 | #Constraints: 773549
2666.51/2675.32 c #Conflicts: 564000 | #Constraints: 774549
2666.51/2675.32 c #Conflicts: 565000 | #Constraints: 775549
2666.51/2675.32 c #Conflicts: 566000 | #Constraints: 776549
2666.51/2675.32 c #Conflicts: 567000 | #Constraints: 777549
2666.51/2675.32 c #Conflicts: 568000 | #Constraints: 778549
2666.51/2675.32 c #Conflicts: 569000 | #Constraints: 779549
2666.51/2675.32 c #Conflicts: 570000 | #Constraints: 780549
2666.51/2675.32 c #Conflicts: 571000 | #Constraints: 781549
2666.51/2675.32 c #Conflicts: 572000 | #Constraints: 782549
2666.51/2675.32 c #Conflicts: 573000 | #Constraints: 783549
2666.51/2675.32 c #Conflicts: 574000 | #Constraints: 784549
2666.51/2675.32 c #Conflicts: 575000 | #Constraints: 785549
2666.51/2675.32 c #Conflicts: 576000 | #Constraints: 786549
2666.51/2675.32 c #Conflicts: 577000 | #Constraints: 787549
2666.51/2675.32 c #Conflicts: 578000 | #Constraints: 788549
2666.51/2675.32 c #Conflicts: 579000 | #Constraints: 789549
2666.51/2675.32 c #Conflicts: 580000 | #Constraints: 790549
2666.51/2675.32 c #Conflicts: 581000 | #Constraints: 791549
2666.51/2675.32 c #Conflicts: 582000 | #Constraints: 792549
2666.51/2675.32 c #Conflicts: 583000 | #Constraints: 793549
2666.51/2675.32 c #Conflicts: 584000 | #Constraints: 794549
2666.51/2675.32 c #Conflicts: 585000 | #Constraints: 795549
2666.51/2675.32 c #Conflicts: 586000 | #Constraints: 796549
2666.51/2675.32 c #Conflicts: 587000 | #Constraints: 797549
2666.51/2675.32 c #Conflicts: 588000 | #Constraints: 798549
2666.51/2675.32 c #Conflicts: 589000 | #Constraints: 799549
2666.51/2675.32 c #Conflicts: 590000 | #Constraints: 800549
2666.51/2675.32 c #Conflicts: 591000 | #Constraints: 801549
2666.51/2675.32 c #Conflicts: 592000 | #Constraints: 802549
2666.51/2675.32 c #Conflicts: 593000 | #Constraints: 803549
2666.51/2675.32 c #Conflicts: 594000 | #Constraints: 804549
2666.51/2675.32 c #Conflicts: 595000 | #Constraints: 805549
2666.51/2675.32 c #Conflicts: 596000 | #Constraints: 806549
2666.51/2675.32 c #Conflicts: 597000 | #Constraints: 807549
2666.51/2675.32 c #Conflicts: 598000 | #Constraints: 808549
2666.51/2675.32 c #Conflicts: 599000 | #Constraints: 809549
2666.51/2675.32 c #Conflicts: 600000 | #Constraints: 810549
2666.51/2675.32 c #Conflicts: 601000 | #Constraints: 811549
2666.51/2675.32 c #Conflicts: 602000 | #Constraints: 812549
2666.51/2675.32 c #Conflicts: 603000 | #Constraints: 813549
2666.51/2675.32 c #Conflicts: 604000 | #Constraints: 814549
2666.51/2675.32 c #Conflicts: 605000 | #Constraints: 815549
2666.51/2675.32 c #Conflicts: 606000 | #Constraints: 816549
2666.51/2675.32 c #Conflicts: 607000 | #Constraints: 817549
2666.51/2675.32 c #Conflicts: 608000 | #Constraints: 818549
2666.51/2675.32 c #Conflicts: 609000 | #Constraints: 819549
2666.51/2675.32 c INPROCESSING
2666.51/2675.32 c GARBAGE COLLECT
2666.51/2675.32 c #Conflicts: 610000 | #Constraints: 781032
2666.51/2675.32 c #Conflicts: 611000 | #Constraints: 782032
2666.51/2675.32 c #Conflicts: 612000 | #Constraints: 783032
2666.51/2675.32 c #Conflicts: 613000 | #Constraints: 784032
2666.51/2675.32 c #Conflicts: 614000 | #Constraints: 785032
2666.51/2675.32 c #Conflicts: 615000 | #Constraints: 786032
2666.51/2675.32 c #Conflicts: 616000 | #Constraints: 787032
2666.51/2675.32 c #Conflicts: 617000 | #Constraints: 788032
2666.51/2675.32 c #Conflicts: 618000 | #Constraints: 789032
2666.51/2675.32 c #Conflicts: 619000 | #Constraints: 790032
2666.51/2675.32 c #Conflicts: 620000 | #Constraints: 791032
2666.51/2675.32 c #Conflicts: 621000 | #Constraints: 792032
2666.51/2675.32 c #Conflicts: 622000 | #Constraints: 793032
2666.51/2675.32 c #Conflicts: 623000 | #Constraints: 794032
2666.51/2675.32 c #Conflicts: 624000 | #Constraints: 795032
2666.51/2675.32 c #Conflicts: 625000 | #Constraints: 796032
2812.46/2821.79 c #Conflicts: 626000 | #Constraints: 797032
2812.46/2821.79 c #Conflicts: 627000 | #Constraints: 798032
2812.46/2821.79 c #Conflicts: 628000 | #Constraints: 799032
2812.46/2821.79 c #Conflicts: 629000 | #Constraints: 800032
2812.46/2821.79 c #Conflicts: 630000 | #Constraints: 801032
2812.46/2821.79 c #Conflicts: 631000 | #Constraints: 802032
2812.46/2821.79 c #Conflicts: 632000 | #Constraints: 803032
2812.46/2821.79 c #Conflicts: 633000 | #Constraints: 804032
2812.46/2821.79 c INPROCESSING
2812.46/2821.79 c #Conflicts: 634000 | #Constraints: 773319
2812.46/2821.79 c #Conflicts: 635000 | #Constraints: 774319
2812.46/2821.79 c #Conflicts: 636000 | #Constraints: 775319
2812.46/2821.79 c #Conflicts: 637000 | #Constraints: 776319
2812.46/2821.79 c #Conflicts: 638000 | #Constraints: 777319
2812.46/2821.79 c #Conflicts: 639000 | #Constraints: 778319
2812.46/2821.79 c #Conflicts: 640000 | #Constraints: 779319
2812.46/2821.79 c #Conflicts: 641000 | #Constraints: 780319
2812.46/2821.79 c #Conflicts: 642000 | #Constraints: 781319
2812.46/2821.79 c #Conflicts: 643000 | #Constraints: 782319
2812.46/2821.79 c #Conflicts: 644000 | #Constraints: 783319
2812.46/2821.79 c #Conflicts: 645000 | #Constraints: 784319
2812.46/2821.79 c #Conflicts: 646000 | #Constraints: 785319
2812.46/2821.79 c #Conflicts: 647000 | #Constraints: 786319
2812.46/2821.79 c #Conflicts: 648000 | #Constraints: 787319
2812.46/2821.79 c #Conflicts: 649000 | #Constraints: 788319
2812.46/2821.79 c #Conflicts: 650000 | #Constraints: 789319
2812.46/2821.79 c #Conflicts: 651000 | #Constraints: 790319
2812.46/2821.79 c #Conflicts: 652000 | #Constraints: 791319
2812.46/2821.79 c #Conflicts: 653000 | #Constraints: 792319
2812.46/2821.79 c #Conflicts: 654000 | #Constraints: 793319
2812.46/2821.79 c #Conflicts: 655000 | #Constraints: 794319
2812.46/2821.79 c #Conflicts: 656000 | #Constraints: 795319
2812.46/2821.79 c #Conflicts: 657000 | #Constraints: 796319
2812.46/2821.79 c #Conflicts: 658000 | #Constraints: 797319
2812.46/2821.79 c #Conflicts: 659000 | #Constraints: 798319
2812.46/2821.79 c #Conflicts: 660000 | #Constraints: 799319
2812.46/2821.79 c #Conflicts: 661000 | #Constraints: 800319
2812.46/2821.79 c #Conflicts: 662000 | #Constraints: 801319
2812.46/2821.79 c #Conflicts: 663000 | #Constraints: 802319
2812.46/2821.79 c #Conflicts: 664000 | #Constraints: 803319
2812.46/2821.79 c #Conflicts: 665000 | #Constraints: 804319
2812.46/2821.79 c #Conflicts: 666000 | #Constraints: 805319
2812.46/2821.79 c #Conflicts: 667000 | #Constraints: 806319
2812.46/2821.79 c #Conflicts: 668000 | #Constraints: 807319
2812.46/2821.79 c #Conflicts: 669000 | #Constraints: 808319
2812.46/2821.79 c #Conflicts: 670000 | #Constraints: 809319
2812.46/2821.79 c #Conflicts: 671000 | #Constraints: 810319
2812.46/2821.79 c #Conflicts: 672000 | #Constraints: 811319
2812.46/2821.79 c #Conflicts: 673000 | #Constraints: 812319
2812.46/2821.79 c #Conflicts: 674000 | #Constraints: 813319
2812.46/2821.79 c #Conflicts: 675000 | #Constraints: 814319
2812.46/2821.79 c #Conflicts: 676000 | #Constraints: 815319
2812.46/2821.79 c #Conflicts: 677000 | #Constraints: 816319
2812.46/2821.79 c #Conflicts: 678000 | #Constraints: 817319
2812.46/2821.79 c #Conflicts: 679000 | #Constraints: 818319
2812.46/2821.79 c #Conflicts: 680000 | #Constraints: 819319
2812.46/2821.79 c #Conflicts: 681000 | #Constraints: 820319
2812.46/2821.79 c #Conflicts: 682000 | #Constraints: 821319
2812.46/2821.79 c #Conflicts: 683000 | #Constraints: 822319
2812.46/2821.79 c #Conflicts: 684000 | #Constraints: 823319
2812.46/2821.79 c #Conflicts: 685000 | #Constraints: 824319
2812.46/2821.79 c INPROCESSING
2812.46/2821.79 c GARBAGE COLLECT
2812.46/2821.79 c #Conflicts: 686000 | #Constraints: 783140
2812.46/2821.79 c #Conflicts: 687000 | #Constraints: 784140
2812.46/2821.79 c #Conflicts: 688000 | #Constraints: 785140
2812.46/2821.79 c #Conflicts: 689000 | #Constraints: 786140
2812.46/2821.79 c #Conflicts: 690000 | #Constraints: 787140
2812.46/2821.79 c #Conflicts: 691000 | #Constraints: 788140
2812.46/2821.79 c #Conflicts: 692000 | #Constraints: 789140
2812.46/2821.79 c #Conflicts: 693000 | #Constraints: 790140
2812.46/2821.79 c #Conflicts: 694000 | #Constraints: 791140
2812.46/2821.79 c #Conflicts: 695000 | #Constraints: 792140
2812.46/2821.79 c #Conflicts: 696000 | #Constraints: 793140
2812.46/2821.79 c #Conflicts: 697000 | #Constraints: 794140
2812.46/2821.79 c #Conflicts: 698000 | #Constraints: 795140
2812.46/2821.79 c #Conflicts: 699000 | #Constraints: 796140
2812.46/2821.79 c #Conflicts: 700000 | #Constraints: 797140
2812.46/2821.79 c #Conflicts: 701000 | #Constraints: 798140
2812.46/2821.79 c #Conflicts: 702000 | #Constraints: 799140
2812.46/2821.79 c #Conflicts: 703000 | #Constraints: 800140
2931.80/2941.43 c #Conflicts: 704000 | #Constraints: 801140
2931.80/2941.43 c #Conflicts: 705000 | #Constraints: 802140
2931.80/2941.43 c #Conflicts: 706000 | #Constraints: 803140
2931.80/2941.43 c #Conflicts: 707000 | #Constraints: 804140
2931.80/2941.43 c #Conflicts: 708000 | #Constraints: 805140
2931.80/2941.43 c #Conflicts: 709000 | #Constraints: 806140
2931.80/2941.43 c #Conflicts: 710000 | #Constraints: 807140
2931.80/2941.43 c INPROCESSING
2931.80/2941.43 c GARBAGE COLLECT
2931.80/2941.43 c #Conflicts: 711000 | #Constraints: 774333
2931.80/2941.43 c #Conflicts: 712000 | #Constraints: 775333
2931.80/2941.43 c #Conflicts: 713000 | #Constraints: 776333
2931.80/2941.43 c #Conflicts: 714000 | #Constraints: 777333
2931.80/2941.43 c #Conflicts: 715000 | #Constraints: 778333
2931.80/2941.43 c #Conflicts: 716000 | #Constraints: 779333
2931.80/2941.43 c #Conflicts: 717000 | #Constraints: 780333
2931.80/2941.43 c #Conflicts: 718000 | #Constraints: 781333
2931.80/2941.43 c #Conflicts: 719000 | #Constraints: 782333
2931.80/2941.43 c #Conflicts: 720000 | #Constraints: 783333
2931.80/2941.43 c #Conflicts: 721000 | #Constraints: 784333
2931.80/2941.43 c #Conflicts: 722000 | #Constraints: 785333
2931.80/2941.43 c #Conflicts: 723000 | #Constraints: 786333
2931.80/2941.43 c #Conflicts: 724000 | #Constraints: 787333
2931.80/2941.43 c #Conflicts: 725000 | #Constraints: 788333
2931.80/2941.43 c #Conflicts: 726000 | #Constraints: 789333
2931.80/2941.43 c #Conflicts: 727000 | #Constraints: 790333
2931.80/2941.43 c #Conflicts: 728000 | #Constraints: 791333
2931.80/2941.43 c #Conflicts: 729000 | #Constraints: 792333
2931.80/2941.43 c #Conflicts: 730000 | #Constraints: 793333
2931.80/2941.43 c #Conflicts: 731000 | #Constraints: 794333
2931.80/2941.43 c #Conflicts: 732000 | #Constraints: 795333
2931.80/2941.43 c #Conflicts: 733000 | #Constraints: 796333
2931.80/2941.43 c #Conflicts: 734000 | #Constraints: 797333
2931.80/2941.43 c #Conflicts: 735000 | #Constraints: 798333
2931.80/2941.43 c #Conflicts: 736000 | #Constraints: 799333
2931.80/2941.43 c #Conflicts: 737000 | #Constraints: 800333
2931.80/2941.43 c #Conflicts: 738000 | #Constraints: 801333
2931.80/2941.43 c #Conflicts: 739000 | #Constraints: 802333
2931.80/2941.43 c #Conflicts: 740000 | #Constraints: 803333
2931.80/2941.43 c #Conflicts: 741000 | #Constraints: 804333
2931.80/2941.43 c #Conflicts: 742000 | #Constraints: 805333
2931.80/2941.43 c #Conflicts: 743000 | #Constraints: 806333
2931.80/2941.43 c #Conflicts: 744000 | #Constraints: 807333
2931.80/2941.43 c #Conflicts: 745000 | #Constraints: 808333
2931.80/2941.43 c #Conflicts: 746000 | #Constraints: 809333
2931.80/2941.43 c #Conflicts: 747000 | #Constraints: 810333
2931.80/2941.43 c #Conflicts: 748000 | #Constraints: 811333
2931.80/2941.43 c #Conflicts: 749000 | #Constraints: 812333
2931.80/2941.43 c #Conflicts: 750000 | #Constraints: 813333
2931.80/2941.43 c #Conflicts: 751000 | #Constraints: 814333
2931.80/2941.43 c #Conflicts: 752000 | #Constraints: 815333
2931.80/2941.43 c #Conflicts: 753000 | #Constraints: 816333
2931.80/2941.43 c #Conflicts: 754000 | #Constraints: 817333
2931.80/2941.43 c #Conflicts: 755000 | #Constraints: 818333
2931.80/2941.43 c #Conflicts: 756000 | #Constraints: 819333
2931.80/2941.43 c #Conflicts: 757000 | #Constraints: 820333
2931.80/2941.43 c #Conflicts: 758000 | #Constraints: 821333
2931.80/2941.43 c #Conflicts: 759000 | #Constraints: 822333
2931.80/2941.43 c #Conflicts: 760000 | #Constraints: 823333
2931.80/2941.43 c #Conflicts: 761000 | #Constraints: 824333
2931.80/2941.43 c #Conflicts: 762000 | #Constraints: 825333
2931.80/2941.43 c #Conflicts: 763000 | #Constraints: 826333
2931.80/2941.43 c #Conflicts: 764000 | #Constraints: 827333
2931.80/2941.43 c #Conflicts: 765000 | #Constraints: 828333
2931.80/2941.43 c INPROCESSING
2931.80/2941.43 c GARBAGE COLLECT
2931.80/2941.43 c #Conflicts: 766000 | #Constraints: 785252
2931.80/2941.43 c #Conflicts: 767000 | #Constraints: 786252
2931.80/2941.43 c #Conflicts: 768000 | #Constraints: 787252
2931.80/2941.43 c #Conflicts: 769000 | #Constraints: 788252
2931.80/2941.43 c #Conflicts: 770000 | #Constraints: 789252
2931.80/2941.43 c #Conflicts: 771000 | #Constraints: 790252
2931.80/2941.43 c #Conflicts: 772000 | #Constraints: 791252
2931.80/2941.43 c #Conflicts: 773000 | #Constraints: 792252
2931.80/2941.43 c #Conflicts: 774000 | #Constraints: 793252
2931.80/2941.43 c #Conflicts: 775000 | #Constraints: 794252
2931.80/2941.43 c #Conflicts: 776000 | #Constraints: 795252
2931.80/2941.43 c #Conflicts: 777000 | #Constraints: 796252
2931.80/2941.43 c #Conflicts: 778000 | #Constraints: 797252
2931.80/2941.43 c #Conflicts: 779000 | #Constraints: 798252
2931.80/2941.43 c #Conflicts: 780000 | #Constraints: 799252
2931.80/2941.43 c #Conflicts: 781000 | #Constraints: 800252
3080.69/3090.73 c #Conflicts: 782000 | #Constraints: 801252
3080.69/3090.73 c #Conflicts: 783000 | #Constraints: 802252
3080.69/3090.73 c #Conflicts: 784000 | #Constraints: 803252
3080.69/3090.73 c #Conflicts: 785000 | #Constraints: 804252
3080.69/3090.73 c #Conflicts: 786000 | #Constraints: 805252
3080.69/3090.73 c #Conflicts: 787000 | #Constraints: 806252
3080.69/3090.73 c #Conflicts: 788000 | #Constraints: 807252
3080.69/3090.73 c #Conflicts: 789000 | #Constraints: 808252
3080.69/3090.73 c #Conflicts: 790000 | #Constraints: 809252
3080.69/3090.73 c #Conflicts: 791000 | #Constraints: 810252
3080.69/3090.73 c #Conflicts: 792000 | #Constraints: 811252
3080.69/3090.73 c INPROCESSING
3080.69/3090.73 c GARBAGE COLLECT
3080.69/3090.73 c #Conflicts: 793000 | #Constraints: 776799
3080.69/3090.73 c #Conflicts: 794000 | #Constraints: 777799
3080.69/3090.73 c #Conflicts: 795000 | #Constraints: 778799
3080.69/3090.73 c #Conflicts: 796000 | #Constraints: 779799
3080.69/3090.73 c #Conflicts: 797000 | #Constraints: 780799
3080.69/3090.73 c #Conflicts: 798000 | #Constraints: 781799
3080.69/3090.73 c #Conflicts: 799000 | #Constraints: 782799
3080.69/3090.73 c #Conflicts: 800000 | #Constraints: 783799
3080.69/3090.73 c #Conflicts: 801000 | #Constraints: 784799
3080.69/3090.73 c #Conflicts: 802000 | #Constraints: 785799
3080.69/3090.73 c #Conflicts: 803000 | #Constraints: 786799
3080.69/3090.73 c #Conflicts: 804000 | #Constraints: 787799
3080.69/3090.73 c #Conflicts: 805000 | #Constraints: 788799
3080.69/3090.73 c #Conflicts: 806000 | #Constraints: 789799
3080.69/3090.73 c #Conflicts: 807000 | #Constraints: 790799
3080.69/3090.73 c #Conflicts: 808000 | #Constraints: 791799
3080.69/3090.73 c #Conflicts: 809000 | #Constraints: 792799
3080.69/3090.73 c #Conflicts: 810000 | #Constraints: 793799
3080.69/3090.73 c #Conflicts: 811000 | #Constraints: 794799
3080.69/3090.73 c #Conflicts: 812000 | #Constraints: 795799
3080.69/3090.73 c #Conflicts: 813000 | #Constraints: 796799
3080.69/3090.73 c #Conflicts: 814000 | #Constraints: 797799
3080.69/3090.73 c #Conflicts: 815000 | #Constraints: 798799
3080.69/3090.73 c #Conflicts: 816000 | #Constraints: 799799
3080.69/3090.73 c #Conflicts: 817000 | #Constraints: 800799
3080.69/3090.73 c #Conflicts: 818000 | #Constraints: 801799
3080.69/3090.73 c #Conflicts: 819000 | #Constraints: 802799
3080.69/3090.73 c #Conflicts: 820000 | #Constraints: 803799
3080.69/3090.73 c #Conflicts: 821000 | #Constraints: 804799
3080.69/3090.73 c #Conflicts: 822000 | #Constraints: 805799
3080.69/3090.73 c #Conflicts: 823000 | #Constraints: 806799
3080.69/3090.73 c #Conflicts: 824000 | #Constraints: 807799
3080.69/3090.73 c #Conflicts: 825000 | #Constraints: 808799
3080.69/3090.73 c #Conflicts: 826000 | #Constraints: 809799
3080.69/3090.73 c #Conflicts: 827000 | #Constraints: 810799
3080.69/3090.73 c #Conflicts: 828000 | #Constraints: 811799
3080.69/3090.73 c #Conflicts: 829000 | #Constraints: 812799
3080.69/3090.73 c #Conflicts: 830000 | #Constraints: 813799
3080.69/3090.73 c #Conflicts: 831000 | #Constraints: 814799
3080.69/3090.73 c #Conflicts: 832000 | #Constraints: 815799
3080.69/3090.73 c #Conflicts: 833000 | #Constraints: 816799
3080.69/3090.73 c #Conflicts: 834000 | #Constraints: 817799
3080.69/3090.73 c #Conflicts: 835000 | #Constraints: 818799
3080.69/3090.73 c #Conflicts: 836000 | #Constraints: 819799
3080.69/3090.73 c #Conflicts: 837000 | #Constraints: 820799
3080.69/3090.73 c #Conflicts: 838000 | #Constraints: 821799
3080.69/3090.73 c #Conflicts: 839000 | #Constraints: 822799
3080.69/3090.73 c #Conflicts: 840000 | #Constraints: 823799
3080.69/3090.73 c #Conflicts: 841000 | #Constraints: 824799
3080.69/3090.73 c #Conflicts: 842000 | #Constraints: 825799
3080.69/3090.73 c #Conflicts: 843000 | #Constraints: 826799
3080.69/3090.73 c #Conflicts: 844000 | #Constraints: 827799
3080.69/3090.73 c #Conflicts: 845000 | #Constraints: 828799
3080.69/3090.73 c #Conflicts: 846000 | #Constraints: 829799
3080.69/3090.73 c #Conflicts: 847000 | #Constraints: 830799
3080.69/3090.73 c #Conflicts: 848000 | #Constraints: 831799
3080.69/3090.73 c #Conflicts: 849000 | #Constraints: 832799
3080.69/3090.73 c #Conflicts: 850000 | #Constraints: 833799
3080.69/3090.73 c INPROCESSING
3080.69/3090.73 c GARBAGE COLLECT
3080.69/3090.73 c #Conflicts: 851000 | #Constraints: 788094
3080.69/3090.73 c #Conflicts: 852000 | #Constraints: 789094
3080.69/3090.73 c #Conflicts: 853000 | #Constraints: 790094
3080.69/3090.73 c #Conflicts: 854000 | #Constraints: 791094
3080.69/3090.73 c #Conflicts: 855000 | #Constraints: 792094
3080.69/3090.73 c #Conflicts: 856000 | #Constraints: 793094
3080.69/3090.73 c #Conflicts: 857000 | #Constraints: 794094
3080.69/3090.73 c #Conflicts: 858000 | #Constraints: 795094
3147.59/3157.87 c #Conflicts: 859000 | #Constraints: 796094
3147.59/3157.87 c #Conflicts: 860000 | #Constraints: 797094
3147.59/3157.87 c #Conflicts: 861000 | #Constraints: 798094
3147.59/3157.87 c #Conflicts: 862000 | #Constraints: 799094
3147.59/3157.87 c #Conflicts: 863000 | #Constraints: 800094
3147.59/3157.87 c #Conflicts: 864000 | #Constraints: 801094
3147.59/3157.87 c #Conflicts: 865000 | #Constraints: 802094
3147.59/3157.87 c #Conflicts: 866000 | #Constraints: 803094
3147.59/3157.87 c #Conflicts: 867000 | #Constraints: 804094
3147.59/3157.87 c #Conflicts: 868000 | #Constraints: 805094
3147.59/3157.87 c #Conflicts: 869000 | #Constraints: 806094
3147.59/3157.87 c #Conflicts: 870000 | #Constraints: 807094
3147.59/3157.87 c #Conflicts: 871000 | #Constraints: 808094
3147.59/3157.87 c #Conflicts: 872000 | #Constraints: 809094
3147.59/3157.87 c #Conflicts: 873000 | #Constraints: 810094
3147.59/3157.87 c #Conflicts: 874000 | #Constraints: 811094
3147.59/3157.87 c #Conflicts: 875000 | #Constraints: 812094
3147.59/3157.87 c #Conflicts: 876000 | #Constraints: 813094
3147.59/3157.87 c #Conflicts: 877000 | #Constraints: 814094
3147.59/3157.87 c #Conflicts: 878000 | #Constraints: 815094
3147.59/3157.87 c INPROCESSING
3147.59/3157.87 c GARBAGE COLLECT
3147.59/3157.87 c #Conflicts: 879000 | #Constraints: 778749
3147.59/3157.87 c #Conflicts: 880000 | #Constraints: 779749
3147.59/3157.87 c #Conflicts: 881000 | #Constraints: 780749
3147.59/3157.87 c #Conflicts: 882000 | #Constraints: 781749
3147.59/3157.87 c #Conflicts: 883000 | #Constraints: 782749
3147.59/3157.87 c #Conflicts: 884000 | #Constraints: 783749
3147.59/3157.87 c #Conflicts: 885000 | #Constraints: 784749
3147.59/3157.87 c #Conflicts: 886000 | #Constraints: 785749
3147.59/3157.87 c #Conflicts: 887000 | #Constraints: 786749
3147.59/3157.87 c #Conflicts: 888000 | #Constraints: 787749
3147.59/3157.87 c #Conflicts: 889000 | #Constraints: 788749
3147.59/3157.87 c #Conflicts: 890000 | #Constraints: 789749
3147.59/3157.87 c #Conflicts: 891000 | #Constraints: 790749
3147.59/3157.87 c #Conflicts: 892000 | #Constraints: 791749
3147.59/3157.87 c #Conflicts: 893000 | #Constraints: 792749
3147.59/3157.87 c #Conflicts: 894000 | #Constraints: 793749
3147.59/3157.87 c #Conflicts: 895000 | #Constraints: 794749
3147.59/3157.87 c #Conflicts: 896000 | #Constraints: 795749
3147.59/3157.87 c #Conflicts: 897000 | #Constraints: 796749
3147.59/3157.87 c #Conflicts: 898000 | #Constraints: 797749
3147.59/3157.87 c #Conflicts: 899000 | #Constraints: 798749
3147.59/3157.87 c #Conflicts: 900000 | #Constraints: 799749
3147.59/3157.87 c #Conflicts: 901000 | #Constraints: 800749
3147.59/3157.87 c #Conflicts: 902000 | #Constraints: 801749
3147.59/3157.87 c #Conflicts: 903000 | #Constraints: 802749
3147.59/3157.87 c #Conflicts: 904000 | #Constraints: 803749
3147.59/3157.87 c #Conflicts: 905000 | #Constraints: 804749
3147.59/3157.87 c #Conflicts: 906000 | #Constraints: 805749
3147.59/3157.87 c #Conflicts: 907000 | #Constraints: 806749
3147.59/3157.87 c #Conflicts: 908000 | #Constraints: 807749
3147.59/3157.87 c #Conflicts: 909000 | #Constraints: 808749
3147.59/3157.87 c #Conflicts: 910000 | #Constraints: 809749
3147.59/3157.87 c #Conflicts: 911000 | #Constraints: 810749
3147.59/3157.87 c #Conflicts: 912000 | #Constraints: 811749
3147.59/3157.87 c #Conflicts: 913000 | #Constraints: 812749
3147.59/3157.87 c #Conflicts: 914000 | #Constraints: 813749
3147.59/3157.87 c #Conflicts: 915000 | #Constraints: 814749
3147.59/3157.87 c #Conflicts: 916000 | #Constraints: 815749
3147.59/3157.87 c #Conflicts: 917000 | #Constraints: 816749
3147.59/3157.87 c #Conflicts: 918000 | #Constraints: 817749
3147.59/3157.87 c #Conflicts: 919000 | #Constraints: 818749
3147.59/3157.87 c #Conflicts: 920000 | #Constraints: 819749
3147.59/3157.87 c #Conflicts: 921000 | #Constraints: 820749
3147.59/3157.87 c #Conflicts: 922000 | #Constraints: 821749
3147.59/3157.87 c #Conflicts: 923000 | #Constraints: 822749
3147.59/3157.87 c #Conflicts: 924000 | #Constraints: 823749
3147.59/3157.87 c #Conflicts: 925000 | #Constraints: 824749
3147.59/3157.87 c #Conflicts: 926000 | #Constraints: 825749
3147.59/3157.87 c #Conflicts: 927000 | #Constraints: 826749
3147.59/3157.87 c #Conflicts: 928000 | #Constraints: 827749
3147.59/3157.87 c #Conflicts: 929000 | #Constraints: 828749
3147.59/3157.87 c #Conflicts: 930000 | #Constraints: 829749
3147.59/3157.87 c #Conflicts: 931000 | #Constraints: 830749
3147.59/3157.87 c #Conflicts: 932000 | #Constraints: 831749
3147.59/3157.87 c #Conflicts: 933000 | #Constraints: 832749
3147.59/3157.87 c #Conflicts: 934000 | #Constraints: 833749
3147.59/3157.87 c #Conflicts: 935000 | #Constraints: 834749
3147.59/3157.87 c #Conflicts: 936000 | #Constraints: 835749
3419.38/3430.46 c #Conflicts: 937000 | #Constraints: 836749
3419.38/3430.46 c #Conflicts: 938000 | #Constraints: 837749
3419.38/3430.46 c #Conflicts: 939000 | #Constraints: 838749
3419.38/3430.46 c INPROCESSING
3419.38/3430.46 c GARBAGE COLLECT
3419.38/3430.46 c #Conflicts: 940000 | #Constraints: 790175
3419.38/3430.46 c #Conflicts: 941000 | #Constraints: 791175
3419.38/3430.46 c #Conflicts: 942000 | #Constraints: 792175
3419.38/3430.46 c #Conflicts: 943000 | #Constraints: 793175
3419.38/3430.46 c #Conflicts: 944000 | #Constraints: 794175
3419.38/3430.46 c #Conflicts: 945000 | #Constraints: 795175
3419.38/3430.46 c #Conflicts: 946000 | #Constraints: 796175
3419.38/3430.46 c #Conflicts: 947000 | #Constraints: 797175
3419.38/3430.46 c #Conflicts: 948000 | #Constraints: 798175
3419.38/3430.46 c #Conflicts: 949000 | #Constraints: 799175
3419.38/3430.46 c #Conflicts: 950000 | #Constraints: 800175
3419.38/3430.46 c #Conflicts: 951000 | #Constraints: 801175
3419.38/3430.46 c #Conflicts: 952000 | #Constraints: 802175
3419.38/3430.46 c #Conflicts: 953000 | #Constraints: 803175
3419.38/3430.46 c #Conflicts: 954000 | #Constraints: 804175
3419.38/3430.46 c #Conflicts: 955000 | #Constraints: 805175
3419.38/3430.46 c #Conflicts: 956000 | #Constraints: 806175
3419.38/3430.46 c #Conflicts: 957000 | #Constraints: 807175
3419.38/3430.46 c #Conflicts: 958000 | #Constraints: 808175
3419.38/3430.46 c #Conflicts: 959000 | #Constraints: 809175
3419.38/3430.46 c #Conflicts: 960000 | #Constraints: 810175
3419.38/3430.46 c #Conflicts: 961000 | #Constraints: 811175
3419.38/3430.46 c #Conflicts: 962000 | #Constraints: 812175
3419.38/3430.46 c #Conflicts: 963000 | #Constraints: 813175
3419.38/3430.46 c #Conflicts: 964000 | #Constraints: 814175
3419.38/3430.46 c #Conflicts: 965000 | #Constraints: 815175
3419.38/3430.46 c #Conflicts: 966000 | #Constraints: 816175
3419.38/3430.46 c #Conflicts: 967000 | #Constraints: 817175
3419.38/3430.46 c #Conflicts: 968000 | #Constraints: 818175
3419.38/3430.46 c #Conflicts: 969000 | #Constraints: 819175
3419.38/3430.46 c INPROCESSING
3419.38/3430.46 c GARBAGE COLLECT
3419.38/3430.46 c #Conflicts: 970000 | #Constraints: 780721
3419.38/3430.46 c #Conflicts: 971000 | #Constraints: 781721
3419.38/3430.46 c #Conflicts: 972000 | #Constraints: 782721
3419.38/3430.46 c #Conflicts: 973000 | #Constraints: 783721
3419.38/3430.46 c #Conflicts: 974000 | #Constraints: 784721
3419.38/3430.46 c #Conflicts: 975000 | #Constraints: 785721
3419.38/3430.46 c #Conflicts: 976000 | #Constraints: 786721
3419.38/3430.46 c #Conflicts: 977000 | #Constraints: 787721
3419.38/3430.46 c #Conflicts: 978000 | #Constraints: 788721
3419.38/3430.46 c #Conflicts: 979000 | #Constraints: 789721
3419.38/3430.46 c #Conflicts: 980000 | #Constraints: 790721
3419.38/3430.46 c #Conflicts: 981000 | #Constraints: 791721
3419.38/3430.46 c #Conflicts: 982000 | #Constraints: 792721
3419.38/3430.46 c #Conflicts: 983000 | #Constraints: 793721
3419.38/3430.46 c #Conflicts: 984000 | #Constraints: 794721
3419.38/3430.46 c #Conflicts: 985000 | #Constraints: 795721
3419.38/3430.46 c #Conflicts: 986000 | #Constraints: 796721
3419.38/3430.46 c #Conflicts: 987000 | #Constraints: 797721
3419.38/3430.46 c #Conflicts: 988000 | #Constraints: 798721
3419.38/3430.46 c #Conflicts: 989000 | #Constraints: 799721
3419.38/3430.46 c #Conflicts: 990000 | #Constraints: 800721
3419.38/3430.46 c #Conflicts: 991000 | #Constraints: 801721
3419.38/3430.46 c #Conflicts: 992000 | #Constraints: 802721
3419.38/3430.46 c #Conflicts: 993000 | #Constraints: 803721
3419.38/3430.46 c #Conflicts: 994000 | #Constraints: 804721
3419.38/3430.46 c #Conflicts: 995000 | #Constraints: 805721
3419.38/3430.46 c #Conflicts: 996000 | #Constraints: 806721
3419.38/3430.46 c #Conflicts: 997000 | #Constraints: 807721
3419.38/3430.46 c #Conflicts: 998000 | #Constraints: 808721
3419.38/3430.46 c #Conflicts: 999000 | #Constraints: 809721
3419.38/3430.46 c #Conflicts: 1000000 | #Constraints: 810721
3419.38/3430.46 c #Conflicts: 1001000 | #Constraints: 811721
3419.38/3430.46 c #Conflicts: 1002000 | #Constraints: 812721
3419.38/3430.46 c #Conflicts: 1003000 | #Constraints: 813721
3419.38/3430.46 c #Conflicts: 1004000 | #Constraints: 814721
3419.38/3430.46 c #Conflicts: 1005000 | #Constraints: 815721
3419.38/3430.46 c #Conflicts: 1006000 | #Constraints: 816721
3419.38/3430.46 c #Conflicts: 1007000 | #Constraints: 817721
3419.38/3430.46 c #Conflicts: 1008000 | #Constraints: 818721
3419.38/3430.46 c #Conflicts: 1009000 | #Constraints: 819721
3419.38/3430.46 c #Conflicts: 1010000 | #Constraints: 820721
3419.38/3430.46 c #Conflicts: 1011000 | #Constraints: 821721
3419.38/3430.46 c #Conflicts: 1012000 | #Constraints: 822721
3419.38/3430.46 c #Conflicts: 1013000 | #Constraints: 823721
3419.38/3430.46 c #Conflicts: 1014000 | #Constraints: 824721
3600.01/3611.61 c #Conflicts: 1015000 | #Constraints: 825721
3600.01/3611.61 c #Conflicts: 1016000 | #Constraints: 826721
3600.01/3611.61 c #Conflicts: 1017000 | #Constraints: 827721
3600.01/3611.61 c #Conflicts: 1018000 | #Constraints: 828721
3600.01/3611.61 c #Conflicts: 1019000 | #Constraints: 829721
3600.01/3611.61 c #Conflicts: 1020000 | #Constraints: 830721
3600.01/3611.61 c #Conflicts: 1021000 | #Constraints: 831721
3600.01/3611.61 c #Conflicts: 1022000 | #Constraints: 832721
3600.01/3611.61 c #Conflicts: 1023000 | #Constraints: 833721
3600.01/3611.61 c #Conflicts: 1024000 | #Constraints: 834721
3600.01/3611.61 c #Conflicts: 1025000 | #Constraints: 835721
3600.01/3611.61 c #Conflicts: 1026000 | #Constraints: 836721
3600.01/3611.61 c #Conflicts: 1027000 | #Constraints: 837721
3600.01/3611.61 c #Conflicts: 1028000 | #Constraints: 838721
3600.01/3611.61 c #Conflicts: 1029000 | #Constraints: 839721
3600.01/3611.61 c #Conflicts: 1030000 | #Constraints: 840721
3600.01/3611.61 c #Conflicts: 1031000 | #Constraints: 841721
3600.01/3611.61 c #Conflicts: 1032000 | #Constraints: 842721
3600.01/3611.61 c #Conflicts: 1033000 | #Constraints: 843721
3600.01/3611.61 c INPROCESSING
3600.01/3611.61 c GARBAGE COLLECT
3600.01/3611.61 c #Conflicts: 1034000 | #Constraints: 792865
3600.01/3611.61 c #Conflicts: 1035000 | #Constraints: 793865
3600.01/3611.61 c #Conflicts: 1036000 | #Constraints: 794865
3600.01/3611.61 c #Conflicts: 1037000 | #Constraints: 795865
3600.01/3611.61 c #Conflicts: 1038000 | #Constraints: 796865
3600.01/3611.61 c #Conflicts: 1039000 | #Constraints: 797865
3600.01/3611.61 c #Conflicts: 1040000 | #Constraints: 798865
3600.01/3611.61 c #Conflicts: 1041000 | #Constraints: 799865
3600.01/3611.61 c #Conflicts: 1042000 | #Constraints: 800865
3600.01/3611.61 c #Conflicts: 1043000 | #Constraints: 801865
3600.01/3611.61 c #Conflicts: 1044000 | #Constraints: 802865
3600.01/3611.61 c #Conflicts: 1045000 | #Constraints: 803865
3600.01/3611.61 c #Conflicts: 1046000 | #Constraints: 804865
3600.01/3611.61 c #Conflicts: 1047000 | #Constraints: 805865
3600.01/3611.61 c #Conflicts: 1048000 | #Constraints: 806865
3600.01/3611.61 c #Conflicts: 1049000 | #Constraints: 807865
3600.01/3611.61 c #Conflicts: 1050000 | #Constraints: 808865
3600.01/3611.61 c #Conflicts: 1051000 | #Constraints: 809865
3600.01/3611.61 c #Conflicts: 1052000 | #Constraints: 810865
3600.01/3611.61 c #Conflicts: 1053000 | #Constraints: 811865
3600.01/3611.61 c #Conflicts: 1054000 | #Constraints: 812865
3600.01/3611.61 c #Conflicts: 1055000 | #Constraints: 813865
3600.01/3611.61 c #Conflicts: 1056000 | #Constraints: 814865
3600.01/3611.61 c #Conflicts: 1057000 | #Constraints: 815865
3600.01/3611.61 c #Conflicts: 1058000 | #Constraints: 816865
3600.01/3611.61 c #Conflicts: 1059000 | #Constraints: 817865
3600.01/3611.61 c #Conflicts: 1060000 | #Constraints: 818865
3600.01/3611.61 c #Conflicts: 1061000 | #Constraints: 819865
3600.01/3611.61 c #Conflicts: 1062000 | #Constraints: 820865
3600.01/3611.61 c #Conflicts: 1063000 | #Constraints: 821865
3600.01/3611.61 c #Conflicts: 1064000 | #Constraints: 822865
3600.01/3611.61 c INPROCESSING
3600.01/3611.61 c GARBAGE COLLECT
3600.01/3611.61 c Disabling crashed LP
3600.12/3611.71 c cpu time 3582.62 s
3600.12/3611.71 c deterministic time 11443894427 1.14e+10
3600.12/3611.71 c optimization time 0.094969 s
3600.12/3611.71 c total solve time 3579.93 s
3600.12/3611.71 c core-guided solve time 0 s
3600.12/3611.71 c propagation time 412.092 s
3600.12/3611.71 c conflict analysis time 41.4162 s
3600.12/3611.71 c propagations 1187249823
3600.12/3611.71 c resolve steps 12038421
3600.12/3611.71 c decisions 17119957
3600.12/3611.71 c conflicts 1064001
3600.12/3611.71 c restarts 2046
3600.12/3611.71 c inprocessing phases 40
3600.12/3611.71 c garbage collections 25 ,( 62.50 )
3600.12/3611.71 c input clauses 659976 ,( 89.50 )
3600.12/3611.71 c input cardinalities 2643 ,( 0.36 )
3600.12/3611.71 c input general constraints 74746 ,( 10.14 )
3600.12/3611.71 c input average constraint length 3.91
3600.12/3611.71 c input average constraint degree 1.12
3600.12/3611.71 c learned clauses 1063567 ,( 99.96 )
3600.12/3611.71 c learned cardinalities 392 ,( 0.04 )
3600.12/3611.71 c learned general constraints 44 ,( 0.00 )
3600.12/3611.71 c learned average constraint length 102.50
3600.12/3611.71 c learned average constraint degree 12304.79
3600.12/3611.71 c watched CF 32, 64, 128, Arb: 31 , 0 , 0 , 0
3600.12/3611.71 c counting CF 32, 64, 128, Arb: 74759 , 0 , 0 , 0
3600.12/3611.71 c watched constraints 31 ,( 0.04 )
3600.12/3611.71 c counting constraints 74759 ,( 99.96 )
3600.12/3611.71 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1945551983 , 3351667 , 68487320 ,( 9216 , 68478104 )
3600.12/3611.71 c gcd simplifications 289
3600.12/3611.71 c detected cardinalities 6
3600.12/3611.71 c weakened non-implied lits 299422
3600.12/3611.71 c weakened non-implying lits 821
3600.12/3611.71 c original variables 33692
3600.12/3611.71 c clausal propagations 1174672455
3600.12/3611.71 c cardinality propagations 2071372
3600.12/3611.71 c watched propagations 183
3600.12/3611.71 c counting propagations 9438841
3600.12/3611.71 c watch lookups 2802794082
3600.12/3611.71 c watch backjump lookups 0
3600.12/3611.71 c watch checks 4625830815
3600.12/3611.71 c propagation checks 1354092825
3600.12/3611.71 c constraint additions 251136338
3600.12/3611.71 c trail pops 1205433734
3600.12/3611.71 c formula constraints 737365
3600.12/3611.71 c learned constraints 1064001
3600.12/3611.71 c bound constraints 0
3600.12/3611.71 c core-guided constraints 0
3600.12/3611.71 c encountered formula constraints 9665701
3600.12/3611.71 c encountered learned constraints 3435408
3600.12/3611.71 c encountered bound constraints 0
3600.12/3611.71 c encountered core-guided constraints 0
3600.12/3611.71 c LP total time 768.839 s
3600.12/3611.71 c LP solve time 760.61 s
3600.12/3611.71 c LP constraints added 737407
3600.12/3611.71 c LP constraints removed 2
3600.12/3611.71 c LP pivots internal 131394
3600.12/3611.71 c LP pivots root 105458
3600.12/3611.71 c LP calls 13
3600.12/3611.71 c LP optimalities 7
3600.12/3611.71 c LP no pivot count 0
3600.12/3611.71 c LP infeasibilities 0
3600.12/3611.71 c LP valid Farkas constraints 0
3600.12/3611.71 c LP learned Farkas constraints 0
3600.12/3611.71 c LP basis resets 0
3600.12/3611.71 c LP cycling count 0
3600.12/3611.71 c LP singular count 0
3600.12/3611.71 c LP no primal count 0
3600.12/3611.71 c LP no farkas count 0
3600.12/3611.71 c LP other issue count 0
3600.12/3611.71 c LP Gomory cuts 2
3600.12/3611.71 c LP learned cuts 40
3600.12/3611.71 c LP deleted cuts 2
3600.12/3611.71 c LP encountered Gomory constraints 1313
3600.12/3611.71 c LP encountered Farkas constraints 0
3600.12/3611.71 c LP encountered learned Farkas constraints 0
3600.12/3611.71 c CG auxiliary variables introduced 0
3600.12/3611.71 c CG solutions found 0
3600.12/3611.71 c CG cores constructed 0
3600.12/3611.71 c CG core cardinality constraints returned 0
3600.12/3611.71 c CG unit cores 0
3600.12/3611.71 c CG single cores 0
3600.12/3611.71 c CG blocks removed during cardinality reduction 0
3600.12/3611.71 c CG first core best 0
3600.12/3611.71 c CG decision core best 0
3600.12/3611.71 c CG core reduction tie 0
3600.12/3611.71 c CG core degree average 0.00
3600.12/3611.71 c CG core slack average 0.00
3600.12/3611.71 c CG core upper bound improvements 0
3600.12/3611.71 c STR number of successful calls 0
3600.12/3611.71 c STR number of unsuccessful calls 0
3600.12/3611.71 c STR number of inconclusive calls 0
3600.12/3611.71 c STR number of successful attempts 0
3600.12/3611.71 c STR number of unsuccessful attempts 0
3600.12/3611.71 c STR number of inconclusive attempts 0
3600.12/3611.71 c STR average degree increase per successful call inf
3600.12/3611.71 c STR average degree increase per successful attempt inf
3600.12/3611.71 c STR total number of conflicts for successful attempts 0
3600.12/3611.71 c STR total number of conflicts for unsuccessful attempts 0
3600.12/3611.71 c STR total number of conflicts for inconclusive attempts 0
3600.12/3611.71 c STR average number of conflicts per successful attempt inf
3600.12/3611.71 c STR average number of conflicts per unsuccessful attempt inf
3600.12/3611.71 c STR average number of conflicts per inconclusive attempt inf
3600.12/3611.71 c AVG.sumWPerc 60.77
3600.12/3611.71 c bigint constraints 0
3600.12/3611.71 s UNKNOWN
3600.12/3611.71 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 (61095 MiB free)
memory of node 1: 64507 MiB (61204 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503748-1751165299/watcher-4503748-1751165299 -o /tmp/evaluation-result-4503748-1751165299/solver-4503748-1751165299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4503748-1751165299.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=22649, runsolver pid=22646
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 4.11 4.11 4.11 5/267 22651
/proc/meminfo: memFree=125095900/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22651] ppid=22649 vsize=168092 memory=148116 CPUtime=0.08 cores=5,7
/proc/22651/stat : 22651 (pbsuma) R 22649 22649 17835 0 -1 4194304 4663 0 0 0 5 3 0 0 20 0 1 0 32207800 172126208 37029 18446744073709551615 4210688 4653049 140733230020976 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17862656 140733230029155 140733230029362 140733230029362 140733230034927 0
/proc/22651/statm: 42023 37029 928 108 0 39431 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 172284 KiB
Current children cumulated memory: 151060 KiB
[startup+0.205716 s]*
/proc/loadavg: 4.11 4.11 4.11 5/267 22651
/proc/meminfo: memFree=125087708/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22651] ppid=22649 vsize=188336 memory=172540 CPUtime=0.18 cores=5,7
/proc/22651/stat : 22651 (pbsuma) R 22649 22649 17835 0 -1 4194304 9376 0 0 0 14 4 0 0 20 0 1 0 32207800 192856064 43135 18446744073709551615 4210688 4653049 140733230020976 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17862656 140733230029155 140733230029362 140733230029362 140733230034927 0
/proc/22651/statm: 47084 43135 928 108 0 44492 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 192528 KiB
Current children cumulated memory: 175484 KiB
[startup+0.305652 s]*
/proc/loadavg: 4.11 4.11 4.11 5/267 22651
/proc/meminfo: memFree=125078068/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22651] ppid=22649 vsize=203524 memory=190044 CPUtime=0.28 cores=5,7
/proc/22651/stat : 22651 (pbsuma) R 22649 22649 17835 0 -1 4194304 12543 0 0 0 23 5 0 0 20 0 1 0 32207800 208408576 47511 18446744073709551615 4210688 4653049 140733230020976 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17862656 140733230029155 140733230029362 140733230029362 140733230034927 0
/proc/22651/statm: 50881 47511 928 108 0 48289 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 207716 KiB
Current children cumulated memory: 192988 KiB
[startup+0.700224 s]
/proc/loadavg: 4.11 4.11 4.11 5/267 22651
/proc/meminfo: memFree=125025520/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22651] ppid=22649 vsize=404476 memory=340076 CPUtime=0.67 cores=5,7
/proc/22651/stat : 22651 (pbsuma) R 22649 22649 17835 0 -1 4194304 27772 0 0 0 57 10 0 0 20 0 1 0 32207800 414183424 85019 18446744073709551615 4210688 4653049 140733230020976 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 17862656 140733230029155 140733230029362 140733230029362 140733230034927 0
/proc/22651/statm: 101119 85019 960 108 0 98527 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 408668 KiB
Current children cumulated memory: 343020 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.11 5/267 22651
/proc/meminfo: memFree=124912032/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.10549 s]
/proc/loadavg: 4.10 4.11 4.11 5/267 22652
/proc/meminfo: memFree=124934800/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=316780 memory=251268 CPUtime=1.93 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 54785 0 0 0 141 52 0 0 20 0 1 0 32207915 324382720 62817 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 79195 62817 2048 1147 0 66622 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 320972 KiB
Current children cumulated memory: 254212 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.11 4.11 5/267 22652
/proc/meminfo: memFree=124070392/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1215536 memory=995360 CPUtime=5.11 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 101023 0 0 0 422 89 0 0 20 0 1 0 32207915 1244708864 248840 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 303884 248840 2336 1147 0 291311 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1219728 KiB
Current children cumulated memory: 998304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.11 5/267 22652
/proc/meminfo: memFree=124079236/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1215536 memory=995360 CPUtime=11.49 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 101041 0 0 0 1060 89 0 0 20 0 1 0 32207915 1244708864 248840 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 303884 248840 2336 1147 0 291311 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1219728 KiB
Current children cumulated memory: 998304 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.10 4.11 5/267 22653
/proc/meminfo: memFree=124190860/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1215536 memory=995360 CPUtime=24.24 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 101047 0 0 0 2335 89 0 0 20 0 1 0 32207915 1244708864 248840 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 303884 248840 2336 1147 0 291311 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1219728 KiB
Current children cumulated memory: 998304 KiB
[startup+51.1057 s]
/proc/loadavg: 4.04 4.10 4.10 5/267 22654
/proc/meminfo: memFree=124179064/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1215536 memory=995360 CPUtime=49.76 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 101047 0 0 0 4887 89 0 0 20 0 1 0 32207915 1244708864 248840 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 303884 248840 2336 1147 0 291311 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1219728 KiB
Current children cumulated memory: 998304 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/267 22656
/proc/meminfo: memFree=124035752/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1236924 memory=1015744 CPUtime=100.79 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 105203 0 0 0 9982 97 0 0 20 0 1 0 32207915 1266610176 253936 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 309231 253936 2400 1147 0 296658 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 1241116 KiB
Current children cumulated memory: 1018688 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/269 22664
/proc/meminfo: memFree=124037228/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1237280 memory=1016512 CPUtime=160.58 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 105387 0 0 0 15956 102 0 0 20 0 1 0 32207915 1266974720 254128 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 309320 254128 2400 1147 0 296747 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 1241472 KiB
Current children cumulated memory: 1019456 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/269 22666
/proc/meminfo: memFree=124033392/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1237624 memory=1017152 CPUtime=220.39 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 105568 0 0 0 21931 108 0 0 20 0 1 0 32207915 1267326976 254288 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 309406 254288 2400 1147 0 296833 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1241816 KiB
Current children cumulated memory: 1020096 KiB
################
# More data... #
################
[pid=22652] ppid=22649 vsize=1500356 memory=1236276 CPUtime=3091.12 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 123423 0 0 0 307678 1434 0 0 20 0 1 0 32207915 1536364544 309069 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 375089 309069 2400 1147 0 362516 0
Current children cumulated CPU time: 3092.25 s
Current children cumulated vsize: 1504548 KiB
Current children cumulated memory: 1239220 KiB
[startup+3162.3 s]
/proc/loadavg: 1.14 1.51 2.46 2/247 22912
/proc/meminfo: memFree=128876548/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1500356 memory=1236276 CPUtime=3150.94 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 123423 0 0 0 313588 1506 0 0 20 0 1 0 32207915 1536364544 309069 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 375089 309069 2400 1147 0 362516 0
Current children cumulated CPU time: 3152.07 s
Current children cumulated vsize: 1504548 KiB
Current children cumulated memory: 1239220 KiB
[startup+3222.3 s]
/proc/loadavg: 1.11 1.43 2.37 2/249 22920
/proc/meminfo: memFree=128864576/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1500356 memory=1237300 CPUtime=3210.77 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 123649 0 0 0 319553 1524 0 0 20 0 1 0 32207915 1536364544 309325 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 375089 309325 2400 1147 0 362516 0
Current children cumulated CPU time: 3211.9 s
Current children cumulated vsize: 1504548 KiB
Current children cumulated memory: 1240244 KiB
[startup+3282.3 s]
/proc/loadavg: 1.08 1.37 2.28 2/248 22922
/proc/meminfo: memFree=128864832/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1500356 memory=1237300 CPUtime=3270.6 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 123762 0 0 0 325521 1539 0 0 20 0 1 0 32207915 1536364544 309325 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 375089 309325 2400 1147 0 362516 0
Current children cumulated CPU time: 3271.73 s
Current children cumulated vsize: 1504548 KiB
Current children cumulated memory: 1240244 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.31 2.21 2/248 22927
/proc/meminfo: memFree=128771936/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1588940 memory=1336352 CPUtime=3330.4 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 127081 0 0 0 331474 1566 0 0 20 0 1 0 32207915 1627074560 334088 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 397235 334088 2400 1147 0 384662 0
Current children cumulated CPU time: 3331.53 s
Current children cumulated vsize: 1593132 KiB
Current children cumulated memory: 1339296 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.27 2.13 2/248 22929
/proc/meminfo: memFree=128771792/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1588940 memory=1336352 CPUtime=3390.23 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 127084 0 0 0 337444 1579 0 0 20 0 1 0 32207915 1627074560 334088 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 397235 334088 2400 1147 0 384662 0
Current children cumulated CPU time: 3391.36 s
Current children cumulated vsize: 1593132 KiB
Current children cumulated memory: 1339296 KiB
[startup+3462.3 s]
/proc/loadavg: 1.15 1.25 2.07 2/248 22931
/proc/meminfo: memFree=128796932/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1538580 memory=1294256 CPUtime=3450.06 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 127102 0 0 0 343402 1604 0 0 20 0 1 0 32207915 1575505920 323564 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 384645 323564 2400 1147 0 372072 0
Current children cumulated CPU time: 3451.19 s
Current children cumulated vsize: 1542772 KiB
Current children cumulated memory: 1297200 KiB
[startup+3522.3 s]
/proc/loadavg: 1.05 1.20 2.00 2/248 22933
/proc/meminfo: memFree=128796964/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1538580 memory=1294256 CPUtime=3509.87 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 127172 0 0 0 349364 1623 0 0 20 0 1 0 32207915 1575505920 323564 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 384645 323564 2400 1147 0 372072 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 1542772 KiB
Current children cumulated memory: 1297200 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.18 1.94 2/247 22935
/proc/meminfo: memFree=128796756/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1538580 memory=1294256 CPUtime=3569.67 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 127245 0 0 0 355333 1634 0 0 20 0 1 0 32207915 1575505920 323564 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 384645 323564 2400 1147 0 372072 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 1542772 KiB
Current children cumulated memory: 1297200 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 1.09 1.17 1.91 2/247 22935
/proc/meminfo: memFree=128796756/131249996 swapFree=33010684/33010684
[pid=22649] ppid=22646 vsize=4192 memory=2944 CPUtime=1.13 cores=5,7
/proc/22649/stat : 22649 (run-dec-break.s) S 22646 22649 17835 0 -1 4194304 236 38312 0 0 0 0 98 15 20 0 1 0 32207800 4292608 736 18446744073709551615 94766839934976 94766840829509 140720767133632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94766841068560 94766841116304 94766859239424 140720767142241 140720767142370 140720767142370 140720767147972 0
/proc/22649/statm: 1048 736 672 219 0 110 0
[pid=22652] ppid=22649 vsize=1538580 memory=1294256 CPUtime=3598.88 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22649 22649 17835 0 -1 4194304 127245 0 0 0 358251 1637 0 0 20 0 1 0 32207915 1575505920 323564 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 384645 323564 2400 1147 0 372072 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1542772 KiB
Current children cumulated memory: 1297200 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.6 s]
# the end of solver process 22649 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.983341 s, system=0.15564 s
Sleeping 2 seconds
[startup+3611.77 s]
# the end of solver process 22652 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.66 s, system=16.5344 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.7 s]*
/proc/loadavg: 1.09 1.17 1.91 2/246 22935
/proc/meminfo: memFree=129341524/131249996 swapFree=33010684/33010684
[pid=22652] ppid=22646 vsize=808600 memory=744664 CPUtime=3598.98 cores=5,7
/proc/22652/stat : 22652 (roundingsat) R 22646 22649 17835 0 -1 4194304 127393 0 0 0 358261 1637 0 0 20 0 1 0 32207915 828006400 186166 18446744073709551615 4227072 8923433 140734354114928 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 34152448 140734354118980 140734354119208 140734354119208 140734354124778 0
/proc/22652/statm: 202150 186166 2464 1147 0 189577 0
Current cumulated CPU time of completed processes: 1.13898 s
Current children cumulated CPU time: 3598.98 s
Current children cumulated vsize: 808600 KiB
Current children cumulated memory: 744664 KiB
Child status: 2
Real time (s): 3611.77
CPU time (s): 3600.19
CPU user time (s): 3583.66
CPU system time (s): 16.5344
CPU usage (%): 99.6795
Max. virtual memory (cumulated for all children) (KiB): 1593132
Max. memory (cumulated for all children) (KiB): 1339296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.66
system time used= 16.5344
maximum resident set size= 1336352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 65576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 257
involuntary context switches= 1177
# summary of solver processes directly reported to runsolver:
# pid: 22649,22652
# total CPU time (s): 3600.19
# total CPU user time (s): 3583.66
# total CPU system time (s): 16.5344
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.855 second user time and 17.8925 second system time
The end
Begin job on nodeC024 at 2025-06-29 04:48:19
IDJOB=4503748
IDBENCH=155584
IDSOLVER=3357
FILE ID=nodeC024/4503748-1751165299
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 432308 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-111.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503748-1751165299/watcher-4503748-1751165299 -o /tmp/evaluation-result-4503748-1751165299/solver-4503748-1751165299 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4503748-1751165299.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4268d39683cc1d999f2f6f0490fb9359
RANDOM SEED=1847483263
nodeC024 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.644
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.36
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.588
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.36
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 : 3596.523
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.36
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 : 3592.427
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.36
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.679
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.36
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.676
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.36
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.930
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.36
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 : 3550.270
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125234920 kB
MemAvailable: 125610584 kB
Buffers: 3280 kB
Cached: 1185528 kB
SwapCached: 0 kB
Active: 4406636 kB
Inactive: 965524 kB
Active(anon): 4201416 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 965524 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 39928 kB
Writeback: 0 kB
AnonPages: 4182772 kB
Mapped: 113504 kB
Shmem: 18064 kB
KReclaimable: 87920 kB
Slab: 171632 kB
SReclaimable: 87920 kB
SUnreclaim: 83712 kB
KernelStack: 4304 kB
PageTables: 11432 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 4767752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2217984 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC024 at 2025-06-29 05:48:31