0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507376-1751182666.opb'
0.00/0.04 c read 0.43MB (16.72ms)
0.00/0.04 c [cnf: #variables 6664 #clauses 6862 #duplicates 0 #arr 42789]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 1176] (21.48ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (4.49ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 33518 #edges 125562]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 3.84*10^2 #generators 7] (19.59ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.05ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 7 generators (0.26ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 196 #add_vars 63]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4507376-1751182666.opb.pre'
0.00/0.09 c wrote 0.44MB (3.27ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 21.48ms 31.58% approx_orbits
0.00/0.09 c 19.59ms 28.79% detect_generic
0.00/0.09 c 16.72ms 24.58% parse
0.00/0.09 c 4.49ms 6.60% detect_special
0.00/0.09 c 3.27ms 4.81% output
0.00/0.09 c 1.49ms 2.19% other
0.00/0.09 c 0.67ms 0.99% finalize_order
0.00/0.09 c 0.26ms 0.38% break_generic
0.00/0.09 c 0.05ms 0.08% optimize_gens
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 68.03ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.00/0.11 c RoundingSat 2
0.00/0.11 c branch pb25
0.00/0.11 c commit 63f22ad
0.07/0.22 c #variables 6727 #constraints 7048
47.73/47.99 c #Conflicts: 1000 | #Constraints: 8047
47.73/47.99 c #Conflicts: 2000 | #Constraints: 9047
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 3000 | #Constraints: 8724
47.73/47.99 c #Conflicts: 4000 | #Constraints: 9724
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 5000 | #Constraints: 9195
47.73/47.99 c #Conflicts: 6000 | #Constraints: 10195
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 7000 | #Constraints: 9239
47.73/47.99 c #Conflicts: 8000 | #Constraints: 10239
47.73/47.99 c #Conflicts: 9000 | #Constraints: 11239
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 10000 | #Constraints: 9991
47.73/47.99 c #Conflicts: 11000 | #Constraints: 10991
47.73/47.99 c #Conflicts: 12000 | #Constraints: 11991
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 13000 | #Constraints: 10481
47.73/47.99 c #Conflicts: 14000 | #Constraints: 11481
47.73/47.99 c #Conflicts: 15000 | #Constraints: 12481
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 16000 | #Constraints: 10739
47.73/47.99 c #Conflicts: 17000 | #Constraints: 11739
47.73/47.99 c #Conflicts: 18000 | #Constraints: 12739
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 19000 | #Constraints: 10798
47.73/47.99 c #Conflicts: 20000 | #Constraints: 11798
47.73/47.99 c #Conflicts: 21000 | #Constraints: 12798
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 22000 | #Constraints: 10626
47.73/47.99 c #Conflicts: 23000 | #Constraints: 11626
47.73/47.99 c #Conflicts: 24000 | #Constraints: 12626
47.73/47.99 c #Conflicts: 25000 | #Constraints: 13626
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 26000 | #Constraints: 11273
47.73/47.99 c #Conflicts: 27000 | #Constraints: 12273
47.73/47.99 c #Conflicts: 28000 | #Constraints: 13273
47.73/47.99 c #Conflicts: 29000 | #Constraints: 14273
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 30000 | #Constraints: 11673
47.73/47.99 c #Conflicts: 31000 | #Constraints: 12673
47.73/47.99 c #Conflicts: 32000 | #Constraints: 13673
47.73/47.99 c #Conflicts: 33000 | #Constraints: 14673
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 34000 | #Constraints: 11903
47.73/47.99 c #Conflicts: 35000 | #Constraints: 12903
47.73/47.99 c #Conflicts: 36000 | #Constraints: 13903
47.73/47.99 c #Conflicts: 37000 | #Constraints: 14903
47.73/47.99 c #Conflicts: 38000 | #Constraints: 15903
47.73/47.99 c #Conflicts: 39000 | #Constraints: 16903
47.73/47.99 c #Conflicts: 40000 | #Constraints: 17903
47.73/47.99 c #Conflicts: 41000 | #Constraints: 18903
47.73/47.99 c #Conflicts: 42000 | #Constraints: 19903
47.73/47.99 c #Conflicts: 43000 | #Constraints: 20903
47.73/47.99 c #Conflicts: 44000 | #Constraints: 21903
47.73/47.99 c #Conflicts: 45000 | #Constraints: 22903
47.73/47.99 c #Conflicts: 46000 | #Constraints: 23903
47.73/47.99 c #Conflicts: 47000 | #Constraints: 24903
47.73/47.99 c #Conflicts: 48000 | #Constraints: 25903
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 49000 | #Constraints: 17585
47.73/47.99 c #Conflicts: 50000 | #Constraints: 18585
47.73/47.99 c #Conflicts: 51000 | #Constraints: 19585
47.73/47.99 c #Conflicts: 52000 | #Constraints: 20585
47.73/47.99 c #Conflicts: 53000 | #Constraints: 21585
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 54000 | #Constraints: 15231
47.73/47.99 c #Conflicts: 55000 | #Constraints: 16231
47.73/47.99 c #Conflicts: 56000 | #Constraints: 17231
47.73/47.99 c #Conflicts: 57000 | #Constraints: 18231
47.73/47.99 c #Conflicts: 58000 | #Constraints: 19231
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 59000 | #Constraints: 13860
47.73/47.99 c #Conflicts: 60000 | #Constraints: 14860
47.73/47.99 c #Conflicts: 61000 | #Constraints: 15860
47.73/47.99 c #Conflicts: 62000 | #Constraints: 16860
47.73/47.99 c #Conflicts: 63000 | #Constraints: 17860
47.73/47.99 c #Conflicts: 64000 | #Constraints: 18860
47.73/47.99 c INPROCESSING
47.73/47.99 c GARBAGE COLLECT
47.73/47.99 c #Conflicts: 65000 | #Constraints: 13819
47.73/47.99 c #Conflicts: 66000 | #Constraints: 14819
47.73/47.99 c #Conflicts: 67000 | #Constraints: 15819
47.73/47.99 c #Conflicts: 68000 | #Constraints: 16819
47.73/47.99 c #Conflicts: 69000 | #Constraints: 17819
47.73/47.99 c #Conflicts: 70000 | #Constraints: 18819
113.13/113.59 c INPROCESSING
113.13/113.59 c GARBAGE COLLECT
113.13/113.59 c #Conflicts: 71000 | #Constraints: 13851
113.13/113.59 c #Conflicts: 72000 | #Constraints: 14851
113.13/113.59 c #Conflicts: 73000 | #Constraints: 15851
113.13/113.59 c #Conflicts: 74000 | #Constraints: 16851
113.13/113.59 c #Conflicts: 75000 | #Constraints: 17851
113.13/113.59 c #Conflicts: 76000 | #Constraints: 18851
113.13/113.59 c #Conflicts: 77000 | #Constraints: 19851
113.13/113.59 c #Conflicts: 78000 | #Constraints: 20851
113.13/113.59 c #Conflicts: 79000 | #Constraints: 21851
113.13/113.59 c #Conflicts: 80000 | #Constraints: 22851
113.13/113.59 c #Conflicts: 81000 | #Constraints: 23851
113.13/113.59 c #Conflicts: 82000 | #Constraints: 24851
113.13/113.59 c #Conflicts: 83000 | #Constraints: 25851
113.13/113.59 c #Conflicts: 84000 | #Constraints: 26851
113.13/113.59 c #Conflicts: 85000 | #Constraints: 27851
113.13/113.59 c #Conflicts: 86000 | #Constraints: 28851
113.13/113.59 c #Conflicts: 87000 | #Constraints: 29851
113.13/113.59 c #Conflicts: 88000 | #Constraints: 30851
113.13/113.59 c #Conflicts: 89000 | #Constraints: 31851
113.13/113.59 c #Conflicts: 90000 | #Constraints: 32851
113.13/113.59 c #Conflicts: 91000 | #Constraints: 33851
113.13/113.59 c INPROCESSING
113.13/113.59 c GARBAGE COLLECT
113.13/113.59 c #Conflicts: 92000 | #Constraints: 21198
113.13/113.59 c #Conflicts: 93000 | #Constraints: 22198
113.13/113.59 c #Conflicts: 94000 | #Constraints: 23198
113.13/113.59 c #Conflicts: 95000 | #Constraints: 24198
113.13/113.59 c #Conflicts: 96000 | #Constraints: 25198
113.13/113.59 c #Conflicts: 97000 | #Constraints: 26198
113.13/113.59 c #Conflicts: 98000 | #Constraints: 27198
113.13/113.59 c #Conflicts: 99000 | #Constraints: 28198
113.13/113.59 c INPROCESSING
113.13/113.59 c GARBAGE COLLECT
113.13/113.59 c #Conflicts: 100000 | #Constraints: 18747
113.13/113.59 c #Conflicts: 101000 | #Constraints: 19747
113.13/113.59 c #Conflicts: 102000 | #Constraints: 20747
113.13/113.59 c #Conflicts: 103000 | #Constraints: 21747
113.13/113.59 c #Conflicts: 104000 | #Constraints: 22747
113.13/113.59 c #Conflicts: 105000 | #Constraints: 23747
113.13/113.59 c #Conflicts: 106000 | #Constraints: 24747
113.13/113.59 c INPROCESSING
113.13/113.59 c GARBAGE COLLECT
113.13/113.59 c #Conflicts: 107000 | #Constraints: 16897
113.13/113.59 c #Conflicts: 108000 | #Constraints: 17897
113.13/113.59 c #Conflicts: 109000 | #Constraints: 18897
113.13/113.59 c #Conflicts: 110000 | #Constraints: 19897
113.13/113.59 c #Conflicts: 111000 | #Constraints: 20897
113.13/113.59 c #Conflicts: 112000 | #Constraints: 21897
113.13/113.59 c #Conflicts: 113000 | #Constraints: 22897
113.13/113.59 c #Conflicts: 114000 | #Constraints: 23897
113.13/113.59 c INPROCESSING
113.13/113.59 c GARBAGE COLLECT
113.13/113.59 c #Conflicts: 115000 | #Constraints: 16626
113.13/113.59 c #Conflicts: 116000 | #Constraints: 17626
113.13/113.59 c #Conflicts: 117000 | #Constraints: 18626
113.13/113.59 c #Conflicts: 118000 | #Constraints: 19626
113.13/113.59 c #Conflicts: 119000 | #Constraints: 20626
113.13/113.59 c #Conflicts: 120000 | #Constraints: 21626
113.13/113.59 c #Conflicts: 121000 | #Constraints: 22626
113.13/113.59 c #Conflicts: 122000 | #Constraints: 23626
113.13/113.59 c #Conflicts: 123000 | #Constraints: 24626
113.13/113.59 c #Conflicts: 124000 | #Constraints: 25626
113.13/113.59 c #Conflicts: 125000 | #Constraints: 26626
113.13/113.59 c #Conflicts: 126000 | #Constraints: 27626
113.13/113.59 c #Conflicts: 127000 | #Constraints: 28626
113.13/113.59 c #Conflicts: 128000 | #Constraints: 29626
113.13/113.59 c #Conflicts: 129000 | #Constraints: 30626
113.13/113.59 c #Conflicts: 130000 | #Constraints: 31626
113.13/113.59 c #Conflicts: 131000 | #Constraints: 32626
113.13/113.59 c #Conflicts: 132000 | #Constraints: 33626
113.13/113.59 c #Conflicts: 133000 | #Constraints: 34626
113.13/113.59 c #Conflicts: 134000 | #Constraints: 35626
113.13/113.59 c #Conflicts: 135000 | #Constraints: 36626
113.13/113.59 c #Conflicts: 136000 | #Constraints: 37626
113.13/113.59 c #Conflicts: 137000 | #Constraints: 38626
113.13/113.59 c #Conflicts: 138000 | #Constraints: 39626
113.13/113.59 c #Conflicts: 139000 | #Constraints: 40626
113.13/113.59 c #Conflicts: 140000 | #Constraints: 41626
113.13/113.59 c INPROCESSING
113.13/113.59 c GARBAGE COLLECT
113.13/113.59 c #Conflicts: 141000 | #Constraints: 25184
113.13/113.59 c #Conflicts: 142000 | #Constraints: 26184
113.13/113.59 c #Conflicts: 143000 | #Constraints: 27184
113.13/113.59 c #Conflicts: 144000 | #Constraints: 28184
113.13/113.59 c #Conflicts: 145000 | #Constraints: 29184
191.67/192.32 c #Conflicts: 146000 | #Constraints: 30184
191.67/192.32 c #Conflicts: 147000 | #Constraints: 31184
191.67/192.32 c #Conflicts: 148000 | #Constraints: 32184
191.67/192.32 c #Conflicts: 149000 | #Constraints: 33184
191.67/192.32 c INPROCESSING
191.67/192.32 c GARBAGE COLLECT
191.67/192.32 c #Conflicts: 150000 | #Constraints: 21024
191.67/192.32 c #Conflicts: 151000 | #Constraints: 22024
191.67/192.32 c #Conflicts: 152000 | #Constraints: 23024
191.67/192.32 c #Conflicts: 153000 | #Constraints: 24024
191.67/192.32 c #Conflicts: 154000 | #Constraints: 25024
191.67/192.32 c #Conflicts: 155000 | #Constraints: 26024
191.67/192.32 c #Conflicts: 156000 | #Constraints: 27024
191.67/192.32 c #Conflicts: 157000 | #Constraints: 28024
191.67/192.32 c #Conflicts: 158000 | #Constraints: 29024
191.67/192.32 c INPROCESSING
191.67/192.32 c GARBAGE COLLECT
191.67/192.32 c #Conflicts: 159000 | #Constraints: 18895
191.67/192.32 c #Conflicts: 160000 | #Constraints: 19895
191.67/192.32 c #Conflicts: 161000 | #Constraints: 20895
191.67/192.32 c #Conflicts: 162000 | #Constraints: 21895
191.67/192.32 c #Conflicts: 163000 | #Constraints: 22895
191.67/192.32 c #Conflicts: 164000 | #Constraints: 23895
191.67/192.32 c #Conflicts: 165000 | #Constraints: 24895
191.67/192.32 c #Conflicts: 166000 | #Constraints: 25895
191.67/192.32 c #Conflicts: 167000 | #Constraints: 26895
191.67/192.32 c #Conflicts: 168000 | #Constraints: 27895
191.67/192.32 c INPROCESSING
191.67/192.32 c GARBAGE COLLECT
191.67/192.32 c #Conflicts: 169000 | #Constraints: 18652
191.67/192.32 c #Conflicts: 170000 | #Constraints: 19652
191.67/192.32 c #Conflicts: 171000 | #Constraints: 20652
191.67/192.32 c #Conflicts: 172000 | #Constraints: 21652
191.67/192.32 c #Conflicts: 173000 | #Constraints: 22652
191.67/192.32 c #Conflicts: 174000 | #Constraints: 23652
191.67/192.32 c #Conflicts: 175000 | #Constraints: 24652
191.67/192.32 c #Conflicts: 176000 | #Constraints: 25652
191.67/192.32 c #Conflicts: 177000 | #Constraints: 26652
191.67/192.32 c #Conflicts: 178000 | #Constraints: 27652
191.67/192.32 c #Conflicts: 179000 | #Constraints: 28652
191.67/192.32 c #Conflicts: 180000 | #Constraints: 29652
191.67/192.32 c #Conflicts: 181000 | #Constraints: 30652
191.67/192.32 c #Conflicts: 182000 | #Constraints: 31652
191.67/192.32 c #Conflicts: 183000 | #Constraints: 32652
191.67/192.32 c #Conflicts: 184000 | #Constraints: 33652
191.67/192.32 c #Conflicts: 185000 | #Constraints: 34652
191.67/192.32 c #Conflicts: 186000 | #Constraints: 35652
191.67/192.32 c #Conflicts: 187000 | #Constraints: 36652
191.67/192.32 c #Conflicts: 188000 | #Constraints: 37652
191.67/192.32 c #Conflicts: 189000 | #Constraints: 38652
191.67/192.32 c #Conflicts: 190000 | #Constraints: 39652
191.67/192.32 c #Conflicts: 191000 | #Constraints: 40652
191.67/192.32 c #Conflicts: 192000 | #Constraints: 41652
191.67/192.32 c #Conflicts: 193000 | #Constraints: 42652
191.67/192.32 c #Conflicts: 194000 | #Constraints: 43652
191.67/192.32 c #Conflicts: 195000 | #Constraints: 44652
191.67/192.32 c #Conflicts: 196000 | #Constraints: 45652
191.67/192.32 c #Conflicts: 197000 | #Constraints: 46652
191.67/192.32 c #Conflicts: 198000 | #Constraints: 47652
191.67/192.32 c #Conflicts: 199000 | #Constraints: 48652
191.67/192.32 c #Conflicts: 200000 | #Constraints: 49652
191.67/192.32 c INPROCESSING
191.67/192.32 c GARBAGE COLLECT
191.67/192.32 c #Conflicts: 201000 | #Constraints: 29662
191.67/192.32 c #Conflicts: 202000 | #Constraints: 30662
191.67/192.32 c #Conflicts: 203000 | #Constraints: 31662
191.67/192.32 c #Conflicts: 204000 | #Constraints: 32662
191.67/192.32 c #Conflicts: 205000 | #Constraints: 33662
191.67/192.32 c #Conflicts: 206000 | #Constraints: 34662
191.67/192.32 c #Conflicts: 207000 | #Constraints: 35662
191.67/192.32 c #Conflicts: 208000 | #Constraints: 36662
191.67/192.32 c #Conflicts: 209000 | #Constraints: 37662
191.67/192.32 c #Conflicts: 210000 | #Constraints: 38662
191.67/192.32 c INPROCESSING
191.67/192.32 c GARBAGE COLLECT
191.67/192.32 c rational objective 100.803
282.98/283.94 c #Conflicts: 211000 | #Constraints: 23878
282.98/283.94 c #Conflicts: 212000 | #Constraints: 24878
282.98/283.94 c #Conflicts: 213000 | #Constraints: 25878
282.98/283.94 c #Conflicts: 214000 | #Constraints: 26878
282.98/283.94 c #Conflicts: 215000 | #Constraints: 27878
282.98/283.94 c #Conflicts: 216000 | #Constraints: 28878
282.98/283.94 c #Conflicts: 217000 | #Constraints: 29878
282.98/283.94 c #Conflicts: 218000 | #Constraints: 30878
282.98/283.94 c #Conflicts: 219000 | #Constraints: 31878
282.98/283.94 c #Conflicts: 220000 | #Constraints: 32878
282.98/283.94 c #Conflicts: 221000 | #Constraints: 33878
282.98/283.94 c INPROCESSING
282.98/283.94 c GARBAGE COLLECT
282.98/283.94 c #Conflicts: 222000 | #Constraints: 21517
282.98/283.94 c #Conflicts: 223000 | #Constraints: 22517
282.98/283.94 c #Conflicts: 224000 | #Constraints: 23517
282.98/283.94 c #Conflicts: 225000 | #Constraints: 24517
282.98/283.94 c #Conflicts: 226000 | #Constraints: 25517
282.98/283.94 c #Conflicts: 227000 | #Constraints: 26517
282.98/283.94 c #Conflicts: 228000 | #Constraints: 27517
282.98/283.94 c #Conflicts: 229000 | #Constraints: 28517
282.98/283.94 c #Conflicts: 230000 | #Constraints: 29517
282.98/283.94 c #Conflicts: 231000 | #Constraints: 30517
282.98/283.94 c #Conflicts: 232000 | #Constraints: 31517
282.98/283.94 c INPROCESSING
282.98/283.94 c GARBAGE COLLECT
282.98/283.94 c #Conflicts: 233000 | #Constraints: 20353
282.98/283.94 c #Conflicts: 234000 | #Constraints: 21353
282.98/283.94 c #Conflicts: 235000 | #Constraints: 22353
282.98/283.94 c #Conflicts: 236000 | #Constraints: 23353
282.98/283.94 c #Conflicts: 237000 | #Constraints: 24353
282.98/283.94 c #Conflicts: 238000 | #Constraints: 25353
282.98/283.94 c #Conflicts: 239000 | #Constraints: 26353
282.98/283.94 c #Conflicts: 240000 | #Constraints: 27353
282.98/283.94 c #Conflicts: 241000 | #Constraints: 28353
282.98/283.94 c #Conflicts: 242000 | #Constraints: 29353
282.98/283.94 c #Conflicts: 243000 | #Constraints: 30353
282.98/283.94 c INPROCESSING
282.98/283.94 c GARBAGE COLLECT
282.98/283.94 c #Conflicts: 244000 | #Constraints: 19640
282.98/283.94 c #Conflicts: 245000 | #Constraints: 20640
282.98/283.94 c #Conflicts: 246000 | #Constraints: 21640
282.98/283.94 c #Conflicts: 247000 | #Constraints: 22640
282.98/283.94 c #Conflicts: 248000 | #Constraints: 23640
282.98/283.94 c #Conflicts: 249000 | #Constraints: 24640
282.98/283.94 c #Conflicts: 250000 | #Constraints: 25640
282.98/283.94 c #Conflicts: 251000 | #Constraints: 26640
282.98/283.94 c #Conflicts: 252000 | #Constraints: 27640
282.98/283.94 c #Conflicts: 253000 | #Constraints: 28640
282.98/283.94 c #Conflicts: 254000 | #Constraints: 29640
282.98/283.94 c #Conflicts: 255000 | #Constraints: 30640
282.98/283.94 c #Conflicts: 256000 | #Constraints: 31640
282.98/283.94 c #Conflicts: 257000 | #Constraints: 32640
282.98/283.94 c #Conflicts: 258000 | #Constraints: 33640
282.98/283.94 c #Conflicts: 259000 | #Constraints: 34640
282.98/283.94 c #Conflicts: 260000 | #Constraints: 35640
282.98/283.94 c #Conflicts: 261000 | #Constraints: 36640
282.98/283.94 c #Conflicts: 262000 | #Constraints: 37640
282.98/283.94 c #Conflicts: 263000 | #Constraints: 38640
282.98/283.94 c #Conflicts: 264000 | #Constraints: 39640
282.98/283.94 c #Conflicts: 265000 | #Constraints: 40640
282.98/283.94 c #Conflicts: 266000 | #Constraints: 41640
282.98/283.94 c #Conflicts: 267000 | #Constraints: 42640
282.98/283.94 c #Conflicts: 268000 | #Constraints: 43640
282.98/283.94 c #Conflicts: 269000 | #Constraints: 44640
282.98/283.94 c #Conflicts: 270000 | #Constraints: 45640
282.98/283.94 c #Conflicts: 271000 | #Constraints: 46640
282.98/283.94 c #Conflicts: 272000 | #Constraints: 47640
282.98/283.94 c #Conflicts: 273000 | #Constraints: 48640
282.98/283.94 c #Conflicts: 274000 | #Constraints: 49640
282.98/283.94 c #Conflicts: 275000 | #Constraints: 50640
282.98/283.94 c #Conflicts: 276000 | #Constraints: 51640
282.98/283.94 c #Conflicts: 277000 | #Constraints: 52640
282.98/283.94 c #Conflicts: 278000 | #Constraints: 53640
282.98/283.94 c #Conflicts: 279000 | #Constraints: 54640
282.98/283.94 c #Conflicts: 280000 | #Constraints: 55640
282.98/283.94 c #Conflicts: 281000 | #Constraints: 56640
282.98/283.94 c #Conflicts: 282000 | #Constraints: 57640
282.98/283.94 c INPROCESSING
282.98/283.94 c GARBAGE COLLECT
282.98/283.94 c #Conflicts: 283000 | #Constraints: 33614
282.98/283.94 c #Conflicts: 284000 | #Constraints: 34614
282.98/283.94 c #Conflicts: 285000 | #Constraints: 35614
282.98/283.94 c #Conflicts: 286000 | #Constraints: 36614
282.98/283.94 c #Conflicts: 287000 | #Constraints: 37614
357.52/358.76 c #Conflicts: 288000 | #Constraints: 38614
357.52/358.76 c #Conflicts: 289000 | #Constraints: 39614
357.52/358.76 c #Conflicts: 290000 | #Constraints: 40614
357.52/358.76 c #Conflicts: 291000 | #Constraints: 41614
357.52/358.76 c #Conflicts: 292000 | #Constraints: 42614
357.52/358.76 c #Conflicts: 293000 | #Constraints: 43614
357.52/358.76 c #Conflicts: 294000 | #Constraints: 44614
357.52/358.76 c INPROCESSING
357.52/358.76 c GARBAGE COLLECT
357.52/358.76 c #Conflicts: 295000 | #Constraints: 26908
357.52/358.76 c #Conflicts: 296000 | #Constraints: 27908
357.52/358.76 c #Conflicts: 297000 | #Constraints: 28908
357.52/358.76 c #Conflicts: 298000 | #Constraints: 29908
357.52/358.76 c #Conflicts: 299000 | #Constraints: 30908
357.52/358.76 c #Conflicts: 300000 | #Constraints: 31908
357.52/358.76 c #Conflicts: 301000 | #Constraints: 32908
357.52/358.76 c #Conflicts: 302000 | #Constraints: 33908
357.52/358.76 c #Conflicts: 303000 | #Constraints: 34908
357.52/358.76 c #Conflicts: 304000 | #Constraints: 35908
357.52/358.76 c #Conflicts: 305000 | #Constraints: 36908
357.52/358.76 c #Conflicts: 306000 | #Constraints: 37908
357.52/358.76 c #Conflicts: 307000 | #Constraints: 38908
357.52/358.76 c INPROCESSING
357.52/358.76 c GARBAGE COLLECT
357.52/358.76 c #Conflicts: 308000 | #Constraints: 24178
357.52/358.76 c #Conflicts: 309000 | #Constraints: 25178
357.52/358.76 c #Conflicts: 310000 | #Constraints: 26178
357.52/358.76 c #Conflicts: 311000 | #Constraints: 27178
357.52/358.76 c #Conflicts: 312000 | #Constraints: 28178
357.52/358.76 c #Conflicts: 313000 | #Constraints: 29178
357.52/358.76 c #Conflicts: 314000 | #Constraints: 30178
357.52/358.76 c #Conflicts: 315000 | #Constraints: 31178
357.52/358.76 c #Conflicts: 316000 | #Constraints: 32178
357.52/358.76 c #Conflicts: 317000 | #Constraints: 33178
357.52/358.76 c #Conflicts: 318000 | #Constraints: 34178
357.52/358.76 c #Conflicts: 319000 | #Constraints: 35178
357.52/358.76 c #Conflicts: 320000 | #Constraints: 36178
357.52/358.76 c INPROCESSING
357.52/358.76 c GARBAGE COLLECT
357.52/358.76 c #Conflicts: 321000 | #Constraints: 22891
357.52/358.76 c #Conflicts: 322000 | #Constraints: 23891
357.52/358.76 c #Conflicts: 323000 | #Constraints: 24891
357.52/358.76 c #Conflicts: 324000 | #Constraints: 25891
357.52/358.76 c #Conflicts: 325000 | #Constraints: 26891
357.52/358.76 c #Conflicts: 326000 | #Constraints: 27891
357.52/358.76 c #Conflicts: 327000 | #Constraints: 28891
357.52/358.76 c #Conflicts: 328000 | #Constraints: 29891
357.52/358.76 c #Conflicts: 329000 | #Constraints: 30891
357.52/358.76 c #Conflicts: 330000 | #Constraints: 31891
357.52/358.76 c #Conflicts: 331000 | #Constraints: 32891
357.52/358.76 c #Conflicts: 332000 | #Constraints: 33891
357.52/358.76 c #Conflicts: 333000 | #Constraints: 34891
357.52/358.76 c INPROCESSING
357.52/358.76 c GARBAGE COLLECT
357.52/358.76 c #Conflicts: 334000 | #Constraints: 22144
357.52/358.76 c #Conflicts: 335000 | #Constraints: 23144
357.52/358.76 c #Conflicts: 336000 | #Constraints: 24144
357.52/358.76 c #Conflicts: 337000 | #Constraints: 25144
357.52/358.76 c #Conflicts: 338000 | #Constraints: 26144
357.52/358.76 c #Conflicts: 339000 | #Constraints: 27144
357.52/358.76 c #Conflicts: 340000 | #Constraints: 28144
357.52/358.76 c #Conflicts: 341000 | #Constraints: 29144
357.52/358.76 c #Conflicts: 342000 | #Constraints: 30144
357.52/358.76 c #Conflicts: 343000 | #Constraints: 31144
357.52/358.76 c #Conflicts: 344000 | #Constraints: 32144
357.52/358.76 c #Conflicts: 345000 | #Constraints: 33144
357.52/358.76 c #Conflicts: 346000 | #Constraints: 34144
357.52/358.76 c #Conflicts: 347000 | #Constraints: 35144
357.52/358.76 c #Conflicts: 348000 | #Constraints: 36144
357.52/358.76 c #Conflicts: 349000 | #Constraints: 37144
357.52/358.76 c #Conflicts: 350000 | #Constraints: 38144
357.52/358.76 c #Conflicts: 351000 | #Constraints: 39144
357.52/358.76 c #Conflicts: 352000 | #Constraints: 40144
357.52/358.76 c #Conflicts: 353000 | #Constraints: 41144
357.52/358.76 c #Conflicts: 354000 | #Constraints: 42144
357.52/358.76 c #Conflicts: 355000 | #Constraints: 43144
357.52/358.76 c #Conflicts: 356000 | #Constraints: 44144
357.52/358.76 c #Conflicts: 357000 | #Constraints: 45144
357.52/358.76 c #Conflicts: 358000 | #Constraints: 46144
357.52/358.76 c #Conflicts: 359000 | #Constraints: 47144
357.52/358.76 c #Conflicts: 360000 | #Constraints: 48144
357.52/358.76 c #Conflicts: 361000 | #Constraints: 49144
357.52/358.76 c #Conflicts: 362000 | #Constraints: 50144
357.52/358.76 c #Conflicts: 363000 | #Constraints: 51144
455.41/456.94 c #Conflicts: 364000 | #Constraints: 52144
455.41/456.94 c #Conflicts: 365000 | #Constraints: 53144
455.41/456.94 c #Conflicts: 366000 | #Constraints: 54144
455.41/456.94 c #Conflicts: 367000 | #Constraints: 55144
455.41/456.94 c #Conflicts: 368000 | #Constraints: 56144
455.41/456.94 c #Conflicts: 369000 | #Constraints: 57144
455.41/456.94 c #Conflicts: 370000 | #Constraints: 58144
455.41/456.94 c #Conflicts: 371000 | #Constraints: 59144
455.41/456.94 c #Conflicts: 372000 | #Constraints: 60144
455.41/456.94 c #Conflicts: 373000 | #Constraints: 61144
455.41/456.94 c #Conflicts: 374000 | #Constraints: 62144
455.41/456.94 c #Conflicts: 375000 | #Constraints: 63144
455.41/456.94 c #Conflicts: 376000 | #Constraints: 64144
455.41/456.94 c #Conflicts: 377000 | #Constraints: 65144
455.41/456.94 c #Conflicts: 378000 | #Constraints: 66144
455.41/456.94 c INPROCESSING
455.41/456.94 c GARBAGE COLLECT
455.41/456.94 c #Conflicts: 379000 | #Constraints: 37871
455.41/456.94 c #Conflicts: 380000 | #Constraints: 38871
455.41/456.94 c #Conflicts: 381000 | #Constraints: 39871
455.41/456.94 c #Conflicts: 382000 | #Constraints: 40871
455.41/456.94 c #Conflicts: 383000 | #Constraints: 41871
455.41/456.94 c #Conflicts: 384000 | #Constraints: 42871
455.41/456.94 c #Conflicts: 385000 | #Constraints: 43871
455.41/456.94 c #Conflicts: 386000 | #Constraints: 44871
455.41/456.94 c #Conflicts: 387000 | #Constraints: 45871
455.41/456.94 c #Conflicts: 388000 | #Constraints: 46871
455.41/456.94 c #Conflicts: 389000 | #Constraints: 47871
455.41/456.94 c #Conflicts: 390000 | #Constraints: 48871
455.41/456.94 c #Conflicts: 391000 | #Constraints: 49871
455.41/456.94 c #Conflicts: 392000 | #Constraints: 50871
455.41/456.94 c INPROCESSING
455.41/456.94 c GARBAGE COLLECT
455.41/456.94 c #Conflicts: 393000 | #Constraints: 30082
455.41/456.94 c #Conflicts: 394000 | #Constraints: 31082
455.41/456.94 c #Conflicts: 395000 | #Constraints: 32082
455.41/456.94 c #Conflicts: 396000 | #Constraints: 33082
455.41/456.94 c #Conflicts: 397000 | #Constraints: 34083
455.41/456.94 c #Conflicts: 398000 | #Constraints: 35083
455.41/456.94 c #Conflicts: 399000 | #Constraints: 36083
455.41/456.94 c #Conflicts: 400000 | #Constraints: 37083
455.41/456.94 c #Conflicts: 401000 | #Constraints: 38083
455.41/456.94 c #Conflicts: 402000 | #Constraints: 39083
455.41/456.94 c #Conflicts: 403000 | #Constraints: 40083
455.41/456.94 c #Conflicts: 404000 | #Constraints: 41083
455.41/456.94 c #Conflicts: 405000 | #Constraints: 42083
455.41/456.94 c #Conflicts: 406000 | #Constraints: 43083
455.41/456.94 c #Conflicts: 407000 | #Constraints: 44083
455.41/456.94 c INPROCESSING
455.41/456.94 c GARBAGE COLLECT
455.41/456.94 c #Conflicts: 408000 | #Constraints: 26931
455.41/456.94 c #Conflicts: 409000 | #Constraints: 27931
455.41/456.94 c #Conflicts: 410000 | #Constraints: 28931
455.41/456.94 c #Conflicts: 411000 | #Constraints: 29931
455.41/456.94 c #Conflicts: 412000 | #Constraints: 30931
455.41/456.94 c #Conflicts: 413000 | #Constraints: 31931
455.41/456.94 c #Conflicts: 414000 | #Constraints: 32931
455.41/456.94 c #Conflicts: 415000 | #Constraints: 33931
455.41/456.94 c #Conflicts: 416000 | #Constraints: 34931
455.41/456.94 c #Conflicts: 417000 | #Constraints: 35931
455.41/456.94 c #Conflicts: 418000 | #Constraints: 36931
455.41/456.94 c #Conflicts: 419000 | #Constraints: 37931
455.41/456.94 c #Conflicts: 420000 | #Constraints: 38931
455.41/456.94 c #Conflicts: 421000 | #Constraints: 39931
455.41/456.94 c INPROCESSING
455.41/456.94 c GARBAGE COLLECT
455.41/456.94 c rational objective 101.203
571.90/573.70 c #Conflicts: 422000 | #Constraints: 24394
571.90/573.70 c #Conflicts: 423000 | #Constraints: 25394
571.90/573.70 c #Conflicts: 424000 | #Constraints: 26394
571.90/573.70 c #Conflicts: 425000 | #Constraints: 27394
571.90/573.70 c #Conflicts: 426000 | #Constraints: 28394
571.90/573.70 c #Conflicts: 427000 | #Constraints: 29394
571.90/573.70 c #Conflicts: 428000 | #Constraints: 30394
571.90/573.70 c #Conflicts: 429000 | #Constraints: 31394
571.90/573.70 c #Conflicts: 430000 | #Constraints: 32394
571.90/573.70 c #Conflicts: 431000 | #Constraints: 33394
571.90/573.70 c #Conflicts: 432000 | #Constraints: 34394
571.90/573.70 c #Conflicts: 433000 | #Constraints: 35394
571.90/573.70 c #Conflicts: 434000 | #Constraints: 36394
571.90/573.70 c #Conflicts: 435000 | #Constraints: 37394
571.90/573.70 c #Conflicts: 436000 | #Constraints: 38394
571.90/573.70 c INPROCESSING
571.90/573.70 c GARBAGE COLLECT
571.90/573.70 c #Conflicts: 437000 | #Constraints: 23668
571.90/573.70 c #Conflicts: 438000 | #Constraints: 24668
571.90/573.70 c #Conflicts: 439000 | #Constraints: 25668
571.90/573.70 c #Conflicts: 440000 | #Constraints: 26668
571.90/573.70 c #Conflicts: 441000 | #Constraints: 27668
571.90/573.70 c #Conflicts: 442000 | #Constraints: 28668
571.90/573.70 c #Conflicts: 443000 | #Constraints: 29668
571.90/573.70 c #Conflicts: 444000 | #Constraints: 30668
571.90/573.70 c #Conflicts: 445000 | #Constraints: 31668
571.90/573.70 c #Conflicts: 446000 | #Constraints: 32668
571.90/573.70 c #Conflicts: 447000 | #Constraints: 33668
571.90/573.70 c #Conflicts: 448000 | #Constraints: 34668
571.90/573.70 c #Conflicts: 449000 | #Constraints: 35668
571.90/573.70 c #Conflicts: 450000 | #Constraints: 36668
571.90/573.70 c #Conflicts: 451000 | #Constraints: 37668
571.90/573.70 c #Conflicts: 452000 | #Constraints: 38668
571.90/573.70 c #Conflicts: 453000 | #Constraints: 39668
571.90/573.70 c #Conflicts: 454000 | #Constraints: 40668
571.90/573.70 c #Conflicts: 455000 | #Constraints: 41668
571.90/573.70 c #Conflicts: 456000 | #Constraints: 42668
571.90/573.70 c #Conflicts: 457000 | #Constraints: 43668
571.90/573.70 c #Conflicts: 458000 | #Constraints: 44668
571.90/573.70 c #Conflicts: 459000 | #Constraints: 45668
571.90/573.70 c #Conflicts: 460000 | #Constraints: 46668
571.90/573.70 c #Conflicts: 461000 | #Constraints: 47668
571.90/573.70 c #Conflicts: 462000 | #Constraints: 48668
571.90/573.70 c #Conflicts: 463000 | #Constraints: 49668
571.90/573.70 c #Conflicts: 464000 | #Constraints: 50668
571.90/573.70 c #Conflicts: 465000 | #Constraints: 51668
571.90/573.70 c #Conflicts: 466000 | #Constraints: 52668
571.90/573.70 c #Conflicts: 467000 | #Constraints: 53668
571.90/573.70 c #Conflicts: 468000 | #Constraints: 54668
571.90/573.70 c #Conflicts: 469000 | #Constraints: 55668
571.90/573.70 c #Conflicts: 470000 | #Constraints: 56668
571.90/573.70 c #Conflicts: 471000 | #Constraints: 57668
571.90/573.70 c #Conflicts: 472000 | #Constraints: 58668
571.90/573.70 c #Conflicts: 473000 | #Constraints: 59668
571.90/573.70 c #Conflicts: 474000 | #Constraints: 60668
571.90/573.70 c #Conflicts: 475000 | #Constraints: 61668
571.90/573.70 c #Conflicts: 476000 | #Constraints: 62668
571.90/573.70 c #Conflicts: 477000 | #Constraints: 63668
571.90/573.70 c #Conflicts: 478000 | #Constraints: 64668
571.90/573.70 c #Conflicts: 479000 | #Constraints: 65668
571.90/573.70 c #Conflicts: 480000 | #Constraints: 66668
571.90/573.70 c #Conflicts: 481000 | #Constraints: 67668
571.90/573.70 c #Conflicts: 482000 | #Constraints: 68668
571.90/573.70 c #Conflicts: 483000 | #Constraints: 69668
571.90/573.70 c #Conflicts: 484000 | #Constraints: 70668
571.90/573.70 c #Conflicts: 485000 | #Constraints: 71668
571.90/573.70 c #Conflicts: 486000 | #Constraints: 72668
571.90/573.70 c #Conflicts: 487000 | #Constraints: 73668
571.90/573.70 c #Conflicts: 488000 | #Constraints: 74668
571.90/573.70 c INPROCESSING
571.90/573.70 c GARBAGE COLLECT
571.90/573.70 c #Conflicts: 489000 | #Constraints: 42182
571.90/573.70 c #Conflicts: 490000 | #Constraints: 43182
571.90/573.70 c #Conflicts: 491000 | #Constraints: 44182
571.90/573.70 c #Conflicts: 492000 | #Constraints: 45182
571.90/573.70 c #Conflicts: 493000 | #Constraints: 46182
571.90/573.70 c #Conflicts: 494000 | #Constraints: 47182
571.90/573.70 c #Conflicts: 495000 | #Constraints: 48182
571.90/573.70 c #Conflicts: 496000 | #Constraints: 49182
571.90/573.70 c #Conflicts: 497000 | #Constraints: 50182
571.90/573.70 c #Conflicts: 498000 | #Constraints: 51182
571.90/573.70 c #Conflicts: 499000 | #Constraints: 52182
659.66/661.75 c #Conflicts: 500000 | #Constraints: 53182
659.66/661.75 c #Conflicts: 501000 | #Constraints: 54182
659.66/661.75 c #Conflicts: 502000 | #Constraints: 55182
659.66/661.75 c #Conflicts: 503000 | #Constraints: 56182
659.66/661.75 c #Conflicts: 504000 | #Constraints: 57182
659.66/661.75 c INPROCESSING
659.66/661.75 c GARBAGE COLLECT
659.66/661.75 c #Conflicts: 505000 | #Constraints: 33345
659.66/661.75 c #Conflicts: 506000 | #Constraints: 34345
659.66/661.75 c #Conflicts: 507000 | #Constraints: 35345
659.66/661.75 c #Conflicts: 508000 | #Constraints: 36345
659.66/661.75 c #Conflicts: 509000 | #Constraints: 37345
659.66/661.75 c #Conflicts: 510000 | #Constraints: 38345
659.66/661.75 c #Conflicts: 511000 | #Constraints: 39345
659.66/661.75 c #Conflicts: 512000 | #Constraints: 40345
659.66/661.75 c #Conflicts: 513000 | #Constraints: 41345
659.66/661.75 c #Conflicts: 514000 | #Constraints: 42345
659.66/661.75 c #Conflicts: 515000 | #Constraints: 43345
659.66/661.75 c #Conflicts: 516000 | #Constraints: 44345
659.66/661.75 c #Conflicts: 517000 | #Constraints: 45345
659.66/661.75 c #Conflicts: 518000 | #Constraints: 46345
659.66/661.75 c #Conflicts: 519000 | #Constraints: 47345
659.66/661.75 c #Conflicts: 520000 | #Constraints: 48345
659.66/661.75 c INPROCESSING
659.66/661.75 c GARBAGE COLLECT
659.66/661.75 c #Conflicts: 521000 | #Constraints: 28642
659.66/661.75 c #Conflicts: 522000 | #Constraints: 29642
659.66/661.75 c #Conflicts: 523000 | #Constraints: 30642
659.66/661.75 c #Conflicts: 524000 | #Constraints: 31642
659.66/661.75 c #Conflicts: 525000 | #Constraints: 32642
659.66/661.75 c #Conflicts: 526000 | #Constraints: 33642
659.66/661.75 c #Conflicts: 527000 | #Constraints: 34642
659.66/661.75 c #Conflicts: 528000 | #Constraints: 35643
659.66/661.75 c #Conflicts: 529000 | #Constraints: 36643
659.66/661.75 c #Conflicts: 530000 | #Constraints: 37643
659.66/661.75 c #Conflicts: 531000 | #Constraints: 38643
659.66/661.75 c #Conflicts: 532000 | #Constraints: 39643
659.66/661.75 c #Conflicts: 533000 | #Constraints: 40643
659.66/661.75 c #Conflicts: 534000 | #Constraints: 41643
659.66/661.75 c #Conflicts: 535000 | #Constraints: 42643
659.66/661.75 c #Conflicts: 536000 | #Constraints: 43643
659.66/661.75 c #Conflicts: 537000 | #Constraints: 44643
659.66/661.75 c INPROCESSING
659.66/661.75 c GARBAGE COLLECT
659.66/661.75 c #Conflicts: 538000 | #Constraints: 26916
659.66/661.75 c #Conflicts: 539000 | #Constraints: 27916
659.66/661.75 c #Conflicts: 540000 | #Constraints: 28916
659.66/661.75 c #Conflicts: 541000 | #Constraints: 29916
659.66/661.75 c #Conflicts: 542000 | #Constraints: 30916
659.66/661.75 c #Conflicts: 543000 | #Constraints: 31916
659.66/661.75 c #Conflicts: 544000 | #Constraints: 32916
659.66/661.75 c #Conflicts: 545000 | #Constraints: 33916
659.66/661.75 c #Conflicts: 546000 | #Constraints: 34916
659.66/661.75 c #Conflicts: 547000 | #Constraints: 35916
659.66/661.75 c #Conflicts: 548000 | #Constraints: 36916
659.66/661.75 c #Conflicts: 549000 | #Constraints: 37916
659.66/661.75 c #Conflicts: 550000 | #Constraints: 38916
659.66/661.75 c #Conflicts: 551000 | #Constraints: 39916
659.66/661.75 c #Conflicts: 552000 | #Constraints: 40916
659.66/661.75 c #Conflicts: 553000 | #Constraints: 41916
659.66/661.75 c #Conflicts: 554000 | #Constraints: 42916
659.66/661.75 c INPROCESSING
659.66/661.75 c GARBAGE COLLECT
659.66/661.75 c #Conflicts: 555000 | #Constraints: 26174
659.66/661.75 c #Conflicts: 556000 | #Constraints: 27174
659.66/661.75 c #Conflicts: 557000 | #Constraints: 28174
659.66/661.75 c #Conflicts: 558000 | #Constraints: 29174
659.66/661.75 c #Conflicts: 559000 | #Constraints: 30174
659.66/661.75 c #Conflicts: 560000 | #Constraints: 31174
659.66/661.75 c #Conflicts: 561000 | #Constraints: 32174
659.66/661.75 c #Conflicts: 562000 | #Constraints: 33174
659.66/661.75 c #Conflicts: 563000 | #Constraints: 34174
659.66/661.75 c #Conflicts: 564000 | #Constraints: 35174
659.66/661.75 c #Conflicts: 565000 | #Constraints: 36174
659.66/661.75 c #Conflicts: 566000 | #Constraints: 37174
659.66/661.75 c #Conflicts: 567000 | #Constraints: 38175
659.66/661.75 c #Conflicts: 568000 | #Constraints: 39175
659.66/661.75 c #Conflicts: 569000 | #Constraints: 40175
659.66/661.75 c #Conflicts: 570000 | #Constraints: 41175
659.66/661.75 c #Conflicts: 571000 | #Constraints: 42175
659.66/661.75 c #Conflicts: 572000 | #Constraints: 43175
659.66/661.75 c #Conflicts: 573000 | #Constraints: 44175
659.66/661.75 c #Conflicts: 574000 | #Constraints: 45175
659.66/661.75 c #Conflicts: 575000 | #Constraints: 46175
796.89/799.31 c #Conflicts: 576000 | #Constraints: 47175
796.89/799.31 c #Conflicts: 577000 | #Constraints: 48175
796.89/799.31 c #Conflicts: 578000 | #Constraints: 49175
796.89/799.31 c #Conflicts: 579000 | #Constraints: 50175
796.89/799.31 c #Conflicts: 580000 | #Constraints: 51175
796.89/799.31 c #Conflicts: 581000 | #Constraints: 52175
796.89/799.31 c #Conflicts: 582000 | #Constraints: 53175
796.89/799.31 c #Conflicts: 583000 | #Constraints: 54175
796.89/799.31 c #Conflicts: 584000 | #Constraints: 55175
796.89/799.31 c #Conflicts: 585000 | #Constraints: 56175
796.89/799.31 c #Conflicts: 586000 | #Constraints: 57175
796.89/799.31 c #Conflicts: 587000 | #Constraints: 58175
796.89/799.31 c #Conflicts: 588000 | #Constraints: 59175
796.89/799.31 c #Conflicts: 589000 | #Constraints: 60175
796.89/799.31 c #Conflicts: 590000 | #Constraints: 61175
796.89/799.31 c #Conflicts: 591000 | #Constraints: 62175
796.89/799.31 c #Conflicts: 592000 | #Constraints: 63175
796.89/799.31 c #Conflicts: 593000 | #Constraints: 64175
796.89/799.31 c #Conflicts: 594000 | #Constraints: 65175
796.89/799.31 c #Conflicts: 595000 | #Constraints: 66175
796.89/799.31 c #Conflicts: 596000 | #Constraints: 67175
796.89/799.31 c #Conflicts: 597000 | #Constraints: 68175
796.89/799.31 c #Conflicts: 598000 | #Constraints: 69175
796.89/799.31 c #Conflicts: 599000 | #Constraints: 70175
796.89/799.31 c #Conflicts: 600000 | #Constraints: 71175
796.89/799.31 c #Conflicts: 601000 | #Constraints: 72175
796.89/799.31 c #Conflicts: 602000 | #Constraints: 73175
796.89/799.31 c #Conflicts: 603000 | #Constraints: 74175
796.89/799.31 c #Conflicts: 604000 | #Constraints: 75175
796.89/799.31 c #Conflicts: 605000 | #Constraints: 76175
796.89/799.31 c #Conflicts: 606000 | #Constraints: 77175
796.89/799.31 c #Conflicts: 607000 | #Constraints: 78175
796.89/799.31 c #Conflicts: 608000 | #Constraints: 79175
796.89/799.31 c #Conflicts: 609000 | #Constraints: 80175
796.89/799.31 c #Conflicts: 610000 | #Constraints: 81175
796.89/799.31 c #Conflicts: 611000 | #Constraints: 82175
796.89/799.31 c #Conflicts: 612000 | #Constraints: 83175
796.89/799.31 c INPROCESSING
796.89/799.31 c GARBAGE COLLECT
796.89/799.31 c #Conflicts: 613000 | #Constraints: 46590
796.89/799.31 c #Conflicts: 614000 | #Constraints: 47590
796.89/799.31 c #Conflicts: 615000 | #Constraints: 48590
796.89/799.31 c #Conflicts: 616000 | #Constraints: 49590
796.89/799.31 c #Conflicts: 617000 | #Constraints: 50590
796.89/799.31 c #Conflicts: 618000 | #Constraints: 51590
796.89/799.31 c #Conflicts: 619000 | #Constraints: 52590
796.89/799.31 c #Conflicts: 620000 | #Constraints: 53590
796.89/799.31 c #Conflicts: 621000 | #Constraints: 54590
796.89/799.31 c #Conflicts: 622000 | #Constraints: 55590
796.89/799.31 c #Conflicts: 623000 | #Constraints: 56590
796.89/799.31 c #Conflicts: 624000 | #Constraints: 57590
796.89/799.31 c #Conflicts: 625000 | #Constraints: 58590
796.89/799.31 c #Conflicts: 626000 | #Constraints: 59590
796.89/799.31 c #Conflicts: 627000 | #Constraints: 60590
796.89/799.31 c #Conflicts: 628000 | #Constraints: 61590
796.89/799.31 c #Conflicts: 629000 | #Constraints: 62590
796.89/799.31 c #Conflicts: 630000 | #Constraints: 63590
796.89/799.31 c INPROCESSING
796.89/799.31 c GARBAGE COLLECT
796.89/799.31 c #Conflicts: 631000 | #Constraints: 36607
796.89/799.31 c #Conflicts: 632000 | #Constraints: 37607
796.89/799.31 c #Conflicts: 633000 | #Constraints: 38607
796.89/799.31 c #Conflicts: 634000 | #Constraints: 39607
796.89/799.31 c #Conflicts: 635000 | #Constraints: 40607
796.89/799.31 c #Conflicts: 636000 | #Constraints: 41607
796.89/799.31 c #Conflicts: 637000 | #Constraints: 42607
796.89/799.31 c #Conflicts: 638000 | #Constraints: 43607
796.89/799.31 c #Conflicts: 639000 | #Constraints: 44607
796.89/799.31 c #Conflicts: 640000 | #Constraints: 45607
796.89/799.31 c #Conflicts: 641000 | #Constraints: 46607
796.89/799.31 c #Conflicts: 642000 | #Constraints: 47607
796.89/799.31 c #Conflicts: 643000 | #Constraints: 48607
796.89/799.31 c #Conflicts: 644000 | #Constraints: 49607
796.89/799.31 c #Conflicts: 645000 | #Constraints: 50607
796.89/799.31 c #Conflicts: 646000 | #Constraints: 51607
796.89/799.31 c #Conflicts: 647000 | #Constraints: 52607
796.89/799.31 c #Conflicts: 648000 | #Constraints: 53607
796.89/799.31 c INPROCESSING
796.89/799.31 c GARBAGE COLLECT
796.89/799.31 c #Conflicts: 649000 | #Constraints: 31443
796.89/799.31 c #Conflicts: 650000 | #Constraints: 32443
796.89/799.31 c #Conflicts: 651000 | #Constraints: 33443
796.89/799.31 c #Conflicts: 652000 | #Constraints: 34443
854.04/856.61 c #Conflicts: 653000 | #Constraints: 35443
854.04/856.61 c #Conflicts: 654000 | #Constraints: 36443
854.04/856.61 c #Conflicts: 655000 | #Constraints: 37443
854.04/856.61 c #Conflicts: 656000 | #Constraints: 38443
854.04/856.61 c #Conflicts: 657000 | #Constraints: 39443
854.04/856.61 c #Conflicts: 658000 | #Constraints: 40443
854.04/856.61 c #Conflicts: 659000 | #Constraints: 41443
854.04/856.61 c #Conflicts: 660000 | #Constraints: 42443
854.04/856.61 c #Conflicts: 661000 | #Constraints: 43443
854.04/856.61 c #Conflicts: 662000 | #Constraints: 44443
854.04/856.61 c #Conflicts: 663000 | #Constraints: 45443
854.04/856.61 c #Conflicts: 664000 | #Constraints: 46443
854.04/856.61 c #Conflicts: 665000 | #Constraints: 47443
854.04/856.61 c #Conflicts: 666000 | #Constraints: 48443
854.04/856.61 c #Conflicts: 667000 | #Constraints: 49443
854.04/856.61 c INPROCESSING
854.04/856.61 c GARBAGE COLLECT
854.04/856.61 c #Conflicts: 668000 | #Constraints: 29578
854.04/856.61 c #Conflicts: 669000 | #Constraints: 30578
854.04/856.61 c #Conflicts: 670000 | #Constraints: 31578
854.04/856.61 c #Conflicts: 671000 | #Constraints: 32578
854.04/856.61 c #Conflicts: 672000 | #Constraints: 33578
854.04/856.61 c #Conflicts: 673000 | #Constraints: 34578
854.04/856.61 c #Conflicts: 674000 | #Constraints: 35578
854.04/856.61 c #Conflicts: 675000 | #Constraints: 36578
854.04/856.61 c #Conflicts: 676000 | #Constraints: 37578
854.04/856.61 c #Conflicts: 677000 | #Constraints: 38578
854.04/856.61 c #Conflicts: 678000 | #Constraints: 39578
854.04/856.61 c #Conflicts: 679000 | #Constraints: 40578
854.04/856.61 c #Conflicts: 680000 | #Constraints: 41578
854.04/856.61 c #Conflicts: 681000 | #Constraints: 42578
854.04/856.61 c #Conflicts: 682000 | #Constraints: 43578
854.04/856.61 c #Conflicts: 683000 | #Constraints: 44578
854.04/856.61 c #Conflicts: 684000 | #Constraints: 45578
854.04/856.61 c #Conflicts: 685000 | #Constraints: 46578
854.04/856.61 c #Conflicts: 686000 | #Constraints: 47578
854.04/856.61 c INPROCESSING
854.04/856.61 c GARBAGE COLLECT
854.04/856.61 c rational objective 101.232
1016.29/1019.31 c #Conflicts: 687000 | #Constraints: 28654
1016.29/1019.31 c #Conflicts: 688000 | #Constraints: 29654
1016.29/1019.31 c #Conflicts: 689000 | #Constraints: 30654
1016.29/1019.31 c #Conflicts: 690000 | #Constraints: 31654
1016.29/1019.31 c #Conflicts: 691000 | #Constraints: 32654
1016.29/1019.31 c #Conflicts: 692000 | #Constraints: 33654
1016.29/1019.31 c #Conflicts: 693000 | #Constraints: 34654
1016.29/1019.31 c #Conflicts: 694000 | #Constraints: 35654
1016.29/1019.31 c #Conflicts: 695000 | #Constraints: 36654
1016.29/1019.31 c #Conflicts: 696000 | #Constraints: 37654
1016.29/1019.31 c #Conflicts: 697000 | #Constraints: 38654
1016.29/1019.31 c #Conflicts: 698000 | #Constraints: 39654
1016.29/1019.31 c #Conflicts: 699000 | #Constraints: 40654
1016.29/1019.31 c #Conflicts: 700000 | #Constraints: 41654
1016.29/1019.31 c #Conflicts: 701000 | #Constraints: 42654
1016.29/1019.31 c #Conflicts: 702000 | #Constraints: 43654
1016.29/1019.31 c #Conflicts: 703000 | #Constraints: 44654
1016.29/1019.31 c #Conflicts: 704000 | #Constraints: 45654
1016.29/1019.31 c #Conflicts: 705000 | #Constraints: 46654
1016.29/1019.31 c #Conflicts: 706000 | #Constraints: 47654
1016.29/1019.31 c #Conflicts: 707000 | #Constraints: 48654
1016.29/1019.31 c #Conflicts: 708000 | #Constraints: 49654
1016.29/1019.31 c #Conflicts: 709000 | #Constraints: 50654
1016.29/1019.31 c #Conflicts: 710000 | #Constraints: 51654
1016.29/1019.31 c #Conflicts: 711000 | #Constraints: 52654
1016.29/1019.31 c #Conflicts: 712000 | #Constraints: 53654
1016.29/1019.31 c #Conflicts: 713000 | #Constraints: 54654
1016.29/1019.31 c #Conflicts: 714000 | #Constraints: 55654
1016.29/1019.31 c #Conflicts: 715000 | #Constraints: 56654
1016.29/1019.31 c #Conflicts: 716000 | #Constraints: 57654
1016.29/1019.31 c #Conflicts: 717000 | #Constraints: 58654
1016.29/1019.31 c #Conflicts: 718000 | #Constraints: 59654
1016.29/1019.31 c #Conflicts: 719000 | #Constraints: 60654
1016.29/1019.31 c #Conflicts: 720000 | #Constraints: 61654
1016.29/1019.31 c #Conflicts: 721000 | #Constraints: 62654
1016.29/1019.31 c #Conflicts: 722000 | #Constraints: 63654
1016.29/1019.31 c #Conflicts: 723000 | #Constraints: 64654
1016.29/1019.31 c #Conflicts: 724000 | #Constraints: 65654
1016.29/1019.31 c #Conflicts: 725000 | #Constraints: 66654
1016.29/1019.31 c #Conflicts: 726000 | #Constraints: 67654
1016.29/1019.31 c #Conflicts: 727000 | #Constraints: 68654
1016.29/1019.31 c #Conflicts: 728000 | #Constraints: 69654
1016.29/1019.31 c #Conflicts: 729000 | #Constraints: 70654
1016.29/1019.31 c #Conflicts: 730000 | #Constraints: 71654
1016.29/1019.31 c #Conflicts: 731000 | #Constraints: 72654
1016.29/1019.31 c #Conflicts: 732000 | #Constraints: 73654
1016.29/1019.31 c #Conflicts: 733000 | #Constraints: 74654
1016.29/1019.31 c #Conflicts: 734000 | #Constraints: 75654
1016.29/1019.31 c #Conflicts: 735000 | #Constraints: 76654
1016.29/1019.31 c #Conflicts: 736000 | #Constraints: 77654
1016.29/1019.31 c #Conflicts: 737000 | #Constraints: 78654
1016.29/1019.31 c #Conflicts: 738000 | #Constraints: 79654
1016.29/1019.31 c #Conflicts: 739000 | #Constraints: 80654
1016.29/1019.31 c #Conflicts: 740000 | #Constraints: 81654
1016.29/1019.31 c #Conflicts: 741000 | #Constraints: 82654
1016.29/1019.31 c #Conflicts: 742000 | #Constraints: 83654
1016.29/1019.31 c #Conflicts: 743000 | #Constraints: 84654
1016.29/1019.31 c #Conflicts: 744000 | #Constraints: 85654
1016.29/1019.31 c #Conflicts: 745000 | #Constraints: 86654
1016.29/1019.31 c #Conflicts: 746000 | #Constraints: 87654
1016.29/1019.31 c #Conflicts: 747000 | #Constraints: 88654
1016.29/1019.31 c #Conflicts: 748000 | #Constraints: 89654
1016.29/1019.31 c #Conflicts: 749000 | #Constraints: 90654
1016.29/1019.31 c #Conflicts: 750000 | #Constraints: 91654
1016.29/1019.31 c INPROCESSING
1016.29/1019.31 c GARBAGE COLLECT
1016.29/1019.31 c #Conflicts: 751000 | #Constraints: 50727
1016.29/1019.31 c #Conflicts: 752000 | #Constraints: 51727
1016.29/1019.31 c #Conflicts: 753000 | #Constraints: 52727
1016.29/1019.31 c #Conflicts: 754000 | #Constraints: 53727
1016.29/1019.31 c #Conflicts: 755000 | #Constraints: 54727
1016.29/1019.31 c #Conflicts: 756000 | #Constraints: 55727
1016.29/1019.31 c #Conflicts: 757000 | #Constraints: 56727
1016.29/1019.31 c #Conflicts: 758000 | #Constraints: 57727
1016.29/1019.31 c #Conflicts: 759000 | #Constraints: 58727
1016.29/1019.31 c #Conflicts: 760000 | #Constraints: 59727
1016.29/1019.31 c #Conflicts: 761000 | #Constraints: 60727
1016.29/1019.31 c #Conflicts: 762000 | #Constraints: 61727
1016.29/1019.31 c #Conflicts: 763000 | #Constraints: 62727
1016.29/1019.31 c #Conflicts: 764000 | #Constraints: 63727
1016.29/1019.31 c #Conflicts: 765000 | #Constraints: 64727
1118.20/1121.55 c #Conflicts: 766000 | #Constraints: 65727
1118.20/1121.55 c #Conflicts: 767000 | #Constraints: 66727
1118.20/1121.55 c #Conflicts: 768000 | #Constraints: 67727
1118.20/1121.55 c #Conflicts: 769000 | #Constraints: 68727
1118.20/1121.55 c #Conflicts: 770000 | #Constraints: 69727
1118.20/1121.55 c INPROCESSING
1118.20/1121.55 c GARBAGE COLLECT
1118.20/1121.55 c #Conflicts: 771000 | #Constraints: 39735
1118.20/1121.55 c #Conflicts: 772000 | #Constraints: 40735
1118.20/1121.55 c #Conflicts: 773000 | #Constraints: 41735
1118.20/1121.55 c #Conflicts: 774000 | #Constraints: 42735
1118.20/1121.55 c #Conflicts: 775000 | #Constraints: 43735
1118.20/1121.55 c #Conflicts: 776000 | #Constraints: 44735
1118.20/1121.55 c #Conflicts: 777000 | #Constraints: 45735
1118.20/1121.55 c #Conflicts: 778000 | #Constraints: 46735
1118.20/1121.55 c #Conflicts: 779000 | #Constraints: 47735
1118.20/1121.55 c #Conflicts: 780000 | #Constraints: 48735
1118.20/1121.55 c #Conflicts: 781000 | #Constraints: 49735
1118.20/1121.55 c #Conflicts: 782000 | #Constraints: 50735
1118.20/1121.55 c #Conflicts: 783000 | #Constraints: 51735
1118.20/1121.55 c #Conflicts: 784000 | #Constraints: 52735
1118.20/1121.55 c #Conflicts: 785000 | #Constraints: 53735
1118.20/1121.55 c #Conflicts: 786000 | #Constraints: 54735
1118.20/1121.55 c #Conflicts: 787000 | #Constraints: 55735
1118.20/1121.55 c #Conflicts: 788000 | #Constraints: 56735
1118.20/1121.55 c #Conflicts: 789000 | #Constraints: 57735
1118.20/1121.55 c #Conflicts: 790000 | #Constraints: 58735
1118.20/1121.55 c INPROCESSING
1118.20/1121.55 c GARBAGE COLLECT
1118.20/1121.55 c #Conflicts: 791000 | #Constraints: 34090
1118.20/1121.55 c #Conflicts: 792000 | #Constraints: 35090
1118.20/1121.55 c #Conflicts: 793000 | #Constraints: 36090
1118.20/1121.55 c #Conflicts: 794000 | #Constraints: 37090
1118.20/1121.55 c #Conflicts: 795000 | #Constraints: 38090
1118.20/1121.55 c #Conflicts: 796000 | #Constraints: 39090
1118.20/1121.55 c #Conflicts: 797000 | #Constraints: 40090
1118.20/1121.55 c #Conflicts: 798000 | #Constraints: 41090
1118.20/1121.55 c #Conflicts: 799000 | #Constraints: 42090
1118.20/1121.55 c #Conflicts: 800000 | #Constraints: 43090
1118.20/1121.55 c #Conflicts: 801000 | #Constraints: 44091
1118.20/1121.55 c #Conflicts: 802000 | #Constraints: 45091
1118.20/1121.55 c #Conflicts: 803000 | #Constraints: 46091
1118.20/1121.55 c #Conflicts: 804000 | #Constraints: 47091
1118.20/1121.55 c #Conflicts: 805000 | #Constraints: 48091
1118.20/1121.55 c #Conflicts: 806000 | #Constraints: 49091
1118.20/1121.55 c #Conflicts: 807000 | #Constraints: 50091
1118.20/1121.55 c #Conflicts: 808000 | #Constraints: 51091
1118.20/1121.55 c #Conflicts: 809000 | #Constraints: 52091
1118.20/1121.55 c #Conflicts: 810000 | #Constraints: 53091
1118.20/1121.55 c INPROCESSING
1118.20/1121.55 c GARBAGE COLLECT
1118.20/1121.55 c #Conflicts: 811000 | #Constraints: 31018
1118.20/1121.55 c #Conflicts: 812000 | #Constraints: 32018
1118.20/1121.55 c #Conflicts: 813000 | #Constraints: 33018
1118.20/1121.55 c #Conflicts: 814000 | #Constraints: 34018
1118.20/1121.55 c #Conflicts: 815000 | #Constraints: 35018
1118.20/1121.55 c #Conflicts: 816000 | #Constraints: 36018
1118.20/1121.55 c #Conflicts: 817000 | #Constraints: 37018
1118.20/1121.55 c #Conflicts: 818000 | #Constraints: 38018
1118.20/1121.55 c #Conflicts: 819000 | #Constraints: 39018
1118.20/1121.55 c #Conflicts: 820000 | #Constraints: 40018
1118.20/1121.55 c #Conflicts: 821000 | #Constraints: 41018
1118.20/1121.55 c #Conflicts: 822000 | #Constraints: 42018
1118.20/1121.55 c #Conflicts: 823000 | #Constraints: 43018
1118.20/1121.55 c #Conflicts: 824000 | #Constraints: 44018
1118.20/1121.55 c #Conflicts: 825000 | #Constraints: 45018
1118.20/1121.55 c #Conflicts: 826000 | #Constraints: 46018
1118.20/1121.55 c #Conflicts: 827000 | #Constraints: 47018
1118.20/1121.55 c #Conflicts: 828000 | #Constraints: 48018
1118.20/1121.55 c #Conflicts: 829000 | #Constraints: 49018
1118.20/1121.55 c #Conflicts: 830000 | #Constraints: 50018
1118.20/1121.55 c #Conflicts: 831000 | #Constraints: 51018
1118.20/1121.55 c INPROCESSING
1118.20/1121.55 c GARBAGE COLLECT
1118.20/1121.55 c #Conflicts: 832000 | #Constraints: 30184
1118.20/1121.55 c #Conflicts: 833000 | #Constraints: 31184
1118.20/1121.55 c #Conflicts: 834000 | #Constraints: 32184
1118.20/1121.55 c #Conflicts: 835000 | #Constraints: 33184
1118.20/1121.55 c #Conflicts: 836000 | #Constraints: 34184
1118.20/1121.55 c #Conflicts: 837000 | #Constraints: 35184
1118.20/1121.55 c #Conflicts: 838000 | #Constraints: 36184
1118.20/1121.55 c #Conflicts: 839000 | #Constraints: 37184
1118.20/1121.55 c #Conflicts: 840000 | #Constraints: 38184
1118.20/1121.55 c #Conflicts: 841000 | #Constraints: 39184
1266.78/1270.59 c #Conflicts: 842000 | #Constraints: 40184
1266.78/1270.59 c #Conflicts: 843000 | #Constraints: 41184
1266.78/1270.59 c #Conflicts: 844000 | #Constraints: 42184
1266.78/1270.59 c #Conflicts: 845000 | #Constraints: 43184
1266.78/1270.59 c #Conflicts: 846000 | #Constraints: 44184
1266.78/1270.59 c #Conflicts: 847000 | #Constraints: 45184
1266.78/1270.59 c #Conflicts: 848000 | #Constraints: 46184
1266.78/1270.59 c #Conflicts: 849000 | #Constraints: 47184
1266.78/1270.59 c #Conflicts: 850000 | #Constraints: 48184
1266.78/1270.59 c #Conflicts: 851000 | #Constraints: 49184
1266.78/1270.59 c #Conflicts: 852000 | #Constraints: 50184
1266.78/1270.59 c #Conflicts: 853000 | #Constraints: 51184
1266.78/1270.59 c #Conflicts: 854000 | #Constraints: 52184
1266.78/1270.59 c #Conflicts: 855000 | #Constraints: 53184
1266.78/1270.59 c #Conflicts: 856000 | #Constraints: 54184
1266.78/1270.59 c #Conflicts: 857000 | #Constraints: 55184
1266.78/1270.59 c #Conflicts: 858000 | #Constraints: 56184
1266.78/1270.59 c #Conflicts: 859000 | #Constraints: 57184
1266.78/1270.59 c #Conflicts: 860000 | #Constraints: 58184
1266.78/1270.59 c #Conflicts: 861000 | #Constraints: 59184
1266.78/1270.59 c #Conflicts: 862000 | #Constraints: 60184
1266.78/1270.59 c #Conflicts: 863000 | #Constraints: 61184
1266.78/1270.59 c #Conflicts: 864000 | #Constraints: 62184
1266.78/1270.59 c #Conflicts: 865000 | #Constraints: 63184
1266.78/1270.59 c #Conflicts: 866000 | #Constraints: 64184
1266.78/1270.59 c #Conflicts: 867000 | #Constraints: 65184
1266.78/1270.59 c #Conflicts: 868000 | #Constraints: 66184
1266.78/1270.59 c #Conflicts: 869000 | #Constraints: 67184
1266.78/1270.59 c #Conflicts: 870000 | #Constraints: 68184
1266.78/1270.59 c #Conflicts: 871000 | #Constraints: 69184
1266.78/1270.59 c #Conflicts: 872000 | #Constraints: 70184
1266.78/1270.59 c #Conflicts: 873000 | #Constraints: 71184
1266.78/1270.59 c #Conflicts: 874000 | #Constraints: 72184
1266.78/1270.59 c #Conflicts: 875000 | #Constraints: 73184
1266.78/1270.59 c #Conflicts: 876000 | #Constraints: 74184
1266.78/1270.59 c #Conflicts: 877000 | #Constraints: 75184
1266.78/1270.59 c #Conflicts: 878000 | #Constraints: 76184
1266.78/1270.59 c #Conflicts: 879000 | #Constraints: 77184
1266.78/1270.59 c #Conflicts: 880000 | #Constraints: 78184
1266.78/1270.59 c #Conflicts: 881000 | #Constraints: 79184
1266.78/1270.59 c #Conflicts: 882000 | #Constraints: 80184
1266.78/1270.59 c #Conflicts: 883000 | #Constraints: 81184
1266.78/1270.59 c #Conflicts: 884000 | #Constraints: 82184
1266.78/1270.59 c #Conflicts: 885000 | #Constraints: 83184
1266.78/1270.59 c #Conflicts: 886000 | #Constraints: 84184
1266.78/1270.59 c #Conflicts: 887000 | #Constraints: 85184
1266.78/1270.59 c #Conflicts: 888000 | #Constraints: 86184
1266.78/1270.59 c #Conflicts: 889000 | #Constraints: 87184
1266.78/1270.59 c #Conflicts: 890000 | #Constraints: 88184
1266.78/1270.59 c #Conflicts: 891000 | #Constraints: 89184
1266.78/1270.59 c #Conflicts: 892000 | #Constraints: 90184
1266.78/1270.59 c #Conflicts: 893000 | #Constraints: 91184
1266.78/1270.59 c #Conflicts: 894000 | #Constraints: 92184
1266.78/1270.59 c #Conflicts: 895000 | #Constraints: 93184
1266.78/1270.59 c #Conflicts: 896000 | #Constraints: 94184
1266.78/1270.59 c #Conflicts: 897000 | #Constraints: 95184
1266.78/1270.59 c #Conflicts: 898000 | #Constraints: 96184
1266.78/1270.59 c #Conflicts: 899000 | #Constraints: 97184
1266.78/1270.59 c #Conflicts: 900000 | #Constraints: 98184
1266.78/1270.59 c #Conflicts: 901000 | #Constraints: 99184
1266.78/1270.59 c #Conflicts: 902000 | #Constraints: 100184
1266.78/1270.59 c INPROCESSING
1266.78/1270.59 c GARBAGE COLLECT
1266.78/1270.59 c rational objective 101.301
1381.22/1385.39 c #Conflicts: 903000 | #Constraints: 54976
1381.22/1385.39 c #Conflicts: 904000 | #Constraints: 55976
1381.22/1385.39 c #Conflicts: 905000 | #Constraints: 56976
1381.22/1385.39 c #Conflicts: 906000 | #Constraints: 57976
1381.22/1385.39 c #Conflicts: 907000 | #Constraints: 58976
1381.22/1385.39 c #Conflicts: 908000 | #Constraints: 59976
1381.22/1385.39 c #Conflicts: 909000 | #Constraints: 60976
1381.22/1385.39 c #Conflicts: 910000 | #Constraints: 61976
1381.22/1385.39 c #Conflicts: 911000 | #Constraints: 62976
1381.22/1385.39 c #Conflicts: 912000 | #Constraints: 63976
1381.22/1385.39 c #Conflicts: 913000 | #Constraints: 64976
1381.22/1385.39 c #Conflicts: 914000 | #Constraints: 65976
1381.22/1385.39 c #Conflicts: 915000 | #Constraints: 66976
1381.22/1385.39 c #Conflicts: 916000 | #Constraints: 67976
1381.22/1385.39 c #Conflicts: 917000 | #Constraints: 68976
1381.22/1385.39 c #Conflicts: 918000 | #Constraints: 69976
1381.22/1385.39 c #Conflicts: 919000 | #Constraints: 70976
1381.22/1385.39 c #Conflicts: 920000 | #Constraints: 71976
1381.22/1385.39 c #Conflicts: 921000 | #Constraints: 72976
1381.22/1385.39 c #Conflicts: 922000 | #Constraints: 73976
1381.22/1385.39 c #Conflicts: 923000 | #Constraints: 74976
1381.22/1385.39 c #Conflicts: 924000 | #Constraints: 75976
1381.22/1385.39 c INPROCESSING
1381.22/1385.39 c GARBAGE COLLECT
1381.22/1385.39 c #Conflicts: 925000 | #Constraints: 42945
1381.22/1385.39 c #Conflicts: 926000 | #Constraints: 43945
1381.22/1385.39 c #Conflicts: 927000 | #Constraints: 44945
1381.22/1385.39 c #Conflicts: 928000 | #Constraints: 45945
1381.22/1385.39 c #Conflicts: 929000 | #Constraints: 46945
1381.22/1385.39 c #Conflicts: 930000 | #Constraints: 47945
1381.22/1385.39 c #Conflicts: 931000 | #Constraints: 48945
1381.22/1385.39 c #Conflicts: 932000 | #Constraints: 49945
1381.22/1385.39 c #Conflicts: 933000 | #Constraints: 50945
1381.22/1385.39 c #Conflicts: 934000 | #Constraints: 51945
1381.22/1385.39 c #Conflicts: 935000 | #Constraints: 52945
1381.22/1385.39 c #Conflicts: 936000 | #Constraints: 53945
1381.22/1385.39 c #Conflicts: 937000 | #Constraints: 54945
1381.22/1385.39 c #Conflicts: 938000 | #Constraints: 55945
1381.22/1385.39 c #Conflicts: 939000 | #Constraints: 56945
1381.22/1385.39 c #Conflicts: 940000 | #Constraints: 57945
1381.22/1385.39 c #Conflicts: 941000 | #Constraints: 58945
1381.22/1385.39 c #Conflicts: 942000 | #Constraints: 59945
1381.22/1385.39 c #Conflicts: 943000 | #Constraints: 60945
1381.22/1385.39 c #Conflicts: 944000 | #Constraints: 61945
1381.22/1385.39 c #Conflicts: 945000 | #Constraints: 62945
1381.22/1385.39 c #Conflicts: 946000 | #Constraints: 63945
1381.22/1385.39 c INPROCESSING
1381.22/1385.39 c GARBAGE COLLECT
1381.22/1385.39 c #Conflicts: 947000 | #Constraints: 36800
1381.22/1385.39 c #Conflicts: 948000 | #Constraints: 37800
1381.22/1385.39 c #Conflicts: 949000 | #Constraints: 38800
1381.22/1385.39 c #Conflicts: 950000 | #Constraints: 39800
1381.22/1385.39 c #Conflicts: 951000 | #Constraints: 40800
1381.22/1385.39 c #Conflicts: 952000 | #Constraints: 41800
1381.22/1385.39 c #Conflicts: 953000 | #Constraints: 42800
1381.22/1385.39 c #Conflicts: 954000 | #Constraints: 43800
1381.22/1385.39 c #Conflicts: 955000 | #Constraints: 44800
1381.22/1385.39 c #Conflicts: 956000 | #Constraints: 45800
1381.22/1385.39 c #Conflicts: 957000 | #Constraints: 46800
1381.22/1385.39 c #Conflicts: 958000 | #Constraints: 47800
1381.22/1385.39 c #Conflicts: 959000 | #Constraints: 48800
1381.22/1385.39 c #Conflicts: 960000 | #Constraints: 49800
1381.22/1385.39 c #Conflicts: 961000 | #Constraints: 50800
1381.22/1385.39 c #Conflicts: 962000 | #Constraints: 51800
1381.22/1385.39 c #Conflicts: 963000 | #Constraints: 52800
1381.22/1385.39 c #Conflicts: 964000 | #Constraints: 53800
1381.22/1385.39 c #Conflicts: 965000 | #Constraints: 54800
1381.22/1385.39 c #Conflicts: 966000 | #Constraints: 55800
1381.22/1385.39 c #Conflicts: 967000 | #Constraints: 56800
1381.22/1385.39 c #Conflicts: 968000 | #Constraints: 57800
1381.22/1385.39 c INPROCESSING
1381.22/1385.39 c GARBAGE COLLECT
1381.22/1385.39 c #Conflicts: 969000 | #Constraints: 33484
1381.22/1385.39 c #Conflicts: 970000 | #Constraints: 34484
1381.22/1385.39 c #Conflicts: 971000 | #Constraints: 35484
1381.22/1385.39 c #Conflicts: 972000 | #Constraints: 36484
1381.22/1385.39 c #Conflicts: 973000 | #Constraints: 37484
1381.22/1385.39 c #Conflicts: 974000 | #Constraints: 38484
1381.22/1385.39 c #Conflicts: 975000 | #Constraints: 39484
1381.22/1385.39 c #Conflicts: 976000 | #Constraints: 40484
1381.22/1385.39 c #Conflicts: 977000 | #Constraints: 41484
1381.22/1385.39 c #Conflicts: 978000 | #Constraints: 42484
1381.22/1385.39 c #Conflicts: 979000 | #Constraints: 43484
1556.45/1561.07 c #Conflicts: 980000 | #Constraints: 44484
1556.45/1561.07 c #Conflicts: 981000 | #Constraints: 45484
1556.45/1561.07 c #Conflicts: 982000 | #Constraints: 46484
1556.45/1561.07 c #Conflicts: 983000 | #Constraints: 47484
1556.45/1561.07 c #Conflicts: 984000 | #Constraints: 48484
1556.45/1561.07 c #Conflicts: 985000 | #Constraints: 49484
1556.45/1561.07 c #Conflicts: 986000 | #Constraints: 50484
1556.45/1561.07 c #Conflicts: 987000 | #Constraints: 51484
1556.45/1561.07 c #Conflicts: 988000 | #Constraints: 52484
1556.45/1561.07 c #Conflicts: 989000 | #Constraints: 53484
1556.45/1561.07 c #Conflicts: 990000 | #Constraints: 54484
1556.45/1561.07 c #Conflicts: 991000 | #Constraints: 55484
1556.45/1561.07 c INPROCESSING
1556.45/1561.07 c GARBAGE COLLECT
1556.45/1561.07 c #Conflicts: 992000 | #Constraints: 32595
1556.45/1561.07 c #Conflicts: 993000 | #Constraints: 33595
1556.45/1561.07 c #Conflicts: 994000 | #Constraints: 34596
1556.45/1561.07 c #Conflicts: 995000 | #Constraints: 35596
1556.45/1561.07 c #Conflicts: 996000 | #Constraints: 36596
1556.45/1561.07 c #Conflicts: 997000 | #Constraints: 37596
1556.45/1561.07 c #Conflicts: 998000 | #Constraints: 38596
1556.45/1561.07 c #Conflicts: 999000 | #Constraints: 39596
1556.45/1561.07 c #Conflicts: 1000000 | #Constraints: 40596
1556.45/1561.07 c #Conflicts: 1001000 | #Constraints: 41596
1556.45/1561.07 c #Conflicts: 1002000 | #Constraints: 42596
1556.45/1561.07 c #Conflicts: 1003000 | #Constraints: 43596
1556.45/1561.07 c #Conflicts: 1004000 | #Constraints: 44596
1556.45/1561.07 c #Conflicts: 1005000 | #Constraints: 45596
1556.45/1561.07 c #Conflicts: 1006000 | #Constraints: 46596
1556.45/1561.07 c #Conflicts: 1007000 | #Constraints: 47596
1556.45/1561.07 c #Conflicts: 1008000 | #Constraints: 48596
1556.45/1561.07 c #Conflicts: 1009000 | #Constraints: 49596
1556.45/1561.07 c #Conflicts: 1010000 | #Constraints: 50596
1556.45/1561.07 c #Conflicts: 1011000 | #Constraints: 51596
1556.45/1561.07 c #Conflicts: 1012000 | #Constraints: 52596
1556.45/1561.07 c #Conflicts: 1013000 | #Constraints: 53596
1556.45/1561.07 c #Conflicts: 1014000 | #Constraints: 54596
1556.45/1561.07 c #Conflicts: 1015000 | #Constraints: 55596
1556.45/1561.07 c #Conflicts: 1016000 | #Constraints: 56596
1556.45/1561.07 c #Conflicts: 1017000 | #Constraints: 57596
1556.45/1561.07 c #Conflicts: 1018000 | #Constraints: 58596
1556.45/1561.07 c #Conflicts: 1019000 | #Constraints: 59596
1556.45/1561.07 c #Conflicts: 1020000 | #Constraints: 60596
1556.45/1561.07 c #Conflicts: 1021000 | #Constraints: 61596
1556.45/1561.07 c #Conflicts: 1022000 | #Constraints: 62596
1556.45/1561.07 c #Conflicts: 1023000 | #Constraints: 63596
1556.45/1561.07 c #Conflicts: 1024000 | #Constraints: 64596
1556.45/1561.07 c #Conflicts: 1025000 | #Constraints: 65596
1556.45/1561.07 c #Conflicts: 1026000 | #Constraints: 66596
1556.45/1561.07 c #Conflicts: 1027000 | #Constraints: 67596
1556.45/1561.07 c #Conflicts: 1028000 | #Constraints: 68596
1556.45/1561.07 c #Conflicts: 1029000 | #Constraints: 69596
1556.45/1561.07 c #Conflicts: 1030000 | #Constraints: 70596
1556.45/1561.07 c #Conflicts: 1031000 | #Constraints: 71596
1556.45/1561.07 c #Conflicts: 1032000 | #Constraints: 72596
1556.45/1561.07 c #Conflicts: 1033000 | #Constraints: 73596
1556.45/1561.07 c #Conflicts: 1034000 | #Constraints: 74596
1556.45/1561.07 c #Conflicts: 1035000 | #Constraints: 75596
1556.45/1561.07 c #Conflicts: 1036000 | #Constraints: 76596
1556.45/1561.07 c #Conflicts: 1037000 | #Constraints: 77596
1556.45/1561.07 c #Conflicts: 1038000 | #Constraints: 78596
1556.45/1561.07 c #Conflicts: 1039000 | #Constraints: 79596
1556.45/1561.07 c #Conflicts: 1040000 | #Constraints: 80596
1556.45/1561.07 c #Conflicts: 1041000 | #Constraints: 81596
1556.45/1561.07 c #Conflicts: 1042000 | #Constraints: 82596
1556.45/1561.07 c #Conflicts: 1043000 | #Constraints: 83596
1556.45/1561.07 c #Conflicts: 1044000 | #Constraints: 84596
1556.45/1561.07 c #Conflicts: 1045000 | #Constraints: 85596
1556.45/1561.07 c #Conflicts: 1046000 | #Constraints: 86596
1556.45/1561.07 c #Conflicts: 1047000 | #Constraints: 87596
1556.45/1561.07 c #Conflicts: 1048000 | #Constraints: 88596
1556.45/1561.07 c #Conflicts: 1049000 | #Constraints: 89596
1556.45/1561.07 c #Conflicts: 1050000 | #Constraints: 90596
1556.45/1561.07 c #Conflicts: 1051000 | #Constraints: 91596
1556.45/1561.07 c #Conflicts: 1052000 | #Constraints: 92596
1556.45/1561.07 c #Conflicts: 1053000 | #Constraints: 93596
1556.45/1561.07 c #Conflicts: 1054000 | #Constraints: 94596
1556.45/1561.07 c #Conflicts: 1055000 | #Constraints: 95596
1556.45/1561.07 c #Conflicts: 1056000 | #Constraints: 96596
1556.45/1561.07 c #Conflicts: 1057000 | #Constraints: 97596
1695.87/1700.81 c #Conflicts: 1058000 | #Constraints: 98596
1695.87/1700.81 c #Conflicts: 1059000 | #Constraints: 99596
1695.87/1700.81 c #Conflicts: 1060000 | #Constraints: 100596
1695.87/1700.81 c #Conflicts: 1061000 | #Constraints: 101596
1695.87/1700.81 c #Conflicts: 1062000 | #Constraints: 102596
1695.87/1700.81 c #Conflicts: 1063000 | #Constraints: 103596
1695.87/1700.81 c #Conflicts: 1064000 | #Constraints: 104596
1695.87/1700.81 c #Conflicts: 1065000 | #Constraints: 105596
1695.87/1700.81 c #Conflicts: 1066000 | #Constraints: 106596
1695.87/1700.81 c #Conflicts: 1067000 | #Constraints: 107596
1695.87/1700.81 c #Conflicts: 1068000 | #Constraints: 108596
1695.87/1700.81 c INPROCESSING
1695.87/1700.81 c GARBAGE COLLECT
1695.87/1700.81 c #Conflicts: 1069000 | #Constraints: 59286
1695.87/1700.81 c #Conflicts: 1070000 | #Constraints: 60286
1695.87/1700.81 c #Conflicts: 1071000 | #Constraints: 61286
1695.87/1700.81 c #Conflicts: 1072000 | #Constraints: 62286
1695.87/1700.81 c #Conflicts: 1073000 | #Constraints: 63286
1695.87/1700.81 c #Conflicts: 1074000 | #Constraints: 64286
1695.87/1700.81 c #Conflicts: 1075000 | #Constraints: 65286
1695.87/1700.81 c #Conflicts: 1076000 | #Constraints: 66286
1695.87/1700.81 c #Conflicts: 1077000 | #Constraints: 67286
1695.87/1700.81 c #Conflicts: 1078000 | #Constraints: 68286
1695.87/1700.81 c #Conflicts: 1079000 | #Constraints: 69286
1695.87/1700.81 c #Conflicts: 1080000 | #Constraints: 70286
1695.87/1700.81 c #Conflicts: 1081000 | #Constraints: 71286
1695.87/1700.81 c #Conflicts: 1082000 | #Constraints: 72286
1695.87/1700.81 c #Conflicts: 1083000 | #Constraints: 73286
1695.87/1700.81 c #Conflicts: 1084000 | #Constraints: 74286
1695.87/1700.81 c #Conflicts: 1085000 | #Constraints: 75286
1695.87/1700.81 c #Conflicts: 1086000 | #Constraints: 76286
1695.87/1700.81 c #Conflicts: 1087000 | #Constraints: 77286
1695.87/1700.81 c #Conflicts: 1088000 | #Constraints: 78286
1695.87/1700.81 c #Conflicts: 1089000 | #Constraints: 79286
1695.87/1700.81 c #Conflicts: 1090000 | #Constraints: 80286
1695.87/1700.81 c #Conflicts: 1091000 | #Constraints: 81286
1695.87/1700.81 c INPROCESSING
1695.87/1700.81 c GARBAGE COLLECT
1695.87/1700.81 c #Conflicts: 1092000 | #Constraints: 45124
1695.87/1700.81 c #Conflicts: 1093000 | #Constraints: 46124
1695.87/1700.81 c #Conflicts: 1094000 | #Constraints: 47124
1695.87/1700.81 c #Conflicts: 1095000 | #Constraints: 48124
1695.87/1700.81 c #Conflicts: 1096000 | #Constraints: 49124
1695.87/1700.81 c #Conflicts: 1097000 | #Constraints: 50124
1695.87/1700.81 c #Conflicts: 1098000 | #Constraints: 51124
1695.87/1700.81 c #Conflicts: 1099000 | #Constraints: 52124
1695.87/1700.81 c #Conflicts: 1100000 | #Constraints: 53124
1695.87/1700.81 c #Conflicts: 1101000 | #Constraints: 54124
1695.87/1700.81 c #Conflicts: 1102000 | #Constraints: 55124
1695.87/1700.81 c #Conflicts: 1103000 | #Constraints: 56124
1695.87/1700.81 c #Conflicts: 1104000 | #Constraints: 57124
1695.87/1700.81 c #Conflicts: 1105000 | #Constraints: 58124
1695.87/1700.81 c #Conflicts: 1106000 | #Constraints: 59124
1695.87/1700.81 c #Conflicts: 1107000 | #Constraints: 60124
1695.87/1700.81 c #Conflicts: 1108000 | #Constraints: 61124
1695.87/1700.81 c #Conflicts: 1109000 | #Constraints: 62124
1695.87/1700.81 c #Conflicts: 1110000 | #Constraints: 63124
1695.87/1700.81 c #Conflicts: 1111000 | #Constraints: 64124
1695.87/1700.81 c #Conflicts: 1112000 | #Constraints: 65124
1695.87/1700.81 c #Conflicts: 1113000 | #Constraints: 66124
1695.87/1700.81 c #Conflicts: 1114000 | #Constraints: 67124
1695.87/1700.81 c #Conflicts: 1115000 | #Constraints: 68124
1695.87/1700.81 c #Conflicts: 1116000 | #Constraints: 69124
1695.87/1700.81 c INPROCESSING
1695.87/1700.81 c GARBAGE COLLECT
1695.87/1700.81 c rational objective 101.336
1797.00/1802.21 c #Conflicts: 1117000 | #Constraints: 39616
1797.00/1802.21 c #Conflicts: 1118000 | #Constraints: 40616
1797.00/1802.21 c #Conflicts: 1119000 | #Constraints: 41616
1797.00/1802.21 c #Conflicts: 1120000 | #Constraints: 42616
1797.00/1802.21 c #Conflicts: 1121000 | #Constraints: 43616
1797.00/1802.21 c #Conflicts: 1122000 | #Constraints: 44616
1797.00/1802.21 c #Conflicts: 1123000 | #Constraints: 45616
1797.00/1802.21 c #Conflicts: 1124000 | #Constraints: 46616
1797.00/1802.21 c #Conflicts: 1125000 | #Constraints: 47616
1797.00/1802.21 c #Conflicts: 1126000 | #Constraints: 48616
1797.00/1802.21 c #Conflicts: 1127000 | #Constraints: 49616
1797.00/1802.21 c #Conflicts: 1128000 | #Constraints: 50616
1797.00/1802.21 c #Conflicts: 1129000 | #Constraints: 51616
1797.00/1802.21 c #Conflicts: 1130000 | #Constraints: 52616
1797.00/1802.21 c #Conflicts: 1131000 | #Constraints: 53616
1797.00/1802.21 c #Conflicts: 1132000 | #Constraints: 54616
1797.00/1802.21 c #Conflicts: 1133000 | #Constraints: 55616
1797.00/1802.21 c #Conflicts: 1134000 | #Constraints: 56616
1797.00/1802.21 c #Conflicts: 1135000 | #Constraints: 57616
1797.00/1802.21 c #Conflicts: 1136000 | #Constraints: 58616
1797.00/1802.21 c #Conflicts: 1137000 | #Constraints: 59616
1797.00/1802.21 c #Conflicts: 1138000 | #Constraints: 60616
1797.00/1802.21 c #Conflicts: 1139000 | #Constraints: 61616
1797.00/1802.21 c #Conflicts: 1140000 | #Constraints: 62616
1797.00/1802.21 c INPROCESSING
1797.00/1802.21 c GARBAGE COLLECT
1797.00/1802.21 c #Conflicts: 1141000 | #Constraints: 36087
1797.00/1802.21 c #Conflicts: 1142000 | #Constraints: 37087
1797.00/1802.21 c #Conflicts: 1143000 | #Constraints: 38087
1797.00/1802.21 c #Conflicts: 1144000 | #Constraints: 39087
1797.00/1802.21 c #Conflicts: 1145000 | #Constraints: 40087
1797.00/1802.21 c #Conflicts: 1146000 | #Constraints: 41087
1797.00/1802.21 c #Conflicts: 1147000 | #Constraints: 42087
1797.00/1802.21 c #Conflicts: 1148000 | #Constraints: 43087
1797.00/1802.21 c #Conflicts: 1149000 | #Constraints: 44087
1797.00/1802.21 c #Conflicts: 1150000 | #Constraints: 45087
1797.00/1802.21 c #Conflicts: 1151000 | #Constraints: 46087
1797.00/1802.21 c #Conflicts: 1152000 | #Constraints: 47087
1797.00/1802.21 c #Conflicts: 1153000 | #Constraints: 48087
1797.00/1802.21 c #Conflicts: 1154000 | #Constraints: 49087
1797.00/1802.21 c #Conflicts: 1155000 | #Constraints: 50087
1797.00/1802.21 c #Conflicts: 1156000 | #Constraints: 51087
1797.00/1802.21 c #Conflicts: 1157000 | #Constraints: 52087
1797.00/1802.21 c #Conflicts: 1158000 | #Constraints: 53087
1797.00/1802.21 c #Conflicts: 1159000 | #Constraints: 54087
1797.00/1802.21 c #Conflicts: 1160000 | #Constraints: 55087
1797.00/1802.21 c #Conflicts: 1161000 | #Constraints: 56087
1797.00/1802.21 c #Conflicts: 1162000 | #Constraints: 57087
1797.00/1802.21 c #Conflicts: 1163000 | #Constraints: 58087
1797.00/1802.21 c #Conflicts: 1164000 | #Constraints: 59087
1797.00/1802.21 c INPROCESSING
1797.00/1802.21 c GARBAGE COLLECT
1797.00/1802.21 c #Conflicts: 1165000 | #Constraints: 34133
1797.00/1802.21 c #Conflicts: 1166000 | #Constraints: 35133
1797.00/1802.21 c #Conflicts: 1167000 | #Constraints: 36133
1797.00/1802.21 c #Conflicts: 1168000 | #Constraints: 37133
1797.00/1802.21 c #Conflicts: 1169000 | #Constraints: 38133
1797.00/1802.21 c #Conflicts: 1170000 | #Constraints: 39133
1797.00/1802.21 c #Conflicts: 1171000 | #Constraints: 40133
1797.00/1802.21 c #Conflicts: 1172000 | #Constraints: 41133
1797.00/1802.21 c #Conflicts: 1173000 | #Constraints: 42133
1797.00/1802.21 c #Conflicts: 1174000 | #Constraints: 43133
1797.00/1802.21 c #Conflicts: 1175000 | #Constraints: 44133
1797.00/1802.21 c #Conflicts: 1176000 | #Constraints: 45133
1797.00/1802.21 c #Conflicts: 1177000 | #Constraints: 46133
1797.00/1802.21 c #Conflicts: 1178000 | #Constraints: 47133
1797.00/1802.21 c #Conflicts: 1179000 | #Constraints: 48133
1797.00/1802.21 c #Conflicts: 1180000 | #Constraints: 49133
1797.00/1802.21 c #Conflicts: 1181000 | #Constraints: 50133
1797.00/1802.21 c #Conflicts: 1182000 | #Constraints: 51133
1797.00/1802.21 c #Conflicts: 1183000 | #Constraints: 52133
1797.00/1802.21 c #Conflicts: 1184000 | #Constraints: 53133
1797.00/1802.21 c #Conflicts: 1185000 | #Constraints: 54133
1797.00/1802.21 c #Conflicts: 1186000 | #Constraints: 55133
1797.00/1802.21 c #Conflicts: 1187000 | #Constraints: 56133
1797.00/1802.21 c #Conflicts: 1188000 | #Constraints: 57133
1797.00/1802.21 c #Conflicts: 1189000 | #Constraints: 58133
1797.00/1802.21 c #Conflicts: 1190000 | #Constraints: 59133
1797.00/1802.21 c #Conflicts: 1191000 | #Constraints: 60133
1797.00/1802.21 c #Conflicts: 1192000 | #Constraints: 61133
1797.00/1802.21 c #Conflicts: 1193000 | #Constraints: 62133
1797.00/1802.21 c #Conflicts: 1194000 | #Constraints: 63133
1835.81/1841.18 c #Conflicts: 1195000 | #Constraints: 64133
1835.81/1841.18 c #Conflicts: 1196000 | #Constraints: 65133
1835.81/1841.18 c #Conflicts: 1197000 | #Constraints: 66133
1835.81/1841.18 c #Conflicts: 1198000 | #Constraints: 67133
1835.81/1841.18 c #Conflicts: 1199000 | #Constraints: 68133
1835.81/1841.18 c #Conflicts: 1200000 | #Constraints: 69133
1835.81/1841.18 c #Conflicts: 1201000 | #Constraints: 70133
1835.81/1841.18 c #Conflicts: 1202000 | #Constraints: 71133
1835.81/1841.18 c #Conflicts: 1203000 | #Constraints: 72133
1835.81/1841.18 c #Conflicts: 1204000 | #Constraints: 73133
1835.81/1841.18 c #Conflicts: 1205000 | #Constraints: 74133
1835.81/1841.18 c #Conflicts: 1206000 | #Constraints: 75133
1835.81/1841.18 c #Conflicts: 1207000 | #Constraints: 76133
1835.81/1841.18 c #Conflicts: 1208000 | #Constraints: 77133
1835.81/1841.18 c #Conflicts: 1209000 | #Constraints: 78133
1835.81/1841.18 c #Conflicts: 1210000 | #Constraints: 79133
1835.81/1841.18 c cpu time 1823.36 s
1835.81/1841.18 c deterministic time 135040744521 1.35e+11
1835.81/1841.18 c optimization time 9.6e-05 s
1835.81/1841.18 c total solve time 1823.28 s
1835.81/1841.18 c core-guided solve time 0 s
1835.81/1841.18 c propagation time 989.916 s
1835.81/1841.18 c conflict analysis time 671.368 s
1835.81/1841.18 c propagations 559848223
1835.81/1841.18 c resolve steps 49980069
1835.81/1841.18 c decisions 10491042
1835.81/1841.18 c conflicts 1210014
1835.81/1841.18 c restarts 2299
1835.81/1841.18 c inprocessing phases 64
1835.81/1841.18 c garbage collections 64 ,( 100.00 )
1835.81/1841.18 c input clauses 6950 ,( 98.61 )
1835.81/1841.18 c input cardinalities 98 ,( 1.39 )
1835.81/1841.18 c input general constraints 0 ,( 0.00 )
1835.81/1841.18 c input average constraint length 6.15
1835.81/1841.18 c input average constraint degree 1.92
1835.81/1841.18 c learned clauses 900597 ,( 74.43 )
1835.81/1841.18 c learned cardinalities 23543 ,( 1.95 )
1835.81/1841.18 c learned general constraints 285886 ,( 23.63 )
1835.81/1841.18 c learned average constraint length 640.90
1835.81/1841.18 c learned average constraint degree 8549852.15
1835.81/1841.18 c watched CF 32, 64, 128, Arb: 87472 , 0 , 0 , 0
1835.81/1841.18 c counting CF 32, 64, 128, Arb: 198414 , 0 , 0 , 0
1835.81/1841.18 c watched constraints 87472 ,( 30.60 )
1835.81/1841.18 c counting constraints 198414 ,( 69.40 )
1835.81/1841.18 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 758772938 , 410570771 , 1726593496 ,( 82918968 , 1643674528 )
1835.81/1841.18 c gcd simplifications 725
1835.81/1841.18 c detected cardinalities 2010
1835.81/1841.18 c weakened non-implied lits 220832948
1835.81/1841.18 c weakened non-implying lits 148741
1835.81/1841.18 c original variables 6727
1835.81/1841.18 c clausal propagations 214474968
1835.81/1841.18 c cardinality propagations 213342388
1835.81/1841.18 c watched propagations 2782222
1835.81/1841.18 c counting propagations 124738440
1835.81/1841.18 c watch lookups 63675652896
1835.81/1841.18 c watch backjump lookups 0
1835.81/1841.18 c watch checks 22803567544
1835.81/1841.18 c propagation checks 44753941028
1835.81/1841.18 c constraint additions 2665434722
1835.81/1841.18 c trail pops 571548832
1835.81/1841.18 c formula constraints 7048
1835.81/1841.18 c learned constraints 1210008
1835.81/1841.18 c bound constraints 0
1835.81/1841.18 c core-guided constraints 0
1835.81/1841.18 c encountered formula constraints 29971889
1835.81/1841.18 c encountered learned constraints 21218097
1835.81/1841.18 c encountered bound constraints 0
1835.81/1841.18 c encountered core-guided constraints 0
1835.81/1841.18 c LP total time 134.417 s
1835.81/1841.18 c LP solve time 129.2 s
1835.81/1841.18 c LP constraints added 7591
1835.81/1841.18 c LP constraints removed 339
1835.81/1841.18 c LP pivots internal 129089
1835.81/1841.18 c LP pivots root 131144
1835.81/1841.18 c LP calls 24
1835.81/1841.18 c LP optimalities 12
1835.81/1841.18 c LP no pivot count 0
1835.81/1841.18 c LP infeasibilities 7
1835.81/1841.18 c LP valid Farkas constraints 6
1835.81/1841.18 c LP learned Farkas constraints 6
1835.81/1841.18 c LP basis resets 1
1835.81/1841.18 c LP cycling count 0
1835.81/1841.18 c LP singular count 0
1835.81/1841.18 c LP no primal count 0
1835.81/1841.18 c LP no farkas count 1
1835.81/1841.18 c LP other issue count 0
1835.81/1841.18 c LP Gomory cuts 6
1835.81/1841.18 c LP learned cuts 537
1835.81/1841.18 c LP deleted cuts 339
1835.81/1841.18 c LP encountered Gomory constraints 3
1835.81/1841.18 c LP encountered Farkas constraints 83
1835.81/1841.18 c LP encountered learned Farkas constraints 5
1835.81/1841.18 c CG auxiliary variables introduced 0
1835.81/1841.18 c CG solutions found 0
1835.81/1841.18 c CG cores constructed 0
1835.81/1841.18 c CG core cardinality constraints returned 0
1835.81/1841.18 c CG unit cores 0
1835.81/1841.18 c CG single cores 0
1835.81/1841.18 c CG blocks removed during cardinality reduction 0
1835.81/1841.18 c CG first core best 0
1835.81/1841.18 c CG decision core best 0
1835.81/1841.18 c CG core reduction tie 0
1835.81/1841.18 c CG core degree average 0.00
1835.81/1841.18 c CG core slack average 0.00
1835.81/1841.18 c CG core upper bound improvements 0
1835.81/1841.18 c STR number of successful calls 0
1835.81/1841.18 c STR number of unsuccessful calls 0
1835.81/1841.18 c STR number of inconclusive calls 0
1835.81/1841.18 c STR number of successful attempts 0
1835.81/1841.18 c STR number of unsuccessful attempts 0
1835.81/1841.18 c STR number of inconclusive attempts 0
1835.81/1841.18 c STR average degree increase per successful call inf
1835.81/1841.18 c STR average degree increase per successful attempt inf
1835.81/1841.18 c STR total number of conflicts for successful attempts 0
1835.81/1841.18 c STR total number of conflicts for unsuccessful attempts 0
1835.81/1841.18 c STR total number of conflicts for inconclusive attempts 0
1835.81/1841.18 c STR average number of conflicts per successful attempt inf
1835.81/1841.18 c STR average number of conflicts per unsuccessful attempt inf
1835.81/1841.18 c STR average number of conflicts per inconclusive attempt inf
1835.81/1841.18 c AVG.sumWPerc 61.08
1835.81/1841.18 c bigint constraints 0
1835.81/1841.18 s SATISFIABLE
1835.81/1841.18 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: 63837 MiB (63168 MiB free)
memory of node 1: 64465 MiB (63960 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507376-1751182666/watcher-4507376-1751182666 -o /tmp/evaluation-result-4507376-1751182666/solver-4507376-1751182666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19243 --watchdog 3760 run-dec-break.sh HOME/instance-4507376-1751182666.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19299, runsolver pid=19288
[startup+0.10007 s]*
/proc/loadavg: 0.86 1.23 2.35 3/257 19310
/proc/meminfo: memFree=130120624/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=55272 memory=8064 CPUtime=0 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 316 0 0 0 0 0 0 0 20 0 1 0 33945307 56598528 2016 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 13818 2016 1888 1147 0 1245 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 59464 KiB
Current children cumulated memory: 11136 KiB
[startup+0.214293 s]*
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130103204/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=67384 memory=22940 CPUtime=0.12 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 3774 0 0 0 9 3 0 0 20 0 1 0 33945307 69001216 5735 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 16846 5735 2240 1147 0 4273 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71576 KiB
Current children cumulated memory: 26012 KiB
[startup+0.314356 s]*
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130096084/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=73784 memory=28508 CPUtime=0.22 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 5204 0 0 0 18 4 0 0 20 0 1 0 33945307 75554816 7127 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 18446 7127 2272 1147 0 5873 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77976 KiB
Current children cumulated memory: 31580 KiB
[startup+0.700386 s]
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=74264 memory=29020 CPUtime=0.59 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 5327 0 0 0 55 4 0 0 20 0 1 0 33945307 76046336 7255 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 18566 7255 2272 1147 0 5993 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 78456 KiB
Current children cumulated memory: 32092 KiB
[startup+1.50038 s]
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=75772 memory=30556 CPUtime=1.38 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 5709 0 0 0 134 4 0 0 20 0 1 0 33945307 77590528 7639 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 18943 7639 2272 1147 0 6370 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 79964 KiB
Current children cumulated memory: 33628 KiB
[startup+3.11312 s]
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130068824/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=78604 memory=35724 CPUtime=2.98 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 6429 0 0 0 290 8 0 0 20 0 1 0 33945307 80490496 8931 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 19651 8931 2336 1147 0 7078 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 82796 KiB
Current children cumulated memory: 38796 KiB
[startup+6.30038 s]
/proc/loadavg: 1.27 1.31 2.37 5/257 19310
/proc/meminfo: memFree=130053256/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=83324 memory=40460 CPUtime=6.17 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 7597 0 0 0 597 20 0 0 20 0 1 0 33945307 85323776 10115 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 20831 10115 2336 1147 0 8258 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 87516 KiB
Current children cumulated memory: 43532 KiB
[startup+12.7004 s]
/proc/loadavg: 1.57 1.37 2.39 5/257 19310
/proc/meminfo: memFree=130033288/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=90088 memory=46576 CPUtime=12.55 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 8626 0 0 0 1221 34 0 0 20 0 1 0 33945307 92250112 11644 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 22522 11644 2336 1147 0 9949 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 94280 KiB
Current children cumulated memory: 49648 KiB
[startup+25.5004 s]
/proc/loadavg: 2.41 1.56 2.44 5/257 19311
/proc/meminfo: memFree=129965872/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=119064 memory=65828 CPUtime=25.31 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 11397 0 0 0 2474 57 0 0 20 0 1 0 33945307 121921536 16457 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 29766 16457 2336 1147 0 17193 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 123256 KiB
Current children cumulated memory: 68900 KiB
[startup+51.1132 s]
/proc/loadavg: 3.14 1.81 2.49 5/257 19311
/proc/meminfo: memFree=129832648/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=152748 memory=96868 CPUtime=50.86 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 15585 0 0 0 4983 103 0 0 20 0 1 0 33945307 156413952 24217 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 38187 24217 2336 1147 0 25614 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 156940 KiB
Current children cumulated memory: 99940 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.16 2.58 5/258 19316
/proc/meminfo: memFree=129647856/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=174752 memory=130376 CPUtime=101.89 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 20907 0 0 0 10022 167 0 0 20 0 1 0 33945307 178946048 32594 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 43688 32594 2336 1147 0 31115 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 178944 KiB
Current children cumulated memory: 133448 KiB
[startup+162.3 s]
/proc/loadavg: 4.55 2.68 2.74 5/257 19318
/proc/meminfo: memFree=129496824/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=277440 memory=181332 CPUtime=161.7 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 26491 0 0 0 15935 235 0 0 20 0 1 0 33945307 284098560 45333 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 69360 45333 2336 1147 0 56787 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 281632 KiB
Current children cumulated memory: 184404 KiB
[startup+222.3 s]
/proc/loadavg: 4.96 3.15 2.90 5/254 19320
/proc/meminfo: memFree=129171724/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=306372 memory=214820 CPUtime=221.51 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 33809 0 0 0 21870 281 0 0 20 0 1 0 33945307 313724928 53705 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 76593 53705 2368 1147 0 64020 0
Current children cumulated CPU time: 221.58 s
################
# More data... #
################
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69027 0 0 0 164603 1138 0 0 20 0 1 0 33945307 921354240 177694 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 224940 177694 2368 1147 0 212367 0
Current children cumulated CPU time: 1657.48 s
Current children cumulated vsize: 903952 KiB
Current children cumulated memory: 713848 KiB
[startup+1722.3 s]
/proc/loadavg: 4.17 4.14 3.93 5/254 19450
/proc/meminfo: memFree=127891196/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1717.25 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69620 0 0 0 170559 1166 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1717.32 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.13 3.94 5/255 19454
/proc/meminfo: memFree=127738488/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1777.08 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69629 0 0 0 176496 1212 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1777.15 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1841.19 s]
# the end of solver process 19299 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1823.43 s, system=12.4832 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.17 4.14 3.95 5/255 19454
/proc/meminfo: memFree=127718764/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1786.77 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69630 0 0 0 177457 1220 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1786.84 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1817.6 s]
/proc/loadavg: 4.11 4.13 3.95 5/255 19456
/proc/meminfo: memFree=127660228/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1812.29 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69639 0 0 0 179996 1233 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1812.36 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1830.4 s]
/proc/loadavg: 4.09 4.13 3.95 5/255 19456
/proc/meminfo: memFree=127655976/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1825.06 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69644 0 0 0 181266 1240 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1825.13 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1836.8 s]
/proc/loadavg: 4.16 4.14 3.96 5/255 19456
/proc/meminfo: memFree=127656480/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1831.44 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69648 0 0 0 181900 1244 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1831.51 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1838.4 s]
/proc/loadavg: 4.16 4.14 3.96 5/255 19456
/proc/meminfo: memFree=127640096/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1833.04 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69649 0 0 0 182059 1245 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1833.11 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1840 s]*
/proc/loadavg: 4.16 4.14 3.96 5/255 19456
/proc/meminfo: memFree=127640348/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1834.64 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69652 0 0 0 182219 1245 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1834.71 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1840.8 s]
/proc/loadavg: 4.16 4.14 3.96 5/255 19456
/proc/meminfo: memFree=127640348/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1835.43 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69657 0 0 0 182298 1245 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1835.5 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1841 s]*
/proc/loadavg: 4.15 4.14 3.96 5/255 19456
/proc/meminfo: memFree=127648412/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1835.64 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69657 0 0 0 182319 1245 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1835.71 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
[startup+1841.11 s]
/proc/loadavg: 4.15 4.14 3.96 5/255 19456
/proc/meminfo: memFree=127648412/131382120 swapFree=33010684/33010684
[pid=19299] ppid=19288 vsize=4192 memory=3072 CPUtime=0.07 cores=0,2
/proc/19299/stat : 19299 (run-dec-break.s) S 19288 19299 19233 0 -1 4194304 239 4773 0 0 0 0 5 2 20 0 1 0 33945297 4292608 768 18446744073709551615 94090851598336 94090852492869 140732765222144 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94090852731920 94090852779664 94090853466112 140732765227361 140732765227490 140732765227490 140732765233092 0
/proc/19299/statm: 1048 768 704 219 0 110 0
[pid=19309] ppid=19299 vsize=901876 memory=713720 CPUtime=1835.74 cores=0,2
/proc/19309/stat : 19309 (roundingsat) R 19299 19299 19233 0 -1 4194304 69658 0 0 0 182329 1245 0 0 20 0 1 0 33945307 923521024 178430 18446744073709551615 4227072 8923433 140728018379040 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 23257088 140728018381124 140728018381352 140728018381352 140728018386922 0
/proc/19309/statm: 225469 178430 2368 1147 0 212896 0
Current children cumulated CPU time: 1835.81 s
Current children cumulated vsize: 906068 KiB
Current children cumulated memory: 716792 KiB
Child status: 0
Real time (s): 1841.19
CPU time (s): 1835.91
CPU user time (s): 1823.43
CPU system time (s): 12.4832
CPU usage (%): 99.7131
Max. virtual memory (cumulated for all children) (KiB): 906068
Max. memory (cumulated for all children) (KiB): 716792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1823.43
system time used= 12.4832
maximum resident set size= 713720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74694
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 382
involuntary context switches= 4094
# summary of solver processes directly reported to runsolver:
# pid: 19299
# total CPU time (s): 1835.91
# total CPU user time (s): 1823.43
# total CPU system time (s): 12.4832
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.80871 second user time and 18.733 second system time
The end
Begin job on nodeC003 at 2025-06-29 09:37:46
IDJOB=4507376
IDBENCH=158344
IDSOLVER=3357
FILE ID=nodeC003/4507376-1751182666
RUNJOBID= nodeC003-1751182666-19243
SLURM_JOB_ID= 9587560
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507376-1751182666/watcher-4507376-1751182666 -o /tmp/evaluation-result-4507376-1751182666/solver-4507376-1751182666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19243 --watchdog 3760 run-dec-break.sh HOME/instance-4507376-1751182666.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=1528645510
nodeC003 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 : 0xb00001f
cpu MHz : 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.120
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.162
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.195
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.276
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.155
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.285
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.157
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130188464 kB
MemAvailable: 129997032 kB
Buffers: 3280 kB
Cached: 619132 kB
SwapCached: 0 kB
Active: 283176 kB
Inactive: 405936 kB
Active(anon): 84660 kB
Inactive(anon): 0 kB
Active(file): 198516 kB
Inactive(file): 405936 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31124 kB
Writeback: 0 kB
AnonPages: 69804 kB
Mapped: 102104 kB
Shmem: 17960 kB
KReclaimable: 87484 kB
Slab: 168348 kB
SReclaimable: 87484 kB
SUnreclaim: 80864 kB
KernelStack: 3856 kB
PageTables: 2768 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 332208 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:08:28