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-4507377-1751176527.opb'
0.00/0.01 c read 0.43MB (5.77ms)
0.00/0.01 c [cnf: #variables 6664 #clauses 6862 #duplicates 0 #arr 42789]
0.00/0.01 c output proof to 'PROOFDIR/proof-4507377-1751176527'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1176] (7.48ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.47ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 33518 #edges 125562]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 3.84*10^2 #generators 7] (6.79ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.02ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.03ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 196 #add_vars 63]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507377-1751176527.opb.pre'
0.00/0.03 c wrote 0.44MB (1.06ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 7.48ms 27.49% approx_orbits
0.00/0.03 c 6.79ms 24.96% detect_generic
0.00/0.03 c 5.76ms 21.18% parse
0.00/0.03 c 4.37ms 16.06% other
0.00/0.03 c 1.47ms 5.41% detect_special
0.00/0.03 c 1.06ms 3.89% output
0.00/0.03 c 0.22ms 0.83% finalize_order
0.00/0.03 c 0.03ms 0.10% break_generic
0.00/0.03 c 0.02ms 0.08% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 27.22ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.10 c #variables 6727 #constraints 7048
49.83/50.09 c #Conflicts: 1000 | #Constraints: 8047
49.83/50.09 c #Conflicts: 2000 | #Constraints: 9047
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 3000 | #Constraints: 8724
49.83/50.09 c #Conflicts: 4000 | #Constraints: 9724
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 5000 | #Constraints: 9195
49.83/50.09 c #Conflicts: 6000 | #Constraints: 10195
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 7000 | #Constraints: 9239
49.83/50.09 c #Conflicts: 8000 | #Constraints: 10239
49.83/50.09 c #Conflicts: 9000 | #Constraints: 11239
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 10000 | #Constraints: 9991
49.83/50.09 c #Conflicts: 11000 | #Constraints: 10991
49.83/50.09 c #Conflicts: 12000 | #Constraints: 11991
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 13000 | #Constraints: 10481
49.83/50.09 c #Conflicts: 14000 | #Constraints: 11481
49.83/50.09 c #Conflicts: 15000 | #Constraints: 12481
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 16000 | #Constraints: 10739
49.83/50.09 c #Conflicts: 17000 | #Constraints: 11739
49.83/50.09 c #Conflicts: 18000 | #Constraints: 12739
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 19000 | #Constraints: 10798
49.83/50.09 c #Conflicts: 20000 | #Constraints: 11798
49.83/50.09 c #Conflicts: 21000 | #Constraints: 12798
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 22000 | #Constraints: 10626
49.83/50.09 c #Conflicts: 23000 | #Constraints: 11626
49.83/50.09 c #Conflicts: 24000 | #Constraints: 12626
49.83/50.09 c #Conflicts: 25000 | #Constraints: 13626
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 26000 | #Constraints: 11273
49.83/50.09 c #Conflicts: 27000 | #Constraints: 12273
49.83/50.09 c #Conflicts: 28000 | #Constraints: 13273
49.83/50.09 c #Conflicts: 29000 | #Constraints: 14273
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 30000 | #Constraints: 11673
49.83/50.09 c #Conflicts: 31000 | #Constraints: 12673
49.83/50.09 c #Conflicts: 32000 | #Constraints: 13673
49.83/50.09 c #Conflicts: 33000 | #Constraints: 14673
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 34000 | #Constraints: 11903
49.83/50.09 c #Conflicts: 35000 | #Constraints: 12903
49.83/50.09 c #Conflicts: 36000 | #Constraints: 13903
49.83/50.09 c #Conflicts: 37000 | #Constraints: 14903
49.83/50.09 c #Conflicts: 38000 | #Constraints: 15903
49.83/50.09 c #Conflicts: 39000 | #Constraints: 16903
49.83/50.09 c #Conflicts: 40000 | #Constraints: 17903
49.83/50.09 c #Conflicts: 41000 | #Constraints: 18903
49.83/50.09 c #Conflicts: 42000 | #Constraints: 19903
49.83/50.09 c #Conflicts: 43000 | #Constraints: 20903
49.83/50.09 c #Conflicts: 44000 | #Constraints: 21903
49.83/50.09 c #Conflicts: 45000 | #Constraints: 22903
49.83/50.09 c #Conflicts: 46000 | #Constraints: 23903
49.83/50.09 c #Conflicts: 47000 | #Constraints: 24903
49.83/50.09 c #Conflicts: 48000 | #Constraints: 25903
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 49000 | #Constraints: 17585
49.83/50.09 c #Conflicts: 50000 | #Constraints: 18585
49.83/50.09 c #Conflicts: 51000 | #Constraints: 19585
49.83/50.09 c #Conflicts: 52000 | #Constraints: 20585
49.83/50.09 c #Conflicts: 53000 | #Constraints: 21585
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 54000 | #Constraints: 15231
49.83/50.09 c #Conflicts: 55000 | #Constraints: 16231
49.83/50.09 c #Conflicts: 56000 | #Constraints: 17231
49.83/50.09 c #Conflicts: 57000 | #Constraints: 18231
49.83/50.09 c #Conflicts: 58000 | #Constraints: 19231
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 59000 | #Constraints: 13860
49.83/50.09 c #Conflicts: 60000 | #Constraints: 14860
49.83/50.09 c #Conflicts: 61000 | #Constraints: 15860
49.83/50.09 c #Conflicts: 62000 | #Constraints: 16860
49.83/50.09 c #Conflicts: 63000 | #Constraints: 17860
49.83/50.09 c #Conflicts: 64000 | #Constraints: 18860
49.83/50.09 c INPROCESSING
49.83/50.09 c GARBAGE COLLECT
49.83/50.09 c #Conflicts: 65000 | #Constraints: 13819
49.83/50.09 c #Conflicts: 66000 | #Constraints: 14819
49.83/50.09 c #Conflicts: 67000 | #Constraints: 15819
49.83/50.09 c #Conflicts: 68000 | #Constraints: 16819
49.83/50.09 c #Conflicts: 69000 | #Constraints: 17819
49.83/50.09 c #Conflicts: 70000 | #Constraints: 18819
119.12/119.86 c INPROCESSING
119.12/119.86 c GARBAGE COLLECT
119.12/119.86 c #Conflicts: 71000 | #Constraints: 13851
119.12/119.86 c #Conflicts: 72000 | #Constraints: 14851
119.12/119.86 c #Conflicts: 73000 | #Constraints: 15851
119.12/119.86 c #Conflicts: 74000 | #Constraints: 16851
119.12/119.86 c #Conflicts: 75000 | #Constraints: 17851
119.12/119.86 c #Conflicts: 76000 | #Constraints: 18851
119.12/119.86 c #Conflicts: 77000 | #Constraints: 19851
119.12/119.86 c #Conflicts: 78000 | #Constraints: 20851
119.12/119.86 c #Conflicts: 79000 | #Constraints: 21851
119.12/119.86 c #Conflicts: 80000 | #Constraints: 22851
119.12/119.86 c #Conflicts: 81000 | #Constraints: 23851
119.12/119.86 c #Conflicts: 82000 | #Constraints: 24851
119.12/119.86 c #Conflicts: 83000 | #Constraints: 25851
119.12/119.86 c #Conflicts: 84000 | #Constraints: 26851
119.12/119.86 c #Conflicts: 85000 | #Constraints: 27851
119.12/119.86 c #Conflicts: 86000 | #Constraints: 28851
119.12/119.86 c #Conflicts: 87000 | #Constraints: 29851
119.12/119.86 c #Conflicts: 88000 | #Constraints: 30851
119.12/119.86 c #Conflicts: 89000 | #Constraints: 31851
119.12/119.86 c #Conflicts: 90000 | #Constraints: 32851
119.12/119.86 c #Conflicts: 91000 | #Constraints: 33851
119.12/119.86 c INPROCESSING
119.12/119.86 c GARBAGE COLLECT
119.12/119.86 c #Conflicts: 92000 | #Constraints: 21198
119.12/119.86 c #Conflicts: 93000 | #Constraints: 22198
119.12/119.86 c #Conflicts: 94000 | #Constraints: 23198
119.12/119.86 c #Conflicts: 95000 | #Constraints: 24198
119.12/119.86 c #Conflicts: 96000 | #Constraints: 25198
119.12/119.86 c #Conflicts: 97000 | #Constraints: 26198
119.12/119.86 c #Conflicts: 98000 | #Constraints: 27198
119.12/119.86 c #Conflicts: 99000 | #Constraints: 28198
119.12/119.86 c INPROCESSING
119.12/119.86 c GARBAGE COLLECT
119.12/119.86 c #Conflicts: 100000 | #Constraints: 18747
119.12/119.86 c #Conflicts: 101000 | #Constraints: 19747
119.12/119.86 c #Conflicts: 102000 | #Constraints: 20747
119.12/119.86 c #Conflicts: 103000 | #Constraints: 21747
119.12/119.86 c #Conflicts: 104000 | #Constraints: 22747
119.12/119.86 c #Conflicts: 105000 | #Constraints: 23747
119.12/119.86 c #Conflicts: 106000 | #Constraints: 24747
119.12/119.86 c INPROCESSING
119.12/119.86 c GARBAGE COLLECT
119.12/119.86 c #Conflicts: 107000 | #Constraints: 16897
119.12/119.86 c #Conflicts: 108000 | #Constraints: 17897
119.12/119.86 c #Conflicts: 109000 | #Constraints: 18897
119.12/119.86 c #Conflicts: 110000 | #Constraints: 19897
119.12/119.86 c #Conflicts: 111000 | #Constraints: 20897
119.12/119.86 c #Conflicts: 112000 | #Constraints: 21897
119.12/119.86 c #Conflicts: 113000 | #Constraints: 22897
119.12/119.86 c #Conflicts: 114000 | #Constraints: 23897
119.12/119.86 c INPROCESSING
119.12/119.86 c GARBAGE COLLECT
119.12/119.86 c #Conflicts: 115000 | #Constraints: 16626
119.12/119.86 c #Conflicts: 116000 | #Constraints: 17626
119.12/119.86 c #Conflicts: 117000 | #Constraints: 18626
119.12/119.86 c #Conflicts: 118000 | #Constraints: 19626
119.12/119.86 c #Conflicts: 119000 | #Constraints: 20626
119.12/119.86 c #Conflicts: 120000 | #Constraints: 21626
119.12/119.86 c #Conflicts: 121000 | #Constraints: 22626
119.12/119.86 c #Conflicts: 122000 | #Constraints: 23626
119.12/119.86 c #Conflicts: 123000 | #Constraints: 24626
119.12/119.86 c #Conflicts: 124000 | #Constraints: 25626
119.12/119.86 c #Conflicts: 125000 | #Constraints: 26626
119.12/119.86 c #Conflicts: 126000 | #Constraints: 27626
119.12/119.86 c #Conflicts: 127000 | #Constraints: 28626
119.12/119.86 c #Conflicts: 128000 | #Constraints: 29626
119.12/119.86 c #Conflicts: 129000 | #Constraints: 30626
119.12/119.86 c #Conflicts: 130000 | #Constraints: 31626
119.12/119.86 c #Conflicts: 131000 | #Constraints: 32626
119.12/119.86 c #Conflicts: 132000 | #Constraints: 33626
119.12/119.86 c #Conflicts: 133000 | #Constraints: 34626
119.12/119.86 c #Conflicts: 134000 | #Constraints: 35626
119.12/119.86 c #Conflicts: 135000 | #Constraints: 36626
119.12/119.86 c #Conflicts: 136000 | #Constraints: 37626
119.12/119.86 c #Conflicts: 137000 | #Constraints: 38626
119.12/119.86 c #Conflicts: 138000 | #Constraints: 39626
119.12/119.86 c #Conflicts: 139000 | #Constraints: 40626
119.12/119.86 c #Conflicts: 140000 | #Constraints: 41626
119.12/119.86 c INPROCESSING
119.12/119.86 c GARBAGE COLLECT
119.12/119.86 c #Conflicts: 141000 | #Constraints: 25184
119.12/119.86 c #Conflicts: 142000 | #Constraints: 26184
119.12/119.86 c #Conflicts: 143000 | #Constraints: 27184
119.12/119.86 c #Conflicts: 144000 | #Constraints: 28184
119.12/119.86 c #Conflicts: 145000 | #Constraints: 29184
201.58/202.82 c #Conflicts: 146000 | #Constraints: 30184
201.58/202.82 c #Conflicts: 147000 | #Constraints: 31184
201.58/202.82 c #Conflicts: 148000 | #Constraints: 32184
201.58/202.82 c #Conflicts: 149000 | #Constraints: 33184
201.58/202.82 c INPROCESSING
201.58/202.82 c GARBAGE COLLECT
201.58/202.82 c #Conflicts: 150000 | #Constraints: 21024
201.58/202.82 c #Conflicts: 151000 | #Constraints: 22024
201.58/202.82 c #Conflicts: 152000 | #Constraints: 23024
201.58/202.82 c #Conflicts: 153000 | #Constraints: 24024
201.58/202.82 c #Conflicts: 154000 | #Constraints: 25024
201.58/202.82 c #Conflicts: 155000 | #Constraints: 26024
201.58/202.82 c #Conflicts: 156000 | #Constraints: 27024
201.58/202.82 c #Conflicts: 157000 | #Constraints: 28024
201.58/202.82 c #Conflicts: 158000 | #Constraints: 29024
201.58/202.82 c INPROCESSING
201.58/202.82 c GARBAGE COLLECT
201.58/202.82 c #Conflicts: 159000 | #Constraints: 18895
201.58/202.82 c #Conflicts: 160000 | #Constraints: 19895
201.58/202.82 c #Conflicts: 161000 | #Constraints: 20895
201.58/202.82 c #Conflicts: 162000 | #Constraints: 21895
201.58/202.82 c #Conflicts: 163000 | #Constraints: 22895
201.58/202.82 c #Conflicts: 164000 | #Constraints: 23895
201.58/202.82 c #Conflicts: 165000 | #Constraints: 24895
201.58/202.82 c #Conflicts: 166000 | #Constraints: 25895
201.58/202.82 c #Conflicts: 167000 | #Constraints: 26895
201.58/202.82 c #Conflicts: 168000 | #Constraints: 27895
201.58/202.82 c INPROCESSING
201.58/202.82 c GARBAGE COLLECT
201.58/202.82 c #Conflicts: 169000 | #Constraints: 18652
201.58/202.82 c #Conflicts: 170000 | #Constraints: 19652
201.58/202.82 c #Conflicts: 171000 | #Constraints: 20652
201.58/202.82 c #Conflicts: 172000 | #Constraints: 21652
201.58/202.82 c #Conflicts: 173000 | #Constraints: 22652
201.58/202.82 c #Conflicts: 174000 | #Constraints: 23652
201.58/202.82 c #Conflicts: 175000 | #Constraints: 24652
201.58/202.82 c #Conflicts: 176000 | #Constraints: 25652
201.58/202.82 c #Conflicts: 177000 | #Constraints: 26652
201.58/202.82 c #Conflicts: 178000 | #Constraints: 27652
201.58/202.82 c #Conflicts: 179000 | #Constraints: 28652
201.58/202.82 c #Conflicts: 180000 | #Constraints: 29652
201.58/202.82 c #Conflicts: 181000 | #Constraints: 30652
201.58/202.82 c #Conflicts: 182000 | #Constraints: 31652
201.58/202.82 c #Conflicts: 183000 | #Constraints: 32652
201.58/202.82 c #Conflicts: 184000 | #Constraints: 33652
201.58/202.82 c #Conflicts: 185000 | #Constraints: 34652
201.58/202.82 c #Conflicts: 186000 | #Constraints: 35652
201.58/202.82 c #Conflicts: 187000 | #Constraints: 36652
201.58/202.82 c #Conflicts: 188000 | #Constraints: 37652
201.58/202.82 c #Conflicts: 189000 | #Constraints: 38652
201.58/202.82 c #Conflicts: 190000 | #Constraints: 39652
201.58/202.82 c #Conflicts: 191000 | #Constraints: 40652
201.58/202.82 c #Conflicts: 192000 | #Constraints: 41652
201.58/202.82 c #Conflicts: 193000 | #Constraints: 42652
201.58/202.82 c #Conflicts: 194000 | #Constraints: 43652
201.58/202.82 c #Conflicts: 195000 | #Constraints: 44652
201.58/202.82 c #Conflicts: 196000 | #Constraints: 45652
201.58/202.82 c #Conflicts: 197000 | #Constraints: 46652
201.58/202.82 c #Conflicts: 198000 | #Constraints: 47652
201.58/202.82 c #Conflicts: 199000 | #Constraints: 48652
201.58/202.82 c #Conflicts: 200000 | #Constraints: 49652
201.58/202.82 c INPROCESSING
201.58/202.82 c GARBAGE COLLECT
201.58/202.82 c #Conflicts: 201000 | #Constraints: 29662
201.58/202.82 c #Conflicts: 202000 | #Constraints: 30662
201.58/202.82 c #Conflicts: 203000 | #Constraints: 31662
201.58/202.82 c #Conflicts: 204000 | #Constraints: 32662
201.58/202.82 c #Conflicts: 205000 | #Constraints: 33662
201.58/202.82 c #Conflicts: 206000 | #Constraints: 34662
201.58/202.82 c #Conflicts: 207000 | #Constraints: 35662
201.58/202.82 c #Conflicts: 208000 | #Constraints: 36662
201.58/202.82 c #Conflicts: 209000 | #Constraints: 37662
201.58/202.82 c #Conflicts: 210000 | #Constraints: 38662
201.58/202.82 c INPROCESSING
201.58/202.82 c GARBAGE COLLECT
201.58/202.82 c rational objective 100.803
298.80/300.40 c #Conflicts: 211000 | #Constraints: 23878
298.80/300.40 c #Conflicts: 212000 | #Constraints: 24878
298.80/300.40 c #Conflicts: 213000 | #Constraints: 25878
298.80/300.40 c #Conflicts: 214000 | #Constraints: 26878
298.80/300.40 c #Conflicts: 215000 | #Constraints: 27878
298.80/300.40 c #Conflicts: 216000 | #Constraints: 28878
298.80/300.40 c #Conflicts: 217000 | #Constraints: 29878
298.80/300.40 c #Conflicts: 218000 | #Constraints: 30878
298.80/300.40 c #Conflicts: 219000 | #Constraints: 31878
298.80/300.40 c #Conflicts: 220000 | #Constraints: 32878
298.80/300.40 c #Conflicts: 221000 | #Constraints: 33878
298.80/300.40 c INPROCESSING
298.80/300.40 c GARBAGE COLLECT
298.80/300.40 c #Conflicts: 222000 | #Constraints: 21517
298.80/300.40 c #Conflicts: 223000 | #Constraints: 22517
298.80/300.40 c #Conflicts: 224000 | #Constraints: 23517
298.80/300.40 c #Conflicts: 225000 | #Constraints: 24517
298.80/300.40 c #Conflicts: 226000 | #Constraints: 25517
298.80/300.40 c #Conflicts: 227000 | #Constraints: 26517
298.80/300.40 c #Conflicts: 228000 | #Constraints: 27517
298.80/300.40 c #Conflicts: 229000 | #Constraints: 28517
298.80/300.40 c #Conflicts: 230000 | #Constraints: 29517
298.80/300.40 c #Conflicts: 231000 | #Constraints: 30517
298.80/300.40 c #Conflicts: 232000 | #Constraints: 31517
298.80/300.40 c INPROCESSING
298.80/300.40 c GARBAGE COLLECT
298.80/300.40 c #Conflicts: 233000 | #Constraints: 20353
298.80/300.40 c #Conflicts: 234000 | #Constraints: 21353
298.80/300.40 c #Conflicts: 235000 | #Constraints: 22353
298.80/300.40 c #Conflicts: 236000 | #Constraints: 23353
298.80/300.40 c #Conflicts: 237000 | #Constraints: 24353
298.80/300.40 c #Conflicts: 238000 | #Constraints: 25353
298.80/300.40 c #Conflicts: 239000 | #Constraints: 26353
298.80/300.40 c #Conflicts: 240000 | #Constraints: 27353
298.80/300.40 c #Conflicts: 241000 | #Constraints: 28353
298.80/300.40 c #Conflicts: 242000 | #Constraints: 29353
298.80/300.40 c #Conflicts: 243000 | #Constraints: 30353
298.80/300.40 c INPROCESSING
298.80/300.40 c GARBAGE COLLECT
298.80/300.40 c #Conflicts: 244000 | #Constraints: 19640
298.80/300.40 c #Conflicts: 245000 | #Constraints: 20640
298.80/300.40 c #Conflicts: 246000 | #Constraints: 21640
298.80/300.40 c #Conflicts: 247000 | #Constraints: 22640
298.80/300.40 c #Conflicts: 248000 | #Constraints: 23640
298.80/300.40 c #Conflicts: 249000 | #Constraints: 24640
298.80/300.40 c #Conflicts: 250000 | #Constraints: 25640
298.80/300.40 c #Conflicts: 251000 | #Constraints: 26640
298.80/300.40 c #Conflicts: 252000 | #Constraints: 27640
298.80/300.40 c #Conflicts: 253000 | #Constraints: 28640
298.80/300.40 c #Conflicts: 254000 | #Constraints: 29640
298.80/300.40 c #Conflicts: 255000 | #Constraints: 30640
298.80/300.40 c #Conflicts: 256000 | #Constraints: 31640
298.80/300.40 c #Conflicts: 257000 | #Constraints: 32640
298.80/300.40 c #Conflicts: 258000 | #Constraints: 33640
298.80/300.40 c #Conflicts: 259000 | #Constraints: 34640
298.80/300.40 c #Conflicts: 260000 | #Constraints: 35640
298.80/300.40 c #Conflicts: 261000 | #Constraints: 36640
298.80/300.40 c #Conflicts: 262000 | #Constraints: 37640
298.80/300.40 c #Conflicts: 263000 | #Constraints: 38640
298.80/300.40 c #Conflicts: 264000 | #Constraints: 39640
298.80/300.40 c #Conflicts: 265000 | #Constraints: 40640
298.80/300.40 c #Conflicts: 266000 | #Constraints: 41640
298.80/300.40 c #Conflicts: 267000 | #Constraints: 42640
298.80/300.40 c #Conflicts: 268000 | #Constraints: 43640
298.80/300.40 c #Conflicts: 269000 | #Constraints: 44640
298.80/300.40 c #Conflicts: 270000 | #Constraints: 45640
298.80/300.40 c #Conflicts: 271000 | #Constraints: 46640
298.80/300.40 c #Conflicts: 272000 | #Constraints: 47640
298.80/300.40 c #Conflicts: 273000 | #Constraints: 48640
298.80/300.40 c #Conflicts: 274000 | #Constraints: 49640
298.80/300.40 c #Conflicts: 275000 | #Constraints: 50640
298.80/300.40 c #Conflicts: 276000 | #Constraints: 51640
298.80/300.40 c #Conflicts: 277000 | #Constraints: 52640
298.80/300.40 c #Conflicts: 278000 | #Constraints: 53640
298.80/300.40 c #Conflicts: 279000 | #Constraints: 54640
298.80/300.40 c #Conflicts: 280000 | #Constraints: 55640
298.80/300.40 c #Conflicts: 281000 | #Constraints: 56640
298.80/300.40 c #Conflicts: 282000 | #Constraints: 57640
298.80/300.40 c INPROCESSING
298.80/300.40 c GARBAGE COLLECT
298.80/300.40 c #Conflicts: 283000 | #Constraints: 33614
298.80/300.40 c #Conflicts: 284000 | #Constraints: 34614
298.80/300.40 c #Conflicts: 285000 | #Constraints: 35614
298.80/300.40 c #Conflicts: 286000 | #Constraints: 36614
298.80/300.40 c #Conflicts: 287000 | #Constraints: 37614
377.86/380.01 c #Conflicts: 288000 | #Constraints: 38614
377.86/380.01 c #Conflicts: 289000 | #Constraints: 39614
377.86/380.01 c #Conflicts: 290000 | #Constraints: 40614
377.86/380.01 c #Conflicts: 291000 | #Constraints: 41614
377.86/380.01 c #Conflicts: 292000 | #Constraints: 42614
377.86/380.01 c #Conflicts: 293000 | #Constraints: 43614
377.86/380.01 c #Conflicts: 294000 | #Constraints: 44614
377.86/380.01 c INPROCESSING
377.86/380.01 c GARBAGE COLLECT
377.86/380.01 c #Conflicts: 295000 | #Constraints: 26908
377.86/380.01 c #Conflicts: 296000 | #Constraints: 27908
377.86/380.01 c #Conflicts: 297000 | #Constraints: 28908
377.86/380.01 c #Conflicts: 298000 | #Constraints: 29908
377.86/380.01 c #Conflicts: 299000 | #Constraints: 30908
377.86/380.01 c #Conflicts: 300000 | #Constraints: 31908
377.86/380.01 c #Conflicts: 301000 | #Constraints: 32908
377.86/380.01 c #Conflicts: 302000 | #Constraints: 33908
377.86/380.01 c #Conflicts: 303000 | #Constraints: 34908
377.86/380.01 c #Conflicts: 304000 | #Constraints: 35908
377.86/380.01 c #Conflicts: 305000 | #Constraints: 36908
377.86/380.01 c #Conflicts: 306000 | #Constraints: 37908
377.86/380.01 c #Conflicts: 307000 | #Constraints: 38908
377.86/380.01 c INPROCESSING
377.86/380.01 c GARBAGE COLLECT
377.86/380.01 c #Conflicts: 308000 | #Constraints: 24178
377.86/380.01 c #Conflicts: 309000 | #Constraints: 25178
377.86/380.01 c #Conflicts: 310000 | #Constraints: 26178
377.86/380.01 c #Conflicts: 311000 | #Constraints: 27178
377.86/380.01 c #Conflicts: 312000 | #Constraints: 28178
377.86/380.01 c #Conflicts: 313000 | #Constraints: 29178
377.86/380.01 c #Conflicts: 314000 | #Constraints: 30178
377.86/380.01 c #Conflicts: 315000 | #Constraints: 31178
377.86/380.01 c #Conflicts: 316000 | #Constraints: 32178
377.86/380.01 c #Conflicts: 317000 | #Constraints: 33178
377.86/380.01 c #Conflicts: 318000 | #Constraints: 34178
377.86/380.01 c #Conflicts: 319000 | #Constraints: 35178
377.86/380.01 c #Conflicts: 320000 | #Constraints: 36178
377.86/380.01 c INPROCESSING
377.86/380.01 c GARBAGE COLLECT
377.86/380.01 c #Conflicts: 321000 | #Constraints: 22891
377.86/380.01 c #Conflicts: 322000 | #Constraints: 23891
377.86/380.01 c #Conflicts: 323000 | #Constraints: 24891
377.86/380.01 c #Conflicts: 324000 | #Constraints: 25891
377.86/380.01 c #Conflicts: 325000 | #Constraints: 26891
377.86/380.01 c #Conflicts: 326000 | #Constraints: 27891
377.86/380.01 c #Conflicts: 327000 | #Constraints: 28891
377.86/380.01 c #Conflicts: 328000 | #Constraints: 29891
377.86/380.01 c #Conflicts: 329000 | #Constraints: 30891
377.86/380.01 c #Conflicts: 330000 | #Constraints: 31891
377.86/380.01 c #Conflicts: 331000 | #Constraints: 32891
377.86/380.01 c #Conflicts: 332000 | #Constraints: 33891
377.86/380.01 c #Conflicts: 333000 | #Constraints: 34891
377.86/380.01 c INPROCESSING
377.86/380.01 c GARBAGE COLLECT
377.86/380.01 c #Conflicts: 334000 | #Constraints: 22144
377.86/380.01 c #Conflicts: 335000 | #Constraints: 23144
377.86/380.01 c #Conflicts: 336000 | #Constraints: 24144
377.86/380.01 c #Conflicts: 337000 | #Constraints: 25144
377.86/380.01 c #Conflicts: 338000 | #Constraints: 26144
377.86/380.01 c #Conflicts: 339000 | #Constraints: 27144
377.86/380.01 c #Conflicts: 340000 | #Constraints: 28144
377.86/380.01 c #Conflicts: 341000 | #Constraints: 29144
377.86/380.01 c #Conflicts: 342000 | #Constraints: 30144
377.86/380.01 c #Conflicts: 343000 | #Constraints: 31144
377.86/380.01 c #Conflicts: 344000 | #Constraints: 32144
377.86/380.01 c #Conflicts: 345000 | #Constraints: 33144
377.86/380.01 c #Conflicts: 346000 | #Constraints: 34144
377.86/380.01 c #Conflicts: 347000 | #Constraints: 35144
377.86/380.01 c #Conflicts: 348000 | #Constraints: 36144
377.86/380.01 c #Conflicts: 349000 | #Constraints: 37144
377.86/380.01 c #Conflicts: 350000 | #Constraints: 38144
377.86/380.01 c #Conflicts: 351000 | #Constraints: 39144
377.86/380.01 c #Conflicts: 352000 | #Constraints: 40144
377.86/380.01 c #Conflicts: 353000 | #Constraints: 41144
377.86/380.01 c #Conflicts: 354000 | #Constraints: 42144
377.86/380.01 c #Conflicts: 355000 | #Constraints: 43144
377.86/380.01 c #Conflicts: 356000 | #Constraints: 44144
377.86/380.01 c #Conflicts: 357000 | #Constraints: 45144
377.86/380.01 c #Conflicts: 358000 | #Constraints: 46144
377.86/380.01 c #Conflicts: 359000 | #Constraints: 47144
377.86/380.01 c #Conflicts: 360000 | #Constraints: 48144
377.86/380.01 c #Conflicts: 361000 | #Constraints: 49144
377.86/380.01 c #Conflicts: 362000 | #Constraints: 50144
377.86/380.01 c #Conflicts: 363000 | #Constraints: 51144
480.42/483.07 c #Conflicts: 364000 | #Constraints: 52144
480.42/483.07 c #Conflicts: 365000 | #Constraints: 53144
480.42/483.07 c #Conflicts: 366000 | #Constraints: 54144
480.42/483.07 c #Conflicts: 367000 | #Constraints: 55144
480.42/483.07 c #Conflicts: 368000 | #Constraints: 56144
480.42/483.07 c #Conflicts: 369000 | #Constraints: 57144
480.42/483.07 c #Conflicts: 370000 | #Constraints: 58144
480.42/483.07 c #Conflicts: 371000 | #Constraints: 59144
480.42/483.07 c #Conflicts: 372000 | #Constraints: 60144
480.42/483.07 c #Conflicts: 373000 | #Constraints: 61144
480.42/483.07 c #Conflicts: 374000 | #Constraints: 62144
480.42/483.07 c #Conflicts: 375000 | #Constraints: 63144
480.42/483.07 c #Conflicts: 376000 | #Constraints: 64144
480.42/483.07 c #Conflicts: 377000 | #Constraints: 65144
480.42/483.07 c #Conflicts: 378000 | #Constraints: 66144
480.42/483.07 c INPROCESSING
480.42/483.07 c GARBAGE COLLECT
480.42/483.07 c #Conflicts: 379000 | #Constraints: 37871
480.42/483.07 c #Conflicts: 380000 | #Constraints: 38871
480.42/483.07 c #Conflicts: 381000 | #Constraints: 39871
480.42/483.07 c #Conflicts: 382000 | #Constraints: 40871
480.42/483.07 c #Conflicts: 383000 | #Constraints: 41871
480.42/483.07 c #Conflicts: 384000 | #Constraints: 42871
480.42/483.07 c #Conflicts: 385000 | #Constraints: 43871
480.42/483.07 c #Conflicts: 386000 | #Constraints: 44871
480.42/483.07 c #Conflicts: 387000 | #Constraints: 45871
480.42/483.07 c #Conflicts: 388000 | #Constraints: 46871
480.42/483.07 c #Conflicts: 389000 | #Constraints: 47871
480.42/483.07 c #Conflicts: 390000 | #Constraints: 48871
480.42/483.07 c #Conflicts: 391000 | #Constraints: 49871
480.42/483.07 c #Conflicts: 392000 | #Constraints: 50871
480.42/483.07 c INPROCESSING
480.42/483.07 c GARBAGE COLLECT
480.42/483.07 c #Conflicts: 393000 | #Constraints: 30082
480.42/483.07 c #Conflicts: 394000 | #Constraints: 31082
480.42/483.07 c #Conflicts: 395000 | #Constraints: 32082
480.42/483.07 c #Conflicts: 396000 | #Constraints: 33082
480.42/483.07 c #Conflicts: 397000 | #Constraints: 34083
480.42/483.07 c #Conflicts: 398000 | #Constraints: 35083
480.42/483.07 c #Conflicts: 399000 | #Constraints: 36083
480.42/483.07 c #Conflicts: 400000 | #Constraints: 37083
480.42/483.07 c #Conflicts: 401000 | #Constraints: 38083
480.42/483.07 c #Conflicts: 402000 | #Constraints: 39083
480.42/483.07 c #Conflicts: 403000 | #Constraints: 40083
480.42/483.07 c #Conflicts: 404000 | #Constraints: 41083
480.42/483.07 c #Conflicts: 405000 | #Constraints: 42083
480.42/483.07 c #Conflicts: 406000 | #Constraints: 43083
480.42/483.07 c #Conflicts: 407000 | #Constraints: 44083
480.42/483.07 c INPROCESSING
480.42/483.07 c GARBAGE COLLECT
480.42/483.07 c #Conflicts: 408000 | #Constraints: 26931
480.42/483.07 c #Conflicts: 409000 | #Constraints: 27931
480.42/483.07 c #Conflicts: 410000 | #Constraints: 28931
480.42/483.07 c #Conflicts: 411000 | #Constraints: 29931
480.42/483.07 c #Conflicts: 412000 | #Constraints: 30931
480.42/483.07 c #Conflicts: 413000 | #Constraints: 31931
480.42/483.07 c #Conflicts: 414000 | #Constraints: 32931
480.42/483.07 c #Conflicts: 415000 | #Constraints: 33931
480.42/483.07 c #Conflicts: 416000 | #Constraints: 34931
480.42/483.07 c #Conflicts: 417000 | #Constraints: 35931
480.42/483.07 c #Conflicts: 418000 | #Constraints: 36931
480.42/483.07 c #Conflicts: 419000 | #Constraints: 37931
480.42/483.07 c #Conflicts: 420000 | #Constraints: 38931
480.42/483.07 c #Conflicts: 421000 | #Constraints: 39931
480.42/483.07 c INPROCESSING
480.42/483.07 c GARBAGE COLLECT
480.42/483.07 c rational objective 101.203
606.69/609.95 c #Conflicts: 422000 | #Constraints: 24394
606.69/609.95 c #Conflicts: 423000 | #Constraints: 25394
606.69/609.95 c #Conflicts: 424000 | #Constraints: 26394
606.69/609.95 c #Conflicts: 425000 | #Constraints: 27394
606.69/609.95 c #Conflicts: 426000 | #Constraints: 28394
606.69/609.95 c #Conflicts: 427000 | #Constraints: 29394
606.69/609.95 c #Conflicts: 428000 | #Constraints: 30394
606.69/609.95 c #Conflicts: 429000 | #Constraints: 31394
606.69/609.95 c #Conflicts: 430000 | #Constraints: 32394
606.69/609.95 c #Conflicts: 431000 | #Constraints: 33394
606.69/609.95 c #Conflicts: 432000 | #Constraints: 34394
606.69/609.95 c #Conflicts: 433000 | #Constraints: 35394
606.69/609.95 c #Conflicts: 434000 | #Constraints: 36394
606.69/609.95 c #Conflicts: 435000 | #Constraints: 37394
606.69/609.95 c #Conflicts: 436000 | #Constraints: 38394
606.69/609.95 c INPROCESSING
606.69/609.95 c GARBAGE COLLECT
606.69/609.95 c #Conflicts: 437000 | #Constraints: 23668
606.69/609.95 c #Conflicts: 438000 | #Constraints: 24668
606.69/609.95 c #Conflicts: 439000 | #Constraints: 25668
606.69/609.95 c #Conflicts: 440000 | #Constraints: 26668
606.69/609.95 c #Conflicts: 441000 | #Constraints: 27668
606.69/609.95 c #Conflicts: 442000 | #Constraints: 28668
606.69/609.95 c #Conflicts: 443000 | #Constraints: 29668
606.69/609.95 c #Conflicts: 444000 | #Constraints: 30668
606.69/609.95 c #Conflicts: 445000 | #Constraints: 31668
606.69/609.95 c #Conflicts: 446000 | #Constraints: 32668
606.69/609.95 c #Conflicts: 447000 | #Constraints: 33668
606.69/609.95 c #Conflicts: 448000 | #Constraints: 34668
606.69/609.95 c #Conflicts: 449000 | #Constraints: 35668
606.69/609.95 c #Conflicts: 450000 | #Constraints: 36668
606.69/609.95 c #Conflicts: 451000 | #Constraints: 37668
606.69/609.95 c #Conflicts: 452000 | #Constraints: 38668
606.69/609.95 c #Conflicts: 453000 | #Constraints: 39668
606.69/609.95 c #Conflicts: 454000 | #Constraints: 40668
606.69/609.95 c #Conflicts: 455000 | #Constraints: 41668
606.69/609.95 c #Conflicts: 456000 | #Constraints: 42668
606.69/609.95 c #Conflicts: 457000 | #Constraints: 43668
606.69/609.95 c #Conflicts: 458000 | #Constraints: 44668
606.69/609.95 c #Conflicts: 459000 | #Constraints: 45668
606.69/609.95 c #Conflicts: 460000 | #Constraints: 46668
606.69/609.95 c #Conflicts: 461000 | #Constraints: 47668
606.69/609.95 c #Conflicts: 462000 | #Constraints: 48668
606.69/609.95 c #Conflicts: 463000 | #Constraints: 49668
606.69/609.95 c #Conflicts: 464000 | #Constraints: 50668
606.69/609.95 c #Conflicts: 465000 | #Constraints: 51668
606.69/609.95 c #Conflicts: 466000 | #Constraints: 52668
606.69/609.95 c #Conflicts: 467000 | #Constraints: 53668
606.69/609.95 c #Conflicts: 468000 | #Constraints: 54668
606.69/609.95 c #Conflicts: 469000 | #Constraints: 55668
606.69/609.95 c #Conflicts: 470000 | #Constraints: 56668
606.69/609.95 c #Conflicts: 471000 | #Constraints: 57668
606.69/609.95 c #Conflicts: 472000 | #Constraints: 58668
606.69/609.95 c #Conflicts: 473000 | #Constraints: 59668
606.69/609.95 c #Conflicts: 474000 | #Constraints: 60668
606.69/609.95 c #Conflicts: 475000 | #Constraints: 61668
606.69/609.95 c #Conflicts: 476000 | #Constraints: 62668
606.69/609.95 c #Conflicts: 477000 | #Constraints: 63668
606.69/609.95 c #Conflicts: 478000 | #Constraints: 64668
606.69/609.95 c #Conflicts: 479000 | #Constraints: 65668
606.69/609.95 c #Conflicts: 480000 | #Constraints: 66668
606.69/609.95 c #Conflicts: 481000 | #Constraints: 67668
606.69/609.95 c #Conflicts: 482000 | #Constraints: 68668
606.69/609.95 c #Conflicts: 483000 | #Constraints: 69668
606.69/609.95 c #Conflicts: 484000 | #Constraints: 70668
606.69/609.95 c #Conflicts: 485000 | #Constraints: 71668
606.69/609.95 c #Conflicts: 486000 | #Constraints: 72668
606.69/609.95 c #Conflicts: 487000 | #Constraints: 73668
606.69/609.95 c #Conflicts: 488000 | #Constraints: 74668
606.69/609.95 c INPROCESSING
606.69/609.95 c GARBAGE COLLECT
606.69/609.95 c #Conflicts: 489000 | #Constraints: 42182
606.69/609.95 c #Conflicts: 490000 | #Constraints: 43182
606.69/609.95 c #Conflicts: 491000 | #Constraints: 44182
606.69/609.95 c #Conflicts: 492000 | #Constraints: 45182
606.69/609.95 c #Conflicts: 493000 | #Constraints: 46182
606.69/609.95 c #Conflicts: 494000 | #Constraints: 47182
606.69/609.95 c #Conflicts: 495000 | #Constraints: 48182
606.69/609.95 c #Conflicts: 496000 | #Constraints: 49182
606.69/609.95 c #Conflicts: 497000 | #Constraints: 50182
606.69/609.95 c #Conflicts: 498000 | #Constraints: 51182
606.69/609.95 c #Conflicts: 499000 | #Constraints: 52182
700.95/705.05 c #Conflicts: 500000 | #Constraints: 53182
700.95/705.05 c #Conflicts: 501000 | #Constraints: 54182
700.95/705.05 c #Conflicts: 502000 | #Constraints: 55182
700.95/705.05 c #Conflicts: 503000 | #Constraints: 56182
700.95/705.05 c #Conflicts: 504000 | #Constraints: 57182
700.95/705.05 c INPROCESSING
700.95/705.05 c GARBAGE COLLECT
700.95/705.05 c #Conflicts: 505000 | #Constraints: 33345
700.95/705.05 c #Conflicts: 506000 | #Constraints: 34345
700.95/705.05 c #Conflicts: 507000 | #Constraints: 35345
700.95/705.05 c #Conflicts: 508000 | #Constraints: 36345
700.95/705.05 c #Conflicts: 509000 | #Constraints: 37345
700.95/705.05 c #Conflicts: 510000 | #Constraints: 38345
700.95/705.05 c #Conflicts: 511000 | #Constraints: 39345
700.95/705.05 c #Conflicts: 512000 | #Constraints: 40345
700.95/705.05 c #Conflicts: 513000 | #Constraints: 41345
700.95/705.05 c #Conflicts: 514000 | #Constraints: 42345
700.95/705.05 c #Conflicts: 515000 | #Constraints: 43345
700.95/705.05 c #Conflicts: 516000 | #Constraints: 44345
700.95/705.05 c #Conflicts: 517000 | #Constraints: 45345
700.95/705.05 c #Conflicts: 518000 | #Constraints: 46345
700.95/705.05 c #Conflicts: 519000 | #Constraints: 47345
700.95/705.05 c #Conflicts: 520000 | #Constraints: 48345
700.95/705.05 c INPROCESSING
700.95/705.05 c GARBAGE COLLECT
700.95/705.05 c #Conflicts: 521000 | #Constraints: 28642
700.95/705.05 c #Conflicts: 522000 | #Constraints: 29642
700.95/705.05 c #Conflicts: 523000 | #Constraints: 30642
700.95/705.05 c #Conflicts: 524000 | #Constraints: 31642
700.95/705.05 c #Conflicts: 525000 | #Constraints: 32642
700.95/705.05 c #Conflicts: 526000 | #Constraints: 33642
700.95/705.05 c #Conflicts: 527000 | #Constraints: 34642
700.95/705.05 c #Conflicts: 528000 | #Constraints: 35643
700.95/705.05 c #Conflicts: 529000 | #Constraints: 36643
700.95/705.05 c #Conflicts: 530000 | #Constraints: 37643
700.95/705.05 c #Conflicts: 531000 | #Constraints: 38643
700.95/705.05 c #Conflicts: 532000 | #Constraints: 39643
700.95/705.05 c #Conflicts: 533000 | #Constraints: 40643
700.95/705.05 c #Conflicts: 534000 | #Constraints: 41643
700.95/705.05 c #Conflicts: 535000 | #Constraints: 42643
700.95/705.05 c #Conflicts: 536000 | #Constraints: 43643
700.95/705.05 c #Conflicts: 537000 | #Constraints: 44643
700.95/705.05 c INPROCESSING
700.95/705.05 c GARBAGE COLLECT
700.95/705.05 c #Conflicts: 538000 | #Constraints: 26916
700.95/705.05 c #Conflicts: 539000 | #Constraints: 27916
700.95/705.05 c #Conflicts: 540000 | #Constraints: 28916
700.95/705.05 c #Conflicts: 541000 | #Constraints: 29916
700.95/705.05 c #Conflicts: 542000 | #Constraints: 30916
700.95/705.05 c #Conflicts: 543000 | #Constraints: 31916
700.95/705.05 c #Conflicts: 544000 | #Constraints: 32916
700.95/705.05 c #Conflicts: 545000 | #Constraints: 33916
700.95/705.05 c #Conflicts: 546000 | #Constraints: 34916
700.95/705.05 c #Conflicts: 547000 | #Constraints: 35916
700.95/705.05 c #Conflicts: 548000 | #Constraints: 36916
700.95/705.05 c #Conflicts: 549000 | #Constraints: 37916
700.95/705.05 c #Conflicts: 550000 | #Constraints: 38916
700.95/705.05 c #Conflicts: 551000 | #Constraints: 39916
700.95/705.05 c #Conflicts: 552000 | #Constraints: 40916
700.95/705.05 c #Conflicts: 553000 | #Constraints: 41916
700.95/705.05 c #Conflicts: 554000 | #Constraints: 42916
700.95/705.05 c INPROCESSING
700.95/705.05 c GARBAGE COLLECT
700.95/705.05 c #Conflicts: 555000 | #Constraints: 26174
700.95/705.05 c #Conflicts: 556000 | #Constraints: 27174
700.95/705.05 c #Conflicts: 557000 | #Constraints: 28174
700.95/705.05 c #Conflicts: 558000 | #Constraints: 29174
700.95/705.05 c #Conflicts: 559000 | #Constraints: 30174
700.95/705.05 c #Conflicts: 560000 | #Constraints: 31174
700.95/705.05 c #Conflicts: 561000 | #Constraints: 32174
700.95/705.05 c #Conflicts: 562000 | #Constraints: 33174
700.95/705.05 c #Conflicts: 563000 | #Constraints: 34174
700.95/705.05 c #Conflicts: 564000 | #Constraints: 35174
700.95/705.05 c #Conflicts: 565000 | #Constraints: 36174
700.95/705.05 c #Conflicts: 566000 | #Constraints: 37174
700.95/705.05 c #Conflicts: 567000 | #Constraints: 38175
700.95/705.05 c #Conflicts: 568000 | #Constraints: 39175
700.95/705.05 c #Conflicts: 569000 | #Constraints: 40175
700.95/705.05 c #Conflicts: 570000 | #Constraints: 41175
700.95/705.05 c #Conflicts: 571000 | #Constraints: 42175
700.95/705.05 c #Conflicts: 572000 | #Constraints: 43175
700.95/705.05 c #Conflicts: 573000 | #Constraints: 44175
700.95/705.05 c #Conflicts: 574000 | #Constraints: 45175
700.95/705.05 c #Conflicts: 575000 | #Constraints: 46175
846.70/851.63 c #Conflicts: 576000 | #Constraints: 47175
846.70/851.63 c #Conflicts: 577000 | #Constraints: 48175
846.70/851.63 c #Conflicts: 578000 | #Constraints: 49175
846.70/851.63 c #Conflicts: 579000 | #Constraints: 50175
846.70/851.63 c #Conflicts: 580000 | #Constraints: 51175
846.70/851.63 c #Conflicts: 581000 | #Constraints: 52175
846.70/851.63 c #Conflicts: 582000 | #Constraints: 53175
846.70/851.63 c #Conflicts: 583000 | #Constraints: 54175
846.70/851.63 c #Conflicts: 584000 | #Constraints: 55175
846.70/851.63 c #Conflicts: 585000 | #Constraints: 56175
846.70/851.63 c #Conflicts: 586000 | #Constraints: 57175
846.70/851.63 c #Conflicts: 587000 | #Constraints: 58175
846.70/851.63 c #Conflicts: 588000 | #Constraints: 59175
846.70/851.63 c #Conflicts: 589000 | #Constraints: 60175
846.70/851.63 c #Conflicts: 590000 | #Constraints: 61175
846.70/851.63 c #Conflicts: 591000 | #Constraints: 62175
846.70/851.63 c #Conflicts: 592000 | #Constraints: 63175
846.70/851.63 c #Conflicts: 593000 | #Constraints: 64175
846.70/851.63 c #Conflicts: 594000 | #Constraints: 65175
846.70/851.63 c #Conflicts: 595000 | #Constraints: 66175
846.70/851.63 c #Conflicts: 596000 | #Constraints: 67175
846.70/851.63 c #Conflicts: 597000 | #Constraints: 68175
846.70/851.63 c #Conflicts: 598000 | #Constraints: 69175
846.70/851.63 c #Conflicts: 599000 | #Constraints: 70175
846.70/851.63 c #Conflicts: 600000 | #Constraints: 71175
846.70/851.63 c #Conflicts: 601000 | #Constraints: 72175
846.70/851.63 c #Conflicts: 602000 | #Constraints: 73175
846.70/851.63 c #Conflicts: 603000 | #Constraints: 74175
846.70/851.63 c #Conflicts: 604000 | #Constraints: 75175
846.70/851.63 c #Conflicts: 605000 | #Constraints: 76175
846.70/851.63 c #Conflicts: 606000 | #Constraints: 77175
846.70/851.63 c #Conflicts: 607000 | #Constraints: 78175
846.70/851.63 c #Conflicts: 608000 | #Constraints: 79175
846.70/851.63 c #Conflicts: 609000 | #Constraints: 80175
846.70/851.63 c #Conflicts: 610000 | #Constraints: 81175
846.70/851.63 c #Conflicts: 611000 | #Constraints: 82175
846.70/851.63 c #Conflicts: 612000 | #Constraints: 83175
846.70/851.63 c INPROCESSING
846.70/851.63 c GARBAGE COLLECT
846.70/851.63 c #Conflicts: 613000 | #Constraints: 46590
846.70/851.63 c #Conflicts: 614000 | #Constraints: 47590
846.70/851.63 c #Conflicts: 615000 | #Constraints: 48590
846.70/851.63 c #Conflicts: 616000 | #Constraints: 49590
846.70/851.63 c #Conflicts: 617000 | #Constraints: 50590
846.70/851.63 c #Conflicts: 618000 | #Constraints: 51590
846.70/851.63 c #Conflicts: 619000 | #Constraints: 52590
846.70/851.63 c #Conflicts: 620000 | #Constraints: 53590
846.70/851.63 c #Conflicts: 621000 | #Constraints: 54590
846.70/851.63 c #Conflicts: 622000 | #Constraints: 55590
846.70/851.63 c #Conflicts: 623000 | #Constraints: 56590
846.70/851.63 c #Conflicts: 624000 | #Constraints: 57590
846.70/851.63 c #Conflicts: 625000 | #Constraints: 58590
846.70/851.63 c #Conflicts: 626000 | #Constraints: 59590
846.70/851.63 c #Conflicts: 627000 | #Constraints: 60590
846.70/851.63 c #Conflicts: 628000 | #Constraints: 61590
846.70/851.63 c #Conflicts: 629000 | #Constraints: 62590
846.70/851.63 c #Conflicts: 630000 | #Constraints: 63590
846.70/851.63 c INPROCESSING
846.70/851.63 c GARBAGE COLLECT
846.70/851.63 c #Conflicts: 631000 | #Constraints: 36607
846.70/851.63 c #Conflicts: 632000 | #Constraints: 37607
846.70/851.63 c #Conflicts: 633000 | #Constraints: 38607
846.70/851.63 c #Conflicts: 634000 | #Constraints: 39607
846.70/851.63 c #Conflicts: 635000 | #Constraints: 40607
846.70/851.63 c #Conflicts: 636000 | #Constraints: 41607
846.70/851.63 c #Conflicts: 637000 | #Constraints: 42607
846.70/851.63 c #Conflicts: 638000 | #Constraints: 43607
846.70/851.63 c #Conflicts: 639000 | #Constraints: 44607
846.70/851.63 c #Conflicts: 640000 | #Constraints: 45607
846.70/851.63 c #Conflicts: 641000 | #Constraints: 46607
846.70/851.63 c #Conflicts: 642000 | #Constraints: 47607
846.70/851.63 c #Conflicts: 643000 | #Constraints: 48607
846.70/851.63 c #Conflicts: 644000 | #Constraints: 49607
846.70/851.63 c #Conflicts: 645000 | #Constraints: 50607
846.70/851.63 c #Conflicts: 646000 | #Constraints: 51607
846.70/851.63 c #Conflicts: 647000 | #Constraints: 52607
846.70/851.63 c #Conflicts: 648000 | #Constraints: 53607
846.70/851.63 c INPROCESSING
846.70/851.63 c GARBAGE COLLECT
846.70/851.63 c #Conflicts: 649000 | #Constraints: 31443
846.70/851.63 c #Conflicts: 650000 | #Constraints: 32443
846.70/851.63 c #Conflicts: 651000 | #Constraints: 33443
846.70/851.63 c #Conflicts: 652000 | #Constraints: 34443
906.53/913.35 c #Conflicts: 653000 | #Constraints: 35443
906.53/913.35 c #Conflicts: 654000 | #Constraints: 36443
906.53/913.35 c #Conflicts: 655000 | #Constraints: 37443
906.53/913.35 c #Conflicts: 656000 | #Constraints: 38443
906.53/913.35 c #Conflicts: 657000 | #Constraints: 39443
906.53/913.35 c #Conflicts: 658000 | #Constraints: 40443
906.53/913.35 c #Conflicts: 659000 | #Constraints: 41443
906.53/913.35 c #Conflicts: 660000 | #Constraints: 42443
906.53/913.35 c #Conflicts: 661000 | #Constraints: 43443
906.53/913.35 c #Conflicts: 662000 | #Constraints: 44443
906.53/913.35 c #Conflicts: 663000 | #Constraints: 45443
906.53/913.35 c #Conflicts: 664000 | #Constraints: 46443
906.53/913.35 c #Conflicts: 665000 | #Constraints: 47443
906.53/913.35 c #Conflicts: 666000 | #Constraints: 48443
906.53/913.35 c #Conflicts: 667000 | #Constraints: 49443
906.53/913.35 c INPROCESSING
906.53/913.35 c GARBAGE COLLECT
906.53/913.35 c #Conflicts: 668000 | #Constraints: 29578
906.53/913.35 c #Conflicts: 669000 | #Constraints: 30578
906.53/913.35 c #Conflicts: 670000 | #Constraints: 31578
906.53/913.35 c #Conflicts: 671000 | #Constraints: 32578
906.53/913.35 c #Conflicts: 672000 | #Constraints: 33578
906.53/913.35 c #Conflicts: 673000 | #Constraints: 34578
906.53/913.35 c #Conflicts: 674000 | #Constraints: 35578
906.53/913.35 c #Conflicts: 675000 | #Constraints: 36578
906.53/913.35 c #Conflicts: 676000 | #Constraints: 37578
906.53/913.35 c #Conflicts: 677000 | #Constraints: 38578
906.53/913.35 c #Conflicts: 678000 | #Constraints: 39578
906.53/913.35 c #Conflicts: 679000 | #Constraints: 40578
906.53/913.35 c #Conflicts: 680000 | #Constraints: 41578
906.53/913.35 c #Conflicts: 681000 | #Constraints: 42578
906.53/913.35 c #Conflicts: 682000 | #Constraints: 43578
906.53/913.35 c #Conflicts: 683000 | #Constraints: 44578
906.53/913.35 c #Conflicts: 684000 | #Constraints: 45578
906.53/913.35 c #Conflicts: 685000 | #Constraints: 46578
906.53/913.35 c #Conflicts: 686000 | #Constraints: 47578
906.53/913.35 c INPROCESSING
906.53/913.35 c GARBAGE COLLECT
906.53/913.35 c rational objective 101.232
1077.80/1088.95 c #Conflicts: 687000 | #Constraints: 28654
1077.80/1088.95 c #Conflicts: 688000 | #Constraints: 29654
1077.80/1088.95 c #Conflicts: 689000 | #Constraints: 30654
1077.80/1088.95 c #Conflicts: 690000 | #Constraints: 31654
1077.80/1088.95 c #Conflicts: 691000 | #Constraints: 32654
1077.80/1088.95 c #Conflicts: 692000 | #Constraints: 33654
1077.80/1088.95 c #Conflicts: 693000 | #Constraints: 34654
1077.80/1088.95 c #Conflicts: 694000 | #Constraints: 35654
1077.80/1088.95 c #Conflicts: 695000 | #Constraints: 36654
1077.80/1088.95 c #Conflicts: 696000 | #Constraints: 37654
1077.80/1088.95 c #Conflicts: 697000 | #Constraints: 38654
1077.80/1088.95 c #Conflicts: 698000 | #Constraints: 39654
1077.80/1088.95 c #Conflicts: 699000 | #Constraints: 40654
1077.80/1088.95 c #Conflicts: 700000 | #Constraints: 41654
1077.80/1088.95 c #Conflicts: 701000 | #Constraints: 42654
1077.80/1088.95 c #Conflicts: 702000 | #Constraints: 43654
1077.80/1088.95 c #Conflicts: 703000 | #Constraints: 44654
1077.80/1088.95 c #Conflicts: 704000 | #Constraints: 45654
1077.80/1088.95 c #Conflicts: 705000 | #Constraints: 46654
1077.80/1088.95 c #Conflicts: 706000 | #Constraints: 47654
1077.80/1088.95 c #Conflicts: 707000 | #Constraints: 48654
1077.80/1088.95 c #Conflicts: 708000 | #Constraints: 49654
1077.80/1088.95 c #Conflicts: 709000 | #Constraints: 50654
1077.80/1088.95 c #Conflicts: 710000 | #Constraints: 51654
1077.80/1088.95 c #Conflicts: 711000 | #Constraints: 52654
1077.80/1088.95 c #Conflicts: 712000 | #Constraints: 53654
1077.80/1088.95 c #Conflicts: 713000 | #Constraints: 54654
1077.80/1088.95 c #Conflicts: 714000 | #Constraints: 55654
1077.80/1088.95 c #Conflicts: 715000 | #Constraints: 56654
1077.80/1088.95 c #Conflicts: 716000 | #Constraints: 57654
1077.80/1088.95 c #Conflicts: 717000 | #Constraints: 58654
1077.80/1088.95 c #Conflicts: 718000 | #Constraints: 59654
1077.80/1088.95 c #Conflicts: 719000 | #Constraints: 60654
1077.80/1088.95 c #Conflicts: 720000 | #Constraints: 61654
1077.80/1088.95 c #Conflicts: 721000 | #Constraints: 62654
1077.80/1088.95 c #Conflicts: 722000 | #Constraints: 63654
1077.80/1088.95 c #Conflicts: 723000 | #Constraints: 64654
1077.80/1088.95 c #Conflicts: 724000 | #Constraints: 65654
1077.80/1088.95 c #Conflicts: 725000 | #Constraints: 66654
1077.80/1088.95 c #Conflicts: 726000 | #Constraints: 67654
1077.80/1088.95 c #Conflicts: 727000 | #Constraints: 68654
1077.80/1088.95 c #Conflicts: 728000 | #Constraints: 69654
1077.80/1088.95 c #Conflicts: 729000 | #Constraints: 70654
1077.80/1088.95 c #Conflicts: 730000 | #Constraints: 71654
1077.80/1088.95 c #Conflicts: 731000 | #Constraints: 72654
1077.80/1088.95 c #Conflicts: 732000 | #Constraints: 73654
1077.80/1088.95 c #Conflicts: 733000 | #Constraints: 74654
1077.80/1088.95 c #Conflicts: 734000 | #Constraints: 75654
1077.80/1088.95 c #Conflicts: 735000 | #Constraints: 76654
1077.80/1088.95 c #Conflicts: 736000 | #Constraints: 77654
1077.80/1088.95 c #Conflicts: 737000 | #Constraints: 78654
1077.80/1088.95 c #Conflicts: 738000 | #Constraints: 79654
1077.80/1088.95 c #Conflicts: 739000 | #Constraints: 80654
1077.80/1088.95 c #Conflicts: 740000 | #Constraints: 81654
1077.80/1088.95 c #Conflicts: 741000 | #Constraints: 82654
1077.80/1088.95 c #Conflicts: 742000 | #Constraints: 83654
1077.80/1088.95 c #Conflicts: 743000 | #Constraints: 84654
1077.80/1088.95 c #Conflicts: 744000 | #Constraints: 85654
1077.80/1088.95 c #Conflicts: 745000 | #Constraints: 86654
1077.80/1088.95 c #Conflicts: 746000 | #Constraints: 87654
1077.80/1088.95 c #Conflicts: 747000 | #Constraints: 88654
1077.80/1088.95 c #Conflicts: 748000 | #Constraints: 89654
1077.80/1088.95 c #Conflicts: 749000 | #Constraints: 90654
1077.80/1088.95 c #Conflicts: 750000 | #Constraints: 91654
1077.80/1088.95 c INPROCESSING
1077.80/1088.95 c GARBAGE COLLECT
1077.80/1088.95 c #Conflicts: 751000 | #Constraints: 50727
1077.80/1088.95 c #Conflicts: 752000 | #Constraints: 51727
1077.80/1088.95 c #Conflicts: 753000 | #Constraints: 52727
1077.80/1088.95 c #Conflicts: 754000 | #Constraints: 53727
1077.80/1088.95 c #Conflicts: 755000 | #Constraints: 54727
1077.80/1088.95 c #Conflicts: 756000 | #Constraints: 55727
1077.80/1088.95 c #Conflicts: 757000 | #Constraints: 56727
1077.80/1088.95 c #Conflicts: 758000 | #Constraints: 57727
1077.80/1088.95 c #Conflicts: 759000 | #Constraints: 58727
1077.80/1088.95 c #Conflicts: 760000 | #Constraints: 59727
1077.80/1088.95 c #Conflicts: 761000 | #Constraints: 60727
1077.80/1088.95 c #Conflicts: 762000 | #Constraints: 61727
1077.80/1088.95 c #Conflicts: 763000 | #Constraints: 62727
1077.80/1088.95 c #Conflicts: 764000 | #Constraints: 63727
1077.80/1088.95 c #Conflicts: 765000 | #Constraints: 64727
1183.06/1195.68 c #Conflicts: 766000 | #Constraints: 65727
1183.06/1195.68 c #Conflicts: 767000 | #Constraints: 66727
1183.06/1195.68 c #Conflicts: 768000 | #Constraints: 67727
1183.06/1195.68 c #Conflicts: 769000 | #Constraints: 68727
1183.06/1195.68 c #Conflicts: 770000 | #Constraints: 69727
1183.06/1195.68 c INPROCESSING
1183.06/1195.68 c GARBAGE COLLECT
1183.06/1195.68 c #Conflicts: 771000 | #Constraints: 39735
1183.06/1195.68 c #Conflicts: 772000 | #Constraints: 40735
1183.06/1195.68 c #Conflicts: 773000 | #Constraints: 41735
1183.06/1195.68 c #Conflicts: 774000 | #Constraints: 42735
1183.06/1195.68 c #Conflicts: 775000 | #Constraints: 43735
1183.06/1195.68 c #Conflicts: 776000 | #Constraints: 44735
1183.06/1195.68 c #Conflicts: 777000 | #Constraints: 45735
1183.06/1195.68 c #Conflicts: 778000 | #Constraints: 46735
1183.06/1195.68 c #Conflicts: 779000 | #Constraints: 47735
1183.06/1195.68 c #Conflicts: 780000 | #Constraints: 48735
1183.06/1195.68 c #Conflicts: 781000 | #Constraints: 49735
1183.06/1195.68 c #Conflicts: 782000 | #Constraints: 50735
1183.06/1195.68 c #Conflicts: 783000 | #Constraints: 51735
1183.06/1195.68 c #Conflicts: 784000 | #Constraints: 52735
1183.06/1195.68 c #Conflicts: 785000 | #Constraints: 53735
1183.06/1195.68 c #Conflicts: 786000 | #Constraints: 54735
1183.06/1195.68 c #Conflicts: 787000 | #Constraints: 55735
1183.06/1195.68 c #Conflicts: 788000 | #Constraints: 56735
1183.06/1195.68 c #Conflicts: 789000 | #Constraints: 57735
1183.06/1195.68 c #Conflicts: 790000 | #Constraints: 58735
1183.06/1195.68 c INPROCESSING
1183.06/1195.68 c GARBAGE COLLECT
1183.06/1195.68 c #Conflicts: 791000 | #Constraints: 34090
1183.06/1195.68 c #Conflicts: 792000 | #Constraints: 35090
1183.06/1195.68 c #Conflicts: 793000 | #Constraints: 36090
1183.06/1195.68 c #Conflicts: 794000 | #Constraints: 37090
1183.06/1195.68 c #Conflicts: 795000 | #Constraints: 38090
1183.06/1195.68 c #Conflicts: 796000 | #Constraints: 39090
1183.06/1195.68 c #Conflicts: 797000 | #Constraints: 40090
1183.06/1195.68 c #Conflicts: 798000 | #Constraints: 41090
1183.06/1195.68 c #Conflicts: 799000 | #Constraints: 42090
1183.06/1195.68 c #Conflicts: 800000 | #Constraints: 43090
1183.06/1195.68 c #Conflicts: 801000 | #Constraints: 44091
1183.06/1195.68 c #Conflicts: 802000 | #Constraints: 45091
1183.06/1195.68 c #Conflicts: 803000 | #Constraints: 46091
1183.06/1195.68 c #Conflicts: 804000 | #Constraints: 47091
1183.06/1195.68 c #Conflicts: 805000 | #Constraints: 48091
1183.06/1195.68 c #Conflicts: 806000 | #Constraints: 49091
1183.06/1195.68 c #Conflicts: 807000 | #Constraints: 50091
1183.06/1195.68 c #Conflicts: 808000 | #Constraints: 51091
1183.06/1195.68 c #Conflicts: 809000 | #Constraints: 52091
1183.06/1195.68 c #Conflicts: 810000 | #Constraints: 53091
1183.06/1195.68 c INPROCESSING
1183.06/1195.68 c GARBAGE COLLECT
1183.06/1195.68 c #Conflicts: 811000 | #Constraints: 31018
1183.06/1195.68 c #Conflicts: 812000 | #Constraints: 32018
1183.06/1195.68 c #Conflicts: 813000 | #Constraints: 33018
1183.06/1195.68 c #Conflicts: 814000 | #Constraints: 34018
1183.06/1195.68 c #Conflicts: 815000 | #Constraints: 35018
1183.06/1195.68 c #Conflicts: 816000 | #Constraints: 36018
1183.06/1195.68 c #Conflicts: 817000 | #Constraints: 37018
1183.06/1195.68 c #Conflicts: 818000 | #Constraints: 38018
1183.06/1195.68 c #Conflicts: 819000 | #Constraints: 39018
1183.06/1195.68 c #Conflicts: 820000 | #Constraints: 40018
1183.06/1195.68 c #Conflicts: 821000 | #Constraints: 41018
1183.06/1195.68 c #Conflicts: 822000 | #Constraints: 42018
1183.06/1195.68 c #Conflicts: 823000 | #Constraints: 43018
1183.06/1195.68 c #Conflicts: 824000 | #Constraints: 44018
1183.06/1195.68 c #Conflicts: 825000 | #Constraints: 45018
1183.06/1195.68 c #Conflicts: 826000 | #Constraints: 46018
1183.06/1195.68 c #Conflicts: 827000 | #Constraints: 47018
1183.06/1195.68 c #Conflicts: 828000 | #Constraints: 48018
1183.06/1195.68 c #Conflicts: 829000 | #Constraints: 49018
1183.06/1195.68 c #Conflicts: 830000 | #Constraints: 50018
1183.06/1195.68 c #Conflicts: 831000 | #Constraints: 51018
1183.06/1195.68 c INPROCESSING
1183.06/1195.68 c GARBAGE COLLECT
1183.06/1195.68 c #Conflicts: 832000 | #Constraints: 30184
1183.06/1195.68 c #Conflicts: 833000 | #Constraints: 31184
1183.06/1195.68 c #Conflicts: 834000 | #Constraints: 32184
1183.06/1195.68 c #Conflicts: 835000 | #Constraints: 33184
1183.06/1195.68 c #Conflicts: 836000 | #Constraints: 34184
1183.06/1195.68 c #Conflicts: 837000 | #Constraints: 35184
1183.06/1195.68 c #Conflicts: 838000 | #Constraints: 36184
1183.06/1195.68 c #Conflicts: 839000 | #Constraints: 37184
1183.06/1195.68 c #Conflicts: 840000 | #Constraints: 38184
1183.06/1195.68 c #Conflicts: 841000 | #Constraints: 39184
1328.70/1343.40 c #Conflicts: 842000 | #Constraints: 40184
1328.70/1343.40 c #Conflicts: 843000 | #Constraints: 41184
1328.70/1343.40 c #Conflicts: 844000 | #Constraints: 42184
1328.70/1343.40 c #Conflicts: 845000 | #Constraints: 43184
1328.70/1343.40 c #Conflicts: 846000 | #Constraints: 44184
1328.70/1343.40 c #Conflicts: 847000 | #Constraints: 45184
1328.70/1343.40 c #Conflicts: 848000 | #Constraints: 46184
1328.70/1343.40 c #Conflicts: 849000 | #Constraints: 47184
1328.70/1343.40 c #Conflicts: 850000 | #Constraints: 48184
1328.70/1343.40 c #Conflicts: 851000 | #Constraints: 49184
1328.70/1343.40 c #Conflicts: 852000 | #Constraints: 50184
1328.70/1343.40 c #Conflicts: 853000 | #Constraints: 51184
1328.70/1343.40 c #Conflicts: 854000 | #Constraints: 52184
1328.70/1343.40 c #Conflicts: 855000 | #Constraints: 53184
1328.70/1343.40 c #Conflicts: 856000 | #Constraints: 54184
1328.70/1343.40 c #Conflicts: 857000 | #Constraints: 55184
1328.70/1343.40 c #Conflicts: 858000 | #Constraints: 56184
1328.70/1343.40 c #Conflicts: 859000 | #Constraints: 57184
1328.70/1343.40 c #Conflicts: 860000 | #Constraints: 58184
1328.70/1343.40 c #Conflicts: 861000 | #Constraints: 59184
1328.70/1343.40 c #Conflicts: 862000 | #Constraints: 60184
1328.70/1343.40 c #Conflicts: 863000 | #Constraints: 61184
1328.70/1343.40 c #Conflicts: 864000 | #Constraints: 62184
1328.70/1343.40 c #Conflicts: 865000 | #Constraints: 63184
1328.70/1343.40 c #Conflicts: 866000 | #Constraints: 64184
1328.70/1343.40 c #Conflicts: 867000 | #Constraints: 65184
1328.70/1343.40 c #Conflicts: 868000 | #Constraints: 66184
1328.70/1343.40 c #Conflicts: 869000 | #Constraints: 67184
1328.70/1343.40 c #Conflicts: 870000 | #Constraints: 68184
1328.70/1343.40 c #Conflicts: 871000 | #Constraints: 69184
1328.70/1343.40 c #Conflicts: 872000 | #Constraints: 70184
1328.70/1343.40 c #Conflicts: 873000 | #Constraints: 71184
1328.70/1343.40 c #Conflicts: 874000 | #Constraints: 72184
1328.70/1343.40 c #Conflicts: 875000 | #Constraints: 73184
1328.70/1343.40 c #Conflicts: 876000 | #Constraints: 74184
1328.70/1343.40 c #Conflicts: 877000 | #Constraints: 75184
1328.70/1343.40 c #Conflicts: 878000 | #Constraints: 76184
1328.70/1343.40 c #Conflicts: 879000 | #Constraints: 77184
1328.70/1343.40 c #Conflicts: 880000 | #Constraints: 78184
1328.70/1343.40 c #Conflicts: 881000 | #Constraints: 79184
1328.70/1343.40 c #Conflicts: 882000 | #Constraints: 80184
1328.70/1343.40 c #Conflicts: 883000 | #Constraints: 81184
1328.70/1343.40 c #Conflicts: 884000 | #Constraints: 82184
1328.70/1343.40 c #Conflicts: 885000 | #Constraints: 83184
1328.70/1343.40 c #Conflicts: 886000 | #Constraints: 84184
1328.70/1343.40 c #Conflicts: 887000 | #Constraints: 85184
1328.70/1343.40 c #Conflicts: 888000 | #Constraints: 86184
1328.70/1343.40 c #Conflicts: 889000 | #Constraints: 87184
1328.70/1343.40 c #Conflicts: 890000 | #Constraints: 88184
1328.70/1343.40 c #Conflicts: 891000 | #Constraints: 89184
1328.70/1343.40 c #Conflicts: 892000 | #Constraints: 90184
1328.70/1343.40 c #Conflicts: 893000 | #Constraints: 91184
1328.70/1343.40 c #Conflicts: 894000 | #Constraints: 92184
1328.70/1343.40 c #Conflicts: 895000 | #Constraints: 93184
1328.70/1343.40 c #Conflicts: 896000 | #Constraints: 94184
1328.70/1343.40 c #Conflicts: 897000 | #Constraints: 95184
1328.70/1343.40 c #Conflicts: 898000 | #Constraints: 96184
1328.70/1343.40 c #Conflicts: 899000 | #Constraints: 97184
1328.70/1343.40 c #Conflicts: 900000 | #Constraints: 98184
1328.70/1343.40 c #Conflicts: 901000 | #Constraints: 99184
1328.70/1343.40 c #Conflicts: 902000 | #Constraints: 100184
1328.70/1343.40 c INPROCESSING
1328.70/1343.40 c GARBAGE COLLECT
1328.70/1343.40 c rational objective 101.301
1442.74/1458.08 c #Conflicts: 903000 | #Constraints: 54976
1442.74/1458.08 c #Conflicts: 904000 | #Constraints: 55976
1442.74/1458.08 c #Conflicts: 905000 | #Constraints: 56976
1442.74/1458.08 c #Conflicts: 906000 | #Constraints: 57976
1442.74/1458.08 c #Conflicts: 907000 | #Constraints: 58976
1442.74/1458.08 c #Conflicts: 908000 | #Constraints: 59976
1442.74/1458.08 c #Conflicts: 909000 | #Constraints: 60976
1442.74/1458.08 c #Conflicts: 910000 | #Constraints: 61976
1442.74/1458.08 c #Conflicts: 911000 | #Constraints: 62976
1442.74/1458.08 c #Conflicts: 912000 | #Constraints: 63976
1442.74/1458.08 c #Conflicts: 913000 | #Constraints: 64976
1442.74/1458.08 c #Conflicts: 914000 | #Constraints: 65976
1442.74/1458.08 c #Conflicts: 915000 | #Constraints: 66976
1442.74/1458.08 c #Conflicts: 916000 | #Constraints: 67976
1442.74/1458.08 c #Conflicts: 917000 | #Constraints: 68976
1442.74/1458.08 c #Conflicts: 918000 | #Constraints: 69976
1442.74/1458.08 c #Conflicts: 919000 | #Constraints: 70976
1442.74/1458.08 c #Conflicts: 920000 | #Constraints: 71976
1442.74/1458.08 c #Conflicts: 921000 | #Constraints: 72976
1442.74/1458.08 c #Conflicts: 922000 | #Constraints: 73976
1442.74/1458.08 c #Conflicts: 923000 | #Constraints: 74976
1442.74/1458.08 c #Conflicts: 924000 | #Constraints: 75976
1442.74/1458.08 c INPROCESSING
1442.74/1458.08 c GARBAGE COLLECT
1442.74/1458.08 c #Conflicts: 925000 | #Constraints: 42945
1442.74/1458.08 c #Conflicts: 926000 | #Constraints: 43945
1442.74/1458.08 c #Conflicts: 927000 | #Constraints: 44945
1442.74/1458.08 c #Conflicts: 928000 | #Constraints: 45945
1442.74/1458.08 c #Conflicts: 929000 | #Constraints: 46945
1442.74/1458.08 c #Conflicts: 930000 | #Constraints: 47945
1442.74/1458.08 c #Conflicts: 931000 | #Constraints: 48945
1442.74/1458.08 c #Conflicts: 932000 | #Constraints: 49945
1442.74/1458.08 c #Conflicts: 933000 | #Constraints: 50945
1442.74/1458.08 c #Conflicts: 934000 | #Constraints: 51945
1442.74/1458.08 c #Conflicts: 935000 | #Constraints: 52945
1442.74/1458.08 c #Conflicts: 936000 | #Constraints: 53945
1442.74/1458.08 c #Conflicts: 937000 | #Constraints: 54945
1442.74/1458.08 c #Conflicts: 938000 | #Constraints: 55945
1442.74/1458.08 c #Conflicts: 939000 | #Constraints: 56945
1442.74/1458.08 c #Conflicts: 940000 | #Constraints: 57945
1442.74/1458.08 c #Conflicts: 941000 | #Constraints: 58945
1442.74/1458.08 c #Conflicts: 942000 | #Constraints: 59945
1442.74/1458.08 c #Conflicts: 943000 | #Constraints: 60945
1442.74/1458.08 c #Conflicts: 944000 | #Constraints: 61945
1442.74/1458.08 c #Conflicts: 945000 | #Constraints: 62945
1442.74/1458.08 c #Conflicts: 946000 | #Constraints: 63945
1442.74/1458.08 c INPROCESSING
1442.74/1458.08 c GARBAGE COLLECT
1442.74/1458.08 c #Conflicts: 947000 | #Constraints: 36800
1442.74/1458.08 c #Conflicts: 948000 | #Constraints: 37800
1442.74/1458.08 c #Conflicts: 949000 | #Constraints: 38800
1442.74/1458.08 c #Conflicts: 950000 | #Constraints: 39800
1442.74/1458.08 c #Conflicts: 951000 | #Constraints: 40800
1442.74/1458.08 c #Conflicts: 952000 | #Constraints: 41800
1442.74/1458.08 c #Conflicts: 953000 | #Constraints: 42800
1442.74/1458.08 c #Conflicts: 954000 | #Constraints: 43800
1442.74/1458.08 c #Conflicts: 955000 | #Constraints: 44800
1442.74/1458.08 c #Conflicts: 956000 | #Constraints: 45800
1442.74/1458.08 c #Conflicts: 957000 | #Constraints: 46800
1442.74/1458.08 c #Conflicts: 958000 | #Constraints: 47800
1442.74/1458.08 c #Conflicts: 959000 | #Constraints: 48800
1442.74/1458.08 c #Conflicts: 960000 | #Constraints: 49800
1442.74/1458.08 c #Conflicts: 961000 | #Constraints: 50800
1442.74/1458.08 c #Conflicts: 962000 | #Constraints: 51800
1442.74/1458.08 c #Conflicts: 963000 | #Constraints: 52800
1442.74/1458.08 c #Conflicts: 964000 | #Constraints: 53800
1442.74/1458.08 c #Conflicts: 965000 | #Constraints: 54800
1442.74/1458.08 c #Conflicts: 966000 | #Constraints: 55800
1442.74/1458.08 c #Conflicts: 967000 | #Constraints: 56800
1442.74/1458.08 c #Conflicts: 968000 | #Constraints: 57800
1442.74/1458.08 c INPROCESSING
1442.74/1458.08 c GARBAGE COLLECT
1442.74/1458.08 c #Conflicts: 969000 | #Constraints: 33484
1442.74/1458.08 c #Conflicts: 970000 | #Constraints: 34484
1442.74/1458.08 c #Conflicts: 971000 | #Constraints: 35484
1442.74/1458.08 c #Conflicts: 972000 | #Constraints: 36484
1442.74/1458.08 c #Conflicts: 973000 | #Constraints: 37484
1442.74/1458.08 c #Conflicts: 974000 | #Constraints: 38484
1442.74/1458.08 c #Conflicts: 975000 | #Constraints: 39484
1442.74/1458.08 c #Conflicts: 976000 | #Constraints: 40484
1442.74/1458.08 c #Conflicts: 977000 | #Constraints: 41484
1442.74/1458.08 c #Conflicts: 978000 | #Constraints: 42484
1442.74/1458.08 c #Conflicts: 979000 | #Constraints: 43484
1619.81/1636.28 c #Conflicts: 980000 | #Constraints: 44484
1619.81/1636.28 c #Conflicts: 981000 | #Constraints: 45484
1619.81/1636.28 c #Conflicts: 982000 | #Constraints: 46484
1619.81/1636.28 c #Conflicts: 983000 | #Constraints: 47484
1619.81/1636.28 c #Conflicts: 984000 | #Constraints: 48484
1619.81/1636.28 c #Conflicts: 985000 | #Constraints: 49484
1619.81/1636.28 c #Conflicts: 986000 | #Constraints: 50484
1619.81/1636.28 c #Conflicts: 987000 | #Constraints: 51484
1619.81/1636.28 c #Conflicts: 988000 | #Constraints: 52484
1619.81/1636.28 c #Conflicts: 989000 | #Constraints: 53484
1619.81/1636.28 c #Conflicts: 990000 | #Constraints: 54484
1619.81/1636.28 c #Conflicts: 991000 | #Constraints: 55484
1619.81/1636.28 c INPROCESSING
1619.81/1636.28 c GARBAGE COLLECT
1619.81/1636.28 c #Conflicts: 992000 | #Constraints: 32595
1619.81/1636.28 c #Conflicts: 993000 | #Constraints: 33595
1619.81/1636.28 c #Conflicts: 994000 | #Constraints: 34596
1619.81/1636.28 c #Conflicts: 995000 | #Constraints: 35596
1619.81/1636.28 c #Conflicts: 996000 | #Constraints: 36596
1619.81/1636.28 c #Conflicts: 997000 | #Constraints: 37596
1619.81/1636.28 c #Conflicts: 998000 | #Constraints: 38596
1619.81/1636.28 c #Conflicts: 999000 | #Constraints: 39596
1619.81/1636.28 c #Conflicts: 1000000 | #Constraints: 40596
1619.81/1636.28 c #Conflicts: 1001000 | #Constraints: 41596
1619.81/1636.28 c #Conflicts: 1002000 | #Constraints: 42596
1619.81/1636.28 c #Conflicts: 1003000 | #Constraints: 43596
1619.81/1636.28 c #Conflicts: 1004000 | #Constraints: 44596
1619.81/1636.28 c #Conflicts: 1005000 | #Constraints: 45596
1619.81/1636.28 c #Conflicts: 1006000 | #Constraints: 46596
1619.81/1636.28 c #Conflicts: 1007000 | #Constraints: 47596
1619.81/1636.28 c #Conflicts: 1008000 | #Constraints: 48596
1619.81/1636.28 c #Conflicts: 1009000 | #Constraints: 49596
1619.81/1636.28 c #Conflicts: 1010000 | #Constraints: 50596
1619.81/1636.28 c #Conflicts: 1011000 | #Constraints: 51596
1619.81/1636.28 c #Conflicts: 1012000 | #Constraints: 52596
1619.81/1636.28 c #Conflicts: 1013000 | #Constraints: 53596
1619.81/1636.28 c #Conflicts: 1014000 | #Constraints: 54596
1619.81/1636.28 c #Conflicts: 1015000 | #Constraints: 55596
1619.81/1636.28 c #Conflicts: 1016000 | #Constraints: 56596
1619.81/1636.28 c #Conflicts: 1017000 | #Constraints: 57596
1619.81/1636.28 c #Conflicts: 1018000 | #Constraints: 58596
1619.81/1636.28 c #Conflicts: 1019000 | #Constraints: 59596
1619.81/1636.28 c #Conflicts: 1020000 | #Constraints: 60596
1619.81/1636.28 c #Conflicts: 1021000 | #Constraints: 61596
1619.81/1636.28 c #Conflicts: 1022000 | #Constraints: 62596
1619.81/1636.28 c #Conflicts: 1023000 | #Constraints: 63596
1619.81/1636.28 c #Conflicts: 1024000 | #Constraints: 64596
1619.81/1636.28 c #Conflicts: 1025000 | #Constraints: 65596
1619.81/1636.28 c #Conflicts: 1026000 | #Constraints: 66596
1619.81/1636.28 c #Conflicts: 1027000 | #Constraints: 67596
1619.81/1636.28 c #Conflicts: 1028000 | #Constraints: 68596
1619.81/1636.28 c #Conflicts: 1029000 | #Constraints: 69596
1619.81/1636.28 c #Conflicts: 1030000 | #Constraints: 70596
1619.81/1636.28 c #Conflicts: 1031000 | #Constraints: 71596
1619.81/1636.28 c #Conflicts: 1032000 | #Constraints: 72596
1619.81/1636.28 c #Conflicts: 1033000 | #Constraints: 73596
1619.81/1636.28 c #Conflicts: 1034000 | #Constraints: 74596
1619.81/1636.28 c #Conflicts: 1035000 | #Constraints: 75596
1619.81/1636.28 c #Conflicts: 1036000 | #Constraints: 76596
1619.81/1636.28 c #Conflicts: 1037000 | #Constraints: 77596
1619.81/1636.28 c #Conflicts: 1038000 | #Constraints: 78596
1619.81/1636.28 c #Conflicts: 1039000 | #Constraints: 79596
1619.81/1636.28 c #Conflicts: 1040000 | #Constraints: 80596
1619.81/1636.28 c #Conflicts: 1041000 | #Constraints: 81596
1619.81/1636.28 c #Conflicts: 1042000 | #Constraints: 82596
1619.81/1636.28 c #Conflicts: 1043000 | #Constraints: 83596
1619.81/1636.28 c #Conflicts: 1044000 | #Constraints: 84596
1619.81/1636.28 c #Conflicts: 1045000 | #Constraints: 85596
1619.81/1636.28 c #Conflicts: 1046000 | #Constraints: 86596
1619.81/1636.28 c #Conflicts: 1047000 | #Constraints: 87596
1619.81/1636.28 c #Conflicts: 1048000 | #Constraints: 88596
1619.81/1636.28 c #Conflicts: 1049000 | #Constraints: 89596
1619.81/1636.28 c #Conflicts: 1050000 | #Constraints: 90596
1619.81/1636.28 c #Conflicts: 1051000 | #Constraints: 91596
1619.81/1636.28 c #Conflicts: 1052000 | #Constraints: 92596
1619.81/1636.28 c #Conflicts: 1053000 | #Constraints: 93596
1619.81/1636.28 c #Conflicts: 1054000 | #Constraints: 94596
1619.81/1636.28 c #Conflicts: 1055000 | #Constraints: 95596
1619.81/1636.28 c #Conflicts: 1056000 | #Constraints: 96596
1619.81/1636.28 c #Conflicts: 1057000 | #Constraints: 97596
1762.79/1779.92 c #Conflicts: 1058000 | #Constraints: 98596
1762.79/1779.92 c #Conflicts: 1059000 | #Constraints: 99596
1762.79/1779.92 c #Conflicts: 1060000 | #Constraints: 100596
1762.79/1779.92 c #Conflicts: 1061000 | #Constraints: 101596
1762.79/1779.92 c #Conflicts: 1062000 | #Constraints: 102596
1762.79/1779.92 c #Conflicts: 1063000 | #Constraints: 103596
1762.79/1779.92 c #Conflicts: 1064000 | #Constraints: 104596
1762.79/1779.92 c #Conflicts: 1065000 | #Constraints: 105596
1762.79/1779.92 c #Conflicts: 1066000 | #Constraints: 106596
1762.79/1779.92 c #Conflicts: 1067000 | #Constraints: 107596
1762.79/1779.92 c #Conflicts: 1068000 | #Constraints: 108596
1762.79/1779.92 c INPROCESSING
1762.79/1779.92 c GARBAGE COLLECT
1762.79/1779.92 c #Conflicts: 1069000 | #Constraints: 59286
1762.79/1779.92 c #Conflicts: 1070000 | #Constraints: 60286
1762.79/1779.92 c #Conflicts: 1071000 | #Constraints: 61286
1762.79/1779.92 c #Conflicts: 1072000 | #Constraints: 62286
1762.79/1779.92 c #Conflicts: 1073000 | #Constraints: 63286
1762.79/1779.92 c #Conflicts: 1074000 | #Constraints: 64286
1762.79/1779.92 c #Conflicts: 1075000 | #Constraints: 65286
1762.79/1779.92 c #Conflicts: 1076000 | #Constraints: 66286
1762.79/1779.92 c #Conflicts: 1077000 | #Constraints: 67286
1762.79/1779.92 c #Conflicts: 1078000 | #Constraints: 68286
1762.79/1779.92 c #Conflicts: 1079000 | #Constraints: 69286
1762.79/1779.92 c #Conflicts: 1080000 | #Constraints: 70286
1762.79/1779.92 c #Conflicts: 1081000 | #Constraints: 71286
1762.79/1779.92 c #Conflicts: 1082000 | #Constraints: 72286
1762.79/1779.92 c #Conflicts: 1083000 | #Constraints: 73286
1762.79/1779.92 c #Conflicts: 1084000 | #Constraints: 74286
1762.79/1779.92 c #Conflicts: 1085000 | #Constraints: 75286
1762.79/1779.92 c #Conflicts: 1086000 | #Constraints: 76286
1762.79/1779.92 c #Conflicts: 1087000 | #Constraints: 77286
1762.79/1779.92 c #Conflicts: 1088000 | #Constraints: 78286
1762.79/1779.92 c #Conflicts: 1089000 | #Constraints: 79286
1762.79/1779.92 c #Conflicts: 1090000 | #Constraints: 80286
1762.79/1779.92 c #Conflicts: 1091000 | #Constraints: 81286
1762.79/1779.92 c INPROCESSING
1762.79/1779.92 c GARBAGE COLLECT
1762.79/1779.92 c #Conflicts: 1092000 | #Constraints: 45124
1762.79/1779.92 c #Conflicts: 1093000 | #Constraints: 46124
1762.79/1779.92 c #Conflicts: 1094000 | #Constraints: 47124
1762.79/1779.92 c #Conflicts: 1095000 | #Constraints: 48124
1762.79/1779.92 c #Conflicts: 1096000 | #Constraints: 49124
1762.79/1779.92 c #Conflicts: 1097000 | #Constraints: 50124
1762.79/1779.92 c #Conflicts: 1098000 | #Constraints: 51124
1762.79/1779.92 c #Conflicts: 1099000 | #Constraints: 52124
1762.79/1779.92 c #Conflicts: 1100000 | #Constraints: 53124
1762.79/1779.92 c #Conflicts: 1101000 | #Constraints: 54124
1762.79/1779.92 c #Conflicts: 1102000 | #Constraints: 55124
1762.79/1779.92 c #Conflicts: 1103000 | #Constraints: 56124
1762.79/1779.92 c #Conflicts: 1104000 | #Constraints: 57124
1762.79/1779.92 c #Conflicts: 1105000 | #Constraints: 58124
1762.79/1779.92 c #Conflicts: 1106000 | #Constraints: 59124
1762.79/1779.92 c #Conflicts: 1107000 | #Constraints: 60124
1762.79/1779.92 c #Conflicts: 1108000 | #Constraints: 61124
1762.79/1779.92 c #Conflicts: 1109000 | #Constraints: 62124
1762.79/1779.92 c #Conflicts: 1110000 | #Constraints: 63124
1762.79/1779.92 c #Conflicts: 1111000 | #Constraints: 64124
1762.79/1779.92 c #Conflicts: 1112000 | #Constraints: 65124
1762.79/1779.92 c #Conflicts: 1113000 | #Constraints: 66124
1762.79/1779.92 c #Conflicts: 1114000 | #Constraints: 67124
1762.79/1779.92 c #Conflicts: 1115000 | #Constraints: 68124
1762.79/1779.92 c #Conflicts: 1116000 | #Constraints: 69124
1762.79/1779.92 c INPROCESSING
1762.79/1779.92 c GARBAGE COLLECT
1762.79/1779.92 c rational objective 101.336
1867.87/1885.89 c #Conflicts: 1117000 | #Constraints: 39616
1867.87/1885.89 c #Conflicts: 1118000 | #Constraints: 40616
1867.87/1885.89 c #Conflicts: 1119000 | #Constraints: 41616
1867.87/1885.89 c #Conflicts: 1120000 | #Constraints: 42616
1867.87/1885.89 c #Conflicts: 1121000 | #Constraints: 43616
1867.87/1885.89 c #Conflicts: 1122000 | #Constraints: 44616
1867.87/1885.89 c #Conflicts: 1123000 | #Constraints: 45616
1867.87/1885.89 c #Conflicts: 1124000 | #Constraints: 46616
1867.87/1885.89 c #Conflicts: 1125000 | #Constraints: 47616
1867.87/1885.89 c #Conflicts: 1126000 | #Constraints: 48616
1867.87/1885.89 c #Conflicts: 1127000 | #Constraints: 49616
1867.87/1885.89 c #Conflicts: 1128000 | #Constraints: 50616
1867.87/1885.89 c #Conflicts: 1129000 | #Constraints: 51616
1867.87/1885.89 c #Conflicts: 1130000 | #Constraints: 52616
1867.87/1885.89 c #Conflicts: 1131000 | #Constraints: 53616
1867.87/1885.89 c #Conflicts: 1132000 | #Constraints: 54616
1867.87/1885.89 c #Conflicts: 1133000 | #Constraints: 55616
1867.87/1885.89 c #Conflicts: 1134000 | #Constraints: 56616
1867.87/1885.89 c #Conflicts: 1135000 | #Constraints: 57616
1867.87/1885.89 c #Conflicts: 1136000 | #Constraints: 58616
1867.87/1885.89 c #Conflicts: 1137000 | #Constraints: 59616
1867.87/1885.89 c #Conflicts: 1138000 | #Constraints: 60616
1867.87/1885.89 c #Conflicts: 1139000 | #Constraints: 61616
1867.87/1885.89 c #Conflicts: 1140000 | #Constraints: 62616
1867.87/1885.89 c INPROCESSING
1867.87/1885.89 c GARBAGE COLLECT
1867.87/1885.89 c #Conflicts: 1141000 | #Constraints: 36087
1867.87/1885.89 c #Conflicts: 1142000 | #Constraints: 37087
1867.87/1885.89 c #Conflicts: 1143000 | #Constraints: 38087
1867.87/1885.89 c #Conflicts: 1144000 | #Constraints: 39087
1867.87/1885.89 c #Conflicts: 1145000 | #Constraints: 40087
1867.87/1885.89 c #Conflicts: 1146000 | #Constraints: 41087
1867.87/1885.89 c #Conflicts: 1147000 | #Constraints: 42087
1867.87/1885.89 c #Conflicts: 1148000 | #Constraints: 43087
1867.87/1885.89 c #Conflicts: 1149000 | #Constraints: 44087
1867.87/1885.89 c #Conflicts: 1150000 | #Constraints: 45087
1867.87/1885.89 c #Conflicts: 1151000 | #Constraints: 46087
1867.87/1885.89 c #Conflicts: 1152000 | #Constraints: 47087
1867.87/1885.89 c #Conflicts: 1153000 | #Constraints: 48087
1867.87/1885.89 c #Conflicts: 1154000 | #Constraints: 49087
1867.87/1885.89 c #Conflicts: 1155000 | #Constraints: 50087
1867.87/1885.89 c #Conflicts: 1156000 | #Constraints: 51087
1867.87/1885.89 c #Conflicts: 1157000 | #Constraints: 52087
1867.87/1885.89 c #Conflicts: 1158000 | #Constraints: 53087
1867.87/1885.89 c #Conflicts: 1159000 | #Constraints: 54087
1867.87/1885.89 c #Conflicts: 1160000 | #Constraints: 55087
1867.87/1885.89 c #Conflicts: 1161000 | #Constraints: 56087
1867.87/1885.89 c #Conflicts: 1162000 | #Constraints: 57087
1867.87/1885.89 c #Conflicts: 1163000 | #Constraints: 58087
1867.87/1885.89 c #Conflicts: 1164000 | #Constraints: 59087
1867.87/1885.89 c INPROCESSING
1867.87/1885.89 c GARBAGE COLLECT
1867.87/1885.89 c #Conflicts: 1165000 | #Constraints: 34133
1867.87/1885.89 c #Conflicts: 1166000 | #Constraints: 35133
1867.87/1885.89 c #Conflicts: 1167000 | #Constraints: 36133
1867.87/1885.89 c #Conflicts: 1168000 | #Constraints: 37133
1867.87/1885.89 c #Conflicts: 1169000 | #Constraints: 38133
1867.87/1885.89 c #Conflicts: 1170000 | #Constraints: 39133
1867.87/1885.89 c #Conflicts: 1171000 | #Constraints: 40133
1867.87/1885.89 c #Conflicts: 1172000 | #Constraints: 41133
1867.87/1885.89 c #Conflicts: 1173000 | #Constraints: 42133
1867.87/1885.89 c #Conflicts: 1174000 | #Constraints: 43133
1867.87/1885.89 c #Conflicts: 1175000 | #Constraints: 44133
1867.87/1885.89 c #Conflicts: 1176000 | #Constraints: 45133
1867.87/1885.89 c #Conflicts: 1177000 | #Constraints: 46133
1867.87/1885.89 c #Conflicts: 1178000 | #Constraints: 47133
1867.87/1885.89 c #Conflicts: 1179000 | #Constraints: 48133
1867.87/1885.89 c #Conflicts: 1180000 | #Constraints: 49133
1867.87/1885.89 c #Conflicts: 1181000 | #Constraints: 50133
1867.87/1885.89 c #Conflicts: 1182000 | #Constraints: 51133
1867.87/1885.89 c #Conflicts: 1183000 | #Constraints: 52133
1867.87/1885.89 c #Conflicts: 1184000 | #Constraints: 53133
1867.87/1885.89 c #Conflicts: 1185000 | #Constraints: 54133
1867.87/1885.89 c #Conflicts: 1186000 | #Constraints: 55133
1867.87/1885.89 c #Conflicts: 1187000 | #Constraints: 56133
1867.87/1885.89 c #Conflicts: 1188000 | #Constraints: 57133
1867.87/1885.89 c #Conflicts: 1189000 | #Constraints: 58133
1867.87/1885.89 c #Conflicts: 1190000 | #Constraints: 59133
1867.87/1885.89 c #Conflicts: 1191000 | #Constraints: 60133
1867.87/1885.89 c #Conflicts: 1192000 | #Constraints: 61133
1867.87/1885.89 c #Conflicts: 1193000 | #Constraints: 62133
1867.87/1885.89 c #Conflicts: 1194000 | #Constraints: 63133
1907.83/1926.00 c #Conflicts: 1195000 | #Constraints: 64133
1907.83/1926.00 c #Conflicts: 1196000 | #Constraints: 65133
1907.83/1926.00 c #Conflicts: 1197000 | #Constraints: 66133
1907.83/1926.00 c #Conflicts: 1198000 | #Constraints: 67133
1907.83/1926.00 c #Conflicts: 1199000 | #Constraints: 68133
1907.83/1926.00 c #Conflicts: 1200000 | #Constraints: 69133
1907.83/1926.00 c #Conflicts: 1201000 | #Constraints: 70133
1907.83/1926.00 c #Conflicts: 1202000 | #Constraints: 71133
1907.83/1926.00 c #Conflicts: 1203000 | #Constraints: 72133
1907.83/1926.00 c #Conflicts: 1204000 | #Constraints: 73133
1907.83/1926.00 c #Conflicts: 1205000 | #Constraints: 74133
1907.83/1926.00 c #Conflicts: 1206000 | #Constraints: 75133
1907.83/1926.00 c #Conflicts: 1207000 | #Constraints: 76133
1907.83/1926.00 c #Conflicts: 1208000 | #Constraints: 77133
1907.83/1926.00 c #Conflicts: 1209000 | #Constraints: 78133
1907.83/1926.00 c #Conflicts: 1210000 | #Constraints: 79133
1907.83/1926.00 c cpu time 1891.26 s
1907.83/1926.00 c deterministic time 135040744521 1.35e+11
1907.83/1926.00 c optimization time 0.000443 s
1907.83/1926.00 c total solve time 1891.21 s
1907.83/1926.00 c core-guided solve time 0 s
1907.83/1926.00 c propagation time 1012.15 s
1907.93/1926.00 c conflict analysis time 710.167 s
1907.93/1926.00 c propagations 559848223
1907.93/1926.00 c resolve steps 49980069
1907.93/1926.00 c decisions 10491042
1907.93/1926.00 c conflicts 1210014
1907.93/1926.00 c restarts 2299
1907.93/1926.00 c inprocessing phases 64
1907.93/1926.00 c garbage collections 64 ,( 100.00 )
1907.93/1926.00 c input clauses 6950 ,( 98.61 )
1907.93/1926.00 c input cardinalities 98 ,( 1.39 )
1907.93/1926.00 c input general constraints 0 ,( 0.00 )
1907.93/1926.00 c input average constraint length 6.15
1907.93/1926.00 c input average constraint degree 1.92
1907.93/1926.00 c learned clauses 900597 ,( 74.43 )
1907.93/1926.00 c learned cardinalities 23543 ,( 1.95 )
1907.93/1926.00 c learned general constraints 285886 ,( 23.63 )
1907.93/1926.00 c learned average constraint length 640.90
1907.93/1926.00 c learned average constraint degree 8549852.15
1907.93/1926.00 c watched CF 32, 64, 128, Arb: 87472 , 0 , 0 , 0
1907.93/1926.00 c counting CF 32, 64, 128, Arb: 198414 , 0 , 0 , 0
1907.93/1926.00 c watched constraints 87472 ,( 30.60 )
1907.93/1926.00 c counting constraints 198414 ,( 69.40 )
1907.93/1926.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 758772938 , 410570771 , 1726593496 ,( 82918968 , 1643674528 )
1907.93/1926.00 c gcd simplifications 725
1907.93/1926.00 c detected cardinalities 2010
1907.93/1926.00 c weakened non-implied lits 220832948
1907.93/1926.00 c weakened non-implying lits 148741
1907.93/1926.00 c original variables 6727
1907.93/1926.00 c clausal propagations 214474968
1907.93/1926.00 c cardinality propagations 213342388
1907.93/1926.00 c watched propagations 2782222
1907.93/1926.00 c counting propagations 124738440
1907.93/1926.00 c watch lookups 63675652896
1907.93/1926.00 c watch backjump lookups 0
1907.93/1926.00 c watch checks 22803567544
1907.93/1926.00 c propagation checks 44753941028
1907.93/1926.00 c constraint additions 2665434722
1907.93/1926.00 c trail pops 571548832
1907.93/1926.00 c formula constraints 7048
1907.93/1926.00 c learned constraints 1210008
1907.93/1926.00 c bound constraints 0
1907.93/1926.00 c core-guided constraints 0
1907.93/1926.00 c encountered formula constraints 29971889
1907.93/1926.00 c encountered learned constraints 21218097
1907.93/1926.00 c encountered bound constraints 0
1907.93/1926.00 c encountered core-guided constraints 0
1907.93/1926.00 c LP total time 139.073 s
1907.93/1926.00 c LP solve time 127.71 s
1907.93/1926.00 c LP constraints added 7591
1907.93/1926.00 c LP constraints removed 339
1907.93/1926.00 c LP pivots internal 129089
1907.93/1926.00 c LP pivots root 131144
1907.93/1926.00 c LP calls 24
1907.93/1926.00 c LP optimalities 12
1907.93/1926.00 c LP no pivot count 0
1907.93/1926.00 c LP infeasibilities 7
1907.93/1926.00 c LP valid Farkas constraints 6
1907.93/1926.00 c LP learned Farkas constraints 6
1907.93/1926.00 c LP basis resets 1
1907.93/1926.00 c LP cycling count 0
1907.93/1926.00 c LP singular count 0
1907.93/1926.00 c LP no primal count 0
1907.93/1926.00 c LP no farkas count 1
1907.93/1926.00 c LP other issue count 0
1907.93/1926.00 c LP Gomory cuts 6
1907.93/1926.00 c LP learned cuts 537
1907.93/1926.00 c LP deleted cuts 339
1907.93/1926.00 c LP encountered Gomory constraints 3
1907.93/1926.00 c LP encountered Farkas constraints 83
1907.93/1926.00 c LP encountered learned Farkas constraints 5
1907.93/1926.00 c CG auxiliary variables introduced 0
1907.93/1926.00 c CG solutions found 0
1907.93/1926.00 c CG cores constructed 0
1907.93/1926.00 c CG core cardinality constraints returned 0
1907.93/1926.00 c CG unit cores 0
1907.93/1926.00 c CG single cores 0
1907.93/1926.00 c CG blocks removed during cardinality reduction 0
1907.93/1926.00 c CG first core best 0
1907.93/1926.00 c CG decision core best 0
1907.93/1926.00 c CG core reduction tie 0
1907.93/1926.00 c CG core degree average 0.00
1907.93/1926.00 c CG core slack average 0.00
1907.93/1926.00 c CG core upper bound improvements 0
1907.93/1926.00 c STR number of successful calls 0
1907.93/1926.00 c STR number of unsuccessful calls 0
1907.93/1926.00 c STR number of inconclusive calls 0
1907.93/1926.00 c STR number of successful attempts 0
1907.93/1926.00 c STR number of unsuccessful attempts 0
1907.93/1926.00 c STR number of inconclusive attempts 0
1907.93/1926.00 c STR average degree increase per successful call inf
1907.93/1926.00 c STR average degree increase per successful attempt inf
1907.93/1926.00 c STR total number of conflicts for successful attempts 0
1907.93/1926.00 c STR total number of conflicts for unsuccessful attempts 0
1907.93/1926.00 c STR total number of conflicts for inconclusive attempts 0
1907.93/1926.00 c STR average number of conflicts per successful attempt inf
1907.93/1926.00 c STR average number of conflicts per unsuccessful attempt inf
1907.93/1926.00 c STR average number of conflicts per inconclusive attempt inf
1907.93/1926.00 c AVG.sumWPerc 61.08
1907.93/1926.00 c bigint constraints 0
1907.93/1926.00 s SATISFIABLE
1907.93/1926.00 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 x220 -x221 x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4284 -x4285 x4286 -x4287 x4288 -x4289 x4290 -x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 x4685 -x4686 x4687 -x4688 x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 x5934 -x5935 x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x6122 x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 x6664
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 (57222 MiB free)
memory of node 1: 64465 MiB (61179 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507377-1751176527/watcher-4507377-1751176527 -o /tmp/evaluation-result-4507377-1751176527/solver-4507377-1751176527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22053 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507377-1751176527.opb PROOFDIR/proof-4507377-1751176527
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=23101, runsolver pid=23098
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121233528/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=69172 memory=25540 CPUtime=0.05 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 3879 0 0 0 5 0 0 0 20 0 1 0 33331366 70832128 6385 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 17293 6385 2272 1147 0 4720 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 73364 KiB
Current children cumulated memory: 28484 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121225464/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=74644 memory=30012 CPUtime=0.15 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 5058 0 0 0 14 1 0 0 20 0 1 0 33331366 76435456 7503 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 18661 7503 2304 1147 0 6088 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 78836 KiB
Current children cumulated memory: 32956 KiB
[startup+0.305421 s]*
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121225504/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=74644 memory=30012 CPUtime=0.25 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 5058 0 0 0 24 1 0 0 20 0 1 0 33331366 76435456 7503 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 18661 7503 2304 1147 0 6088 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 78836 KiB
Current children cumulated memory: 32956 KiB
[startup+0.70013 s]
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121225504/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=76392 memory=31804 CPUtime=0.64 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 5505 0 0 0 63 1 0 0 20 0 1 0 33331366 78225408 7951 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 19098 7951 2304 1147 0 6525 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80584 KiB
Current children cumulated memory: 34748 KiB
[startup+1.50013 s]
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121224748/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=78000 memory=33596 CPUtime=1.44 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 5923 0 0 0 140 4 0 0 20 0 1 0 33331366 79872000 8399 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 19500 8399 2336 1147 0 6927 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82192 KiB
Current children cumulated memory: 36540 KiB
[startup+3.10546 s]
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121201568/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=81232 memory=38932 CPUtime=3.04 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 6750 0 0 0 295 9 0 0 20 0 1 0 33331366 83181568 9733 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 20308 9733 2336 1147 0 7735 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 85424 KiB
Current children cumulated memory: 41876 KiB
[startup+6.30015 s]
/proc/loadavg: 4.02 4.08 4.08 5/274 23104
/proc/meminfo: memFree=121101764/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=87932 memory=43412 CPUtime=6.23 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 7855 0 0 0 602 21 0 0 20 0 1 0 33331366 90042368 10853 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 21983 10853 2336 1147 0 9410 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 92124 KiB
Current children cumulated memory: 46356 KiB
[startup+12.7002 s]
/proc/loadavg: 4.02 4.08 4.08 5/274 23105
/proc/meminfo: memFree=120965192/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=91144 memory=48020 CPUtime=12.61 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 9011 0 0 0 1226 35 0 0 20 0 1 0 33331366 93331456 12005 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 22786 12005 2336 1147 0 10213 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 95336 KiB
Current children cumulated memory: 50964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/274 23105
/proc/meminfo: memFree=120818332/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=108304 memory=65020 CPUtime=25.38 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 11732 0 0 0 2475 63 0 0 20 0 1 0 33331366 110903296 16255 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 27076 16255 2336 1147 0 14503 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 112496 KiB
Current children cumulated memory: 67964 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/274 23105
/proc/meminfo: memFree=120560172/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=154404 memory=99632 CPUtime=50.92 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 16311 0 0 0 4978 114 0 0 20 0 1 0 33331366 158109696 24908 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 38601 24908 2336 1147 0 26028 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 158596 KiB
Current children cumulated memory: 102576 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 23107
/proc/meminfo: memFree=120091260/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=174304 memory=129616 CPUtime=101.67 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 21256 0 0 0 9966 201 0 0 20 0 1 0 33331366 178487296 32404 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 43576 32404 2336 1147 0 31003 0
Current children cumulated CPU time: 101.68 s
Current children cumulated vsize: 178496 KiB
Current children cumulated memory: 132560 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23113
/proc/meminfo: memFree=119519500/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=222152 memory=159208 CPUtime=161.24 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 25594 0 0 0 15840 284 0 0 20 0 1 0 33331366 227483648 39802 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 55538 39802 2336 1147 0 42965 0
Current children cumulated CPU time: 161.25 s
Current children cumulated vsize: 226344 KiB
Current children cumulated memory: 162152 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 23116
/proc/meminfo: memFree=118988672/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=310352 memory=219612 CPUtime=221.01 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 35570 0 0 0 21767 334 0 0 20 0 1 0 33331366 317800448 54903 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
################
# More data... #
################
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 72449 0 0 0 163114 1469 0 0 20 0 1 0 33331366 926453760 178183 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 226185 178183 2368 1147 0 213612 0
Current children cumulated CPU time: 1645.84 s
Current children cumulated vsize: 908932 KiB
Current children cumulated memory: 715676 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23293
/proc/meminfo: memFree=116208228/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=910524 memory=721608 CPUtime=1705.57 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 73648 0 0 0 169050 1507 0 0 20 0 1 0 33331366 932376576 180402 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 227631 180402 2368 1147 0 215058 0
Current children cumulated CPU time: 1705.58 s
Current children cumulated vsize: 914716 KiB
Current children cumulated memory: 724552 KiB
[startup+1782.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 23295
/proc/meminfo: memFree=115863676/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=912124 memory=722888 CPUtime=1765.16 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 73988 0 0 0 174979 1537 0 0 20 0 1 0 33331366 934014976 180722 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228031 180722 2368 1147 0 215458 0
Current children cumulated CPU time: 1765.17 s
Current children cumulated vsize: 916316 KiB
Current children cumulated memory: 725832 KiB
[startup+1842.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/270 23297
/proc/meminfo: memFree=115430704/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=912124 memory=722888 CPUtime=1824.96 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 73988 0 0 0 180901 1595 0 0 20 0 1 0 33331366 934014976 180722 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228031 180722 2368 1147 0 215458 0
Current children cumulated CPU time: 1824.97 s
Current children cumulated vsize: 916316 KiB
Current children cumulated memory: 725832 KiB
[startup+1902.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 23304
/proc/meminfo: memFree=115049992/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1884.31 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 186780 1651 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1884.32 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1926.07 s]
# the end of solver process 23101 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1891.29 s, system=16.6974 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1907.2 s]
/proc/loadavg: 4.04 4.07 4.08 5/273 23304
/proc/meminfo: memFree=114997140/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1889.2 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 187266 1654 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1889.21 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1913.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23306
/proc/meminfo: memFree=114976176/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1895.55 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 187897 1658 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1895.56 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1920 s]*
/proc/loadavg: 4.10 4.09 4.09 5/273 23306
/proc/meminfo: memFree=114921192/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1901.94 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 188531 1663 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1901.95 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1923.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23306
/proc/meminfo: memFree=114893412/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1905.12 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 188847 1665 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1905.13 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1924.8 s]
/proc/loadavg: 4.09 4.08 4.09 5/273 23306
/proc/meminfo: memFree=114885348/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1906.72 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 189006 1666 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1906.73 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1925.6 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 23306
/proc/meminfo: memFree=114863028/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1907.52 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 189085 1667 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1907.53 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
[startup+1926 s]*
/proc/loadavg: 4.09 4.08 4.09 5/272 23306
/proc/meminfo: memFree=114863028/131250000 swapFree=33010684/33010684
[pid=23101] ppid=23098 vsize=4192 memory=2944 CPUtime=0.01 cores=0,2
/proc/23101/stat : 23101 (run-dec-break-l) S 23098 23101 22043 0 -1 4194304 239 4790 0 0 0 0 1 0 20 0 1 0 33331362 4292608 736 18446744073709551615 94393600217088 94393601111621 140726206769280 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94393601350672 94393601398416 94393630400512 140726206777621 140726206777822 140726206777822 140726206783424 0
/proc/23101/statm: 1048 736 672 219 0 110 0
[pid=23104] ppid=23101 vsize=913592 memory=724296 CPUtime=1907.92 cores=0,2
/proc/23104/stat : 23104 (roundingsat) R 23101 23101 22043 0 -1 4194304 74339 0 0 0 189125 1667 0 0 20 0 1 0 33331366 935518208 181074 18446744073709551615 4227072 8923433 140729508516944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26316800 140729508526324 140729508526632 140729508526632 140729508532202 0
/proc/23104/statm: 228398 181074 2368 1147 0 215825 0
Current children cumulated CPU time: 1907.93 s
Current children cumulated vsize: 917784 KiB
Current children cumulated memory: 727240 KiB
Child status: 0
Real time (s): 1926.07
CPU time (s): 1907.98
CPU user time (s): 1891.29
CPU system time (s): 16.6974
CPU usage (%): 99.0609
Max. virtual memory (cumulated for all children) (KiB): 917784
Max. memory (cumulated for all children) (KiB): 727240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1891.29
system time used= 16.6974
maximum resident set size= 724296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6604040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1248
involuntary context switches= 4655
# summary of solver processes directly reported to runsolver:
# pid: 23101
# total CPU time (s): 1907.98
# total CPU user time (s): 1891.29
# total CPU system time (s): 16.6974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.60024 second user time and 8.47443 second system time
The end
Begin job on nodeC026 at 2025-06-29 07:55:27
IDJOB=4507377
IDBENCH=158344
IDSOLVER=3358
FILE ID=nodeC026/4507377-1751176527
RUNJOBID= nodeC026-1751168686-22053
SLURM_JOB_ID= 9587513
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507377-1751176527/watcher-4507377-1751176527 -o /tmp/evaluation-result-4507377-1751176527/solver-4507377-1751176527 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22053 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507377-1751176527.opb PROOFDIR/proof-4507377-1751176527
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1193879740
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3591.670
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3598.668
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.801
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.792
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.088
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121243328 kB
MemAvailable: 128363176 kB
Buffers: 3280 kB
Cached: 7921916 kB
SwapCached: 0 kB
Active: 1719152 kB
Inactive: 7702740 kB
Active(anon): 1514812 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 7702740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 127692 kB
Writeback: 0 kB
AnonPages: 1499884 kB
Mapped: 116396 kB
Shmem: 18080 kB
KReclaimable: 104012 kB
Slab: 193940 kB
SReclaimable: 104012 kB
SUnreclaim: 89928 kB
KernelStack: 4400 kB
PageTables: 6196 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2025836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 512000 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC026 at 2025-06-29 08:27:33