0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507556-1751186277.opb'
0.00/0.03 c read 0.46MB (17.21ms)
0.00/0.03 c [cnf: #variables 7140 #clauses 7352 #duplicates 0 #arr 45862]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 1260] (21.68ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (5.30ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 35912 #edges 134564]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 3.84*10^2 #generators 7] (20.19ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.05ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 7 generators (0.24ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 196 #add_vars 63]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4507556-1751186277.opb.pre'
0.00/0.09 c wrote 0.47MB (3.41ms)
0.00/0.09 c ------------------------------------------------------------------
0.00/0.09 c 21.68ms 30.86% approx_orbits
0.00/0.09 c 20.19ms 28.74% detect_generic
0.00/0.09 c 17.21ms 24.49% parse
0.00/0.09 c 5.30ms 7.54% detect_special
0.00/0.09 c 3.41ms 4.85% output
0.00/0.09 c 1.45ms 2.07% other
0.00/0.09 c 0.73ms 1.03% finalize_order
0.00/0.09 c 0.24ms 0.34% break_generic
0.00/0.09 c 0.05ms 0.07% optimize_gens
0.00/0.09 c ───────────────────────────────────────────────
0.00/0.09 c 70.26ms 100% total
0.00/0.09 c ------------------------------------------------------------------
0.00/0.11 c RoundingSat 2
0.00/0.11 c branch pb25
0.00/0.11 c commit 63f22ad
0.19/0.22 c #variables 7203 #constraints 7540
50.42/50.68 c #Conflicts: 1000 | #Constraints: 8539
50.42/50.68 c #Conflicts: 2000 | #Constraints: 9539
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 3000 | #Constraints: 9226
50.42/50.68 c #Conflicts: 4000 | #Constraints: 10226
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 5000 | #Constraints: 9706
50.42/50.68 c #Conflicts: 6000 | #Constraints: 10706
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 7000 | #Constraints: 9761
50.42/50.68 c #Conflicts: 8000 | #Constraints: 10761
50.42/50.68 c #Conflicts: 9000 | #Constraints: 11761
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 10000 | #Constraints: 10502
50.42/50.68 c #Conflicts: 11000 | #Constraints: 11502
50.42/50.68 c #Conflicts: 12000 | #Constraints: 12502
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 13000 | #Constraints: 10995
50.42/50.68 c #Conflicts: 14000 | #Constraints: 11995
50.42/50.68 c #Conflicts: 15000 | #Constraints: 12995
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 16000 | #Constraints: 11226
50.42/50.68 c #Conflicts: 17000 | #Constraints: 12226
50.42/50.68 c #Conflicts: 18000 | #Constraints: 13226
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 19000 | #Constraints: 11287
50.42/50.68 c #Conflicts: 20000 | #Constraints: 12287
50.42/50.68 c #Conflicts: 21000 | #Constraints: 13287
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 22000 | #Constraints: 11127
50.42/50.68 c #Conflicts: 23000 | #Constraints: 12127
50.42/50.68 c #Conflicts: 24000 | #Constraints: 13127
50.42/50.68 c #Conflicts: 25000 | #Constraints: 14127
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 26000 | #Constraints: 11742
50.42/50.68 c #Conflicts: 27000 | #Constraints: 12742
50.42/50.68 c #Conflicts: 28000 | #Constraints: 13742
50.42/50.68 c #Conflicts: 29000 | #Constraints: 14742
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 30000 | #Constraints: 12178
50.42/50.68 c #Conflicts: 31000 | #Constraints: 13178
50.42/50.68 c #Conflicts: 32000 | #Constraints: 14178
50.42/50.68 c #Conflicts: 33000 | #Constraints: 15178
50.42/50.68 c #Conflicts: 34000 | #Constraints: 16178
50.42/50.68 c #Conflicts: 35000 | #Constraints: 17178
50.42/50.68 c #Conflicts: 36000 | #Constraints: 18178
50.42/50.68 c #Conflicts: 37000 | #Constraints: 19178
50.42/50.68 c #Conflicts: 38000 | #Constraints: 20178
50.42/50.68 c #Conflicts: 39000 | #Constraints: 21178
50.42/50.68 c #Conflicts: 40000 | #Constraints: 22178
50.42/50.68 c #Conflicts: 41000 | #Constraints: 23178
50.42/50.68 c #Conflicts: 42000 | #Constraints: 24178
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 43000 | #Constraints: 16527
50.42/50.68 c #Conflicts: 44000 | #Constraints: 17527
50.42/50.68 c #Conflicts: 45000 | #Constraints: 18527
50.42/50.68 c #Conflicts: 46000 | #Constraints: 19527
50.42/50.68 c #Conflicts: 47000 | #Constraints: 20527
50.42/50.68 c #Conflicts: 48000 | #Constraints: 21527
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 49000 | #Constraints: 15635
50.42/50.68 c #Conflicts: 50000 | #Constraints: 16635
50.42/50.68 c #Conflicts: 51000 | #Constraints: 17635
50.42/50.68 c #Conflicts: 52000 | #Constraints: 18635
50.42/50.68 c #Conflicts: 53000 | #Constraints: 19635
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 54000 | #Constraints: 14550
50.42/50.68 c #Conflicts: 55000 | #Constraints: 15550
50.42/50.68 c #Conflicts: 56000 | #Constraints: 16550
50.42/50.68 c #Conflicts: 57000 | #Constraints: 17550
50.42/50.68 c #Conflicts: 58000 | #Constraints: 18550
50.42/50.68 c INPROCESSING
50.42/50.68 c GARBAGE COLLECT
50.42/50.68 c #Conflicts: 59000 | #Constraints: 13704
50.42/50.68 c #Conflicts: 60000 | #Constraints: 14704
50.42/50.68 c #Conflicts: 61000 | #Constraints: 15704
50.42/50.68 c #Conflicts: 62000 | #Constraints: 16704
50.42/50.68 c #Conflicts: 63000 | #Constraints: 17704
50.42/50.68 c #Conflicts: 64000 | #Constraints: 18704
50.42/50.68 c #Conflicts: 65000 | #Constraints: 19704
50.42/50.68 c #Conflicts: 66000 | #Constraints: 20704
50.42/50.68 c #Conflicts: 67000 | #Constraints: 21704
50.42/50.68 c #Conflicts: 68000 | #Constraints: 22704
50.42/50.68 c #Conflicts: 69000 | #Constraints: 23704
50.42/50.68 c #Conflicts: 70000 | #Constraints: 24704
116.26/116.62 c #Conflicts: 71000 | #Constraints: 25704
116.26/116.62 c #Conflicts: 72000 | #Constraints: 26704
116.26/116.62 c #Conflicts: 73000 | #Constraints: 27704
116.26/116.62 c #Conflicts: 74000 | #Constraints: 28704
116.26/116.62 c #Conflicts: 75000 | #Constraints: 29704
116.26/116.62 c #Conflicts: 76000 | #Constraints: 30704
116.26/116.62 c #Conflicts: 77000 | #Constraints: 31704
116.26/116.62 c #Conflicts: 78000 | #Constraints: 32704
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 79000 | #Constraints: 21235
116.26/116.62 c #Conflicts: 80000 | #Constraints: 22235
116.26/116.62 c #Conflicts: 81000 | #Constraints: 23235
116.26/116.62 c #Conflicts: 82000 | #Constraints: 24235
116.26/116.62 c #Conflicts: 83000 | #Constraints: 25235
116.26/116.62 c #Conflicts: 84000 | #Constraints: 26235
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 85000 | #Constraints: 17641
116.26/116.62 c #Conflicts: 86000 | #Constraints: 18641
116.26/116.62 c #Conflicts: 87000 | #Constraints: 19641
116.26/116.62 c #Conflicts: 88000 | #Constraints: 20641
116.26/116.62 c #Conflicts: 89000 | #Constraints: 21641
116.26/116.62 c #Conflicts: 90000 | #Constraints: 22641
116.26/116.62 c #Conflicts: 91000 | #Constraints: 23641
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 92000 | #Constraints: 16350
116.26/116.62 c #Conflicts: 93000 | #Constraints: 17350
116.26/116.62 c #Conflicts: 94000 | #Constraints: 18350
116.26/116.62 c #Conflicts: 95000 | #Constraints: 19350
116.26/116.62 c #Conflicts: 96000 | #Constraints: 20350
116.26/116.62 c #Conflicts: 97000 | #Constraints: 21350
116.26/116.62 c #Conflicts: 98000 | #Constraints: 22350
116.26/116.62 c #Conflicts: 99000 | #Constraints: 23350
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 100000 | #Constraints: 16613
116.26/116.62 c #Conflicts: 101000 | #Constraints: 17613
116.26/116.62 c #Conflicts: 102000 | #Constraints: 18613
116.26/116.62 c #Conflicts: 103000 | #Constraints: 19613
116.26/116.62 c #Conflicts: 104000 | #Constraints: 20613
116.26/116.62 c #Conflicts: 105000 | #Constraints: 21613
116.26/116.62 c #Conflicts: 106000 | #Constraints: 22613
116.26/116.62 c #Conflicts: 107000 | #Constraints: 23613
116.26/116.62 c #Conflicts: 108000 | #Constraints: 24613
116.26/116.62 c #Conflicts: 109000 | #Constraints: 25613
116.26/116.62 c #Conflicts: 110000 | #Constraints: 26613
116.26/116.62 c #Conflicts: 111000 | #Constraints: 27613
116.26/116.62 c #Conflicts: 112000 | #Constraints: 28613
116.26/116.62 c #Conflicts: 113000 | #Constraints: 29613
116.26/116.62 c #Conflicts: 114000 | #Constraints: 30613
116.26/116.62 c #Conflicts: 115000 | #Constraints: 31613
116.26/116.62 c #Conflicts: 116000 | #Constraints: 32613
116.26/116.62 c #Conflicts: 117000 | #Constraints: 33613
116.26/116.62 c #Conflicts: 118000 | #Constraints: 34613
116.26/116.62 c #Conflicts: 119000 | #Constraints: 35613
116.26/116.62 c #Conflicts: 120000 | #Constraints: 36613
116.26/116.62 c #Conflicts: 121000 | #Constraints: 37613
116.26/116.62 c #Conflicts: 122000 | #Constraints: 38613
116.26/116.62 c #Conflicts: 123000 | #Constraints: 39613
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 124000 | #Constraints: 24489
116.26/116.62 c #Conflicts: 125000 | #Constraints: 25489
116.26/116.62 c #Conflicts: 126000 | #Constraints: 26489
116.26/116.62 c #Conflicts: 127000 | #Constraints: 27489
116.26/116.62 c #Conflicts: 128000 | #Constraints: 28489
116.26/116.62 c #Conflicts: 129000 | #Constraints: 29489
116.26/116.62 c #Conflicts: 130000 | #Constraints: 30489
116.26/116.62 c #Conflicts: 131000 | #Constraints: 31489
116.26/116.62 c #Conflicts: 132000 | #Constraints: 32489
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 133000 | #Constraints: 21228
116.26/116.62 c #Conflicts: 134000 | #Constraints: 22228
116.26/116.62 c #Conflicts: 135000 | #Constraints: 23228
116.26/116.62 c #Conflicts: 136000 | #Constraints: 24228
116.26/116.62 c #Conflicts: 137000 | #Constraints: 25228
116.26/116.62 c #Conflicts: 138000 | #Constraints: 26228
116.26/116.62 c #Conflicts: 139000 | #Constraints: 27228
116.26/116.62 c #Conflicts: 140000 | #Constraints: 28228
116.26/116.62 c INPROCESSING
116.26/116.62 c GARBAGE COLLECT
116.26/116.62 c #Conflicts: 141000 | #Constraints: 18762
116.26/116.62 c #Conflicts: 142000 | #Constraints: 19762
116.26/116.62 c #Conflicts: 143000 | #Constraints: 20762
116.26/116.62 c #Conflicts: 144000 | #Constraints: 21762
116.26/116.62 c #Conflicts: 145000 | #Constraints: 22762
193.57/194.17 c #Conflicts: 146000 | #Constraints: 23762
193.57/194.17 c #Conflicts: 147000 | #Constraints: 24762
193.57/194.17 c #Conflicts: 148000 | #Constraints: 25762
193.57/194.17 c #Conflicts: 149000 | #Constraints: 26762
193.57/194.17 c INPROCESSING
193.57/194.17 c GARBAGE COLLECT
193.57/194.17 c #Conflicts: 150000 | #Constraints: 18073
193.57/194.17 c #Conflicts: 151000 | #Constraints: 19073
193.57/194.17 c #Conflicts: 152000 | #Constraints: 20073
193.57/194.17 c #Conflicts: 153000 | #Constraints: 21073
193.57/194.17 c #Conflicts: 154000 | #Constraints: 22073
193.57/194.17 c #Conflicts: 155000 | #Constraints: 23073
193.57/194.17 c #Conflicts: 156000 | #Constraints: 24073
193.57/194.17 c #Conflicts: 157000 | #Constraints: 25073
193.57/194.17 c #Conflicts: 158000 | #Constraints: 26073
193.57/194.17 c #Conflicts: 159000 | #Constraints: 27073
193.57/194.17 c #Conflicts: 160000 | #Constraints: 28073
193.57/194.17 c #Conflicts: 161000 | #Constraints: 29073
193.57/194.17 c #Conflicts: 162000 | #Constraints: 30073
193.57/194.17 c #Conflicts: 163000 | #Constraints: 31073
193.57/194.17 c #Conflicts: 164000 | #Constraints: 32073
193.57/194.17 c #Conflicts: 165000 | #Constraints: 33073
193.57/194.17 c #Conflicts: 166000 | #Constraints: 34073
193.57/194.17 c #Conflicts: 167000 | #Constraints: 35073
193.57/194.17 c #Conflicts: 168000 | #Constraints: 36073
193.57/194.17 c #Conflicts: 169000 | #Constraints: 37073
193.57/194.17 c #Conflicts: 170000 | #Constraints: 38073
193.57/194.17 c #Conflicts: 171000 | #Constraints: 39073
193.57/194.17 c #Conflicts: 172000 | #Constraints: 40073
193.57/194.17 c #Conflicts: 173000 | #Constraints: 41073
193.57/194.17 c #Conflicts: 174000 | #Constraints: 42073
193.57/194.17 c #Conflicts: 175000 | #Constraints: 43073
193.57/194.17 c #Conflicts: 176000 | #Constraints: 44073
193.57/194.17 c #Conflicts: 177000 | #Constraints: 45073
193.57/194.17 c #Conflicts: 178000 | #Constraints: 46073
193.57/194.17 c #Conflicts: 179000 | #Constraints: 47073
193.57/194.17 c INPROCESSING
193.57/194.17 c GARBAGE COLLECT
193.57/194.17 c #Conflicts: 180000 | #Constraints: 28338
193.57/194.17 c #Conflicts: 181000 | #Constraints: 29338
193.57/194.17 c #Conflicts: 182000 | #Constraints: 30338
193.57/194.17 c #Conflicts: 183000 | #Constraints: 31338
193.57/194.17 c #Conflicts: 184000 | #Constraints: 32338
193.57/194.17 c #Conflicts: 185000 | #Constraints: 33338
193.57/194.17 c #Conflicts: 186000 | #Constraints: 34338
193.57/194.17 c #Conflicts: 187000 | #Constraints: 35338
193.57/194.17 c #Conflicts: 188000 | #Constraints: 36338
193.57/194.17 c #Conflicts: 189000 | #Constraints: 37338
193.57/194.17 c INPROCESSING
193.57/194.17 c GARBAGE COLLECT
193.57/194.17 c #Conflicts: 190000 | #Constraints: 23450
193.57/194.17 c #Conflicts: 191000 | #Constraints: 24450
193.57/194.17 c #Conflicts: 192000 | #Constraints: 25450
193.57/194.17 c #Conflicts: 193000 | #Constraints: 26450
193.57/194.17 c #Conflicts: 194000 | #Constraints: 27450
193.57/194.17 c #Conflicts: 195000 | #Constraints: 28450
193.57/194.17 c #Conflicts: 196000 | #Constraints: 29450
193.57/194.17 c #Conflicts: 197000 | #Constraints: 30450
193.57/194.17 c #Conflicts: 198000 | #Constraints: 31450
193.57/194.17 c #Conflicts: 199000 | #Constraints: 32450
193.57/194.17 c #Conflicts: 200000 | #Constraints: 33450
193.57/194.17 c INPROCESSING
193.57/194.17 c GARBAGE COLLECT
193.57/194.17 c #Conflicts: 201000 | #Constraints: 21734
193.57/194.17 c #Conflicts: 202000 | #Constraints: 22734
193.57/194.17 c #Conflicts: 203000 | #Constraints: 23734
193.57/194.17 c #Conflicts: 204000 | #Constraints: 24734
193.57/194.17 c #Conflicts: 205000 | #Constraints: 25734
193.57/194.17 c #Conflicts: 206000 | #Constraints: 26734
193.57/194.17 c #Conflicts: 207000 | #Constraints: 27734
193.57/194.17 c #Conflicts: 208000 | #Constraints: 28734
193.57/194.17 c #Conflicts: 209000 | #Constraints: 29734
193.57/194.17 c #Conflicts: 210000 | #Constraints: 30734
193.57/194.17 c INPROCESSING
193.57/194.17 c GARBAGE COLLECT
193.57/194.17 c rational objective 108.003
295.31/296.19 c #Conflicts: 211000 | #Constraints: 20113
295.31/296.19 c #Conflicts: 212000 | #Constraints: 21113
295.31/296.19 c #Conflicts: 213000 | #Constraints: 22113
295.31/296.19 c #Conflicts: 214000 | #Constraints: 23113
295.31/296.19 c #Conflicts: 215000 | #Constraints: 24113
295.31/296.19 c #Conflicts: 216000 | #Constraints: 25113
295.31/296.19 c #Conflicts: 217000 | #Constraints: 26113
295.31/296.19 c #Conflicts: 218000 | #Constraints: 27113
295.31/296.19 c #Conflicts: 219000 | #Constraints: 28113
295.31/296.19 c #Conflicts: 220000 | #Constraints: 29113
295.31/296.19 c #Conflicts: 221000 | #Constraints: 30113
295.31/296.19 c #Conflicts: 222000 | #Constraints: 31113
295.31/296.19 c #Conflicts: 223000 | #Constraints: 32113
295.31/296.19 c #Conflicts: 224000 | #Constraints: 33113
295.31/296.19 c #Conflicts: 225000 | #Constraints: 34113
295.31/296.19 c #Conflicts: 226000 | #Constraints: 35113
295.31/296.19 c #Conflicts: 227000 | #Constraints: 36113
295.31/296.19 c #Conflicts: 228000 | #Constraints: 37113
295.31/296.19 c #Conflicts: 229000 | #Constraints: 38113
295.31/296.19 c #Conflicts: 230000 | #Constraints: 39113
295.31/296.19 c #Conflicts: 231000 | #Constraints: 40113
295.31/296.19 c #Conflicts: 232000 | #Constraints: 41113
295.31/296.19 c #Conflicts: 233000 | #Constraints: 42113
295.31/296.19 c #Conflicts: 234000 | #Constraints: 43113
295.31/296.19 c #Conflicts: 235000 | #Constraints: 44113
295.31/296.19 c #Conflicts: 236000 | #Constraints: 45113
295.31/296.19 c #Conflicts: 237000 | #Constraints: 46113
295.31/296.19 c #Conflicts: 238000 | #Constraints: 47113
295.31/296.19 c #Conflicts: 239000 | #Constraints: 48113
295.31/296.19 c #Conflicts: 240000 | #Constraints: 49113
295.31/296.19 c #Conflicts: 241000 | #Constraints: 50113
295.31/296.19 c #Conflicts: 242000 | #Constraints: 51113
295.31/296.19 c #Conflicts: 243000 | #Constraints: 52113
295.31/296.19 c #Conflicts: 244000 | #Constraints: 53113
295.31/296.19 c #Conflicts: 245000 | #Constraints: 54113
295.31/296.19 c INPROCESSING
295.31/296.19 c GARBAGE COLLECT
295.31/296.19 c #Conflicts: 246000 | #Constraints: 31771
295.31/296.19 c #Conflicts: 247000 | #Constraints: 32771
295.31/296.19 c #Conflicts: 248000 | #Constraints: 33771
295.31/296.19 c #Conflicts: 249000 | #Constraints: 34771
295.31/296.19 c #Conflicts: 250000 | #Constraints: 35771
295.31/296.19 c #Conflicts: 251000 | #Constraints: 36771
295.31/296.19 c #Conflicts: 252000 | #Constraints: 37771
295.31/296.19 c #Conflicts: 253000 | #Constraints: 38771
295.31/296.19 c #Conflicts: 254000 | #Constraints: 39771
295.31/296.19 c #Conflicts: 255000 | #Constraints: 40771
295.31/296.19 c #Conflicts: 256000 | #Constraints: 41771
295.31/296.19 c #Conflicts: 257000 | #Constraints: 42771
295.31/296.19 c INPROCESSING
295.31/296.19 c GARBAGE COLLECT
295.31/296.19 c #Conflicts: 258000 | #Constraints: 26114
295.31/296.19 c #Conflicts: 259000 | #Constraints: 27114
295.31/296.19 c #Conflicts: 260000 | #Constraints: 28114
295.31/296.19 c #Conflicts: 261000 | #Constraints: 29114
295.31/296.19 c #Conflicts: 262000 | #Constraints: 30114
295.31/296.19 c #Conflicts: 263000 | #Constraints: 31114
295.31/296.19 c #Conflicts: 264000 | #Constraints: 32114
295.31/296.19 c #Conflicts: 265000 | #Constraints: 33114
295.31/296.19 c #Conflicts: 266000 | #Constraints: 34114
295.31/296.19 c #Conflicts: 267000 | #Constraints: 35114
295.31/296.19 c #Conflicts: 268000 | #Constraints: 36114
295.31/296.19 c #Conflicts: 269000 | #Constraints: 37114
295.31/296.19 c INPROCESSING
295.31/296.19 c GARBAGE COLLECT
295.31/296.19 c #Conflicts: 270000 | #Constraints: 23327
295.31/296.19 c #Conflicts: 271000 | #Constraints: 24327
295.31/296.19 c #Conflicts: 272000 | #Constraints: 25327
295.31/296.19 c #Conflicts: 273000 | #Constraints: 26327
295.31/296.19 c #Conflicts: 274000 | #Constraints: 27327
295.31/296.19 c #Conflicts: 275000 | #Constraints: 28327
295.31/296.19 c #Conflicts: 276000 | #Constraints: 29327
295.31/296.19 c #Conflicts: 277000 | #Constraints: 30327
295.31/296.19 c #Conflicts: 278000 | #Constraints: 31327
295.31/296.19 c #Conflicts: 279000 | #Constraints: 32327
295.31/296.19 c #Conflicts: 280000 | #Constraints: 33327
295.31/296.19 c #Conflicts: 281000 | #Constraints: 34327
295.31/296.19 c #Conflicts: 282000 | #Constraints: 35327
295.31/296.19 c INPROCESSING
295.31/296.19 c GARBAGE COLLECT
295.31/296.19 c #Conflicts: 283000 | #Constraints: 22716
295.31/296.19 c #Conflicts: 284000 | #Constraints: 23716
295.31/296.19 c #Conflicts: 285000 | #Constraints: 24716
295.31/296.19 c #Conflicts: 286000 | #Constraints: 25716
295.31/296.19 c #Conflicts: 287000 | #Constraints: 26716
389.06/390.18 c #Conflicts: 288000 | #Constraints: 27716
389.06/390.18 c #Conflicts: 289000 | #Constraints: 28716
389.06/390.18 c #Conflicts: 290000 | #Constraints: 29716
389.06/390.18 c #Conflicts: 291000 | #Constraints: 30716
389.06/390.18 c #Conflicts: 292000 | #Constraints: 31716
389.06/390.18 c #Conflicts: 293000 | #Constraints: 32716
389.06/390.18 c #Conflicts: 294000 | #Constraints: 33716
389.06/390.18 c #Conflicts: 295000 | #Constraints: 34716
389.06/390.18 c #Conflicts: 296000 | #Constraints: 35716
389.06/390.18 c #Conflicts: 297000 | #Constraints: 36716
389.06/390.18 c #Conflicts: 298000 | #Constraints: 37716
389.06/390.18 c #Conflicts: 299000 | #Constraints: 38716
389.06/390.18 c #Conflicts: 300000 | #Constraints: 39716
389.06/390.18 c #Conflicts: 301000 | #Constraints: 40716
389.06/390.18 c #Conflicts: 302000 | #Constraints: 41716
389.06/390.18 c #Conflicts: 303000 | #Constraints: 42716
389.06/390.18 c #Conflicts: 304000 | #Constraints: 43716
389.06/390.18 c #Conflicts: 305000 | #Constraints: 44716
389.06/390.18 c #Conflicts: 306000 | #Constraints: 45716
389.06/390.18 c #Conflicts: 307000 | #Constraints: 46716
389.06/390.18 c #Conflicts: 308000 | #Constraints: 47716
389.06/390.18 c #Conflicts: 309000 | #Constraints: 48716
389.06/390.18 c #Conflicts: 310000 | #Constraints: 49716
389.06/390.18 c #Conflicts: 311000 | #Constraints: 50716
389.06/390.18 c #Conflicts: 312000 | #Constraints: 51716
389.06/390.18 c #Conflicts: 313000 | #Constraints: 52716
389.06/390.18 c #Conflicts: 314000 | #Constraints: 53716
389.06/390.18 c #Conflicts: 315000 | #Constraints: 54716
389.06/390.18 c #Conflicts: 316000 | #Constraints: 55716
389.06/390.18 c #Conflicts: 317000 | #Constraints: 56716
389.06/390.18 c #Conflicts: 318000 | #Constraints: 57716
389.06/390.18 c #Conflicts: 319000 | #Constraints: 58716
389.06/390.18 c #Conflicts: 320000 | #Constraints: 59716
389.06/390.18 c #Conflicts: 321000 | #Constraints: 60716
389.06/390.18 c #Conflicts: 322000 | #Constraints: 61716
389.06/390.18 c INPROCESSING
389.06/390.18 c GARBAGE COLLECT
389.06/390.18 c #Conflicts: 323000 | #Constraints: 35698
389.06/390.18 c #Conflicts: 324000 | #Constraints: 36698
389.06/390.18 c #Conflicts: 325000 | #Constraints: 37698
389.06/390.18 c #Conflicts: 326000 | #Constraints: 38698
389.06/390.18 c #Conflicts: 327000 | #Constraints: 39698
389.06/390.18 c #Conflicts: 328000 | #Constraints: 40698
389.06/390.18 c #Conflicts: 329000 | #Constraints: 41698
389.06/390.18 c #Conflicts: 330000 | #Constraints: 42698
389.06/390.18 c #Conflicts: 331000 | #Constraints: 43698
389.06/390.18 c #Conflicts: 332000 | #Constraints: 44698
389.06/390.18 c #Conflicts: 333000 | #Constraints: 45698
389.06/390.18 c #Conflicts: 334000 | #Constraints: 46698
389.06/390.18 c #Conflicts: 335000 | #Constraints: 47698
389.06/390.18 c #Conflicts: 336000 | #Constraints: 48698
389.06/390.18 c INPROCESSING
389.06/390.18 c GARBAGE COLLECT
389.06/390.18 c #Conflicts: 337000 | #Constraints: 29508
389.06/390.18 c #Conflicts: 338000 | #Constraints: 30508
389.06/390.18 c #Conflicts: 339000 | #Constraints: 31508
389.06/390.18 c #Conflicts: 340000 | #Constraints: 32508
389.06/390.18 c #Conflicts: 341000 | #Constraints: 33508
389.06/390.18 c #Conflicts: 342000 | #Constraints: 34508
389.06/390.18 c #Conflicts: 343000 | #Constraints: 35508
389.06/390.18 c #Conflicts: 344000 | #Constraints: 36508
389.06/390.18 c #Conflicts: 345000 | #Constraints: 37508
389.06/390.18 c #Conflicts: 346000 | #Constraints: 38508
389.06/390.18 c #Conflicts: 347000 | #Constraints: 39508
389.06/390.18 c #Conflicts: 348000 | #Constraints: 40508
389.06/390.18 c #Conflicts: 349000 | #Constraints: 41508
389.06/390.18 c INPROCESSING
389.06/390.18 c GARBAGE COLLECT
389.06/390.18 c #Conflicts: 350000 | #Constraints: 25513
389.06/390.18 c #Conflicts: 351000 | #Constraints: 26513
389.06/390.18 c #Conflicts: 352000 | #Constraints: 27513
389.06/390.18 c #Conflicts: 353000 | #Constraints: 28513
389.06/390.18 c #Conflicts: 354000 | #Constraints: 29513
389.06/390.18 c #Conflicts: 355000 | #Constraints: 30513
389.06/390.18 c #Conflicts: 356000 | #Constraints: 31513
389.06/390.18 c #Conflicts: 357000 | #Constraints: 32513
389.06/390.18 c #Conflicts: 358000 | #Constraints: 33513
389.06/390.18 c #Conflicts: 359000 | #Constraints: 34513
389.06/390.18 c #Conflicts: 360000 | #Constraints: 35513
389.06/390.18 c #Conflicts: 361000 | #Constraints: 36513
389.06/390.18 c #Conflicts: 362000 | #Constraints: 37513
389.06/390.18 c #Conflicts: 363000 | #Constraints: 38513
389.06/390.18 c INPROCESSING
480.72/482.09 c GARBAGE COLLECT
480.72/482.09 c #Conflicts: 364000 | #Constraints: 23977
480.72/482.09 c #Conflicts: 365000 | #Constraints: 24977
480.72/482.09 c #Conflicts: 366000 | #Constraints: 25977
480.72/482.09 c #Conflicts: 367000 | #Constraints: 26977
480.72/482.09 c #Conflicts: 368000 | #Constraints: 27977
480.72/482.09 c #Conflicts: 369000 | #Constraints: 28977
480.72/482.09 c #Conflicts: 370000 | #Constraints: 29977
480.72/482.09 c #Conflicts: 371000 | #Constraints: 30977
480.72/482.09 c #Conflicts: 372000 | #Constraints: 31977
480.72/482.09 c #Conflicts: 373000 | #Constraints: 32977
480.72/482.09 c #Conflicts: 374000 | #Constraints: 33977
480.72/482.09 c #Conflicts: 375000 | #Constraints: 34977
480.72/482.09 c #Conflicts: 376000 | #Constraints: 35977
480.72/482.09 c #Conflicts: 377000 | #Constraints: 36977
480.72/482.09 c #Conflicts: 378000 | #Constraints: 37977
480.72/482.09 c #Conflicts: 379000 | #Constraints: 38977
480.72/482.09 c #Conflicts: 380000 | #Constraints: 39977
480.72/482.09 c #Conflicts: 381000 | #Constraints: 40977
480.72/482.09 c #Conflicts: 382000 | #Constraints: 41977
480.72/482.09 c #Conflicts: 383000 | #Constraints: 42977
480.72/482.09 c #Conflicts: 384000 | #Constraints: 43977
480.72/482.09 c #Conflicts: 385000 | #Constraints: 44977
480.72/482.09 c #Conflicts: 386000 | #Constraints: 45977
480.72/482.09 c #Conflicts: 387000 | #Constraints: 46977
480.72/482.09 c #Conflicts: 388000 | #Constraints: 47977
480.72/482.09 c #Conflicts: 389000 | #Constraints: 48977
480.72/482.09 c #Conflicts: 390000 | #Constraints: 49977
480.72/482.09 c #Conflicts: 391000 | #Constraints: 50977
480.72/482.09 c #Conflicts: 392000 | #Constraints: 51977
480.72/482.09 c #Conflicts: 393000 | #Constraints: 52977
480.72/482.09 c #Conflicts: 394000 | #Constraints: 53977
480.72/482.09 c #Conflicts: 395000 | #Constraints: 54977
480.72/482.09 c #Conflicts: 396000 | #Constraints: 55977
480.72/482.09 c #Conflicts: 397000 | #Constraints: 56977
480.72/482.09 c #Conflicts: 398000 | #Constraints: 57977
480.72/482.09 c #Conflicts: 399000 | #Constraints: 58977
480.72/482.09 c #Conflicts: 400000 | #Constraints: 59977
480.72/482.09 c #Conflicts: 401000 | #Constraints: 60977
480.72/482.09 c #Conflicts: 402000 | #Constraints: 61977
480.72/482.09 c #Conflicts: 403000 | #Constraints: 62977
480.72/482.09 c #Conflicts: 404000 | #Constraints: 63977
480.72/482.09 c #Conflicts: 405000 | #Constraints: 64977
480.72/482.09 c #Conflicts: 406000 | #Constraints: 65977
480.72/482.09 c #Conflicts: 407000 | #Constraints: 66977
480.72/482.09 c #Conflicts: 408000 | #Constraints: 67977
480.72/482.09 c #Conflicts: 409000 | #Constraints: 68977
480.72/482.09 c INPROCESSING
480.72/482.09 c GARBAGE COLLECT
480.72/482.09 c rational objective 111.436
573.58/575.13 c #Conflicts: 410000 | #Constraints: 39328
573.58/575.13 c #Conflicts: 411000 | #Constraints: 40328
573.58/575.13 c #Conflicts: 412000 | #Constraints: 41328
573.58/575.13 c #Conflicts: 413000 | #Constraints: 42328
573.58/575.13 c #Conflicts: 414000 | #Constraints: 43328
573.58/575.13 c #Conflicts: 415000 | #Constraints: 44328
573.58/575.13 c #Conflicts: 416000 | #Constraints: 45328
573.58/575.13 c #Conflicts: 417000 | #Constraints: 46328
573.58/575.13 c #Conflicts: 418000 | #Constraints: 47328
573.58/575.13 c #Conflicts: 419000 | #Constraints: 48328
573.58/575.13 c #Conflicts: 420000 | #Constraints: 49328
573.58/575.13 c #Conflicts: 421000 | #Constraints: 50328
573.58/575.13 c #Conflicts: 422000 | #Constraints: 51328
573.58/575.13 c #Conflicts: 423000 | #Constraints: 52328
573.58/575.13 c #Conflicts: 424000 | #Constraints: 53328
573.58/575.13 c INPROCESSING
573.58/575.13 c GARBAGE COLLECT
573.58/575.13 c #Conflicts: 425000 | #Constraints: 31471
573.58/575.13 c #Conflicts: 426000 | #Constraints: 32471
573.58/575.13 c #Conflicts: 427000 | #Constraints: 33471
573.58/575.13 c #Conflicts: 428000 | #Constraints: 34471
573.58/575.13 c #Conflicts: 429000 | #Constraints: 35471
573.58/575.13 c #Conflicts: 430000 | #Constraints: 36471
573.58/575.13 c #Conflicts: 431000 | #Constraints: 37471
573.58/575.13 c #Conflicts: 432000 | #Constraints: 38471
573.58/575.13 c #Conflicts: 433000 | #Constraints: 39471
573.58/575.13 c #Conflicts: 434000 | #Constraints: 40471
573.58/575.13 c #Conflicts: 435000 | #Constraints: 41471
573.58/575.13 c #Conflicts: 436000 | #Constraints: 42471
573.58/575.13 c #Conflicts: 437000 | #Constraints: 43471
573.58/575.13 c #Conflicts: 438000 | #Constraints: 44471
573.58/575.13 c #Conflicts: 439000 | #Constraints: 45471
573.58/575.13 c #Conflicts: 440000 | #Constraints: 46471
573.58/575.13 c INPROCESSING
573.58/575.13 c GARBAGE COLLECT
573.58/575.13 c #Conflicts: 441000 | #Constraints: 28207
573.58/575.13 c #Conflicts: 442000 | #Constraints: 29207
573.58/575.13 c #Conflicts: 443000 | #Constraints: 30207
573.58/575.13 c #Conflicts: 444000 | #Constraints: 31207
573.58/575.13 c #Conflicts: 445000 | #Constraints: 32207
573.58/575.13 c #Conflicts: 446000 | #Constraints: 33207
573.58/575.13 c #Conflicts: 447000 | #Constraints: 34207
573.58/575.13 c #Conflicts: 448000 | #Constraints: 35207
573.58/575.13 c #Conflicts: 449000 | #Constraints: 36207
573.58/575.13 c #Conflicts: 450000 | #Constraints: 37207
573.58/575.13 c #Conflicts: 451000 | #Constraints: 38207
573.58/575.13 c #Conflicts: 452000 | #Constraints: 39207
573.58/575.13 c #Conflicts: 453000 | #Constraints: 40207
573.58/575.13 c #Conflicts: 454000 | #Constraints: 41207
573.58/575.13 c #Conflicts: 455000 | #Constraints: 42207
573.58/575.13 c #Conflicts: 456000 | #Constraints: 43207
573.58/575.13 c INPROCESSING
573.58/575.13 c GARBAGE COLLECT
573.58/575.13 c #Conflicts: 457000 | #Constraints: 26746
573.58/575.13 c #Conflicts: 458000 | #Constraints: 27746
573.58/575.13 c #Conflicts: 459000 | #Constraints: 28746
573.58/575.13 c #Conflicts: 460000 | #Constraints: 29746
573.58/575.13 c #Conflicts: 461000 | #Constraints: 30746
573.58/575.13 c #Conflicts: 462000 | #Constraints: 31746
573.58/575.13 c #Conflicts: 463000 | #Constraints: 32746
573.58/575.13 c #Conflicts: 464000 | #Constraints: 33746
573.58/575.13 c #Conflicts: 465000 | #Constraints: 34746
573.58/575.13 c #Conflicts: 466000 | #Constraints: 35746
573.58/575.13 c #Conflicts: 467000 | #Constraints: 36746
573.58/575.13 c #Conflicts: 468000 | #Constraints: 37746
573.58/575.13 c #Conflicts: 469000 | #Constraints: 38746
573.58/575.13 c #Conflicts: 470000 | #Constraints: 39746
573.58/575.13 c #Conflicts: 471000 | #Constraints: 40746
573.58/575.13 c #Conflicts: 472000 | #Constraints: 41746
573.58/575.13 c #Conflicts: 473000 | #Constraints: 42746
573.58/575.13 c #Conflicts: 474000 | #Constraints: 43746
573.58/575.13 c #Conflicts: 475000 | #Constraints: 44746
573.58/575.13 c #Conflicts: 476000 | #Constraints: 45746
573.58/575.13 c #Conflicts: 477000 | #Constraints: 46746
573.58/575.13 c #Conflicts: 478000 | #Constraints: 47746
573.58/575.13 c #Conflicts: 479000 | #Constraints: 48746
573.58/575.13 c #Conflicts: 480000 | #Constraints: 49746
573.58/575.13 c #Conflicts: 481000 | #Constraints: 50746
573.58/575.13 c #Conflicts: 482000 | #Constraints: 51746
573.58/575.13 c #Conflicts: 483000 | #Constraints: 52746
573.58/575.13 c #Conflicts: 484000 | #Constraints: 53746
573.58/575.13 c #Conflicts: 485000 | #Constraints: 54746
573.58/575.13 c #Conflicts: 486000 | #Constraints: 55746
677.85/679.74 c #Conflicts: 487000 | #Constraints: 56746
677.85/679.74 c #Conflicts: 488000 | #Constraints: 57746
677.85/679.74 c #Conflicts: 489000 | #Constraints: 58746
677.85/679.74 c #Conflicts: 490000 | #Constraints: 59746
677.85/679.74 c #Conflicts: 491000 | #Constraints: 60746
677.85/679.74 c #Conflicts: 492000 | #Constraints: 61746
677.85/679.74 c #Conflicts: 493000 | #Constraints: 62746
677.85/679.74 c #Conflicts: 494000 | #Constraints: 63746
677.85/679.74 c #Conflicts: 495000 | #Constraints: 64746
677.85/679.74 c #Conflicts: 496000 | #Constraints: 65746
677.85/679.74 c #Conflicts: 497000 | #Constraints: 66746
677.85/679.74 c #Conflicts: 498000 | #Constraints: 67746
677.85/679.74 c #Conflicts: 499000 | #Constraints: 68746
677.85/679.74 c #Conflicts: 500000 | #Constraints: 69746
677.85/679.74 c #Conflicts: 501000 | #Constraints: 70746
677.85/679.74 c #Conflicts: 502000 | #Constraints: 71746
677.85/679.74 c #Conflicts: 503000 | #Constraints: 72746
677.85/679.74 c #Conflicts: 504000 | #Constraints: 73746
677.85/679.74 c #Conflicts: 505000 | #Constraints: 74746
677.85/679.74 c #Conflicts: 506000 | #Constraints: 75746
677.85/679.74 c #Conflicts: 507000 | #Constraints: 76746
677.85/679.74 c INPROCESSING
677.85/679.74 c GARBAGE COLLECT
677.85/679.74 c #Conflicts: 508000 | #Constraints: 43572
677.85/679.74 c #Conflicts: 509000 | #Constraints: 44572
677.85/679.74 c #Conflicts: 510000 | #Constraints: 45572
677.85/679.74 c #Conflicts: 511000 | #Constraints: 46572
677.85/679.74 c #Conflicts: 512000 | #Constraints: 47572
677.85/679.74 c #Conflicts: 513000 | #Constraints: 48572
677.85/679.74 c #Conflicts: 514000 | #Constraints: 49572
677.85/679.74 c #Conflicts: 515000 | #Constraints: 50572
677.85/679.74 c #Conflicts: 516000 | #Constraints: 51572
677.85/679.74 c #Conflicts: 517000 | #Constraints: 52572
677.85/679.74 c #Conflicts: 518000 | #Constraints: 53572
677.85/679.74 c #Conflicts: 519000 | #Constraints: 54572
677.85/679.74 c #Conflicts: 520000 | #Constraints: 55572
677.85/679.74 c #Conflicts: 521000 | #Constraints: 56572
677.85/679.74 c #Conflicts: 522000 | #Constraints: 57572
677.85/679.74 c #Conflicts: 523000 | #Constraints: 58572
677.85/679.74 c #Conflicts: 524000 | #Constraints: 59572
677.85/679.74 c INPROCESSING
677.85/679.74 c GARBAGE COLLECT
677.85/679.74 c #Conflicts: 525000 | #Constraints: 34963
677.85/679.74 c #Conflicts: 526000 | #Constraints: 35963
677.85/679.74 c #Conflicts: 527000 | #Constraints: 36963
677.85/679.74 c #Conflicts: 528000 | #Constraints: 37963
677.85/679.74 c #Conflicts: 529000 | #Constraints: 38963
677.85/679.74 c #Conflicts: 530000 | #Constraints: 39963
677.85/679.74 c #Conflicts: 531000 | #Constraints: 40963
677.85/679.74 c #Conflicts: 532000 | #Constraints: 41963
677.85/679.74 c #Conflicts: 533000 | #Constraints: 42963
677.85/679.74 c #Conflicts: 534000 | #Constraints: 43963
677.85/679.74 c #Conflicts: 535000 | #Constraints: 44963
677.85/679.74 c #Conflicts: 536000 | #Constraints: 45963
677.85/679.74 c #Conflicts: 537000 | #Constraints: 46963
677.85/679.74 c #Conflicts: 538000 | #Constraints: 47963
677.85/679.74 c #Conflicts: 539000 | #Constraints: 48963
677.85/679.74 c #Conflicts: 540000 | #Constraints: 49963
677.85/679.74 c #Conflicts: 541000 | #Constraints: 50963
677.85/679.74 c INPROCESSING
677.85/679.74 c GARBAGE COLLECT
677.85/679.74 c rational objective 112.023
804.17/806.41 c #Conflicts: 542000 | #Constraints: 30560
804.17/806.41 c #Conflicts: 543000 | #Constraints: 31560
804.17/806.41 c #Conflicts: 544000 | #Constraints: 32560
804.17/806.41 c #Conflicts: 545000 | #Constraints: 33560
804.17/806.41 c #Conflicts: 546000 | #Constraints: 34560
804.17/806.41 c #Conflicts: 547000 | #Constraints: 35560
804.17/806.41 c #Conflicts: 548000 | #Constraints: 36560
804.17/806.41 c #Conflicts: 549000 | #Constraints: 37560
804.17/806.41 c #Conflicts: 550000 | #Constraints: 38560
804.17/806.41 c #Conflicts: 551000 | #Constraints: 39560
804.17/806.41 c #Conflicts: 552000 | #Constraints: 40560
804.17/806.41 c #Conflicts: 553000 | #Constraints: 41560
804.17/806.41 c #Conflicts: 554000 | #Constraints: 42560
804.17/806.41 c #Conflicts: 555000 | #Constraints: 43560
804.17/806.41 c #Conflicts: 556000 | #Constraints: 44560
804.17/806.41 c #Conflicts: 557000 | #Constraints: 45560
804.17/806.41 c #Conflicts: 558000 | #Constraints: 46560
804.17/806.41 c INPROCESSING
804.17/806.41 c GARBAGE COLLECT
804.17/806.41 c #Conflicts: 559000 | #Constraints: 28104
804.17/806.41 c #Conflicts: 560000 | #Constraints: 29104
804.17/806.41 c #Conflicts: 561000 | #Constraints: 30104
804.17/806.41 c #Conflicts: 562000 | #Constraints: 31104
804.17/806.41 c #Conflicts: 563000 | #Constraints: 32104
804.17/806.41 c #Conflicts: 564000 | #Constraints: 33104
804.17/806.41 c #Conflicts: 565000 | #Constraints: 34104
804.17/806.41 c #Conflicts: 566000 | #Constraints: 35104
804.17/806.41 c #Conflicts: 567000 | #Constraints: 36104
804.17/806.41 c #Conflicts: 568000 | #Constraints: 37104
804.17/806.41 c #Conflicts: 569000 | #Constraints: 38104
804.17/806.41 c #Conflicts: 570000 | #Constraints: 39104
804.17/806.41 c #Conflicts: 571000 | #Constraints: 40104
804.17/806.41 c #Conflicts: 572000 | #Constraints: 41104
804.17/806.41 c #Conflicts: 573000 | #Constraints: 42104
804.17/806.41 c #Conflicts: 574000 | #Constraints: 43104
804.17/806.41 c #Conflicts: 575000 | #Constraints: 44104
804.17/806.41 c #Conflicts: 576000 | #Constraints: 45104
804.17/806.41 c #Conflicts: 577000 | #Constraints: 46104
804.17/806.41 c #Conflicts: 578000 | #Constraints: 47104
804.17/806.41 c #Conflicts: 579000 | #Constraints: 48104
804.17/806.41 c #Conflicts: 580000 | #Constraints: 49104
804.17/806.41 c #Conflicts: 581000 | #Constraints: 50104
804.17/806.41 c #Conflicts: 582000 | #Constraints: 51104
804.17/806.41 c #Conflicts: 583000 | #Constraints: 52104
804.17/806.41 c #Conflicts: 584000 | #Constraints: 53104
804.17/806.41 c #Conflicts: 585000 | #Constraints: 54104
804.17/806.41 c #Conflicts: 586000 | #Constraints: 55104
804.17/806.41 c #Conflicts: 587000 | #Constraints: 56104
804.17/806.41 c #Conflicts: 588000 | #Constraints: 57104
804.17/806.41 c #Conflicts: 589000 | #Constraints: 58104
804.17/806.41 c #Conflicts: 590000 | #Constraints: 59104
804.17/806.41 c #Conflicts: 591000 | #Constraints: 60104
804.17/806.41 c #Conflicts: 592000 | #Constraints: 61104
804.17/806.41 c #Conflicts: 593000 | #Constraints: 62104
804.17/806.41 c #Conflicts: 594000 | #Constraints: 63104
804.17/806.41 c #Conflicts: 595000 | #Constraints: 64104
804.17/806.41 c #Conflicts: 596000 | #Constraints: 65104
804.17/806.41 c #Conflicts: 597000 | #Constraints: 66104
804.17/806.41 c #Conflicts: 598000 | #Constraints: 67104
804.17/806.41 c #Conflicts: 599000 | #Constraints: 68104
804.17/806.41 c #Conflicts: 600000 | #Constraints: 69104
804.17/806.41 c #Conflicts: 601000 | #Constraints: 70104
804.17/806.41 c #Conflicts: 602000 | #Constraints: 71104
804.17/806.41 c #Conflicts: 603000 | #Constraints: 72104
804.17/806.41 c #Conflicts: 604000 | #Constraints: 73104
804.17/806.41 c #Conflicts: 605000 | #Constraints: 74104
804.17/806.41 c #Conflicts: 606000 | #Constraints: 75104
804.17/806.41 c #Conflicts: 607000 | #Constraints: 76104
804.17/806.41 c #Conflicts: 608000 | #Constraints: 77104
804.17/806.41 c #Conflicts: 609000 | #Constraints: 78104
804.17/806.41 c #Conflicts: 610000 | #Constraints: 79104
804.17/806.41 c #Conflicts: 611000 | #Constraints: 80104
804.17/806.41 c #Conflicts: 612000 | #Constraints: 81104
804.17/806.41 c #Conflicts: 613000 | #Constraints: 82104
804.17/806.41 c #Conflicts: 614000 | #Constraints: 83104
804.17/806.41 c INPROCESSING
804.17/806.41 c GARBAGE COLLECT
804.17/806.41 c #Conflicts: 615000 | #Constraints: 46320
804.17/806.41 c #Conflicts: 616000 | #Constraints: 47320
804.17/806.41 c #Conflicts: 617000 | #Constraints: 48320
804.17/806.41 c #Conflicts: 618000 | #Constraints: 49320
804.17/806.41 c #Conflicts: 619000 | #Constraints: 50320
835.17/837.55 c #Conflicts: 620000 | #Constraints: 51320
835.17/837.55 c #Conflicts: 621000 | #Constraints: 52320
835.17/837.55 c #Conflicts: 622000 | #Constraints: 53320
835.17/837.55 c #Conflicts: 623000 | #Constraints: 54320
835.17/837.55 c #Conflicts: 624000 | #Constraints: 55320
835.17/837.55 c #Conflicts: 625000 | #Constraints: 56320
835.17/837.55 c #Conflicts: 626000 | #Constraints: 57320
835.17/837.55 c #Conflicts: 627000 | #Constraints: 58320
835.17/837.55 c #Conflicts: 628000 | #Constraints: 59320
835.17/837.55 c #Conflicts: 629000 | #Constraints: 60320
835.17/837.55 c #Conflicts: 630000 | #Constraints: 61320
835.17/837.55 c #Conflicts: 631000 | #Constraints: 62320
835.17/837.55 c #Conflicts: 632000 | #Constraints: 63320
835.17/837.55 c #Conflicts: 633000 | #Constraints: 64320
835.17/837.55 c INPROCESSING
835.17/837.55 c GARBAGE COLLECT
835.17/837.55 c #Conflicts: 634000 | #Constraints: 37020
835.17/837.55 c #Conflicts: 635000 | #Constraints: 38020
835.17/837.55 c #Conflicts: 636000 | #Constraints: 39020
835.17/837.55 c #Conflicts: 637000 | #Constraints: 40020
835.17/837.55 c #Conflicts: 638000 | #Constraints: 41020
835.17/837.55 c #Conflicts: 639000 | #Constraints: 42020
835.17/837.55 c #Conflicts: 640000 | #Constraints: 43020
835.17/837.55 c #Conflicts: 641000 | #Constraints: 44020
835.17/837.55 c cpu time 827.377 s
835.17/837.55 c deterministic time 58099245371 5.81e+10
835.17/837.55 c optimization time 9.2e-05 s
835.17/837.55 c total solve time 827.288 s
835.17/837.55 c core-guided solve time 0 s
835.17/837.55 c propagation time 456.357 s
835.17/837.55 c conflict analysis time 288.031 s
835.17/837.55 c propagations 291819324
835.17/837.55 c resolve steps 25331351
835.17/837.55 c decisions 7149502
835.17/837.55 c conflicts 641058
835.17/837.55 c restarts 1370
835.17/837.55 c inprocessing phases 44
835.17/837.55 c garbage collections 44 ,( 100.00 )
835.17/837.55 c input clauses 7435 ,( 98.61 )
835.17/837.55 c input cardinalities 105 ,( 1.39 )
835.17/837.55 c input general constraints 0 ,( 0.00 )
835.17/837.55 c input average constraint length 6.15
835.17/837.55 c input average constraint degree 1.92
835.17/837.55 c learned clauses 455528 ,( 71.06 )
835.17/837.55 c learned cardinalities 17542 ,( 2.74 )
835.17/837.55 c learned general constraints 167992 ,( 26.21 )
835.17/837.55 c learned average constraint length 543.76
835.17/837.55 c learned average constraint degree 5170825.40
835.17/837.55 c watched CF 32, 64, 128, Arb: 47794 , 0 , 0 , 0
835.17/837.55 c counting CF 32, 64, 128, Arb: 120198 , 0 , 0 , 0
835.17/837.55 c watched constraints 47794 ,( 28.45 )
835.17/837.55 c counting constraints 120198 ,( 71.55 )
835.17/837.55 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 338641411 , 195005753 , 731960967 ,( 41982382 , 689978585 )
835.17/837.55 c gcd simplifications 390
835.17/837.55 c detected cardinalities 1880
835.17/837.55 c weakened non-implied lits 109676493
835.17/837.55 c weakened non-implying lits 67669
835.17/837.55 c original variables 7203
835.17/837.55 c clausal propagations 118256258
835.17/837.55 c cardinality propagations 109040699
835.17/837.55 c watched propagations 1533026
835.17/837.55 c counting propagations 60055047
835.17/837.55 c watch lookups 26063166286
835.17/837.55 c watch backjump lookups 0
835.17/837.55 c watch checks 9800330703
835.17/837.55 c propagation checks 20436151526
835.17/837.55 c constraint additions 1200886578
835.17/837.55 c trail pops 299609442
835.17/837.55 c formula constraints 7540
835.17/837.55 c learned constraints 641058
835.17/837.55 c bound constraints 0
835.17/837.55 c core-guided constraints 0
835.17/837.55 c encountered formula constraints 16270915
835.17/837.55 c encountered learned constraints 9701494
835.17/837.55 c encountered bound constraints 0
835.17/837.55 c encountered core-guided constraints 0
835.17/837.55 c LP total time 65.8542 s
835.17/837.55 c LP solve time 63.26 s
835.17/837.55 c LP constraints added 7697
835.17/837.55 c LP constraints removed 61
835.17/837.55 c LP pivots internal 64578
835.17/837.55 c LP pivots root 67431
835.17/837.55 c LP calls 12
835.17/837.55 c LP optimalities 7
835.17/837.55 c LP no pivot count 0
835.17/837.55 c LP infeasibilities 0
835.17/837.55 c LP valid Farkas constraints 0
835.17/837.55 c LP learned Farkas constraints 0
835.17/837.55 c LP basis resets 0
835.17/837.55 c LP cycling count 0
835.17/837.55 c LP singular count 0
835.17/837.55 c LP no primal count 0
835.17/837.55 c LP no farkas count 0
835.17/837.55 c LP other issue count 0
835.17/837.55 c LP Gomory cuts 4
835.17/837.55 c LP learned cuts 207
835.17/837.55 c LP deleted cuts 117
835.17/837.55 c LP encountered Gomory constraints 0
835.17/837.55 c LP encountered Farkas constraints 0
835.17/837.55 c LP encountered learned Farkas constraints 0
835.17/837.55 c CG auxiliary variables introduced 0
835.17/837.55 c CG solutions found 0
835.17/837.55 c CG cores constructed 0
835.17/837.55 c CG core cardinality constraints returned 0
835.17/837.55 c CG unit cores 0
835.17/837.55 c CG single cores 0
835.17/837.55 c CG blocks removed during cardinality reduction 0
835.17/837.55 c CG first core best 0
835.17/837.55 c CG decision core best 0
835.17/837.55 c CG core reduction tie 0
835.17/837.55 c CG core degree average 0.00
835.17/837.55 c CG core slack average 0.00
835.17/837.55 c CG core upper bound improvements 0
835.17/837.55 c STR number of successful calls 0
835.17/837.55 c STR number of unsuccessful calls 0
835.17/837.55 c STR number of inconclusive calls 0
835.17/837.55 c STR number of successful attempts 0
835.17/837.55 c STR number of unsuccessful attempts 0
835.17/837.55 c STR number of inconclusive attempts 0
835.17/837.55 c STR average degree increase per successful call inf
835.17/837.55 c STR average degree increase per successful attempt inf
835.17/837.55 c STR total number of conflicts for successful attempts 0
835.17/837.55 c STR total number of conflicts for unsuccessful attempts 0
835.17/837.55 c STR total number of conflicts for inconclusive attempts 0
835.17/837.55 c STR average number of conflicts per successful attempt inf
835.17/837.55 c STR average number of conflicts per unsuccessful attempt inf
835.17/837.55 c STR average number of conflicts per inconclusive attempt inf
835.17/837.55 c AVG.sumWPerc 62.72
835.17/837.55 c bigint constraints 0
835.17/837.55 s SATISFIABLE
835.17/837.55 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: 63837 MiB (62439 MiB free)
memory of node 1: 64465 MiB (63501 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507556-1751186277/watcher-4507556-1751186277 -o /tmp/evaluation-result-4507556-1751186277/solver-4507556-1751186277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19244 --watchdog 3760 run-dec-break.sh HOME/instance-4507556-1751186277.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19684, runsolver pid=19681
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 3.92 4.08 4.08 5/248 19687
/proc/meminfo: memFree=128964148/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=56168 memory=8832 CPUtime=0 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 524 0 0 0 0 0 0 0 20 0 1 0 34306433 57516032 2208 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 14042 2208 1888 1147 0 1469 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60360 KiB
Current children cumulated memory: 11904 KiB
[startup+0.213043 s]*
/proc/loadavg: 3.92 4.08 4.08 4/250 19691
/proc/meminfo: memFree=128964536/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=66568 memory=20980 CPUtime=0.12 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 3287 0 0 0 9 3 0 0 20 0 1 0 34306433 68165632 5245 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 16642 5245 2240 1147 0 4069 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70760 KiB
Current children cumulated memory: 24052 KiB
[startup+0.313333 s]*
/proc/loadavg: 3.92 4.08 4.08 4/250 19693
/proc/meminfo: memFree=128960440/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=75232 memory=28316 CPUtime=0.22 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 5184 0 0 0 18 4 0 0 20 0 1 0 34306433 77037568 7079 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 18808 7079 2272 1147 0 6235 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 79424 KiB
Current children cumulated memory: 31388 KiB
[startup+0.700416 s]
/proc/loadavg: 3.92 4.08 4.08 5/248 19702
/proc/meminfo: memFree=128960440/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=75560 memory=28828 CPUtime=0.59 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 5303 0 0 0 55 4 0 0 20 0 1 0 34306433 77373440 7207 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 18890 7207 2272 1147 0 6317 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 31900 KiB
[startup+1.50041 s]
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128955736/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=75936 memory=29340 CPUtime=1.38 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 5439 0 0 0 134 4 0 0 20 0 1 0 34306433 77758464 7335 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 18984 7335 2272 1147 0 6411 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 80128 KiB
Current children cumulated memory: 32412 KiB
[startup+3.11294 s]
/proc/loadavg: 3.92 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128940612/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=79680 memory=37352 CPUtime=2.99 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 6873 0 0 0 289 10 0 0 20 0 1 0 34306433 81592320 9338 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 19920 9338 2336 1147 0 7347 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 83872 KiB
Current children cumulated memory: 40424 KiB
[startup+6.30038 s]
/proc/loadavg: 3.93 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128923776/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=87552 memory=42728 CPUtime=6.17 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 8207 0 0 0 597 20 0 0 20 0 1 0 34306433 89653248 10682 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 21888 10682 2336 1147 0 9315 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 91744 KiB
Current children cumulated memory: 45800 KiB
[startup+12.7004 s]
/proc/loadavg: 3.94 4.08 4.08 5/253 19726
/proc/meminfo: memFree=128912452/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=91440 memory=48104 CPUtime=12.55 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 9580 0 0 0 1222 33 0 0 20 0 1 0 34306433 93634560 12026 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 22860 12026 2336 1147 0 10287 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 95632 KiB
Current children cumulated memory: 51176 KiB
[startup+25.5004 s]
/proc/loadavg: 4.03 4.09 4.08 5/253 19726
/proc/meminfo: memFree=128878076/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=131088 memory=81476 CPUtime=25.32 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 15365 0 0 0 2467 65 0 0 20 0 1 0 34306433 134234112 20369 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 32772 20369 2336 1147 0 20199 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 135280 KiB
Current children cumulated memory: 84548 KiB
[startup+51.1131 s]
/proc/loadavg: 4.02 4.08 4.08 5/253 19727
/proc/meminfo: memFree=128792536/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=161464 memory=104064 CPUtime=50.87 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 18456 0 0 0 4972 115 0 0 20 0 1 0 34306433 165339136 26016 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 40366 26016 2336 1147 0 27793 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 165656 KiB
Current children cumulated memory: 107136 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/253 19729
/proc/meminfo: memFree=128721388/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=216016 memory=142556 CPUtime=101.93 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 24508 0 0 0 10008 185 0 0 20 0 1 0 34306433 221200384 35639 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 54004 35639 2336 1147 0 41431 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 220208 KiB
Current children cumulated memory: 145628 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/253 19731
/proc/meminfo: memFree=128620916/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=233068 memory=170156 CPUtime=161.77 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 28360 0 0 0 15916 261 0 0 20 0 1 0 34306433 238661632 42539 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 58267 42539 2336 1147 0 45694 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 237260 KiB
Current children cumulated memory: 173228 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.08 5/254 19735
/proc/meminfo: memFree=128519416/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=314520 memory=234800 CPUtime=221.61 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 36828 0 0 0 21860 301 0 0 20 0 1 0 34306433 322068480 58700 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 78630 58700 2368 1147 0 66057 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 51470 0 0 0 57467 601 0 0 20 0 1 0 34306433 471166976 85575 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 115031 85575 2368 1147 0 102458 0
Current children cumulated CPU time: 580.75 s
Current children cumulated vsize: 464316 KiB
Current children cumulated memory: 345372 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/255 19755
/proc/meminfo: memFree=128105652/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=594952 memory=416692 CPUtime=640.49 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 52704 0 0 0 63415 634 0 0 20 0 1 0 34306433 609230848 104173 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 148738 104173 2368 1147 0 136165 0
Current children cumulated CPU time: 640.56 s
Current children cumulated vsize: 599144 KiB
Current children cumulated memory: 419764 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/255 19757
/proc/meminfo: memFree=128087100/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=594952 memory=416948 CPUtime=700.31 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 52761 0 0 0 69345 686 0 0 20 0 1 0 34306433 609230848 104237 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 148738 104237 2368 1147 0 136165 0
Current children cumulated CPU time: 700.38 s
Current children cumulated vsize: 599144 KiB
Current children cumulated memory: 420020 KiB
[startup+762.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/255 19759
/proc/meminfo: memFree=128085792/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=594952 memory=416948 CPUtime=760.12 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 52782 0 0 0 75276 736 0 0 20 0 1 0 34306433 609230848 104237 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 148738 104237 2368 1147 0 136165 0
Current children cumulated CPU time: 760.19 s
Current children cumulated vsize: 599144 KiB
Current children cumulated memory: 420020 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082372/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422324 CPUtime=819.94 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54116 0 0 0 81230 764 0 0 20 0 1 0 34306433 614912000 105581 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105581 2368 1147 0 137552 0
Current children cumulated CPU time: 820.01 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425396 KiB
[startup+837.57 s]
# the end of solver process 19684 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=827.441 s, system=7.81874 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+825.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/254 19766
/proc/meminfo: memFree=128082380/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422324 CPUtime=823.24 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54116 0 0 0 81558 766 0 0 20 0 1 0 34306433 614912000 105581 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105581 2368 1147 0 137552 0
Current children cumulated CPU time: 823.31 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425396 KiB
[startup+832 s]*
/proc/loadavg: 4.10 4.11 4.09 5/251 19766
/proc/meminfo: memFree=128408372/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422452 CPUtime=829.62 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54156 0 0 0 82192 770 0 0 20 0 1 0 34306433 614912000 105613 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105613 2368 1147 0 137552 0
Current children cumulated CPU time: 829.69 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425524 KiB
[startup+835.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19813
/proc/meminfo: memFree=128383840/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422452 CPUtime=832.81 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54156 0 0 0 82507 774 0 0 20 0 1 0 34306433 614912000 105613 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105613 2368 1147 0 137552 0
Current children cumulated CPU time: 832.88 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425524 KiB
[startup+836.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19813
/proc/meminfo: memFree=128383976/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422452 CPUtime=834.4 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54156 0 0 0 82664 776 0 0 20 0 1 0 34306433 614912000 105613 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105613 2368 1147 0 137552 0
Current children cumulated CPU time: 834.47 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425524 KiB
[startup+837.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19814
/proc/meminfo: memFree=128375912/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422452 CPUtime=834.8 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54156 0 0 0 82703 777 0 0 20 0 1 0 34306433 614912000 105613 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105613 2368 1147 0 137552 0
Current children cumulated CPU time: 834.87 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425524 KiB
[startup+837.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19814
/proc/meminfo: memFree=128375912/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422452 CPUtime=835 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54156 0 0 0 82723 777 0 0 20 0 1 0 34306433 614912000 105613 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105613 2368 1147 0 137552 0
Current children cumulated CPU time: 835.07 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425524 KiB
[startup+837.5 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 19814
/proc/meminfo: memFree=128375912/131382120 swapFree=33010684/33010684
[pid=19684] ppid=19681 vsize=4192 memory=3072 CPUtime=0.07 cores=4,6
/proc/19684/stat : 19684 (run-dec-break.s) S 19681 19684 19233 0 -1 4194304 239 5173 0 0 0 0 5 2 20 0 1 0 34306423 4292608 768 18446744073709551615 94599604285440 94599605179973 140724610096912 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94599605419024 94599605466768 94599626420224 140724610103649 140724610103778 140724610103778 140724610109380 0
/proc/19684/statm: 1048 768 704 219 0 110 0
[pid=19687] ppid=19684 vsize=600500 memory=422452 CPUtime=835.1 cores=4,6
/proc/19687/stat : 19687 (roundingsat) R 19684 19684 19233 0 -1 4194304 54156 0 0 0 82733 777 0 0 20 0 1 0 34306433 614912000 105613 18446744073709551615 4227072 8923433 140721455723104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 39120896 140721455728964 140721455729192 140721455729192 140721455734762 0
/proc/19687/statm: 150125 105613 2368 1147 0 137552 0
Current children cumulated CPU time: 835.17 s
Current children cumulated vsize: 604692 KiB
Current children cumulated memory: 425524 KiB
Child status: 0
Real time (s): 837.57
CPU time (s): 835.26
CPU user time (s): 827.441
CPU system time (s): 7.81874
CPU usage (%): 99.7241
Max. virtual memory (cumulated for all children) (KiB): 604692
Max. memory (cumulated for all children) (KiB): 425524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 827.441
system time used= 7.81874
maximum resident set size= 422452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 214
involuntary context switches= 886
# summary of solver processes directly reported to runsolver:
# pid: 19684
# total CPU time (s): 835.26
# total CPU user time (s): 827.441
# total CPU system time (s): 7.81874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.11501 second user time and 8.92146 second system time
The end
Begin job on nodeC003 at 2025-06-29 10:37:57
IDJOB=4507556
IDBENCH=158365
IDSOLVER=3357
FILE ID=nodeC003/4507556-1751186277
RUNJOBID= nodeC003-1751182666-19244
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507556-1751186277/watcher-4507556-1751186277 -o /tmp/evaluation-result-4507556-1751186277/solver-4507556-1751186277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19244 --watchdog 3760 run-dec-break.sh HOME/instance-4507556-1751186277.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=43644299
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3604.094
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.353
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.199
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.006
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.216
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128964088 kB
MemAvailable: 128775684 kB
Buffers: 3280 kB
Cached: 622232 kB
SwapCached: 0 kB
Active: 1409360 kB
Inactive: 409020 kB
Active(anon): 1210828 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 409020 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7876 kB
Writeback: 0 kB
AnonPages: 1195264 kB
Mapped: 112388 kB
Shmem: 17960 kB
KReclaimable: 87344 kB
Slab: 168424 kB
SReclaimable: 87344 kB
SUnreclaim: 81080 kB
KernelStack: 3984 kB
PageTables: 5400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1714440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 593920 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:51:55