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-4507448-1751183335.opb'
0.00/0.03 c read 0.44MB (16.95ms)
0.00/0.03 c [cnf: #variables 6868 #clauses 7072 #duplicates 0 #arr 44106]
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.05 c [group: #orbits ~= 1212] (20.82ms)
0.00/0.05 c
0.00/0.05 c detect special group actions
0.00/0.05 c probe for Johnson action (limit=64)
0.00/0.05 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (5.20ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 34544 #edges 129420]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 3.84*10^2 #generators 7] (19.38ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.05ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 7 generators (0.26ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 196 #add_vars 63]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4507448-1751183335.opb.pre'
0.00/0.08 c wrote 0.45MB (3.30ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 20.82ms 30.57% approx_orbits
0.00/0.08 c 19.38ms 28.46% detect_generic
0.00/0.08 c 16.95ms 24.89% parse
0.00/0.08 c 5.20ms 7.64% detect_special
0.00/0.08 c 3.30ms 4.85% output
0.00/0.08 c 1.44ms 2.11% other
0.00/0.08 c 0.70ms 1.03% finalize_order
0.00/0.08 c 0.26ms 0.38% break_generic
0.00/0.08 c 0.05ms 0.07% optimize_gens
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 68.10ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.06/0.12 c RoundingSat 2
0.06/0.12 c branch pb25
0.06/0.12 c commit 63f22ad
0.15/0.24 c #variables 6931 #constraints 7260
50.08/50.37 c #Conflicts: 1000 | #Constraints: 8259
50.08/50.37 c #Conflicts: 2000 | #Constraints: 9259
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 3000 | #Constraints: 8883
50.08/50.37 c #Conflicts: 4000 | #Constraints: 9883
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 5000 | #Constraints: 9347
50.08/50.37 c #Conflicts: 6000 | #Constraints: 10347
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 7000 | #Constraints: 9402
50.08/50.37 c #Conflicts: 8000 | #Constraints: 10402
50.08/50.37 c #Conflicts: 9000 | #Constraints: 11402
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 10000 | #Constraints: 10152
50.08/50.37 c #Conflicts: 11000 | #Constraints: 11152
50.08/50.37 c #Conflicts: 12000 | #Constraints: 12152
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 13000 | #Constraints: 10630
50.08/50.37 c #Conflicts: 14000 | #Constraints: 11630
50.08/50.37 c #Conflicts: 15000 | #Constraints: 12630
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 16000 | #Constraints: 10882
50.08/50.37 c #Conflicts: 17000 | #Constraints: 11882
50.08/50.37 c #Conflicts: 18000 | #Constraints: 12882
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 19000 | #Constraints: 10917
50.08/50.37 c #Conflicts: 20000 | #Constraints: 11917
50.08/50.37 c #Conflicts: 21000 | #Constraints: 12917
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 22000 | #Constraints: 10740
50.08/50.37 c #Conflicts: 23000 | #Constraints: 11740
50.08/50.37 c #Conflicts: 24000 | #Constraints: 12740
50.08/50.37 c #Conflicts: 25000 | #Constraints: 13740
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 26000 | #Constraints: 11381
50.08/50.37 c #Conflicts: 27000 | #Constraints: 12381
50.08/50.37 c #Conflicts: 28000 | #Constraints: 13381
50.08/50.37 c #Conflicts: 29000 | #Constraints: 14381
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 30000 | #Constraints: 11791
50.08/50.37 c #Conflicts: 31000 | #Constraints: 12791
50.08/50.37 c #Conflicts: 32000 | #Constraints: 13791
50.08/50.37 c #Conflicts: 33000 | #Constraints: 14791
50.08/50.37 c #Conflicts: 34000 | #Constraints: 15791
50.08/50.37 c #Conflicts: 35000 | #Constraints: 16791
50.08/50.37 c #Conflicts: 36000 | #Constraints: 17791
50.08/50.37 c #Conflicts: 37000 | #Constraints: 18791
50.08/50.37 c #Conflicts: 38000 | #Constraints: 19791
50.08/50.37 c #Conflicts: 39000 | #Constraints: 20791
50.08/50.37 c #Conflicts: 40000 | #Constraints: 21791
50.08/50.37 c #Conflicts: 41000 | #Constraints: 22791
50.08/50.37 c #Conflicts: 42000 | #Constraints: 23791
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 43000 | #Constraints: 16103
50.08/50.37 c #Conflicts: 44000 | #Constraints: 17103
50.08/50.37 c #Conflicts: 45000 | #Constraints: 18103
50.08/50.37 c #Conflicts: 46000 | #Constraints: 19103
50.08/50.37 c #Conflicts: 47000 | #Constraints: 20103
50.08/50.37 c #Conflicts: 48000 | #Constraints: 21103
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 49000 | #Constraints: 15275
50.08/50.37 c #Conflicts: 50000 | #Constraints: 16275
50.08/50.37 c #Conflicts: 51000 | #Constraints: 17275
50.08/50.37 c #Conflicts: 52000 | #Constraints: 18275
50.08/50.37 c #Conflicts: 53000 | #Constraints: 19275
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 54000 | #Constraints: 14184
50.08/50.37 c #Conflicts: 55000 | #Constraints: 15184
50.08/50.37 c #Conflicts: 56000 | #Constraints: 16184
50.08/50.37 c #Conflicts: 57000 | #Constraints: 17184
50.08/50.37 c #Conflicts: 58000 | #Constraints: 18184
50.08/50.37 c INPROCESSING
50.08/50.37 c GARBAGE COLLECT
50.08/50.37 c #Conflicts: 59000 | #Constraints: 13436
50.08/50.37 c #Conflicts: 60000 | #Constraints: 14436
50.08/50.37 c #Conflicts: 61000 | #Constraints: 15436
50.08/50.37 c #Conflicts: 62000 | #Constraints: 16436
50.08/50.37 c #Conflicts: 63000 | #Constraints: 17436
50.08/50.37 c #Conflicts: 64000 | #Constraints: 18436
50.08/50.37 c #Conflicts: 65000 | #Constraints: 19436
50.08/50.37 c #Conflicts: 66000 | #Constraints: 20436
50.08/50.37 c #Conflicts: 67000 | #Constraints: 21436
50.08/50.37 c #Conflicts: 68000 | #Constraints: 22436
50.08/50.37 c #Conflicts: 69000 | #Constraints: 23436
50.08/50.37 c #Conflicts: 70000 | #Constraints: 24436
116.35/116.82 c #Conflicts: 71000 | #Constraints: 25436
116.35/116.82 c #Conflicts: 72000 | #Constraints: 26436
116.35/116.82 c #Conflicts: 73000 | #Constraints: 27436
116.35/116.82 c #Conflicts: 74000 | #Constraints: 28436
116.35/116.82 c #Conflicts: 75000 | #Constraints: 29436
116.35/116.82 c #Conflicts: 76000 | #Constraints: 30436
116.35/116.82 c #Conflicts: 77000 | #Constraints: 31436
116.35/116.82 c #Conflicts: 78000 | #Constraints: 32436
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 79000 | #Constraints: 20970
116.35/116.82 c #Conflicts: 80000 | #Constraints: 21970
116.35/116.82 c #Conflicts: 81000 | #Constraints: 22970
116.35/116.82 c #Conflicts: 82000 | #Constraints: 23970
116.35/116.82 c #Conflicts: 83000 | #Constraints: 24970
116.35/116.82 c #Conflicts: 84000 | #Constraints: 25970
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 85000 | #Constraints: 17312
116.35/116.82 c #Conflicts: 86000 | #Constraints: 18312
116.35/116.82 c #Conflicts: 87000 | #Constraints: 19312
116.35/116.82 c #Conflicts: 88000 | #Constraints: 20312
116.35/116.82 c #Conflicts: 89000 | #Constraints: 21312
116.35/116.82 c #Conflicts: 90000 | #Constraints: 22312
116.35/116.82 c #Conflicts: 91000 | #Constraints: 23312
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 92000 | #Constraints: 16028
116.35/116.82 c #Conflicts: 93000 | #Constraints: 17028
116.35/116.82 c #Conflicts: 94000 | #Constraints: 18028
116.35/116.82 c #Conflicts: 95000 | #Constraints: 19028
116.35/116.82 c #Conflicts: 96000 | #Constraints: 20028
116.35/116.82 c #Conflicts: 97000 | #Constraints: 21028
116.35/116.82 c #Conflicts: 98000 | #Constraints: 22028
116.35/116.82 c #Conflicts: 99000 | #Constraints: 23028
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 100000 | #Constraints: 16260
116.35/116.82 c #Conflicts: 101000 | #Constraints: 17260
116.35/116.82 c #Conflicts: 102000 | #Constraints: 18260
116.35/116.82 c #Conflicts: 103000 | #Constraints: 19260
116.35/116.82 c #Conflicts: 104000 | #Constraints: 20260
116.35/116.82 c #Conflicts: 105000 | #Constraints: 21260
116.35/116.82 c #Conflicts: 106000 | #Constraints: 22260
116.35/116.82 c #Conflicts: 107000 | #Constraints: 23260
116.35/116.82 c #Conflicts: 108000 | #Constraints: 24260
116.35/116.82 c #Conflicts: 109000 | #Constraints: 25260
116.35/116.82 c #Conflicts: 110000 | #Constraints: 26260
116.35/116.82 c #Conflicts: 111000 | #Constraints: 27260
116.35/116.82 c #Conflicts: 112000 | #Constraints: 28260
116.35/116.82 c #Conflicts: 113000 | #Constraints: 29260
116.35/116.82 c #Conflicts: 114000 | #Constraints: 30260
116.35/116.82 c #Conflicts: 115000 | #Constraints: 31260
116.35/116.82 c #Conflicts: 116000 | #Constraints: 32260
116.35/116.82 c #Conflicts: 117000 | #Constraints: 33260
116.35/116.82 c #Conflicts: 118000 | #Constraints: 34260
116.35/116.82 c #Conflicts: 119000 | #Constraints: 35260
116.35/116.82 c #Conflicts: 120000 | #Constraints: 36260
116.35/116.82 c #Conflicts: 121000 | #Constraints: 37260
116.35/116.82 c #Conflicts: 122000 | #Constraints: 38260
116.35/116.82 c #Conflicts: 123000 | #Constraints: 39260
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 124000 | #Constraints: 24192
116.35/116.82 c #Conflicts: 125000 | #Constraints: 25192
116.35/116.82 c #Conflicts: 126000 | #Constraints: 26192
116.35/116.82 c #Conflicts: 127000 | #Constraints: 27192
116.35/116.82 c #Conflicts: 128000 | #Constraints: 28192
116.35/116.82 c #Conflicts: 129000 | #Constraints: 29192
116.35/116.82 c #Conflicts: 130000 | #Constraints: 30192
116.35/116.82 c #Conflicts: 131000 | #Constraints: 31192
116.35/116.82 c #Conflicts: 132000 | #Constraints: 32192
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 133000 | #Constraints: 20867
116.35/116.82 c #Conflicts: 134000 | #Constraints: 21867
116.35/116.82 c #Conflicts: 135000 | #Constraints: 22867
116.35/116.82 c #Conflicts: 136000 | #Constraints: 23867
116.35/116.82 c #Conflicts: 137000 | #Constraints: 24867
116.35/116.82 c #Conflicts: 138000 | #Constraints: 25867
116.35/116.82 c #Conflicts: 139000 | #Constraints: 26867
116.35/116.82 c #Conflicts: 140000 | #Constraints: 27867
116.35/116.82 c INPROCESSING
116.35/116.82 c GARBAGE COLLECT
116.35/116.82 c #Conflicts: 141000 | #Constraints: 18378
116.35/116.82 c #Conflicts: 142000 | #Constraints: 19378
116.35/116.82 c #Conflicts: 143000 | #Constraints: 20378
116.35/116.82 c #Conflicts: 144000 | #Constraints: 21378
116.35/116.82 c #Conflicts: 145000 | #Constraints: 22378
187.15/187.83 c #Conflicts: 146000 | #Constraints: 23378
187.15/187.83 c #Conflicts: 147000 | #Constraints: 24378
187.15/187.83 c #Conflicts: 148000 | #Constraints: 25378
187.15/187.83 c #Conflicts: 149000 | #Constraints: 26378
187.15/187.83 c INPROCESSING
187.15/187.83 c GARBAGE COLLECT
187.15/187.83 c #Conflicts: 150000 | #Constraints: 17710
187.15/187.83 c #Conflicts: 151000 | #Constraints: 18710
187.15/187.83 c #Conflicts: 152000 | #Constraints: 19710
187.15/187.83 c #Conflicts: 153000 | #Constraints: 20710
187.15/187.83 c #Conflicts: 154000 | #Constraints: 21710
187.15/187.83 c #Conflicts: 155000 | #Constraints: 22710
187.15/187.83 c #Conflicts: 156000 | #Constraints: 23710
187.15/187.83 c #Conflicts: 157000 | #Constraints: 24710
187.15/187.83 c #Conflicts: 158000 | #Constraints: 25710
187.15/187.83 c #Conflicts: 159000 | #Constraints: 26710
187.15/187.83 c #Conflicts: 160000 | #Constraints: 27710
187.15/187.83 c #Conflicts: 161000 | #Constraints: 28710
187.15/187.83 c #Conflicts: 162000 | #Constraints: 29710
187.15/187.83 c #Conflicts: 163000 | #Constraints: 30710
187.15/187.83 c #Conflicts: 164000 | #Constraints: 31710
187.15/187.83 c #Conflicts: 165000 | #Constraints: 32710
187.15/187.83 c #Conflicts: 166000 | #Constraints: 33710
187.15/187.83 c #Conflicts: 167000 | #Constraints: 34710
187.15/187.83 c #Conflicts: 168000 | #Constraints: 35710
187.15/187.83 c #Conflicts: 169000 | #Constraints: 36710
187.15/187.83 c #Conflicts: 170000 | #Constraints: 37710
187.15/187.83 c #Conflicts: 171000 | #Constraints: 38710
187.15/187.83 c #Conflicts: 172000 | #Constraints: 39710
187.15/187.83 c #Conflicts: 173000 | #Constraints: 40710
187.15/187.83 c #Conflicts: 174000 | #Constraints: 41710
187.15/187.83 c #Conflicts: 175000 | #Constraints: 42710
187.15/187.83 c #Conflicts: 176000 | #Constraints: 43710
187.15/187.83 c #Conflicts: 177000 | #Constraints: 44710
187.15/187.83 c #Conflicts: 178000 | #Constraints: 45710
187.15/187.83 c #Conflicts: 179000 | #Constraints: 46710
187.15/187.83 c INPROCESSING
187.15/187.83 c GARBAGE COLLECT
187.15/187.83 c #Conflicts: 180000 | #Constraints: 28013
187.15/187.83 c #Conflicts: 181000 | #Constraints: 29013
187.15/187.83 c #Conflicts: 182000 | #Constraints: 30013
187.15/187.83 c #Conflicts: 183000 | #Constraints: 31013
187.15/187.83 c #Conflicts: 184000 | #Constraints: 32013
187.15/187.83 c #Conflicts: 185000 | #Constraints: 33013
187.15/187.83 c #Conflicts: 186000 | #Constraints: 34013
187.15/187.83 c #Conflicts: 187000 | #Constraints: 35013
187.15/187.83 c #Conflicts: 188000 | #Constraints: 36013
187.15/187.83 c #Conflicts: 189000 | #Constraints: 37013
187.15/187.83 c INPROCESSING
187.15/187.83 c GARBAGE COLLECT
187.15/187.83 c #Conflicts: 190000 | #Constraints: 23081
187.15/187.83 c #Conflicts: 191000 | #Constraints: 24081
187.15/187.83 c #Conflicts: 192000 | #Constraints: 25081
187.15/187.83 c #Conflicts: 193000 | #Constraints: 26081
187.15/187.83 c #Conflicts: 194000 | #Constraints: 27081
187.15/187.83 c #Conflicts: 195000 | #Constraints: 28081
187.15/187.83 c #Conflicts: 196000 | #Constraints: 29081
187.15/187.83 c #Conflicts: 197000 | #Constraints: 30081
187.15/187.83 c #Conflicts: 198000 | #Constraints: 31081
187.15/187.83 c #Conflicts: 199000 | #Constraints: 32081
187.15/187.83 c #Conflicts: 200000 | #Constraints: 33081
187.15/187.83 c INPROCESSING
187.15/187.83 c GARBAGE COLLECT
187.15/187.83 c #Conflicts: 201000 | #Constraints: 21437
187.15/187.83 c #Conflicts: 202000 | #Constraints: 22437
187.15/187.83 c #Conflicts: 203000 | #Constraints: 23437
187.15/187.83 c #Conflicts: 204000 | #Constraints: 24437
187.15/187.83 c #Conflicts: 205000 | #Constraints: 25437
187.15/187.83 c #Conflicts: 206000 | #Constraints: 26437
187.15/187.83 c #Conflicts: 207000 | #Constraints: 27437
187.15/187.83 c #Conflicts: 208000 | #Constraints: 28437
187.15/187.83 c #Conflicts: 209000 | #Constraints: 29437
187.15/187.83 c #Conflicts: 210000 | #Constraints: 30437
187.15/187.83 c INPROCESSING
187.15/187.83 c GARBAGE COLLECT
187.15/187.83 c rational objective 104.003
271.80/272.79 c #Conflicts: 211000 | #Constraints: 19819
271.80/272.79 c #Conflicts: 212000 | #Constraints: 20819
271.80/272.79 c #Conflicts: 213000 | #Constraints: 21819
271.80/272.79 c #Conflicts: 214000 | #Constraints: 22819
271.80/272.79 c #Conflicts: 215000 | #Constraints: 23819
271.80/272.79 c #Conflicts: 216000 | #Constraints: 24819
271.80/272.79 c #Conflicts: 217000 | #Constraints: 25819
271.80/272.79 c #Conflicts: 218000 | #Constraints: 26819
271.80/272.79 c #Conflicts: 219000 | #Constraints: 27819
271.80/272.79 c #Conflicts: 220000 | #Constraints: 28819
271.80/272.79 c #Conflicts: 221000 | #Constraints: 29819
271.80/272.79 c #Conflicts: 222000 | #Constraints: 30819
271.80/272.79 c #Conflicts: 223000 | #Constraints: 31819
271.80/272.79 c #Conflicts: 224000 | #Constraints: 32819
271.80/272.79 c #Conflicts: 225000 | #Constraints: 33819
271.80/272.79 c #Conflicts: 226000 | #Constraints: 34819
271.80/272.79 c #Conflicts: 227000 | #Constraints: 35819
271.80/272.79 c #Conflicts: 228000 | #Constraints: 36819
271.80/272.79 c #Conflicts: 229000 | #Constraints: 37819
271.80/272.79 c #Conflicts: 230000 | #Constraints: 38819
271.80/272.79 c #Conflicts: 231000 | #Constraints: 39819
271.80/272.79 c #Conflicts: 232000 | #Constraints: 40819
271.80/272.79 c #Conflicts: 233000 | #Constraints: 41819
271.80/272.79 c #Conflicts: 234000 | #Constraints: 42819
271.80/272.79 c #Conflicts: 235000 | #Constraints: 43819
271.80/272.79 c #Conflicts: 236000 | #Constraints: 44819
271.80/272.79 c #Conflicts: 237000 | #Constraints: 45819
271.80/272.79 c #Conflicts: 238000 | #Constraints: 46819
271.80/272.79 c #Conflicts: 239000 | #Constraints: 47819
271.80/272.79 c #Conflicts: 240000 | #Constraints: 48819
271.80/272.79 c #Conflicts: 241000 | #Constraints: 49819
271.80/272.79 c #Conflicts: 242000 | #Constraints: 50819
271.80/272.79 c #Conflicts: 243000 | #Constraints: 51819
271.80/272.79 c #Conflicts: 244000 | #Constraints: 52819
271.80/272.79 c #Conflicts: 245000 | #Constraints: 53819
271.80/272.79 c INPROCESSING
271.80/272.79 c GARBAGE COLLECT
271.80/272.79 c #Conflicts: 246000 | #Constraints: 31485
271.80/272.79 c #Conflicts: 247000 | #Constraints: 32485
271.80/272.79 c #Conflicts: 248000 | #Constraints: 33485
271.80/272.79 c #Conflicts: 249000 | #Constraints: 34485
271.80/272.79 c #Conflicts: 250000 | #Constraints: 35485
271.80/272.79 c #Conflicts: 251000 | #Constraints: 36485
271.80/272.79 c #Conflicts: 252000 | #Constraints: 37485
271.80/272.79 c #Conflicts: 253000 | #Constraints: 38485
271.80/272.79 c #Conflicts: 254000 | #Constraints: 39485
271.80/272.79 c #Conflicts: 255000 | #Constraints: 40485
271.80/272.79 c #Conflicts: 256000 | #Constraints: 41485
271.80/272.79 c #Conflicts: 257000 | #Constraints: 42485
271.80/272.79 c INPROCESSING
271.80/272.79 c GARBAGE COLLECT
271.80/272.79 c #Conflicts: 258000 | #Constraints: 25873
271.80/272.79 c #Conflicts: 259000 | #Constraints: 26873
271.80/272.79 c #Conflicts: 260000 | #Constraints: 27873
271.80/272.79 c #Conflicts: 261000 | #Constraints: 28873
271.80/272.79 c #Conflicts: 262000 | #Constraints: 29873
271.80/272.79 c #Conflicts: 263000 | #Constraints: 30873
271.80/272.79 c #Conflicts: 264000 | #Constraints: 31873
271.80/272.79 c #Conflicts: 265000 | #Constraints: 32873
271.80/272.79 c #Conflicts: 266000 | #Constraints: 33873
271.80/272.79 c #Conflicts: 267000 | #Constraints: 34873
271.80/272.79 c #Conflicts: 268000 | #Constraints: 35873
271.80/272.79 c #Conflicts: 269000 | #Constraints: 36873
271.80/272.79 c INPROCESSING
271.80/272.79 c GARBAGE COLLECT
271.80/272.79 c #Conflicts: 270000 | #Constraints: 22984
271.80/272.79 c #Conflicts: 271000 | #Constraints: 23984
271.80/272.79 c #Conflicts: 272000 | #Constraints: 24984
271.80/272.79 c #Conflicts: 273000 | #Constraints: 25984
271.80/272.79 c #Conflicts: 274000 | #Constraints: 26984
271.80/272.79 c #Conflicts: 275000 | #Constraints: 27984
271.80/272.79 c #Conflicts: 276000 | #Constraints: 28984
271.80/272.79 c #Conflicts: 277000 | #Constraints: 29984
271.80/272.79 c #Conflicts: 278000 | #Constraints: 30984
271.80/272.79 c #Conflicts: 279000 | #Constraints: 31984
271.80/272.79 c #Conflicts: 280000 | #Constraints: 32984
271.80/272.79 c #Conflicts: 281000 | #Constraints: 33984
271.80/272.79 c #Conflicts: 282000 | #Constraints: 34984
271.80/272.79 c INPROCESSING
271.80/272.79 c GARBAGE COLLECT
271.80/272.79 c #Conflicts: 283000 | #Constraints: 22399
271.80/272.79 c #Conflicts: 284000 | #Constraints: 23399
271.80/272.79 c #Conflicts: 285000 | #Constraints: 24399
271.80/272.79 c #Conflicts: 286000 | #Constraints: 25399
271.80/272.79 c #Conflicts: 287000 | #Constraints: 26399
360.75/361.95 c #Conflicts: 288000 | #Constraints: 27399
360.75/361.95 c #Conflicts: 289000 | #Constraints: 28399
360.75/361.95 c #Conflicts: 290000 | #Constraints: 29399
360.75/361.95 c #Conflicts: 291000 | #Constraints: 30399
360.75/361.95 c #Conflicts: 292000 | #Constraints: 31399
360.75/361.95 c #Conflicts: 293000 | #Constraints: 32399
360.75/361.95 c #Conflicts: 294000 | #Constraints: 33399
360.75/361.95 c #Conflicts: 295000 | #Constraints: 34399
360.75/361.95 c #Conflicts: 296000 | #Constraints: 35399
360.75/361.95 c #Conflicts: 297000 | #Constraints: 36399
360.75/361.95 c #Conflicts: 298000 | #Constraints: 37399
360.75/361.95 c #Conflicts: 299000 | #Constraints: 38399
360.75/361.95 c #Conflicts: 300000 | #Constraints: 39399
360.75/361.95 c #Conflicts: 301000 | #Constraints: 40399
360.75/361.95 c #Conflicts: 302000 | #Constraints: 41399
360.75/361.95 c #Conflicts: 303000 | #Constraints: 42399
360.75/361.95 c #Conflicts: 304000 | #Constraints: 43399
360.75/361.95 c #Conflicts: 305000 | #Constraints: 44399
360.75/361.95 c #Conflicts: 306000 | #Constraints: 45399
360.75/361.95 c #Conflicts: 307000 | #Constraints: 46399
360.75/361.95 c #Conflicts: 308000 | #Constraints: 47399
360.75/361.95 c #Conflicts: 309000 | #Constraints: 48399
360.75/361.95 c #Conflicts: 310000 | #Constraints: 49399
360.75/361.95 c #Conflicts: 311000 | #Constraints: 50399
360.75/361.95 c #Conflicts: 312000 | #Constraints: 51399
360.75/361.95 c #Conflicts: 313000 | #Constraints: 52399
360.75/361.95 c #Conflicts: 314000 | #Constraints: 53399
360.75/361.95 c #Conflicts: 315000 | #Constraints: 54399
360.75/361.95 c #Conflicts: 316000 | #Constraints: 55399
360.75/361.95 c #Conflicts: 317000 | #Constraints: 56399
360.75/361.95 c #Conflicts: 318000 | #Constraints: 57399
360.75/361.95 c #Conflicts: 319000 | #Constraints: 58399
360.75/361.95 c #Conflicts: 320000 | #Constraints: 59399
360.75/361.95 c #Conflicts: 321000 | #Constraints: 60399
360.75/361.95 c #Conflicts: 322000 | #Constraints: 61399
360.75/361.95 c INPROCESSING
360.75/361.95 c GARBAGE COLLECT
360.75/361.95 c #Conflicts: 323000 | #Constraints: 35421
360.75/361.95 c #Conflicts: 324000 | #Constraints: 36421
360.75/361.95 c #Conflicts: 325000 | #Constraints: 37421
360.75/361.95 c #Conflicts: 326000 | #Constraints: 38421
360.75/361.95 c #Conflicts: 327000 | #Constraints: 39421
360.75/361.95 c #Conflicts: 328000 | #Constraints: 40421
360.75/361.95 c #Conflicts: 329000 | #Constraints: 41421
360.75/361.95 c #Conflicts: 330000 | #Constraints: 42421
360.75/361.95 c #Conflicts: 331000 | #Constraints: 43421
360.75/361.95 c #Conflicts: 332000 | #Constraints: 44421
360.75/361.95 c #Conflicts: 333000 | #Constraints: 45421
360.75/361.95 c #Conflicts: 334000 | #Constraints: 46421
360.75/361.95 c #Conflicts: 335000 | #Constraints: 47421
360.75/361.95 c #Conflicts: 336000 | #Constraints: 48421
360.75/361.95 c INPROCESSING
360.75/361.95 c GARBAGE COLLECT
360.75/361.95 c #Conflicts: 337000 | #Constraints: 29128
360.75/361.95 c #Conflicts: 338000 | #Constraints: 30128
360.75/361.95 c #Conflicts: 339000 | #Constraints: 31128
360.75/361.95 c #Conflicts: 340000 | #Constraints: 32128
360.75/361.95 c #Conflicts: 341000 | #Constraints: 33128
360.75/361.95 c #Conflicts: 342000 | #Constraints: 34128
360.75/361.95 c #Conflicts: 343000 | #Constraints: 35128
360.75/361.95 c #Conflicts: 344000 | #Constraints: 36128
360.75/361.95 c #Conflicts: 345000 | #Constraints: 37128
360.75/361.95 c #Conflicts: 346000 | #Constraints: 38128
360.75/361.95 c #Conflicts: 347000 | #Constraints: 39128
360.75/361.95 c #Conflicts: 348000 | #Constraints: 40128
360.75/361.95 c #Conflicts: 349000 | #Constraints: 41128
360.75/361.95 c INPROCESSING
360.75/361.95 c GARBAGE COLLECT
360.75/361.95 c #Conflicts: 350000 | #Constraints: 25082
360.75/361.95 c #Conflicts: 351000 | #Constraints: 26082
360.75/361.95 c #Conflicts: 352000 | #Constraints: 27082
360.75/361.95 c #Conflicts: 353000 | #Constraints: 28082
360.75/361.95 c #Conflicts: 354000 | #Constraints: 29082
360.75/361.95 c #Conflicts: 355000 | #Constraints: 30082
360.75/361.95 c #Conflicts: 356000 | #Constraints: 31082
360.75/361.95 c #Conflicts: 357000 | #Constraints: 32082
360.75/361.95 c #Conflicts: 358000 | #Constraints: 33082
360.75/361.95 c #Conflicts: 359000 | #Constraints: 34082
360.75/361.95 c #Conflicts: 360000 | #Constraints: 35082
360.75/361.95 c #Conflicts: 361000 | #Constraints: 36082
360.75/361.95 c #Conflicts: 362000 | #Constraints: 37082
360.75/361.95 c #Conflicts: 363000 | #Constraints: 38082
360.75/361.95 c INPROCESSING
446.91/448.39 c GARBAGE COLLECT
446.91/448.39 c #Conflicts: 364000 | #Constraints: 23588
446.91/448.39 c #Conflicts: 365000 | #Constraints: 24588
446.91/448.39 c #Conflicts: 366000 | #Constraints: 25588
446.91/448.39 c #Conflicts: 367000 | #Constraints: 26588
446.91/448.39 c #Conflicts: 368000 | #Constraints: 27588
446.91/448.39 c #Conflicts: 369000 | #Constraints: 28588
446.91/448.39 c #Conflicts: 370000 | #Constraints: 29588
446.91/448.39 c #Conflicts: 371000 | #Constraints: 30588
446.91/448.39 c #Conflicts: 372000 | #Constraints: 31588
446.91/448.39 c #Conflicts: 373000 | #Constraints: 32588
446.91/448.39 c #Conflicts: 374000 | #Constraints: 33588
446.91/448.39 c #Conflicts: 375000 | #Constraints: 34588
446.91/448.39 c #Conflicts: 376000 | #Constraints: 35588
446.91/448.39 c #Conflicts: 377000 | #Constraints: 36588
446.91/448.39 c #Conflicts: 378000 | #Constraints: 37588
446.91/448.39 c #Conflicts: 379000 | #Constraints: 38588
446.91/448.39 c #Conflicts: 380000 | #Constraints: 39588
446.91/448.39 c #Conflicts: 381000 | #Constraints: 40588
446.91/448.39 c #Conflicts: 382000 | #Constraints: 41588
446.91/448.39 c #Conflicts: 383000 | #Constraints: 42588
446.91/448.39 c #Conflicts: 384000 | #Constraints: 43588
446.91/448.39 c #Conflicts: 385000 | #Constraints: 44588
446.91/448.39 c #Conflicts: 386000 | #Constraints: 45588
446.91/448.39 c #Conflicts: 387000 | #Constraints: 46588
446.91/448.39 c #Conflicts: 388000 | #Constraints: 47588
446.91/448.39 c #Conflicts: 389000 | #Constraints: 48588
446.91/448.39 c #Conflicts: 390000 | #Constraints: 49588
446.91/448.39 c #Conflicts: 391000 | #Constraints: 50588
446.91/448.39 c #Conflicts: 392000 | #Constraints: 51588
446.91/448.39 c #Conflicts: 393000 | #Constraints: 52588
446.91/448.39 c #Conflicts: 394000 | #Constraints: 53588
446.91/448.39 c #Conflicts: 395000 | #Constraints: 54588
446.91/448.39 c #Conflicts: 396000 | #Constraints: 55588
446.91/448.39 c #Conflicts: 397000 | #Constraints: 56588
446.91/448.39 c #Conflicts: 398000 | #Constraints: 57588
446.91/448.39 c #Conflicts: 399000 | #Constraints: 58588
446.91/448.39 c #Conflicts: 400000 | #Constraints: 59588
446.91/448.39 c #Conflicts: 401000 | #Constraints: 60588
446.91/448.39 c #Conflicts: 402000 | #Constraints: 61589
446.91/448.39 c #Conflicts: 403000 | #Constraints: 62589
446.91/448.39 c #Conflicts: 404000 | #Constraints: 63589
446.91/448.39 c #Conflicts: 405000 | #Constraints: 64589
446.91/448.39 c #Conflicts: 406000 | #Constraints: 65589
446.91/448.39 c #Conflicts: 407000 | #Constraints: 66589
446.91/448.39 c #Conflicts: 408000 | #Constraints: 67589
446.91/448.39 c #Conflicts: 409000 | #Constraints: 68589
446.91/448.39 c INPROCESSING
446.91/448.39 c GARBAGE COLLECT
446.91/448.39 c rational objective 108.013
549.52/551.23 c #Conflicts: 410000 | #Constraints: 39000
549.52/551.23 c #Conflicts: 411000 | #Constraints: 40000
549.52/551.23 c #Conflicts: 412000 | #Constraints: 41000
549.52/551.23 c #Conflicts: 413000 | #Constraints: 42000
549.52/551.23 c #Conflicts: 414000 | #Constraints: 43000
549.52/551.23 c #Conflicts: 415000 | #Constraints: 44000
549.52/551.23 c #Conflicts: 416000 | #Constraints: 45000
549.52/551.23 c #Conflicts: 417000 | #Constraints: 46000
549.52/551.23 c #Conflicts: 418000 | #Constraints: 47000
549.52/551.23 c #Conflicts: 419000 | #Constraints: 48000
549.52/551.23 c #Conflicts: 420000 | #Constraints: 49000
549.52/551.23 c #Conflicts: 421000 | #Constraints: 50000
549.52/551.23 c #Conflicts: 422000 | #Constraints: 51000
549.52/551.23 c #Conflicts: 423000 | #Constraints: 52000
549.52/551.23 c #Conflicts: 424000 | #Constraints: 53000
549.52/551.23 c INPROCESSING
549.52/551.23 c GARBAGE COLLECT
549.52/551.23 c #Conflicts: 425000 | #Constraints: 31030
549.52/551.23 c #Conflicts: 426000 | #Constraints: 32030
549.52/551.23 c #Conflicts: 427000 | #Constraints: 33030
549.52/551.23 c #Conflicts: 428000 | #Constraints: 34030
549.52/551.23 c #Conflicts: 429000 | #Constraints: 35030
549.52/551.23 c #Conflicts: 430000 | #Constraints: 36030
549.52/551.23 c #Conflicts: 431000 | #Constraints: 37030
549.52/551.23 c #Conflicts: 432000 | #Constraints: 38030
549.52/551.23 c #Conflicts: 433000 | #Constraints: 39030
549.52/551.23 c #Conflicts: 434000 | #Constraints: 40030
549.52/551.23 c #Conflicts: 435000 | #Constraints: 41030
549.52/551.23 c #Conflicts: 436000 | #Constraints: 42030
549.52/551.23 c #Conflicts: 437000 | #Constraints: 43030
549.52/551.23 c #Conflicts: 438000 | #Constraints: 44030
549.52/551.23 c #Conflicts: 439000 | #Constraints: 45030
549.52/551.23 c #Conflicts: 440000 | #Constraints: 46030
549.52/551.23 c INPROCESSING
549.52/551.23 c GARBAGE COLLECT
549.52/551.23 c #Conflicts: 441000 | #Constraints: 27848
549.52/551.23 c #Conflicts: 442000 | #Constraints: 28848
549.52/551.23 c #Conflicts: 443000 | #Constraints: 29848
549.52/551.23 c #Conflicts: 444000 | #Constraints: 30848
549.52/551.23 c #Conflicts: 445000 | #Constraints: 31848
549.52/551.23 c #Conflicts: 446000 | #Constraints: 32848
549.52/551.23 c #Conflicts: 447000 | #Constraints: 33848
549.52/551.23 c #Conflicts: 448000 | #Constraints: 34848
549.52/551.23 c #Conflicts: 449000 | #Constraints: 35848
549.52/551.23 c #Conflicts: 450000 | #Constraints: 36848
549.52/551.23 c #Conflicts: 451000 | #Constraints: 37848
549.52/551.23 c #Conflicts: 452000 | #Constraints: 38848
549.52/551.23 c #Conflicts: 453000 | #Constraints: 39848
549.52/551.23 c #Conflicts: 454000 | #Constraints: 40848
549.52/551.23 c #Conflicts: 455000 | #Constraints: 41848
549.52/551.23 c #Conflicts: 456000 | #Constraints: 42848
549.52/551.23 c INPROCESSING
549.52/551.23 c GARBAGE COLLECT
549.52/551.23 c #Conflicts: 457000 | #Constraints: 26425
549.52/551.23 c #Conflicts: 458000 | #Constraints: 27425
549.52/551.23 c #Conflicts: 459000 | #Constraints: 28425
549.52/551.23 c #Conflicts: 460000 | #Constraints: 29425
549.52/551.23 c #Conflicts: 461000 | #Constraints: 30425
549.52/551.23 c #Conflicts: 462000 | #Constraints: 31425
549.52/551.23 c #Conflicts: 463000 | #Constraints: 32425
549.52/551.23 c #Conflicts: 464000 | #Constraints: 33425
549.52/551.23 c #Conflicts: 465000 | #Constraints: 34425
549.52/551.23 c #Conflicts: 466000 | #Constraints: 35425
549.52/551.23 c #Conflicts: 467000 | #Constraints: 36425
549.52/551.23 c #Conflicts: 468000 | #Constraints: 37425
549.52/551.23 c #Conflicts: 469000 | #Constraints: 38425
549.52/551.23 c #Conflicts: 470000 | #Constraints: 39425
549.52/551.23 c #Conflicts: 471000 | #Constraints: 40425
549.52/551.23 c #Conflicts: 472000 | #Constraints: 41425
549.52/551.23 c #Conflicts: 473000 | #Constraints: 42425
549.52/551.23 c #Conflicts: 474000 | #Constraints: 43425
549.52/551.23 c #Conflicts: 475000 | #Constraints: 44425
549.52/551.23 c #Conflicts: 476000 | #Constraints: 45425
549.52/551.23 c #Conflicts: 477000 | #Constraints: 46425
549.52/551.23 c #Conflicts: 478000 | #Constraints: 47425
549.52/551.23 c #Conflicts: 479000 | #Constraints: 48425
549.52/551.23 c #Conflicts: 480000 | #Constraints: 49425
549.52/551.23 c #Conflicts: 481000 | #Constraints: 50425
549.52/551.23 c #Conflicts: 482000 | #Constraints: 51425
549.52/551.23 c #Conflicts: 483000 | #Constraints: 52425
549.52/551.23 c #Conflicts: 484000 | #Constraints: 53425
549.52/551.23 c #Conflicts: 485000 | #Constraints: 54425
549.52/551.23 c #Conflicts: 486000 | #Constraints: 55425
668.68/670.74 c #Conflicts: 487000 | #Constraints: 56425
668.68/670.74 c #Conflicts: 488000 | #Constraints: 57425
668.68/670.74 c #Conflicts: 489000 | #Constraints: 58425
668.68/670.74 c #Conflicts: 490000 | #Constraints: 59425
668.68/670.74 c #Conflicts: 491000 | #Constraints: 60425
668.68/670.74 c #Conflicts: 492000 | #Constraints: 61425
668.68/670.74 c #Conflicts: 493000 | #Constraints: 62425
668.68/670.74 c #Conflicts: 494000 | #Constraints: 63425
668.68/670.74 c #Conflicts: 495000 | #Constraints: 64425
668.68/670.74 c #Conflicts: 496000 | #Constraints: 65425
668.68/670.74 c #Conflicts: 497000 | #Constraints: 66425
668.68/670.74 c #Conflicts: 498000 | #Constraints: 67425
668.68/670.74 c #Conflicts: 499000 | #Constraints: 68425
668.68/670.74 c #Conflicts: 500000 | #Constraints: 69425
668.68/670.74 c #Conflicts: 501000 | #Constraints: 70425
668.68/670.74 c #Conflicts: 502000 | #Constraints: 71425
668.68/670.74 c #Conflicts: 503000 | #Constraints: 72425
668.68/670.74 c #Conflicts: 504000 | #Constraints: 73425
668.68/670.74 c #Conflicts: 505000 | #Constraints: 74425
668.68/670.74 c #Conflicts: 506000 | #Constraints: 75425
668.68/670.74 c #Conflicts: 507000 | #Constraints: 76425
668.68/670.74 c INPROCESSING
668.68/670.74 c GARBAGE COLLECT
668.68/670.74 c #Conflicts: 508000 | #Constraints: 43162
668.68/670.74 c #Conflicts: 509000 | #Constraints: 44162
668.68/670.74 c #Conflicts: 510000 | #Constraints: 45162
668.68/670.74 c #Conflicts: 511000 | #Constraints: 46162
668.68/670.74 c #Conflicts: 512000 | #Constraints: 47162
668.68/670.74 c #Conflicts: 513000 | #Constraints: 48162
668.68/670.74 c #Conflicts: 514000 | #Constraints: 49162
668.68/670.74 c #Conflicts: 515000 | #Constraints: 50162
668.68/670.74 c #Conflicts: 516000 | #Constraints: 51162
668.68/670.74 c #Conflicts: 517000 | #Constraints: 52162
668.68/670.74 c #Conflicts: 518000 | #Constraints: 53162
668.68/670.74 c #Conflicts: 519000 | #Constraints: 54162
668.68/670.74 c #Conflicts: 520000 | #Constraints: 55162
668.68/670.74 c #Conflicts: 521000 | #Constraints: 56162
668.68/670.74 c #Conflicts: 522000 | #Constraints: 57162
668.68/670.74 c #Conflicts: 523000 | #Constraints: 58162
668.68/670.74 c #Conflicts: 524000 | #Constraints: 59162
668.68/670.74 c INPROCESSING
668.68/670.74 c GARBAGE COLLECT
668.68/670.74 c #Conflicts: 525000 | #Constraints: 34538
668.68/670.74 c #Conflicts: 526000 | #Constraints: 35538
668.68/670.74 c #Conflicts: 527000 | #Constraints: 36538
668.68/670.74 c #Conflicts: 528000 | #Constraints: 37538
668.68/670.74 c #Conflicts: 529000 | #Constraints: 38538
668.68/670.74 c #Conflicts: 530000 | #Constraints: 39538
668.68/670.74 c #Conflicts: 531000 | #Constraints: 40538
668.68/670.74 c #Conflicts: 532000 | #Constraints: 41538
668.68/670.74 c #Conflicts: 533000 | #Constraints: 42538
668.68/670.74 c #Conflicts: 534000 | #Constraints: 43538
668.68/670.74 c #Conflicts: 535000 | #Constraints: 44538
668.68/670.74 c #Conflicts: 536000 | #Constraints: 45538
668.68/670.74 c #Conflicts: 537000 | #Constraints: 46538
668.68/670.74 c #Conflicts: 538000 | #Constraints: 47538
668.68/670.74 c #Conflicts: 539000 | #Constraints: 48538
668.68/670.74 c #Conflicts: 540000 | #Constraints: 49538
668.68/670.74 c #Conflicts: 541000 | #Constraints: 50538
668.68/670.74 c INPROCESSING
668.68/670.74 c GARBAGE COLLECT
668.68/670.74 c #Conflicts: 542000 | #Constraints: 30208
668.68/670.74 c #Conflicts: 543000 | #Constraints: 31208
668.68/670.74 c #Conflicts: 544000 | #Constraints: 32208
668.68/670.74 c #Conflicts: 545000 | #Constraints: 33208
668.68/670.74 c #Conflicts: 546000 | #Constraints: 34208
668.68/670.74 c #Conflicts: 547000 | #Constraints: 35208
668.68/670.74 c #Conflicts: 548000 | #Constraints: 36208
668.68/670.74 c #Conflicts: 549000 | #Constraints: 37208
668.68/670.74 c #Conflicts: 550000 | #Constraints: 38208
668.68/670.74 c #Conflicts: 551000 | #Constraints: 39208
668.68/670.74 c #Conflicts: 552000 | #Constraints: 40208
668.68/670.74 c #Conflicts: 553000 | #Constraints: 41208
668.68/670.74 c #Conflicts: 554000 | #Constraints: 42208
668.68/670.74 c #Conflicts: 555000 | #Constraints: 43208
668.68/670.74 c #Conflicts: 556000 | #Constraints: 44208
668.68/670.74 c #Conflicts: 557000 | #Constraints: 45208
668.68/670.74 c #Conflicts: 558000 | #Constraints: 46208
668.68/670.74 c INPROCESSING
668.68/670.74 c GARBAGE COLLECT
668.68/670.74 c #Conflicts: 559000 | #Constraints: 27785
668.68/670.74 c #Conflicts: 560000 | #Constraints: 28785
668.68/670.74 c #Conflicts: 561000 | #Constraints: 29785
668.68/670.74 c #Conflicts: 562000 | #Constraints: 30785
668.68/670.74 c #Conflicts: 563000 | #Constraints: 31785
799.11/801.54 c #Conflicts: 564000 | #Constraints: 32785
799.11/801.54 c #Conflicts: 565000 | #Constraints: 33785
799.11/801.54 c #Conflicts: 566000 | #Constraints: 34785
799.11/801.54 c #Conflicts: 567000 | #Constraints: 35785
799.11/801.54 c #Conflicts: 568000 | #Constraints: 36785
799.11/801.54 c #Conflicts: 569000 | #Constraints: 37785
799.11/801.54 c #Conflicts: 570000 | #Constraints: 38785
799.11/801.54 c #Conflicts: 571000 | #Constraints: 39785
799.11/801.54 c #Conflicts: 572000 | #Constraints: 40785
799.11/801.54 c #Conflicts: 573000 | #Constraints: 41785
799.11/801.54 c #Conflicts: 574000 | #Constraints: 42785
799.11/801.54 c #Conflicts: 575000 | #Constraints: 43785
799.11/801.54 c #Conflicts: 576000 | #Constraints: 44785
799.11/801.54 c INPROCESSING
799.11/801.54 c GARBAGE COLLECT
799.11/801.54 c #Conflicts: 577000 | #Constraints: 27252
799.11/801.54 c #Conflicts: 578000 | #Constraints: 28252
799.11/801.54 c #Conflicts: 579000 | #Constraints: 29252
799.11/801.54 c #Conflicts: 580000 | #Constraints: 30252
799.11/801.54 c #Conflicts: 581000 | #Constraints: 31252
799.11/801.54 c #Conflicts: 582000 | #Constraints: 32252
799.11/801.54 c #Conflicts: 583000 | #Constraints: 33252
799.11/801.54 c #Conflicts: 584000 | #Constraints: 34252
799.11/801.54 c #Conflicts: 585000 | #Constraints: 35253
799.11/801.54 c #Conflicts: 586000 | #Constraints: 36253
799.11/801.54 c #Conflicts: 587000 | #Constraints: 37253
799.11/801.54 c #Conflicts: 588000 | #Constraints: 38253
799.11/801.54 c #Conflicts: 589000 | #Constraints: 39253
799.11/801.54 c #Conflicts: 590000 | #Constraints: 40253
799.11/801.54 c #Conflicts: 591000 | #Constraints: 41253
799.11/801.54 c #Conflicts: 592000 | #Constraints: 42253
799.11/801.54 c #Conflicts: 593000 | #Constraints: 43253
799.11/801.54 c #Conflicts: 594000 | #Constraints: 44253
799.11/801.54 c #Conflicts: 595000 | #Constraints: 45253
799.11/801.54 c #Conflicts: 596000 | #Constraints: 46253
799.11/801.54 c #Conflicts: 597000 | #Constraints: 47253
799.11/801.54 c #Conflicts: 598000 | #Constraints: 48253
799.11/801.54 c #Conflicts: 599000 | #Constraints: 49253
799.11/801.54 c #Conflicts: 600000 | #Constraints: 50253
799.11/801.54 c #Conflicts: 601000 | #Constraints: 51253
799.11/801.54 c #Conflicts: 602000 | #Constraints: 52253
799.11/801.54 c #Conflicts: 603000 | #Constraints: 53253
799.11/801.54 c #Conflicts: 604000 | #Constraints: 54253
799.11/801.54 c #Conflicts: 605000 | #Constraints: 55253
799.11/801.54 c #Conflicts: 606000 | #Constraints: 56253
799.11/801.54 c #Conflicts: 607000 | #Constraints: 57253
799.11/801.54 c #Conflicts: 608000 | #Constraints: 58253
799.11/801.54 c #Conflicts: 609000 | #Constraints: 59253
799.11/801.54 c #Conflicts: 610000 | #Constraints: 60253
799.11/801.54 c #Conflicts: 611000 | #Constraints: 61253
799.11/801.54 c #Conflicts: 612000 | #Constraints: 62253
799.11/801.54 c #Conflicts: 613000 | #Constraints: 63253
799.11/801.54 c #Conflicts: 614000 | #Constraints: 64253
799.11/801.54 c #Conflicts: 615000 | #Constraints: 65253
799.11/801.54 c #Conflicts: 616000 | #Constraints: 66253
799.11/801.54 c #Conflicts: 617000 | #Constraints: 67253
799.11/801.54 c #Conflicts: 618000 | #Constraints: 68253
799.11/801.54 c #Conflicts: 619000 | #Constraints: 69253
799.11/801.54 c #Conflicts: 620000 | #Constraints: 70253
799.11/801.54 c #Conflicts: 621000 | #Constraints: 71253
799.11/801.54 c #Conflicts: 622000 | #Constraints: 72253
799.11/801.54 c #Conflicts: 623000 | #Constraints: 73253
799.11/801.54 c #Conflicts: 624000 | #Constraints: 74253
799.11/801.54 c #Conflicts: 625000 | #Constraints: 75253
799.11/801.54 c #Conflicts: 626000 | #Constraints: 76253
799.11/801.54 c #Conflicts: 627000 | #Constraints: 77253
799.11/801.54 c #Conflicts: 628000 | #Constraints: 78253
799.11/801.54 c #Conflicts: 629000 | #Constraints: 79253
799.11/801.54 c #Conflicts: 630000 | #Constraints: 80253
799.11/801.54 c #Conflicts: 631000 | #Constraints: 81253
799.11/801.54 c #Conflicts: 632000 | #Constraints: 82253
799.11/801.54 c #Conflicts: 633000 | #Constraints: 83253
799.11/801.54 c INPROCESSING
799.11/801.54 c GARBAGE COLLECT
799.11/801.54 c #Conflicts: 634000 | #Constraints: 46310
799.11/801.54 c #Conflicts: 635000 | #Constraints: 47310
799.11/801.54 c #Conflicts: 636000 | #Constraints: 48310
799.11/801.54 c #Conflicts: 637000 | #Constraints: 49310
799.11/801.54 c #Conflicts: 638000 | #Constraints: 50310
799.11/801.54 c #Conflicts: 639000 | #Constraints: 51310
799.11/801.54 c #Conflicts: 640000 | #Constraints: 52310
879.50/882.16 c #Conflicts: 641000 | #Constraints: 53310
879.50/882.16 c #Conflicts: 642000 | #Constraints: 54310
879.50/882.16 c #Conflicts: 643000 | #Constraints: 55310
879.50/882.16 c #Conflicts: 644000 | #Constraints: 56310
879.50/882.16 c #Conflicts: 645000 | #Constraints: 57310
879.50/882.16 c #Conflicts: 646000 | #Constraints: 58310
879.50/882.16 c #Conflicts: 647000 | #Constraints: 59310
879.50/882.16 c #Conflicts: 648000 | #Constraints: 60310
879.50/882.16 c #Conflicts: 649000 | #Constraints: 61310
879.50/882.16 c #Conflicts: 650000 | #Constraints: 62310
879.50/882.16 c #Conflicts: 651000 | #Constraints: 63310
879.50/882.16 c #Conflicts: 652000 | #Constraints: 64310
879.50/882.16 c INPROCESSING
879.50/882.16 c GARBAGE COLLECT
879.50/882.16 c #Conflicts: 653000 | #Constraints: 36939
879.50/882.16 c #Conflicts: 654000 | #Constraints: 37939
879.50/882.16 c #Conflicts: 655000 | #Constraints: 38939
879.50/882.16 c #Conflicts: 656000 | #Constraints: 39939
879.50/882.16 c #Conflicts: 657000 | #Constraints: 40939
879.50/882.16 c #Conflicts: 658000 | #Constraints: 41939
879.50/882.16 c #Conflicts: 659000 | #Constraints: 42939
879.50/882.16 c #Conflicts: 660000 | #Constraints: 43939
879.50/882.16 c #Conflicts: 661000 | #Constraints: 44939
879.50/882.16 c #Conflicts: 662000 | #Constraints: 45939
879.50/882.16 c #Conflicts: 663000 | #Constraints: 46939
879.50/882.16 c #Conflicts: 664000 | #Constraints: 47939
879.50/882.16 c #Conflicts: 665000 | #Constraints: 48939
879.50/882.16 c #Conflicts: 666000 | #Constraints: 49939
879.50/882.16 c #Conflicts: 667000 | #Constraints: 50939
879.50/882.16 c #Conflicts: 668000 | #Constraints: 51939
879.50/882.16 c #Conflicts: 669000 | #Constraints: 52939
879.50/882.16 c #Conflicts: 670000 | #Constraints: 53939
879.50/882.16 c #Conflicts: 671000 | #Constraints: 54939
879.50/882.16 c INPROCESSING
879.50/882.16 c GARBAGE COLLECT
879.50/882.16 c #Conflicts: 672000 | #Constraints: 32122
879.50/882.16 c #Conflicts: 673000 | #Constraints: 33122
879.50/882.16 c #Conflicts: 674000 | #Constraints: 34122
879.50/882.16 c #Conflicts: 675000 | #Constraints: 35122
879.50/882.16 c #Conflicts: 676000 | #Constraints: 36122
879.50/882.16 c #Conflicts: 677000 | #Constraints: 37122
879.50/882.16 c #Conflicts: 678000 | #Constraints: 38122
879.50/882.16 c #Conflicts: 679000 | #Constraints: 39122
879.50/882.16 c #Conflicts: 680000 | #Constraints: 40122
879.50/882.16 c #Conflicts: 681000 | #Constraints: 41122
879.50/882.16 c #Conflicts: 682000 | #Constraints: 42122
879.50/882.16 c #Conflicts: 683000 | #Constraints: 43122
879.50/882.16 c #Conflicts: 684000 | #Constraints: 44122
879.50/882.16 c #Conflicts: 685000 | #Constraints: 45122
879.50/882.16 c #Conflicts: 686000 | #Constraints: 46122
879.50/882.16 c #Conflicts: 687000 | #Constraints: 47122
879.50/882.16 c #Conflicts: 688000 | #Constraints: 48122
879.50/882.16 c #Conflicts: 689000 | #Constraints: 49122
879.50/882.16 c #Conflicts: 690000 | #Constraints: 50122
879.50/882.16 c INPROCESSING
879.50/882.16 c GARBAGE COLLECT
879.50/882.16 c rational objective 108.025
1023.37/1026.46 c #Conflicts: 691000 | #Constraints: 29633
1023.37/1026.46 c #Conflicts: 692000 | #Constraints: 30633
1023.37/1026.46 c #Conflicts: 693000 | #Constraints: 31633
1023.37/1026.46 c #Conflicts: 694000 | #Constraints: 32633
1023.37/1026.46 c #Conflicts: 695000 | #Constraints: 33633
1023.37/1026.46 c #Conflicts: 696000 | #Constraints: 34633
1023.37/1026.46 c #Conflicts: 697000 | #Constraints: 35633
1023.37/1026.46 c #Conflicts: 698000 | #Constraints: 36633
1023.37/1026.46 c #Conflicts: 699000 | #Constraints: 37633
1023.37/1026.46 c #Conflicts: 700000 | #Constraints: 38633
1023.37/1026.46 c #Conflicts: 701000 | #Constraints: 39633
1023.37/1026.46 c #Conflicts: 702000 | #Constraints: 40633
1023.37/1026.46 c #Conflicts: 703000 | #Constraints: 41633
1023.37/1026.46 c #Conflicts: 704000 | #Constraints: 42633
1023.37/1026.46 c #Conflicts: 705000 | #Constraints: 43633
1023.37/1026.46 c #Conflicts: 706000 | #Constraints: 44633
1023.37/1026.46 c #Conflicts: 707000 | #Constraints: 45633
1023.37/1026.46 c #Conflicts: 708000 | #Constraints: 46633
1023.37/1026.46 c #Conflicts: 709000 | #Constraints: 47633
1023.37/1026.46 c #Conflicts: 710000 | #Constraints: 48633
1023.37/1026.46 c INPROCESSING
1023.37/1026.46 c GARBAGE COLLECT
1023.37/1026.46 c #Conflicts: 711000 | #Constraints: 29124
1023.37/1026.46 c #Conflicts: 712000 | #Constraints: 30124
1023.37/1026.46 c #Conflicts: 713000 | #Constraints: 31124
1023.37/1026.46 c #Conflicts: 714000 | #Constraints: 32124
1023.37/1026.46 c #Conflicts: 715000 | #Constraints: 33124
1023.37/1026.46 c #Conflicts: 716000 | #Constraints: 34124
1023.37/1026.46 c #Conflicts: 717000 | #Constraints: 35124
1023.37/1026.46 c #Conflicts: 718000 | #Constraints: 36124
1023.37/1026.46 c #Conflicts: 719000 | #Constraints: 37124
1023.37/1026.46 c #Conflicts: 720000 | #Constraints: 38124
1023.37/1026.46 c #Conflicts: 721000 | #Constraints: 39124
1023.37/1026.46 c #Conflicts: 722000 | #Constraints: 40124
1023.37/1026.46 c #Conflicts: 723000 | #Constraints: 41124
1023.37/1026.46 c #Conflicts: 724000 | #Constraints: 42124
1023.37/1026.46 c #Conflicts: 725000 | #Constraints: 43124
1023.37/1026.46 c #Conflicts: 726000 | #Constraints: 44124
1023.37/1026.46 c #Conflicts: 727000 | #Constraints: 45124
1023.37/1026.46 c #Conflicts: 728000 | #Constraints: 46124
1023.37/1026.46 c #Conflicts: 729000 | #Constraints: 47124
1023.37/1026.46 c #Conflicts: 730000 | #Constraints: 48124
1023.37/1026.46 c #Conflicts: 731000 | #Constraints: 49124
1023.37/1026.46 c #Conflicts: 732000 | #Constraints: 50124
1023.37/1026.46 c #Conflicts: 733000 | #Constraints: 51124
1023.37/1026.46 c #Conflicts: 734000 | #Constraints: 52124
1023.37/1026.46 c #Conflicts: 735000 | #Constraints: 53124
1023.37/1026.46 c #Conflicts: 736000 | #Constraints: 54124
1023.37/1026.46 c #Conflicts: 737000 | #Constraints: 55124
1023.37/1026.46 c #Conflicts: 738000 | #Constraints: 56124
1023.37/1026.46 c #Conflicts: 739000 | #Constraints: 57124
1023.37/1026.46 c #Conflicts: 740000 | #Constraints: 58124
1023.37/1026.46 c #Conflicts: 741000 | #Constraints: 59124
1023.37/1026.46 c #Conflicts: 742000 | #Constraints: 60124
1023.37/1026.46 c #Conflicts: 743000 | #Constraints: 61124
1023.37/1026.46 c #Conflicts: 744000 | #Constraints: 62124
1023.37/1026.46 c #Conflicts: 745000 | #Constraints: 63124
1023.37/1026.46 c #Conflicts: 746000 | #Constraints: 64124
1023.37/1026.46 c #Conflicts: 747000 | #Constraints: 65124
1023.37/1026.46 c #Conflicts: 748000 | #Constraints: 66124
1023.37/1026.46 c #Conflicts: 749000 | #Constraints: 67124
1023.37/1026.46 c #Conflicts: 750000 | #Constraints: 68124
1023.37/1026.46 c #Conflicts: 751000 | #Constraints: 69124
1023.37/1026.46 c #Conflicts: 752000 | #Constraints: 70124
1023.37/1026.46 c #Conflicts: 753000 | #Constraints: 71124
1023.37/1026.46 c #Conflicts: 754000 | #Constraints: 72124
1023.37/1026.46 c #Conflicts: 755000 | #Constraints: 73124
1023.37/1026.46 c #Conflicts: 756000 | #Constraints: 74124
1023.37/1026.46 c #Conflicts: 757000 | #Constraints: 75124
1023.37/1026.46 c #Conflicts: 758000 | #Constraints: 76124
1023.37/1026.46 c #Conflicts: 759000 | #Constraints: 77124
1023.37/1026.46 c #Conflicts: 760000 | #Constraints: 78124
1023.37/1026.46 c #Conflicts: 761000 | #Constraints: 79124
1023.37/1026.46 c #Conflicts: 762000 | #Constraints: 80124
1023.37/1026.46 c #Conflicts: 763000 | #Constraints: 81124
1023.37/1026.46 c #Conflicts: 764000 | #Constraints: 82124
1023.37/1026.46 c #Conflicts: 765000 | #Constraints: 83124
1023.37/1026.46 c #Conflicts: 766000 | #Constraints: 84124
1023.37/1026.46 c #Conflicts: 767000 | #Constraints: 85124
1023.37/1026.46 c #Conflicts: 768000 | #Constraints: 86124
1023.37/1026.46 c #Conflicts: 769000 | #Constraints: 87124
1135.06/1138.45 c #Conflicts: 770000 | #Constraints: 88124
1135.06/1138.45 c #Conflicts: 771000 | #Constraints: 89124
1135.06/1138.45 c #Conflicts: 772000 | #Constraints: 90124
1135.06/1138.45 c #Conflicts: 773000 | #Constraints: 91124
1135.06/1138.45 c #Conflicts: 774000 | #Constraints: 92124
1135.06/1138.45 c INPROCESSING
1135.06/1138.45 c GARBAGE COLLECT
1135.06/1138.45 c #Conflicts: 775000 | #Constraints: 51071
1135.06/1138.45 c #Conflicts: 776000 | #Constraints: 52071
1135.06/1138.45 c #Conflicts: 777000 | #Constraints: 53071
1135.06/1138.45 c #Conflicts: 778000 | #Constraints: 54071
1135.06/1138.45 c #Conflicts: 779000 | #Constraints: 55071
1135.06/1138.45 c #Conflicts: 780000 | #Constraints: 56071
1135.06/1138.45 c #Conflicts: 781000 | #Constraints: 57071
1135.06/1138.45 c #Conflicts: 782000 | #Constraints: 58071
1135.06/1138.45 c #Conflicts: 783000 | #Constraints: 59071
1135.06/1138.45 c #Conflicts: 784000 | #Constraints: 60071
1135.06/1138.45 c #Conflicts: 785000 | #Constraints: 61071
1135.06/1138.45 c #Conflicts: 786000 | #Constraints: 62071
1135.06/1138.45 c #Conflicts: 787000 | #Constraints: 63071
1135.06/1138.45 c #Conflicts: 788000 | #Constraints: 64071
1135.06/1138.45 c #Conflicts: 789000 | #Constraints: 65071
1135.06/1138.45 c #Conflicts: 790000 | #Constraints: 66071
1135.06/1138.45 c #Conflicts: 791000 | #Constraints: 67071
1135.06/1138.45 c #Conflicts: 792000 | #Constraints: 68071
1135.06/1138.45 c #Conflicts: 793000 | #Constraints: 69071
1135.06/1138.45 c #Conflicts: 794000 | #Constraints: 70071
1135.06/1138.45 c #Conflicts: 795000 | #Constraints: 71071
1135.06/1138.45 c INPROCESSING
1135.06/1138.45 c GARBAGE COLLECT
1135.06/1138.45 c #Conflicts: 796000 | #Constraints: 40507
1135.06/1138.45 c #Conflicts: 797000 | #Constraints: 41507
1135.06/1138.45 c #Conflicts: 798000 | #Constraints: 42507
1135.06/1138.45 c #Conflicts: 799000 | #Constraints: 43507
1135.06/1138.45 c #Conflicts: 800000 | #Constraints: 44507
1135.06/1138.45 c #Conflicts: 801000 | #Constraints: 45507
1135.06/1138.45 c #Conflicts: 802000 | #Constraints: 46507
1135.06/1138.45 c #Conflicts: 803000 | #Constraints: 47507
1135.06/1138.45 c #Conflicts: 804000 | #Constraints: 48507
1135.06/1138.45 c #Conflicts: 805000 | #Constraints: 49507
1135.06/1138.45 c #Conflicts: 806000 | #Constraints: 50507
1135.06/1138.45 c #Conflicts: 807000 | #Constraints: 51507
1135.06/1138.45 c #Conflicts: 808000 | #Constraints: 52507
1135.06/1138.45 c #Conflicts: 809000 | #Constraints: 53507
1135.06/1138.45 c #Conflicts: 810000 | #Constraints: 54507
1135.06/1138.45 c #Conflicts: 811000 | #Constraints: 55507
1135.06/1138.45 c #Conflicts: 812000 | #Constraints: 56507
1135.06/1138.45 c #Conflicts: 813000 | #Constraints: 57507
1135.06/1138.45 c #Conflicts: 814000 | #Constraints: 58507
1135.06/1138.45 c #Conflicts: 815000 | #Constraints: 59507
1135.06/1138.45 c #Conflicts: 816000 | #Constraints: 60507
1135.06/1138.45 c INPROCESSING
1135.06/1138.45 c GARBAGE COLLECT
1135.06/1138.45 c #Conflicts: 817000 | #Constraints: 35233
1135.06/1138.45 c #Conflicts: 818000 | #Constraints: 36233
1135.06/1138.45 c #Conflicts: 819000 | #Constraints: 37233
1135.06/1138.45 c #Conflicts: 820000 | #Constraints: 38233
1135.06/1138.45 c #Conflicts: 821000 | #Constraints: 39233
1135.06/1138.45 c #Conflicts: 822000 | #Constraints: 40233
1135.06/1138.45 c #Conflicts: 823000 | #Constraints: 41233
1135.06/1138.45 c #Conflicts: 824000 | #Constraints: 42233
1135.06/1138.45 c #Conflicts: 825000 | #Constraints: 43233
1135.06/1138.45 c #Conflicts: 826000 | #Constraints: 44233
1135.06/1138.45 c #Conflicts: 827000 | #Constraints: 45233
1135.06/1138.45 c #Conflicts: 828000 | #Constraints: 46233
1135.06/1138.45 c #Conflicts: 829000 | #Constraints: 47233
1135.06/1138.45 c #Conflicts: 830000 | #Constraints: 48233
1135.06/1138.45 c #Conflicts: 831000 | #Constraints: 49233
1135.06/1138.45 c #Conflicts: 832000 | #Constraints: 50233
1135.06/1138.45 c #Conflicts: 833000 | #Constraints: 51233
1135.06/1138.45 c #Conflicts: 834000 | #Constraints: 52233
1135.06/1138.45 c #Conflicts: 835000 | #Constraints: 53233
1135.06/1138.45 c #Conflicts: 836000 | #Constraints: 54233
1135.06/1138.45 c #Conflicts: 837000 | #Constraints: 55233
1135.06/1138.45 c INPROCESSING
1135.06/1138.45 c GARBAGE COLLECT
1135.06/1138.45 c #Conflicts: 838000 | #Constraints: 32547
1135.06/1138.45 c #Conflicts: 839000 | #Constraints: 33547
1135.06/1138.45 c #Conflicts: 840000 | #Constraints: 34547
1135.06/1138.45 c #Conflicts: 841000 | #Constraints: 35547
1135.06/1138.45 c #Conflicts: 842000 | #Constraints: 36547
1135.06/1138.45 c #Conflicts: 843000 | #Constraints: 37547
1135.06/1138.45 c #Conflicts: 844000 | #Constraints: 38547
1135.06/1138.45 c #Conflicts: 845000 | #Constraints: 39547
1288.38/1292.22 c #Conflicts: 846000 | #Constraints: 40547
1288.38/1292.22 c #Conflicts: 847000 | #Constraints: 41547
1288.38/1292.22 c #Conflicts: 848000 | #Constraints: 42547
1288.38/1292.22 c #Conflicts: 849000 | #Constraints: 43547
1288.38/1292.22 c #Conflicts: 850000 | #Constraints: 44547
1288.38/1292.22 c #Conflicts: 851000 | #Constraints: 45547
1288.38/1292.22 c #Conflicts: 852000 | #Constraints: 46547
1288.38/1292.22 c #Conflicts: 853000 | #Constraints: 47547
1288.38/1292.22 c #Conflicts: 854000 | #Constraints: 48547
1288.38/1292.22 c #Conflicts: 855000 | #Constraints: 49547
1288.38/1292.22 c #Conflicts: 856000 | #Constraints: 50547
1288.38/1292.22 c #Conflicts: 857000 | #Constraints: 51547
1288.38/1292.22 c #Conflicts: 858000 | #Constraints: 52547
1288.38/1292.22 c INPROCESSING
1288.38/1292.22 c GARBAGE COLLECT
1288.38/1292.22 c #Conflicts: 859000 | #Constraints: 30953
1288.38/1292.22 c #Conflicts: 860000 | #Constraints: 31953
1288.38/1292.22 c #Conflicts: 861000 | #Constraints: 32953
1288.38/1292.22 c #Conflicts: 862000 | #Constraints: 33953
1288.38/1292.22 c #Conflicts: 863000 | #Constraints: 34953
1288.38/1292.22 c #Conflicts: 864000 | #Constraints: 35953
1288.38/1292.22 c #Conflicts: 865000 | #Constraints: 36953
1288.38/1292.22 c #Conflicts: 866000 | #Constraints: 37953
1288.38/1292.22 c #Conflicts: 867000 | #Constraints: 38953
1288.38/1292.22 c #Conflicts: 868000 | #Constraints: 39953
1288.38/1292.22 c #Conflicts: 869000 | #Constraints: 40953
1288.38/1292.22 c #Conflicts: 870000 | #Constraints: 41953
1288.38/1292.22 c #Conflicts: 871000 | #Constraints: 42953
1288.38/1292.22 c #Conflicts: 872000 | #Constraints: 43953
1288.38/1292.22 c #Conflicts: 873000 | #Constraints: 44953
1288.38/1292.22 c #Conflicts: 874000 | #Constraints: 45953
1288.38/1292.22 c #Conflicts: 875000 | #Constraints: 46953
1288.38/1292.22 c #Conflicts: 876000 | #Constraints: 47953
1288.38/1292.22 c #Conflicts: 877000 | #Constraints: 48953
1288.38/1292.22 c #Conflicts: 878000 | #Constraints: 49953
1288.38/1292.22 c #Conflicts: 879000 | #Constraints: 50953
1288.38/1292.22 c #Conflicts: 880000 | #Constraints: 51953
1288.38/1292.22 c #Conflicts: 881000 | #Constraints: 52953
1288.38/1292.22 c #Conflicts: 882000 | #Constraints: 53953
1288.38/1292.22 c #Conflicts: 883000 | #Constraints: 54953
1288.38/1292.22 c #Conflicts: 884000 | #Constraints: 55953
1288.38/1292.22 c #Conflicts: 885000 | #Constraints: 56953
1288.38/1292.22 c #Conflicts: 886000 | #Constraints: 57953
1288.38/1292.22 c #Conflicts: 887000 | #Constraints: 58953
1288.38/1292.22 c #Conflicts: 888000 | #Constraints: 59953
1288.38/1292.22 c #Conflicts: 889000 | #Constraints: 60953
1288.38/1292.22 c #Conflicts: 890000 | #Constraints: 61953
1288.38/1292.22 c #Conflicts: 891000 | #Constraints: 62953
1288.38/1292.22 c #Conflicts: 892000 | #Constraints: 63953
1288.38/1292.22 c #Conflicts: 893000 | #Constraints: 64953
1288.38/1292.22 c #Conflicts: 894000 | #Constraints: 65953
1288.38/1292.22 c #Conflicts: 895000 | #Constraints: 66953
1288.38/1292.22 c #Conflicts: 896000 | #Constraints: 67953
1288.38/1292.22 c #Conflicts: 897000 | #Constraints: 68953
1288.38/1292.22 c #Conflicts: 898000 | #Constraints: 69953
1288.38/1292.22 c #Conflicts: 899000 | #Constraints: 70953
1288.38/1292.22 c #Conflicts: 900000 | #Constraints: 71953
1288.38/1292.22 c #Conflicts: 901000 | #Constraints: 72953
1288.38/1292.22 c #Conflicts: 902000 | #Constraints: 73953
1288.38/1292.22 c #Conflicts: 903000 | #Constraints: 74953
1288.38/1292.22 c #Conflicts: 904000 | #Constraints: 75953
1288.38/1292.22 c #Conflicts: 905000 | #Constraints: 76953
1288.38/1292.22 c #Conflicts: 906000 | #Constraints: 77953
1288.38/1292.22 c #Conflicts: 907000 | #Constraints: 78953
1288.38/1292.22 c #Conflicts: 908000 | #Constraints: 79953
1288.38/1292.22 c #Conflicts: 909000 | #Constraints: 80953
1288.38/1292.22 c #Conflicts: 910000 | #Constraints: 81953
1288.38/1292.22 c #Conflicts: 911000 | #Constraints: 82953
1288.38/1292.22 c #Conflicts: 912000 | #Constraints: 83953
1288.38/1292.22 c #Conflicts: 913000 | #Constraints: 84953
1288.38/1292.22 c #Conflicts: 914000 | #Constraints: 85953
1288.38/1292.22 c #Conflicts: 915000 | #Constraints: 86953
1288.38/1292.22 c #Conflicts: 916000 | #Constraints: 87953
1288.38/1292.22 c #Conflicts: 917000 | #Constraints: 88953
1288.38/1292.22 c #Conflicts: 918000 | #Constraints: 89953
1288.38/1292.22 c #Conflicts: 919000 | #Constraints: 90953
1288.38/1292.22 c #Conflicts: 920000 | #Constraints: 91953
1288.38/1292.22 c #Conflicts: 921000 | #Constraints: 92953
1288.38/1292.22 c #Conflicts: 922000 | #Constraints: 93953
1288.38/1292.22 c #Conflicts: 923000 | #Constraints: 94953
1326.87/1330.88 c #Conflicts: 924000 | #Constraints: 95953
1326.87/1330.88 c #Conflicts: 925000 | #Constraints: 96953
1326.87/1330.88 c #Conflicts: 926000 | #Constraints: 97953
1326.87/1330.88 c #Conflicts: 927000 | #Constraints: 98953
1326.87/1330.88 c #Conflicts: 928000 | #Constraints: 99953
1326.87/1330.88 c INPROCESSING
1326.87/1330.88 c GARBAGE COLLECT
1326.87/1330.88 c rational objective 108.049
1454.60/1459.00 c #Conflicts: 929000 | #Constraints: 54671
1454.60/1459.00 c #Conflicts: 930000 | #Constraints: 55671
1454.60/1459.00 c #Conflicts: 931000 | #Constraints: 56671
1454.60/1459.00 c #Conflicts: 932000 | #Constraints: 57671
1454.60/1459.00 c #Conflicts: 933000 | #Constraints: 58671
1454.60/1459.00 c #Conflicts: 934000 | #Constraints: 59671
1454.60/1459.00 c #Conflicts: 935000 | #Constraints: 60671
1454.60/1459.00 c #Conflicts: 936000 | #Constraints: 61671
1454.60/1459.00 c #Conflicts: 937000 | #Constraints: 62671
1454.60/1459.00 c #Conflicts: 938000 | #Constraints: 63671
1454.60/1459.00 c #Conflicts: 939000 | #Constraints: 64671
1454.60/1459.00 c #Conflicts: 940000 | #Constraints: 65671
1454.60/1459.00 c #Conflicts: 941000 | #Constraints: 66671
1454.60/1459.00 c #Conflicts: 942000 | #Constraints: 67671
1454.60/1459.00 c #Conflicts: 943000 | #Constraints: 68671
1454.60/1459.00 c #Conflicts: 944000 | #Constraints: 69671
1454.60/1459.00 c #Conflicts: 945000 | #Constraints: 70671
1454.60/1459.00 c #Conflicts: 946000 | #Constraints: 71671
1454.60/1459.00 c #Conflicts: 947000 | #Constraints: 72671
1454.60/1459.00 c #Conflicts: 948000 | #Constraints: 73671
1454.60/1459.00 c #Conflicts: 949000 | #Constraints: 74671
1454.60/1459.00 c #Conflicts: 950000 | #Constraints: 75671
1454.60/1459.00 c #Conflicts: 951000 | #Constraints: 76671
1454.60/1459.00 c INPROCESSING
1454.60/1459.00 c GARBAGE COLLECT
1454.60/1459.00 c #Conflicts: 952000 | #Constraints: 43166
1454.60/1459.00 c #Conflicts: 953000 | #Constraints: 44166
1454.60/1459.00 c #Conflicts: 954000 | #Constraints: 45166
1454.60/1459.00 c #Conflicts: 955000 | #Constraints: 46166
1454.60/1459.00 c #Conflicts: 956000 | #Constraints: 47166
1454.60/1459.00 c #Conflicts: 957000 | #Constraints: 48166
1454.60/1459.00 c #Conflicts: 958000 | #Constraints: 49166
1454.60/1459.00 c #Conflicts: 959000 | #Constraints: 50166
1454.60/1459.00 c #Conflicts: 960000 | #Constraints: 51166
1454.60/1459.00 c #Conflicts: 961000 | #Constraints: 52166
1454.60/1459.00 c #Conflicts: 962000 | #Constraints: 53166
1454.60/1459.00 c #Conflicts: 963000 | #Constraints: 54166
1454.60/1459.00 c #Conflicts: 964000 | #Constraints: 55166
1454.60/1459.00 c #Conflicts: 965000 | #Constraints: 56166
1454.60/1459.00 c #Conflicts: 966000 | #Constraints: 57166
1454.60/1459.00 c #Conflicts: 967000 | #Constraints: 58166
1454.60/1459.00 c #Conflicts: 968000 | #Constraints: 59166
1454.60/1459.00 c #Conflicts: 969000 | #Constraints: 60166
1454.60/1459.00 c #Conflicts: 970000 | #Constraints: 61166
1454.60/1459.00 c #Conflicts: 971000 | #Constraints: 62166
1454.60/1459.00 c #Conflicts: 972000 | #Constraints: 63166
1454.60/1459.00 c #Conflicts: 973000 | #Constraints: 64166
1454.60/1459.00 c #Conflicts: 974000 | #Constraints: 65166
1454.60/1459.00 c INPROCESSING
1454.60/1459.00 c GARBAGE COLLECT
1454.60/1459.00 c #Conflicts: 975000 | #Constraints: 37455
1454.60/1459.00 c #Conflicts: 976000 | #Constraints: 38455
1454.60/1459.00 c #Conflicts: 977000 | #Constraints: 39455
1454.60/1459.00 c #Conflicts: 978000 | #Constraints: 40455
1454.60/1459.00 c #Conflicts: 979000 | #Constraints: 41455
1454.60/1459.00 c #Conflicts: 980000 | #Constraints: 42455
1454.60/1459.00 c #Conflicts: 981000 | #Constraints: 43455
1454.60/1459.00 c #Conflicts: 982000 | #Constraints: 44455
1454.60/1459.00 c #Conflicts: 983000 | #Constraints: 45455
1454.60/1459.00 c #Conflicts: 984000 | #Constraints: 46455
1454.60/1459.00 c #Conflicts: 985000 | #Constraints: 47455
1454.60/1459.00 c #Conflicts: 986000 | #Constraints: 48455
1454.60/1459.00 c #Conflicts: 987000 | #Constraints: 49455
1454.60/1459.00 c #Conflicts: 988000 | #Constraints: 50455
1454.60/1459.00 c #Conflicts: 989000 | #Constraints: 51455
1454.60/1459.00 c #Conflicts: 990000 | #Constraints: 52455
1454.60/1459.00 c #Conflicts: 991000 | #Constraints: 53455
1454.60/1459.00 c #Conflicts: 992000 | #Constraints: 54455
1454.60/1459.00 c #Conflicts: 993000 | #Constraints: 55455
1454.60/1459.00 c #Conflicts: 994000 | #Constraints: 56455
1454.60/1459.00 c #Conflicts: 995000 | #Constraints: 57455
1454.60/1459.00 c #Conflicts: 996000 | #Constraints: 58455
1454.60/1459.00 c #Conflicts: 997000 | #Constraints: 59455
1454.60/1459.00 c INPROCESSING
1454.60/1459.00 c GARBAGE COLLECT
1454.60/1459.00 c #Conflicts: 998000 | #Constraints: 34482
1454.60/1459.00 c #Conflicts: 999000 | #Constraints: 35482
1454.60/1459.00 c #Conflicts: 1000000 | #Constraints: 36482
1454.60/1459.00 c #Conflicts: 1001000 | #Constraints: 37482
1454.60/1459.00 c #Conflicts: 1002000 | #Constraints: 38482
1454.60/1459.00 c #Conflicts: 1003000 | #Constraints: 39482
1454.60/1459.00 c #Conflicts: 1004000 | #Constraints: 40482
1454.60/1459.00 c #Conflicts: 1005000 | #Constraints: 41482
1576.84/1581.51 c #Conflicts: 1006000 | #Constraints: 42482
1576.84/1581.51 c #Conflicts: 1007000 | #Constraints: 43482
1576.84/1581.51 c #Conflicts: 1008000 | #Constraints: 44482
1576.84/1581.51 c #Conflicts: 1009000 | #Constraints: 45482
1576.84/1581.51 c #Conflicts: 1010000 | #Constraints: 46482
1576.84/1581.51 c #Conflicts: 1011000 | #Constraints: 47482
1576.84/1581.51 c #Conflicts: 1012000 | #Constraints: 48482
1576.84/1581.51 c #Conflicts: 1013000 | #Constraints: 49482
1576.84/1581.51 c #Conflicts: 1014000 | #Constraints: 50482
1576.84/1581.51 c #Conflicts: 1015000 | #Constraints: 51482
1576.84/1581.51 c #Conflicts: 1016000 | #Constraints: 52482
1576.84/1581.51 c #Conflicts: 1017000 | #Constraints: 53482
1576.84/1581.51 c #Conflicts: 1018000 | #Constraints: 54482
1576.84/1581.51 c #Conflicts: 1019000 | #Constraints: 55482
1576.84/1581.51 c #Conflicts: 1020000 | #Constraints: 56482
1576.84/1581.51 c INPROCESSING
1576.84/1581.51 c GARBAGE COLLECT
1576.84/1581.51 c #Conflicts: 1021000 | #Constraints: 32885
1576.84/1581.51 c #Conflicts: 1022000 | #Constraints: 33885
1576.84/1581.51 c #Conflicts: 1023000 | #Constraints: 34885
1576.84/1581.51 c #Conflicts: 1024000 | #Constraints: 35885
1576.84/1581.51 c #Conflicts: 1025000 | #Constraints: 36885
1576.84/1581.51 c #Conflicts: 1026000 | #Constraints: 37885
1576.84/1581.51 c #Conflicts: 1027000 | #Constraints: 38885
1576.84/1581.51 c #Conflicts: 1028000 | #Constraints: 39885
1576.84/1581.51 c #Conflicts: 1029000 | #Constraints: 40885
1576.84/1581.51 c #Conflicts: 1030000 | #Constraints: 41885
1576.84/1581.51 c #Conflicts: 1031000 | #Constraints: 42885
1576.84/1581.51 c #Conflicts: 1032000 | #Constraints: 43885
1576.84/1581.51 c #Conflicts: 1033000 | #Constraints: 44885
1576.84/1581.51 c #Conflicts: 1034000 | #Constraints: 45885
1576.84/1581.51 c #Conflicts: 1035000 | #Constraints: 46885
1576.84/1581.51 c #Conflicts: 1036000 | #Constraints: 47885
1576.84/1581.51 c #Conflicts: 1037000 | #Constraints: 48885
1576.84/1581.51 c #Conflicts: 1038000 | #Constraints: 49885
1576.84/1581.51 c #Conflicts: 1039000 | #Constraints: 50885
1576.84/1581.51 c #Conflicts: 1040000 | #Constraints: 51885
1576.84/1581.51 c #Conflicts: 1041000 | #Constraints: 52885
1576.84/1581.51 c #Conflicts: 1042000 | #Constraints: 53885
1576.84/1581.51 c #Conflicts: 1043000 | #Constraints: 54885
1576.84/1581.51 c #Conflicts: 1044000 | #Constraints: 55885
1576.84/1581.51 c INPROCESSING
1576.84/1581.51 c GARBAGE COLLECT
1576.84/1581.51 c #Conflicts: 1045000 | #Constraints: 32853
1576.84/1581.51 c #Conflicts: 1046000 | #Constraints: 33853
1576.84/1581.51 c #Conflicts: 1047000 | #Constraints: 34853
1576.84/1581.51 c #Conflicts: 1048000 | #Constraints: 35853
1576.84/1581.51 c #Conflicts: 1049000 | #Constraints: 36853
1576.84/1581.51 c #Conflicts: 1050000 | #Constraints: 37853
1576.84/1581.51 c #Conflicts: 1051000 | #Constraints: 38853
1576.84/1581.51 c #Conflicts: 1052000 | #Constraints: 39853
1576.84/1581.51 c #Conflicts: 1053000 | #Constraints: 40853
1576.84/1581.51 c #Conflicts: 1054000 | #Constraints: 41853
1576.84/1581.51 c #Conflicts: 1055000 | #Constraints: 42853
1576.84/1581.51 c #Conflicts: 1056000 | #Constraints: 43853
1576.84/1581.51 c #Conflicts: 1057000 | #Constraints: 44853
1576.84/1581.51 c #Conflicts: 1058000 | #Constraints: 45853
1576.84/1581.51 c #Conflicts: 1059000 | #Constraints: 46853
1576.84/1581.51 c #Conflicts: 1060000 | #Constraints: 47853
1576.84/1581.51 c #Conflicts: 1061000 | #Constraints: 48853
1576.84/1581.51 c #Conflicts: 1062000 | #Constraints: 49853
1576.84/1581.51 c #Conflicts: 1063000 | #Constraints: 50853
1576.84/1581.51 c #Conflicts: 1064000 | #Constraints: 51853
1576.84/1581.51 c #Conflicts: 1065000 | #Constraints: 52853
1576.84/1581.51 c #Conflicts: 1066000 | #Constraints: 53853
1576.84/1581.51 c #Conflicts: 1067000 | #Constraints: 54853
1576.84/1581.51 c #Conflicts: 1068000 | #Constraints: 55853
1576.84/1581.51 c #Conflicts: 1069000 | #Constraints: 56853
1576.84/1581.51 c #Conflicts: 1070000 | #Constraints: 57853
1576.84/1581.51 c #Conflicts: 1071000 | #Constraints: 58853
1576.84/1581.51 c #Conflicts: 1072000 | #Constraints: 59853
1576.84/1581.51 c #Conflicts: 1073000 | #Constraints: 60853
1576.84/1581.51 c #Conflicts: 1074000 | #Constraints: 61853
1576.84/1581.51 c #Conflicts: 1075000 | #Constraints: 62853
1576.84/1581.51 c #Conflicts: 1076000 | #Constraints: 63853
1576.84/1581.51 c #Conflicts: 1077000 | #Constraints: 64853
1576.84/1581.51 c #Conflicts: 1078000 | #Constraints: 65853
1576.84/1581.51 c #Conflicts: 1079000 | #Constraints: 66853
1576.84/1581.51 c #Conflicts: 1080000 | #Constraints: 67853
1576.84/1581.51 c #Conflicts: 1081000 | #Constraints: 68853
1576.84/1581.51 c #Conflicts: 1082000 | #Constraints: 69853
1576.84/1581.51 c #Conflicts: 1083000 | #Constraints: 70853
1706.32/1711.41 c #Conflicts: 1084000 | #Constraints: 71853
1706.32/1711.41 c #Conflicts: 1085000 | #Constraints: 72853
1706.32/1711.41 c #Conflicts: 1086000 | #Constraints: 73853
1706.32/1711.41 c #Conflicts: 1087000 | #Constraints: 74853
1706.32/1711.41 c #Conflicts: 1088000 | #Constraints: 75853
1706.32/1711.41 c #Conflicts: 1089000 | #Constraints: 76853
1706.32/1711.41 c #Conflicts: 1090000 | #Constraints: 77853
1706.32/1711.41 c #Conflicts: 1091000 | #Constraints: 78853
1706.32/1711.41 c #Conflicts: 1092000 | #Constraints: 79853
1706.32/1711.41 c #Conflicts: 1093000 | #Constraints: 80853
1706.32/1711.41 c #Conflicts: 1094000 | #Constraints: 81853
1706.32/1711.41 c #Conflicts: 1095000 | #Constraints: 82853
1706.32/1711.41 c #Conflicts: 1096000 | #Constraints: 83853
1706.32/1711.41 c #Conflicts: 1097000 | #Constraints: 84853
1706.32/1711.41 c #Conflicts: 1098000 | #Constraints: 85853
1706.32/1711.41 c #Conflicts: 1099000 | #Constraints: 86853
1706.32/1711.41 c #Conflicts: 1100000 | #Constraints: 87853
1706.32/1711.41 c #Conflicts: 1101000 | #Constraints: 88853
1706.32/1711.41 c #Conflicts: 1102000 | #Constraints: 89853
1706.32/1711.41 c #Conflicts: 1103000 | #Constraints: 90853
1706.32/1711.41 c #Conflicts: 1104000 | #Constraints: 91853
1706.32/1711.41 c #Conflicts: 1105000 | #Constraints: 92853
1706.32/1711.41 c #Conflicts: 1106000 | #Constraints: 93853
1706.32/1711.41 c #Conflicts: 1107000 | #Constraints: 94853
1706.32/1711.41 c #Conflicts: 1108000 | #Constraints: 95853
1706.32/1711.41 c #Conflicts: 1109000 | #Constraints: 96853
1706.32/1711.41 c #Conflicts: 1110000 | #Constraints: 97853
1706.32/1711.41 c #Conflicts: 1111000 | #Constraints: 98853
1706.32/1711.41 c #Conflicts: 1112000 | #Constraints: 99853
1706.32/1711.41 c #Conflicts: 1113000 | #Constraints: 100853
1706.32/1711.41 c #Conflicts: 1114000 | #Constraints: 101853
1706.32/1711.41 c #Conflicts: 1115000 | #Constraints: 102853
1706.32/1711.41 c #Conflicts: 1116000 | #Constraints: 103853
1706.32/1711.41 c #Conflicts: 1117000 | #Constraints: 104853
1706.32/1711.41 c #Conflicts: 1118000 | #Constraints: 105853
1706.32/1711.41 c #Conflicts: 1119000 | #Constraints: 106853
1706.32/1711.41 c #Conflicts: 1120000 | #Constraints: 107853
1706.32/1711.41 c #Conflicts: 1121000 | #Constraints: 108853
1706.32/1711.41 c #Conflicts: 1122000 | #Constraints: 109853
1706.32/1711.41 c INPROCESSING
1706.32/1711.41 c GARBAGE COLLECT
1706.32/1711.41 c rational objective 108.057
1833.34/1838.89 c #Conflicts: 1123000 | #Constraints: 60048
1833.34/1838.89 c #Conflicts: 1124000 | #Constraints: 61048
1833.34/1838.89 c #Conflicts: 1125000 | #Constraints: 62048
1833.34/1838.89 c #Conflicts: 1126000 | #Constraints: 63048
1833.34/1838.89 c #Conflicts: 1127000 | #Constraints: 64048
1833.34/1838.89 c #Conflicts: 1128000 | #Constraints: 65048
1833.34/1838.89 c #Conflicts: 1129000 | #Constraints: 66048
1833.34/1838.89 c #Conflicts: 1130000 | #Constraints: 67048
1833.34/1838.89 c #Conflicts: 1131000 | #Constraints: 68048
1833.34/1838.89 c #Conflicts: 1132000 | #Constraints: 69048
1833.34/1838.89 c #Conflicts: 1133000 | #Constraints: 70048
1833.34/1838.89 c #Conflicts: 1134000 | #Constraints: 71048
1833.34/1838.89 c #Conflicts: 1135000 | #Constraints: 72048
1833.34/1838.89 c #Conflicts: 1136000 | #Constraints: 73048
1833.34/1838.89 c #Conflicts: 1137000 | #Constraints: 74048
1833.34/1838.89 c #Conflicts: 1138000 | #Constraints: 75048
1833.34/1838.89 c #Conflicts: 1139000 | #Constraints: 76048
1833.34/1838.89 c #Conflicts: 1140000 | #Constraints: 77048
1833.34/1838.89 c #Conflicts: 1141000 | #Constraints: 78048
1833.34/1838.89 c #Conflicts: 1142000 | #Constraints: 79048
1833.34/1838.89 c #Conflicts: 1143000 | #Constraints: 80048
1833.34/1838.89 c #Conflicts: 1144000 | #Constraints: 81048
1833.34/1838.89 c #Conflicts: 1145000 | #Constraints: 82048
1833.34/1838.89 c #Conflicts: 1146000 | #Constraints: 83048
1833.34/1838.89 c INPROCESSING
1833.34/1838.89 c GARBAGE COLLECT
1833.34/1838.89 c #Conflicts: 1147000 | #Constraints: 46232
1833.34/1838.89 c #Conflicts: 1148000 | #Constraints: 47232
1833.34/1838.89 c #Conflicts: 1149000 | #Constraints: 48232
1833.34/1838.89 c #Conflicts: 1150000 | #Constraints: 49232
1833.34/1838.89 c #Conflicts: 1151000 | #Constraints: 50232
1833.34/1838.89 c #Conflicts: 1152000 | #Constraints: 51232
1833.34/1838.89 c #Conflicts: 1153000 | #Constraints: 52232
1833.34/1838.89 c #Conflicts: 1154000 | #Constraints: 53232
1833.34/1838.89 c #Conflicts: 1155000 | #Constraints: 54232
1833.34/1838.89 c #Conflicts: 1156000 | #Constraints: 55232
1833.34/1838.89 c #Conflicts: 1157000 | #Constraints: 56232
1833.34/1838.89 c #Conflicts: 1158000 | #Constraints: 57232
1833.34/1838.89 c #Conflicts: 1159000 | #Constraints: 58232
1833.34/1838.89 c #Conflicts: 1160000 | #Constraints: 59232
1833.34/1838.89 c #Conflicts: 1161000 | #Constraints: 60232
1833.34/1838.89 c #Conflicts: 1162000 | #Constraints: 61232
1833.34/1838.89 c #Conflicts: 1163000 | #Constraints: 62232
1833.34/1838.89 c #Conflicts: 1164000 | #Constraints: 63232
1833.34/1838.89 c #Conflicts: 1165000 | #Constraints: 64232
1833.34/1838.89 c #Conflicts: 1166000 | #Constraints: 65232
1833.34/1838.89 c #Conflicts: 1167000 | #Constraints: 66232
1833.34/1838.89 c #Conflicts: 1168000 | #Constraints: 67232
1833.34/1838.89 c #Conflicts: 1169000 | #Constraints: 68232
1833.34/1838.89 c #Conflicts: 1170000 | #Constraints: 69232
1833.34/1838.89 c #Conflicts: 1171000 | #Constraints: 70232
1833.34/1838.89 c INPROCESSING
1833.34/1838.89 c GARBAGE COLLECT
1833.34/1838.89 c #Conflicts: 1172000 | #Constraints: 39747
1833.34/1838.89 c #Conflicts: 1173000 | #Constraints: 40747
1833.34/1838.89 c #Conflicts: 1174000 | #Constraints: 41747
1833.34/1838.89 c #Conflicts: 1175000 | #Constraints: 42747
1833.34/1838.89 c #Conflicts: 1176000 | #Constraints: 43747
1833.34/1838.89 c #Conflicts: 1177000 | #Constraints: 44747
1833.34/1838.89 c #Conflicts: 1178000 | #Constraints: 45747
1833.34/1838.89 c #Conflicts: 1179000 | #Constraints: 46747
1833.34/1838.89 c #Conflicts: 1180000 | #Constraints: 47747
1833.34/1838.89 c #Conflicts: 1181000 | #Constraints: 48747
1833.34/1838.89 c #Conflicts: 1182000 | #Constraints: 49747
1833.34/1838.89 c #Conflicts: 1183000 | #Constraints: 50747
1833.34/1838.89 c #Conflicts: 1184000 | #Constraints: 51747
1833.34/1838.89 c #Conflicts: 1185000 | #Constraints: 52747
1833.34/1838.89 c #Conflicts: 1186000 | #Constraints: 53747
1833.34/1838.89 c #Conflicts: 1187000 | #Constraints: 54747
1833.34/1838.89 c #Conflicts: 1188000 | #Constraints: 55747
1833.34/1838.89 c #Conflicts: 1189000 | #Constraints: 56747
1833.34/1838.89 c #Conflicts: 1190000 | #Constraints: 57747
1833.34/1838.89 c #Conflicts: 1191000 | #Constraints: 58747
1833.34/1838.89 c #Conflicts: 1192000 | #Constraints: 59747
1833.34/1838.89 c #Conflicts: 1193000 | #Constraints: 60747
1833.34/1838.89 c #Conflicts: 1194000 | #Constraints: 61747
1833.34/1838.89 c #Conflicts: 1195000 | #Constraints: 62747
1833.34/1838.89 c #Conflicts: 1196000 | #Constraints: 63747
1833.34/1838.89 c #Conflicts: 1197000 | #Constraints: 64747
1833.34/1838.89 c INPROCESSING
1833.34/1838.89 c GARBAGE COLLECT
1833.34/1838.89 c #Conflicts: 1198000 | #Constraints: 37421
1833.34/1838.89 c #Conflicts: 1199000 | #Constraints: 38421
1922.30/1928.10 c #Conflicts: 1200000 | #Constraints: 39422
1922.30/1928.10 c #Conflicts: 1201000 | #Constraints: 40422
1922.30/1928.10 c #Conflicts: 1202000 | #Constraints: 41422
1922.30/1928.10 c #Conflicts: 1203000 | #Constraints: 42422
1922.30/1928.10 c #Conflicts: 1204000 | #Constraints: 43422
1922.30/1928.10 c #Conflicts: 1205000 | #Constraints: 44423
1922.30/1928.10 c #Conflicts: 1206000 | #Constraints: 45423
1922.30/1928.10 c #Conflicts: 1207000 | #Constraints: 46423
1922.30/1928.10 c #Conflicts: 1208000 | #Constraints: 47423
1922.30/1928.10 c #Conflicts: 1209000 | #Constraints: 48423
1922.30/1928.10 c #Conflicts: 1210000 | #Constraints: 49423
1922.30/1928.10 c #Conflicts: 1211000 | #Constraints: 50423
1922.30/1928.10 c #Conflicts: 1212000 | #Constraints: 51423
1922.30/1928.10 c #Conflicts: 1213000 | #Constraints: 52423
1922.30/1928.10 c #Conflicts: 1214000 | #Constraints: 53423
1922.30/1928.10 c #Conflicts: 1215000 | #Constraints: 54423
1922.30/1928.10 c #Conflicts: 1216000 | #Constraints: 55423
1922.30/1928.10 c #Conflicts: 1217000 | #Constraints: 56423
1922.30/1928.10 c #Conflicts: 1218000 | #Constraints: 57423
1922.30/1928.10 c #Conflicts: 1219000 | #Constraints: 58423
1922.30/1928.10 c #Conflicts: 1220000 | #Constraints: 59423
1922.30/1928.10 c #Conflicts: 1221000 | #Constraints: 60423
1922.30/1928.10 c #Conflicts: 1222000 | #Constraints: 61423
1922.30/1928.10 c INPROCESSING
1922.30/1928.10 c GARBAGE COLLECT
1922.30/1928.10 c #Conflicts: 1223000 | #Constraints: 35563
1922.30/1928.10 c #Conflicts: 1224000 | #Constraints: 36563
1922.30/1928.10 c #Conflicts: 1225000 | #Constraints: 37563
1922.30/1928.10 c #Conflicts: 1226000 | #Constraints: 38563
1922.30/1928.10 c #Conflicts: 1227000 | #Constraints: 39563
1922.30/1928.10 c #Conflicts: 1228000 | #Constraints: 40563
1922.30/1928.10 c #Conflicts: 1229000 | #Constraints: 41563
1922.30/1928.10 c #Conflicts: 1230000 | #Constraints: 42563
1922.30/1928.10 c #Conflicts: 1231000 | #Constraints: 43563
1922.30/1928.10 c #Conflicts: 1232000 | #Constraints: 44563
1922.30/1928.10 c #Conflicts: 1233000 | #Constraints: 45563
1922.30/1928.10 c #Conflicts: 1234000 | #Constraints: 46563
1922.30/1928.10 c #Conflicts: 1235000 | #Constraints: 47563
1922.30/1928.10 c #Conflicts: 1236000 | #Constraints: 48563
1922.30/1928.10 c #Conflicts: 1237000 | #Constraints: 49563
1922.30/1928.10 c #Conflicts: 1238000 | #Constraints: 50563
1922.30/1928.10 c #Conflicts: 1239000 | #Constraints: 51563
1922.30/1928.10 c #Conflicts: 1240000 | #Constraints: 52563
1922.30/1928.10 c #Conflicts: 1241000 | #Constraints: 53563
1922.30/1928.10 c #Conflicts: 1242000 | #Constraints: 54563
1922.30/1928.10 c #Conflicts: 1243000 | #Constraints: 55563
1922.30/1928.10 c #Conflicts: 1244000 | #Constraints: 56563
1922.30/1928.10 c #Conflicts: 1245000 | #Constraints: 57563
1922.30/1928.10 c #Conflicts: 1246000 | #Constraints: 58563
1922.30/1928.10 c #Conflicts: 1247000 | #Constraints: 59563
1922.30/1928.10 c #Conflicts: 1248000 | #Constraints: 60563
1922.30/1928.10 c INPROCESSING
1922.30/1928.10 c GARBAGE COLLECT
1922.30/1928.10 c #Conflicts: 1249000 | #Constraints: 35257
1922.30/1928.10 c #Conflicts: 1250000 | #Constraints: 36257
1922.30/1928.10 c #Conflicts: 1251000 | #Constraints: 37257
1922.30/1928.10 c #Conflicts: 1252000 | #Constraints: 38257
1922.30/1928.10 c #Conflicts: 1253000 | #Constraints: 39257
1922.30/1928.10 c #Conflicts: 1254000 | #Constraints: 40257
1922.30/1928.10 c #Conflicts: 1255000 | #Constraints: 41257
1922.30/1928.10 c #Conflicts: 1256000 | #Constraints: 42257
1922.30/1928.10 c #Conflicts: 1257000 | #Constraints: 43257
1922.30/1928.10 c #Conflicts: 1258000 | #Constraints: 44257
1922.30/1928.10 c #Conflicts: 1259000 | #Constraints: 45257
1922.30/1928.10 c #Conflicts: 1260000 | #Constraints: 46257
1922.30/1928.10 c #Conflicts: 1261000 | #Constraints: 47257
1922.30/1928.10 c #Conflicts: 1262000 | #Constraints: 48257
1922.30/1928.10 c #Conflicts: 1263000 | #Constraints: 49257
1922.30/1928.10 c #Conflicts: 1264000 | #Constraints: 50257
1922.30/1928.10 c #Conflicts: 1265000 | #Constraints: 51257
1922.30/1928.10 c #Conflicts: 1266000 | #Constraints: 52257
1922.30/1928.10 c #Conflicts: 1267000 | #Constraints: 53257
1922.30/1928.10 c #Conflicts: 1268000 | #Constraints: 54257
1922.30/1928.10 c #Conflicts: 1269000 | #Constraints: 55257
1922.30/1928.10 c #Conflicts: 1270000 | #Constraints: 56257
1922.30/1928.10 c #Conflicts: 1271000 | #Constraints: 57257
1922.30/1928.10 c cpu time 1908.96 s
1922.30/1928.10 c deterministic time 142982266214 1.43e+11
1922.30/1928.10 c optimization time 0.000112 s
1922.30/1928.10 c total solve time 1908.87 s
1922.30/1928.10 c core-guided solve time 0 s
1922.30/1928.10 c propagation time 1049.03 s
1922.30/1928.10 c conflict analysis time 691.568 s
1922.30/1928.10 c propagations 592769981
1922.30/1928.10 c resolve steps 52378093
1922.30/1928.10 c decisions 11390608
1922.30/1928.10 c conflicts 1271281
1922.30/1928.10 c restarts 2428
1922.30/1928.10 c inprocessing phases 65
1922.30/1928.10 c garbage collections 65 ,( 100.00 )
1922.30/1928.10 c input clauses 7159 ,( 98.61 )
1922.30/1928.10 c input cardinalities 101 ,( 1.39 )
1922.30/1928.10 c input general constraints 0 ,( 0.00 )
1922.30/1928.10 c input average constraint length 6.15
1922.30/1928.10 c input average constraint degree 1.92
1922.30/1928.10 c learned clauses 951388 ,( 74.84 )
1922.30/1928.10 c learned cardinalities 24737 ,( 1.95 )
1922.30/1928.10 c learned general constraints 295164 ,( 23.22 )
1922.30/1928.10 c learned average constraint length 646.70
1922.30/1928.10 c learned average constraint degree 8194141.93
1922.30/1928.10 c watched CF 32, 64, 128, Arb: 90600 , 0 , 0 , 0
1922.30/1928.10 c counting CF 32, 64, 128, Arb: 204564 , 0 , 0 , 0
1922.30/1928.10 c watched constraints 90600 ,( 30.69 )
1922.30/1928.10 c counting constraints 204564 ,( 69.31 )
1922.30/1928.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 800880475 , 441859954 , 1727384807 ,( 91540858 , 1635843949 )
1922.30/1928.10 c gcd simplifications 674
1922.30/1928.10 c detected cardinalities 2113
1922.30/1928.10 c weakened non-implied lits 234463607
1922.30/1928.10 c weakened non-implying lits 153594
1922.30/1928.10 c original variables 6931
1922.30/1928.10 c clausal propagations 226497594
1922.30/1928.10 c cardinality propagations 227359262
1922.30/1928.10 c watched propagations 3163040
1922.30/1928.10 c counting propagations 131024071
1922.30/1928.10 c watch lookups 65899710847
1922.30/1928.10 c watch backjump lookups 0
1922.30/1928.10 c watch checks 24850465699
1922.30/1928.10 c propagation checks 48202889537
1922.30/1928.10 c constraint additions 2819336795
1922.30/1928.10 c trail pops 605431365
1922.30/1928.10 c formula constraints 7260
1922.30/1928.10 c learned constraints 1271277
1922.30/1928.10 c bound constraints 0
1922.30/1928.10 c core-guided constraints 0
1922.30/1928.10 c encountered formula constraints 31129563
1922.30/1928.10 c encountered learned constraints 22519778
1922.30/1928.10 c encountered bound constraints 0
1922.30/1928.10 c encountered core-guided constraints 0
1922.30/1928.10 c LP total time 144.456 s
1922.30/1928.10 c LP solve time 139.2 s
1922.30/1928.10 c LP constraints added 7747
1922.30/1928.10 c LP constraints removed 301
1922.30/1928.10 c LP pivots internal 139591
1922.30/1928.10 c LP pivots root 131790
1922.30/1928.10 c LP calls 22
1922.30/1928.10 c LP optimalities 13
1922.30/1928.10 c LP no pivot count 0
1922.30/1928.10 c LP infeasibilities 4
1922.30/1928.10 c LP valid Farkas constraints 4
1922.30/1928.10 c LP learned Farkas constraints 4
1922.30/1928.10 c LP basis resets 0
1922.30/1928.10 c LP cycling count 0
1922.30/1928.10 c LP singular count 0
1922.30/1928.10 c LP no primal count 0
1922.30/1928.10 c LP no farkas count 0
1922.30/1928.10 c LP other issue count 0
1922.30/1928.10 c LP Gomory cuts 4
1922.30/1928.10 c LP learned cuts 483
1922.30/1928.10 c LP deleted cuts 301
1922.30/1928.10 c LP encountered Gomory constraints 0
1922.30/1928.10 c LP encountered Farkas constraints 28
1922.30/1928.10 c LP encountered learned Farkas constraints 1
1922.30/1928.10 c CG auxiliary variables introduced 0
1922.30/1928.10 c CG solutions found 0
1922.30/1928.10 c CG cores constructed 0
1922.30/1928.10 c CG core cardinality constraints returned 0
1922.30/1928.10 c CG unit cores 0
1922.30/1928.10 c CG single cores 0
1922.30/1928.10 c CG blocks removed during cardinality reduction 0
1922.30/1928.10 c CG first core best 0
1922.30/1928.10 c CG decision core best 0
1922.30/1928.10 c CG core reduction tie 0
1922.30/1928.10 c CG core degree average 0.00
1922.30/1928.10 c CG core slack average 0.00
1922.30/1928.10 c CG core upper bound improvements 0
1922.30/1928.10 c STR number of successful calls 0
1922.30/1928.10 c STR number of unsuccessful calls 0
1922.30/1928.10 c STR number of inconclusive calls 0
1922.30/1928.10 c STR number of successful attempts 0
1922.30/1928.10 c STR number of unsuccessful attempts 0
1922.30/1928.10 c STR number of inconclusive attempts 0
1922.30/1928.10 c STR average degree increase per successful call inf
1922.30/1928.10 c STR average degree increase per successful attempt inf
1922.30/1928.10 c STR total number of conflicts for successful attempts 0
1922.30/1928.10 c STR total number of conflicts for unsuccessful attempts 0
1922.30/1928.10 c STR total number of conflicts for inconclusive attempts 0
1922.30/1928.10 c STR average number of conflicts per successful attempt inf
1922.30/1928.10 c STR average number of conflicts per unsuccessful attempt inf
1922.30/1928.10 c STR average number of conflicts per inconclusive attempt inf
1922.30/1928.10 c AVG.sumWPerc 60.80
1922.30/1928.10 c bigint constraints 0
1922.30/1928.10 s SATISFIABLE
1922.30/1928.10 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: 63837 MiB (62417 MiB free)
memory of node 1: 64465 MiB (63575 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507448-1751183335/watcher-4507448-1751183335 -o /tmp/evaluation-result-4507448-1751183335/solver-4507448-1751183335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19245 --watchdog 3760 run-dec-break.sh HOME/instance-4507448-1751183335.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19387, runsolver pid=19384
[startup+0.100064 s]*
/proc/loadavg: 4.08 3.91 3.38 6/254 19390
/proc/meminfo: memFree=129016900/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=17868 memory=1024 CPUtime=0 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 90 0 0 0 0 0 0 0 20 0 1 0 34012202 18296832 256 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 4467 256 224 1147 0 110 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 22060 KiB
Current children cumulated memory: 4096 KiB
[startup+0.213834 s]*
/proc/loadavg: 4.08 3.91 3.38 5/254 19390
/proc/meminfo: memFree=129016900/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=65324 memory=17832 CPUtime=0.09 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 2955 0 0 0 7 2 0 0 20 0 1 0 34012202 66891776 4458 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 16331 4458 2272 1147 0 3758 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 69516 KiB
Current children cumulated memory: 20904 KiB
[startup+0.31363 s]*
/proc/loadavg: 4.08 3.91 3.38 5/254 19390
/proc/meminfo: memFree=129016900/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=74472 memory=27332 CPUtime=0.18 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 5412 0 0 0 15 3 0 0 20 0 1 0 34012202 76259328 6833 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 18618 6833 2304 1147 0 6045 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 78664 KiB
Current children cumulated memory: 30404 KiB
[startup+0.700386 s]
/proc/loadavg: 4.08 3.91 3.38 5/254 19390
/proc/meminfo: memFree=129016900/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=75024 memory=28100 CPUtime=0.56 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 5613 0 0 0 52 4 0 0 20 0 1 0 34012202 76824576 7025 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 18756 7025 2304 1147 0 6183 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 79216 KiB
Current children cumulated memory: 31172 KiB
[startup+1.5004 s]
/proc/loadavg: 4.08 3.91 3.38 5/254 19390
/proc/meminfo: memFree=129017076/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=76304 memory=28996 CPUtime=1.36 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 5837 0 0 0 132 4 0 0 20 0 1 0 34012202 78135296 7249 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 19076 7249 2304 1147 0 6503 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 80496 KiB
Current children cumulated memory: 32068 KiB
[startup+3.11329 s]
/proc/loadavg: 4.15 3.92 3.39 5/254 19390
/proc/meminfo: memFree=129013064/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=79380 memory=36476 CPUtime=2.96 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 7131 0 0 0 287 9 0 0 20 0 1 0 34012202 81285120 9119 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 19845 9119 2368 1147 0 7272 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 83572 KiB
Current children cumulated memory: 39548 KiB
[startup+6.30037 s]
/proc/loadavg: 4.15 3.92 3.39 5/254 19390
/proc/meminfo: memFree=129009032/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=86748 memory=41212 CPUtime=6.14 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 8332 0 0 0 594 20 0 0 20 0 1 0 34012202 88829952 10303 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 21687 10303 2368 1147 0 9114 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 90940 KiB
Current children cumulated memory: 44284 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 3.93 3.39 5/254 19390
/proc/meminfo: memFree=129001156/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=90404 memory=47004 CPUtime=12.52 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 9265 0 0 0 1216 36 0 0 20 0 1 0 34012202 92573696 11751 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 22601 11751 2368 1147 0 10028 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 94596 KiB
Current children cumulated memory: 50076 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 3.93 3.40 5/254 19390
/proc/meminfo: memFree=128973308/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=128072 memory=77416 CPUtime=25.29 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 14303 0 0 0 2465 64 0 0 20 0 1 0 34012202 131145728 19354 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 32018 19354 2368 1147 0 19445 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 132264 KiB
Current children cumulated memory: 80488 KiB
[startup+51.1133 s]
/proc/loadavg: 4.15 3.95 3.42 5/254 19391
/proc/meminfo: memFree=128949052/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=137028 memory=92048 CPUtime=50.84 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 16441 0 0 0 4977 107 0 0 20 0 1 0 34012202 140316672 23012 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 34257 23012 2368 1147 0 21684 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 141220 KiB
Current children cumulated memory: 95120 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.98 3.46 5/255 19394
/proc/meminfo: memFree=128863324/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=215844 memory=152400 CPUtime=101.86 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 24235 0 0 0 10014 172 0 0 20 0 1 0 34012202 221024256 38100 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 53961 38100 2368 1147 0 41388 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 220036 KiB
Current children cumulated memory: 155472 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.00 3.50 5/256 19397
/proc/meminfo: memFree=128830840/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=234644 memory=173776 CPUtime=161.65 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 28377 0 0 0 15914 251 0 0 20 0 1 0 34012202 240275456 43444 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 58661 43444 2368 1147 0 46088 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 238836 KiB
Current children cumulated memory: 176848 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.03 3.55 5/256 19403
/proc/meminfo: memFree=128734656/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=305120 memory=237828 CPUtime=221.49 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 33658 0 0 0 21853 296 0 0 20 0 1 0 34012202 312442880 59457 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 76280 59457 2400 1147 0 63707 0
Current children cumulated CPU time: 221.55 s
################
# More data... #
################
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 65928 0 0 0 164557 1174 0 0 20 0 1 0 34012202 674840576 149374 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 164756 149374 2400 1147 0 152183 0
Current children cumulated CPU time: 1657.37 s
Current children cumulated vsize: 663216 KiB
Current children cumulated memory: 600568 KiB
[startup+1722.3 s]
/proc/loadavg: 4.14 4.11 4.02 5/254 19531
/proc/meminfo: memFree=127856032/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=882088 memory=669584 CPUtime=1717.12 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68202 0 0 0 170512 1200 0 0 20 0 1 0 34012202 903258112 167396 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220522 167396 2400 1147 0 207949 0
Current children cumulated CPU time: 1717.18 s
Current children cumulated vsize: 886280 KiB
Current children cumulated memory: 672656 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/254 19533
/proc/meminfo: memFree=127880896/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670352 CPUtime=1776.94 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68421 0 0 0 176462 1232 0 0 20 0 1 0 34012202 904257536 167588 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167588 2400 1147 0 208193 0
Current children cumulated CPU time: 1777 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673424 KiB
[startup+1842.3 s]
/proc/loadavg: 4.09 4.10 4.02 5/254 19537
/proc/meminfo: memFree=127876980/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1836.77 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 182408 1269 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1836.83 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1902.3 s]
/proc/loadavg: 4.15 4.11 4.02 5/254 19539
/proc/meminfo: memFree=127868028/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1896.61 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 188348 1313 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1896.67 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1928.1 s]
# the end of solver process 19387 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1909.02 s, system=13.4075 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1907.2 s]
/proc/loadavg: 4.14 4.11 4.02 5/254 19539
/proc/meminfo: memFree=127864184/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1901.5 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 188832 1318 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1901.56 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1920 s]*
/proc/loadavg: 4.12 4.10 4.02 5/254 19539
/proc/meminfo: memFree=127848444/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1914.27 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 190094 1333 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1914.33 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1923.2 s]
/proc/loadavg: 4.11 4.10 4.02 5/254 19539
/proc/meminfo: memFree=127848444/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1917.45 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 190410 1335 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1917.51 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1926.4 s]
/proc/loadavg: 4.11 4.10 4.02 5/254 19539
/proc/meminfo: memFree=127848444/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1920.64 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 190727 1337 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1920.7 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1927.2 s]
/proc/loadavg: 4.10 4.10 4.02 5/254 19539
/proc/meminfo: memFree=127848444/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1921.44 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 190807 1337 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1921.5 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1927.6 s]
/proc/loadavg: 4.10 4.10 4.02 5/254 19539
/proc/meminfo: memFree=127848444/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1921.83 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 190846 1337 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1921.89 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
[startup+1928 s]*
/proc/loadavg: 4.10 4.10 4.02 5/254 19539
/proc/meminfo: memFree=127848696/131382120 swapFree=33010684/33010684
[pid=19387] ppid=19384 vsize=4192 memory=3072 CPUtime=0.06 cores=1,3
/proc/19387/stat : 19387 (run-dec-break.s) S 19384 19387 19233 0 -1 4194304 238 5035 0 0 0 0 5 1 20 0 1 0 34012193 4292608 768 18446744073709551615 94392056602624 94392057497157 140728820847840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94392057736208 94392057783952 94392087101440 140728820853089 140728820853218 140728820853218 140728820858820 0
/proc/19387/statm: 1048 768 704 219 0 110 0
[pid=19390] ppid=19387 vsize=883064 memory=670608 CPUtime=1922.24 cores=1,3
/proc/19390/stat : 19390 (roundingsat) R 19387 19387 19233 0 -1 4194304 68500 0 0 0 190887 1337 0 0 20 0 1 0 34012202 904257536 167652 18446744073709551615 4227072 8923433 140726868452016 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 35872768 140726868453700 140726868453928 140726868453928 140726868459498 0
/proc/19390/statm: 220766 167652 2400 1147 0 208193 0
Current children cumulated CPU time: 1922.3 s
Current children cumulated vsize: 887256 KiB
Current children cumulated memory: 673680 KiB
Child status: 0
Real time (s): 1928.11
CPU time (s): 1922.43
CPU user time (s): 1909.02
CPU system time (s): 13.4075
CPU usage (%): 99.7057
Max. virtual memory (cumulated for all children) (KiB): 887256
Max. memory (cumulated for all children) (KiB): 673680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1909.02
system time used= 13.4075
maximum resident set size= 670608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 351
involuntary context switches= 1531
# summary of solver processes directly reported to runsolver:
# pid: 19387
# total CPU time (s): 1922.43
# total CPU user time (s): 1909.02
# total CPU system time (s): 13.4075
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0801 second user time and 20.0749 second system time
The end
Begin job on nodeC003 at 2025-06-29 09:48:55
IDJOB=4507448
IDBENCH=158353
IDSOLVER=3357
FILE ID=nodeC003/4507448-1751183335
RUNJOBID= nodeC003-1751182666-19245
SLURM_JOB_ID= 9587560
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K101.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507448-1751183335/watcher-4507448-1751183335 -o /tmp/evaluation-result-4507448-1751183335/solver-4507448-1751183335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19245 --watchdog 3760 run-dec-break.sh HOME/instance-4507448-1751183335.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 169808018047e4e4c90ba93c1e86b926
RANDOM SEED=43644299
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.241
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.622
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.396
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.161
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.247
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.370
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.416
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.618
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129016900 kB
MemAvailable: 128827200 kB
Buffers: 3280 kB
Cached: 620952 kB
SwapCached: 0 kB
Active: 1378156 kB
Inactive: 407736 kB
Active(anon): 1179624 kB
Inactive(anon): 0 kB
Active(file): 198532 kB
Inactive(file): 407736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7848 kB
Writeback: 0 kB
AnonPages: 1162824 kB
Mapped: 115600 kB
Shmem: 17960 kB
KReclaimable: 87316 kB
Slab: 168336 kB
SReclaimable: 87316 kB
SUnreclaim: 81020 kB
KernelStack: 4080 kB
PageTables: 5468 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1576980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149512 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 882688 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:21:03