0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507557-1751177728.opb'
0.00/0.01 c read 0.46MB (6.14ms)
0.00/0.01 c [cnf: #variables 7140 #clauses 7352 #duplicates 0 #arr 45862]
0.00/0.54 c output proof to 'PROOFDIR/proof-4507557-1751177728'
0.00/0.54 c
0.00/0.54 c make graph and approximate orbits
0.00/0.55 c [group: #orbits ~= 1260] (8.23ms)
0.00/0.55 c
0.00/0.55 c detect special group actions
0.00/0.55 c probe for Johnson action (limit=64)
0.00/0.55 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.55 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.55 c (1.79ms)
0.00/0.55 c
0.00/0.55 c detect symmetries on remainder
0.00/0.55 c [graph: #vertices 35912 #edges 134564]
0.00/0.55 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.56 c [group: #symmetries 3.84*10^2 #generators 7] (7.39ms)
0.00/0.56 c
0.00/0.56 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.56 c (0.02ms)
0.00/0.56 c
0.00/0.56 c finalize break order and special generators
0.00/0.56 c
0.00/0.56 c add generic predicates (break_depth=10)
0.00/0.56 c added predicates for 7 generators (0.03ms)
0.00/0.56 c
0.00/0.56 c generation finished
0.00/0.56 c [sbp: #constraints 196 #add_vars 63]
0.00/0.56 c
0.00/0.56 c write result to 'HOME/instance-4507557-1751177728.opb.pre'
0.00/0.56 c wrote 0.47MB (1.20ms)
0.00/0.56 c ------------------------------------------------------------------
0.00/0.56 c 529.39ms 95.48% other
0.00/0.56 c 8.23ms 1.48% approx_orbits
0.00/0.56 c 7.39ms 1.33% detect_generic
0.00/0.56 c 6.13ms 1.11% parse
0.00/0.56 c 1.79ms 0.32% detect_special
0.00/0.56 c 1.20ms 0.22% output
0.00/0.56 c 0.24ms 0.04% finalize_order
0.00/0.56 c 0.03ms 0.01% break_generic
0.00/0.56 c 0.02ms 0.00% optimize_gens
0.00/0.56 c ───────────────────────────────────────────────
0.00/0.56 c 554.43ms 100% total
0.00/0.56 c ------------------------------------------------------------------
0.00/0.58 c RoundingSat 2
0.00/0.58 c branch pb25
0.00/0.58 c commit 63f22ad
0.02/0.63 c #variables 7203 #constraints 7540
51.24/52.44 c #Conflicts: 1000 | #Constraints: 8539
51.24/52.44 c #Conflicts: 2000 | #Constraints: 9539
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 3000 | #Constraints: 9226
51.24/52.44 c #Conflicts: 4000 | #Constraints: 10226
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 5000 | #Constraints: 9706
51.24/52.44 c #Conflicts: 6000 | #Constraints: 10706
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 7000 | #Constraints: 9761
51.24/52.44 c #Conflicts: 8000 | #Constraints: 10761
51.24/52.44 c #Conflicts: 9000 | #Constraints: 11761
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 10000 | #Constraints: 10502
51.24/52.44 c #Conflicts: 11000 | #Constraints: 11502
51.24/52.44 c #Conflicts: 12000 | #Constraints: 12502
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 13000 | #Constraints: 10995
51.24/52.44 c #Conflicts: 14000 | #Constraints: 11995
51.24/52.44 c #Conflicts: 15000 | #Constraints: 12995
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 16000 | #Constraints: 11226
51.24/52.44 c #Conflicts: 17000 | #Constraints: 12226
51.24/52.44 c #Conflicts: 18000 | #Constraints: 13226
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 19000 | #Constraints: 11287
51.24/52.44 c #Conflicts: 20000 | #Constraints: 12287
51.24/52.44 c #Conflicts: 21000 | #Constraints: 13287
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 22000 | #Constraints: 11127
51.24/52.44 c #Conflicts: 23000 | #Constraints: 12127
51.24/52.44 c #Conflicts: 24000 | #Constraints: 13127
51.24/52.44 c #Conflicts: 25000 | #Constraints: 14127
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 26000 | #Constraints: 11742
51.24/52.44 c #Conflicts: 27000 | #Constraints: 12742
51.24/52.44 c #Conflicts: 28000 | #Constraints: 13742
51.24/52.44 c #Conflicts: 29000 | #Constraints: 14742
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 30000 | #Constraints: 12178
51.24/52.44 c #Conflicts: 31000 | #Constraints: 13178
51.24/52.44 c #Conflicts: 32000 | #Constraints: 14178
51.24/52.44 c #Conflicts: 33000 | #Constraints: 15178
51.24/52.44 c #Conflicts: 34000 | #Constraints: 16178
51.24/52.44 c #Conflicts: 35000 | #Constraints: 17178
51.24/52.44 c #Conflicts: 36000 | #Constraints: 18178
51.24/52.44 c #Conflicts: 37000 | #Constraints: 19178
51.24/52.44 c #Conflicts: 38000 | #Constraints: 20178
51.24/52.44 c #Conflicts: 39000 | #Constraints: 21178
51.24/52.44 c #Conflicts: 40000 | #Constraints: 22178
51.24/52.44 c #Conflicts: 41000 | #Constraints: 23178
51.24/52.44 c #Conflicts: 42000 | #Constraints: 24178
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 43000 | #Constraints: 16527
51.24/52.44 c #Conflicts: 44000 | #Constraints: 17527
51.24/52.44 c #Conflicts: 45000 | #Constraints: 18527
51.24/52.44 c #Conflicts: 46000 | #Constraints: 19527
51.24/52.44 c #Conflicts: 47000 | #Constraints: 20527
51.24/52.44 c #Conflicts: 48000 | #Constraints: 21527
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 49000 | #Constraints: 15635
51.24/52.44 c #Conflicts: 50000 | #Constraints: 16635
51.24/52.44 c #Conflicts: 51000 | #Constraints: 17635
51.24/52.44 c #Conflicts: 52000 | #Constraints: 18635
51.24/52.44 c #Conflicts: 53000 | #Constraints: 19635
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 54000 | #Constraints: 14550
51.24/52.44 c #Conflicts: 55000 | #Constraints: 15550
51.24/52.44 c #Conflicts: 56000 | #Constraints: 16550
51.24/52.44 c #Conflicts: 57000 | #Constraints: 17550
51.24/52.44 c #Conflicts: 58000 | #Constraints: 18550
51.24/52.44 c INPROCESSING
51.24/52.44 c GARBAGE COLLECT
51.24/52.44 c #Conflicts: 59000 | #Constraints: 13704
51.24/52.44 c #Conflicts: 60000 | #Constraints: 14704
51.24/52.44 c #Conflicts: 61000 | #Constraints: 15704
51.24/52.44 c #Conflicts: 62000 | #Constraints: 16704
51.24/52.44 c #Conflicts: 63000 | #Constraints: 17704
51.24/52.44 c #Conflicts: 64000 | #Constraints: 18704
51.24/52.44 c #Conflicts: 65000 | #Constraints: 19704
51.24/52.44 c #Conflicts: 66000 | #Constraints: 20704
51.24/52.44 c #Conflicts: 67000 | #Constraints: 21704
51.24/52.44 c #Conflicts: 68000 | #Constraints: 22704
51.24/52.44 c #Conflicts: 69000 | #Constraints: 23704
51.24/52.44 c #Conflicts: 70000 | #Constraints: 24704
117.73/120.44 c #Conflicts: 71000 | #Constraints: 25704
117.73/120.44 c #Conflicts: 72000 | #Constraints: 26704
117.73/120.44 c #Conflicts: 73000 | #Constraints: 27704
117.73/120.44 c #Conflicts: 74000 | #Constraints: 28704
117.73/120.44 c #Conflicts: 75000 | #Constraints: 29704
117.73/120.44 c #Conflicts: 76000 | #Constraints: 30704
117.73/120.44 c #Conflicts: 77000 | #Constraints: 31704
117.73/120.44 c #Conflicts: 78000 | #Constraints: 32704
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 79000 | #Constraints: 21235
117.73/120.44 c #Conflicts: 80000 | #Constraints: 22235
117.73/120.44 c #Conflicts: 81000 | #Constraints: 23235
117.73/120.44 c #Conflicts: 82000 | #Constraints: 24235
117.73/120.44 c #Conflicts: 83000 | #Constraints: 25235
117.73/120.44 c #Conflicts: 84000 | #Constraints: 26235
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 85000 | #Constraints: 17641
117.73/120.44 c #Conflicts: 86000 | #Constraints: 18641
117.73/120.44 c #Conflicts: 87000 | #Constraints: 19641
117.73/120.44 c #Conflicts: 88000 | #Constraints: 20641
117.73/120.44 c #Conflicts: 89000 | #Constraints: 21641
117.73/120.44 c #Conflicts: 90000 | #Constraints: 22641
117.73/120.44 c #Conflicts: 91000 | #Constraints: 23641
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 92000 | #Constraints: 16350
117.73/120.44 c #Conflicts: 93000 | #Constraints: 17350
117.73/120.44 c #Conflicts: 94000 | #Constraints: 18350
117.73/120.44 c #Conflicts: 95000 | #Constraints: 19350
117.73/120.44 c #Conflicts: 96000 | #Constraints: 20350
117.73/120.44 c #Conflicts: 97000 | #Constraints: 21350
117.73/120.44 c #Conflicts: 98000 | #Constraints: 22350
117.73/120.44 c #Conflicts: 99000 | #Constraints: 23350
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 100000 | #Constraints: 16613
117.73/120.44 c #Conflicts: 101000 | #Constraints: 17613
117.73/120.44 c #Conflicts: 102000 | #Constraints: 18613
117.73/120.44 c #Conflicts: 103000 | #Constraints: 19613
117.73/120.44 c #Conflicts: 104000 | #Constraints: 20613
117.73/120.44 c #Conflicts: 105000 | #Constraints: 21613
117.73/120.44 c #Conflicts: 106000 | #Constraints: 22613
117.73/120.44 c #Conflicts: 107000 | #Constraints: 23613
117.73/120.44 c #Conflicts: 108000 | #Constraints: 24613
117.73/120.44 c #Conflicts: 109000 | #Constraints: 25613
117.73/120.44 c #Conflicts: 110000 | #Constraints: 26613
117.73/120.44 c #Conflicts: 111000 | #Constraints: 27613
117.73/120.44 c #Conflicts: 112000 | #Constraints: 28613
117.73/120.44 c #Conflicts: 113000 | #Constraints: 29613
117.73/120.44 c #Conflicts: 114000 | #Constraints: 30613
117.73/120.44 c #Conflicts: 115000 | #Constraints: 31613
117.73/120.44 c #Conflicts: 116000 | #Constraints: 32613
117.73/120.44 c #Conflicts: 117000 | #Constraints: 33613
117.73/120.44 c #Conflicts: 118000 | #Constraints: 34613
117.73/120.44 c #Conflicts: 119000 | #Constraints: 35613
117.73/120.44 c #Conflicts: 120000 | #Constraints: 36613
117.73/120.44 c #Conflicts: 121000 | #Constraints: 37613
117.73/120.44 c #Conflicts: 122000 | #Constraints: 38613
117.73/120.44 c #Conflicts: 123000 | #Constraints: 39613
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 124000 | #Constraints: 24489
117.73/120.44 c #Conflicts: 125000 | #Constraints: 25489
117.73/120.44 c #Conflicts: 126000 | #Constraints: 26489
117.73/120.44 c #Conflicts: 127000 | #Constraints: 27489
117.73/120.44 c #Conflicts: 128000 | #Constraints: 28489
117.73/120.44 c #Conflicts: 129000 | #Constraints: 29489
117.73/120.44 c #Conflicts: 130000 | #Constraints: 30489
117.73/120.44 c #Conflicts: 131000 | #Constraints: 31489
117.73/120.44 c #Conflicts: 132000 | #Constraints: 32489
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 133000 | #Constraints: 21228
117.73/120.44 c #Conflicts: 134000 | #Constraints: 22228
117.73/120.44 c #Conflicts: 135000 | #Constraints: 23228
117.73/120.44 c #Conflicts: 136000 | #Constraints: 24228
117.73/120.44 c #Conflicts: 137000 | #Constraints: 25228
117.73/120.44 c #Conflicts: 138000 | #Constraints: 26228
117.73/120.44 c #Conflicts: 139000 | #Constraints: 27228
117.73/120.44 c #Conflicts: 140000 | #Constraints: 28228
117.73/120.44 c INPROCESSING
117.73/120.44 c GARBAGE COLLECT
117.73/120.44 c #Conflicts: 141000 | #Constraints: 18762
117.73/120.44 c #Conflicts: 142000 | #Constraints: 19762
117.73/120.44 c #Conflicts: 143000 | #Constraints: 20762
117.73/120.44 c #Conflicts: 144000 | #Constraints: 21762
117.73/120.44 c #Conflicts: 145000 | #Constraints: 22762
195.61/198.72 c #Conflicts: 146000 | #Constraints: 23762
195.61/198.72 c #Conflicts: 147000 | #Constraints: 24762
195.61/198.72 c #Conflicts: 148000 | #Constraints: 25762
195.61/198.72 c #Conflicts: 149000 | #Constraints: 26762
195.61/198.72 c INPROCESSING
195.61/198.72 c GARBAGE COLLECT
195.61/198.72 c #Conflicts: 150000 | #Constraints: 18073
195.61/198.72 c #Conflicts: 151000 | #Constraints: 19073
195.61/198.72 c #Conflicts: 152000 | #Constraints: 20073
195.61/198.72 c #Conflicts: 153000 | #Constraints: 21073
195.61/198.72 c #Conflicts: 154000 | #Constraints: 22073
195.61/198.72 c #Conflicts: 155000 | #Constraints: 23073
195.61/198.72 c #Conflicts: 156000 | #Constraints: 24073
195.61/198.72 c #Conflicts: 157000 | #Constraints: 25073
195.61/198.72 c #Conflicts: 158000 | #Constraints: 26073
195.61/198.72 c #Conflicts: 159000 | #Constraints: 27073
195.61/198.72 c #Conflicts: 160000 | #Constraints: 28073
195.61/198.72 c #Conflicts: 161000 | #Constraints: 29073
195.61/198.72 c #Conflicts: 162000 | #Constraints: 30073
195.61/198.72 c #Conflicts: 163000 | #Constraints: 31073
195.61/198.72 c #Conflicts: 164000 | #Constraints: 32073
195.61/198.72 c #Conflicts: 165000 | #Constraints: 33073
195.61/198.72 c #Conflicts: 166000 | #Constraints: 34073
195.61/198.72 c #Conflicts: 167000 | #Constraints: 35073
195.61/198.72 c #Conflicts: 168000 | #Constraints: 36073
195.61/198.72 c #Conflicts: 169000 | #Constraints: 37073
195.61/198.72 c #Conflicts: 170000 | #Constraints: 38073
195.61/198.72 c #Conflicts: 171000 | #Constraints: 39073
195.61/198.72 c #Conflicts: 172000 | #Constraints: 40073
195.61/198.72 c #Conflicts: 173000 | #Constraints: 41073
195.61/198.72 c #Conflicts: 174000 | #Constraints: 42073
195.61/198.72 c #Conflicts: 175000 | #Constraints: 43073
195.61/198.72 c #Conflicts: 176000 | #Constraints: 44073
195.61/198.72 c #Conflicts: 177000 | #Constraints: 45073
195.61/198.72 c #Conflicts: 178000 | #Constraints: 46073
195.61/198.72 c #Conflicts: 179000 | #Constraints: 47073
195.61/198.72 c INPROCESSING
195.61/198.72 c GARBAGE COLLECT
195.61/198.72 c #Conflicts: 180000 | #Constraints: 28338
195.61/198.72 c #Conflicts: 181000 | #Constraints: 29338
195.61/198.72 c #Conflicts: 182000 | #Constraints: 30338
195.61/198.72 c #Conflicts: 183000 | #Constraints: 31338
195.61/198.72 c #Conflicts: 184000 | #Constraints: 32338
195.61/198.72 c #Conflicts: 185000 | #Constraints: 33338
195.61/198.72 c #Conflicts: 186000 | #Constraints: 34338
195.61/198.72 c #Conflicts: 187000 | #Constraints: 35338
195.61/198.72 c #Conflicts: 188000 | #Constraints: 36338
195.61/198.72 c #Conflicts: 189000 | #Constraints: 37338
195.61/198.72 c INPROCESSING
195.61/198.72 c GARBAGE COLLECT
195.61/198.72 c #Conflicts: 190000 | #Constraints: 23450
195.61/198.72 c #Conflicts: 191000 | #Constraints: 24450
195.61/198.72 c #Conflicts: 192000 | #Constraints: 25450
195.61/198.72 c #Conflicts: 193000 | #Constraints: 26450
195.61/198.72 c #Conflicts: 194000 | #Constraints: 27450
195.61/198.72 c #Conflicts: 195000 | #Constraints: 28450
195.61/198.72 c #Conflicts: 196000 | #Constraints: 29450
195.61/198.72 c #Conflicts: 197000 | #Constraints: 30450
195.61/198.72 c #Conflicts: 198000 | #Constraints: 31450
195.61/198.72 c #Conflicts: 199000 | #Constraints: 32450
195.61/198.72 c #Conflicts: 200000 | #Constraints: 33450
195.61/198.72 c INPROCESSING
195.61/198.72 c GARBAGE COLLECT
195.61/198.72 c #Conflicts: 201000 | #Constraints: 21734
195.61/198.72 c #Conflicts: 202000 | #Constraints: 22734
195.61/198.72 c #Conflicts: 203000 | #Constraints: 23734
195.61/198.72 c #Conflicts: 204000 | #Constraints: 24734
195.61/198.72 c #Conflicts: 205000 | #Constraints: 25734
195.61/198.72 c #Conflicts: 206000 | #Constraints: 26734
195.61/198.72 c #Conflicts: 207000 | #Constraints: 27734
195.61/198.72 c #Conflicts: 208000 | #Constraints: 28734
195.61/198.72 c #Conflicts: 209000 | #Constraints: 29734
195.61/198.72 c #Conflicts: 210000 | #Constraints: 30734
195.61/198.72 c INPROCESSING
195.61/198.72 c GARBAGE COLLECT
195.61/198.72 c rational objective 108.003
298.75/302.31 c #Conflicts: 211000 | #Constraints: 20113
298.75/302.31 c #Conflicts: 212000 | #Constraints: 21113
298.75/302.31 c #Conflicts: 213000 | #Constraints: 22113
298.75/302.31 c #Conflicts: 214000 | #Constraints: 23113
298.75/302.31 c #Conflicts: 215000 | #Constraints: 24113
298.75/302.31 c #Conflicts: 216000 | #Constraints: 25113
298.75/302.31 c #Conflicts: 217000 | #Constraints: 26113
298.75/302.31 c #Conflicts: 218000 | #Constraints: 27113
298.75/302.31 c #Conflicts: 219000 | #Constraints: 28113
298.75/302.31 c #Conflicts: 220000 | #Constraints: 29113
298.75/302.31 c #Conflicts: 221000 | #Constraints: 30113
298.75/302.31 c #Conflicts: 222000 | #Constraints: 31113
298.75/302.31 c #Conflicts: 223000 | #Constraints: 32113
298.75/302.31 c #Conflicts: 224000 | #Constraints: 33113
298.75/302.31 c #Conflicts: 225000 | #Constraints: 34113
298.75/302.31 c #Conflicts: 226000 | #Constraints: 35113
298.75/302.31 c #Conflicts: 227000 | #Constraints: 36113
298.75/302.31 c #Conflicts: 228000 | #Constraints: 37113
298.75/302.31 c #Conflicts: 229000 | #Constraints: 38113
298.75/302.31 c #Conflicts: 230000 | #Constraints: 39113
298.75/302.31 c #Conflicts: 231000 | #Constraints: 40113
298.75/302.31 c #Conflicts: 232000 | #Constraints: 41113
298.75/302.31 c #Conflicts: 233000 | #Constraints: 42113
298.75/302.31 c #Conflicts: 234000 | #Constraints: 43113
298.75/302.31 c #Conflicts: 235000 | #Constraints: 44113
298.75/302.31 c #Conflicts: 236000 | #Constraints: 45113
298.75/302.31 c #Conflicts: 237000 | #Constraints: 46113
298.75/302.31 c #Conflicts: 238000 | #Constraints: 47113
298.75/302.31 c #Conflicts: 239000 | #Constraints: 48113
298.75/302.31 c #Conflicts: 240000 | #Constraints: 49113
298.75/302.31 c #Conflicts: 241000 | #Constraints: 50113
298.75/302.31 c #Conflicts: 242000 | #Constraints: 51113
298.75/302.31 c #Conflicts: 243000 | #Constraints: 52113
298.75/302.31 c #Conflicts: 244000 | #Constraints: 53113
298.75/302.31 c #Conflicts: 245000 | #Constraints: 54113
298.75/302.31 c INPROCESSING
298.75/302.31 c GARBAGE COLLECT
298.75/302.31 c #Conflicts: 246000 | #Constraints: 31771
298.75/302.31 c #Conflicts: 247000 | #Constraints: 32771
298.75/302.31 c #Conflicts: 248000 | #Constraints: 33771
298.75/302.31 c #Conflicts: 249000 | #Constraints: 34771
298.75/302.31 c #Conflicts: 250000 | #Constraints: 35771
298.75/302.31 c #Conflicts: 251000 | #Constraints: 36771
298.75/302.31 c #Conflicts: 252000 | #Constraints: 37771
298.75/302.31 c #Conflicts: 253000 | #Constraints: 38771
298.75/302.31 c #Conflicts: 254000 | #Constraints: 39771
298.75/302.31 c #Conflicts: 255000 | #Constraints: 40771
298.75/302.31 c #Conflicts: 256000 | #Constraints: 41771
298.75/302.31 c #Conflicts: 257000 | #Constraints: 42771
298.75/302.31 c INPROCESSING
298.75/302.31 c GARBAGE COLLECT
298.75/302.31 c #Conflicts: 258000 | #Constraints: 26114
298.75/302.31 c #Conflicts: 259000 | #Constraints: 27114
298.75/302.31 c #Conflicts: 260000 | #Constraints: 28114
298.75/302.31 c #Conflicts: 261000 | #Constraints: 29114
298.75/302.31 c #Conflicts: 262000 | #Constraints: 30114
298.75/302.31 c #Conflicts: 263000 | #Constraints: 31114
298.75/302.31 c #Conflicts: 264000 | #Constraints: 32114
298.75/302.31 c #Conflicts: 265000 | #Constraints: 33114
298.75/302.31 c #Conflicts: 266000 | #Constraints: 34114
298.75/302.31 c #Conflicts: 267000 | #Constraints: 35114
298.75/302.31 c #Conflicts: 268000 | #Constraints: 36114
298.75/302.31 c #Conflicts: 269000 | #Constraints: 37114
298.75/302.31 c INPROCESSING
298.75/302.31 c GARBAGE COLLECT
298.75/302.31 c #Conflicts: 270000 | #Constraints: 23327
298.75/302.31 c #Conflicts: 271000 | #Constraints: 24327
298.75/302.31 c #Conflicts: 272000 | #Constraints: 25327
298.75/302.31 c #Conflicts: 273000 | #Constraints: 26327
298.75/302.31 c #Conflicts: 274000 | #Constraints: 27327
298.75/302.31 c #Conflicts: 275000 | #Constraints: 28327
298.75/302.31 c #Conflicts: 276000 | #Constraints: 29327
298.75/302.31 c #Conflicts: 277000 | #Constraints: 30327
298.75/302.31 c #Conflicts: 278000 | #Constraints: 31327
298.75/302.31 c #Conflicts: 279000 | #Constraints: 32327
298.75/302.31 c #Conflicts: 280000 | #Constraints: 33327
298.75/302.31 c #Conflicts: 281000 | #Constraints: 34327
298.75/302.31 c #Conflicts: 282000 | #Constraints: 35327
298.75/302.31 c INPROCESSING
298.75/302.31 c GARBAGE COLLECT
298.75/302.31 c #Conflicts: 283000 | #Constraints: 22716
298.75/302.31 c #Conflicts: 284000 | #Constraints: 23716
298.75/302.31 c #Conflicts: 285000 | #Constraints: 24716
298.75/302.31 c #Conflicts: 286000 | #Constraints: 25716
298.75/302.31 c #Conflicts: 287000 | #Constraints: 26716
391.57/395.83 c #Conflicts: 288000 | #Constraints: 27716
391.57/395.83 c #Conflicts: 289000 | #Constraints: 28716
391.57/395.83 c #Conflicts: 290000 | #Constraints: 29716
391.57/395.83 c #Conflicts: 291000 | #Constraints: 30716
391.57/395.83 c #Conflicts: 292000 | #Constraints: 31716
391.57/395.83 c #Conflicts: 293000 | #Constraints: 32716
391.57/395.83 c #Conflicts: 294000 | #Constraints: 33716
391.57/395.83 c #Conflicts: 295000 | #Constraints: 34716
391.57/395.83 c #Conflicts: 296000 | #Constraints: 35716
391.57/395.83 c #Conflicts: 297000 | #Constraints: 36716
391.57/395.83 c #Conflicts: 298000 | #Constraints: 37716
391.57/395.83 c #Conflicts: 299000 | #Constraints: 38716
391.57/395.83 c #Conflicts: 300000 | #Constraints: 39716
391.57/395.83 c #Conflicts: 301000 | #Constraints: 40716
391.57/395.83 c #Conflicts: 302000 | #Constraints: 41716
391.57/395.83 c #Conflicts: 303000 | #Constraints: 42716
391.57/395.83 c #Conflicts: 304000 | #Constraints: 43716
391.57/395.83 c #Conflicts: 305000 | #Constraints: 44716
391.57/395.83 c #Conflicts: 306000 | #Constraints: 45716
391.57/395.83 c #Conflicts: 307000 | #Constraints: 46716
391.57/395.83 c #Conflicts: 308000 | #Constraints: 47716
391.57/395.83 c #Conflicts: 309000 | #Constraints: 48716
391.57/395.83 c #Conflicts: 310000 | #Constraints: 49716
391.57/395.83 c #Conflicts: 311000 | #Constraints: 50716
391.57/395.83 c #Conflicts: 312000 | #Constraints: 51716
391.57/395.83 c #Conflicts: 313000 | #Constraints: 52716
391.57/395.83 c #Conflicts: 314000 | #Constraints: 53716
391.57/395.83 c #Conflicts: 315000 | #Constraints: 54716
391.57/395.83 c #Conflicts: 316000 | #Constraints: 55716
391.57/395.83 c #Conflicts: 317000 | #Constraints: 56716
391.57/395.83 c #Conflicts: 318000 | #Constraints: 57716
391.57/395.83 c #Conflicts: 319000 | #Constraints: 58716
391.57/395.83 c #Conflicts: 320000 | #Constraints: 59716
391.57/395.83 c #Conflicts: 321000 | #Constraints: 60716
391.57/395.83 c #Conflicts: 322000 | #Constraints: 61716
391.57/395.83 c INPROCESSING
391.57/395.83 c GARBAGE COLLECT
391.57/395.83 c #Conflicts: 323000 | #Constraints: 35698
391.57/395.83 c #Conflicts: 324000 | #Constraints: 36698
391.57/395.83 c #Conflicts: 325000 | #Constraints: 37698
391.57/395.83 c #Conflicts: 326000 | #Constraints: 38698
391.57/395.83 c #Conflicts: 327000 | #Constraints: 39698
391.57/395.83 c #Conflicts: 328000 | #Constraints: 40698
391.57/395.83 c #Conflicts: 329000 | #Constraints: 41698
391.57/395.83 c #Conflicts: 330000 | #Constraints: 42698
391.57/395.83 c #Conflicts: 331000 | #Constraints: 43698
391.57/395.83 c #Conflicts: 332000 | #Constraints: 44698
391.57/395.83 c #Conflicts: 333000 | #Constraints: 45698
391.57/395.83 c #Conflicts: 334000 | #Constraints: 46698
391.57/395.83 c #Conflicts: 335000 | #Constraints: 47698
391.57/395.83 c #Conflicts: 336000 | #Constraints: 48698
391.57/395.83 c INPROCESSING
391.57/395.83 c GARBAGE COLLECT
391.57/395.83 c #Conflicts: 337000 | #Constraints: 29508
391.57/395.83 c #Conflicts: 338000 | #Constraints: 30508
391.57/395.83 c #Conflicts: 339000 | #Constraints: 31508
391.57/395.83 c #Conflicts: 340000 | #Constraints: 32508
391.57/395.83 c #Conflicts: 341000 | #Constraints: 33508
391.57/395.83 c #Conflicts: 342000 | #Constraints: 34508
391.57/395.83 c #Conflicts: 343000 | #Constraints: 35508
391.57/395.83 c #Conflicts: 344000 | #Constraints: 36508
391.57/395.83 c #Conflicts: 345000 | #Constraints: 37508
391.57/395.83 c #Conflicts: 346000 | #Constraints: 38508
391.57/395.83 c #Conflicts: 347000 | #Constraints: 39508
391.57/395.83 c #Conflicts: 348000 | #Constraints: 40508
391.57/395.83 c #Conflicts: 349000 | #Constraints: 41508
391.57/395.83 c INPROCESSING
391.57/395.83 c GARBAGE COLLECT
391.57/395.83 c #Conflicts: 350000 | #Constraints: 25513
391.57/395.83 c #Conflicts: 351000 | #Constraints: 26513
391.57/395.83 c #Conflicts: 352000 | #Constraints: 27513
391.57/395.83 c #Conflicts: 353000 | #Constraints: 28513
391.57/395.83 c #Conflicts: 354000 | #Constraints: 29513
391.57/395.83 c #Conflicts: 355000 | #Constraints: 30513
391.57/395.83 c #Conflicts: 356000 | #Constraints: 31513
391.57/395.83 c #Conflicts: 357000 | #Constraints: 32513
391.57/395.83 c #Conflicts: 358000 | #Constraints: 33513
391.57/395.83 c #Conflicts: 359000 | #Constraints: 34513
391.57/395.83 c #Conflicts: 360000 | #Constraints: 35513
391.57/395.83 c #Conflicts: 361000 | #Constraints: 36513
391.57/395.83 c #Conflicts: 362000 | #Constraints: 37513
391.57/395.83 c #Conflicts: 363000 | #Constraints: 38513
391.57/395.83 c INPROCESSING
480.49/485.32 c GARBAGE COLLECT
480.49/485.32 c #Conflicts: 364000 | #Constraints: 23977
480.49/485.32 c #Conflicts: 365000 | #Constraints: 24977
480.49/485.32 c #Conflicts: 366000 | #Constraints: 25977
480.49/485.32 c #Conflicts: 367000 | #Constraints: 26977
480.49/485.32 c #Conflicts: 368000 | #Constraints: 27977
480.49/485.32 c #Conflicts: 369000 | #Constraints: 28977
480.49/485.32 c #Conflicts: 370000 | #Constraints: 29977
480.49/485.32 c #Conflicts: 371000 | #Constraints: 30977
480.49/485.32 c #Conflicts: 372000 | #Constraints: 31977
480.49/485.32 c #Conflicts: 373000 | #Constraints: 32977
480.49/485.32 c #Conflicts: 374000 | #Constraints: 33977
480.49/485.32 c #Conflicts: 375000 | #Constraints: 34977
480.49/485.32 c #Conflicts: 376000 | #Constraints: 35977
480.49/485.32 c #Conflicts: 377000 | #Constraints: 36977
480.49/485.32 c #Conflicts: 378000 | #Constraints: 37977
480.49/485.32 c #Conflicts: 379000 | #Constraints: 38977
480.49/485.32 c #Conflicts: 380000 | #Constraints: 39977
480.49/485.32 c #Conflicts: 381000 | #Constraints: 40977
480.49/485.32 c #Conflicts: 382000 | #Constraints: 41977
480.49/485.32 c #Conflicts: 383000 | #Constraints: 42977
480.49/485.32 c #Conflicts: 384000 | #Constraints: 43977
480.49/485.32 c #Conflicts: 385000 | #Constraints: 44977
480.49/485.32 c #Conflicts: 386000 | #Constraints: 45977
480.49/485.32 c #Conflicts: 387000 | #Constraints: 46977
480.49/485.32 c #Conflicts: 388000 | #Constraints: 47977
480.49/485.32 c #Conflicts: 389000 | #Constraints: 48977
480.49/485.32 c #Conflicts: 390000 | #Constraints: 49977
480.49/485.32 c #Conflicts: 391000 | #Constraints: 50977
480.49/485.32 c #Conflicts: 392000 | #Constraints: 51977
480.49/485.32 c #Conflicts: 393000 | #Constraints: 52977
480.49/485.32 c #Conflicts: 394000 | #Constraints: 53977
480.49/485.32 c #Conflicts: 395000 | #Constraints: 54977
480.49/485.32 c #Conflicts: 396000 | #Constraints: 55977
480.49/485.32 c #Conflicts: 397000 | #Constraints: 56977
480.49/485.32 c #Conflicts: 398000 | #Constraints: 57977
480.49/485.32 c #Conflicts: 399000 | #Constraints: 58977
480.49/485.32 c #Conflicts: 400000 | #Constraints: 59977
480.49/485.32 c #Conflicts: 401000 | #Constraints: 60977
480.49/485.32 c #Conflicts: 402000 | #Constraints: 61977
480.49/485.32 c #Conflicts: 403000 | #Constraints: 62977
480.49/485.32 c #Conflicts: 404000 | #Constraints: 63977
480.49/485.32 c #Conflicts: 405000 | #Constraints: 64977
480.49/485.32 c #Conflicts: 406000 | #Constraints: 65977
480.49/485.32 c #Conflicts: 407000 | #Constraints: 66977
480.49/485.32 c #Conflicts: 408000 | #Constraints: 67977
480.49/485.32 c #Conflicts: 409000 | #Constraints: 68977
480.49/485.32 c INPROCESSING
480.49/485.32 c GARBAGE COLLECT
480.49/485.32 c rational objective 111.436
574.36/579.80 c #Conflicts: 410000 | #Constraints: 39328
574.36/579.80 c #Conflicts: 411000 | #Constraints: 40328
574.36/579.80 c #Conflicts: 412000 | #Constraints: 41328
574.36/579.80 c #Conflicts: 413000 | #Constraints: 42328
574.36/579.80 c #Conflicts: 414000 | #Constraints: 43328
574.36/579.80 c #Conflicts: 415000 | #Constraints: 44328
574.36/579.80 c #Conflicts: 416000 | #Constraints: 45328
574.36/579.80 c #Conflicts: 417000 | #Constraints: 46328
574.36/579.80 c #Conflicts: 418000 | #Constraints: 47328
574.36/579.80 c #Conflicts: 419000 | #Constraints: 48328
574.36/579.80 c #Conflicts: 420000 | #Constraints: 49328
574.36/579.80 c #Conflicts: 421000 | #Constraints: 50328
574.36/579.80 c #Conflicts: 422000 | #Constraints: 51328
574.36/579.80 c #Conflicts: 423000 | #Constraints: 52328
574.36/579.80 c #Conflicts: 424000 | #Constraints: 53328
574.36/579.80 c INPROCESSING
574.36/579.80 c GARBAGE COLLECT
574.36/579.80 c #Conflicts: 425000 | #Constraints: 31471
574.36/579.80 c #Conflicts: 426000 | #Constraints: 32471
574.36/579.80 c #Conflicts: 427000 | #Constraints: 33471
574.36/579.80 c #Conflicts: 428000 | #Constraints: 34471
574.36/579.80 c #Conflicts: 429000 | #Constraints: 35471
574.36/579.80 c #Conflicts: 430000 | #Constraints: 36471
574.36/579.80 c #Conflicts: 431000 | #Constraints: 37471
574.36/579.80 c #Conflicts: 432000 | #Constraints: 38471
574.36/579.80 c #Conflicts: 433000 | #Constraints: 39471
574.36/579.80 c #Conflicts: 434000 | #Constraints: 40471
574.36/579.80 c #Conflicts: 435000 | #Constraints: 41471
574.36/579.80 c #Conflicts: 436000 | #Constraints: 42471
574.36/579.80 c #Conflicts: 437000 | #Constraints: 43471
574.36/579.80 c #Conflicts: 438000 | #Constraints: 44471
574.36/579.80 c #Conflicts: 439000 | #Constraints: 45471
574.36/579.80 c #Conflicts: 440000 | #Constraints: 46471
574.36/579.80 c INPROCESSING
574.36/579.80 c GARBAGE COLLECT
574.36/579.80 c #Conflicts: 441000 | #Constraints: 28207
574.36/579.80 c #Conflicts: 442000 | #Constraints: 29207
574.36/579.80 c #Conflicts: 443000 | #Constraints: 30207
574.36/579.80 c #Conflicts: 444000 | #Constraints: 31207
574.36/579.80 c #Conflicts: 445000 | #Constraints: 32207
574.36/579.80 c #Conflicts: 446000 | #Constraints: 33207
574.36/579.80 c #Conflicts: 447000 | #Constraints: 34207
574.36/579.80 c #Conflicts: 448000 | #Constraints: 35207
574.36/579.80 c #Conflicts: 449000 | #Constraints: 36207
574.36/579.80 c #Conflicts: 450000 | #Constraints: 37207
574.36/579.80 c #Conflicts: 451000 | #Constraints: 38207
574.36/579.80 c #Conflicts: 452000 | #Constraints: 39207
574.36/579.80 c #Conflicts: 453000 | #Constraints: 40207
574.36/579.80 c #Conflicts: 454000 | #Constraints: 41207
574.36/579.80 c #Conflicts: 455000 | #Constraints: 42207
574.36/579.80 c #Conflicts: 456000 | #Constraints: 43207
574.36/579.80 c INPROCESSING
574.36/579.80 c GARBAGE COLLECT
574.36/579.80 c #Conflicts: 457000 | #Constraints: 26746
574.36/579.80 c #Conflicts: 458000 | #Constraints: 27746
574.36/579.80 c #Conflicts: 459000 | #Constraints: 28746
574.36/579.80 c #Conflicts: 460000 | #Constraints: 29746
574.36/579.80 c #Conflicts: 461000 | #Constraints: 30746
574.36/579.80 c #Conflicts: 462000 | #Constraints: 31746
574.36/579.80 c #Conflicts: 463000 | #Constraints: 32746
574.36/579.80 c #Conflicts: 464000 | #Constraints: 33746
574.36/579.80 c #Conflicts: 465000 | #Constraints: 34746
574.36/579.80 c #Conflicts: 466000 | #Constraints: 35746
574.36/579.80 c #Conflicts: 467000 | #Constraints: 36746
574.36/579.80 c #Conflicts: 468000 | #Constraints: 37746
574.36/579.80 c #Conflicts: 469000 | #Constraints: 38746
574.36/579.80 c #Conflicts: 470000 | #Constraints: 39746
574.36/579.80 c #Conflicts: 471000 | #Constraints: 40746
574.36/579.80 c #Conflicts: 472000 | #Constraints: 41746
574.36/579.80 c #Conflicts: 473000 | #Constraints: 42746
574.36/579.80 c #Conflicts: 474000 | #Constraints: 43746
574.36/579.80 c #Conflicts: 475000 | #Constraints: 44746
574.36/579.80 c #Conflicts: 476000 | #Constraints: 45746
574.36/579.80 c #Conflicts: 477000 | #Constraints: 46746
574.36/579.80 c #Conflicts: 478000 | #Constraints: 47746
574.36/579.80 c #Conflicts: 479000 | #Constraints: 48746
574.36/579.80 c #Conflicts: 480000 | #Constraints: 49746
574.36/579.80 c #Conflicts: 481000 | #Constraints: 50746
574.36/579.80 c #Conflicts: 482000 | #Constraints: 51746
574.36/579.80 c #Conflicts: 483000 | #Constraints: 52746
574.36/579.80 c #Conflicts: 484000 | #Constraints: 53746
574.36/579.80 c #Conflicts: 485000 | #Constraints: 54746
574.36/579.80 c #Conflicts: 486000 | #Constraints: 55746
676.58/683.19 c #Conflicts: 487000 | #Constraints: 56746
676.58/683.19 c #Conflicts: 488000 | #Constraints: 57746
676.58/683.19 c #Conflicts: 489000 | #Constraints: 58746
676.58/683.19 c #Conflicts: 490000 | #Constraints: 59746
676.58/683.19 c #Conflicts: 491000 | #Constraints: 60746
676.58/683.19 c #Conflicts: 492000 | #Constraints: 61746
676.58/683.19 c #Conflicts: 493000 | #Constraints: 62746
676.58/683.19 c #Conflicts: 494000 | #Constraints: 63746
676.58/683.19 c #Conflicts: 495000 | #Constraints: 64746
676.58/683.19 c #Conflicts: 496000 | #Constraints: 65746
676.58/683.19 c #Conflicts: 497000 | #Constraints: 66746
676.58/683.19 c #Conflicts: 498000 | #Constraints: 67746
676.58/683.19 c #Conflicts: 499000 | #Constraints: 68746
676.58/683.19 c #Conflicts: 500000 | #Constraints: 69746
676.58/683.19 c #Conflicts: 501000 | #Constraints: 70746
676.58/683.19 c #Conflicts: 502000 | #Constraints: 71746
676.58/683.19 c #Conflicts: 503000 | #Constraints: 72746
676.58/683.19 c #Conflicts: 504000 | #Constraints: 73746
676.58/683.19 c #Conflicts: 505000 | #Constraints: 74746
676.58/683.19 c #Conflicts: 506000 | #Constraints: 75746
676.58/683.19 c #Conflicts: 507000 | #Constraints: 76746
676.58/683.19 c INPROCESSING
676.58/683.19 c GARBAGE COLLECT
676.58/683.19 c #Conflicts: 508000 | #Constraints: 43572
676.58/683.19 c #Conflicts: 509000 | #Constraints: 44572
676.58/683.19 c #Conflicts: 510000 | #Constraints: 45572
676.58/683.19 c #Conflicts: 511000 | #Constraints: 46572
676.58/683.19 c #Conflicts: 512000 | #Constraints: 47572
676.58/683.19 c #Conflicts: 513000 | #Constraints: 48572
676.58/683.19 c #Conflicts: 514000 | #Constraints: 49572
676.58/683.19 c #Conflicts: 515000 | #Constraints: 50572
676.58/683.19 c #Conflicts: 516000 | #Constraints: 51572
676.58/683.19 c #Conflicts: 517000 | #Constraints: 52572
676.58/683.19 c #Conflicts: 518000 | #Constraints: 53572
676.58/683.19 c #Conflicts: 519000 | #Constraints: 54572
676.58/683.19 c #Conflicts: 520000 | #Constraints: 55572
676.58/683.19 c #Conflicts: 521000 | #Constraints: 56572
676.58/683.19 c #Conflicts: 522000 | #Constraints: 57572
676.58/683.19 c #Conflicts: 523000 | #Constraints: 58572
676.58/683.19 c #Conflicts: 524000 | #Constraints: 59572
676.58/683.19 c INPROCESSING
676.58/683.19 c GARBAGE COLLECT
676.58/683.19 c #Conflicts: 525000 | #Constraints: 34963
676.58/683.19 c #Conflicts: 526000 | #Constraints: 35963
676.58/683.19 c #Conflicts: 527000 | #Constraints: 36963
676.58/683.19 c #Conflicts: 528000 | #Constraints: 37963
676.58/683.19 c #Conflicts: 529000 | #Constraints: 38963
676.58/683.19 c #Conflicts: 530000 | #Constraints: 39963
676.58/683.19 c #Conflicts: 531000 | #Constraints: 40963
676.58/683.19 c #Conflicts: 532000 | #Constraints: 41963
676.58/683.19 c #Conflicts: 533000 | #Constraints: 42963
676.58/683.19 c #Conflicts: 534000 | #Constraints: 43963
676.58/683.19 c #Conflicts: 535000 | #Constraints: 44963
676.58/683.19 c #Conflicts: 536000 | #Constraints: 45963
676.58/683.19 c #Conflicts: 537000 | #Constraints: 46963
676.58/683.19 c #Conflicts: 538000 | #Constraints: 47963
676.58/683.19 c #Conflicts: 539000 | #Constraints: 48963
676.58/683.19 c #Conflicts: 540000 | #Constraints: 49963
676.58/683.19 c #Conflicts: 541000 | #Constraints: 50963
676.58/683.19 c INPROCESSING
676.58/683.19 c GARBAGE COLLECT
676.58/683.19 c rational objective 112.023
802.25/809.70 c #Conflicts: 542000 | #Constraints: 30560
802.25/809.70 c #Conflicts: 543000 | #Constraints: 31560
802.25/809.70 c #Conflicts: 544000 | #Constraints: 32560
802.25/809.70 c #Conflicts: 545000 | #Constraints: 33560
802.25/809.70 c #Conflicts: 546000 | #Constraints: 34560
802.25/809.70 c #Conflicts: 547000 | #Constraints: 35560
802.25/809.70 c #Conflicts: 548000 | #Constraints: 36560
802.25/809.70 c #Conflicts: 549000 | #Constraints: 37560
802.25/809.70 c #Conflicts: 550000 | #Constraints: 38560
802.25/809.70 c #Conflicts: 551000 | #Constraints: 39560
802.25/809.70 c #Conflicts: 552000 | #Constraints: 40560
802.25/809.70 c #Conflicts: 553000 | #Constraints: 41560
802.25/809.70 c #Conflicts: 554000 | #Constraints: 42560
802.25/809.70 c #Conflicts: 555000 | #Constraints: 43560
802.25/809.70 c #Conflicts: 556000 | #Constraints: 44560
802.25/809.70 c #Conflicts: 557000 | #Constraints: 45560
802.25/809.70 c #Conflicts: 558000 | #Constraints: 46560
802.25/809.70 c INPROCESSING
802.25/809.70 c GARBAGE COLLECT
802.25/809.70 c #Conflicts: 559000 | #Constraints: 28104
802.25/809.70 c #Conflicts: 560000 | #Constraints: 29104
802.25/809.70 c #Conflicts: 561000 | #Constraints: 30104
802.25/809.70 c #Conflicts: 562000 | #Constraints: 31104
802.25/809.70 c #Conflicts: 563000 | #Constraints: 32104
802.25/809.70 c #Conflicts: 564000 | #Constraints: 33104
802.25/809.70 c #Conflicts: 565000 | #Constraints: 34104
802.25/809.70 c #Conflicts: 566000 | #Constraints: 35104
802.25/809.70 c #Conflicts: 567000 | #Constraints: 36104
802.25/809.70 c #Conflicts: 568000 | #Constraints: 37104
802.25/809.70 c #Conflicts: 569000 | #Constraints: 38104
802.25/809.70 c #Conflicts: 570000 | #Constraints: 39104
802.25/809.70 c #Conflicts: 571000 | #Constraints: 40104
802.25/809.70 c #Conflicts: 572000 | #Constraints: 41104
802.25/809.70 c #Conflicts: 573000 | #Constraints: 42104
802.25/809.70 c #Conflicts: 574000 | #Constraints: 43104
802.25/809.70 c #Conflicts: 575000 | #Constraints: 44104
802.25/809.70 c #Conflicts: 576000 | #Constraints: 45104
802.25/809.70 c #Conflicts: 577000 | #Constraints: 46104
802.25/809.70 c #Conflicts: 578000 | #Constraints: 47104
802.25/809.70 c #Conflicts: 579000 | #Constraints: 48104
802.25/809.70 c #Conflicts: 580000 | #Constraints: 49104
802.25/809.70 c #Conflicts: 581000 | #Constraints: 50104
802.25/809.70 c #Conflicts: 582000 | #Constraints: 51104
802.25/809.70 c #Conflicts: 583000 | #Constraints: 52104
802.25/809.70 c #Conflicts: 584000 | #Constraints: 53104
802.25/809.70 c #Conflicts: 585000 | #Constraints: 54104
802.25/809.70 c #Conflicts: 586000 | #Constraints: 55104
802.25/809.70 c #Conflicts: 587000 | #Constraints: 56104
802.25/809.70 c #Conflicts: 588000 | #Constraints: 57104
802.25/809.70 c #Conflicts: 589000 | #Constraints: 58104
802.25/809.70 c #Conflicts: 590000 | #Constraints: 59104
802.25/809.70 c #Conflicts: 591000 | #Constraints: 60104
802.25/809.70 c #Conflicts: 592000 | #Constraints: 61104
802.25/809.70 c #Conflicts: 593000 | #Constraints: 62104
802.25/809.70 c #Conflicts: 594000 | #Constraints: 63104
802.25/809.70 c #Conflicts: 595000 | #Constraints: 64104
802.25/809.70 c #Conflicts: 596000 | #Constraints: 65104
802.25/809.70 c #Conflicts: 597000 | #Constraints: 66104
802.25/809.70 c #Conflicts: 598000 | #Constraints: 67104
802.25/809.70 c #Conflicts: 599000 | #Constraints: 68104
802.25/809.70 c #Conflicts: 600000 | #Constraints: 69104
802.25/809.70 c #Conflicts: 601000 | #Constraints: 70104
802.25/809.70 c #Conflicts: 602000 | #Constraints: 71104
802.25/809.70 c #Conflicts: 603000 | #Constraints: 72104
802.25/809.70 c #Conflicts: 604000 | #Constraints: 73104
802.25/809.70 c #Conflicts: 605000 | #Constraints: 74104
802.25/809.70 c #Conflicts: 606000 | #Constraints: 75104
802.25/809.70 c #Conflicts: 607000 | #Constraints: 76104
802.25/809.70 c #Conflicts: 608000 | #Constraints: 77104
802.25/809.70 c #Conflicts: 609000 | #Constraints: 78104
802.25/809.70 c #Conflicts: 610000 | #Constraints: 79104
802.25/809.70 c #Conflicts: 611000 | #Constraints: 80104
802.25/809.70 c #Conflicts: 612000 | #Constraints: 81104
802.25/809.70 c #Conflicts: 613000 | #Constraints: 82104
802.25/809.70 c #Conflicts: 614000 | #Constraints: 83104
802.25/809.70 c INPROCESSING
802.25/809.70 c GARBAGE COLLECT
802.25/809.70 c #Conflicts: 615000 | #Constraints: 46320
802.25/809.70 c #Conflicts: 616000 | #Constraints: 47320
802.25/809.70 c #Conflicts: 617000 | #Constraints: 48320
802.25/809.70 c #Conflicts: 618000 | #Constraints: 49320
802.25/809.70 c #Conflicts: 619000 | #Constraints: 50320
832.30/841.44 c #Conflicts: 620000 | #Constraints: 51320
832.30/841.44 c #Conflicts: 621000 | #Constraints: 52320
832.30/841.44 c #Conflicts: 622000 | #Constraints: 53320
832.30/841.44 c #Conflicts: 623000 | #Constraints: 54320
832.30/841.44 c #Conflicts: 624000 | #Constraints: 55320
832.30/841.44 c #Conflicts: 625000 | #Constraints: 56320
832.30/841.44 c #Conflicts: 626000 | #Constraints: 57320
832.30/841.44 c #Conflicts: 627000 | #Constraints: 58320
832.30/841.44 c #Conflicts: 628000 | #Constraints: 59320
832.30/841.44 c #Conflicts: 629000 | #Constraints: 60320
832.30/841.44 c #Conflicts: 630000 | #Constraints: 61320
832.30/841.44 c #Conflicts: 631000 | #Constraints: 62320
832.30/841.44 c #Conflicts: 632000 | #Constraints: 63320
832.30/841.44 c #Conflicts: 633000 | #Constraints: 64320
832.30/841.44 c INPROCESSING
832.30/841.44 c GARBAGE COLLECT
832.30/841.44 c #Conflicts: 634000 | #Constraints: 37020
832.30/841.44 c #Conflicts: 635000 | #Constraints: 38020
832.30/841.44 c #Conflicts: 636000 | #Constraints: 39020
832.30/841.44 c #Conflicts: 637000 | #Constraints: 40020
832.30/841.44 c #Conflicts: 638000 | #Constraints: 41020
832.30/841.44 c #Conflicts: 639000 | #Constraints: 42020
832.30/841.44 c #Conflicts: 640000 | #Constraints: 43020
832.30/841.44 c #Conflicts: 641000 | #Constraints: 44020
832.30/841.44 c cpu time 823.003 s
832.30/841.44 c deterministic time 58099245371 5.81e+10
832.30/841.44 c optimization time 0.00043 s
832.30/841.44 c total solve time 822.956 s
832.30/841.44 c core-guided solve time 0 s
832.30/841.44 c propagation time 438.961 s
832.30/841.44 c conflict analysis time 300.383 s
832.30/841.44 c propagations 291819324
832.30/841.44 c resolve steps 25331351
832.30/841.44 c decisions 7149502
832.30/841.44 c conflicts 641058
832.30/841.44 c restarts 1370
832.30/841.44 c inprocessing phases 44
832.30/841.44 c garbage collections 44 ,( 100.00 )
832.30/841.44 c input clauses 7435 ,( 98.61 )
832.30/841.44 c input cardinalities 105 ,( 1.39 )
832.30/841.44 c input general constraints 0 ,( 0.00 )
832.30/841.44 c input average constraint length 6.15
832.30/841.44 c input average constraint degree 1.92
832.30/841.44 c learned clauses 455528 ,( 71.06 )
832.30/841.44 c learned cardinalities 17542 ,( 2.74 )
832.30/841.44 c learned general constraints 167992 ,( 26.21 )
832.30/841.44 c learned average constraint length 543.76
832.30/841.44 c learned average constraint degree 5170825.40
832.30/841.44 c watched CF 32, 64, 128, Arb: 47794 , 0 , 0 , 0
832.30/841.44 c counting CF 32, 64, 128, Arb: 120198 , 0 , 0 , 0
832.30/841.44 c watched constraints 47794 ,( 28.45 )
832.30/841.44 c counting constraints 120198 ,( 71.55 )
832.30/841.44 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 338641411 , 195005753 , 731960967 ,( 41982382 , 689978585 )
832.30/841.44 c gcd simplifications 390
832.30/841.44 c detected cardinalities 1880
832.30/841.44 c weakened non-implied lits 109676493
832.30/841.44 c weakened non-implying lits 67669
832.30/841.44 c original variables 7203
832.30/841.44 c clausal propagations 118256258
832.30/841.44 c cardinality propagations 109040699
832.30/841.44 c watched propagations 1533026
832.30/841.44 c counting propagations 60055047
832.30/841.44 c watch lookups 26063166286
832.30/841.44 c watch backjump lookups 0
832.30/841.44 c watch checks 9800330703
832.30/841.44 c propagation checks 20436151526
832.30/841.44 c constraint additions 1200886578
832.30/841.44 c trail pops 299609442
832.30/841.44 c formula constraints 7540
832.30/841.44 c learned constraints 641058
832.30/841.44 c bound constraints 0
832.30/841.44 c core-guided constraints 0
832.30/841.44 c encountered formula constraints 16270915
832.30/841.44 c encountered learned constraints 9701494
832.30/841.44 c encountered bound constraints 0
832.30/841.44 c encountered core-guided constraints 0
832.30/841.44 c LP total time 66.9021 s
832.30/841.44 c LP solve time 61.31 s
832.30/841.44 c LP constraints added 7697
832.30/841.44 c LP constraints removed 61
832.30/841.44 c LP pivots internal 64578
832.30/841.44 c LP pivots root 67431
832.30/841.44 c LP calls 12
832.30/841.44 c LP optimalities 7
832.30/841.44 c LP no pivot count 0
832.30/841.44 c LP infeasibilities 0
832.30/841.44 c LP valid Farkas constraints 0
832.30/841.44 c LP learned Farkas constraints 0
832.30/841.44 c LP basis resets 0
832.30/841.44 c LP cycling count 0
832.30/841.44 c LP singular count 0
832.30/841.44 c LP no primal count 0
832.30/841.44 c LP no farkas count 0
832.30/841.44 c LP other issue count 0
832.30/841.44 c LP Gomory cuts 4
832.30/841.44 c LP learned cuts 207
832.30/841.44 c LP deleted cuts 117
832.30/841.44 c LP encountered Gomory constraints 0
832.30/841.44 c LP encountered Farkas constraints 0
832.30/841.44 c LP encountered learned Farkas constraints 0
832.30/841.44 c CG auxiliary variables introduced 0
832.30/841.44 c CG solutions found 0
832.30/841.44 c CG cores constructed 0
832.30/841.44 c CG core cardinality constraints returned 0
832.30/841.44 c CG unit cores 0
832.30/841.44 c CG single cores 0
832.30/841.44 c CG blocks removed during cardinality reduction 0
832.30/841.44 c CG first core best 0
832.30/841.44 c CG decision core best 0
832.30/841.44 c CG core reduction tie 0
832.30/841.44 c CG core degree average 0.00
832.30/841.44 c CG core slack average 0.00
832.30/841.44 c CG core upper bound improvements 0
832.30/841.44 c STR number of successful calls 0
832.30/841.44 c STR number of unsuccessful calls 0
832.30/841.44 c STR number of inconclusive calls 0
832.30/841.44 c STR number of successful attempts 0
832.30/841.44 c STR number of unsuccessful attempts 0
832.30/841.44 c STR number of inconclusive attempts 0
832.30/841.44 c STR average degree increase per successful call inf
832.30/841.44 c STR average degree increase per successful attempt inf
832.30/841.44 c STR total number of conflicts for successful attempts 0
832.30/841.44 c STR total number of conflicts for unsuccessful attempts 0
832.30/841.44 c STR total number of conflicts for inconclusive attempts 0
832.30/841.44 c STR average number of conflicts per successful attempt inf
832.30/841.44 c STR average number of conflicts per unsuccessful attempt inf
832.30/841.44 c STR average number of conflicts per inconclusive attempt inf
832.30/841.44 c AVG.sumWPerc 62.72
832.30/841.44 c bigint constraints 0
832.30/841.44 s SATISFIABLE
832.30/841.44 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 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 x6709 -x6710 x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 x7140
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57315 MiB free)
memory of node 1: 64507 MiB (51079 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507557-1751177728/watcher-4507557-1751177728 -o /tmp/evaluation-result-4507557-1751177728/solver-4507557-1751177728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22588 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507557-1751177728.opb PROOFDIR/proof-4507557-1751177728
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23315, runsolver pid=23312
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.12 4.14 4.10 3/265 23317
/proc/meminfo: memFree=110992380/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23317] ppid=23315 vsize=13648 memory=6764 CPUtime=0 cores=0,2
/proc/23317/stat : 23317 (pbsuma) D 23315 23315 22578 0 -1 4194304 870 0 0 0 0 0 0 0 20 0 1 0 33453060 13975552 1691 18446744073709551615 4210688 4653049 140734551124336 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 24985600 140734551128291 140734551128626 140734551128626 140734551134191 0
/proc/23317/statm: 3412 1691 992 108 0 820 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17840 KiB
Current children cumulated memory: 9708 KiB
[startup+0.205048 s]*
/proc/loadavg: 4.12 4.14 4.10 3/265 23317
/proc/meminfo: memFree=110992656/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23317] ppid=23315 vsize=13648 memory=6764 CPUtime=0 cores=0,2
/proc/23317/stat : 23317 (pbsuma) D 23315 23315 22578 0 -1 4194304 870 0 0 0 0 0 0 0 20 0 1 0 33453060 13975552 1691 18446744073709551615 4210688 4653049 140734551124336 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 24985600 140734551128291 140734551128626 140734551128626 140734551134191 0
/proc/23317/statm: 3412 1691 992 108 0 820 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17840 KiB
Current children cumulated memory: 9708 KiB
[startup+0.304824 s]*
/proc/loadavg: 4.12 4.14 4.10 3/265 23317
/proc/meminfo: memFree=110992656/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23317] ppid=23315 vsize=13648 memory=6764 CPUtime=0 cores=0,2
/proc/23317/stat : 23317 (pbsuma) D 23315 23315 22578 0 -1 4194304 870 0 0 0 0 0 0 0 20 0 1 0 33453060 13975552 1691 18446744073709551615 4210688 4653049 140734551124336 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 4700520 4703148 24985600 140734551128291 140734551128626 140734551128626 140734551134191 0
/proc/23317/statm: 3412 1691 992 108 0 820 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 17840 KiB
Current children cumulated memory: 9708 KiB
[startup+0.700187 s]
/proc/loadavg: 4.12 4.14 4.10 3/265 23317
/proc/meminfo: memFree=110992656/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50014 s]
/proc/loadavg: 4.12 4.14 4.10 5/266 23328
/proc/meminfo: memFree=116849652/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=77524 memory=30504 CPUtime=0.91 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 5728 0 0 0 89 2 0 0 20 0 1 0 33453116 79384576 7626 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 19381 7626 2304 1147 0 6808 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 81716 KiB
Current children cumulated memory: 33448 KiB
[startup+3.10533 s]
/proc/loadavg: 4.11 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116824156/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=81404 memory=38540 CPUtime=2.51 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 7220 0 0 0 243 8 0 0 20 0 1 0 33453116 83357696 9635 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 20351 9635 2336 1147 0 7778 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 85596 KiB
Current children cumulated memory: 41484 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116768492/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=88560 memory=43276 CPUtime=5.69 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 8374 0 0 0 552 17 0 0 20 0 1 0 33453116 90685440 10819 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 22140 10819 2336 1147 0 9567 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 92752 KiB
Current children cumulated memory: 46220 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116717620/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=92596 memory=49036 CPUtime=12.08 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 9819 0 0 0 1172 36 0 0 20 0 1 0 33453116 94818304 12259 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 23149 12259 2336 1147 0 10576 0
Current children cumulated CPU time: 12.1 s
Current children cumulated vsize: 96788 KiB
Current children cumulated memory: 51980 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129883656/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=131204 memory=79312 CPUtime=24.83 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 15353 0 0 0 2416 67 0 0 20 0 1 0 33453116 134352896 19828 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 32801 19828 2336 1147 0 20228 0
Current children cumulated CPU time: 24.85 s
Current children cumulated vsize: 135396 KiB
Current children cumulated memory: 82256 KiB
[startup+51.1054 s]
/proc/loadavg: 4.05 4.11 4.09 5/272 23435
/proc/meminfo: memFree=129478000/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=162120 memory=105272 CPUtime=49.94 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 18642 0 0 0 4877 117 0 0 20 0 1 0 33453116 166010880 26318 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 40530 26318 2336 1147 0 27957 0
Current children cumulated CPU time: 49.96 s
Current children cumulated vsize: 166312 KiB
Current children cumulated memory: 108216 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/273 23440
/proc/meminfo: memFree=128777560/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=184848 memory=141232 CPUtime=99.66 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 24161 0 0 0 9769 197 0 0 20 0 1 0 33453116 189284352 35308 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 46212 35308 2336 1147 0 33639 0
Current children cumulated CPU time: 99.68 s
Current children cumulated vsize: 189040 KiB
Current children cumulated memory: 144176 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 23442
/proc/meminfo: memFree=128016032/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=235848 memory=174628 CPUtime=159.28 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 28934 0 0 0 15645 283 0 0 20 0 1 0 33453116 241508352 43657 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 58962 43657 2336 1147 0 46389 0
Current children cumulated CPU time: 159.3 s
Current children cumulated vsize: 240040 KiB
Current children cumulated memory: 177572 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 23444
/proc/meminfo: memFree=127313100/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=261744 memory=214548 CPUtime=219.04 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 35345 0 0 0 21567 337 0 0 20 0 1 0 33453116 268025856 53637 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 65436 53637 2368 1147 0 52863 0
Current children cumulated CPU time: 219.06 s
Current children cumulated vsize: 265936 KiB
################
# More data... #
################
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 53343 0 0 0 51060 664 0 0 20 0 1 0 33453116 400965632 84487 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 97892 84487 2368 1147 0 85319 0
Current children cumulated CPU time: 517.26 s
Current children cumulated vsize: 395760 KiB
Current children cumulated memory: 340892 KiB
[startup+582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 23604
/proc/meminfo: memFree=125682932/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=472956 memory=359036 CPUtime=576.83 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 53952 0 0 0 56975 708 0 0 20 0 1 0 33453116 484306944 89759 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 118239 89759 2368 1147 0 105666 0
Current children cumulated CPU time: 576.85 s
Current children cumulated vsize: 477148 KiB
Current children cumulated memory: 361980 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23606
/proc/meminfo: memFree=125168716/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=613648 memory=447764 CPUtime=636.41 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 56244 0 0 0 62894 747 0 0 20 0 1 0 33453116 628375552 111941 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 153412 111941 2368 1147 0 140839 0
Current children cumulated CPU time: 636.43 s
Current children cumulated vsize: 617840 KiB
Current children cumulated memory: 450708 KiB
[startup+702.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 23608
/proc/meminfo: memFree=124754628/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=613960 memory=448276 CPUtime=695.69 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 56363 0 0 0 68756 813 0 0 20 0 1 0 33453116 628695040 112069 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 153490 112069 2368 1147 0 140917 0
Current children cumulated CPU time: 695.71 s
Current children cumulated vsize: 618152 KiB
Current children cumulated memory: 451220 KiB
[startup+762.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 23612
/proc/meminfo: memFree=124362476/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=613960 memory=448276 CPUtime=755.11 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 56363 0 0 0 74636 875 0 0 20 0 1 0 33453116 628695040 112069 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 153490 112069 2368 1147 0 140917 0
Current children cumulated CPU time: 755.13 s
Current children cumulated vsize: 618152 KiB
Current children cumulated memory: 451220 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 23614
/proc/meminfo: memFree=123941516/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452628 CPUtime=814.79 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57435 0 0 0 80567 912 0 0 20 0 1 0 33453116 634511360 113157 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113157 2368 1147 0 142337 0
Current children cumulated CPU time: 814.81 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455572 KiB
[startup+841.473 s]
# the end of solver process 23315 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=823.031 s, system=9.33979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 4.15 4.10 4.09 5/270 23615
/proc/meminfo: memFree=123859792/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452628 CPUtime=824.47 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57435 0 0 0 81528 919 0 0 20 0 1 0 33453116 634511360 113157 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113157 2368 1147 0 142337 0
Current children cumulated CPU time: 824.49 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455572 KiB
[startup+838.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 23616
/proc/meminfo: memFree=123844024/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452756 CPUtime=829.29 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57474 0 0 0 82002 927 0 0 20 0 1 0 33453116 634511360 113189 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113189 2368 1147 0 142337 0
Current children cumulated CPU time: 829.31 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455700 KiB
[startup+840 s]*
/proc/loadavg: 4.13 4.10 4.09 5/270 23616
/proc/meminfo: memFree=123818588/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452756 CPUtime=830.88 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57474 0 0 0 82159 929 0 0 20 0 1 0 33453116 634511360 113189 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113189 2368 1147 0 142337 0
Current children cumulated CPU time: 830.9 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455700 KiB
[startup+840.8 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 23616
/proc/meminfo: memFree=123818588/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452756 CPUtime=831.67 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57474 0 0 0 82236 931 0 0 20 0 1 0 33453116 634511360 113189 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113189 2368 1147 0 142337 0
Current children cumulated CPU time: 831.69 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455700 KiB
[startup+841.2 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 23616
/proc/meminfo: memFree=123804676/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452756 CPUtime=832.08 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57474 0 0 0 82276 932 0 0 20 0 1 0 33453116 634511360 113189 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113189 2368 1147 0 142337 0
Current children cumulated CPU time: 832.1 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455700 KiB
[startup+841.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 23616
/proc/meminfo: memFree=123804676/131250000 swapFree=33010684/33010684
[pid=23315] ppid=23312 vsize=4192 memory=2944 CPUtime=0.02 cores=0,2
/proc/23315/stat : 23315 (run-dec-break-l) S 23312 23315 22578 0 -1 4194304 240 5178 0 0 0 0 1 1 20 0 1 0 33453059 4292608 736 18446744073709551615 94808180420608 94808181315141 140728423889360 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94808181554192 94808181601936 94808203255808 140728423897365 140728423897566 140728423897566 140728423903168 0
/proc/23315/statm: 1048 736 672 219 0 110 0
[pid=23318] ppid=23315 vsize=619640 memory=452756 CPUtime=832.28 cores=0,2
/proc/23318/stat : 23318 (roundingsat) R 23315 23315 22578 0 -1 4194304 57474 0 0 0 82296 932 0 0 20 0 1 0 33453116 634511360 113189 18446744073709551615 4227072 8923433 140726783301328 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19607552 140726783310068 140726783310376 140726783310376 140726783315946 0
/proc/23318/statm: 154910 113189 2368 1147 0 142337 0
Current children cumulated CPU time: 832.3 s
Current children cumulated vsize: 623832 KiB
Current children cumulated memory: 455700 KiB
Child status: 0
Real time (s): 841.474
CPU time (s): 832.371
CPU user time (s): 823.031
CPU system time (s): 9.33979
CPU usage (%): 98.9182
Max. virtual memory (cumulated for all children) (KiB): 623832
Max. memory (cumulated for all children) (KiB): 455700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 823.031
system time used= 9.33979
maximum resident set size= 452756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3266288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 781
involuntary context switches= 1301
# summary of solver processes directly reported to runsolver:
# pid: 23315
# total CPU time (s): 832.371
# total CPU user time (s): 823.031
# total CPU system time (s): 9.33979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.69311 second user time and 3.58767 second system time
The end
Begin job on nodeC013 at 2025-06-29 08:15:28
IDJOB=4507557
IDBENCH=158365
IDSOLVER=3358
FILE ID=nodeC013/4507557-1751177728
RUNJOBID= nodeC013-1751170426-22588
SLURM_JOB_ID= 9587527
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507557-1751177728/watcher-4507557-1751177728 -o /tmp/evaluation-result-4507557-1751177728/solver-4507557-1751177728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22588 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507557-1751177728.opb PROOFDIR/proof-4507557-1751177728
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=909302959
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.840
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.582
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.824
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3635.213
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3607.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 110996476 kB
MemAvailable: 127880172 kB
Buffers: 3280 kB
Cached: 17669960 kB
SwapCached: 0 kB
Active: 2133956 kB
Inactive: 17461044 kB
Active(anon): 1935136 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 17461044 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 66080 kB
Writeback: 0 kB
AnonPages: 1919228 kB
Mapped: 107980 kB
Shmem: 13284 kB
KReclaimable: 125740 kB
Slab: 213744 kB
SReclaimable: 125740 kB
SUnreclaim: 88004 kB
KernelStack: 4304 kB
PageTables: 6768 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2429484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1282048 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 08:29:30