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-4503749-1751170426.opb'
0.38/0.50 c read 33.57MB (489.99ms)
0.38/0.50 c [cnf: #variables 33692 #clauses 740354 #duplicates 0 #arr 2884216]
0.47/0.55 c output proof to 'PROOFDIR/proof-4503749-1751170426'
0.47/0.55 c
0.47/0.55 c make graph and approximate orbits
0.72/0.86 c [group: #orbits ~= 0] (300.91ms)
0.72/0.86 c
0.72/0.86 c detect special group actions
0.72/0.86 c probe for Johnson action (limit=64)
0.72/0.86 c probe for row-column symmetry (limit=64, splits=16.78M)
0.72/0.88 c probe for row symmetry (limit=64, splits=16.78M)
0.72/0.89 c (37.79ms)
0.72/0.89 c
0.72/0.89 c detect symmetries on remainder
0.81/0.90 c [graph: #vertices 879398 #edges 5979136]
0.81/0.90 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.81/0.95 c [group: #symmetries 1.00*10^0 #generators 0] (60.62ms)
0.81/0.95 c
0.81/0.95 c finalize break order and special generators
0.81/0.96 c
0.81/0.96 c generation finished
0.81/0.96 c [sbp: #constraints 0 #add_vars 0]
0.81/0.96 c
0.81/0.96 c write result to 'HOME/instance-4503749-1751170426.opb.pre'
0.92/1.03 c wrote 33.57MB (71.58ms)
0.92/1.03 c ------------------------------------------------------------------
0.92/1.03 c 489.98ms 48.25% parse
0.92/1.03 c 300.91ms 29.63% approx_orbits
0.92/1.03 c 71.58ms 7.05% output
0.92/1.03 c 60.62ms 5.97% detect_generic
0.92/1.03 c 53.24ms 5.24% other
0.92/1.03 c 37.79ms 3.72% detect_special
0.92/1.03 c 1.32ms 0.13% finalize_order
0.92/1.03 c ───────────────────────────────────────────────
0.92/1.03 c 1015.46ms 100% total
0.92/1.03 c ------------------------------------------------------------------
1.02/1.15 c RoundingSat 2
1.02/1.15 c branch pb25
1.02/1.15 c commit 63f22ad
5.69/5.88 c #variables 33692 #constraints 737365
259.08/260.01 c #Conflicts: 1000 | #Constraints: 738364
259.08/260.01 c #Conflicts: 2000 | #Constraints: 739364
259.08/260.01 c INPROCESSING
259.08/260.01 c #Conflicts: 3000 | #Constraints: 738971
259.08/260.01 c #Conflicts: 4000 | #Constraints: 739971
259.08/260.01 c INPROCESSING
259.08/260.01 c #Conflicts: 5000 | #Constraints: 739452
259.08/260.01 c #Conflicts: 6000 | #Constraints: 740452
259.08/260.01 c INPROCESSING
259.08/260.01 c #Conflicts: 7000 | #Constraints: 739566
259.08/260.01 c #Conflicts: 8000 | #Constraints: 740566
259.08/260.01 c #Conflicts: 9000 | #Constraints: 741566
259.08/260.01 c #Conflicts: 10000 | #Constraints: 742566
259.08/260.01 c #Conflicts: 11000 | #Constraints: 743566
259.08/260.01 c #Conflicts: 12000 | #Constraints: 744566
259.08/260.01 c INPROCESSING
259.08/260.01 c rational objective 1418.6
730.17/732.52 c #Conflicts: 13000 | #Constraints: 741559
730.17/732.52 c #Conflicts: 14000 | #Constraints: 742559
730.17/732.52 c #Conflicts: 15000 | #Constraints: 743559
730.17/732.52 c #Conflicts: 16000 | #Constraints: 744559
730.17/732.52 c #Conflicts: 17000 | #Constraints: 745559
730.17/732.52 c #Conflicts: 18000 | #Constraints: 746559
730.17/732.52 c #Conflicts: 19000 | #Constraints: 747559
730.17/732.52 c #Conflicts: 20000 | #Constraints: 748559
730.17/732.52 c #Conflicts: 21000 | #Constraints: 749559
730.17/732.52 c INPROCESSING
730.17/732.52 c #Conflicts: 22000 | #Constraints: 744515
730.17/732.52 c #Conflicts: 23000 | #Constraints: 745515
730.17/732.52 c #Conflicts: 24000 | #Constraints: 746515
730.17/732.52 c #Conflicts: 25000 | #Constraints: 747515
730.17/732.52 c INPROCESSING
730.17/732.52 c #Conflicts: 26000 | #Constraints: 743122
730.17/732.52 c #Conflicts: 27000 | #Constraints: 744122
730.17/732.52 c #Conflicts: 28000 | #Constraints: 745122
730.17/732.52 c #Conflicts: 29000 | #Constraints: 746122
730.17/732.52 c #Conflicts: 30000 | #Constraints: 747122
730.17/732.52 c #Conflicts: 31000 | #Constraints: 748122
730.17/732.52 c #Conflicts: 32000 | #Constraints: 749122
730.17/732.52 c #Conflicts: 33000 | #Constraints: 750122
730.17/732.52 c #Conflicts: 34000 | #Constraints: 751122
730.17/732.52 c #Conflicts: 35000 | #Constraints: 752122
730.17/732.52 c #Conflicts: 36000 | #Constraints: 753122
730.17/732.52 c #Conflicts: 37000 | #Constraints: 754122
730.17/732.52 c INPROCESSING
730.17/732.52 c GARBAGE COLLECT
730.17/732.52 c #Conflicts: 38000 | #Constraints: 746840
730.17/732.52 c #Conflicts: 39000 | #Constraints: 747840
730.17/732.52 c #Conflicts: 40000 | #Constraints: 748840
730.17/732.52 c #Conflicts: 41000 | #Constraints: 749840
730.17/732.52 c #Conflicts: 42000 | #Constraints: 750840
730.17/732.52 c #Conflicts: 43000 | #Constraints: 751840
730.17/732.52 c #Conflicts: 44000 | #Constraints: 752840
730.17/732.52 c #Conflicts: 45000 | #Constraints: 753840
730.17/732.52 c #Conflicts: 46000 | #Constraints: 754840
730.17/732.52 c #Conflicts: 47000 | #Constraints: 755840
730.17/732.52 c #Conflicts: 48000 | #Constraints: 756840
730.17/732.52 c #Conflicts: 49000 | #Constraints: 757840
730.17/732.52 c #Conflicts: 50000 | #Constraints: 758840
730.17/732.52 c INPROCESSING
730.17/732.52 c #Conflicts: 51000 | #Constraints: 749314
730.17/732.52 c #Conflicts: 52000 | #Constraints: 750314
730.17/732.52 c #Conflicts: 53000 | #Constraints: 751314
730.17/732.52 c #Conflicts: 54000 | #Constraints: 752314
730.17/732.52 c #Conflicts: 55000 | #Constraints: 753314
730.17/732.52 c #Conflicts: 56000 | #Constraints: 754314
730.17/732.52 c #Conflicts: 57000 | #Constraints: 755314
730.17/732.52 c #Conflicts: 58000 | #Constraints: 756314
730.17/732.52 c #Conflicts: 59000 | #Constraints: 757314
730.17/732.52 c #Conflicts: 60000 | #Constraints: 758314
730.17/732.52 c #Conflicts: 61000 | #Constraints: 759314
730.17/732.52 c #Conflicts: 62000 | #Constraints: 760314
730.17/732.52 c #Conflicts: 63000 | #Constraints: 761314
730.17/732.52 c #Conflicts: 64000 | #Constraints: 762314
730.17/732.52 c #Conflicts: 65000 | #Constraints: 763314
730.17/732.52 c INPROCESSING
730.17/732.52 c #Conflicts: 66000 | #Constraints: 751291
730.17/732.52 c #Conflicts: 67000 | #Constraints: 752291
730.17/732.52 c #Conflicts: 68000 | #Constraints: 753291
730.17/732.52 c #Conflicts: 69000 | #Constraints: 754291
730.17/732.52 c #Conflicts: 70000 | #Constraints: 755291
730.17/732.52 c #Conflicts: 71000 | #Constraints: 756291
730.17/732.52 c #Conflicts: 72000 | #Constraints: 757291
730.17/732.52 c #Conflicts: 73000 | #Constraints: 758291
730.17/732.52 c #Conflicts: 74000 | #Constraints: 759291
730.17/732.52 c #Conflicts: 75000 | #Constraints: 760291
730.17/732.52 c #Conflicts: 76000 | #Constraints: 761291
730.17/732.52 c #Conflicts: 77000 | #Constraints: 762291
730.17/732.52 c #Conflicts: 78000 | #Constraints: 763291
730.17/732.52 c #Conflicts: 79000 | #Constraints: 764291
730.17/732.52 c #Conflicts: 80000 | #Constraints: 765291
730.17/732.52 c #Conflicts: 81000 | #Constraints: 766291
730.17/732.52 c #Conflicts: 82000 | #Constraints: 767291
730.17/732.52 c #Conflicts: 83000 | #Constraints: 768291
730.17/732.52 c INPROCESSING
730.17/732.52 c GARBAGE COLLECT
730.17/732.52 c #Conflicts: 84000 | #Constraints: 754335
730.17/732.52 c #Conflicts: 85000 | #Constraints: 755335
730.17/732.52 c #Conflicts: 86000 | #Constraints: 756335
730.17/732.52 c #Conflicts: 87000 | #Constraints: 757335
730.17/732.52 c #Conflicts: 88000 | #Constraints: 758335
730.17/732.52 c #Conflicts: 89000 | #Constraints: 759335
1072.57/1075.87 c #Conflicts: 90000 | #Constraints: 760335
1072.57/1075.87 c #Conflicts: 91000 | #Constraints: 761335
1072.57/1075.87 c #Conflicts: 92000 | #Constraints: 762335
1072.57/1075.87 c #Conflicts: 93000 | #Constraints: 763335
1072.57/1075.87 c #Conflicts: 94000 | #Constraints: 764335
1072.57/1075.87 c #Conflicts: 95000 | #Constraints: 765335
1072.57/1075.87 c #Conflicts: 96000 | #Constraints: 766335
1072.57/1075.87 c #Conflicts: 97000 | #Constraints: 767335
1072.57/1075.87 c #Conflicts: 98000 | #Constraints: 768335
1072.57/1075.87 c #Conflicts: 99000 | #Constraints: 769335
1072.57/1075.87 c #Conflicts: 100000 | #Constraints: 770335
1072.57/1075.87 c #Conflicts: 101000 | #Constraints: 771335
1072.57/1075.87 c #Conflicts: 102000 | #Constraints: 772335
1072.57/1075.87 c INPROCESSING
1072.57/1075.87 c #Conflicts: 103000 | #Constraints: 756264
1072.57/1075.87 c #Conflicts: 104000 | #Constraints: 757264
1072.57/1075.87 c #Conflicts: 105000 | #Constraints: 758264
1072.57/1075.87 c #Conflicts: 106000 | #Constraints: 759264
1072.57/1075.87 c #Conflicts: 107000 | #Constraints: 760264
1072.57/1075.87 c #Conflicts: 108000 | #Constraints: 761264
1072.57/1075.87 c #Conflicts: 109000 | #Constraints: 762264
1072.57/1075.87 c #Conflicts: 110000 | #Constraints: 763264
1072.57/1075.87 c #Conflicts: 111000 | #Constraints: 764264
1072.57/1075.87 c #Conflicts: 112000 | #Constraints: 765264
1072.57/1075.87 c INPROCESSING
1072.57/1075.87 c GARBAGE COLLECT
1072.57/1075.87 c #Conflicts: 113000 | #Constraints: 752556
1072.57/1075.87 c #Conflicts: 114000 | #Constraints: 753556
1072.57/1075.87 c #Conflicts: 115000 | #Constraints: 754556
1072.57/1075.87 c #Conflicts: 116000 | #Constraints: 755556
1072.57/1075.87 c #Conflicts: 117000 | #Constraints: 756556
1072.57/1075.87 c #Conflicts: 118000 | #Constraints: 757556
1072.57/1075.87 c #Conflicts: 119000 | #Constraints: 758556
1072.57/1075.87 c #Conflicts: 120000 | #Constraints: 759556
1072.57/1075.87 c #Conflicts: 121000 | #Constraints: 760556
1072.57/1075.87 c #Conflicts: 122000 | #Constraints: 761556
1072.57/1075.87 c #Conflicts: 123000 | #Constraints: 762556
1072.57/1075.87 c #Conflicts: 124000 | #Constraints: 763556
1072.57/1075.87 c #Conflicts: 125000 | #Constraints: 764556
1072.57/1075.87 c #Conflicts: 126000 | #Constraints: 765556
1072.57/1075.87 c #Conflicts: 127000 | #Constraints: 766556
1072.57/1075.87 c #Conflicts: 128000 | #Constraints: 767556
1072.57/1075.87 c #Conflicts: 129000 | #Constraints: 768556
1072.57/1075.87 c #Conflicts: 130000 | #Constraints: 769556
1072.57/1075.87 c #Conflicts: 131000 | #Constraints: 770556
1072.57/1075.87 c #Conflicts: 132000 | #Constraints: 771556
1072.57/1075.87 c #Conflicts: 133000 | #Constraints: 772556
1072.57/1075.87 c #Conflicts: 134000 | #Constraints: 773556
1072.57/1075.87 c #Conflicts: 135000 | #Constraints: 774556
1072.57/1075.87 c INPROCESSING
1072.57/1075.87 c #Conflicts: 136000 | #Constraints: 757578
1072.57/1075.87 c #Conflicts: 137000 | #Constraints: 758578
1072.57/1075.87 c #Conflicts: 138000 | #Constraints: 759578
1072.57/1075.87 c #Conflicts: 139000 | #Constraints: 760578
1072.57/1075.87 c #Conflicts: 140000 | #Constraints: 761578
1072.57/1075.87 c #Conflicts: 141000 | #Constraints: 762578
1072.57/1075.87 c #Conflicts: 142000 | #Constraints: 763578
1072.57/1075.87 c #Conflicts: 143000 | #Constraints: 764578
1072.57/1075.87 c #Conflicts: 144000 | #Constraints: 765578
1072.57/1075.87 c #Conflicts: 145000 | #Constraints: 766578
1072.57/1075.87 c #Conflicts: 146000 | #Constraints: 767578
1072.57/1075.87 c #Conflicts: 147000 | #Constraints: 768578
1072.57/1075.87 c #Conflicts: 148000 | #Constraints: 769578
1072.57/1075.87 c #Conflicts: 149000 | #Constraints: 770578
1072.57/1075.87 c #Conflicts: 150000 | #Constraints: 771578
1072.57/1075.87 c #Conflicts: 151000 | #Constraints: 772578
1072.57/1075.87 c #Conflicts: 152000 | #Constraints: 773578
1072.57/1075.87 c #Conflicts: 153000 | #Constraints: 774578
1072.57/1075.87 c #Conflicts: 154000 | #Constraints: 775578
1072.57/1075.87 c #Conflicts: 155000 | #Constraints: 776578
1072.57/1075.87 c #Conflicts: 156000 | #Constraints: 777578
1072.57/1075.87 c #Conflicts: 157000 | #Constraints: 778578
1072.57/1075.87 c #Conflicts: 158000 | #Constraints: 779578
1072.57/1075.87 c #Conflicts: 159000 | #Constraints: 780578
1072.57/1075.87 c INPROCESSING
1072.57/1075.87 c GARBAGE COLLECT
1072.57/1075.87 c #Conflicts: 160000 | #Constraints: 760577
1072.57/1075.87 c #Conflicts: 161000 | #Constraints: 761577
1072.57/1075.87 c #Conflicts: 162000 | #Constraints: 762577
1072.57/1075.87 c #Conflicts: 163000 | #Constraints: 763577
1072.57/1075.87 c #Conflicts: 164000 | #Constraints: 764577
1072.57/1075.87 c #Conflicts: 165000 | #Constraints: 765577
1072.57/1075.87 c #Conflicts: 166000 | #Constraints: 766577
1277.67/1281.43 c #Conflicts: 167000 | #Constraints: 767577
1277.67/1281.43 c #Conflicts: 168000 | #Constraints: 768577
1277.67/1281.43 c #Conflicts: 169000 | #Constraints: 769577
1277.67/1281.43 c #Conflicts: 170000 | #Constraints: 770577
1277.67/1281.43 c #Conflicts: 171000 | #Constraints: 771577
1277.67/1281.43 c #Conflicts: 172000 | #Constraints: 772577
1277.67/1281.43 c INPROCESSING
1277.67/1281.43 c #Conflicts: 173000 | #Constraints: 756544
1277.67/1281.43 c #Conflicts: 174000 | #Constraints: 757544
1277.67/1281.43 c #Conflicts: 175000 | #Constraints: 758544
1277.67/1281.43 c #Conflicts: 176000 | #Constraints: 759544
1277.67/1281.43 c #Conflicts: 177000 | #Constraints: 760544
1277.67/1281.43 c #Conflicts: 178000 | #Constraints: 761544
1277.67/1281.43 c #Conflicts: 179000 | #Constraints: 762544
1277.67/1281.43 c #Conflicts: 180000 | #Constraints: 763544
1277.67/1281.43 c #Conflicts: 181000 | #Constraints: 764544
1277.67/1281.43 c #Conflicts: 182000 | #Constraints: 765544
1277.67/1281.43 c #Conflicts: 183000 | #Constraints: 766544
1277.67/1281.43 c #Conflicts: 184000 | #Constraints: 767544
1277.67/1281.43 c #Conflicts: 185000 | #Constraints: 768544
1277.67/1281.43 c #Conflicts: 186000 | #Constraints: 769544
1277.67/1281.43 c #Conflicts: 187000 | #Constraints: 770544
1277.67/1281.43 c #Conflicts: 188000 | #Constraints: 771544
1277.67/1281.43 c #Conflicts: 189000 | #Constraints: 772544
1277.67/1281.43 c #Conflicts: 190000 | #Constraints: 773544
1277.67/1281.43 c #Conflicts: 191000 | #Constraints: 774544
1277.67/1281.43 c #Conflicts: 192000 | #Constraints: 775544
1277.67/1281.43 c #Conflicts: 193000 | #Constraints: 776544
1277.67/1281.43 c #Conflicts: 194000 | #Constraints: 777544
1277.67/1281.43 c #Conflicts: 195000 | #Constraints: 778544
1277.67/1281.43 c #Conflicts: 196000 | #Constraints: 779544
1277.67/1281.43 c #Conflicts: 197000 | #Constraints: 780544
1277.67/1281.43 c #Conflicts: 198000 | #Constraints: 781544
1277.67/1281.43 c #Conflicts: 199000 | #Constraints: 782544
1277.67/1281.43 c #Conflicts: 200000 | #Constraints: 783544
1277.67/1281.43 c INPROCESSING
1277.67/1281.43 c GARBAGE COLLECT
1277.67/1281.43 c #Conflicts: 201000 | #Constraints: 762287
1277.67/1281.43 c #Conflicts: 202000 | #Constraints: 763287
1277.67/1281.43 c #Conflicts: 203000 | #Constraints: 764287
1277.67/1281.43 c #Conflicts: 204000 | #Constraints: 765287
1277.67/1281.43 c #Conflicts: 205000 | #Constraints: 766287
1277.67/1281.43 c #Conflicts: 206000 | #Constraints: 767287
1277.67/1281.43 c #Conflicts: 207000 | #Constraints: 768287
1277.67/1281.43 c #Conflicts: 208000 | #Constraints: 769287
1277.67/1281.43 c #Conflicts: 209000 | #Constraints: 770287
1277.67/1281.43 c #Conflicts: 210000 | #Constraints: 771287
1277.67/1281.43 c #Conflicts: 211000 | #Constraints: 772287
1277.67/1281.43 c #Conflicts: 212000 | #Constraints: 773287
1277.67/1281.43 c #Conflicts: 213000 | #Constraints: 774287
1277.67/1281.43 c #Conflicts: 214000 | #Constraints: 775287
1277.67/1281.43 c INPROCESSING
1277.67/1281.43 c #Conflicts: 215000 | #Constraints: 758115
1277.67/1281.43 c #Conflicts: 216000 | #Constraints: 759115
1277.67/1281.43 c #Conflicts: 217000 | #Constraints: 760115
1277.67/1281.43 c #Conflicts: 218000 | #Constraints: 761115
1277.67/1281.43 c #Conflicts: 219000 | #Constraints: 762115
1277.67/1281.43 c #Conflicts: 220000 | #Constraints: 763115
1277.67/1281.43 c #Conflicts: 221000 | #Constraints: 764115
1277.67/1281.43 c #Conflicts: 222000 | #Constraints: 765115
1277.67/1281.43 c #Conflicts: 223000 | #Constraints: 766115
1277.67/1281.43 c #Conflicts: 224000 | #Constraints: 767115
1277.67/1281.43 c #Conflicts: 225000 | #Constraints: 768115
1277.67/1281.43 c #Conflicts: 226000 | #Constraints: 769115
1277.67/1281.43 c #Conflicts: 227000 | #Constraints: 770115
1277.67/1281.43 c #Conflicts: 228000 | #Constraints: 771115
1277.67/1281.43 c #Conflicts: 229000 | #Constraints: 772115
1277.67/1281.43 c #Conflicts: 230000 | #Constraints: 773115
1277.67/1281.43 c #Conflicts: 231000 | #Constraints: 774115
1277.67/1281.43 c #Conflicts: 232000 | #Constraints: 775115
1277.67/1281.43 c #Conflicts: 233000 | #Constraints: 776115
1277.67/1281.43 c #Conflicts: 234000 | #Constraints: 777115
1277.67/1281.43 c #Conflicts: 235000 | #Constraints: 778115
1277.67/1281.43 c #Conflicts: 236000 | #Constraints: 779115
1277.67/1281.43 c #Conflicts: 237000 | #Constraints: 780115
1277.67/1281.43 c #Conflicts: 238000 | #Constraints: 781115
1277.67/1281.43 c #Conflicts: 239000 | #Constraints: 782115
1277.67/1281.43 c #Conflicts: 240000 | #Constraints: 783115
1277.67/1281.43 c #Conflicts: 241000 | #Constraints: 784115
1277.67/1281.43 c #Conflicts: 242000 | #Constraints: 785115
1277.67/1281.43 c #Conflicts: 243000 | #Constraints: 786115
1465.32/1469.64 c #Conflicts: 244000 | #Constraints: 787115
1465.32/1469.64 c INPROCESSING
1465.32/1469.64 c GARBAGE COLLECT
1465.32/1469.64 c #Conflicts: 245000 | #Constraints: 763786
1465.32/1469.64 c #Conflicts: 246000 | #Constraints: 764786
1465.32/1469.64 c #Conflicts: 247000 | #Constraints: 765786
1465.32/1469.64 c #Conflicts: 248000 | #Constraints: 766786
1465.32/1469.64 c #Conflicts: 249000 | #Constraints: 767786
1465.32/1469.64 c #Conflicts: 250000 | #Constraints: 768786
1465.32/1469.64 c #Conflicts: 251000 | #Constraints: 769786
1465.32/1469.64 c #Conflicts: 252000 | #Constraints: 770786
1465.32/1469.64 c #Conflicts: 253000 | #Constraints: 771786
1465.32/1469.64 c #Conflicts: 254000 | #Constraints: 772786
1465.32/1469.64 c #Conflicts: 255000 | #Constraints: 773786
1465.32/1469.64 c #Conflicts: 256000 | #Constraints: 774786
1465.32/1469.64 c #Conflicts: 257000 | #Constraints: 775786
1465.32/1469.64 c #Conflicts: 258000 | #Constraints: 776786
1465.32/1469.64 c #Conflicts: 259000 | #Constraints: 777786
1465.32/1469.64 c #Conflicts: 260000 | #Constraints: 778786
1465.32/1469.64 c INPROCESSING
1465.32/1469.64 c #Conflicts: 261000 | #Constraints: 759831
1465.32/1469.64 c #Conflicts: 262000 | #Constraints: 760831
1465.32/1469.64 c #Conflicts: 263000 | #Constraints: 761831
1465.32/1469.64 c #Conflicts: 264000 | #Constraints: 762831
1465.32/1469.64 c #Conflicts: 265000 | #Constraints: 763831
1465.32/1469.64 c #Conflicts: 266000 | #Constraints: 764831
1465.32/1469.64 c #Conflicts: 267000 | #Constraints: 765831
1465.32/1469.64 c #Conflicts: 268000 | #Constraints: 766831
1465.32/1469.64 c #Conflicts: 269000 | #Constraints: 767831
1465.32/1469.64 c #Conflicts: 270000 | #Constraints: 768831
1465.32/1469.64 c #Conflicts: 271000 | #Constraints: 769831
1465.32/1469.64 c #Conflicts: 272000 | #Constraints: 770831
1465.32/1469.64 c #Conflicts: 273000 | #Constraints: 771831
1465.32/1469.64 c #Conflicts: 274000 | #Constraints: 772831
1465.32/1469.64 c #Conflicts: 275000 | #Constraints: 773831
1465.32/1469.64 c #Conflicts: 276000 | #Constraints: 774831
1465.32/1469.64 c #Conflicts: 277000 | #Constraints: 775831
1465.32/1469.64 c #Conflicts: 278000 | #Constraints: 776831
1465.32/1469.64 c #Conflicts: 279000 | #Constraints: 777831
1465.32/1469.64 c #Conflicts: 280000 | #Constraints: 778831
1465.32/1469.64 c #Conflicts: 281000 | #Constraints: 779831
1465.32/1469.64 c #Conflicts: 282000 | #Constraints: 780831
1465.32/1469.64 c #Conflicts: 283000 | #Constraints: 781831
1465.32/1469.64 c #Conflicts: 284000 | #Constraints: 782831
1465.32/1469.64 c #Conflicts: 285000 | #Constraints: 783831
1465.32/1469.64 c #Conflicts: 286000 | #Constraints: 784831
1465.32/1469.64 c #Conflicts: 287000 | #Constraints: 785831
1465.32/1469.64 c #Conflicts: 288000 | #Constraints: 786831
1465.32/1469.64 c #Conflicts: 289000 | #Constraints: 787831
1465.32/1469.64 c #Conflicts: 290000 | #Constraints: 788831
1465.32/1469.64 c #Conflicts: 291000 | #Constraints: 789831
1465.32/1469.64 c #Conflicts: 292000 | #Constraints: 790831
1465.32/1469.64 c #Conflicts: 293000 | #Constraints: 791831
1465.32/1469.64 c #Conflicts: 294000 | #Constraints: 792831
1465.32/1469.64 c INPROCESSING
1465.32/1469.64 c GARBAGE COLLECT
1465.32/1469.64 c #Conflicts: 295000 | #Constraints: 766939
1465.32/1469.64 c #Conflicts: 296000 | #Constraints: 767939
1465.32/1469.64 c #Conflicts: 297000 | #Constraints: 768939
1465.32/1469.64 c #Conflicts: 298000 | #Constraints: 769939
1465.32/1469.64 c #Conflicts: 299000 | #Constraints: 770939
1465.32/1469.64 c #Conflicts: 300000 | #Constraints: 771939
1465.32/1469.64 c #Conflicts: 301000 | #Constraints: 772939
1465.32/1469.64 c #Conflicts: 302000 | #Constraints: 773939
1465.32/1469.64 c #Conflicts: 303000 | #Constraints: 774939
1465.32/1469.64 c #Conflicts: 304000 | #Constraints: 775939
1465.32/1469.64 c #Conflicts: 305000 | #Constraints: 776939
1465.32/1469.64 c #Conflicts: 306000 | #Constraints: 777939
1465.32/1469.64 c #Conflicts: 307000 | #Constraints: 778939
1465.32/1469.64 c #Conflicts: 308000 | #Constraints: 779939
1465.32/1469.64 c #Conflicts: 309000 | #Constraints: 780939
1465.32/1469.64 c #Conflicts: 310000 | #Constraints: 781939
1465.32/1469.64 c #Conflicts: 311000 | #Constraints: 782939
1465.32/1469.64 c #Conflicts: 312000 | #Constraints: 783939
1465.32/1469.64 c #Conflicts: 313000 | #Constraints: 784939
1465.32/1469.64 c #Conflicts: 314000 | #Constraints: 785939
1465.32/1469.64 c #Conflicts: 315000 | #Constraints: 786939
1465.32/1469.64 c #Conflicts: 316000 | #Constraints: 787939
1465.32/1469.64 c #Conflicts: 317000 | #Constraints: 788939
1465.32/1469.64 c #Conflicts: 318000 | #Constraints: 789939
1465.32/1469.64 c #Conflicts: 319000 | #Constraints: 790939
1465.32/1469.64 c #Conflicts: 320000 | #Constraints: 791939
1465.32/1469.64 c #Conflicts: 321000 | #Constraints: 792939
1657.46/1662.25 c #Conflicts: 322000 | #Constraints: 793939
1657.46/1662.25 c #Conflicts: 323000 | #Constraints: 794939
1657.46/1662.25 c #Conflicts: 324000 | #Constraints: 795939
1657.46/1662.25 c #Conflicts: 325000 | #Constraints: 796939
1657.46/1662.25 c #Conflicts: 326000 | #Constraints: 797939
1657.46/1662.25 c #Conflicts: 327000 | #Constraints: 798939
1657.46/1662.25 c #Conflicts: 328000 | #Constraints: 799939
1657.46/1662.25 c #Conflicts: 329000 | #Constraints: 800939
1657.46/1662.25 c INPROCESSING
1657.46/1662.25 c GARBAGE COLLECT
1657.46/1662.25 c #Conflicts: 330000 | #Constraints: 770754
1657.46/1662.25 c #Conflicts: 331000 | #Constraints: 771754
1657.46/1662.25 c #Conflicts: 332000 | #Constraints: 772754
1657.46/1662.25 c #Conflicts: 333000 | #Constraints: 773754
1657.46/1662.25 c #Conflicts: 334000 | #Constraints: 774754
1657.46/1662.25 c #Conflicts: 335000 | #Constraints: 775754
1657.46/1662.25 c #Conflicts: 336000 | #Constraints: 776754
1657.46/1662.25 c #Conflicts: 337000 | #Constraints: 777754
1657.46/1662.25 c #Conflicts: 338000 | #Constraints: 778754
1657.46/1662.25 c #Conflicts: 339000 | #Constraints: 779754
1657.46/1662.25 c #Conflicts: 340000 | #Constraints: 780754
1657.46/1662.25 c #Conflicts: 341000 | #Constraints: 781754
1657.46/1662.25 c #Conflicts: 342000 | #Constraints: 782754
1657.46/1662.25 c #Conflicts: 343000 | #Constraints: 783754
1657.46/1662.25 c #Conflicts: 344000 | #Constraints: 784754
1657.46/1662.25 c #Conflicts: 345000 | #Constraints: 785754
1657.46/1662.25 c #Conflicts: 346000 | #Constraints: 786754
1657.46/1662.25 c #Conflicts: 347000 | #Constraints: 787754
1657.46/1662.25 c INPROCESSING
1657.46/1662.25 c #Conflicts: 348000 | #Constraints: 764350
1657.46/1662.25 c #Conflicts: 349000 | #Constraints: 765350
1657.46/1662.25 c #Conflicts: 350000 | #Constraints: 766350
1657.46/1662.25 c #Conflicts: 351000 | #Constraints: 767350
1657.46/1662.25 c #Conflicts: 352000 | #Constraints: 768350
1657.46/1662.25 c #Conflicts: 353000 | #Constraints: 769350
1657.46/1662.25 c #Conflicts: 354000 | #Constraints: 770350
1657.46/1662.25 c #Conflicts: 355000 | #Constraints: 771350
1657.46/1662.25 c #Conflicts: 356000 | #Constraints: 772350
1657.46/1662.25 c #Conflicts: 357000 | #Constraints: 773350
1657.46/1662.25 c #Conflicts: 358000 | #Constraints: 774350
1657.46/1662.25 c #Conflicts: 359000 | #Constraints: 775350
1657.46/1662.25 c #Conflicts: 360000 | #Constraints: 776350
1657.46/1662.25 c #Conflicts: 361000 | #Constraints: 777350
1657.46/1662.25 c #Conflicts: 362000 | #Constraints: 778350
1657.46/1662.25 c #Conflicts: 363000 | #Constraints: 779350
1657.46/1662.25 c #Conflicts: 364000 | #Constraints: 780350
1657.46/1662.25 c #Conflicts: 365000 | #Constraints: 781350
1657.46/1662.25 c #Conflicts: 366000 | #Constraints: 782350
1657.46/1662.25 c #Conflicts: 367000 | #Constraints: 783350
1657.46/1662.25 c #Conflicts: 368000 | #Constraints: 784350
1657.46/1662.25 c #Conflicts: 369000 | #Constraints: 785350
1657.46/1662.25 c #Conflicts: 370000 | #Constraints: 786350
1657.46/1662.25 c #Conflicts: 371000 | #Constraints: 787350
1657.46/1662.25 c #Conflicts: 372000 | #Constraints: 788350
1657.46/1662.25 c #Conflicts: 373000 | #Constraints: 789350
1657.46/1662.25 c #Conflicts: 374000 | #Constraints: 790350
1657.46/1662.25 c #Conflicts: 375000 | #Constraints: 791350
1657.46/1662.25 c #Conflicts: 376000 | #Constraints: 792350
1657.46/1662.25 c #Conflicts: 377000 | #Constraints: 793350
1657.46/1662.25 c #Conflicts: 378000 | #Constraints: 794350
1657.46/1662.25 c #Conflicts: 379000 | #Constraints: 795350
1657.46/1662.25 c #Conflicts: 380000 | #Constraints: 796350
1657.46/1662.25 c #Conflicts: 381000 | #Constraints: 797350
1657.46/1662.25 c #Conflicts: 382000 | #Constraints: 798350
1657.46/1662.25 c #Conflicts: 383000 | #Constraints: 799350
1657.46/1662.25 c #Conflicts: 384000 | #Constraints: 800350
1657.46/1662.25 c #Conflicts: 385000 | #Constraints: 801350
1657.46/1662.25 c #Conflicts: 386000 | #Constraints: 802350
1657.46/1662.25 c INPROCESSING
1657.46/1662.25 c GARBAGE COLLECT
1657.46/1662.25 c #Conflicts: 387000 | #Constraints: 772142
1657.46/1662.25 c #Conflicts: 388000 | #Constraints: 773142
1657.46/1662.25 c #Conflicts: 389000 | #Constraints: 774142
1657.46/1662.25 c #Conflicts: 390000 | #Constraints: 775142
1657.46/1662.25 c #Conflicts: 391000 | #Constraints: 776142
1657.46/1662.25 c #Conflicts: 392000 | #Constraints: 777142
1657.46/1662.25 c #Conflicts: 393000 | #Constraints: 778142
1657.46/1662.25 c #Conflicts: 394000 | #Constraints: 779142
1657.46/1662.25 c #Conflicts: 395000 | #Constraints: 780142
1657.46/1662.25 c #Conflicts: 396000 | #Constraints: 781142
1657.46/1662.25 c #Conflicts: 397000 | #Constraints: 782142
1657.46/1662.25 c #Conflicts: 398000 | #Constraints: 783142
2144.34/2150.55 c #Conflicts: 399000 | #Constraints: 784142
2144.34/2150.55 c #Conflicts: 400000 | #Constraints: 785142
2144.34/2150.55 c #Conflicts: 401000 | #Constraints: 786142
2144.34/2150.55 c #Conflicts: 402000 | #Constraints: 787142
2144.34/2150.55 c #Conflicts: 403000 | #Constraints: 788142
2144.34/2150.55 c #Conflicts: 404000 | #Constraints: 789142
2144.34/2150.55 c #Conflicts: 405000 | #Constraints: 790142
2144.34/2150.55 c #Conflicts: 406000 | #Constraints: 791142
2144.34/2150.55 c #Conflicts: 407000 | #Constraints: 792142
2144.34/2150.55 c #Conflicts: 408000 | #Constraints: 793142
2144.34/2150.55 c #Conflicts: 409000 | #Constraints: 794142
2144.34/2150.55 c #Conflicts: 410000 | #Constraints: 795142
2144.34/2150.55 c #Conflicts: 411000 | #Constraints: 796142
2144.34/2150.55 c #Conflicts: 412000 | #Constraints: 797142
2144.34/2150.55 c #Conflicts: 413000 | #Constraints: 798142
2144.34/2150.55 c #Conflicts: 414000 | #Constraints: 799142
2144.34/2150.55 c #Conflicts: 415000 | #Constraints: 800142
2144.34/2150.55 c #Conflicts: 416000 | #Constraints: 801142
2144.34/2150.55 c #Conflicts: 417000 | #Constraints: 802142
2144.34/2150.55 c #Conflicts: 418000 | #Constraints: 803142
2144.34/2150.55 c #Conflicts: 419000 | #Constraints: 804142
2144.34/2150.55 c #Conflicts: 420000 | #Constraints: 805142
2144.34/2150.55 c #Conflicts: 421000 | #Constraints: 806142
2144.34/2150.55 c #Conflicts: 422000 | #Constraints: 807142
2144.34/2150.55 c #Conflicts: 423000 | #Constraints: 808142
2144.34/2150.55 c #Conflicts: 424000 | #Constraints: 809142
2144.34/2150.55 c #Conflicts: 425000 | #Constraints: 810142
2144.34/2150.55 c #Conflicts: 426000 | #Constraints: 811142
2144.34/2150.55 c #Conflicts: 427000 | #Constraints: 812142
2144.34/2150.55 c INPROCESSING
2144.34/2150.55 c GARBAGE COLLECT
2144.34/2150.55 c #Conflicts: 428000 | #Constraints: 777182
2144.34/2150.55 c #Conflicts: 429000 | #Constraints: 778182
2144.34/2150.55 c #Conflicts: 430000 | #Constraints: 779182
2144.34/2150.55 c #Conflicts: 431000 | #Constraints: 780182
2144.34/2150.55 c #Conflicts: 432000 | #Constraints: 781182
2144.34/2150.55 c #Conflicts: 433000 | #Constraints: 782182
2144.34/2150.55 c #Conflicts: 434000 | #Constraints: 783182
2144.34/2150.55 c #Conflicts: 435000 | #Constraints: 784182
2144.34/2150.55 c #Conflicts: 436000 | #Constraints: 785182
2144.34/2150.55 c #Conflicts: 437000 | #Constraints: 786182
2144.34/2150.55 c #Conflicts: 438000 | #Constraints: 787182
2144.34/2150.55 c #Conflicts: 439000 | #Constraints: 788182
2144.34/2150.55 c #Conflicts: 440000 | #Constraints: 789182
2144.34/2150.55 c #Conflicts: 441000 | #Constraints: 790182
2144.34/2150.55 c #Conflicts: 442000 | #Constraints: 791182
2144.34/2150.55 c #Conflicts: 443000 | #Constraints: 792182
2144.34/2150.55 c #Conflicts: 444000 | #Constraints: 793182
2144.34/2150.55 c #Conflicts: 445000 | #Constraints: 794182
2144.34/2150.55 c #Conflicts: 446000 | #Constraints: 795182
2144.34/2150.55 c #Conflicts: 447000 | #Constraints: 796182
2144.34/2150.55 c #Conflicts: 448000 | #Constraints: 797182
2144.34/2150.55 c #Conflicts: 449000 | #Constraints: 798182
2144.34/2150.55 c #Conflicts: 450000 | #Constraints: 799182
2144.34/2150.55 c #Conflicts: 451000 | #Constraints: 800182
2144.34/2150.55 c #Conflicts: 452000 | #Constraints: 801182
2144.34/2150.55 c #Conflicts: 453000 | #Constraints: 802182
2144.34/2150.55 c #Conflicts: 454000 | #Constraints: 803182
2144.34/2150.55 c #Conflicts: 455000 | #Constraints: 804182
2144.34/2150.55 c #Conflicts: 456000 | #Constraints: 805182
2144.34/2150.55 c #Conflicts: 457000 | #Constraints: 806182
2144.34/2150.55 c #Conflicts: 458000 | #Constraints: 807182
2144.34/2150.55 c #Conflicts: 459000 | #Constraints: 808182
2144.34/2150.55 c #Conflicts: 460000 | #Constraints: 809182
2144.34/2150.55 c #Conflicts: 461000 | #Constraints: 810182
2144.34/2150.55 c #Conflicts: 462000 | #Constraints: 811182
2144.34/2150.55 c #Conflicts: 463000 | #Constraints: 812182
2144.34/2150.55 c #Conflicts: 464000 | #Constraints: 813182
2144.34/2150.55 c #Conflicts: 465000 | #Constraints: 814182
2144.34/2150.55 c #Conflicts: 466000 | #Constraints: 815182
2144.34/2150.55 c #Conflicts: 467000 | #Constraints: 816182
2144.34/2150.55 c #Conflicts: 468000 | #Constraints: 817182
2144.34/2150.55 c #Conflicts: 469000 | #Constraints: 818182
2144.34/2150.55 c #Conflicts: 470000 | #Constraints: 819182
2144.34/2150.55 c INPROCESSING
2144.34/2150.55 c GARBAGE COLLECT
2144.34/2150.55 c rational objective 1418.6
2339.71/2346.43 c #Conflicts: 471000 | #Constraints: 780614
2339.71/2346.43 c #Conflicts: 472000 | #Constraints: 781614
2339.71/2346.43 c #Conflicts: 473000 | #Constraints: 782614
2339.71/2346.43 c #Conflicts: 474000 | #Constraints: 783614
2339.71/2346.43 c #Conflicts: 475000 | #Constraints: 784614
2339.71/2346.43 c #Conflicts: 476000 | #Constraints: 785614
2339.71/2346.43 c #Conflicts: 477000 | #Constraints: 786614
2339.71/2346.43 c #Conflicts: 478000 | #Constraints: 787614
2339.71/2346.43 c #Conflicts: 479000 | #Constraints: 788614
2339.71/2346.43 c #Conflicts: 480000 | #Constraints: 789614
2339.71/2346.43 c #Conflicts: 481000 | #Constraints: 790614
2339.71/2346.43 c #Conflicts: 482000 | #Constraints: 791614
2339.71/2346.43 c #Conflicts: 483000 | #Constraints: 792614
2339.71/2346.43 c #Conflicts: 484000 | #Constraints: 793614
2339.71/2346.43 c #Conflicts: 485000 | #Constraints: 794614
2339.71/2346.43 c #Conflicts: 486000 | #Constraints: 795614
2339.71/2346.43 c #Conflicts: 487000 | #Constraints: 796614
2339.71/2346.43 c #Conflicts: 488000 | #Constraints: 797614
2339.71/2346.43 c #Conflicts: 489000 | #Constraints: 798614
2339.71/2346.43 c #Conflicts: 490000 | #Constraints: 799614
2339.71/2346.43 c #Conflicts: 491000 | #Constraints: 800614
2339.71/2346.43 c INPROCESSING
2339.71/2346.43 c GARBAGE COLLECT
2339.71/2346.43 c #Conflicts: 492000 | #Constraints: 770862
2339.71/2346.43 c #Conflicts: 493000 | #Constraints: 771862
2339.71/2346.43 c #Conflicts: 494000 | #Constraints: 772862
2339.71/2346.43 c #Conflicts: 495000 | #Constraints: 773862
2339.71/2346.43 c #Conflicts: 496000 | #Constraints: 774862
2339.71/2346.43 c #Conflicts: 497000 | #Constraints: 775862
2339.71/2346.43 c #Conflicts: 498000 | #Constraints: 776862
2339.71/2346.43 c #Conflicts: 499000 | #Constraints: 777862
2339.71/2346.43 c #Conflicts: 500000 | #Constraints: 778862
2339.71/2346.43 c #Conflicts: 501000 | #Constraints: 779862
2339.71/2346.43 c #Conflicts: 502000 | #Constraints: 780862
2339.71/2346.43 c #Conflicts: 503000 | #Constraints: 781862
2339.71/2346.43 c #Conflicts: 504000 | #Constraints: 782862
2339.71/2346.43 c #Conflicts: 505000 | #Constraints: 783862
2339.71/2346.43 c #Conflicts: 506000 | #Constraints: 784862
2339.71/2346.43 c #Conflicts: 507000 | #Constraints: 785862
2339.71/2346.43 c #Conflicts: 508000 | #Constraints: 786862
2339.71/2346.43 c #Conflicts: 509000 | #Constraints: 787862
2339.71/2346.43 c #Conflicts: 510000 | #Constraints: 788862
2339.71/2346.43 c #Conflicts: 511000 | #Constraints: 789862
2339.71/2346.43 c #Conflicts: 512000 | #Constraints: 790862
2339.71/2346.43 c #Conflicts: 513000 | #Constraints: 791862
2339.71/2346.43 c #Conflicts: 514000 | #Constraints: 792862
2339.71/2346.43 c #Conflicts: 515000 | #Constraints: 793862
2339.71/2346.43 c #Conflicts: 516000 | #Constraints: 794862
2339.71/2346.43 c #Conflicts: 517000 | #Constraints: 795862
2339.71/2346.43 c #Conflicts: 518000 | #Constraints: 796862
2339.71/2346.43 c #Conflicts: 519000 | #Constraints: 797862
2339.71/2346.43 c #Conflicts: 520000 | #Constraints: 798862
2339.71/2346.43 c #Conflicts: 521000 | #Constraints: 799862
2339.71/2346.43 c #Conflicts: 522000 | #Constraints: 800862
2339.71/2346.43 c #Conflicts: 523000 | #Constraints: 801862
2339.71/2346.43 c #Conflicts: 524000 | #Constraints: 802862
2339.71/2346.43 c #Conflicts: 525000 | #Constraints: 803862
2339.71/2346.43 c #Conflicts: 526000 | #Constraints: 804862
2339.71/2346.43 c #Conflicts: 527000 | #Constraints: 805862
2339.71/2346.43 c #Conflicts: 528000 | #Constraints: 806862
2339.71/2346.43 c #Conflicts: 529000 | #Constraints: 807862
2339.71/2346.43 c #Conflicts: 530000 | #Constraints: 808862
2339.71/2346.43 c #Conflicts: 531000 | #Constraints: 809862
2339.71/2346.43 c #Conflicts: 532000 | #Constraints: 810862
2339.71/2346.43 c #Conflicts: 533000 | #Constraints: 811862
2339.71/2346.43 c #Conflicts: 534000 | #Constraints: 812862
2339.71/2346.43 c #Conflicts: 535000 | #Constraints: 813862
2339.71/2346.43 c #Conflicts: 536000 | #Constraints: 814862
2339.71/2346.43 c #Conflicts: 537000 | #Constraints: 815862
2339.71/2346.43 c INPROCESSING
2339.71/2346.43 c GARBAGE COLLECT
2339.71/2346.43 c #Conflicts: 538000 | #Constraints: 778627
2339.71/2346.43 c #Conflicts: 539000 | #Constraints: 779627
2339.71/2346.43 c #Conflicts: 540000 | #Constraints: 780627
2339.71/2346.43 c #Conflicts: 541000 | #Constraints: 781627
2339.71/2346.43 c #Conflicts: 542000 | #Constraints: 782627
2339.71/2346.43 c #Conflicts: 543000 | #Constraints: 783627
2339.71/2346.43 c #Conflicts: 544000 | #Constraints: 784627
2339.71/2346.43 c #Conflicts: 545000 | #Constraints: 785627
2339.71/2346.43 c #Conflicts: 546000 | #Constraints: 786627
2339.71/2346.43 c #Conflicts: 547000 | #Constraints: 787627
2339.71/2346.43 c #Conflicts: 548000 | #Constraints: 788627
2474.85/2481.94 c #Conflicts: 549000 | #Constraints: 789627
2474.85/2481.94 c #Conflicts: 550000 | #Constraints: 790627
2474.85/2481.94 c #Conflicts: 551000 | #Constraints: 791627
2474.85/2481.94 c #Conflicts: 552000 | #Constraints: 792627
2474.85/2481.94 c #Conflicts: 553000 | #Constraints: 793627
2474.85/2481.94 c #Conflicts: 554000 | #Constraints: 794627
2474.85/2481.94 c #Conflicts: 555000 | #Constraints: 795627
2474.85/2481.94 c #Conflicts: 556000 | #Constraints: 796627
2474.85/2481.94 c #Conflicts: 557000 | #Constraints: 797627
2474.85/2481.94 c #Conflicts: 558000 | #Constraints: 798627
2474.85/2481.94 c #Conflicts: 559000 | #Constraints: 799627
2474.85/2481.94 c #Conflicts: 560000 | #Constraints: 800627
2474.85/2481.94 c INPROCESSING
2474.85/2481.94 c GARBAGE COLLECT
2474.85/2481.94 c #Conflicts: 561000 | #Constraints: 771549
2474.85/2481.94 c #Conflicts: 562000 | #Constraints: 772549
2474.85/2481.94 c #Conflicts: 563000 | #Constraints: 773549
2474.85/2481.94 c #Conflicts: 564000 | #Constraints: 774549
2474.85/2481.94 c #Conflicts: 565000 | #Constraints: 775549
2474.85/2481.94 c #Conflicts: 566000 | #Constraints: 776549
2474.85/2481.94 c #Conflicts: 567000 | #Constraints: 777549
2474.85/2481.94 c #Conflicts: 568000 | #Constraints: 778549
2474.85/2481.94 c #Conflicts: 569000 | #Constraints: 779549
2474.85/2481.94 c #Conflicts: 570000 | #Constraints: 780549
2474.85/2481.94 c #Conflicts: 571000 | #Constraints: 781549
2474.85/2481.94 c #Conflicts: 572000 | #Constraints: 782549
2474.85/2481.94 c #Conflicts: 573000 | #Constraints: 783549
2474.85/2481.94 c #Conflicts: 574000 | #Constraints: 784549
2474.85/2481.94 c #Conflicts: 575000 | #Constraints: 785549
2474.85/2481.94 c #Conflicts: 576000 | #Constraints: 786549
2474.85/2481.94 c #Conflicts: 577000 | #Constraints: 787549
2474.85/2481.94 c #Conflicts: 578000 | #Constraints: 788549
2474.85/2481.94 c #Conflicts: 579000 | #Constraints: 789549
2474.85/2481.94 c #Conflicts: 580000 | #Constraints: 790549
2474.85/2481.94 c #Conflicts: 581000 | #Constraints: 791549
2474.85/2481.94 c #Conflicts: 582000 | #Constraints: 792549
2474.85/2481.94 c #Conflicts: 583000 | #Constraints: 793549
2474.85/2481.94 c #Conflicts: 584000 | #Constraints: 794549
2474.85/2481.94 c #Conflicts: 585000 | #Constraints: 795549
2474.85/2481.94 c #Conflicts: 586000 | #Constraints: 796549
2474.85/2481.94 c #Conflicts: 587000 | #Constraints: 797549
2474.85/2481.94 c #Conflicts: 588000 | #Constraints: 798549
2474.85/2481.94 c #Conflicts: 589000 | #Constraints: 799549
2474.85/2481.94 c #Conflicts: 590000 | #Constraints: 800549
2474.85/2481.94 c #Conflicts: 591000 | #Constraints: 801549
2474.85/2481.94 c #Conflicts: 592000 | #Constraints: 802549
2474.85/2481.94 c #Conflicts: 593000 | #Constraints: 803549
2474.85/2481.94 c #Conflicts: 594000 | #Constraints: 804549
2474.85/2481.94 c #Conflicts: 595000 | #Constraints: 805549
2474.85/2481.94 c #Conflicts: 596000 | #Constraints: 806549
2474.85/2481.94 c #Conflicts: 597000 | #Constraints: 807549
2474.85/2481.94 c #Conflicts: 598000 | #Constraints: 808549
2474.85/2481.94 c #Conflicts: 599000 | #Constraints: 809549
2474.85/2481.94 c #Conflicts: 600000 | #Constraints: 810549
2474.85/2481.94 c #Conflicts: 601000 | #Constraints: 811549
2474.85/2481.94 c #Conflicts: 602000 | #Constraints: 812549
2474.85/2481.94 c #Conflicts: 603000 | #Constraints: 813549
2474.85/2481.94 c #Conflicts: 604000 | #Constraints: 814549
2474.85/2481.94 c #Conflicts: 605000 | #Constraints: 815549
2474.85/2481.94 c #Conflicts: 606000 | #Constraints: 816549
2474.85/2481.94 c #Conflicts: 607000 | #Constraints: 817549
2474.85/2481.94 c #Conflicts: 608000 | #Constraints: 818549
2474.85/2481.94 c #Conflicts: 609000 | #Constraints: 819549
2474.85/2481.94 c INPROCESSING
2474.85/2481.94 c GARBAGE COLLECT
2474.85/2481.94 c #Conflicts: 610000 | #Constraints: 781032
2474.85/2481.94 c #Conflicts: 611000 | #Constraints: 782032
2474.85/2481.94 c #Conflicts: 612000 | #Constraints: 783032
2474.85/2481.94 c #Conflicts: 613000 | #Constraints: 784032
2474.85/2481.94 c #Conflicts: 614000 | #Constraints: 785032
2474.85/2481.94 c #Conflicts: 615000 | #Constraints: 786032
2474.85/2481.94 c #Conflicts: 616000 | #Constraints: 787032
2474.85/2481.94 c #Conflicts: 617000 | #Constraints: 788032
2474.85/2481.94 c #Conflicts: 618000 | #Constraints: 789032
2474.85/2481.94 c #Conflicts: 619000 | #Constraints: 790032
2474.85/2481.94 c #Conflicts: 620000 | #Constraints: 791032
2474.85/2481.94 c #Conflicts: 621000 | #Constraints: 792032
2474.85/2481.94 c #Conflicts: 622000 | #Constraints: 793032
2474.85/2481.94 c #Conflicts: 623000 | #Constraints: 794032
2474.85/2481.94 c #Conflicts: 624000 | #Constraints: 795032
2474.85/2481.94 c #Conflicts: 625000 | #Constraints: 796032
2617.25/2624.79 c #Conflicts: 626000 | #Constraints: 797032
2617.25/2624.79 c #Conflicts: 627000 | #Constraints: 798032
2617.25/2624.79 c #Conflicts: 628000 | #Constraints: 799032
2617.25/2624.79 c #Conflicts: 629000 | #Constraints: 800032
2617.25/2624.79 c #Conflicts: 630000 | #Constraints: 801032
2617.25/2624.79 c #Conflicts: 631000 | #Constraints: 802032
2617.25/2624.79 c #Conflicts: 632000 | #Constraints: 803032
2617.25/2624.79 c #Conflicts: 633000 | #Constraints: 804032
2617.25/2624.79 c INPROCESSING
2617.25/2624.79 c #Conflicts: 634000 | #Constraints: 773319
2617.25/2624.79 c #Conflicts: 635000 | #Constraints: 774319
2617.25/2624.79 c #Conflicts: 636000 | #Constraints: 775319
2617.25/2624.79 c #Conflicts: 637000 | #Constraints: 776319
2617.25/2624.79 c #Conflicts: 638000 | #Constraints: 777319
2617.25/2624.79 c #Conflicts: 639000 | #Constraints: 778319
2617.25/2624.79 c #Conflicts: 640000 | #Constraints: 779319
2617.25/2624.79 c #Conflicts: 641000 | #Constraints: 780319
2617.25/2624.79 c #Conflicts: 642000 | #Constraints: 781319
2617.25/2624.79 c #Conflicts: 643000 | #Constraints: 782319
2617.25/2624.79 c #Conflicts: 644000 | #Constraints: 783319
2617.25/2624.79 c #Conflicts: 645000 | #Constraints: 784319
2617.25/2624.79 c #Conflicts: 646000 | #Constraints: 785319
2617.25/2624.79 c #Conflicts: 647000 | #Constraints: 786319
2617.25/2624.79 c #Conflicts: 648000 | #Constraints: 787319
2617.25/2624.79 c #Conflicts: 649000 | #Constraints: 788319
2617.25/2624.79 c #Conflicts: 650000 | #Constraints: 789319
2617.25/2624.79 c #Conflicts: 651000 | #Constraints: 790319
2617.25/2624.79 c #Conflicts: 652000 | #Constraints: 791319
2617.25/2624.79 c #Conflicts: 653000 | #Constraints: 792319
2617.25/2624.79 c #Conflicts: 654000 | #Constraints: 793319
2617.25/2624.79 c #Conflicts: 655000 | #Constraints: 794319
2617.25/2624.79 c #Conflicts: 656000 | #Constraints: 795319
2617.25/2624.79 c #Conflicts: 657000 | #Constraints: 796319
2617.25/2624.79 c #Conflicts: 658000 | #Constraints: 797319
2617.25/2624.79 c #Conflicts: 659000 | #Constraints: 798319
2617.25/2624.79 c #Conflicts: 660000 | #Constraints: 799319
2617.25/2624.79 c #Conflicts: 661000 | #Constraints: 800319
2617.25/2624.79 c #Conflicts: 662000 | #Constraints: 801319
2617.25/2624.79 c #Conflicts: 663000 | #Constraints: 802319
2617.25/2624.79 c #Conflicts: 664000 | #Constraints: 803319
2617.25/2624.79 c #Conflicts: 665000 | #Constraints: 804319
2617.25/2624.79 c #Conflicts: 666000 | #Constraints: 805319
2617.25/2624.79 c #Conflicts: 667000 | #Constraints: 806319
2617.25/2624.79 c #Conflicts: 668000 | #Constraints: 807319
2617.25/2624.79 c #Conflicts: 669000 | #Constraints: 808319
2617.25/2624.79 c #Conflicts: 670000 | #Constraints: 809319
2617.25/2624.79 c #Conflicts: 671000 | #Constraints: 810319
2617.25/2624.79 c #Conflicts: 672000 | #Constraints: 811319
2617.25/2624.79 c #Conflicts: 673000 | #Constraints: 812319
2617.25/2624.79 c #Conflicts: 674000 | #Constraints: 813319
2617.25/2624.79 c #Conflicts: 675000 | #Constraints: 814319
2617.25/2624.79 c #Conflicts: 676000 | #Constraints: 815319
2617.25/2624.79 c #Conflicts: 677000 | #Constraints: 816319
2617.25/2624.79 c #Conflicts: 678000 | #Constraints: 817319
2617.25/2624.79 c #Conflicts: 679000 | #Constraints: 818319
2617.25/2624.79 c #Conflicts: 680000 | #Constraints: 819319
2617.25/2624.79 c #Conflicts: 681000 | #Constraints: 820319
2617.25/2624.79 c #Conflicts: 682000 | #Constraints: 821319
2617.25/2624.79 c #Conflicts: 683000 | #Constraints: 822319
2617.25/2624.79 c #Conflicts: 684000 | #Constraints: 823319
2617.25/2624.79 c #Conflicts: 685000 | #Constraints: 824319
2617.25/2624.79 c INPROCESSING
2617.25/2624.79 c GARBAGE COLLECT
2617.25/2624.79 c #Conflicts: 686000 | #Constraints: 783140
2617.25/2624.79 c #Conflicts: 687000 | #Constraints: 784140
2617.25/2624.79 c #Conflicts: 688000 | #Constraints: 785140
2617.25/2624.79 c #Conflicts: 689000 | #Constraints: 786140
2617.25/2624.79 c #Conflicts: 690000 | #Constraints: 787140
2617.25/2624.79 c #Conflicts: 691000 | #Constraints: 788140
2617.25/2624.79 c #Conflicts: 692000 | #Constraints: 789140
2617.25/2624.79 c #Conflicts: 693000 | #Constraints: 790140
2617.25/2624.79 c #Conflicts: 694000 | #Constraints: 791140
2617.25/2624.79 c #Conflicts: 695000 | #Constraints: 792140
2617.25/2624.79 c #Conflicts: 696000 | #Constraints: 793140
2617.25/2624.79 c #Conflicts: 697000 | #Constraints: 794140
2617.25/2624.79 c #Conflicts: 698000 | #Constraints: 795140
2617.25/2624.79 c #Conflicts: 699000 | #Constraints: 796140
2617.25/2624.79 c #Conflicts: 700000 | #Constraints: 797140
2617.25/2624.79 c #Conflicts: 701000 | #Constraints: 798140
2617.25/2624.79 c #Conflicts: 702000 | #Constraints: 799140
2617.25/2624.79 c #Conflicts: 703000 | #Constraints: 800140
2747.40/2755.28 c #Conflicts: 704000 | #Constraints: 801140
2747.40/2755.28 c #Conflicts: 705000 | #Constraints: 802140
2747.40/2755.28 c #Conflicts: 706000 | #Constraints: 803140
2747.40/2755.28 c #Conflicts: 707000 | #Constraints: 804140
2747.40/2755.28 c #Conflicts: 708000 | #Constraints: 805140
2747.40/2755.28 c #Conflicts: 709000 | #Constraints: 806140
2747.40/2755.28 c #Conflicts: 710000 | #Constraints: 807140
2747.40/2755.28 c INPROCESSING
2747.40/2755.28 c GARBAGE COLLECT
2747.40/2755.28 c #Conflicts: 711000 | #Constraints: 774333
2747.40/2755.28 c #Conflicts: 712000 | #Constraints: 775333
2747.40/2755.28 c #Conflicts: 713000 | #Constraints: 776333
2747.40/2755.28 c #Conflicts: 714000 | #Constraints: 777333
2747.40/2755.28 c #Conflicts: 715000 | #Constraints: 778333
2747.40/2755.28 c #Conflicts: 716000 | #Constraints: 779333
2747.40/2755.28 c #Conflicts: 717000 | #Constraints: 780333
2747.40/2755.28 c #Conflicts: 718000 | #Constraints: 781333
2747.40/2755.28 c #Conflicts: 719000 | #Constraints: 782333
2747.40/2755.28 c #Conflicts: 720000 | #Constraints: 783333
2747.40/2755.28 c #Conflicts: 721000 | #Constraints: 784333
2747.40/2755.28 c #Conflicts: 722000 | #Constraints: 785333
2747.40/2755.28 c #Conflicts: 723000 | #Constraints: 786333
2747.40/2755.28 c #Conflicts: 724000 | #Constraints: 787333
2747.40/2755.28 c #Conflicts: 725000 | #Constraints: 788333
2747.40/2755.28 c #Conflicts: 726000 | #Constraints: 789333
2747.40/2755.28 c #Conflicts: 727000 | #Constraints: 790333
2747.40/2755.28 c #Conflicts: 728000 | #Constraints: 791333
2747.40/2755.28 c #Conflicts: 729000 | #Constraints: 792333
2747.40/2755.28 c #Conflicts: 730000 | #Constraints: 793333
2747.40/2755.28 c #Conflicts: 731000 | #Constraints: 794333
2747.40/2755.28 c #Conflicts: 732000 | #Constraints: 795333
2747.40/2755.28 c #Conflicts: 733000 | #Constraints: 796333
2747.40/2755.28 c #Conflicts: 734000 | #Constraints: 797333
2747.40/2755.28 c #Conflicts: 735000 | #Constraints: 798333
2747.40/2755.28 c #Conflicts: 736000 | #Constraints: 799333
2747.40/2755.28 c #Conflicts: 737000 | #Constraints: 800333
2747.40/2755.28 c #Conflicts: 738000 | #Constraints: 801333
2747.40/2755.28 c #Conflicts: 739000 | #Constraints: 802333
2747.40/2755.28 c #Conflicts: 740000 | #Constraints: 803333
2747.40/2755.28 c #Conflicts: 741000 | #Constraints: 804333
2747.40/2755.28 c #Conflicts: 742000 | #Constraints: 805333
2747.40/2755.28 c #Conflicts: 743000 | #Constraints: 806333
2747.40/2755.28 c #Conflicts: 744000 | #Constraints: 807333
2747.40/2755.28 c #Conflicts: 745000 | #Constraints: 808333
2747.40/2755.28 c #Conflicts: 746000 | #Constraints: 809333
2747.40/2755.28 c #Conflicts: 747000 | #Constraints: 810333
2747.40/2755.28 c #Conflicts: 748000 | #Constraints: 811333
2747.40/2755.28 c #Conflicts: 749000 | #Constraints: 812333
2747.40/2755.28 c #Conflicts: 750000 | #Constraints: 813333
2747.40/2755.28 c #Conflicts: 751000 | #Constraints: 814333
2747.40/2755.28 c #Conflicts: 752000 | #Constraints: 815333
2747.40/2755.28 c #Conflicts: 753000 | #Constraints: 816333
2747.40/2755.28 c #Conflicts: 754000 | #Constraints: 817333
2747.40/2755.28 c #Conflicts: 755000 | #Constraints: 818333
2747.40/2755.28 c #Conflicts: 756000 | #Constraints: 819333
2747.40/2755.28 c #Conflicts: 757000 | #Constraints: 820333
2747.40/2755.28 c #Conflicts: 758000 | #Constraints: 821333
2747.40/2755.28 c #Conflicts: 759000 | #Constraints: 822333
2747.40/2755.28 c #Conflicts: 760000 | #Constraints: 823333
2747.40/2755.28 c #Conflicts: 761000 | #Constraints: 824333
2747.40/2755.28 c #Conflicts: 762000 | #Constraints: 825333
2747.40/2755.28 c #Conflicts: 763000 | #Constraints: 826333
2747.40/2755.28 c #Conflicts: 764000 | #Constraints: 827333
2747.40/2755.28 c #Conflicts: 765000 | #Constraints: 828333
2747.40/2755.28 c INPROCESSING
2747.40/2755.28 c GARBAGE COLLECT
2747.40/2755.28 c #Conflicts: 766000 | #Constraints: 785252
2747.40/2755.28 c #Conflicts: 767000 | #Constraints: 786252
2747.40/2755.28 c #Conflicts: 768000 | #Constraints: 787252
2747.40/2755.28 c #Conflicts: 769000 | #Constraints: 788252
2747.40/2755.28 c #Conflicts: 770000 | #Constraints: 789252
2747.40/2755.28 c #Conflicts: 771000 | #Constraints: 790252
2747.40/2755.28 c #Conflicts: 772000 | #Constraints: 791252
2747.40/2755.28 c #Conflicts: 773000 | #Constraints: 792252
2747.40/2755.28 c #Conflicts: 774000 | #Constraints: 793252
2747.40/2755.28 c #Conflicts: 775000 | #Constraints: 794252
2747.40/2755.28 c #Conflicts: 776000 | #Constraints: 795252
2747.40/2755.28 c #Conflicts: 777000 | #Constraints: 796252
2747.40/2755.28 c #Conflicts: 778000 | #Constraints: 797252
2747.40/2755.28 c #Conflicts: 779000 | #Constraints: 798252
2747.40/2755.28 c #Conflicts: 780000 | #Constraints: 799252
2747.40/2755.28 c #Conflicts: 781000 | #Constraints: 800252
2911.14/2919.89 c #Conflicts: 782000 | #Constraints: 801252
2911.14/2919.89 c #Conflicts: 783000 | #Constraints: 802252
2911.14/2919.89 c #Conflicts: 784000 | #Constraints: 803252
2911.14/2919.89 c #Conflicts: 785000 | #Constraints: 804252
2911.14/2919.89 c #Conflicts: 786000 | #Constraints: 805252
2911.14/2919.89 c #Conflicts: 787000 | #Constraints: 806252
2911.14/2919.89 c #Conflicts: 788000 | #Constraints: 807252
2911.14/2919.89 c #Conflicts: 789000 | #Constraints: 808252
2911.14/2919.89 c #Conflicts: 790000 | #Constraints: 809252
2911.14/2919.89 c #Conflicts: 791000 | #Constraints: 810252
2911.14/2919.89 c #Conflicts: 792000 | #Constraints: 811252
2911.14/2919.89 c INPROCESSING
2911.14/2919.89 c GARBAGE COLLECT
2911.14/2919.89 c #Conflicts: 793000 | #Constraints: 776799
2911.14/2919.89 c #Conflicts: 794000 | #Constraints: 777799
2911.14/2919.89 c #Conflicts: 795000 | #Constraints: 778799
2911.14/2919.89 c #Conflicts: 796000 | #Constraints: 779799
2911.14/2919.89 c #Conflicts: 797000 | #Constraints: 780799
2911.14/2919.89 c #Conflicts: 798000 | #Constraints: 781799
2911.14/2919.89 c #Conflicts: 799000 | #Constraints: 782799
2911.14/2919.89 c #Conflicts: 800000 | #Constraints: 783799
2911.14/2919.89 c #Conflicts: 801000 | #Constraints: 784799
2911.14/2919.89 c #Conflicts: 802000 | #Constraints: 785799
2911.14/2919.89 c #Conflicts: 803000 | #Constraints: 786799
2911.14/2919.89 c #Conflicts: 804000 | #Constraints: 787799
2911.14/2919.89 c #Conflicts: 805000 | #Constraints: 788799
2911.14/2919.89 c #Conflicts: 806000 | #Constraints: 789799
2911.14/2919.89 c #Conflicts: 807000 | #Constraints: 790799
2911.14/2919.89 c #Conflicts: 808000 | #Constraints: 791799
2911.14/2919.89 c #Conflicts: 809000 | #Constraints: 792799
2911.14/2919.89 c #Conflicts: 810000 | #Constraints: 793799
2911.14/2919.89 c #Conflicts: 811000 | #Constraints: 794799
2911.14/2919.89 c #Conflicts: 812000 | #Constraints: 795799
2911.14/2919.89 c #Conflicts: 813000 | #Constraints: 796799
2911.14/2919.89 c #Conflicts: 814000 | #Constraints: 797799
2911.14/2919.89 c #Conflicts: 815000 | #Constraints: 798799
2911.14/2919.89 c #Conflicts: 816000 | #Constraints: 799799
2911.14/2919.89 c #Conflicts: 817000 | #Constraints: 800799
2911.14/2919.89 c #Conflicts: 818000 | #Constraints: 801799
2911.14/2919.89 c #Conflicts: 819000 | #Constraints: 802799
2911.14/2919.89 c #Conflicts: 820000 | #Constraints: 803799
2911.14/2919.89 c #Conflicts: 821000 | #Constraints: 804799
2911.14/2919.89 c #Conflicts: 822000 | #Constraints: 805799
2911.14/2919.89 c #Conflicts: 823000 | #Constraints: 806799
2911.14/2919.89 c #Conflicts: 824000 | #Constraints: 807799
2911.14/2919.89 c #Conflicts: 825000 | #Constraints: 808799
2911.14/2919.89 c #Conflicts: 826000 | #Constraints: 809799
2911.14/2919.89 c #Conflicts: 827000 | #Constraints: 810799
2911.14/2919.89 c #Conflicts: 828000 | #Constraints: 811799
2911.14/2919.89 c #Conflicts: 829000 | #Constraints: 812799
2911.14/2919.89 c #Conflicts: 830000 | #Constraints: 813799
2911.14/2919.89 c #Conflicts: 831000 | #Constraints: 814799
2911.14/2919.89 c #Conflicts: 832000 | #Constraints: 815799
2911.14/2919.89 c #Conflicts: 833000 | #Constraints: 816799
2911.14/2919.89 c #Conflicts: 834000 | #Constraints: 817799
2911.14/2919.89 c #Conflicts: 835000 | #Constraints: 818799
2911.14/2919.89 c #Conflicts: 836000 | #Constraints: 819799
2911.14/2919.89 c #Conflicts: 837000 | #Constraints: 820799
2911.14/2919.89 c #Conflicts: 838000 | #Constraints: 821799
2911.14/2919.89 c #Conflicts: 839000 | #Constraints: 822799
2911.14/2919.89 c #Conflicts: 840000 | #Constraints: 823799
2911.14/2919.89 c #Conflicts: 841000 | #Constraints: 824799
2911.14/2919.89 c #Conflicts: 842000 | #Constraints: 825799
2911.14/2919.89 c #Conflicts: 843000 | #Constraints: 826799
2911.14/2919.89 c #Conflicts: 844000 | #Constraints: 827799
2911.14/2919.89 c #Conflicts: 845000 | #Constraints: 828799
2911.14/2919.89 c #Conflicts: 846000 | #Constraints: 829799
2911.14/2919.89 c #Conflicts: 847000 | #Constraints: 830799
2911.14/2919.89 c #Conflicts: 848000 | #Constraints: 831799
2911.14/2919.89 c #Conflicts: 849000 | #Constraints: 832799
2911.14/2919.89 c #Conflicts: 850000 | #Constraints: 833799
2911.14/2919.89 c INPROCESSING
2911.14/2919.89 c GARBAGE COLLECT
2911.14/2919.89 c #Conflicts: 851000 | #Constraints: 788094
2911.14/2919.89 c #Conflicts: 852000 | #Constraints: 789094
2911.14/2919.89 c #Conflicts: 853000 | #Constraints: 790094
2911.14/2919.89 c #Conflicts: 854000 | #Constraints: 791094
2911.14/2919.89 c #Conflicts: 855000 | #Constraints: 792094
2911.14/2919.89 c #Conflicts: 856000 | #Constraints: 793094
2911.14/2919.89 c #Conflicts: 857000 | #Constraints: 794094
2911.14/2919.89 c #Conflicts: 858000 | #Constraints: 795094
2987.51/2996.45 c #Conflicts: 859000 | #Constraints: 796094
2987.51/2996.45 c #Conflicts: 860000 | #Constraints: 797094
2987.51/2996.45 c #Conflicts: 861000 | #Constraints: 798094
2987.51/2996.45 c #Conflicts: 862000 | #Constraints: 799094
2987.51/2996.45 c #Conflicts: 863000 | #Constraints: 800094
2987.51/2996.45 c #Conflicts: 864000 | #Constraints: 801094
2987.51/2996.45 c #Conflicts: 865000 | #Constraints: 802094
2987.51/2996.45 c #Conflicts: 866000 | #Constraints: 803094
2987.51/2996.45 c #Conflicts: 867000 | #Constraints: 804094
2987.51/2996.45 c #Conflicts: 868000 | #Constraints: 805094
2987.51/2996.45 c #Conflicts: 869000 | #Constraints: 806094
2987.51/2996.45 c #Conflicts: 870000 | #Constraints: 807094
2987.51/2996.45 c #Conflicts: 871000 | #Constraints: 808094
2987.51/2996.45 c #Conflicts: 872000 | #Constraints: 809094
2987.51/2996.45 c #Conflicts: 873000 | #Constraints: 810094
2987.51/2996.45 c #Conflicts: 874000 | #Constraints: 811094
2987.51/2996.45 c #Conflicts: 875000 | #Constraints: 812094
2987.51/2996.45 c #Conflicts: 876000 | #Constraints: 813094
2987.51/2996.45 c #Conflicts: 877000 | #Constraints: 814094
2987.51/2996.45 c #Conflicts: 878000 | #Constraints: 815094
2987.51/2996.45 c INPROCESSING
2987.51/2996.45 c GARBAGE COLLECT
2987.51/2996.45 c #Conflicts: 879000 | #Constraints: 778749
2987.51/2996.45 c #Conflicts: 880000 | #Constraints: 779749
2987.51/2996.45 c #Conflicts: 881000 | #Constraints: 780749
2987.51/2996.45 c #Conflicts: 882000 | #Constraints: 781749
2987.51/2996.45 c #Conflicts: 883000 | #Constraints: 782749
2987.51/2996.45 c #Conflicts: 884000 | #Constraints: 783749
2987.51/2996.45 c #Conflicts: 885000 | #Constraints: 784749
2987.51/2996.45 c #Conflicts: 886000 | #Constraints: 785749
2987.51/2996.45 c #Conflicts: 887000 | #Constraints: 786749
2987.51/2996.45 c #Conflicts: 888000 | #Constraints: 787749
2987.51/2996.45 c #Conflicts: 889000 | #Constraints: 788749
2987.51/2996.45 c #Conflicts: 890000 | #Constraints: 789749
2987.51/2996.45 c #Conflicts: 891000 | #Constraints: 790749
2987.51/2996.45 c #Conflicts: 892000 | #Constraints: 791749
2987.51/2996.45 c #Conflicts: 893000 | #Constraints: 792749
2987.51/2996.45 c #Conflicts: 894000 | #Constraints: 793749
2987.51/2996.45 c #Conflicts: 895000 | #Constraints: 794749
2987.51/2996.45 c #Conflicts: 896000 | #Constraints: 795749
2987.51/2996.45 c #Conflicts: 897000 | #Constraints: 796749
2987.51/2996.45 c #Conflicts: 898000 | #Constraints: 797749
2987.51/2996.45 c #Conflicts: 899000 | #Constraints: 798749
2987.51/2996.45 c #Conflicts: 900000 | #Constraints: 799749
2987.51/2996.45 c #Conflicts: 901000 | #Constraints: 800749
2987.51/2996.45 c #Conflicts: 902000 | #Constraints: 801749
2987.51/2996.45 c #Conflicts: 903000 | #Constraints: 802749
2987.51/2996.45 c #Conflicts: 904000 | #Constraints: 803749
2987.51/2996.45 c #Conflicts: 905000 | #Constraints: 804749
2987.51/2996.45 c #Conflicts: 906000 | #Constraints: 805749
2987.51/2996.45 c #Conflicts: 907000 | #Constraints: 806749
2987.51/2996.45 c #Conflicts: 908000 | #Constraints: 807749
2987.51/2996.45 c #Conflicts: 909000 | #Constraints: 808749
2987.51/2996.45 c #Conflicts: 910000 | #Constraints: 809749
2987.51/2996.45 c #Conflicts: 911000 | #Constraints: 810749
2987.51/2996.45 c #Conflicts: 912000 | #Constraints: 811749
2987.51/2996.45 c #Conflicts: 913000 | #Constraints: 812749
2987.51/2996.45 c #Conflicts: 914000 | #Constraints: 813749
2987.51/2996.45 c #Conflicts: 915000 | #Constraints: 814749
2987.51/2996.45 c #Conflicts: 916000 | #Constraints: 815749
2987.51/2996.45 c #Conflicts: 917000 | #Constraints: 816749
2987.51/2996.45 c #Conflicts: 918000 | #Constraints: 817749
2987.51/2996.45 c #Conflicts: 919000 | #Constraints: 818749
2987.51/2996.45 c #Conflicts: 920000 | #Constraints: 819749
2987.51/2996.45 c #Conflicts: 921000 | #Constraints: 820749
2987.51/2996.45 c #Conflicts: 922000 | #Constraints: 821749
2987.51/2996.45 c #Conflicts: 923000 | #Constraints: 822749
2987.51/2996.45 c #Conflicts: 924000 | #Constraints: 823749
2987.51/2996.45 c #Conflicts: 925000 | #Constraints: 824749
2987.51/2996.45 c #Conflicts: 926000 | #Constraints: 825749
2987.51/2996.45 c #Conflicts: 927000 | #Constraints: 826749
2987.51/2996.45 c #Conflicts: 928000 | #Constraints: 827749
2987.51/2996.45 c #Conflicts: 929000 | #Constraints: 828749
2987.51/2996.45 c #Conflicts: 930000 | #Constraints: 829749
2987.51/2996.45 c #Conflicts: 931000 | #Constraints: 830749
2987.51/2996.45 c #Conflicts: 932000 | #Constraints: 831749
2987.51/2996.45 c #Conflicts: 933000 | #Constraints: 832749
2987.51/2996.45 c #Conflicts: 934000 | #Constraints: 833749
2987.51/2996.45 c #Conflicts: 935000 | #Constraints: 834749
2987.51/2996.45 c #Conflicts: 936000 | #Constraints: 835749
3279.65/3289.39 c #Conflicts: 937000 | #Constraints: 836749
3279.65/3289.39 c #Conflicts: 938000 | #Constraints: 837749
3279.65/3289.39 c #Conflicts: 939000 | #Constraints: 838749
3279.65/3289.39 c INPROCESSING
3279.65/3289.39 c GARBAGE COLLECT
3279.65/3289.39 c #Conflicts: 940000 | #Constraints: 790175
3279.65/3289.39 c #Conflicts: 941000 | #Constraints: 791175
3279.65/3289.39 c #Conflicts: 942000 | #Constraints: 792175
3279.65/3289.39 c #Conflicts: 943000 | #Constraints: 793175
3279.65/3289.39 c #Conflicts: 944000 | #Constraints: 794175
3279.65/3289.39 c #Conflicts: 945000 | #Constraints: 795175
3279.65/3289.39 c #Conflicts: 946000 | #Constraints: 796175
3279.65/3289.39 c #Conflicts: 947000 | #Constraints: 797175
3279.65/3289.39 c #Conflicts: 948000 | #Constraints: 798175
3279.65/3289.39 c #Conflicts: 949000 | #Constraints: 799175
3279.65/3289.39 c #Conflicts: 950000 | #Constraints: 800175
3279.65/3289.39 c #Conflicts: 951000 | #Constraints: 801175
3279.65/3289.39 c #Conflicts: 952000 | #Constraints: 802175
3279.65/3289.39 c #Conflicts: 953000 | #Constraints: 803175
3279.65/3289.39 c #Conflicts: 954000 | #Constraints: 804175
3279.65/3289.39 c #Conflicts: 955000 | #Constraints: 805175
3279.65/3289.39 c #Conflicts: 956000 | #Constraints: 806175
3279.65/3289.39 c #Conflicts: 957000 | #Constraints: 807175
3279.65/3289.39 c #Conflicts: 958000 | #Constraints: 808175
3279.65/3289.39 c #Conflicts: 959000 | #Constraints: 809175
3279.65/3289.39 c #Conflicts: 960000 | #Constraints: 810175
3279.65/3289.39 c #Conflicts: 961000 | #Constraints: 811175
3279.65/3289.39 c #Conflicts: 962000 | #Constraints: 812175
3279.65/3289.39 c #Conflicts: 963000 | #Constraints: 813175
3279.65/3289.39 c #Conflicts: 964000 | #Constraints: 814175
3279.65/3289.39 c #Conflicts: 965000 | #Constraints: 815175
3279.65/3289.39 c #Conflicts: 966000 | #Constraints: 816175
3279.65/3289.39 c #Conflicts: 967000 | #Constraints: 817175
3279.65/3289.39 c #Conflicts: 968000 | #Constraints: 818175
3279.65/3289.39 c #Conflicts: 969000 | #Constraints: 819175
3279.65/3289.39 c INPROCESSING
3279.65/3289.39 c GARBAGE COLLECT
3279.65/3289.39 c #Conflicts: 970000 | #Constraints: 780721
3279.65/3289.39 c #Conflicts: 971000 | #Constraints: 781721
3279.65/3289.39 c #Conflicts: 972000 | #Constraints: 782721
3279.65/3289.39 c #Conflicts: 973000 | #Constraints: 783721
3279.65/3289.39 c #Conflicts: 974000 | #Constraints: 784721
3279.65/3289.39 c #Conflicts: 975000 | #Constraints: 785721
3279.65/3289.39 c #Conflicts: 976000 | #Constraints: 786721
3279.65/3289.39 c #Conflicts: 977000 | #Constraints: 787721
3279.65/3289.39 c #Conflicts: 978000 | #Constraints: 788721
3279.65/3289.39 c #Conflicts: 979000 | #Constraints: 789721
3279.65/3289.39 c #Conflicts: 980000 | #Constraints: 790721
3279.65/3289.39 c #Conflicts: 981000 | #Constraints: 791721
3279.65/3289.39 c #Conflicts: 982000 | #Constraints: 792721
3279.65/3289.39 c #Conflicts: 983000 | #Constraints: 793721
3279.65/3289.39 c #Conflicts: 984000 | #Constraints: 794721
3279.65/3289.39 c #Conflicts: 985000 | #Constraints: 795721
3279.65/3289.39 c #Conflicts: 986000 | #Constraints: 796721
3279.65/3289.39 c #Conflicts: 987000 | #Constraints: 797721
3279.65/3289.39 c #Conflicts: 988000 | #Constraints: 798721
3279.65/3289.39 c #Conflicts: 989000 | #Constraints: 799721
3279.65/3289.39 c #Conflicts: 990000 | #Constraints: 800721
3279.65/3289.39 c #Conflicts: 991000 | #Constraints: 801721
3279.65/3289.39 c #Conflicts: 992000 | #Constraints: 802721
3279.65/3289.39 c #Conflicts: 993000 | #Constraints: 803721
3279.65/3289.39 c #Conflicts: 994000 | #Constraints: 804721
3279.65/3289.39 c #Conflicts: 995000 | #Constraints: 805721
3279.65/3289.39 c #Conflicts: 996000 | #Constraints: 806721
3279.65/3289.39 c #Conflicts: 997000 | #Constraints: 807721
3279.65/3289.39 c #Conflicts: 998000 | #Constraints: 808721
3279.65/3289.39 c #Conflicts: 999000 | #Constraints: 809721
3279.65/3289.39 c #Conflicts: 1000000 | #Constraints: 810721
3279.65/3289.39 c #Conflicts: 1001000 | #Constraints: 811721
3279.65/3289.39 c #Conflicts: 1002000 | #Constraints: 812721
3279.65/3289.39 c #Conflicts: 1003000 | #Constraints: 813721
3279.65/3289.39 c #Conflicts: 1004000 | #Constraints: 814721
3279.65/3289.39 c #Conflicts: 1005000 | #Constraints: 815721
3279.65/3289.39 c #Conflicts: 1006000 | #Constraints: 816721
3279.65/3289.39 c #Conflicts: 1007000 | #Constraints: 817721
3279.65/3289.39 c #Conflicts: 1008000 | #Constraints: 818721
3279.65/3289.39 c #Conflicts: 1009000 | #Constraints: 819721
3279.65/3289.39 c #Conflicts: 1010000 | #Constraints: 820721
3279.65/3289.39 c #Conflicts: 1011000 | #Constraints: 821721
3279.65/3289.39 c #Conflicts: 1012000 | #Constraints: 822721
3279.65/3289.39 c #Conflicts: 1013000 | #Constraints: 823721
3279.65/3289.39 c #Conflicts: 1014000 | #Constraints: 824721
3590.84/3601.35 c #Conflicts: 1015000 | #Constraints: 825721
3590.84/3601.35 c #Conflicts: 1016000 | #Constraints: 826721
3590.84/3601.35 c #Conflicts: 1017000 | #Constraints: 827721
3590.84/3601.35 c #Conflicts: 1018000 | #Constraints: 828721
3590.84/3601.35 c #Conflicts: 1019000 | #Constraints: 829721
3590.84/3601.35 c #Conflicts: 1020000 | #Constraints: 830721
3590.84/3601.35 c #Conflicts: 1021000 | #Constraints: 831721
3590.84/3601.35 c #Conflicts: 1022000 | #Constraints: 832721
3590.84/3601.35 c #Conflicts: 1023000 | #Constraints: 833721
3590.84/3601.35 c #Conflicts: 1024000 | #Constraints: 834721
3590.84/3601.35 c #Conflicts: 1025000 | #Constraints: 835721
3590.84/3601.35 c #Conflicts: 1026000 | #Constraints: 836721
3590.84/3601.35 c #Conflicts: 1027000 | #Constraints: 837721
3590.84/3601.35 c #Conflicts: 1028000 | #Constraints: 838721
3590.84/3601.35 c #Conflicts: 1029000 | #Constraints: 839721
3590.84/3601.35 c #Conflicts: 1030000 | #Constraints: 840721
3590.84/3601.35 c #Conflicts: 1031000 | #Constraints: 841721
3590.84/3601.35 c #Conflicts: 1032000 | #Constraints: 842721
3590.84/3601.35 c #Conflicts: 1033000 | #Constraints: 843721
3590.84/3601.35 c INPROCESSING
3590.84/3601.35 c GARBAGE COLLECT
3590.84/3601.35 c #Conflicts: 1034000 | #Constraints: 792865
3590.84/3601.35 c #Conflicts: 1035000 | #Constraints: 793865
3590.84/3601.35 c #Conflicts: 1036000 | #Constraints: 794865
3590.84/3601.35 c #Conflicts: 1037000 | #Constraints: 795865
3590.84/3601.35 c #Conflicts: 1038000 | #Constraints: 796865
3590.84/3601.35 c #Conflicts: 1039000 | #Constraints: 797865
3590.84/3601.35 c #Conflicts: 1040000 | #Constraints: 798865
3590.84/3601.35 c #Conflicts: 1041000 | #Constraints: 799865
3590.84/3601.35 c #Conflicts: 1042000 | #Constraints: 800865
3590.84/3601.35 c #Conflicts: 1043000 | #Constraints: 801865
3590.84/3601.35 c #Conflicts: 1044000 | #Constraints: 802865
3590.84/3601.35 c #Conflicts: 1045000 | #Constraints: 803865
3590.84/3601.35 c #Conflicts: 1046000 | #Constraints: 804865
3590.84/3601.35 c #Conflicts: 1047000 | #Constraints: 805865
3590.84/3601.35 c #Conflicts: 1048000 | #Constraints: 806865
3590.84/3601.35 c #Conflicts: 1049000 | #Constraints: 807865
3590.84/3601.35 c #Conflicts: 1050000 | #Constraints: 808865
3590.84/3601.35 c #Conflicts: 1051000 | #Constraints: 809865
3590.84/3601.35 c #Conflicts: 1052000 | #Constraints: 810865
3590.84/3601.35 c #Conflicts: 1053000 | #Constraints: 811865
3590.84/3601.35 c #Conflicts: 1054000 | #Constraints: 812865
3590.84/3601.35 c #Conflicts: 1055000 | #Constraints: 813865
3590.84/3601.35 c #Conflicts: 1056000 | #Constraints: 814865
3590.84/3601.35 c #Conflicts: 1057000 | #Constraints: 815865
3590.84/3601.35 c #Conflicts: 1058000 | #Constraints: 816865
3590.84/3601.35 c #Conflicts: 1059000 | #Constraints: 817865
3590.84/3601.35 c #Conflicts: 1060000 | #Constraints: 818865
3590.84/3601.35 c #Conflicts: 1061000 | #Constraints: 819865
3590.84/3601.35 c #Conflicts: 1062000 | #Constraints: 820865
3590.84/3601.35 c #Conflicts: 1063000 | #Constraints: 821865
3590.84/3601.35 c #Conflicts: 1064000 | #Constraints: 822865
3590.84/3601.35 c INPROCESSING
3590.84/3601.35 c GARBAGE COLLECT
3590.84/3601.35 c rational objective 1418.69
3600.01/3610.50 c cpu time 3582.33 s
3600.01/3610.50 c deterministic time 11443943188 1.14e+10
3600.01/3610.50 c optimization time 5.38659 s
3600.01/3610.50 c total solve time 3573.07 s
3600.01/3610.50 c core-guided solve time 0 s
3600.01/3610.50 c propagation time 413.31 s
3600.01/3610.50 c conflict analysis time 46.4931 s
3600.01/3610.50 c propagations 1187249823
3600.01/3610.50 c resolve steps 12038421
3600.01/3610.50 c decisions 17119957
3600.01/3610.50 c conflicts 1064001
3600.01/3610.50 c restarts 2046
3600.01/3610.50 c inprocessing phases 40
3600.01/3610.50 c garbage collections 25 ,( 62.50 )
3600.01/3610.50 c input clauses 659976 ,( 89.50 )
3600.01/3610.50 c input cardinalities 2643 ,( 0.36 )
3600.01/3610.50 c input general constraints 74746 ,( 10.14 )
3600.01/3610.50 c input average constraint length 3.91
3600.01/3610.50 c input average constraint degree 1.12
3600.01/3610.50 c learned clauses 1063567 ,( 99.96 )
3600.01/3610.50 c learned cardinalities 392 ,( 0.04 )
3600.01/3610.50 c learned general constraints 44 ,( 0.00 )
3600.01/3610.50 c learned average constraint length 102.50
3600.01/3610.50 c learned average constraint degree 12304.79
3600.01/3610.50 c watched CF 32, 64, 128, Arb: 31 , 0 , 0 , 0
3600.01/3610.50 c counting CF 32, 64, 128, Arb: 74759 , 0 , 0 , 0
3600.01/3610.50 c watched constraints 31 ,( 0.04 )
3600.01/3610.50 c counting constraints 74759 ,( 99.96 )
3600.01/3610.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1945551983 , 3351667 , 68487320 ,( 9216 , 68478104 )
3600.01/3610.50 c gcd simplifications 290
3600.01/3610.50 c detected cardinalities 6
3600.01/3610.50 c weakened non-implied lits 299422
3600.01/3610.50 c weakened non-implying lits 821
3600.01/3610.50 c original variables 33692
3600.01/3610.50 c clausal propagations 1174672455
3600.01/3610.50 c cardinality propagations 2071372
3600.01/3610.50 c watched propagations 183
3600.01/3610.50 c counting propagations 9438841
3600.01/3610.50 c watch lookups 2802794082
3600.01/3610.50 c watch backjump lookups 0
3600.01/3610.50 c watch checks 4625830815
3600.01/3610.50 c propagation checks 1354092825
3600.01/3610.50 c constraint additions 251136338
3600.01/3610.50 c trail pops 1205433734
3600.01/3610.50 c formula constraints 737365
3600.01/3610.50 c learned constraints 1064001
3600.01/3610.50 c bound constraints 0
3600.01/3610.50 c core-guided constraints 0
3600.01/3610.50 c encountered formula constraints 9665701
3600.01/3610.50 c encountered learned constraints 3435408
3600.01/3610.50 c encountered bound constraints 0
3600.01/3610.50 c encountered core-guided constraints 0
3600.01/3610.50 c LP total time 988.924 s
3600.01/3610.50 c LP solve time 977.14 s
3600.01/3610.50 c LP constraints added 737407
3600.01/3610.50 c LP constraints removed 2
3600.01/3610.50 c LP pivots internal 131394
3600.01/3610.50 c LP pivots root 154219
3600.01/3610.50 c LP calls 14
3600.01/3610.50 c LP optimalities 8
3600.01/3610.50 c LP no pivot count 0
3600.01/3610.50 c LP infeasibilities 0
3600.01/3610.50 c LP valid Farkas constraints 0
3600.01/3610.50 c LP learned Farkas constraints 0
3600.01/3610.50 c LP basis resets 0
3600.01/3610.50 c LP cycling count 0
3600.01/3610.50 c LP singular count 0
3600.01/3610.50 c LP no primal count 0
3600.01/3610.50 c LP no farkas count 0
3600.01/3610.50 c LP other issue count 0
3600.01/3610.50 c LP Gomory cuts 2
3600.01/3610.50 c LP learned cuts 81
3600.01/3610.50 c LP deleted cuts 25
3600.01/3610.50 c LP encountered Gomory constraints 1313
3600.01/3610.50 c LP encountered Farkas constraints 0
3600.01/3610.50 c LP encountered learned Farkas constraints 0
3600.01/3610.50 c CG auxiliary variables introduced 0
3600.01/3610.50 c CG solutions found 0
3600.01/3610.50 c CG cores constructed 0
3600.01/3610.50 c CG core cardinality constraints returned 0
3600.01/3610.50 c CG unit cores 0
3600.01/3610.50 c CG single cores 0
3600.01/3610.50 c CG blocks removed during cardinality reduction 0
3600.01/3610.50 c CG first core best 0
3600.01/3610.50 c CG decision core best 0
3600.01/3610.50 c CG core reduction tie 0
3600.01/3610.50 c CG core degree average 0.00
3600.01/3610.50 c CG core slack average 0.00
3600.01/3610.50 c CG core upper bound improvements 0
3600.01/3610.50 c STR number of successful calls 0
3600.01/3610.50 c STR number of unsuccessful calls 0
3600.01/3610.50 c STR number of inconclusive calls 0
3600.01/3610.50 c STR number of successful attempts 0
3600.01/3610.50 c STR number of unsuccessful attempts 0
3600.01/3610.50 c STR number of inconclusive attempts 0
3600.01/3610.50 c STR average degree increase per successful call inf
3600.01/3610.50 c STR average degree increase per successful attempt inf
3600.01/3610.50 c STR total number of conflicts for successful attempts 0
3600.01/3610.50 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.50 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.50 c STR average number of conflicts per successful attempt inf
3600.01/3610.50 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.50 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.50 c AVG.sumWPerc 60.77
3600.01/3610.50 c bigint constraints 0
3600.01/3610.50 s UNKNOWN
3600.01/3610.50 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: 63708 MiB (62893 MiB free)
memory of node 1: 64465 MiB (63947 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503749-1751170426/watcher-4503749-1751170426 -o /tmp/evaluation-result-4503749-1751170426/solver-4503749-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20381 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503749-1751170426.opb PROOFDIR/proof-4503749-1751170426
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=20432, runsolver pid=20428
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.66 1.56 2.40 5/263 20440
/proc/meminfo: memFree=129731268/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20434] ppid=20432 vsize=165968 memory=147056 CPUtime=0.07 cores=4,6
/proc/20434/stat : 20434 (pbsuma) R 20432 20432 20370 0 -1 4194304 4060 0 0 0 4 3 0 0 20 0 1 0 32720141 169951232 36764 18446744073709551615 4210688 4653049 140733067174672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20729856 140733067180259 140733067180594 140733067180594 140733067186159 0
/proc/20434/statm: 41492 36764 928 108 0 38900 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 170160 KiB
Current children cumulated memory: 150128 KiB
[startup+0.205889 s]*
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129555848/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20434] ppid=20432 vsize=188336 memory=171728 CPUtime=0.18 cores=4,6
/proc/20434/stat : 20434 (pbsuma) R 20432 20432 20370 0 -1 4194304 9172 0 0 0 14 4 0 0 20 0 1 0 32720141 192856064 42932 18446744073709551615 4210688 4653049 140733067174672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20729856 140733067180259 140733067180594 140733067180594 140733067186159 0
/proc/20434/statm: 47084 42932 928 108 0 44492 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 192528 KiB
Current children cumulated memory: 174800 KiB
[startup+0.305486 s]*
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129502924/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20434] ppid=20432 vsize=203788 memory=189620 CPUtime=0.28 cores=4,6
/proc/20434/stat : 20434 (pbsuma) R 20432 20432 20370 0 -1 4194304 12420 0 0 0 23 5 0 0 20 0 1 0 32720141 208678912 47405 18446744073709551615 4210688 4653049 140733067174672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20729856 140733067180259 140733067180594 140733067180594 140733067186159 0
/proc/20434/statm: 50947 47405 928 108 0 48355 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 207980 KiB
Current children cumulated memory: 192692 KiB
[startup+0.700207 s]
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129415016/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20434] ppid=20432 vsize=404472 memory=340668 CPUtime=0.62 cores=4,6
/proc/20434/stat : 20434 (pbsuma) R 20432 20432 20370 0 -1 4194304 27908 0 0 0 51 11 0 0 20 0 1 0 32720141 414179328 85167 18446744073709551615 4210688 4653049 140733067174672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 20729856 140733067180259 140733067180594 140733067180594 140733067186159 0
/proc/20434/statm: 101118 85167 960 108 0 98526 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 408664 KiB
Current children cumulated memory: 343740 KiB
[startup+1.50017 s]
/proc/loadavg: 0.66 1.56 2.40 5/268 20445
/proc/meminfo: memFree=129014884/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+3.10539 s]
/proc/loadavg: 0.66 1.56 2.40 5/268 20447
/proc/meminfo: memFree=129018836/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=246268 memory=192960 CPUtime=1.94 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 43890 0 0 0 155 39 0 0 20 0 1 0 32720255 252178432 48240 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 61567 48240 2048 1147 0 48994 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 250460 KiB
Current children cumulated memory: 196032 KiB
[startup+6.30021 s]
/proc/loadavg: 0.92 1.60 2.41 5/268 20447
/proc/meminfo: memFree=127985312/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1250488 memory=1023780 CPUtime=5.12 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 109293 0 0 0 419 93 0 0 20 0 1 0 32720255 1280499712 255945 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 312622 255945 2272 1147 0 300049 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 1254680 KiB
Current children cumulated memory: 1026852 KiB
[startup+12.7002 s]
/proc/loadavg: 1.17 1.64 2.42 5/268 20447
/proc/meminfo: memFree=126722364/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1250488 memory=1028720 CPUtime=11.5 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 109518 0 0 0 1056 94 0 0 20 0 1 0 32720255 1280499712 257180 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 312622 257180 2304 1147 0 300049 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 1254680 KiB
Current children cumulated memory: 1031792 KiB
[startup+25.5002 s]
/proc/loadavg: 1.87 1.78 2.45 5/272 20451
/proc/meminfo: memFree=126896412/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1250488 memory=1028720 CPUtime=24.26 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 109525 0 0 0 2332 94 0 0 20 0 1 0 32720255 1280499712 257180 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 312622 257180 2304 1147 0 300049 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 1254680 KiB
Current children cumulated memory: 1031792 KiB
[startup+51.1056 s]
/proc/loadavg: 2.60 1.95 2.49 5/272 20452
/proc/meminfo: memFree=126925288/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1250488 memory=1028720 CPUtime=49.78 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 109525 0 0 0 4884 94 0 0 20 0 1 0 32720255 1280499712 257180 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 312622 257180 2304 1147 0 300049 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1254680 KiB
Current children cumulated memory: 1031792 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 2.29 2.58 5/272 20454
/proc/meminfo: memFree=126766108/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1272200 memory=1049052 CPUtime=100.83 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 114167 0 0 0 9979 104 0 0 20 0 1 0 32720255 1302732800 262263 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 318050 262263 2368 1147 0 305477 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 1276392 KiB
Current children cumulated memory: 1052124 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 2.71 2.70 5/272 20456
/proc/meminfo: memFree=126524900/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1275092 memory=1054336 CPUtime=160.64 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 114465 0 0 0 15953 111 0 0 20 0 1 0 32720255 1305694208 263584 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 318773 263584 2368 1147 0 306200 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1279284 KiB
Current children cumulated memory: 1057408 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.95 2.79 5/273 20459
/proc/meminfo: memFree=126347108/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1275092 memory=1054336 CPUtime=220.44 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 114491 0 0 0 21928 116 0 0 20 0 1 0 32720255 1305694208 263584 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 318773 263584 2368 1147 0 306200 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 1279284 KiB
################
# More data... #
################
/proc/20446/statm: 385549 318896 2368 1147 0 372976 0
Current children cumulated CPU time: 3093.15 s
Current children cumulated vsize: 1546388 KiB
Current children cumulated memory: 1278656 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/273 20670
/proc/meminfo: memFree=116890324/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1577548 memory=1314324 CPUtime=3151.93 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 131836 0 0 0 313619 1574 0 0 20 0 1 0 32720255 1615409152 328581 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 394387 328581 2368 1147 0 381814 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 1581740 KiB
Current children cumulated memory: 1317396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/272 20672
/proc/meminfo: memFree=116654044/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1630792 memory=1375712 CPUtime=3211.77 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134010 0 0 0 319599 1578 0 0 20 0 1 0 32720255 1669931008 343928 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 407698 343928 2368 1147 0 395125 0
Current children cumulated CPU time: 3212.83 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1378784 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/271 20674
/proc/meminfo: memFree=116437376/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1630792 memory=1375712 CPUtime=3271.61 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134035 0 0 0 325571 1590 0 0 20 0 1 0 32720255 1669931008 343928 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 407698 343928 2368 1147 0 395125 0
Current children cumulated CPU time: 3272.67 s
Current children cumulated vsize: 1634984 KiB
Current children cumulated memory: 1378784 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/273 20680
/proc/meminfo: memFree=116247176/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3331.47 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134332 0 0 0 331530 1617 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3332.53 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/274 20685
/proc/meminfo: memFree=116159152/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3391.31 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134338 0 0 0 337493 1638 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/272 20689
/proc/meminfo: memFree=116111408/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3451.15 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134355 0 0 0 343471 1644 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.02 5/272 20691
/proc/meminfo: memFree=116056376/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3510.97 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134457 0 0 0 349448 1649 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/272 20693
/proc/meminfo: memFree=115867664/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3570.82 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134471 0 0 0 355423 1659 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3571.88 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.11 4.09 4.03 5/273 20695
/proc/meminfo: memFree=115762420/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3598.95 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134652 0 0 0 358232 1663 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 20432 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.906625 s, system=0.162653 s
[startup+3610.61 s]
# the end of solver process 20446 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.33 s, system=16.8034 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+3610.5 s]
/proc/loadavg: 4.11 4.09 4.03 5/273 20695
/proc/meminfo: memFree=115762420/131249996 swapFree=33010684/33010684
[pid=20432] ppid=20428 vsize=4192 memory=3072 CPUtime=1.06 cores=4,6
/proc/20432/stat : 20432 (run-dec-break-l) S 20428 20432 20370 0 -1 4194304 241 37597 0 0 0 0 90 16 20 0 1 0 32720140 4292608 768 18446744073709551615 93830256873472 93830257768005 140724547457680 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93830258007056 93830258054800 93830277210112 140724547463445 140724547463646 140724547463646 140724547469248 0
/proc/20432/statm: 1048 768 704 219 0 110 0
[pid=20446] ppid=20432 vsize=1580432 memory=1331988 CPUtime=3598.95 cores=4,6
/proc/20446/stat : 20446 (roundingsat) R 20432 20432 20370 0 -1 4194304 134652 0 0 0 358232 1663 0 0 20 0 1 0 32720255 1618362368 332997 18446744073709551615 4227072 8923433 140737244185776 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27406336 140737244190964 140737244191272 140737244191272 140737244196842 0
/proc/20446/statm: 395108 332997 2368 1147 0 382535 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1584624 KiB
Current children cumulated memory: 1335060 KiB
Child status: 2
Real time (s): 3610.61
CPU time (s): 3600.13
CPU user time (s): 3583.33
CPU system time (s): 16.8034
CPU usage (%): 99.7099
Max. virtual memory (cumulated for all children) (KiB): 1634984
Max. memory (cumulated for all children) (KiB): 1378784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.33
system time used= 16.8034
maximum resident set size= 1375712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 495080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 366
involuntary context switches= 2879
# summary of solver processes directly reported to runsolver:
# pid: 20432,20446
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.33
# total CPU system time (s): 16.8034
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37957 second user time and 17.9687 second system time
The end
Begin job on nodeC015 at 2025-06-29 06:13:47
IDJOB=4503749
IDBENCH=155584
IDSOLVER=3358
FILE ID=nodeC015/4503749-1751170426
RUNJOBID= nodeC015-1751170426-20381
SLURM_JOB_ID= 9587528
Free space on /tmp= 432900 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-111.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503749-1751170426/watcher-4503749-1751170426 -o /tmp/evaluation-result-4503749-1751170426/solver-4503749-1751170426 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20381 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503749-1751170426.opb PROOFDIR/proof-4503749-1751170426
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4268d39683cc1d999f2f6f0490fb9359
RANDOM SEED=1383446850
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.070
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.666
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.189
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.043
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.095
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.077
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.108
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129916956 kB
MemAvailable: 129683784 kB
Buffers: 3280 kB
Cached: 577728 kB
SwapCached: 0 kB
Active: 380068 kB
Inactive: 358768 kB
Active(anon): 175904 kB
Inactive(anon): 0 kB
Active(file): 204164 kB
Inactive(file): 358768 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 105948 kB
Writeback: 0 kB
AnonPages: 160992 kB
Mapped: 103280 kB
Shmem: 18076 kB
KReclaimable: 86268 kB
Slab: 168976 kB
SReclaimable: 86268 kB
SUnreclaim: 82708 kB
KernelStack: 4024 kB
PageTables: 3328 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 482540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 53248 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432832 MiB
End job on nodeC015 at 2025-06-29 07:13:57