0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507449-1751177708.opb'
0.00/0.01 c read 0.44MB (6.03ms)
0.00/0.01 c [cnf: #variables 6868 #clauses 7072 #duplicates 0 #arr 44106]
0.00/0.01 c output proof to 'PROOFDIR/proof-4507449-1751177708'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1212] (8.05ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.87ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 34544 #edges 129420]
0.00/0.03 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 3.84*10^2 #generators 7] (7.32ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.03ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.03ms)
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 196 #add_vars 63]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4507449-1751177708.opb.pre'
0.00/0.04 c wrote 0.45MB (1.19ms)
0.00/0.04 c ------------------------------------------------------------------
0.00/0.04 c 8.05ms 27.99% approx_orbits
0.00/0.04 c 7.32ms 25.47% detect_generic
0.00/0.04 c 6.03ms 20.98% parse
0.00/0.04 c 3.99ms 13.89% other
0.00/0.04 c 1.87ms 6.51% detect_special
0.00/0.04 c 1.19ms 4.13% output
0.00/0.04 c 0.24ms 0.83% finalize_order
0.00/0.04 c 0.03ms 0.10% break_generic
0.00/0.04 c 0.03ms 0.09% optimize_gens
0.00/0.04 c ───────────────────────────────────────────────
0.00/0.04 c 28.75ms 100% total
0.00/0.04 c ------------------------------------------------------------------
0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.07/0.11 c #variables 6931 #constraints 7260
52.24/52.56 c #Conflicts: 1000 | #Constraints: 8259
52.24/52.56 c #Conflicts: 2000 | #Constraints: 9259
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 3000 | #Constraints: 8883
52.24/52.56 c #Conflicts: 4000 | #Constraints: 9883
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 5000 | #Constraints: 9347
52.24/52.56 c #Conflicts: 6000 | #Constraints: 10347
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 7000 | #Constraints: 9402
52.24/52.56 c #Conflicts: 8000 | #Constraints: 10402
52.24/52.56 c #Conflicts: 9000 | #Constraints: 11402
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 10000 | #Constraints: 10152
52.24/52.56 c #Conflicts: 11000 | #Constraints: 11152
52.24/52.56 c #Conflicts: 12000 | #Constraints: 12152
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 13000 | #Constraints: 10630
52.24/52.56 c #Conflicts: 14000 | #Constraints: 11630
52.24/52.56 c #Conflicts: 15000 | #Constraints: 12630
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 16000 | #Constraints: 10882
52.24/52.56 c #Conflicts: 17000 | #Constraints: 11882
52.24/52.56 c #Conflicts: 18000 | #Constraints: 12882
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 19000 | #Constraints: 10917
52.24/52.56 c #Conflicts: 20000 | #Constraints: 11917
52.24/52.56 c #Conflicts: 21000 | #Constraints: 12917
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 22000 | #Constraints: 10740
52.24/52.56 c #Conflicts: 23000 | #Constraints: 11740
52.24/52.56 c #Conflicts: 24000 | #Constraints: 12740
52.24/52.56 c #Conflicts: 25000 | #Constraints: 13740
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 26000 | #Constraints: 11381
52.24/52.56 c #Conflicts: 27000 | #Constraints: 12381
52.24/52.56 c #Conflicts: 28000 | #Constraints: 13381
52.24/52.56 c #Conflicts: 29000 | #Constraints: 14381
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 30000 | #Constraints: 11791
52.24/52.56 c #Conflicts: 31000 | #Constraints: 12791
52.24/52.56 c #Conflicts: 32000 | #Constraints: 13791
52.24/52.56 c #Conflicts: 33000 | #Constraints: 14791
52.24/52.56 c #Conflicts: 34000 | #Constraints: 15791
52.24/52.56 c #Conflicts: 35000 | #Constraints: 16791
52.24/52.56 c #Conflicts: 36000 | #Constraints: 17791
52.24/52.56 c #Conflicts: 37000 | #Constraints: 18791
52.24/52.56 c #Conflicts: 38000 | #Constraints: 19791
52.24/52.56 c #Conflicts: 39000 | #Constraints: 20791
52.24/52.56 c #Conflicts: 40000 | #Constraints: 21791
52.24/52.56 c #Conflicts: 41000 | #Constraints: 22791
52.24/52.56 c #Conflicts: 42000 | #Constraints: 23791
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 43000 | #Constraints: 16103
52.24/52.56 c #Conflicts: 44000 | #Constraints: 17103
52.24/52.56 c #Conflicts: 45000 | #Constraints: 18103
52.24/52.56 c #Conflicts: 46000 | #Constraints: 19103
52.24/52.56 c #Conflicts: 47000 | #Constraints: 20103
52.24/52.56 c #Conflicts: 48000 | #Constraints: 21103
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 49000 | #Constraints: 15275
52.24/52.56 c #Conflicts: 50000 | #Constraints: 16275
52.24/52.56 c #Conflicts: 51000 | #Constraints: 17275
52.24/52.56 c #Conflicts: 52000 | #Constraints: 18275
52.24/52.56 c #Conflicts: 53000 | #Constraints: 19275
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 54000 | #Constraints: 14184
52.24/52.56 c #Conflicts: 55000 | #Constraints: 15184
52.24/52.56 c #Conflicts: 56000 | #Constraints: 16184
52.24/52.56 c #Conflicts: 57000 | #Constraints: 17184
52.24/52.56 c #Conflicts: 58000 | #Constraints: 18184
52.24/52.56 c INPROCESSING
52.24/52.56 c GARBAGE COLLECT
52.24/52.56 c #Conflicts: 59000 | #Constraints: 13436
52.24/52.56 c #Conflicts: 60000 | #Constraints: 14436
52.24/52.56 c #Conflicts: 61000 | #Constraints: 15436
52.24/52.56 c #Conflicts: 62000 | #Constraints: 16436
52.24/52.56 c #Conflicts: 63000 | #Constraints: 17436
52.24/52.56 c #Conflicts: 64000 | #Constraints: 18436
52.24/52.56 c #Conflicts: 65000 | #Constraints: 19436
52.24/52.56 c #Conflicts: 66000 | #Constraints: 20436
52.24/52.56 c #Conflicts: 67000 | #Constraints: 21436
52.24/52.56 c #Conflicts: 68000 | #Constraints: 22436
52.24/52.56 c #Conflicts: 69000 | #Constraints: 23436
52.24/52.56 c #Conflicts: 70000 | #Constraints: 24436
122.17/122.84 c #Conflicts: 71000 | #Constraints: 25436
122.17/122.84 c #Conflicts: 72000 | #Constraints: 26436
122.17/122.84 c #Conflicts: 73000 | #Constraints: 27436
122.17/122.84 c #Conflicts: 74000 | #Constraints: 28436
122.17/122.84 c #Conflicts: 75000 | #Constraints: 29436
122.17/122.84 c #Conflicts: 76000 | #Constraints: 30436
122.17/122.84 c #Conflicts: 77000 | #Constraints: 31436
122.17/122.84 c #Conflicts: 78000 | #Constraints: 32436
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 79000 | #Constraints: 20970
122.17/122.84 c #Conflicts: 80000 | #Constraints: 21970
122.17/122.84 c #Conflicts: 81000 | #Constraints: 22970
122.17/122.84 c #Conflicts: 82000 | #Constraints: 23970
122.17/122.84 c #Conflicts: 83000 | #Constraints: 24970
122.17/122.84 c #Conflicts: 84000 | #Constraints: 25970
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 85000 | #Constraints: 17312
122.17/122.84 c #Conflicts: 86000 | #Constraints: 18312
122.17/122.84 c #Conflicts: 87000 | #Constraints: 19312
122.17/122.84 c #Conflicts: 88000 | #Constraints: 20312
122.17/122.84 c #Conflicts: 89000 | #Constraints: 21312
122.17/122.84 c #Conflicts: 90000 | #Constraints: 22312
122.17/122.84 c #Conflicts: 91000 | #Constraints: 23312
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 92000 | #Constraints: 16028
122.17/122.84 c #Conflicts: 93000 | #Constraints: 17028
122.17/122.84 c #Conflicts: 94000 | #Constraints: 18028
122.17/122.84 c #Conflicts: 95000 | #Constraints: 19028
122.17/122.84 c #Conflicts: 96000 | #Constraints: 20028
122.17/122.84 c #Conflicts: 97000 | #Constraints: 21028
122.17/122.84 c #Conflicts: 98000 | #Constraints: 22028
122.17/122.84 c #Conflicts: 99000 | #Constraints: 23028
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 100000 | #Constraints: 16260
122.17/122.84 c #Conflicts: 101000 | #Constraints: 17260
122.17/122.84 c #Conflicts: 102000 | #Constraints: 18260
122.17/122.84 c #Conflicts: 103000 | #Constraints: 19260
122.17/122.84 c #Conflicts: 104000 | #Constraints: 20260
122.17/122.84 c #Conflicts: 105000 | #Constraints: 21260
122.17/122.84 c #Conflicts: 106000 | #Constraints: 22260
122.17/122.84 c #Conflicts: 107000 | #Constraints: 23260
122.17/122.84 c #Conflicts: 108000 | #Constraints: 24260
122.17/122.84 c #Conflicts: 109000 | #Constraints: 25260
122.17/122.84 c #Conflicts: 110000 | #Constraints: 26260
122.17/122.84 c #Conflicts: 111000 | #Constraints: 27260
122.17/122.84 c #Conflicts: 112000 | #Constraints: 28260
122.17/122.84 c #Conflicts: 113000 | #Constraints: 29260
122.17/122.84 c #Conflicts: 114000 | #Constraints: 30260
122.17/122.84 c #Conflicts: 115000 | #Constraints: 31260
122.17/122.84 c #Conflicts: 116000 | #Constraints: 32260
122.17/122.84 c #Conflicts: 117000 | #Constraints: 33260
122.17/122.84 c #Conflicts: 118000 | #Constraints: 34260
122.17/122.84 c #Conflicts: 119000 | #Constraints: 35260
122.17/122.84 c #Conflicts: 120000 | #Constraints: 36260
122.17/122.84 c #Conflicts: 121000 | #Constraints: 37260
122.17/122.84 c #Conflicts: 122000 | #Constraints: 38260
122.17/122.84 c #Conflicts: 123000 | #Constraints: 39260
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 124000 | #Constraints: 24192
122.17/122.84 c #Conflicts: 125000 | #Constraints: 25192
122.17/122.84 c #Conflicts: 126000 | #Constraints: 26192
122.17/122.84 c #Conflicts: 127000 | #Constraints: 27192
122.17/122.84 c #Conflicts: 128000 | #Constraints: 28192
122.17/122.84 c #Conflicts: 129000 | #Constraints: 29192
122.17/122.84 c #Conflicts: 130000 | #Constraints: 30192
122.17/122.84 c #Conflicts: 131000 | #Constraints: 31192
122.17/122.84 c #Conflicts: 132000 | #Constraints: 32192
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 133000 | #Constraints: 20867
122.17/122.84 c #Conflicts: 134000 | #Constraints: 21867
122.17/122.84 c #Conflicts: 135000 | #Constraints: 22867
122.17/122.84 c #Conflicts: 136000 | #Constraints: 23867
122.17/122.84 c #Conflicts: 137000 | #Constraints: 24867
122.17/122.84 c #Conflicts: 138000 | #Constraints: 25867
122.17/122.84 c #Conflicts: 139000 | #Constraints: 26867
122.17/122.84 c #Conflicts: 140000 | #Constraints: 27867
122.17/122.84 c INPROCESSING
122.17/122.84 c GARBAGE COLLECT
122.17/122.84 c #Conflicts: 141000 | #Constraints: 18378
122.17/122.84 c #Conflicts: 142000 | #Constraints: 19378
122.17/122.84 c #Conflicts: 143000 | #Constraints: 20378
122.17/122.84 c #Conflicts: 144000 | #Constraints: 21378
122.17/122.84 c #Conflicts: 145000 | #Constraints: 22378
196.74/197.75 c #Conflicts: 146000 | #Constraints: 23378
196.74/197.75 c #Conflicts: 147000 | #Constraints: 24378
196.74/197.75 c #Conflicts: 148000 | #Constraints: 25378
196.74/197.75 c #Conflicts: 149000 | #Constraints: 26378
196.74/197.75 c INPROCESSING
196.74/197.75 c GARBAGE COLLECT
196.74/197.75 c #Conflicts: 150000 | #Constraints: 17710
196.74/197.75 c #Conflicts: 151000 | #Constraints: 18710
196.74/197.75 c #Conflicts: 152000 | #Constraints: 19710
196.74/197.75 c #Conflicts: 153000 | #Constraints: 20710
196.74/197.75 c #Conflicts: 154000 | #Constraints: 21710
196.74/197.75 c #Conflicts: 155000 | #Constraints: 22710
196.74/197.75 c #Conflicts: 156000 | #Constraints: 23710
196.74/197.75 c #Conflicts: 157000 | #Constraints: 24710
196.74/197.75 c #Conflicts: 158000 | #Constraints: 25710
196.74/197.75 c #Conflicts: 159000 | #Constraints: 26710
196.74/197.75 c #Conflicts: 160000 | #Constraints: 27710
196.74/197.75 c #Conflicts: 161000 | #Constraints: 28710
196.74/197.75 c #Conflicts: 162000 | #Constraints: 29710
196.74/197.75 c #Conflicts: 163000 | #Constraints: 30710
196.74/197.75 c #Conflicts: 164000 | #Constraints: 31710
196.74/197.75 c #Conflicts: 165000 | #Constraints: 32710
196.74/197.75 c #Conflicts: 166000 | #Constraints: 33710
196.74/197.75 c #Conflicts: 167000 | #Constraints: 34710
196.74/197.75 c #Conflicts: 168000 | #Constraints: 35710
196.74/197.75 c #Conflicts: 169000 | #Constraints: 36710
196.74/197.75 c #Conflicts: 170000 | #Constraints: 37710
196.74/197.75 c #Conflicts: 171000 | #Constraints: 38710
196.74/197.75 c #Conflicts: 172000 | #Constraints: 39710
196.74/197.75 c #Conflicts: 173000 | #Constraints: 40710
196.74/197.75 c #Conflicts: 174000 | #Constraints: 41710
196.74/197.75 c #Conflicts: 175000 | #Constraints: 42710
196.74/197.75 c #Conflicts: 176000 | #Constraints: 43710
196.74/197.75 c #Conflicts: 177000 | #Constraints: 44710
196.74/197.75 c #Conflicts: 178000 | #Constraints: 45710
196.74/197.75 c #Conflicts: 179000 | #Constraints: 46710
196.74/197.75 c INPROCESSING
196.74/197.75 c GARBAGE COLLECT
196.74/197.75 c #Conflicts: 180000 | #Constraints: 28013
196.74/197.75 c #Conflicts: 181000 | #Constraints: 29013
196.74/197.75 c #Conflicts: 182000 | #Constraints: 30013
196.74/197.75 c #Conflicts: 183000 | #Constraints: 31013
196.74/197.75 c #Conflicts: 184000 | #Constraints: 32013
196.74/197.75 c #Conflicts: 185000 | #Constraints: 33013
196.74/197.75 c #Conflicts: 186000 | #Constraints: 34013
196.74/197.75 c #Conflicts: 187000 | #Constraints: 35013
196.74/197.75 c #Conflicts: 188000 | #Constraints: 36013
196.74/197.75 c #Conflicts: 189000 | #Constraints: 37013
196.74/197.75 c INPROCESSING
196.74/197.75 c GARBAGE COLLECT
196.74/197.75 c #Conflicts: 190000 | #Constraints: 23081
196.74/197.75 c #Conflicts: 191000 | #Constraints: 24081
196.74/197.75 c #Conflicts: 192000 | #Constraints: 25081
196.74/197.75 c #Conflicts: 193000 | #Constraints: 26081
196.74/197.75 c #Conflicts: 194000 | #Constraints: 27081
196.74/197.75 c #Conflicts: 195000 | #Constraints: 28081
196.74/197.75 c #Conflicts: 196000 | #Constraints: 29081
196.74/197.75 c #Conflicts: 197000 | #Constraints: 30081
196.74/197.75 c #Conflicts: 198000 | #Constraints: 31081
196.74/197.75 c #Conflicts: 199000 | #Constraints: 32081
196.74/197.75 c #Conflicts: 200000 | #Constraints: 33081
196.74/197.75 c INPROCESSING
196.74/197.75 c GARBAGE COLLECT
196.74/197.75 c #Conflicts: 201000 | #Constraints: 21437
196.74/197.75 c #Conflicts: 202000 | #Constraints: 22437
196.74/197.75 c #Conflicts: 203000 | #Constraints: 23437
196.74/197.75 c #Conflicts: 204000 | #Constraints: 24437
196.74/197.75 c #Conflicts: 205000 | #Constraints: 25437
196.74/197.75 c #Conflicts: 206000 | #Constraints: 26437
196.74/197.75 c #Conflicts: 207000 | #Constraints: 27437
196.74/197.75 c #Conflicts: 208000 | #Constraints: 28437
196.74/197.75 c #Conflicts: 209000 | #Constraints: 29437
196.74/197.75 c #Conflicts: 210000 | #Constraints: 30437
196.74/197.75 c INPROCESSING
196.74/197.75 c GARBAGE COLLECT
196.74/197.75 c rational objective 104.003
287.06/289.09 c #Conflicts: 211000 | #Constraints: 19819
287.06/289.09 c #Conflicts: 212000 | #Constraints: 20819
287.06/289.09 c #Conflicts: 213000 | #Constraints: 21819
287.06/289.09 c #Conflicts: 214000 | #Constraints: 22819
287.06/289.09 c #Conflicts: 215000 | #Constraints: 23819
287.06/289.09 c #Conflicts: 216000 | #Constraints: 24819
287.06/289.09 c #Conflicts: 217000 | #Constraints: 25819
287.06/289.09 c #Conflicts: 218000 | #Constraints: 26819
287.06/289.09 c #Conflicts: 219000 | #Constraints: 27819
287.06/289.09 c #Conflicts: 220000 | #Constraints: 28819
287.06/289.09 c #Conflicts: 221000 | #Constraints: 29819
287.06/289.09 c #Conflicts: 222000 | #Constraints: 30819
287.06/289.09 c #Conflicts: 223000 | #Constraints: 31819
287.06/289.09 c #Conflicts: 224000 | #Constraints: 32819
287.06/289.09 c #Conflicts: 225000 | #Constraints: 33819
287.06/289.09 c #Conflicts: 226000 | #Constraints: 34819
287.06/289.09 c #Conflicts: 227000 | #Constraints: 35819
287.06/289.09 c #Conflicts: 228000 | #Constraints: 36819
287.06/289.09 c #Conflicts: 229000 | #Constraints: 37819
287.06/289.09 c #Conflicts: 230000 | #Constraints: 38819
287.06/289.09 c #Conflicts: 231000 | #Constraints: 39819
287.06/289.09 c #Conflicts: 232000 | #Constraints: 40819
287.06/289.09 c #Conflicts: 233000 | #Constraints: 41819
287.06/289.09 c #Conflicts: 234000 | #Constraints: 42819
287.06/289.09 c #Conflicts: 235000 | #Constraints: 43819
287.06/289.09 c #Conflicts: 236000 | #Constraints: 44819
287.06/289.09 c #Conflicts: 237000 | #Constraints: 45819
287.06/289.09 c #Conflicts: 238000 | #Constraints: 46819
287.06/289.09 c #Conflicts: 239000 | #Constraints: 47819
287.06/289.09 c #Conflicts: 240000 | #Constraints: 48819
287.06/289.09 c #Conflicts: 241000 | #Constraints: 49819
287.06/289.09 c #Conflicts: 242000 | #Constraints: 50819
287.06/289.09 c #Conflicts: 243000 | #Constraints: 51819
287.06/289.09 c #Conflicts: 244000 | #Constraints: 52819
287.06/289.09 c #Conflicts: 245000 | #Constraints: 53819
287.06/289.09 c INPROCESSING
287.06/289.09 c GARBAGE COLLECT
287.06/289.09 c #Conflicts: 246000 | #Constraints: 31485
287.06/289.09 c #Conflicts: 247000 | #Constraints: 32485
287.06/289.09 c #Conflicts: 248000 | #Constraints: 33485
287.06/289.09 c #Conflicts: 249000 | #Constraints: 34485
287.06/289.09 c #Conflicts: 250000 | #Constraints: 35485
287.06/289.09 c #Conflicts: 251000 | #Constraints: 36485
287.06/289.09 c #Conflicts: 252000 | #Constraints: 37485
287.06/289.09 c #Conflicts: 253000 | #Constraints: 38485
287.06/289.09 c #Conflicts: 254000 | #Constraints: 39485
287.06/289.09 c #Conflicts: 255000 | #Constraints: 40485
287.06/289.09 c #Conflicts: 256000 | #Constraints: 41485
287.06/289.09 c #Conflicts: 257000 | #Constraints: 42485
287.06/289.09 c INPROCESSING
287.06/289.09 c GARBAGE COLLECT
287.06/289.09 c #Conflicts: 258000 | #Constraints: 25873
287.06/289.09 c #Conflicts: 259000 | #Constraints: 26873
287.06/289.09 c #Conflicts: 260000 | #Constraints: 27873
287.06/289.09 c #Conflicts: 261000 | #Constraints: 28873
287.06/289.09 c #Conflicts: 262000 | #Constraints: 29873
287.06/289.09 c #Conflicts: 263000 | #Constraints: 30873
287.06/289.09 c #Conflicts: 264000 | #Constraints: 31873
287.06/289.09 c #Conflicts: 265000 | #Constraints: 32873
287.06/289.09 c #Conflicts: 266000 | #Constraints: 33873
287.06/289.09 c #Conflicts: 267000 | #Constraints: 34873
287.06/289.09 c #Conflicts: 268000 | #Constraints: 35873
287.06/289.09 c #Conflicts: 269000 | #Constraints: 36873
287.06/289.09 c INPROCESSING
287.06/289.09 c GARBAGE COLLECT
287.06/289.09 c #Conflicts: 270000 | #Constraints: 22984
287.06/289.09 c #Conflicts: 271000 | #Constraints: 23984
287.06/289.09 c #Conflicts: 272000 | #Constraints: 24984
287.06/289.09 c #Conflicts: 273000 | #Constraints: 25984
287.06/289.09 c #Conflicts: 274000 | #Constraints: 26984
287.06/289.09 c #Conflicts: 275000 | #Constraints: 27984
287.06/289.09 c #Conflicts: 276000 | #Constraints: 28984
287.06/289.09 c #Conflicts: 277000 | #Constraints: 29984
287.06/289.09 c #Conflicts: 278000 | #Constraints: 30984
287.06/289.09 c #Conflicts: 279000 | #Constraints: 31984
287.06/289.09 c #Conflicts: 280000 | #Constraints: 32984
287.06/289.09 c #Conflicts: 281000 | #Constraints: 33984
287.06/289.09 c #Conflicts: 282000 | #Constraints: 34984
287.06/289.09 c INPROCESSING
287.06/289.09 c GARBAGE COLLECT
287.06/289.09 c #Conflicts: 283000 | #Constraints: 22399
287.06/289.09 c #Conflicts: 284000 | #Constraints: 23399
287.06/289.09 c #Conflicts: 285000 | #Constraints: 24399
287.06/289.09 c #Conflicts: 286000 | #Constraints: 25399
287.06/289.09 c #Conflicts: 287000 | #Constraints: 26399
381.03/383.42 c #Conflicts: 288000 | #Constraints: 27399
381.03/383.42 c #Conflicts: 289000 | #Constraints: 28399
381.03/383.42 c #Conflicts: 290000 | #Constraints: 29399
381.03/383.42 c #Conflicts: 291000 | #Constraints: 30399
381.03/383.42 c #Conflicts: 292000 | #Constraints: 31399
381.03/383.42 c #Conflicts: 293000 | #Constraints: 32399
381.03/383.42 c #Conflicts: 294000 | #Constraints: 33399
381.03/383.42 c #Conflicts: 295000 | #Constraints: 34399
381.03/383.42 c #Conflicts: 296000 | #Constraints: 35399
381.03/383.42 c #Conflicts: 297000 | #Constraints: 36399
381.03/383.42 c #Conflicts: 298000 | #Constraints: 37399
381.03/383.42 c #Conflicts: 299000 | #Constraints: 38399
381.03/383.42 c #Conflicts: 300000 | #Constraints: 39399
381.03/383.42 c #Conflicts: 301000 | #Constraints: 40399
381.03/383.42 c #Conflicts: 302000 | #Constraints: 41399
381.03/383.42 c #Conflicts: 303000 | #Constraints: 42399
381.03/383.42 c #Conflicts: 304000 | #Constraints: 43399
381.03/383.42 c #Conflicts: 305000 | #Constraints: 44399
381.03/383.42 c #Conflicts: 306000 | #Constraints: 45399
381.03/383.42 c #Conflicts: 307000 | #Constraints: 46399
381.03/383.42 c #Conflicts: 308000 | #Constraints: 47399
381.03/383.42 c #Conflicts: 309000 | #Constraints: 48399
381.03/383.42 c #Conflicts: 310000 | #Constraints: 49399
381.03/383.42 c #Conflicts: 311000 | #Constraints: 50399
381.03/383.42 c #Conflicts: 312000 | #Constraints: 51399
381.03/383.42 c #Conflicts: 313000 | #Constraints: 52399
381.03/383.42 c #Conflicts: 314000 | #Constraints: 53399
381.03/383.42 c #Conflicts: 315000 | #Constraints: 54399
381.03/383.42 c #Conflicts: 316000 | #Constraints: 55399
381.03/383.42 c #Conflicts: 317000 | #Constraints: 56399
381.03/383.42 c #Conflicts: 318000 | #Constraints: 57399
381.03/383.42 c #Conflicts: 319000 | #Constraints: 58399
381.03/383.42 c #Conflicts: 320000 | #Constraints: 59399
381.03/383.42 c #Conflicts: 321000 | #Constraints: 60399
381.03/383.42 c #Conflicts: 322000 | #Constraints: 61399
381.03/383.42 c INPROCESSING
381.03/383.42 c GARBAGE COLLECT
381.03/383.42 c #Conflicts: 323000 | #Constraints: 35421
381.03/383.42 c #Conflicts: 324000 | #Constraints: 36421
381.03/383.42 c #Conflicts: 325000 | #Constraints: 37421
381.03/383.42 c #Conflicts: 326000 | #Constraints: 38421
381.03/383.42 c #Conflicts: 327000 | #Constraints: 39421
381.03/383.42 c #Conflicts: 328000 | #Constraints: 40421
381.03/383.42 c #Conflicts: 329000 | #Constraints: 41421
381.03/383.42 c #Conflicts: 330000 | #Constraints: 42421
381.03/383.42 c #Conflicts: 331000 | #Constraints: 43421
381.03/383.42 c #Conflicts: 332000 | #Constraints: 44421
381.03/383.42 c #Conflicts: 333000 | #Constraints: 45421
381.03/383.42 c #Conflicts: 334000 | #Constraints: 46421
381.03/383.42 c #Conflicts: 335000 | #Constraints: 47421
381.03/383.42 c #Conflicts: 336000 | #Constraints: 48421
381.03/383.42 c INPROCESSING
381.03/383.42 c GARBAGE COLLECT
381.03/383.42 c #Conflicts: 337000 | #Constraints: 29128
381.03/383.42 c #Conflicts: 338000 | #Constraints: 30128
381.03/383.42 c #Conflicts: 339000 | #Constraints: 31128
381.03/383.42 c #Conflicts: 340000 | #Constraints: 32128
381.03/383.42 c #Conflicts: 341000 | #Constraints: 33128
381.03/383.42 c #Conflicts: 342000 | #Constraints: 34128
381.03/383.42 c #Conflicts: 343000 | #Constraints: 35128
381.03/383.42 c #Conflicts: 344000 | #Constraints: 36128
381.03/383.42 c #Conflicts: 345000 | #Constraints: 37128
381.03/383.42 c #Conflicts: 346000 | #Constraints: 38128
381.03/383.42 c #Conflicts: 347000 | #Constraints: 39128
381.03/383.42 c #Conflicts: 348000 | #Constraints: 40128
381.03/383.42 c #Conflicts: 349000 | #Constraints: 41128
381.03/383.42 c INPROCESSING
381.03/383.42 c GARBAGE COLLECT
381.03/383.42 c #Conflicts: 350000 | #Constraints: 25082
381.03/383.42 c #Conflicts: 351000 | #Constraints: 26082
381.03/383.42 c #Conflicts: 352000 | #Constraints: 27082
381.03/383.42 c #Conflicts: 353000 | #Constraints: 28082
381.03/383.42 c #Conflicts: 354000 | #Constraints: 29082
381.03/383.42 c #Conflicts: 355000 | #Constraints: 30082
381.03/383.42 c #Conflicts: 356000 | #Constraints: 31082
381.03/383.42 c #Conflicts: 357000 | #Constraints: 32082
381.03/383.42 c #Conflicts: 358000 | #Constraints: 33082
381.03/383.42 c #Conflicts: 359000 | #Constraints: 34082
381.03/383.42 c #Conflicts: 360000 | #Constraints: 35082
381.03/383.42 c #Conflicts: 361000 | #Constraints: 36082
381.03/383.42 c #Conflicts: 362000 | #Constraints: 37082
381.03/383.42 c #Conflicts: 363000 | #Constraints: 38082
381.03/383.42 c INPROCESSING
469.74/472.57 c GARBAGE COLLECT
469.74/472.57 c #Conflicts: 364000 | #Constraints: 23588
469.74/472.57 c #Conflicts: 365000 | #Constraints: 24588
469.74/472.57 c #Conflicts: 366000 | #Constraints: 25588
469.74/472.57 c #Conflicts: 367000 | #Constraints: 26588
469.74/472.57 c #Conflicts: 368000 | #Constraints: 27588
469.74/472.57 c #Conflicts: 369000 | #Constraints: 28588
469.74/472.57 c #Conflicts: 370000 | #Constraints: 29588
469.74/472.57 c #Conflicts: 371000 | #Constraints: 30588
469.74/472.57 c #Conflicts: 372000 | #Constraints: 31588
469.74/472.57 c #Conflicts: 373000 | #Constraints: 32588
469.74/472.57 c #Conflicts: 374000 | #Constraints: 33588
469.74/472.57 c #Conflicts: 375000 | #Constraints: 34588
469.74/472.57 c #Conflicts: 376000 | #Constraints: 35588
469.74/472.57 c #Conflicts: 377000 | #Constraints: 36588
469.74/472.57 c #Conflicts: 378000 | #Constraints: 37588
469.74/472.57 c #Conflicts: 379000 | #Constraints: 38588
469.74/472.57 c #Conflicts: 380000 | #Constraints: 39588
469.74/472.57 c #Conflicts: 381000 | #Constraints: 40588
469.74/472.57 c #Conflicts: 382000 | #Constraints: 41588
469.74/472.57 c #Conflicts: 383000 | #Constraints: 42588
469.74/472.57 c #Conflicts: 384000 | #Constraints: 43588
469.74/472.57 c #Conflicts: 385000 | #Constraints: 44588
469.74/472.57 c #Conflicts: 386000 | #Constraints: 45588
469.74/472.57 c #Conflicts: 387000 | #Constraints: 46588
469.74/472.57 c #Conflicts: 388000 | #Constraints: 47588
469.74/472.57 c #Conflicts: 389000 | #Constraints: 48588
469.74/472.57 c #Conflicts: 390000 | #Constraints: 49588
469.74/472.57 c #Conflicts: 391000 | #Constraints: 50588
469.74/472.57 c #Conflicts: 392000 | #Constraints: 51588
469.74/472.57 c #Conflicts: 393000 | #Constraints: 52588
469.74/472.57 c #Conflicts: 394000 | #Constraints: 53588
469.74/472.57 c #Conflicts: 395000 | #Constraints: 54588
469.74/472.57 c #Conflicts: 396000 | #Constraints: 55588
469.74/472.57 c #Conflicts: 397000 | #Constraints: 56588
469.74/472.57 c #Conflicts: 398000 | #Constraints: 57588
469.74/472.57 c #Conflicts: 399000 | #Constraints: 58588
469.74/472.57 c #Conflicts: 400000 | #Constraints: 59588
469.74/472.57 c #Conflicts: 401000 | #Constraints: 60588
469.74/472.57 c #Conflicts: 402000 | #Constraints: 61589
469.74/472.57 c #Conflicts: 403000 | #Constraints: 62589
469.74/472.57 c #Conflicts: 404000 | #Constraints: 63589
469.74/472.57 c #Conflicts: 405000 | #Constraints: 64589
469.74/472.57 c #Conflicts: 406000 | #Constraints: 65589
469.74/472.57 c #Conflicts: 407000 | #Constraints: 66589
469.74/472.57 c #Conflicts: 408000 | #Constraints: 67589
469.74/472.57 c #Conflicts: 409000 | #Constraints: 68589
469.74/472.57 c INPROCESSING
469.74/472.57 c GARBAGE COLLECT
469.74/472.57 c rational objective 108.013
576.92/581.77 c #Conflicts: 410000 | #Constraints: 39000
576.92/581.77 c #Conflicts: 411000 | #Constraints: 40000
576.92/581.77 c #Conflicts: 412000 | #Constraints: 41000
576.92/581.77 c #Conflicts: 413000 | #Constraints: 42000
576.92/581.77 c #Conflicts: 414000 | #Constraints: 43000
576.92/581.77 c #Conflicts: 415000 | #Constraints: 44000
576.92/581.77 c #Conflicts: 416000 | #Constraints: 45000
576.92/581.77 c #Conflicts: 417000 | #Constraints: 46000
576.92/581.77 c #Conflicts: 418000 | #Constraints: 47000
576.92/581.77 c #Conflicts: 419000 | #Constraints: 48000
576.92/581.77 c #Conflicts: 420000 | #Constraints: 49000
576.92/581.77 c #Conflicts: 421000 | #Constraints: 50000
576.92/581.77 c #Conflicts: 422000 | #Constraints: 51000
576.92/581.77 c #Conflicts: 423000 | #Constraints: 52000
576.92/581.77 c #Conflicts: 424000 | #Constraints: 53000
576.92/581.77 c INPROCESSING
576.92/581.77 c GARBAGE COLLECT
576.92/581.77 c #Conflicts: 425000 | #Constraints: 31030
576.92/581.77 c #Conflicts: 426000 | #Constraints: 32030
576.92/581.77 c #Conflicts: 427000 | #Constraints: 33030
576.92/581.77 c #Conflicts: 428000 | #Constraints: 34030
576.92/581.77 c #Conflicts: 429000 | #Constraints: 35030
576.92/581.77 c #Conflicts: 430000 | #Constraints: 36030
576.92/581.77 c #Conflicts: 431000 | #Constraints: 37030
576.92/581.77 c #Conflicts: 432000 | #Constraints: 38030
576.92/581.77 c #Conflicts: 433000 | #Constraints: 39030
576.92/581.77 c #Conflicts: 434000 | #Constraints: 40030
576.92/581.77 c #Conflicts: 435000 | #Constraints: 41030
576.92/581.77 c #Conflicts: 436000 | #Constraints: 42030
576.92/581.77 c #Conflicts: 437000 | #Constraints: 43030
576.92/581.77 c #Conflicts: 438000 | #Constraints: 44030
576.92/581.77 c #Conflicts: 439000 | #Constraints: 45030
576.92/581.77 c #Conflicts: 440000 | #Constraints: 46030
576.92/581.77 c INPROCESSING
576.92/581.77 c GARBAGE COLLECT
576.92/581.77 c #Conflicts: 441000 | #Constraints: 27848
576.92/581.77 c #Conflicts: 442000 | #Constraints: 28848
576.92/581.77 c #Conflicts: 443000 | #Constraints: 29848
576.92/581.77 c #Conflicts: 444000 | #Constraints: 30848
576.92/581.77 c #Conflicts: 445000 | #Constraints: 31848
576.92/581.77 c #Conflicts: 446000 | #Constraints: 32848
576.92/581.77 c #Conflicts: 447000 | #Constraints: 33848
576.92/581.77 c #Conflicts: 448000 | #Constraints: 34848
576.92/581.77 c #Conflicts: 449000 | #Constraints: 35848
576.92/581.77 c #Conflicts: 450000 | #Constraints: 36848
576.92/581.77 c #Conflicts: 451000 | #Constraints: 37848
576.92/581.77 c #Conflicts: 452000 | #Constraints: 38848
576.92/581.77 c #Conflicts: 453000 | #Constraints: 39848
576.92/581.77 c #Conflicts: 454000 | #Constraints: 40848
576.92/581.77 c #Conflicts: 455000 | #Constraints: 41848
576.92/581.77 c #Conflicts: 456000 | #Constraints: 42848
576.92/581.77 c INPROCESSING
576.92/581.77 c GARBAGE COLLECT
576.92/581.77 c #Conflicts: 457000 | #Constraints: 26425
576.92/581.77 c #Conflicts: 458000 | #Constraints: 27425
576.92/581.77 c #Conflicts: 459000 | #Constraints: 28425
576.92/581.77 c #Conflicts: 460000 | #Constraints: 29425
576.92/581.77 c #Conflicts: 461000 | #Constraints: 30425
576.92/581.77 c #Conflicts: 462000 | #Constraints: 31425
576.92/581.77 c #Conflicts: 463000 | #Constraints: 32425
576.92/581.77 c #Conflicts: 464000 | #Constraints: 33425
576.92/581.77 c #Conflicts: 465000 | #Constraints: 34425
576.92/581.77 c #Conflicts: 466000 | #Constraints: 35425
576.92/581.77 c #Conflicts: 467000 | #Constraints: 36425
576.92/581.77 c #Conflicts: 468000 | #Constraints: 37425
576.92/581.77 c #Conflicts: 469000 | #Constraints: 38425
576.92/581.77 c #Conflicts: 470000 | #Constraints: 39425
576.92/581.77 c #Conflicts: 471000 | #Constraints: 40425
576.92/581.77 c #Conflicts: 472000 | #Constraints: 41425
576.92/581.77 c #Conflicts: 473000 | #Constraints: 42425
576.92/581.77 c #Conflicts: 474000 | #Constraints: 43425
576.92/581.77 c #Conflicts: 475000 | #Constraints: 44425
576.92/581.77 c #Conflicts: 476000 | #Constraints: 45425
576.92/581.77 c #Conflicts: 477000 | #Constraints: 46425
576.92/581.77 c #Conflicts: 478000 | #Constraints: 47425
576.92/581.77 c #Conflicts: 479000 | #Constraints: 48425
576.92/581.77 c #Conflicts: 480000 | #Constraints: 49425
576.92/581.77 c #Conflicts: 481000 | #Constraints: 50425
576.92/581.77 c #Conflicts: 482000 | #Constraints: 51425
576.92/581.77 c #Conflicts: 483000 | #Constraints: 52425
576.92/581.77 c #Conflicts: 484000 | #Constraints: 53425
576.92/581.77 c #Conflicts: 485000 | #Constraints: 54425
576.92/581.77 c #Conflicts: 486000 | #Constraints: 55425
697.84/703.18 c #Conflicts: 487000 | #Constraints: 56425
697.84/703.18 c #Conflicts: 488000 | #Constraints: 57425
697.84/703.18 c #Conflicts: 489000 | #Constraints: 58425
697.84/703.18 c #Conflicts: 490000 | #Constraints: 59425
697.84/703.18 c #Conflicts: 491000 | #Constraints: 60425
697.84/703.18 c #Conflicts: 492000 | #Constraints: 61425
697.84/703.18 c #Conflicts: 493000 | #Constraints: 62425
697.84/703.18 c #Conflicts: 494000 | #Constraints: 63425
697.84/703.18 c #Conflicts: 495000 | #Constraints: 64425
697.84/703.18 c #Conflicts: 496000 | #Constraints: 65425
697.84/703.18 c #Conflicts: 497000 | #Constraints: 66425
697.84/703.18 c #Conflicts: 498000 | #Constraints: 67425
697.84/703.18 c #Conflicts: 499000 | #Constraints: 68425
697.84/703.18 c #Conflicts: 500000 | #Constraints: 69425
697.84/703.18 c #Conflicts: 501000 | #Constraints: 70425
697.84/703.18 c #Conflicts: 502000 | #Constraints: 71425
697.84/703.18 c #Conflicts: 503000 | #Constraints: 72425
697.84/703.18 c #Conflicts: 504000 | #Constraints: 73425
697.84/703.18 c #Conflicts: 505000 | #Constraints: 74425
697.84/703.18 c #Conflicts: 506000 | #Constraints: 75425
697.84/703.18 c #Conflicts: 507000 | #Constraints: 76425
697.84/703.18 c INPROCESSING
697.84/703.18 c GARBAGE COLLECT
697.84/703.18 c #Conflicts: 508000 | #Constraints: 43162
697.84/703.18 c #Conflicts: 509000 | #Constraints: 44162
697.84/703.18 c #Conflicts: 510000 | #Constraints: 45162
697.84/703.18 c #Conflicts: 511000 | #Constraints: 46162
697.84/703.18 c #Conflicts: 512000 | #Constraints: 47162
697.84/703.18 c #Conflicts: 513000 | #Constraints: 48162
697.84/703.18 c #Conflicts: 514000 | #Constraints: 49162
697.84/703.18 c #Conflicts: 515000 | #Constraints: 50162
697.84/703.18 c #Conflicts: 516000 | #Constraints: 51162
697.84/703.18 c #Conflicts: 517000 | #Constraints: 52162
697.84/703.18 c #Conflicts: 518000 | #Constraints: 53162
697.84/703.18 c #Conflicts: 519000 | #Constraints: 54162
697.84/703.18 c #Conflicts: 520000 | #Constraints: 55162
697.84/703.18 c #Conflicts: 521000 | #Constraints: 56162
697.84/703.18 c #Conflicts: 522000 | #Constraints: 57162
697.84/703.18 c #Conflicts: 523000 | #Constraints: 58162
697.84/703.18 c #Conflicts: 524000 | #Constraints: 59162
697.84/703.18 c INPROCESSING
697.84/703.18 c GARBAGE COLLECT
697.84/703.18 c #Conflicts: 525000 | #Constraints: 34538
697.84/703.18 c #Conflicts: 526000 | #Constraints: 35538
697.84/703.18 c #Conflicts: 527000 | #Constraints: 36538
697.84/703.18 c #Conflicts: 528000 | #Constraints: 37538
697.84/703.18 c #Conflicts: 529000 | #Constraints: 38538
697.84/703.18 c #Conflicts: 530000 | #Constraints: 39538
697.84/703.18 c #Conflicts: 531000 | #Constraints: 40538
697.84/703.18 c #Conflicts: 532000 | #Constraints: 41538
697.84/703.18 c #Conflicts: 533000 | #Constraints: 42538
697.84/703.18 c #Conflicts: 534000 | #Constraints: 43538
697.84/703.18 c #Conflicts: 535000 | #Constraints: 44538
697.84/703.18 c #Conflicts: 536000 | #Constraints: 45538
697.84/703.18 c #Conflicts: 537000 | #Constraints: 46538
697.84/703.18 c #Conflicts: 538000 | #Constraints: 47538
697.84/703.18 c #Conflicts: 539000 | #Constraints: 48538
697.84/703.18 c #Conflicts: 540000 | #Constraints: 49538
697.84/703.18 c #Conflicts: 541000 | #Constraints: 50538
697.84/703.18 c INPROCESSING
697.84/703.18 c GARBAGE COLLECT
697.84/703.18 c #Conflicts: 542000 | #Constraints: 30208
697.84/703.18 c #Conflicts: 543000 | #Constraints: 31208
697.84/703.18 c #Conflicts: 544000 | #Constraints: 32208
697.84/703.18 c #Conflicts: 545000 | #Constraints: 33208
697.84/703.18 c #Conflicts: 546000 | #Constraints: 34208
697.84/703.18 c #Conflicts: 547000 | #Constraints: 35208
697.84/703.18 c #Conflicts: 548000 | #Constraints: 36208
697.84/703.18 c #Conflicts: 549000 | #Constraints: 37208
697.84/703.18 c #Conflicts: 550000 | #Constraints: 38208
697.84/703.18 c #Conflicts: 551000 | #Constraints: 39208
697.84/703.18 c #Conflicts: 552000 | #Constraints: 40208
697.84/703.18 c #Conflicts: 553000 | #Constraints: 41208
697.84/703.18 c #Conflicts: 554000 | #Constraints: 42208
697.84/703.18 c #Conflicts: 555000 | #Constraints: 43208
697.84/703.18 c #Conflicts: 556000 | #Constraints: 44208
697.84/703.18 c #Conflicts: 557000 | #Constraints: 45208
697.84/703.18 c #Conflicts: 558000 | #Constraints: 46208
697.84/703.18 c INPROCESSING
697.84/703.18 c GARBAGE COLLECT
697.84/703.18 c #Conflicts: 559000 | #Constraints: 27785
697.84/703.18 c #Conflicts: 560000 | #Constraints: 28785
697.84/703.18 c #Conflicts: 561000 | #Constraints: 29785
697.84/703.18 c #Conflicts: 562000 | #Constraints: 30785
697.84/703.18 c #Conflicts: 563000 | #Constraints: 31785
828.57/834.66 c #Conflicts: 564000 | #Constraints: 32785
828.57/834.66 c #Conflicts: 565000 | #Constraints: 33785
828.57/834.66 c #Conflicts: 566000 | #Constraints: 34785
828.57/834.66 c #Conflicts: 567000 | #Constraints: 35785
828.57/834.66 c #Conflicts: 568000 | #Constraints: 36785
828.57/834.66 c #Conflicts: 569000 | #Constraints: 37785
828.57/834.66 c #Conflicts: 570000 | #Constraints: 38785
828.57/834.66 c #Conflicts: 571000 | #Constraints: 39785
828.57/834.66 c #Conflicts: 572000 | #Constraints: 40785
828.57/834.66 c #Conflicts: 573000 | #Constraints: 41785
828.57/834.66 c #Conflicts: 574000 | #Constraints: 42785
828.57/834.66 c #Conflicts: 575000 | #Constraints: 43785
828.57/834.66 c #Conflicts: 576000 | #Constraints: 44785
828.57/834.66 c INPROCESSING
828.57/834.66 c GARBAGE COLLECT
828.57/834.66 c #Conflicts: 577000 | #Constraints: 27252
828.57/834.66 c #Conflicts: 578000 | #Constraints: 28252
828.57/834.66 c #Conflicts: 579000 | #Constraints: 29252
828.57/834.66 c #Conflicts: 580000 | #Constraints: 30252
828.57/834.66 c #Conflicts: 581000 | #Constraints: 31252
828.57/834.66 c #Conflicts: 582000 | #Constraints: 32252
828.57/834.66 c #Conflicts: 583000 | #Constraints: 33252
828.57/834.66 c #Conflicts: 584000 | #Constraints: 34252
828.57/834.66 c #Conflicts: 585000 | #Constraints: 35253
828.57/834.66 c #Conflicts: 586000 | #Constraints: 36253
828.57/834.66 c #Conflicts: 587000 | #Constraints: 37253
828.57/834.66 c #Conflicts: 588000 | #Constraints: 38253
828.57/834.66 c #Conflicts: 589000 | #Constraints: 39253
828.57/834.66 c #Conflicts: 590000 | #Constraints: 40253
828.57/834.66 c #Conflicts: 591000 | #Constraints: 41253
828.57/834.66 c #Conflicts: 592000 | #Constraints: 42253
828.57/834.66 c #Conflicts: 593000 | #Constraints: 43253
828.57/834.66 c #Conflicts: 594000 | #Constraints: 44253
828.57/834.66 c #Conflicts: 595000 | #Constraints: 45253
828.57/834.66 c #Conflicts: 596000 | #Constraints: 46253
828.57/834.66 c #Conflicts: 597000 | #Constraints: 47253
828.57/834.66 c #Conflicts: 598000 | #Constraints: 48253
828.57/834.66 c #Conflicts: 599000 | #Constraints: 49253
828.57/834.66 c #Conflicts: 600000 | #Constraints: 50253
828.57/834.66 c #Conflicts: 601000 | #Constraints: 51253
828.57/834.66 c #Conflicts: 602000 | #Constraints: 52253
828.57/834.66 c #Conflicts: 603000 | #Constraints: 53253
828.57/834.66 c #Conflicts: 604000 | #Constraints: 54253
828.57/834.66 c #Conflicts: 605000 | #Constraints: 55253
828.57/834.66 c #Conflicts: 606000 | #Constraints: 56253
828.57/834.66 c #Conflicts: 607000 | #Constraints: 57253
828.57/834.66 c #Conflicts: 608000 | #Constraints: 58253
828.57/834.66 c #Conflicts: 609000 | #Constraints: 59253
828.57/834.66 c #Conflicts: 610000 | #Constraints: 60253
828.57/834.66 c #Conflicts: 611000 | #Constraints: 61253
828.57/834.66 c #Conflicts: 612000 | #Constraints: 62253
828.57/834.66 c #Conflicts: 613000 | #Constraints: 63253
828.57/834.66 c #Conflicts: 614000 | #Constraints: 64253
828.57/834.66 c #Conflicts: 615000 | #Constraints: 65253
828.57/834.66 c #Conflicts: 616000 | #Constraints: 66253
828.57/834.66 c #Conflicts: 617000 | #Constraints: 67253
828.57/834.66 c #Conflicts: 618000 | #Constraints: 68253
828.57/834.66 c #Conflicts: 619000 | #Constraints: 69253
828.57/834.66 c #Conflicts: 620000 | #Constraints: 70253
828.57/834.66 c #Conflicts: 621000 | #Constraints: 71253
828.57/834.66 c #Conflicts: 622000 | #Constraints: 72253
828.57/834.66 c #Conflicts: 623000 | #Constraints: 73253
828.57/834.66 c #Conflicts: 624000 | #Constraints: 74253
828.57/834.66 c #Conflicts: 625000 | #Constraints: 75253
828.57/834.66 c #Conflicts: 626000 | #Constraints: 76253
828.57/834.66 c #Conflicts: 627000 | #Constraints: 77253
828.57/834.66 c #Conflicts: 628000 | #Constraints: 78253
828.57/834.66 c #Conflicts: 629000 | #Constraints: 79253
828.57/834.66 c #Conflicts: 630000 | #Constraints: 80253
828.57/834.66 c #Conflicts: 631000 | #Constraints: 81253
828.57/834.66 c #Conflicts: 632000 | #Constraints: 82253
828.57/834.66 c #Conflicts: 633000 | #Constraints: 83253
828.57/834.66 c INPROCESSING
828.57/834.66 c GARBAGE COLLECT
828.57/834.66 c #Conflicts: 634000 | #Constraints: 46310
828.57/834.66 c #Conflicts: 635000 | #Constraints: 47310
828.57/834.66 c #Conflicts: 636000 | #Constraints: 48310
828.57/834.66 c #Conflicts: 637000 | #Constraints: 49310
828.57/834.66 c #Conflicts: 638000 | #Constraints: 50310
828.57/834.66 c #Conflicts: 639000 | #Constraints: 51310
828.57/834.66 c #Conflicts: 640000 | #Constraints: 52310
909.02/915.45 c #Conflicts: 641000 | #Constraints: 53310
909.02/915.45 c #Conflicts: 642000 | #Constraints: 54310
909.02/915.45 c #Conflicts: 643000 | #Constraints: 55310
909.02/915.45 c #Conflicts: 644000 | #Constraints: 56310
909.02/915.45 c #Conflicts: 645000 | #Constraints: 57310
909.02/915.45 c #Conflicts: 646000 | #Constraints: 58310
909.02/915.45 c #Conflicts: 647000 | #Constraints: 59310
909.02/915.45 c #Conflicts: 648000 | #Constraints: 60310
909.02/915.45 c #Conflicts: 649000 | #Constraints: 61310
909.02/915.45 c #Conflicts: 650000 | #Constraints: 62310
909.02/915.45 c #Conflicts: 651000 | #Constraints: 63310
909.02/915.45 c #Conflicts: 652000 | #Constraints: 64310
909.02/915.45 c INPROCESSING
909.02/915.45 c GARBAGE COLLECT
909.02/915.45 c #Conflicts: 653000 | #Constraints: 36939
909.02/915.45 c #Conflicts: 654000 | #Constraints: 37939
909.02/915.45 c #Conflicts: 655000 | #Constraints: 38939
909.02/915.45 c #Conflicts: 656000 | #Constraints: 39939
909.02/915.45 c #Conflicts: 657000 | #Constraints: 40939
909.02/915.45 c #Conflicts: 658000 | #Constraints: 41939
909.02/915.45 c #Conflicts: 659000 | #Constraints: 42939
909.02/915.45 c #Conflicts: 660000 | #Constraints: 43939
909.02/915.45 c #Conflicts: 661000 | #Constraints: 44939
909.02/915.45 c #Conflicts: 662000 | #Constraints: 45939
909.02/915.45 c #Conflicts: 663000 | #Constraints: 46939
909.02/915.45 c #Conflicts: 664000 | #Constraints: 47939
909.02/915.45 c #Conflicts: 665000 | #Constraints: 48939
909.02/915.45 c #Conflicts: 666000 | #Constraints: 49939
909.02/915.45 c #Conflicts: 667000 | #Constraints: 50939
909.02/915.45 c #Conflicts: 668000 | #Constraints: 51939
909.02/915.45 c #Conflicts: 669000 | #Constraints: 52939
909.02/915.45 c #Conflicts: 670000 | #Constraints: 53939
909.02/915.45 c #Conflicts: 671000 | #Constraints: 54939
909.02/915.45 c INPROCESSING
909.02/915.45 c GARBAGE COLLECT
909.02/915.45 c #Conflicts: 672000 | #Constraints: 32122
909.02/915.45 c #Conflicts: 673000 | #Constraints: 33122
909.02/915.45 c #Conflicts: 674000 | #Constraints: 34122
909.02/915.45 c #Conflicts: 675000 | #Constraints: 35122
909.02/915.45 c #Conflicts: 676000 | #Constraints: 36122
909.02/915.45 c #Conflicts: 677000 | #Constraints: 37122
909.02/915.45 c #Conflicts: 678000 | #Constraints: 38122
909.02/915.45 c #Conflicts: 679000 | #Constraints: 39122
909.02/915.45 c #Conflicts: 680000 | #Constraints: 40122
909.02/915.45 c #Conflicts: 681000 | #Constraints: 41122
909.02/915.45 c #Conflicts: 682000 | #Constraints: 42122
909.02/915.45 c #Conflicts: 683000 | #Constraints: 43122
909.02/915.45 c #Conflicts: 684000 | #Constraints: 44122
909.02/915.45 c #Conflicts: 685000 | #Constraints: 45122
909.02/915.45 c #Conflicts: 686000 | #Constraints: 46122
909.02/915.45 c #Conflicts: 687000 | #Constraints: 47122
909.02/915.45 c #Conflicts: 688000 | #Constraints: 48122
909.02/915.45 c #Conflicts: 689000 | #Constraints: 49122
909.02/915.45 c #Conflicts: 690000 | #Constraints: 50122
909.02/915.45 c INPROCESSING
909.02/915.45 c GARBAGE COLLECT
909.02/915.45 c rational objective 108.025
1053.67/1061.06 c #Conflicts: 691000 | #Constraints: 29633
1053.67/1061.06 c #Conflicts: 692000 | #Constraints: 30633
1053.67/1061.06 c #Conflicts: 693000 | #Constraints: 31633
1053.67/1061.06 c #Conflicts: 694000 | #Constraints: 32633
1053.67/1061.06 c #Conflicts: 695000 | #Constraints: 33633
1053.67/1061.06 c #Conflicts: 696000 | #Constraints: 34633
1053.67/1061.06 c #Conflicts: 697000 | #Constraints: 35633
1053.67/1061.06 c #Conflicts: 698000 | #Constraints: 36633
1053.67/1061.06 c #Conflicts: 699000 | #Constraints: 37633
1053.67/1061.06 c #Conflicts: 700000 | #Constraints: 38633
1053.67/1061.06 c #Conflicts: 701000 | #Constraints: 39633
1053.67/1061.06 c #Conflicts: 702000 | #Constraints: 40633
1053.67/1061.06 c #Conflicts: 703000 | #Constraints: 41633
1053.67/1061.06 c #Conflicts: 704000 | #Constraints: 42633
1053.67/1061.06 c #Conflicts: 705000 | #Constraints: 43633
1053.67/1061.06 c #Conflicts: 706000 | #Constraints: 44633
1053.67/1061.06 c #Conflicts: 707000 | #Constraints: 45633
1053.67/1061.06 c #Conflicts: 708000 | #Constraints: 46633
1053.67/1061.06 c #Conflicts: 709000 | #Constraints: 47633
1053.67/1061.06 c #Conflicts: 710000 | #Constraints: 48633
1053.67/1061.06 c INPROCESSING
1053.67/1061.06 c GARBAGE COLLECT
1053.67/1061.06 c #Conflicts: 711000 | #Constraints: 29124
1053.67/1061.06 c #Conflicts: 712000 | #Constraints: 30124
1053.67/1061.06 c #Conflicts: 713000 | #Constraints: 31124
1053.67/1061.06 c #Conflicts: 714000 | #Constraints: 32124
1053.67/1061.06 c #Conflicts: 715000 | #Constraints: 33124
1053.67/1061.06 c #Conflicts: 716000 | #Constraints: 34124
1053.67/1061.06 c #Conflicts: 717000 | #Constraints: 35124
1053.67/1061.06 c #Conflicts: 718000 | #Constraints: 36124
1053.67/1061.06 c #Conflicts: 719000 | #Constraints: 37124
1053.67/1061.06 c #Conflicts: 720000 | #Constraints: 38124
1053.67/1061.06 c #Conflicts: 721000 | #Constraints: 39124
1053.67/1061.06 c #Conflicts: 722000 | #Constraints: 40124
1053.67/1061.06 c #Conflicts: 723000 | #Constraints: 41124
1053.67/1061.06 c #Conflicts: 724000 | #Constraints: 42124
1053.67/1061.06 c #Conflicts: 725000 | #Constraints: 43124
1053.67/1061.06 c #Conflicts: 726000 | #Constraints: 44124
1053.67/1061.06 c #Conflicts: 727000 | #Constraints: 45124
1053.67/1061.06 c #Conflicts: 728000 | #Constraints: 46124
1053.67/1061.06 c #Conflicts: 729000 | #Constraints: 47124
1053.67/1061.06 c #Conflicts: 730000 | #Constraints: 48124
1053.67/1061.06 c #Conflicts: 731000 | #Constraints: 49124
1053.67/1061.06 c #Conflicts: 732000 | #Constraints: 50124
1053.67/1061.06 c #Conflicts: 733000 | #Constraints: 51124
1053.67/1061.06 c #Conflicts: 734000 | #Constraints: 52124
1053.67/1061.06 c #Conflicts: 735000 | #Constraints: 53124
1053.67/1061.06 c #Conflicts: 736000 | #Constraints: 54124
1053.67/1061.06 c #Conflicts: 737000 | #Constraints: 55124
1053.67/1061.06 c #Conflicts: 738000 | #Constraints: 56124
1053.67/1061.06 c #Conflicts: 739000 | #Constraints: 57124
1053.67/1061.06 c #Conflicts: 740000 | #Constraints: 58124
1053.67/1061.06 c #Conflicts: 741000 | #Constraints: 59124
1053.67/1061.06 c #Conflicts: 742000 | #Constraints: 60124
1053.67/1061.06 c #Conflicts: 743000 | #Constraints: 61124
1053.67/1061.06 c #Conflicts: 744000 | #Constraints: 62124
1053.67/1061.06 c #Conflicts: 745000 | #Constraints: 63124
1053.67/1061.06 c #Conflicts: 746000 | #Constraints: 64124
1053.67/1061.06 c #Conflicts: 747000 | #Constraints: 65124
1053.67/1061.06 c #Conflicts: 748000 | #Constraints: 66124
1053.67/1061.06 c #Conflicts: 749000 | #Constraints: 67124
1053.67/1061.06 c #Conflicts: 750000 | #Constraints: 68124
1053.67/1061.06 c #Conflicts: 751000 | #Constraints: 69124
1053.67/1061.06 c #Conflicts: 752000 | #Constraints: 70124
1053.67/1061.06 c #Conflicts: 753000 | #Constraints: 71124
1053.67/1061.06 c #Conflicts: 754000 | #Constraints: 72124
1053.67/1061.06 c #Conflicts: 755000 | #Constraints: 73124
1053.67/1061.06 c #Conflicts: 756000 | #Constraints: 74124
1053.67/1061.06 c #Conflicts: 757000 | #Constraints: 75124
1053.67/1061.06 c #Conflicts: 758000 | #Constraints: 76124
1053.67/1061.06 c #Conflicts: 759000 | #Constraints: 77124
1053.67/1061.06 c #Conflicts: 760000 | #Constraints: 78124
1053.67/1061.06 c #Conflicts: 761000 | #Constraints: 79124
1053.67/1061.06 c #Conflicts: 762000 | #Constraints: 80124
1053.67/1061.06 c #Conflicts: 763000 | #Constraints: 81124
1053.67/1061.06 c #Conflicts: 764000 | #Constraints: 82124
1053.67/1061.06 c #Conflicts: 765000 | #Constraints: 83124
1053.67/1061.06 c #Conflicts: 766000 | #Constraints: 84124
1053.67/1061.06 c #Conflicts: 767000 | #Constraints: 85124
1053.67/1061.06 c #Conflicts: 768000 | #Constraints: 86124
1053.67/1061.06 c #Conflicts: 769000 | #Constraints: 87124
1165.07/1172.96 c #Conflicts: 770000 | #Constraints: 88124
1165.07/1172.96 c #Conflicts: 771000 | #Constraints: 89124
1165.07/1172.96 c #Conflicts: 772000 | #Constraints: 90124
1165.07/1172.96 c #Conflicts: 773000 | #Constraints: 91124
1165.07/1172.96 c #Conflicts: 774000 | #Constraints: 92124
1165.07/1172.96 c INPROCESSING
1165.07/1172.96 c GARBAGE COLLECT
1165.07/1172.96 c #Conflicts: 775000 | #Constraints: 51071
1165.07/1172.96 c #Conflicts: 776000 | #Constraints: 52071
1165.07/1172.96 c #Conflicts: 777000 | #Constraints: 53071
1165.07/1172.96 c #Conflicts: 778000 | #Constraints: 54071
1165.07/1172.96 c #Conflicts: 779000 | #Constraints: 55071
1165.07/1172.96 c #Conflicts: 780000 | #Constraints: 56071
1165.07/1172.96 c #Conflicts: 781000 | #Constraints: 57071
1165.07/1172.96 c #Conflicts: 782000 | #Constraints: 58071
1165.07/1172.96 c #Conflicts: 783000 | #Constraints: 59071
1165.07/1172.96 c #Conflicts: 784000 | #Constraints: 60071
1165.07/1172.96 c #Conflicts: 785000 | #Constraints: 61071
1165.07/1172.96 c #Conflicts: 786000 | #Constraints: 62071
1165.07/1172.96 c #Conflicts: 787000 | #Constraints: 63071
1165.07/1172.96 c #Conflicts: 788000 | #Constraints: 64071
1165.07/1172.96 c #Conflicts: 789000 | #Constraints: 65071
1165.07/1172.96 c #Conflicts: 790000 | #Constraints: 66071
1165.07/1172.96 c #Conflicts: 791000 | #Constraints: 67071
1165.07/1172.96 c #Conflicts: 792000 | #Constraints: 68071
1165.07/1172.96 c #Conflicts: 793000 | #Constraints: 69071
1165.07/1172.96 c #Conflicts: 794000 | #Constraints: 70071
1165.07/1172.96 c #Conflicts: 795000 | #Constraints: 71071
1165.07/1172.96 c INPROCESSING
1165.07/1172.96 c GARBAGE COLLECT
1165.07/1172.96 c #Conflicts: 796000 | #Constraints: 40507
1165.07/1172.96 c #Conflicts: 797000 | #Constraints: 41507
1165.07/1172.96 c #Conflicts: 798000 | #Constraints: 42507
1165.07/1172.96 c #Conflicts: 799000 | #Constraints: 43507
1165.07/1172.96 c #Conflicts: 800000 | #Constraints: 44507
1165.07/1172.96 c #Conflicts: 801000 | #Constraints: 45507
1165.07/1172.96 c #Conflicts: 802000 | #Constraints: 46507
1165.07/1172.96 c #Conflicts: 803000 | #Constraints: 47507
1165.07/1172.96 c #Conflicts: 804000 | #Constraints: 48507
1165.07/1172.96 c #Conflicts: 805000 | #Constraints: 49507
1165.07/1172.96 c #Conflicts: 806000 | #Constraints: 50507
1165.07/1172.96 c #Conflicts: 807000 | #Constraints: 51507
1165.07/1172.96 c #Conflicts: 808000 | #Constraints: 52507
1165.07/1172.96 c #Conflicts: 809000 | #Constraints: 53507
1165.07/1172.96 c #Conflicts: 810000 | #Constraints: 54507
1165.07/1172.96 c #Conflicts: 811000 | #Constraints: 55507
1165.07/1172.96 c #Conflicts: 812000 | #Constraints: 56507
1165.07/1172.96 c #Conflicts: 813000 | #Constraints: 57507
1165.07/1172.96 c #Conflicts: 814000 | #Constraints: 58507
1165.07/1172.96 c #Conflicts: 815000 | #Constraints: 59507
1165.07/1172.96 c #Conflicts: 816000 | #Constraints: 60507
1165.07/1172.96 c INPROCESSING
1165.07/1172.96 c GARBAGE COLLECT
1165.07/1172.96 c #Conflicts: 817000 | #Constraints: 35233
1165.07/1172.96 c #Conflicts: 818000 | #Constraints: 36233
1165.07/1172.96 c #Conflicts: 819000 | #Constraints: 37233
1165.07/1172.96 c #Conflicts: 820000 | #Constraints: 38233
1165.07/1172.96 c #Conflicts: 821000 | #Constraints: 39233
1165.07/1172.96 c #Conflicts: 822000 | #Constraints: 40233
1165.07/1172.96 c #Conflicts: 823000 | #Constraints: 41233
1165.07/1172.96 c #Conflicts: 824000 | #Constraints: 42233
1165.07/1172.96 c #Conflicts: 825000 | #Constraints: 43233
1165.07/1172.96 c #Conflicts: 826000 | #Constraints: 44233
1165.07/1172.96 c #Conflicts: 827000 | #Constraints: 45233
1165.07/1172.96 c #Conflicts: 828000 | #Constraints: 46233
1165.07/1172.96 c #Conflicts: 829000 | #Constraints: 47233
1165.07/1172.96 c #Conflicts: 830000 | #Constraints: 48233
1165.07/1172.96 c #Conflicts: 831000 | #Constraints: 49233
1165.07/1172.96 c #Conflicts: 832000 | #Constraints: 50233
1165.07/1172.96 c #Conflicts: 833000 | #Constraints: 51233
1165.07/1172.96 c #Conflicts: 834000 | #Constraints: 52233
1165.07/1172.96 c #Conflicts: 835000 | #Constraints: 53233
1165.07/1172.96 c #Conflicts: 836000 | #Constraints: 54233
1165.07/1172.96 c #Conflicts: 837000 | #Constraints: 55233
1165.07/1172.96 c INPROCESSING
1165.07/1172.96 c GARBAGE COLLECT
1165.07/1172.96 c #Conflicts: 838000 | #Constraints: 32547
1165.07/1172.96 c #Conflicts: 839000 | #Constraints: 33547
1165.07/1172.96 c #Conflicts: 840000 | #Constraints: 34547
1165.07/1172.96 c #Conflicts: 841000 | #Constraints: 35547
1165.07/1172.96 c #Conflicts: 842000 | #Constraints: 36547
1165.07/1172.96 c #Conflicts: 843000 | #Constraints: 37547
1165.07/1172.96 c #Conflicts: 844000 | #Constraints: 38547
1165.07/1172.96 c #Conflicts: 845000 | #Constraints: 39547
1314.23/1322.87 c #Conflicts: 846000 | #Constraints: 40547
1314.23/1322.87 c #Conflicts: 847000 | #Constraints: 41547
1314.23/1322.87 c #Conflicts: 848000 | #Constraints: 42547
1314.23/1322.87 c #Conflicts: 849000 | #Constraints: 43547
1314.23/1322.87 c #Conflicts: 850000 | #Constraints: 44547
1314.23/1322.87 c #Conflicts: 851000 | #Constraints: 45547
1314.23/1322.87 c #Conflicts: 852000 | #Constraints: 46547
1314.23/1322.87 c #Conflicts: 853000 | #Constraints: 47547
1314.23/1322.87 c #Conflicts: 854000 | #Constraints: 48547
1314.23/1322.87 c #Conflicts: 855000 | #Constraints: 49547
1314.23/1322.87 c #Conflicts: 856000 | #Constraints: 50547
1314.23/1322.87 c #Conflicts: 857000 | #Constraints: 51547
1314.23/1322.87 c #Conflicts: 858000 | #Constraints: 52547
1314.23/1322.87 c INPROCESSING
1314.23/1322.87 c GARBAGE COLLECT
1314.23/1322.87 c #Conflicts: 859000 | #Constraints: 30953
1314.23/1322.87 c #Conflicts: 860000 | #Constraints: 31953
1314.23/1322.87 c #Conflicts: 861000 | #Constraints: 32953
1314.23/1322.87 c #Conflicts: 862000 | #Constraints: 33953
1314.23/1322.87 c #Conflicts: 863000 | #Constraints: 34953
1314.23/1322.87 c #Conflicts: 864000 | #Constraints: 35953
1314.23/1322.87 c #Conflicts: 865000 | #Constraints: 36953
1314.23/1322.87 c #Conflicts: 866000 | #Constraints: 37953
1314.23/1322.87 c #Conflicts: 867000 | #Constraints: 38953
1314.23/1322.87 c #Conflicts: 868000 | #Constraints: 39953
1314.23/1322.87 c #Conflicts: 869000 | #Constraints: 40953
1314.23/1322.87 c #Conflicts: 870000 | #Constraints: 41953
1314.23/1322.87 c #Conflicts: 871000 | #Constraints: 42953
1314.23/1322.87 c #Conflicts: 872000 | #Constraints: 43953
1314.23/1322.87 c #Conflicts: 873000 | #Constraints: 44953
1314.23/1322.87 c #Conflicts: 874000 | #Constraints: 45953
1314.23/1322.87 c #Conflicts: 875000 | #Constraints: 46953
1314.23/1322.87 c #Conflicts: 876000 | #Constraints: 47953
1314.23/1322.87 c #Conflicts: 877000 | #Constraints: 48953
1314.23/1322.87 c #Conflicts: 878000 | #Constraints: 49953
1314.23/1322.87 c #Conflicts: 879000 | #Constraints: 50953
1314.23/1322.87 c #Conflicts: 880000 | #Constraints: 51953
1314.23/1322.87 c #Conflicts: 881000 | #Constraints: 52953
1314.23/1322.87 c #Conflicts: 882000 | #Constraints: 53953
1314.23/1322.87 c #Conflicts: 883000 | #Constraints: 54953
1314.23/1322.87 c #Conflicts: 884000 | #Constraints: 55953
1314.23/1322.87 c #Conflicts: 885000 | #Constraints: 56953
1314.23/1322.87 c #Conflicts: 886000 | #Constraints: 57953
1314.23/1322.87 c #Conflicts: 887000 | #Constraints: 58953
1314.23/1322.87 c #Conflicts: 888000 | #Constraints: 59953
1314.23/1322.87 c #Conflicts: 889000 | #Constraints: 60953
1314.23/1322.87 c #Conflicts: 890000 | #Constraints: 61953
1314.23/1322.87 c #Conflicts: 891000 | #Constraints: 62953
1314.23/1322.87 c #Conflicts: 892000 | #Constraints: 63953
1314.23/1322.87 c #Conflicts: 893000 | #Constraints: 64953
1314.23/1322.87 c #Conflicts: 894000 | #Constraints: 65953
1314.23/1322.87 c #Conflicts: 895000 | #Constraints: 66953
1314.23/1322.87 c #Conflicts: 896000 | #Constraints: 67953
1314.23/1322.87 c #Conflicts: 897000 | #Constraints: 68953
1314.23/1322.87 c #Conflicts: 898000 | #Constraints: 69953
1314.23/1322.87 c #Conflicts: 899000 | #Constraints: 70953
1314.23/1322.87 c #Conflicts: 900000 | #Constraints: 71953
1314.23/1322.87 c #Conflicts: 901000 | #Constraints: 72953
1314.23/1322.87 c #Conflicts: 902000 | #Constraints: 73953
1314.23/1322.87 c #Conflicts: 903000 | #Constraints: 74953
1314.23/1322.87 c #Conflicts: 904000 | #Constraints: 75953
1314.23/1322.87 c #Conflicts: 905000 | #Constraints: 76953
1314.23/1322.87 c #Conflicts: 906000 | #Constraints: 77953
1314.23/1322.87 c #Conflicts: 907000 | #Constraints: 78953
1314.23/1322.87 c #Conflicts: 908000 | #Constraints: 79953
1314.23/1322.87 c #Conflicts: 909000 | #Constraints: 80953
1314.23/1322.87 c #Conflicts: 910000 | #Constraints: 81953
1314.23/1322.87 c #Conflicts: 911000 | #Constraints: 82953
1314.23/1322.87 c #Conflicts: 912000 | #Constraints: 83953
1314.23/1322.87 c #Conflicts: 913000 | #Constraints: 84953
1314.23/1322.87 c #Conflicts: 914000 | #Constraints: 85953
1314.23/1322.87 c #Conflicts: 915000 | #Constraints: 86953
1314.23/1322.87 c #Conflicts: 916000 | #Constraints: 87953
1314.23/1322.87 c #Conflicts: 917000 | #Constraints: 88953
1314.23/1322.87 c #Conflicts: 918000 | #Constraints: 89953
1314.23/1322.87 c #Conflicts: 919000 | #Constraints: 90953
1314.23/1322.87 c #Conflicts: 920000 | #Constraints: 91953
1314.23/1322.87 c #Conflicts: 921000 | #Constraints: 92953
1314.23/1322.87 c #Conflicts: 922000 | #Constraints: 93953
1314.23/1322.87 c #Conflicts: 923000 | #Constraints: 94953
1351.60/1360.32 c #Conflicts: 924000 | #Constraints: 95953
1351.60/1360.32 c #Conflicts: 925000 | #Constraints: 96953
1351.60/1360.32 c #Conflicts: 926000 | #Constraints: 97953
1351.60/1360.32 c #Conflicts: 927000 | #Constraints: 98953
1351.60/1360.32 c #Conflicts: 928000 | #Constraints: 99953
1351.60/1360.32 c INPROCESSING
1351.60/1360.32 c GARBAGE COLLECT
1351.60/1360.32 c rational objective 108.049
1478.07/1487.30 c #Conflicts: 929000 | #Constraints: 54671
1478.07/1487.30 c #Conflicts: 930000 | #Constraints: 55671
1478.07/1487.30 c #Conflicts: 931000 | #Constraints: 56671
1478.07/1487.30 c #Conflicts: 932000 | #Constraints: 57671
1478.07/1487.30 c #Conflicts: 933000 | #Constraints: 58671
1478.07/1487.30 c #Conflicts: 934000 | #Constraints: 59671
1478.07/1487.30 c #Conflicts: 935000 | #Constraints: 60671
1478.07/1487.30 c #Conflicts: 936000 | #Constraints: 61671
1478.07/1487.30 c #Conflicts: 937000 | #Constraints: 62671
1478.07/1487.30 c #Conflicts: 938000 | #Constraints: 63671
1478.07/1487.30 c #Conflicts: 939000 | #Constraints: 64671
1478.07/1487.30 c #Conflicts: 940000 | #Constraints: 65671
1478.07/1487.30 c #Conflicts: 941000 | #Constraints: 66671
1478.07/1487.30 c #Conflicts: 942000 | #Constraints: 67671
1478.07/1487.30 c #Conflicts: 943000 | #Constraints: 68671
1478.07/1487.30 c #Conflicts: 944000 | #Constraints: 69671
1478.07/1487.30 c #Conflicts: 945000 | #Constraints: 70671
1478.07/1487.30 c #Conflicts: 946000 | #Constraints: 71671
1478.07/1487.30 c #Conflicts: 947000 | #Constraints: 72671
1478.07/1487.30 c #Conflicts: 948000 | #Constraints: 73671
1478.07/1487.30 c #Conflicts: 949000 | #Constraints: 74671
1478.07/1487.30 c #Conflicts: 950000 | #Constraints: 75671
1478.07/1487.30 c #Conflicts: 951000 | #Constraints: 76671
1478.07/1487.30 c INPROCESSING
1478.07/1487.30 c GARBAGE COLLECT
1478.07/1487.30 c #Conflicts: 952000 | #Constraints: 43166
1478.07/1487.30 c #Conflicts: 953000 | #Constraints: 44166
1478.07/1487.30 c #Conflicts: 954000 | #Constraints: 45166
1478.07/1487.30 c #Conflicts: 955000 | #Constraints: 46166
1478.07/1487.30 c #Conflicts: 956000 | #Constraints: 47166
1478.07/1487.30 c #Conflicts: 957000 | #Constraints: 48166
1478.07/1487.30 c #Conflicts: 958000 | #Constraints: 49166
1478.07/1487.30 c #Conflicts: 959000 | #Constraints: 50166
1478.07/1487.30 c #Conflicts: 960000 | #Constraints: 51166
1478.07/1487.30 c #Conflicts: 961000 | #Constraints: 52166
1478.07/1487.30 c #Conflicts: 962000 | #Constraints: 53166
1478.07/1487.30 c #Conflicts: 963000 | #Constraints: 54166
1478.07/1487.30 c #Conflicts: 964000 | #Constraints: 55166
1478.07/1487.30 c #Conflicts: 965000 | #Constraints: 56166
1478.07/1487.30 c #Conflicts: 966000 | #Constraints: 57166
1478.07/1487.30 c #Conflicts: 967000 | #Constraints: 58166
1478.07/1487.30 c #Conflicts: 968000 | #Constraints: 59166
1478.07/1487.30 c #Conflicts: 969000 | #Constraints: 60166
1478.07/1487.30 c #Conflicts: 970000 | #Constraints: 61166
1478.07/1487.30 c #Conflicts: 971000 | #Constraints: 62166
1478.07/1487.30 c #Conflicts: 972000 | #Constraints: 63166
1478.07/1487.30 c #Conflicts: 973000 | #Constraints: 64166
1478.07/1487.30 c #Conflicts: 974000 | #Constraints: 65166
1478.07/1487.30 c INPROCESSING
1478.07/1487.30 c GARBAGE COLLECT
1478.07/1487.30 c #Conflicts: 975000 | #Constraints: 37455
1478.07/1487.30 c #Conflicts: 976000 | #Constraints: 38455
1478.07/1487.30 c #Conflicts: 977000 | #Constraints: 39455
1478.07/1487.30 c #Conflicts: 978000 | #Constraints: 40455
1478.07/1487.30 c #Conflicts: 979000 | #Constraints: 41455
1478.07/1487.30 c #Conflicts: 980000 | #Constraints: 42455
1478.07/1487.30 c #Conflicts: 981000 | #Constraints: 43455
1478.07/1487.30 c #Conflicts: 982000 | #Constraints: 44455
1478.07/1487.30 c #Conflicts: 983000 | #Constraints: 45455
1478.07/1487.30 c #Conflicts: 984000 | #Constraints: 46455
1478.07/1487.30 c #Conflicts: 985000 | #Constraints: 47455
1478.07/1487.30 c #Conflicts: 986000 | #Constraints: 48455
1478.07/1487.30 c #Conflicts: 987000 | #Constraints: 49455
1478.07/1487.30 c #Conflicts: 988000 | #Constraints: 50455
1478.07/1487.30 c #Conflicts: 989000 | #Constraints: 51455
1478.07/1487.30 c #Conflicts: 990000 | #Constraints: 52455
1478.07/1487.30 c #Conflicts: 991000 | #Constraints: 53455
1478.07/1487.30 c #Conflicts: 992000 | #Constraints: 54455
1478.07/1487.30 c #Conflicts: 993000 | #Constraints: 55455
1478.07/1487.30 c #Conflicts: 994000 | #Constraints: 56455
1478.07/1487.30 c #Conflicts: 995000 | #Constraints: 57455
1478.07/1487.30 c #Conflicts: 996000 | #Constraints: 58455
1478.07/1487.30 c #Conflicts: 997000 | #Constraints: 59455
1478.07/1487.30 c INPROCESSING
1478.07/1487.30 c GARBAGE COLLECT
1478.07/1487.30 c #Conflicts: 998000 | #Constraints: 34482
1478.07/1487.30 c #Conflicts: 999000 | #Constraints: 35482
1478.07/1487.30 c #Conflicts: 1000000 | #Constraints: 36482
1478.07/1487.30 c #Conflicts: 1001000 | #Constraints: 37482
1478.07/1487.30 c #Conflicts: 1002000 | #Constraints: 38482
1478.07/1487.30 c #Conflicts: 1003000 | #Constraints: 39482
1478.07/1487.30 c #Conflicts: 1004000 | #Constraints: 40482
1478.07/1487.30 c #Conflicts: 1005000 | #Constraints: 41482
1601.57/1612.21 c #Conflicts: 1006000 | #Constraints: 42482
1601.57/1612.21 c #Conflicts: 1007000 | #Constraints: 43482
1601.57/1612.21 c #Conflicts: 1008000 | #Constraints: 44482
1601.57/1612.21 c #Conflicts: 1009000 | #Constraints: 45482
1601.57/1612.21 c #Conflicts: 1010000 | #Constraints: 46482
1601.57/1612.21 c #Conflicts: 1011000 | #Constraints: 47482
1601.57/1612.21 c #Conflicts: 1012000 | #Constraints: 48482
1601.57/1612.21 c #Conflicts: 1013000 | #Constraints: 49482
1601.57/1612.21 c #Conflicts: 1014000 | #Constraints: 50482
1601.57/1612.21 c #Conflicts: 1015000 | #Constraints: 51482
1601.57/1612.21 c #Conflicts: 1016000 | #Constraints: 52482
1601.57/1612.21 c #Conflicts: 1017000 | #Constraints: 53482
1601.57/1612.21 c #Conflicts: 1018000 | #Constraints: 54482
1601.57/1612.21 c #Conflicts: 1019000 | #Constraints: 55482
1601.57/1612.21 c #Conflicts: 1020000 | #Constraints: 56482
1601.57/1612.21 c INPROCESSING
1601.57/1612.21 c GARBAGE COLLECT
1601.57/1612.21 c #Conflicts: 1021000 | #Constraints: 32885
1601.57/1612.21 c #Conflicts: 1022000 | #Constraints: 33885
1601.57/1612.21 c #Conflicts: 1023000 | #Constraints: 34885
1601.57/1612.21 c #Conflicts: 1024000 | #Constraints: 35885
1601.57/1612.21 c #Conflicts: 1025000 | #Constraints: 36885
1601.57/1612.21 c #Conflicts: 1026000 | #Constraints: 37885
1601.57/1612.21 c #Conflicts: 1027000 | #Constraints: 38885
1601.57/1612.21 c #Conflicts: 1028000 | #Constraints: 39885
1601.57/1612.21 c #Conflicts: 1029000 | #Constraints: 40885
1601.57/1612.21 c #Conflicts: 1030000 | #Constraints: 41885
1601.57/1612.21 c #Conflicts: 1031000 | #Constraints: 42885
1601.57/1612.21 c #Conflicts: 1032000 | #Constraints: 43885
1601.57/1612.21 c #Conflicts: 1033000 | #Constraints: 44885
1601.57/1612.21 c #Conflicts: 1034000 | #Constraints: 45885
1601.57/1612.21 c #Conflicts: 1035000 | #Constraints: 46885
1601.57/1612.21 c #Conflicts: 1036000 | #Constraints: 47885
1601.57/1612.21 c #Conflicts: 1037000 | #Constraints: 48885
1601.57/1612.21 c #Conflicts: 1038000 | #Constraints: 49885
1601.57/1612.21 c #Conflicts: 1039000 | #Constraints: 50885
1601.57/1612.21 c #Conflicts: 1040000 | #Constraints: 51885
1601.57/1612.21 c #Conflicts: 1041000 | #Constraints: 52885
1601.57/1612.21 c #Conflicts: 1042000 | #Constraints: 53885
1601.57/1612.21 c #Conflicts: 1043000 | #Constraints: 54885
1601.57/1612.21 c #Conflicts: 1044000 | #Constraints: 55885
1601.57/1612.21 c INPROCESSING
1601.57/1612.21 c GARBAGE COLLECT
1601.57/1612.21 c #Conflicts: 1045000 | #Constraints: 32853
1601.57/1612.21 c #Conflicts: 1046000 | #Constraints: 33853
1601.57/1612.21 c #Conflicts: 1047000 | #Constraints: 34853
1601.57/1612.21 c #Conflicts: 1048000 | #Constraints: 35853
1601.57/1612.21 c #Conflicts: 1049000 | #Constraints: 36853
1601.57/1612.21 c #Conflicts: 1050000 | #Constraints: 37853
1601.57/1612.21 c #Conflicts: 1051000 | #Constraints: 38853
1601.57/1612.21 c #Conflicts: 1052000 | #Constraints: 39853
1601.57/1612.21 c #Conflicts: 1053000 | #Constraints: 40853
1601.57/1612.21 c #Conflicts: 1054000 | #Constraints: 41853
1601.57/1612.21 c #Conflicts: 1055000 | #Constraints: 42853
1601.57/1612.21 c #Conflicts: 1056000 | #Constraints: 43853
1601.57/1612.21 c #Conflicts: 1057000 | #Constraints: 44853
1601.57/1612.21 c #Conflicts: 1058000 | #Constraints: 45853
1601.57/1612.21 c #Conflicts: 1059000 | #Constraints: 46853
1601.57/1612.21 c #Conflicts: 1060000 | #Constraints: 47853
1601.57/1612.21 c #Conflicts: 1061000 | #Constraints: 48853
1601.57/1612.21 c #Conflicts: 1062000 | #Constraints: 49853
1601.57/1612.21 c #Conflicts: 1063000 | #Constraints: 50853
1601.57/1612.21 c #Conflicts: 1064000 | #Constraints: 51853
1601.57/1612.21 c #Conflicts: 1065000 | #Constraints: 52853
1601.57/1612.21 c #Conflicts: 1066000 | #Constraints: 53853
1601.57/1612.21 c #Conflicts: 1067000 | #Constraints: 54853
1601.57/1612.21 c #Conflicts: 1068000 | #Constraints: 55853
1601.57/1612.21 c #Conflicts: 1069000 | #Constraints: 56853
1601.57/1612.21 c #Conflicts: 1070000 | #Constraints: 57853
1601.57/1612.21 c #Conflicts: 1071000 | #Constraints: 58853
1601.57/1612.21 c #Conflicts: 1072000 | #Constraints: 59853
1601.57/1612.21 c #Conflicts: 1073000 | #Constraints: 60853
1601.57/1612.21 c #Conflicts: 1074000 | #Constraints: 61853
1601.57/1612.21 c #Conflicts: 1075000 | #Constraints: 62853
1601.57/1612.21 c #Conflicts: 1076000 | #Constraints: 63853
1601.57/1612.21 c #Conflicts: 1077000 | #Constraints: 64853
1601.57/1612.21 c #Conflicts: 1078000 | #Constraints: 65853
1601.57/1612.21 c #Conflicts: 1079000 | #Constraints: 66853
1601.57/1612.21 c #Conflicts: 1080000 | #Constraints: 67853
1601.57/1612.21 c #Conflicts: 1081000 | #Constraints: 68853
1601.57/1612.21 c #Conflicts: 1082000 | #Constraints: 69853
1601.57/1612.21 c #Conflicts: 1083000 | #Constraints: 70853
1730.55/1741.69 c #Conflicts: 1084000 | #Constraints: 71853
1730.55/1741.69 c #Conflicts: 1085000 | #Constraints: 72853
1730.55/1741.69 c #Conflicts: 1086000 | #Constraints: 73853
1730.55/1741.69 c #Conflicts: 1087000 | #Constraints: 74853
1730.55/1741.69 c #Conflicts: 1088000 | #Constraints: 75853
1730.55/1741.69 c #Conflicts: 1089000 | #Constraints: 76853
1730.55/1741.69 c #Conflicts: 1090000 | #Constraints: 77853
1730.55/1741.69 c #Conflicts: 1091000 | #Constraints: 78853
1730.55/1741.69 c #Conflicts: 1092000 | #Constraints: 79853
1730.55/1741.69 c #Conflicts: 1093000 | #Constraints: 80853
1730.55/1741.69 c #Conflicts: 1094000 | #Constraints: 81853
1730.55/1741.69 c #Conflicts: 1095000 | #Constraints: 82853
1730.55/1741.69 c #Conflicts: 1096000 | #Constraints: 83853
1730.55/1741.69 c #Conflicts: 1097000 | #Constraints: 84853
1730.55/1741.69 c #Conflicts: 1098000 | #Constraints: 85853
1730.55/1741.69 c #Conflicts: 1099000 | #Constraints: 86853
1730.55/1741.69 c #Conflicts: 1100000 | #Constraints: 87853
1730.55/1741.69 c #Conflicts: 1101000 | #Constraints: 88853
1730.55/1741.69 c #Conflicts: 1102000 | #Constraints: 89853
1730.55/1741.69 c #Conflicts: 1103000 | #Constraints: 90853
1730.55/1741.69 c #Conflicts: 1104000 | #Constraints: 91853
1730.55/1741.69 c #Conflicts: 1105000 | #Constraints: 92853
1730.55/1741.69 c #Conflicts: 1106000 | #Constraints: 93853
1730.55/1741.69 c #Conflicts: 1107000 | #Constraints: 94853
1730.55/1741.69 c #Conflicts: 1108000 | #Constraints: 95853
1730.55/1741.69 c #Conflicts: 1109000 | #Constraints: 96853
1730.55/1741.69 c #Conflicts: 1110000 | #Constraints: 97853
1730.55/1741.69 c #Conflicts: 1111000 | #Constraints: 98853
1730.55/1741.69 c #Conflicts: 1112000 | #Constraints: 99853
1730.55/1741.69 c #Conflicts: 1113000 | #Constraints: 100853
1730.55/1741.69 c #Conflicts: 1114000 | #Constraints: 101853
1730.55/1741.69 c #Conflicts: 1115000 | #Constraints: 102853
1730.55/1741.69 c #Conflicts: 1116000 | #Constraints: 103853
1730.55/1741.69 c #Conflicts: 1117000 | #Constraints: 104853
1730.55/1741.69 c #Conflicts: 1118000 | #Constraints: 105853
1730.55/1741.69 c #Conflicts: 1119000 | #Constraints: 106853
1730.55/1741.69 c #Conflicts: 1120000 | #Constraints: 107853
1730.55/1741.69 c #Conflicts: 1121000 | #Constraints: 108853
1730.55/1741.69 c #Conflicts: 1122000 | #Constraints: 109853
1730.55/1741.69 c INPROCESSING
1730.55/1741.69 c GARBAGE COLLECT
1730.55/1741.69 c rational objective 108.057
1859.12/1870.75 c #Conflicts: 1123000 | #Constraints: 60048
1859.12/1870.75 c #Conflicts: 1124000 | #Constraints: 61048
1859.12/1870.75 c #Conflicts: 1125000 | #Constraints: 62048
1859.12/1870.75 c #Conflicts: 1126000 | #Constraints: 63048
1859.12/1870.75 c #Conflicts: 1127000 | #Constraints: 64048
1859.12/1870.75 c #Conflicts: 1128000 | #Constraints: 65048
1859.12/1870.75 c #Conflicts: 1129000 | #Constraints: 66048
1859.12/1870.75 c #Conflicts: 1130000 | #Constraints: 67048
1859.12/1870.75 c #Conflicts: 1131000 | #Constraints: 68048
1859.12/1870.75 c #Conflicts: 1132000 | #Constraints: 69048
1859.12/1870.75 c #Conflicts: 1133000 | #Constraints: 70048
1859.12/1870.75 c #Conflicts: 1134000 | #Constraints: 71048
1859.12/1870.75 c #Conflicts: 1135000 | #Constraints: 72048
1859.12/1870.75 c #Conflicts: 1136000 | #Constraints: 73048
1859.12/1870.75 c #Conflicts: 1137000 | #Constraints: 74048
1859.12/1870.75 c #Conflicts: 1138000 | #Constraints: 75048
1859.12/1870.75 c #Conflicts: 1139000 | #Constraints: 76048
1859.12/1870.75 c #Conflicts: 1140000 | #Constraints: 77048
1859.12/1870.75 c #Conflicts: 1141000 | #Constraints: 78048
1859.12/1870.75 c #Conflicts: 1142000 | #Constraints: 79048
1859.12/1870.75 c #Conflicts: 1143000 | #Constraints: 80048
1859.12/1870.75 c #Conflicts: 1144000 | #Constraints: 81048
1859.12/1870.75 c #Conflicts: 1145000 | #Constraints: 82048
1859.12/1870.75 c #Conflicts: 1146000 | #Constraints: 83048
1859.12/1870.75 c INPROCESSING
1859.12/1870.75 c GARBAGE COLLECT
1859.12/1870.75 c #Conflicts: 1147000 | #Constraints: 46232
1859.12/1870.75 c #Conflicts: 1148000 | #Constraints: 47232
1859.12/1870.75 c #Conflicts: 1149000 | #Constraints: 48232
1859.12/1870.75 c #Conflicts: 1150000 | #Constraints: 49232
1859.12/1870.75 c #Conflicts: 1151000 | #Constraints: 50232
1859.12/1870.75 c #Conflicts: 1152000 | #Constraints: 51232
1859.12/1870.75 c #Conflicts: 1153000 | #Constraints: 52232
1859.12/1870.75 c #Conflicts: 1154000 | #Constraints: 53232
1859.12/1870.75 c #Conflicts: 1155000 | #Constraints: 54232
1859.12/1870.75 c #Conflicts: 1156000 | #Constraints: 55232
1859.12/1870.75 c #Conflicts: 1157000 | #Constraints: 56232
1859.12/1870.75 c #Conflicts: 1158000 | #Constraints: 57232
1859.12/1870.75 c #Conflicts: 1159000 | #Constraints: 58232
1859.12/1870.75 c #Conflicts: 1160000 | #Constraints: 59232
1859.12/1870.75 c #Conflicts: 1161000 | #Constraints: 60232
1859.12/1870.75 c #Conflicts: 1162000 | #Constraints: 61232
1859.12/1870.75 c #Conflicts: 1163000 | #Constraints: 62232
1859.12/1870.75 c #Conflicts: 1164000 | #Constraints: 63232
1859.12/1870.75 c #Conflicts: 1165000 | #Constraints: 64232
1859.12/1870.75 c #Conflicts: 1166000 | #Constraints: 65232
1859.12/1870.75 c #Conflicts: 1167000 | #Constraints: 66232
1859.12/1870.75 c #Conflicts: 1168000 | #Constraints: 67232
1859.12/1870.75 c #Conflicts: 1169000 | #Constraints: 68232
1859.12/1870.75 c #Conflicts: 1170000 | #Constraints: 69232
1859.12/1870.75 c #Conflicts: 1171000 | #Constraints: 70232
1859.12/1870.75 c INPROCESSING
1859.12/1870.75 c GARBAGE COLLECT
1859.12/1870.75 c #Conflicts: 1172000 | #Constraints: 39747
1859.12/1870.75 c #Conflicts: 1173000 | #Constraints: 40747
1859.12/1870.75 c #Conflicts: 1174000 | #Constraints: 41747
1859.12/1870.75 c #Conflicts: 1175000 | #Constraints: 42747
1859.12/1870.75 c #Conflicts: 1176000 | #Constraints: 43747
1859.12/1870.75 c #Conflicts: 1177000 | #Constraints: 44747
1859.12/1870.75 c #Conflicts: 1178000 | #Constraints: 45747
1859.12/1870.75 c #Conflicts: 1179000 | #Constraints: 46747
1859.12/1870.75 c #Conflicts: 1180000 | #Constraints: 47747
1859.12/1870.75 c #Conflicts: 1181000 | #Constraints: 48747
1859.12/1870.75 c #Conflicts: 1182000 | #Constraints: 49747
1859.12/1870.75 c #Conflicts: 1183000 | #Constraints: 50747
1859.12/1870.75 c #Conflicts: 1184000 | #Constraints: 51747
1859.12/1870.75 c #Conflicts: 1185000 | #Constraints: 52747
1859.12/1870.75 c #Conflicts: 1186000 | #Constraints: 53747
1859.12/1870.75 c #Conflicts: 1187000 | #Constraints: 54747
1859.12/1870.75 c #Conflicts: 1188000 | #Constraints: 55747
1859.12/1870.75 c #Conflicts: 1189000 | #Constraints: 56747
1859.12/1870.75 c #Conflicts: 1190000 | #Constraints: 57747
1859.12/1870.75 c #Conflicts: 1191000 | #Constraints: 58747
1859.12/1870.75 c #Conflicts: 1192000 | #Constraints: 59747
1859.12/1870.75 c #Conflicts: 1193000 | #Constraints: 60747
1859.12/1870.75 c #Conflicts: 1194000 | #Constraints: 61747
1859.12/1870.75 c #Conflicts: 1195000 | #Constraints: 62747
1859.12/1870.75 c #Conflicts: 1196000 | #Constraints: 63747
1859.12/1870.75 c #Conflicts: 1197000 | #Constraints: 64747
1859.12/1870.75 c INPROCESSING
1859.12/1870.75 c GARBAGE COLLECT
1859.12/1870.75 c #Conflicts: 1198000 | #Constraints: 37421
1859.12/1870.75 c #Conflicts: 1199000 | #Constraints: 38421
1949.59/1961.61 c #Conflicts: 1200000 | #Constraints: 39422
1949.59/1961.61 c #Conflicts: 1201000 | #Constraints: 40422
1949.59/1961.61 c #Conflicts: 1202000 | #Constraints: 41422
1949.59/1961.61 c #Conflicts: 1203000 | #Constraints: 42422
1949.59/1961.61 c #Conflicts: 1204000 | #Constraints: 43422
1949.59/1961.61 c #Conflicts: 1205000 | #Constraints: 44423
1949.59/1961.61 c #Conflicts: 1206000 | #Constraints: 45423
1949.59/1961.61 c #Conflicts: 1207000 | #Constraints: 46423
1949.59/1961.61 c #Conflicts: 1208000 | #Constraints: 47423
1949.59/1961.61 c #Conflicts: 1209000 | #Constraints: 48423
1949.59/1961.61 c #Conflicts: 1210000 | #Constraints: 49423
1949.59/1961.61 c #Conflicts: 1211000 | #Constraints: 50423
1949.59/1961.61 c #Conflicts: 1212000 | #Constraints: 51423
1949.59/1961.61 c #Conflicts: 1213000 | #Constraints: 52423
1949.59/1961.61 c #Conflicts: 1214000 | #Constraints: 53423
1949.59/1961.61 c #Conflicts: 1215000 | #Constraints: 54423
1949.59/1961.61 c #Conflicts: 1216000 | #Constraints: 55423
1949.59/1961.61 c #Conflicts: 1217000 | #Constraints: 56423
1949.59/1961.61 c #Conflicts: 1218000 | #Constraints: 57423
1949.59/1961.61 c #Conflicts: 1219000 | #Constraints: 58423
1949.59/1961.61 c #Conflicts: 1220000 | #Constraints: 59423
1949.59/1961.61 c #Conflicts: 1221000 | #Constraints: 60423
1949.59/1961.61 c #Conflicts: 1222000 | #Constraints: 61423
1949.59/1961.61 c INPROCESSING
1949.59/1961.61 c GARBAGE COLLECT
1949.59/1961.61 c #Conflicts: 1223000 | #Constraints: 35563
1949.59/1961.61 c #Conflicts: 1224000 | #Constraints: 36563
1949.59/1961.61 c #Conflicts: 1225000 | #Constraints: 37563
1949.59/1961.61 c #Conflicts: 1226000 | #Constraints: 38563
1949.59/1961.61 c #Conflicts: 1227000 | #Constraints: 39563
1949.59/1961.61 c #Conflicts: 1228000 | #Constraints: 40563
1949.59/1961.61 c #Conflicts: 1229000 | #Constraints: 41563
1949.59/1961.61 c #Conflicts: 1230000 | #Constraints: 42563
1949.59/1961.61 c #Conflicts: 1231000 | #Constraints: 43563
1949.59/1961.61 c #Conflicts: 1232000 | #Constraints: 44563
1949.59/1961.61 c #Conflicts: 1233000 | #Constraints: 45563
1949.59/1961.61 c #Conflicts: 1234000 | #Constraints: 46563
1949.59/1961.61 c #Conflicts: 1235000 | #Constraints: 47563
1949.59/1961.61 c #Conflicts: 1236000 | #Constraints: 48563
1949.59/1961.61 c #Conflicts: 1237000 | #Constraints: 49563
1949.59/1961.61 c #Conflicts: 1238000 | #Constraints: 50563
1949.59/1961.61 c #Conflicts: 1239000 | #Constraints: 51563
1949.59/1961.61 c #Conflicts: 1240000 | #Constraints: 52563
1949.59/1961.61 c #Conflicts: 1241000 | #Constraints: 53563
1949.59/1961.61 c #Conflicts: 1242000 | #Constraints: 54563
1949.59/1961.61 c #Conflicts: 1243000 | #Constraints: 55563
1949.59/1961.61 c #Conflicts: 1244000 | #Constraints: 56563
1949.59/1961.61 c #Conflicts: 1245000 | #Constraints: 57563
1949.59/1961.61 c #Conflicts: 1246000 | #Constraints: 58563
1949.59/1961.61 c #Conflicts: 1247000 | #Constraints: 59563
1949.59/1961.61 c #Conflicts: 1248000 | #Constraints: 60563
1949.59/1961.61 c INPROCESSING
1949.59/1961.61 c GARBAGE COLLECT
1949.59/1961.61 c #Conflicts: 1249000 | #Constraints: 35257
1949.59/1961.61 c #Conflicts: 1250000 | #Constraints: 36257
1949.59/1961.61 c #Conflicts: 1251000 | #Constraints: 37257
1949.59/1961.61 c #Conflicts: 1252000 | #Constraints: 38257
1949.59/1961.61 c #Conflicts: 1253000 | #Constraints: 39257
1949.59/1961.61 c #Conflicts: 1254000 | #Constraints: 40257
1949.59/1961.61 c #Conflicts: 1255000 | #Constraints: 41257
1949.59/1961.61 c #Conflicts: 1256000 | #Constraints: 42257
1949.59/1961.61 c #Conflicts: 1257000 | #Constraints: 43257
1949.59/1961.61 c #Conflicts: 1258000 | #Constraints: 44257
1949.59/1961.61 c #Conflicts: 1259000 | #Constraints: 45257
1949.59/1961.61 c #Conflicts: 1260000 | #Constraints: 46257
1949.59/1961.61 c #Conflicts: 1261000 | #Constraints: 47257
1949.59/1961.61 c #Conflicts: 1262000 | #Constraints: 48257
1949.59/1961.61 c #Conflicts: 1263000 | #Constraints: 49257
1949.59/1961.61 c #Conflicts: 1264000 | #Constraints: 50257
1949.59/1961.61 c #Conflicts: 1265000 | #Constraints: 51257
1949.59/1961.61 c #Conflicts: 1266000 | #Constraints: 52257
1949.59/1961.61 c #Conflicts: 1267000 | #Constraints: 53257
1949.59/1961.61 c #Conflicts: 1268000 | #Constraints: 54257
1949.59/1961.61 c #Conflicts: 1269000 | #Constraints: 55257
1949.59/1961.61 c #Conflicts: 1270000 | #Constraints: 56257
1949.59/1961.61 c #Conflicts: 1271000 | #Constraints: 57257
1949.59/1961.61 c cpu time 1932.94 s
1949.59/1961.61 c deterministic time 142982266214 1.43e+11
1949.59/1961.61 c optimization time 7e-05 s
1949.59/1961.61 c total solve time 1932.89 s
1949.59/1961.61 c core-guided solve time 0 s
1949.59/1961.61 c propagation time 1026.88 s
1949.59/1961.61 c conflict analysis time 730.723 s
1949.59/1961.61 c propagations 592769981
1949.59/1961.61 c resolve steps 52378093
1949.59/1961.61 c decisions 11390608
1949.59/1961.61 c conflicts 1271281
1949.59/1961.61 c restarts 2428
1949.59/1961.61 c inprocessing phases 65
1949.59/1961.61 c garbage collections 65 ,( 100.00 )
1949.59/1961.61 c input clauses 7159 ,( 98.61 )
1949.59/1961.61 c input cardinalities 101 ,( 1.39 )
1949.59/1961.61 c input general constraints 0 ,( 0.00 )
1949.59/1961.61 c input average constraint length 6.15
1949.59/1961.61 c input average constraint degree 1.92
1949.59/1961.61 c learned clauses 951388 ,( 74.84 )
1949.59/1961.61 c learned cardinalities 24737 ,( 1.95 )
1949.59/1961.61 c learned general constraints 295164 ,( 23.22 )
1949.59/1961.61 c learned average constraint length 646.70
1949.59/1961.61 c learned average constraint degree 8194141.93
1949.59/1961.61 c watched CF 32, 64, 128, Arb: 90600 , 0 , 0 , 0
1949.59/1961.61 c counting CF 32, 64, 128, Arb: 204564 , 0 , 0 , 0
1949.59/1961.61 c watched constraints 90600 ,( 30.69 )
1949.59/1961.61 c counting constraints 204564 ,( 69.31 )
1949.59/1961.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 800880475 , 441859954 , 1727384807 ,( 91540858 , 1635843949 )
1949.59/1961.61 c gcd simplifications 674
1949.59/1961.61 c detected cardinalities 2113
1949.59/1961.61 c weakened non-implied lits 234463607
1949.59/1961.61 c weakened non-implying lits 153594
1949.59/1961.61 c original variables 6931
1949.59/1961.61 c clausal propagations 226497594
1949.59/1961.61 c cardinality propagations 227359262
1949.59/1961.61 c watched propagations 3163040
1949.59/1961.61 c counting propagations 131024071
1949.59/1961.61 c watch lookups 65899710847
1949.59/1961.61 c watch backjump lookups 0
1949.59/1961.61 c watch checks 24850465699
1949.59/1961.61 c propagation checks 48202889537
1949.59/1961.61 c constraint additions 2819336795
1949.59/1961.61 c trail pops 605431365
1949.59/1961.61 c formula constraints 7260
1949.59/1961.61 c learned constraints 1271277
1949.59/1961.61 c bound constraints 0
1949.59/1961.61 c core-guided constraints 0
1949.59/1961.61 c encountered formula constraints 31129563
1949.59/1961.61 c encountered learned constraints 22519778
1949.59/1961.61 c encountered bound constraints 0
1949.59/1961.61 c encountered core-guided constraints 0
1949.59/1961.61 c LP total time 150.877 s
1949.59/1961.61 c LP solve time 140.06 s
1949.59/1961.61 c LP constraints added 7747
1949.59/1961.61 c LP constraints removed 301
1949.59/1961.61 c LP pivots internal 139591
1949.59/1961.61 c LP pivots root 131790
1949.59/1961.61 c LP calls 22
1949.59/1961.61 c LP optimalities 13
1949.59/1961.61 c LP no pivot count 0
1949.59/1961.61 c LP infeasibilities 4
1949.59/1961.61 c LP valid Farkas constraints 4
1949.59/1961.61 c LP learned Farkas constraints 4
1949.59/1961.61 c LP basis resets 0
1949.59/1961.61 c LP cycling count 0
1949.59/1961.61 c LP singular count 0
1949.59/1961.61 c LP no primal count 0
1949.59/1961.61 c LP no farkas count 0
1949.59/1961.61 c LP other issue count 0
1949.59/1961.61 c LP Gomory cuts 4
1949.59/1961.61 c LP learned cuts 483
1949.59/1961.61 c LP deleted cuts 301
1949.59/1961.61 c LP encountered Gomory constraints 0
1949.59/1961.61 c LP encountered Farkas constraints 28
1949.59/1961.61 c LP encountered learned Farkas constraints 1
1949.59/1961.61 c CG auxiliary variables introduced 0
1949.59/1961.61 c CG solutions found 0
1949.59/1961.61 c CG cores constructed 0
1949.59/1961.61 c CG core cardinality constraints returned 0
1949.59/1961.61 c CG unit cores 0
1949.59/1961.61 c CG single cores 0
1949.59/1961.61 c CG blocks removed during cardinality reduction 0
1949.59/1961.61 c CG first core best 0
1949.59/1961.61 c CG decision core best 0
1949.59/1961.61 c CG core reduction tie 0
1949.59/1961.61 c CG core degree average 0.00
1949.59/1961.61 c CG core slack average 0.00
1949.59/1961.61 c CG core upper bound improvements 0
1949.59/1961.61 c STR number of successful calls 0
1949.59/1961.61 c STR number of unsuccessful calls 0
1949.59/1961.61 c STR number of inconclusive calls 0
1949.59/1961.61 c STR number of successful attempts 0
1949.59/1961.61 c STR number of unsuccessful attempts 0
1949.59/1961.61 c STR number of inconclusive attempts 0
1949.59/1961.61 c STR average degree increase per successful call inf
1949.59/1961.61 c STR average degree increase per successful attempt inf
1949.59/1961.61 c STR total number of conflicts for successful attempts 0
1949.59/1961.61 c STR total number of conflicts for unsuccessful attempts 0
1949.59/1961.61 c STR total number of conflicts for inconclusive attempts 0
1949.59/1961.61 c STR average number of conflicts per successful attempt inf
1949.59/1961.61 c STR average number of conflicts per unsuccessful attempt inf
1949.59/1961.61 c STR average number of conflicts per inconclusive attempt inf
1949.59/1961.61 c AVG.sumWPerc 60.80
1949.59/1961.61 c bigint constraints 0
1949.59/1961.61 s SATISFIABLE
1949.59/1961.61 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (51314 MiB free)
memory of node 1: 64465 MiB (57731 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507449-1751177708/watcher-4507449-1751177708 -o /tmp/evaluation-result-4507449-1751177708/solver-4507449-1751177708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20382 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507449-1751177708.opb PROOFDIR/proof-4507449-1751177708
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21129, runsolver pid=21126
[startup+0.100063 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 21132
/proc/meminfo: memFree=111636804/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=68896 memory=19260 CPUtime=0.05 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 3322 0 0 0 4 1 0 0 20 0 1 0 33448315 70549504 4815 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 17224 4815 2272 1147 0 4651 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 73088 KiB
Current children cumulated memory: 22332 KiB
[startup+0.205688 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 21132
/proc/meminfo: memFree=111633024/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=75348 memory=28328 CPUtime=0.15 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 5676 0 0 0 14 1 0 0 20 0 1 0 33448315 77156352 7082 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 18837 7082 2304 1147 0 6264 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 79540 KiB
Current children cumulated memory: 31400 KiB
[startup+0.305572 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 21132
/proc/meminfo: memFree=111633024/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=75348 memory=28328 CPUtime=0.25 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 5676 0 0 0 24 1 0 0 20 0 1 0 33448315 77156352 7082 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 18837 7082 2304 1147 0 6264 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 79540 KiB
Current children cumulated memory: 31400 KiB
[startup+0.700155 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 21132
/proc/meminfo: memFree=111633024/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=76480 memory=29352 CPUtime=0.63 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 5924 0 0 0 62 1 0 0 20 0 1 0 33448315 78315520 7338 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 19120 7338 2304 1147 0 6547 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80672 KiB
Current children cumulated memory: 32424 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 21132
/proc/meminfo: memFree=111629296/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=78432 memory=32424 CPUtime=1.43 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 6670 0 0 0 140 3 0 0 20 0 1 0 33448315 80314368 8106 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 19608 8106 2336 1147 0 7035 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82624 KiB
Current children cumulated memory: 35496 KiB
[startup+3.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 21133
/proc/meminfo: memFree=111602128/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=82576 memory=39388 CPUtime=3.03 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 7902 0 0 0 294 9 0 0 20 0 1 0 33448315 84557824 9847 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 20644 9847 2336 1147 0 8071 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 86768 KiB
Current children cumulated memory: 42460 KiB
[startup+6.30018 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 21133
/proc/meminfo: memFree=111570964/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=88060 memory=42460 CPUtime=6.22 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 8652 0 0 0 602 20 0 0 20 0 1 0 33448315 90173440 10615 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 22015 10615 2336 1147 0 9442 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 92252 KiB
Current children cumulated memory: 45532 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 4/264 21159
/proc/meminfo: memFree=112447104/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=91548 memory=47964 CPUtime=12.6 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 10050 0 0 0 1223 37 0 0 20 0 1 0 33448315 93745152 11991 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 22887 11991 2336 1147 0 10314 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 95740 KiB
Current children cumulated memory: 51036 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 4/263 21206
/proc/meminfo: memFree=119492092/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=128360 memory=76892 CPUtime=25.36 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 15224 0 0 0 2468 68 0 0 20 0 1 0 33448315 131440640 19223 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 32090 19223 2336 1147 0 19517 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 132552 KiB
Current children cumulated memory: 79964 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 21230
/proc/meminfo: memFree=124391700/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=138700 memory=92952 CPUtime=50.83 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 17707 0 0 0 4970 113 0 0 20 0 1 0 33448315 142028800 23238 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 34675 23238 2336 1147 0 22102 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 142892 KiB
Current children cumulated memory: 96024 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/272 21326
/proc/meminfo: memFree=123924648/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=212152 memory=144028 CPUtime=101.71 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 24355 0 0 0 9986 185 0 0 20 0 1 0 33448315 217243648 36007 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 53038 36007 2336 1147 0 40465 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 216344 KiB
Current children cumulated memory: 147100 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 21422
/proc/meminfo: memFree=123502340/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=237688 memory=174604 CPUtime=161.42 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 29985 0 0 0 15863 279 0 0 20 0 1 0 33448315 243392512 43651 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 59422 43651 2336 1147 0 46849 0
Current children cumulated CPU time: 161.44 s
Current children cumulated vsize: 241880 KiB
Current children cumulated memory: 177676 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/273 21425
/proc/meminfo: memFree=122918372/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=303052 memory=207928 CPUtime=221.17 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 34220 0 0 0 21780 337 0 0 20 0 1 0 33448315 310325248 51982 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
################
# More data... #
################
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 67718 0 0 0 169665 1464 0 0 20 0 1 0 33448315 908726272 164895 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 221857 164895 2368 1147 0 209284 0
Current children cumulated CPU time: 1711.31 s
Current children cumulated vsize: 891620 KiB
Current children cumulated memory: 662652 KiB
[startup+1782.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/273 21554
/proc/meminfo: memFree=116924196/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=890452 memory=664596 CPUtime=1771.08 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68479 0 0 0 175608 1500 0 0 20 0 1 0 33448315 911822848 166149 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222613 166149 2368 1147 0 210040 0
Current children cumulated CPU time: 1771.1 s
Current children cumulated vsize: 894644 KiB
Current children cumulated memory: 667668 KiB
[startup+1842.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/273 21556
/proc/meminfo: memFree=116559584/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1830.84 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 181542 1542 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1830.86 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1902.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/272 21559
/proc/meminfo: memFree=116081912/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1890.57 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 187454 1603 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1890.59 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1961.65 s]
# the end of solver process 21129 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1932.96 s, system=16.6826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1920 s]*
/proc/loadavg: 4.12 4.12 4.10 5/272 21560
/proc/meminfo: memFree=115929896/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1908.16 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 189196 1620 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1908.18 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1945.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 21561
/proc/meminfo: memFree=115728904/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1933.7 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 191723 1647 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1933.72 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1952 s]*
/proc/loadavg: 4.15 4.12 4.10 5/271 21561
/proc/meminfo: memFree=115693312/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1940 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 192344 1656 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1940.02 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1958.4 s]
/proc/loadavg: 4.14 4.12 4.10 5/271 21561
/proc/meminfo: memFree=115638296/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1946.38 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 192976 1662 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1946.4 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1960 s]*
/proc/loadavg: 4.13 4.12 4.10 5/271 21561
/proc/meminfo: memFree=115625812/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1947.98 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 193135 1663 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1948 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1960.8 s]
/proc/loadavg: 4.13 4.12 4.10 5/271 21561
/proc/meminfo: memFree=115625812/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1948.77 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 193213 1664 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1948.79 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1961.2 s]
/proc/loadavg: 4.13 4.12 4.10 5/271 21561
/proc/meminfo: memFree=115616276/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1949.18 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 193253 1665 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1949.2 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
[startup+1961.6 s]
/proc/loadavg: 4.13 4.12 4.10 5/271 21561
/proc/meminfo: memFree=115616276/131249996 swapFree=33010684/33010684
[pid=21129] ppid=21126 vsize=4192 memory=3072 CPUtime=0.02 cores=1,3
/proc/21129/stat : 21129 (run-dec-break-l) S 21126 21129 20370 0 -1 4194304 242 5037 0 0 0 0 1 1 20 0 1 0 33448310 4292608 768 18446744073709551615 94032435937280 94032436831813 140736700608144 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94032437070864 94032437118608 94032455950336 140736700614933 140736700615134 140736700615134 140736700620736 0
/proc/21129/statm: 1048 768 704 219 0 110 0
[pid=21132] ppid=21129 vsize=891216 memory=665236 CPUtime=1949.57 cores=1,3
/proc/21132/stat : 21132 (roundingsat) R 21129 21129 20370 0 -1 4194304 68645 0 0 0 193292 1665 0 0 20 0 1 0 33448315 912605184 166309 18446744073709551615 4227072 8923433 140736368295440 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14753792 140736368302324 140736368302632 140736368302632 140736368308202 0
/proc/21132/statm: 222804 166309 2368 1147 0 210231 0
Current children cumulated CPU time: 1949.59 s
Current children cumulated vsize: 895408 KiB
Current children cumulated memory: 668308 KiB
Child status: 0
Real time (s): 1961.65
CPU time (s): 1949.65
CPU user time (s): 1932.96
CPU system time (s): 16.6826
CPU usage (%): 99.388
Max. virtual memory (cumulated for all children) (KiB): 895408
Max. memory (cumulated for all children) (KiB): 668308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1932.96
system time used= 16.6826
maximum resident set size= 665236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73948
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6937896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 825
involuntary context switches= 4379
# summary of solver processes directly reported to runsolver:
# pid: 21129
# total CPU time (s): 1949.65
# total CPU user time (s): 1932.96
# total CPU system time (s): 16.6826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.27989 second user time and 9.26491 second system time
The end
Begin job on nodeC015 at 2025-06-29 08:15:08
IDJOB=4507449
IDBENCH=158353
IDSOLVER=3358
FILE ID=nodeC015/4507449-1751177708
RUNJOBID= nodeC015-1751170426-20382
SLURM_JOB_ID= 9587528
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507449-1751177708/watcher-4507449-1751177708 -o /tmp/evaluation-result-4507449-1751177708/solver-4507449-1751177708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751170426-20382 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507449-1751177708.opb PROOFDIR/proof-4507449-1751177708
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=909302959
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.034
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.819
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.074
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.079
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.063
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.368
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3585.879
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 111663996 kB
MemAvailable: 126870900 kB
Buffers: 3280 kB
Cached: 16000520 kB
SwapCached: 0 kB
Active: 3219680 kB
Inactive: 15780860 kB
Active(anon): 3015496 kB
Inactive(anon): 0 kB
Active(file): 204184 kB
Inactive(file): 15780860 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 130300 kB
Writeback: 0 kB
AnonPages: 2997112 kB
Mapped: 116224 kB
Shmem: 18076 kB
KReclaimable: 122200 kB
Slab: 211508 kB
SReclaimable: 122200 kB
SUnreclaim: 89308 kB
KernelStack: 4336 kB
PageTables: 9088 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 3950960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150696 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2295808 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432984 MiB
End job on nodeC015 at 2025-06-29 08:47:50