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-4507593-1751177729.opb'
0.00/0.01 c read 0.42MB (5.72ms)
0.00/0.01 c [cnf: #variables 6528 #clauses 6722 #duplicates 0 #arr 41911]
0.00/0.01 c output proof to 'PROOFDIR/proof-4507593-1751177729'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1152] (7.52ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.32ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 32834 #edges 122990]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 3.84*10^2 #generators 7] (6.82ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.02ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.03ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 196 #add_vars 63]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507593-1751177729.opb.pre'
0.00/0.03 c wrote 0.43MB (1.07ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 7.52ms 28.83% approx_orbits
0.00/0.03 c 6.82ms 26.17% detect_generic
0.00/0.03 c 5.72ms 21.94% parse
0.00/0.03 c 3.35ms 12.86% other
0.00/0.03 c 1.32ms 5.07% detect_special
0.00/0.03 c 1.07ms 4.12% output
0.00/0.03 c 0.22ms 0.85% finalize_order
0.00/0.03 c 0.03ms 0.10% break_generic
0.00/0.03 c 0.02ms 0.07% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 26.08ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.10 c #variables 6591 #constraints 6910
52.66/53.39 c #Conflicts: 1000 | #Constraints: 7909
52.66/53.39 c #Conflicts: 2000 | #Constraints: 8909
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 3000 | #Constraints: 8575
52.66/53.39 c #Conflicts: 4000 | #Constraints: 9575
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 5000 | #Constraints: 9045
52.66/53.39 c #Conflicts: 6000 | #Constraints: 10045
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 7000 | #Constraints: 9097
52.66/53.39 c #Conflicts: 8000 | #Constraints: 10097
52.66/53.39 c #Conflicts: 9000 | #Constraints: 11097
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 10000 | #Constraints: 9840
52.66/53.39 c #Conflicts: 11000 | #Constraints: 10840
52.66/53.39 c #Conflicts: 12000 | #Constraints: 11840
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 13000 | #Constraints: 10316
52.66/53.39 c #Conflicts: 14000 | #Constraints: 11316
52.66/53.39 c #Conflicts: 15000 | #Constraints: 12316
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 16000 | #Constraints: 10584
52.66/53.39 c #Conflicts: 17000 | #Constraints: 11584
52.66/53.39 c #Conflicts: 18000 | #Constraints: 12584
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 19000 | #Constraints: 10610
52.66/53.39 c #Conflicts: 20000 | #Constraints: 11610
52.66/53.39 c #Conflicts: 21000 | #Constraints: 12610
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 22000 | #Constraints: 10436
52.66/53.39 c #Conflicts: 23000 | #Constraints: 11436
52.66/53.39 c #Conflicts: 24000 | #Constraints: 12436
52.66/53.39 c #Conflicts: 25000 | #Constraints: 13436
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 26000 | #Constraints: 11045
52.66/53.39 c #Conflicts: 27000 | #Constraints: 12045
52.66/53.39 c #Conflicts: 28000 | #Constraints: 13045
52.66/53.39 c #Conflicts: 29000 | #Constraints: 14045
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 30000 | #Constraints: 11470
52.66/53.39 c #Conflicts: 31000 | #Constraints: 12470
52.66/53.39 c #Conflicts: 32000 | #Constraints: 13470
52.66/53.39 c #Conflicts: 33000 | #Constraints: 14470
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 34000 | #Constraints: 11737
52.66/53.39 c #Conflicts: 35000 | #Constraints: 12737
52.66/53.39 c #Conflicts: 36000 | #Constraints: 13737
52.66/53.39 c #Conflicts: 37000 | #Constraints: 14737
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 38000 | #Constraints: 11753
52.66/53.39 c #Conflicts: 39000 | #Constraints: 12753
52.66/53.39 c #Conflicts: 40000 | #Constraints: 13753
52.66/53.39 c #Conflicts: 41000 | #Constraints: 14753
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 42000 | #Constraints: 11584
52.66/53.39 c #Conflicts: 43000 | #Constraints: 12584
52.66/53.39 c #Conflicts: 44000 | #Constraints: 13584
52.66/53.39 c #Conflicts: 45000 | #Constraints: 14584
52.66/53.39 c #Conflicts: 46000 | #Constraints: 15584
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 47000 | #Constraints: 12170
52.66/53.39 c #Conflicts: 48000 | #Constraints: 13170
52.66/53.39 c #Conflicts: 49000 | #Constraints: 14170
52.66/53.39 c #Conflicts: 50000 | #Constraints: 15170
52.66/53.39 c #Conflicts: 51000 | #Constraints: 16170
52.66/53.39 c INPROCESSING
52.66/53.39 c GARBAGE COLLECT
52.66/53.39 c #Conflicts: 52000 | #Constraints: 12569
52.66/53.39 c #Conflicts: 53000 | #Constraints: 13569
52.66/53.39 c #Conflicts: 54000 | #Constraints: 14569
52.66/53.39 c #Conflicts: 55000 | #Constraints: 15569
52.66/53.39 c #Conflicts: 56000 | #Constraints: 16569
52.66/53.39 c #Conflicts: 57000 | #Constraints: 17569
52.66/53.39 c #Conflicts: 58000 | #Constraints: 18569
52.66/53.39 c #Conflicts: 59000 | #Constraints: 19569
52.66/53.39 c #Conflicts: 60000 | #Constraints: 20569
52.66/53.39 c #Conflicts: 61000 | #Constraints: 21569
52.66/53.39 c #Conflicts: 62000 | #Constraints: 22569
52.66/53.39 c #Conflicts: 63000 | #Constraints: 23569
52.66/53.39 c #Conflicts: 64000 | #Constraints: 24569
52.66/53.39 c #Conflicts: 65000 | #Constraints: 25569
52.66/53.39 c #Conflicts: 66000 | #Constraints: 26569
52.66/53.39 c #Conflicts: 67000 | #Constraints: 27569
52.66/53.39 c #Conflicts: 68000 | #Constraints: 28569
52.66/53.39 c #Conflicts: 69000 | #Constraints: 29569
52.66/53.39 c #Conflicts: 70000 | #Constraints: 30569
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 71000 | #Constraints: 19641
114.66/117.00 c #Conflicts: 72000 | #Constraints: 20641
114.66/117.00 c #Conflicts: 73000 | #Constraints: 21641
114.66/117.00 c #Conflicts: 74000 | #Constraints: 22641
114.66/117.00 c #Conflicts: 75000 | #Constraints: 23641
114.66/117.00 c #Conflicts: 76000 | #Constraints: 24641
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 77000 | #Constraints: 16664
114.66/117.00 c #Conflicts: 78000 | #Constraints: 17664
114.66/117.00 c #Conflicts: 79000 | #Constraints: 18664
114.66/117.00 c #Conflicts: 80000 | #Constraints: 19664
114.66/117.00 c #Conflicts: 81000 | #Constraints: 20664
114.66/117.00 c #Conflicts: 82000 | #Constraints: 21664
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 83000 | #Constraints: 15015
114.66/117.00 c #Conflicts: 84000 | #Constraints: 16015
114.66/117.00 c #Conflicts: 85000 | #Constraints: 17015
114.66/117.00 c #Conflicts: 86000 | #Constraints: 18015
114.66/117.00 c #Conflicts: 87000 | #Constraints: 19015
114.66/117.00 c #Conflicts: 88000 | #Constraints: 20015
114.66/117.00 c #Conflicts: 89000 | #Constraints: 21015
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 90000 | #Constraints: 14890
114.66/117.00 c #Conflicts: 91000 | #Constraints: 15890
114.66/117.00 c #Conflicts: 92000 | #Constraints: 16890
114.66/117.00 c #Conflicts: 93000 | #Constraints: 17890
114.66/117.00 c #Conflicts: 94000 | #Constraints: 18890
114.66/117.00 c #Conflicts: 95000 | #Constraints: 19890
114.66/117.00 c #Conflicts: 96000 | #Constraints: 20890
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 97000 | #Constraints: 15023
114.66/117.00 c #Conflicts: 98000 | #Constraints: 16023
114.66/117.00 c #Conflicts: 99000 | #Constraints: 17023
114.66/117.00 c #Conflicts: 100000 | #Constraints: 18023
114.66/117.00 c #Conflicts: 101000 | #Constraints: 19024
114.66/117.00 c #Conflicts: 102000 | #Constraints: 20024
114.66/117.00 c #Conflicts: 103000 | #Constraints: 21024
114.66/117.00 c #Conflicts: 104000 | #Constraints: 22024
114.66/117.00 c #Conflicts: 105000 | #Constraints: 23024
114.66/117.00 c #Conflicts: 106000 | #Constraints: 24024
114.66/117.00 c #Conflicts: 107000 | #Constraints: 25024
114.66/117.00 c #Conflicts: 108000 | #Constraints: 26024
114.66/117.00 c #Conflicts: 109000 | #Constraints: 27024
114.66/117.00 c #Conflicts: 110000 | #Constraints: 28024
114.66/117.00 c #Conflicts: 111000 | #Constraints: 29024
114.66/117.00 c #Conflicts: 112000 | #Constraints: 30024
114.66/117.00 c #Conflicts: 113000 | #Constraints: 31024
114.66/117.00 c #Conflicts: 114000 | #Constraints: 32024
114.66/117.00 c #Conflicts: 115000 | #Constraints: 33024
114.66/117.00 c #Conflicts: 116000 | #Constraints: 34024
114.66/117.00 c #Conflicts: 117000 | #Constraints: 35024
114.66/117.00 c #Conflicts: 118000 | #Constraints: 36024
114.66/117.00 c #Conflicts: 119000 | #Constraints: 37024
114.66/117.00 c #Conflicts: 120000 | #Constraints: 38024
114.66/117.00 c #Conflicts: 121000 | #Constraints: 39024
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 122000 | #Constraints: 23751
114.66/117.00 c #Conflicts: 123000 | #Constraints: 24751
114.66/117.00 c #Conflicts: 124000 | #Constraints: 25751
114.66/117.00 c #Conflicts: 125000 | #Constraints: 26751
114.66/117.00 c #Conflicts: 126000 | #Constraints: 27751
114.66/117.00 c #Conflicts: 127000 | #Constraints: 28751
114.66/117.00 c #Conflicts: 128000 | #Constraints: 29751
114.66/117.00 c #Conflicts: 129000 | #Constraints: 30751
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 130000 | #Constraints: 19649
114.66/117.00 c #Conflicts: 131000 | #Constraints: 20649
114.66/117.00 c #Conflicts: 132000 | #Constraints: 21649
114.66/117.00 c #Conflicts: 133000 | #Constraints: 22649
114.66/117.00 c #Conflicts: 134000 | #Constraints: 23649
114.66/117.00 c #Conflicts: 135000 | #Constraints: 24649
114.66/117.00 c #Conflicts: 136000 | #Constraints: 25649
114.66/117.00 c #Conflicts: 137000 | #Constraints: 26649
114.66/117.00 c #Conflicts: 138000 | #Constraints: 27649
114.66/117.00 c INPROCESSING
114.66/117.00 c GARBAGE COLLECT
114.66/117.00 c #Conflicts: 139000 | #Constraints: 18483
114.66/117.00 c #Conflicts: 140000 | #Constraints: 19483
114.66/117.00 c #Conflicts: 141000 | #Constraints: 20483
114.66/117.00 c #Conflicts: 142000 | #Constraints: 21483
114.66/117.00 c #Conflicts: 143000 | #Constraints: 22483
199.72/202.53 c #Conflicts: 144000 | #Constraints: 23483
199.72/202.53 c #Conflicts: 145000 | #Constraints: 24483
199.72/202.53 c #Conflicts: 146000 | #Constraints: 25483
199.72/202.53 c INPROCESSING
199.72/202.53 c GARBAGE COLLECT
199.72/202.53 c #Conflicts: 147000 | #Constraints: 17190
199.72/202.53 c #Conflicts: 148000 | #Constraints: 18190
199.72/202.53 c #Conflicts: 149000 | #Constraints: 19190
199.72/202.53 c #Conflicts: 150000 | #Constraints: 20190
199.72/202.53 c #Conflicts: 151000 | #Constraints: 21190
199.72/202.53 c #Conflicts: 152000 | #Constraints: 22190
199.72/202.53 c #Conflicts: 153000 | #Constraints: 23190
199.72/202.53 c #Conflicts: 154000 | #Constraints: 24190
199.72/202.53 c #Conflicts: 155000 | #Constraints: 25190
199.72/202.53 c #Conflicts: 156000 | #Constraints: 26190
199.72/202.53 c #Conflicts: 157000 | #Constraints: 27190
199.72/202.53 c #Conflicts: 158000 | #Constraints: 28190
199.72/202.53 c #Conflicts: 159000 | #Constraints: 29190
199.72/202.53 c #Conflicts: 160000 | #Constraints: 30190
199.72/202.53 c #Conflicts: 161000 | #Constraints: 31190
199.72/202.53 c #Conflicts: 162000 | #Constraints: 32190
199.72/202.53 c #Conflicts: 163000 | #Constraints: 33190
199.72/202.53 c #Conflicts: 164000 | #Constraints: 34190
199.72/202.53 c #Conflicts: 165000 | #Constraints: 35190
199.72/202.53 c #Conflicts: 166000 | #Constraints: 36190
199.72/202.53 c #Conflicts: 167000 | #Constraints: 37190
199.72/202.53 c #Conflicts: 168000 | #Constraints: 38190
199.72/202.53 c #Conflicts: 169000 | #Constraints: 39190
199.72/202.53 c #Conflicts: 170000 | #Constraints: 40190
199.72/202.53 c #Conflicts: 171000 | #Constraints: 41190
199.72/202.53 c #Conflicts: 172000 | #Constraints: 42190
199.72/202.53 c #Conflicts: 173000 | #Constraints: 43190
199.72/202.53 c #Conflicts: 174000 | #Constraints: 44190
199.72/202.53 c #Conflicts: 175000 | #Constraints: 45190
199.72/202.53 c #Conflicts: 176000 | #Constraints: 46190
199.72/202.53 c #Conflicts: 177000 | #Constraints: 47190
199.72/202.53 c INPROCESSING
199.72/202.53 c GARBAGE COLLECT
199.72/202.53 c #Conflicts: 178000 | #Constraints: 28010
199.72/202.53 c #Conflicts: 179000 | #Constraints: 29010
199.72/202.53 c #Conflicts: 180000 | #Constraints: 30010
199.72/202.53 c #Conflicts: 181000 | #Constraints: 31010
199.72/202.53 c #Conflicts: 182000 | #Constraints: 32010
199.72/202.53 c #Conflicts: 183000 | #Constraints: 33010
199.72/202.53 c #Conflicts: 184000 | #Constraints: 34010
199.72/202.53 c #Conflicts: 185000 | #Constraints: 35010
199.72/202.53 c #Conflicts: 186000 | #Constraints: 36010
199.72/202.53 c #Conflicts: 187000 | #Constraints: 37010
199.72/202.53 c INPROCESSING
199.72/202.53 c GARBAGE COLLECT
199.72/202.53 c #Conflicts: 188000 | #Constraints: 23024
199.72/202.53 c #Conflicts: 189000 | #Constraints: 24024
199.72/202.53 c #Conflicts: 190000 | #Constraints: 25024
199.72/202.53 c #Conflicts: 191000 | #Constraints: 26024
199.72/202.53 c #Conflicts: 192000 | #Constraints: 27024
199.72/202.53 c #Conflicts: 193000 | #Constraints: 28024
199.72/202.53 c #Conflicts: 194000 | #Constraints: 29024
199.72/202.53 c #Conflicts: 195000 | #Constraints: 30024
199.72/202.53 c #Conflicts: 196000 | #Constraints: 31024
199.72/202.53 c #Conflicts: 197000 | #Constraints: 32024
199.72/202.53 c INPROCESSING
199.72/202.53 c GARBAGE COLLECT
199.72/202.53 c #Conflicts: 198000 | #Constraints: 20655
199.72/202.53 c #Conflicts: 199000 | #Constraints: 21655
199.72/202.53 c #Conflicts: 200000 | #Constraints: 22655
199.72/202.53 c #Conflicts: 201000 | #Constraints: 23655
199.72/202.53 c #Conflicts: 202000 | #Constraints: 24655
199.72/202.53 c #Conflicts: 203000 | #Constraints: 25655
199.72/202.53 c #Conflicts: 204000 | #Constraints: 26655
199.72/202.53 c #Conflicts: 205000 | #Constraints: 27655
199.72/202.53 c #Conflicts: 206000 | #Constraints: 28655
199.72/202.53 c #Conflicts: 207000 | #Constraints: 29655
199.72/202.53 c INPROCESSING
199.72/202.53 c GARBAGE COLLECT
199.72/202.53 c #Conflicts: 208000 | #Constraints: 19431
199.72/202.53 c #Conflicts: 209000 | #Constraints: 20431
199.72/202.53 c #Conflicts: 210000 | #Constraints: 21431
199.72/202.53 c #Conflicts: 211000 | #Constraints: 22431
199.72/202.53 c #Conflicts: 212000 | #Constraints: 23431
199.72/202.53 c #Conflicts: 213000 | #Constraints: 24431
199.72/202.53 c #Conflicts: 214000 | #Constraints: 25431
199.72/202.53 c #Conflicts: 215000 | #Constraints: 26431
199.72/202.53 c #Conflicts: 216000 | #Constraints: 27431
199.72/202.53 c #Conflicts: 217000 | #Constraints: 28431
199.72/202.53 c #Conflicts: 218000 | #Constraints: 29431
199.72/202.53 c #Conflicts: 219000 | #Constraints: 30431
247.62/250.72 c #Conflicts: 220000 | #Constraints: 31431
247.62/250.72 c #Conflicts: 221000 | #Constraints: 32431
247.62/250.72 c #Conflicts: 222000 | #Constraints: 33431
247.62/250.72 c #Conflicts: 223000 | #Constraints: 34431
247.62/250.72 c #Conflicts: 224000 | #Constraints: 35431
247.62/250.72 c #Conflicts: 225000 | #Constraints: 36431
247.62/250.72 c #Conflicts: 226000 | #Constraints: 37431
247.62/250.72 c #Conflicts: 227000 | #Constraints: 38431
247.62/250.72 c #Conflicts: 228000 | #Constraints: 39431
247.62/250.72 c #Conflicts: 229000 | #Constraints: 40431
247.62/250.72 c #Conflicts: 230000 | #Constraints: 41431
247.62/250.72 c #Conflicts: 231000 | #Constraints: 42431
247.62/250.72 c #Conflicts: 232000 | #Constraints: 43431
247.62/250.72 c #Conflicts: 233000 | #Constraints: 44431
247.62/250.72 c #Conflicts: 234000 | #Constraints: 45431
247.62/250.72 c #Conflicts: 235000 | #Constraints: 46431
247.62/250.72 c #Conflicts: 236000 | #Constraints: 47431
247.62/250.72 c #Conflicts: 237000 | #Constraints: 48431
247.62/250.72 c #Conflicts: 238000 | #Constraints: 49431
247.62/250.72 c #Conflicts: 239000 | #Constraints: 50431
247.62/250.72 c #Conflicts: 240000 | #Constraints: 51431
247.62/250.72 c #Conflicts: 241000 | #Constraints: 52431
247.62/250.72 c #Conflicts: 242000 | #Constraints: 53431
247.62/250.72 c #Conflicts: 243000 | #Constraints: 54431
247.62/250.72 c INPROCESSING
247.62/250.72 c GARBAGE COLLECT
247.62/250.72 c rational objective 98.8019
323.89/327.68 c #Conflicts: 244000 | #Constraints: 31552
323.89/327.68 c #Conflicts: 245000 | #Constraints: 32552
323.89/327.68 c #Conflicts: 246000 | #Constraints: 33552
323.89/327.68 c #Conflicts: 247000 | #Constraints: 34552
323.89/327.68 c #Conflicts: 248000 | #Constraints: 35552
323.89/327.68 c #Conflicts: 249000 | #Constraints: 36552
323.89/327.68 c #Conflicts: 250000 | #Constraints: 37552
323.89/327.68 c #Conflicts: 251000 | #Constraints: 38552
323.89/327.68 c #Conflicts: 252000 | #Constraints: 39552
323.89/327.68 c #Conflicts: 253000 | #Constraints: 40552
323.89/327.68 c #Conflicts: 254000 | #Constraints: 41552
323.89/327.68 c #Conflicts: 255000 | #Constraints: 42552
323.89/327.68 c INPROCESSING
323.89/327.68 c GARBAGE COLLECT
323.89/327.68 c #Conflicts: 256000 | #Constraints: 25999
323.89/327.68 c #Conflicts: 257000 | #Constraints: 26999
323.89/327.68 c #Conflicts: 258000 | #Constraints: 27999
323.89/327.68 c #Conflicts: 259000 | #Constraints: 28999
323.89/327.68 c #Conflicts: 260000 | #Constraints: 29999
323.89/327.68 c #Conflicts: 261000 | #Constraints: 30999
323.89/327.68 c #Conflicts: 262000 | #Constraints: 31999
323.89/327.68 c #Conflicts: 263000 | #Constraints: 32999
323.89/327.68 c #Conflicts: 264000 | #Constraints: 33999
323.89/327.68 c #Conflicts: 265000 | #Constraints: 34999
323.89/327.68 c #Conflicts: 266000 | #Constraints: 35999
323.89/327.68 c INPROCESSING
323.89/327.68 c GARBAGE COLLECT
323.89/327.68 c #Conflicts: 267000 | #Constraints: 22430
323.89/327.68 c #Conflicts: 268000 | #Constraints: 23430
323.89/327.68 c #Conflicts: 269000 | #Constraints: 24430
323.89/327.68 c #Conflicts: 270000 | #Constraints: 25430
323.89/327.68 c #Conflicts: 271000 | #Constraints: 26430
323.89/327.68 c #Conflicts: 272000 | #Constraints: 27430
323.89/327.68 c #Conflicts: 273000 | #Constraints: 28430
323.89/327.68 c #Conflicts: 274000 | #Constraints: 29430
323.89/327.68 c #Conflicts: 275000 | #Constraints: 30430
323.89/327.68 c #Conflicts: 276000 | #Constraints: 31430
323.89/327.68 c #Conflicts: 277000 | #Constraints: 32430
323.89/327.68 c #Conflicts: 278000 | #Constraints: 33430
323.89/327.68 c INPROCESSING
323.89/327.68 c GARBAGE COLLECT
323.89/327.68 c #Conflicts: 279000 | #Constraints: 21227
323.89/327.68 c #Conflicts: 280000 | #Constraints: 22227
323.89/327.68 c #Conflicts: 281000 | #Constraints: 23227
323.89/327.68 c #Conflicts: 282000 | #Constraints: 24227
323.89/327.68 c #Conflicts: 283000 | #Constraints: 25227
323.89/327.68 c #Conflicts: 284000 | #Constraints: 26227
323.89/327.68 c #Conflicts: 285000 | #Constraints: 27227
323.89/327.68 c #Conflicts: 286000 | #Constraints: 28227
323.89/327.68 c #Conflicts: 287000 | #Constraints: 29227
323.89/327.68 c #Conflicts: 288000 | #Constraints: 30227
323.89/327.68 c #Conflicts: 289000 | #Constraints: 31227
323.89/327.68 c #Conflicts: 290000 | #Constraints: 32227
323.89/327.68 c INPROCESSING
323.89/327.68 c GARBAGE COLLECT
323.89/327.68 c #Conflicts: 291000 | #Constraints: 20592
323.89/327.68 c #Conflicts: 292000 | #Constraints: 21592
323.89/327.68 c #Conflicts: 293000 | #Constraints: 22592
323.89/327.68 c #Conflicts: 294000 | #Constraints: 23592
323.89/327.68 c #Conflicts: 295000 | #Constraints: 24592
323.89/327.68 c #Conflicts: 296000 | #Constraints: 25592
323.89/327.68 c #Conflicts: 297000 | #Constraints: 26592
323.89/327.68 c #Conflicts: 298000 | #Constraints: 27592
323.89/327.68 c #Conflicts: 299000 | #Constraints: 28592
323.89/327.68 c #Conflicts: 300000 | #Constraints: 29592
323.89/327.68 c #Conflicts: 301000 | #Constraints: 30592
323.89/327.68 c #Conflicts: 302000 | #Constraints: 31592
323.89/327.68 c #Conflicts: 303000 | #Constraints: 32592
323.89/327.68 c #Conflicts: 304000 | #Constraints: 33592
323.89/327.68 c #Conflicts: 305000 | #Constraints: 34592
323.89/327.68 c #Conflicts: 306000 | #Constraints: 35592
323.89/327.68 c #Conflicts: 307000 | #Constraints: 36592
323.89/327.68 c #Conflicts: 308000 | #Constraints: 37592
323.89/327.68 c #Conflicts: 309000 | #Constraints: 38592
323.89/327.68 c #Conflicts: 310000 | #Constraints: 39592
323.89/327.68 c #Conflicts: 311000 | #Constraints: 40592
323.89/327.68 c #Conflicts: 312000 | #Constraints: 41592
323.89/327.68 c #Conflicts: 313000 | #Constraints: 42592
323.89/327.68 c #Conflicts: 314000 | #Constraints: 43592
323.89/327.68 c #Conflicts: 315000 | #Constraints: 44592
323.89/327.68 c #Conflicts: 316000 | #Constraints: 45592
323.89/327.68 c #Conflicts: 317000 | #Constraints: 46592
323.89/327.68 c #Conflicts: 318000 | #Constraints: 47592
323.89/327.68 c #Conflicts: 319000 | #Constraints: 48592
323.89/327.68 c #Conflicts: 320000 | #Constraints: 49592
423.29/427.79 c #Conflicts: 321000 | #Constraints: 50592
423.29/427.79 c #Conflicts: 322000 | #Constraints: 51592
423.29/427.79 c #Conflicts: 323000 | #Constraints: 52592
423.29/427.79 c #Conflicts: 324000 | #Constraints: 53592
423.29/427.79 c #Conflicts: 325000 | #Constraints: 54592
423.29/427.79 c #Conflicts: 326000 | #Constraints: 55592
423.29/427.79 c #Conflicts: 327000 | #Constraints: 56592
423.29/427.79 c #Conflicts: 328000 | #Constraints: 57592
423.29/427.79 c #Conflicts: 329000 | #Constraints: 58592
423.29/427.79 c #Conflicts: 330000 | #Constraints: 59592
423.29/427.79 c #Conflicts: 331000 | #Constraints: 60592
423.29/427.79 c #Conflicts: 332000 | #Constraints: 61592
423.29/427.79 c #Conflicts: 333000 | #Constraints: 62592
423.29/427.79 c INPROCESSING
423.29/427.79 c GARBAGE COLLECT
423.29/427.79 c #Conflicts: 334000 | #Constraints: 35936
423.29/427.79 c #Conflicts: 335000 | #Constraints: 36936
423.29/427.79 c #Conflicts: 336000 | #Constraints: 37936
423.29/427.79 c #Conflicts: 337000 | #Constraints: 38936
423.29/427.79 c #Conflicts: 338000 | #Constraints: 39936
423.29/427.79 c #Conflicts: 339000 | #Constraints: 40936
423.29/427.79 c #Conflicts: 340000 | #Constraints: 41936
423.29/427.79 c #Conflicts: 341000 | #Constraints: 42936
423.29/427.79 c #Conflicts: 342000 | #Constraints: 43936
423.29/427.79 c #Conflicts: 343000 | #Constraints: 44936
423.29/427.79 c #Conflicts: 344000 | #Constraints: 45936
423.29/427.79 c #Conflicts: 345000 | #Constraints: 46936
423.29/427.79 c #Conflicts: 346000 | #Constraints: 47936
423.29/427.79 c INPROCESSING
423.29/427.79 c GARBAGE COLLECT
423.29/427.79 c #Conflicts: 347000 | #Constraints: 28477
423.29/427.79 c #Conflicts: 348000 | #Constraints: 29477
423.29/427.79 c #Conflicts: 349000 | #Constraints: 30477
423.29/427.79 c #Conflicts: 350000 | #Constraints: 31477
423.29/427.79 c #Conflicts: 351000 | #Constraints: 32477
423.29/427.79 c #Conflicts: 352000 | #Constraints: 33477
423.29/427.79 c #Conflicts: 353000 | #Constraints: 34477
423.29/427.79 c #Conflicts: 354000 | #Constraints: 35477
423.29/427.79 c #Conflicts: 355000 | #Constraints: 36477
423.29/427.79 c #Conflicts: 356000 | #Constraints: 37477
423.29/427.79 c #Conflicts: 357000 | #Constraints: 38477
423.29/427.79 c #Conflicts: 358000 | #Constraints: 39477
423.29/427.79 c #Conflicts: 359000 | #Constraints: 40477
423.29/427.79 c #Conflicts: 360000 | #Constraints: 41477
423.29/427.79 c INPROCESSING
423.29/427.79 c GARBAGE COLLECT
423.29/427.79 c #Conflicts: 361000 | #Constraints: 25467
423.29/427.79 c #Conflicts: 362000 | #Constraints: 26467
423.29/427.79 c #Conflicts: 363000 | #Constraints: 27467
423.29/427.79 c #Conflicts: 364000 | #Constraints: 28467
423.29/427.79 c #Conflicts: 365000 | #Constraints: 29467
423.29/427.79 c #Conflicts: 366000 | #Constraints: 30467
423.29/427.79 c #Conflicts: 367000 | #Constraints: 31467
423.29/427.79 c #Conflicts: 368000 | #Constraints: 32467
423.29/427.79 c #Conflicts: 369000 | #Constraints: 33467
423.29/427.79 c #Conflicts: 370000 | #Constraints: 34467
423.29/427.79 c #Conflicts: 371000 | #Constraints: 35467
423.29/427.79 c #Conflicts: 372000 | #Constraints: 36467
423.29/427.79 c #Conflicts: 373000 | #Constraints: 37467
423.29/427.79 c INPROCESSING
423.29/427.79 c GARBAGE COLLECT
423.29/427.79 c #Conflicts: 374000 | #Constraints: 23149
423.29/427.79 c #Conflicts: 375000 | #Constraints: 24149
423.29/427.79 c #Conflicts: 376000 | #Constraints: 25149
423.29/427.79 c #Conflicts: 377000 | #Constraints: 26149
423.29/427.79 c #Conflicts: 378000 | #Constraints: 27149
423.29/427.79 c #Conflicts: 379000 | #Constraints: 28149
423.29/427.79 c #Conflicts: 380000 | #Constraints: 29149
423.29/427.79 c #Conflicts: 381000 | #Constraints: 30149
423.29/427.79 c #Conflicts: 382000 | #Constraints: 31149
423.29/427.79 c #Conflicts: 383000 | #Constraints: 32149
423.29/427.79 c #Conflicts: 384000 | #Constraints: 33149
423.29/427.79 c #Conflicts: 385000 | #Constraints: 34149
423.29/427.79 c #Conflicts: 386000 | #Constraints: 35149
423.29/427.79 c #Conflicts: 387000 | #Constraints: 36149
423.29/427.79 c INPROCESSING
423.29/427.79 c GARBAGE COLLECT
423.29/427.79 c #Conflicts: 388000 | #Constraints: 22504
423.29/427.79 c #Conflicts: 389000 | #Constraints: 23504
423.29/427.79 c #Conflicts: 390000 | #Constraints: 24504
423.29/427.79 c #Conflicts: 391000 | #Constraints: 25504
423.29/427.79 c #Conflicts: 392000 | #Constraints: 26504
423.29/427.79 c #Conflicts: 393000 | #Constraints: 27504
423.29/427.79 c #Conflicts: 394000 | #Constraints: 28504
423.29/427.79 c #Conflicts: 395000 | #Constraints: 29504
511.16/516.28 c #Conflicts: 396000 | #Constraints: 30504
511.16/516.28 c #Conflicts: 397000 | #Constraints: 31504
511.16/516.28 c #Conflicts: 398000 | #Constraints: 32504
511.16/516.28 c #Conflicts: 399000 | #Constraints: 33504
511.16/516.28 c #Conflicts: 400000 | #Constraints: 34504
511.16/516.28 c #Conflicts: 401000 | #Constraints: 35504
511.16/516.28 c #Conflicts: 402000 | #Constraints: 36504
511.16/516.28 c #Conflicts: 403000 | #Constraints: 37504
511.16/516.28 c #Conflicts: 404000 | #Constraints: 38504
511.16/516.28 c #Conflicts: 405000 | #Constraints: 39504
511.16/516.28 c #Conflicts: 406000 | #Constraints: 40504
511.16/516.28 c #Conflicts: 407000 | #Constraints: 41504
511.16/516.28 c #Conflicts: 408000 | #Constraints: 42504
511.16/516.28 c #Conflicts: 409000 | #Constraints: 43504
511.16/516.28 c #Conflicts: 410000 | #Constraints: 44504
511.16/516.28 c #Conflicts: 411000 | #Constraints: 45504
511.16/516.28 c #Conflicts: 412000 | #Constraints: 46504
511.16/516.28 c #Conflicts: 413000 | #Constraints: 47504
511.16/516.28 c #Conflicts: 414000 | #Constraints: 48504
511.16/516.28 c #Conflicts: 415000 | #Constraints: 49504
511.16/516.29 c #Conflicts: 416000 | #Constraints: 50504
511.16/516.29 c #Conflicts: 417000 | #Constraints: 51504
511.16/516.29 c #Conflicts: 418000 | #Constraints: 52504
511.16/516.29 c #Conflicts: 419000 | #Constraints: 53504
511.16/516.29 c #Conflicts: 420000 | #Constraints: 54504
511.16/516.29 c #Conflicts: 421000 | #Constraints: 55504
511.16/516.29 c #Conflicts: 422000 | #Constraints: 56504
511.16/516.29 c #Conflicts: 423000 | #Constraints: 57504
511.16/516.29 c #Conflicts: 424000 | #Constraints: 58504
511.16/516.29 c #Conflicts: 425000 | #Constraints: 59504
511.16/516.29 c #Conflicts: 426000 | #Constraints: 60504
511.16/516.29 c #Conflicts: 427000 | #Constraints: 61504
511.16/516.29 c #Conflicts: 428000 | #Constraints: 62504
511.16/516.29 c #Conflicts: 429000 | #Constraints: 63504
511.16/516.29 c #Conflicts: 430000 | #Constraints: 64504
511.16/516.29 c #Conflicts: 431000 | #Constraints: 65504
511.16/516.29 c #Conflicts: 432000 | #Constraints: 66504
511.16/516.29 c #Conflicts: 433000 | #Constraints: 67504
511.16/516.29 c #Conflicts: 434000 | #Constraints: 68504
511.16/516.29 c #Conflicts: 435000 | #Constraints: 69504
511.16/516.29 c #Conflicts: 436000 | #Constraints: 70504
511.16/516.29 c INPROCESSING
511.16/516.29 c GARBAGE COLLECT
511.16/516.29 c rational objective 100.004
616.66/622.87 c #Conflicts: 437000 | #Constraints: 39596
616.66/622.87 c #Conflicts: 438000 | #Constraints: 40596
616.66/622.87 c #Conflicts: 439000 | #Constraints: 41596
616.66/622.87 c #Conflicts: 440000 | #Constraints: 42596
616.66/622.87 c #Conflicts: 441000 | #Constraints: 43596
616.66/622.87 c #Conflicts: 442000 | #Constraints: 44596
616.66/622.87 c #Conflicts: 443000 | #Constraints: 45596
616.66/622.87 c #Conflicts: 444000 | #Constraints: 46596
616.66/622.87 c #Conflicts: 445000 | #Constraints: 47596
616.66/622.87 c #Conflicts: 446000 | #Constraints: 48596
616.66/622.87 c #Conflicts: 447000 | #Constraints: 49596
616.66/622.87 c #Conflicts: 448000 | #Constraints: 50596
616.66/622.87 c #Conflicts: 449000 | #Constraints: 51596
616.66/622.87 c #Conflicts: 450000 | #Constraints: 52596
616.66/622.87 c #Conflicts: 451000 | #Constraints: 53596
616.66/622.87 c #Conflicts: 452000 | #Constraints: 54596
616.66/622.87 c INPROCESSING
616.66/622.87 c GARBAGE COLLECT
616.66/622.87 c #Conflicts: 453000 | #Constraints: 32045
616.66/622.87 c #Conflicts: 454000 | #Constraints: 33045
616.66/622.87 c #Conflicts: 455000 | #Constraints: 34045
616.66/622.87 c #Conflicts: 456000 | #Constraints: 35045
616.66/622.87 c #Conflicts: 457000 | #Constraints: 36045
616.66/622.87 c #Conflicts: 458000 | #Constraints: 37045
616.66/622.87 c #Conflicts: 459000 | #Constraints: 38045
616.66/622.87 c #Conflicts: 460000 | #Constraints: 39045
616.66/622.87 c #Conflicts: 461000 | #Constraints: 40045
616.66/622.87 c #Conflicts: 462000 | #Constraints: 41045
616.66/622.87 c #Conflicts: 463000 | #Constraints: 42045
616.66/622.87 c #Conflicts: 464000 | #Constraints: 43045
616.66/622.87 c #Conflicts: 465000 | #Constraints: 44045
616.66/622.87 c #Conflicts: 466000 | #Constraints: 45045
616.66/622.87 c #Conflicts: 467000 | #Constraints: 46045
616.66/622.87 c INPROCESSING
616.66/622.87 c GARBAGE COLLECT
616.66/622.87 c #Conflicts: 468000 | #Constraints: 27557
616.66/622.87 c #Conflicts: 469000 | #Constraints: 28557
616.66/622.87 c #Conflicts: 470000 | #Constraints: 29557
616.66/622.87 c #Conflicts: 471000 | #Constraints: 30557
616.66/622.87 c #Conflicts: 472000 | #Constraints: 31557
616.66/622.87 c #Conflicts: 473000 | #Constraints: 32557
616.66/622.87 c #Conflicts: 474000 | #Constraints: 33557
616.66/622.87 c #Conflicts: 475000 | #Constraints: 34557
616.66/622.87 c #Conflicts: 476000 | #Constraints: 35557
616.66/622.87 c #Conflicts: 477000 | #Constraints: 36557
616.66/622.87 c #Conflicts: 478000 | #Constraints: 37557
616.66/622.87 c #Conflicts: 479000 | #Constraints: 38557
616.66/622.87 c #Conflicts: 480000 | #Constraints: 39557
616.66/622.87 c #Conflicts: 481000 | #Constraints: 40557
616.66/622.87 c #Conflicts: 482000 | #Constraints: 41557
616.66/622.87 c #Conflicts: 483000 | #Constraints: 42557
616.66/622.87 c INPROCESSING
616.66/622.87 c GARBAGE COLLECT
616.66/622.87 c #Conflicts: 484000 | #Constraints: 25984
616.66/622.87 c #Conflicts: 485000 | #Constraints: 26984
616.66/622.87 c #Conflicts: 486000 | #Constraints: 27984
616.66/622.87 c #Conflicts: 487000 | #Constraints: 28984
616.66/622.87 c #Conflicts: 488000 | #Constraints: 29984
616.66/622.87 c #Conflicts: 489000 | #Constraints: 30984
616.66/622.87 c #Conflicts: 490000 | #Constraints: 31984
616.66/622.87 c #Conflicts: 491000 | #Constraints: 32984
616.66/622.87 c #Conflicts: 492000 | #Constraints: 33984
616.66/622.87 c #Conflicts: 493000 | #Constraints: 34984
616.66/622.87 c #Conflicts: 494000 | #Constraints: 35984
616.66/622.87 c #Conflicts: 495000 | #Constraints: 36984
616.66/622.87 c #Conflicts: 496000 | #Constraints: 37984
616.66/622.87 c #Conflicts: 497000 | #Constraints: 38984
616.66/622.87 c #Conflicts: 498000 | #Constraints: 39984
616.66/622.87 c INPROCESSING
616.66/622.87 c GARBAGE COLLECT
616.66/622.87 c #Conflicts: 499000 | #Constraints: 24352
616.66/622.87 c #Conflicts: 500000 | #Constraints: 25352
616.66/622.87 c #Conflicts: 501000 | #Constraints: 26352
616.66/622.87 c #Conflicts: 502000 | #Constraints: 27352
616.66/622.87 c #Conflicts: 503000 | #Constraints: 28352
616.66/622.87 c #Conflicts: 504000 | #Constraints: 29352
616.66/622.87 c #Conflicts: 505000 | #Constraints: 30352
616.66/622.87 c #Conflicts: 506000 | #Constraints: 31352
616.66/622.87 c #Conflicts: 507000 | #Constraints: 32352
616.66/622.87 c #Conflicts: 508000 | #Constraints: 33352
616.66/622.87 c #Conflicts: 509000 | #Constraints: 34352
616.66/622.87 c #Conflicts: 510000 | #Constraints: 35352
616.66/622.87 c #Conflicts: 511000 | #Constraints: 36352
616.66/622.87 c #Conflicts: 512000 | #Constraints: 37352
616.66/622.87 c #Conflicts: 513000 | #Constraints: 38352
762.30/770.13 c #Conflicts: 514000 | #Constraints: 39352
762.30/770.13 c #Conflicts: 515000 | #Constraints: 40352
762.30/770.13 c #Conflicts: 516000 | #Constraints: 41352
762.30/770.13 c #Conflicts: 517000 | #Constraints: 42352
762.30/770.13 c #Conflicts: 518000 | #Constraints: 43352
762.30/770.13 c #Conflicts: 519000 | #Constraints: 44352
762.30/770.13 c #Conflicts: 520000 | #Constraints: 45352
762.30/770.13 c #Conflicts: 521000 | #Constraints: 46352
762.30/770.13 c #Conflicts: 522000 | #Constraints: 47352
762.30/770.13 c #Conflicts: 523000 | #Constraints: 48352
762.30/770.13 c #Conflicts: 524000 | #Constraints: 49352
762.30/770.13 c #Conflicts: 525000 | #Constraints: 50352
762.30/770.13 c #Conflicts: 526000 | #Constraints: 51352
762.30/770.13 c #Conflicts: 527000 | #Constraints: 52352
762.30/770.13 c #Conflicts: 528000 | #Constraints: 53352
762.30/770.13 c #Conflicts: 529000 | #Constraints: 54352
762.30/770.13 c #Conflicts: 530000 | #Constraints: 55352
762.30/770.13 c #Conflicts: 531000 | #Constraints: 56352
762.30/770.13 c #Conflicts: 532000 | #Constraints: 57352
762.30/770.13 c #Conflicts: 533000 | #Constraints: 58352
762.30/770.13 c #Conflicts: 534000 | #Constraints: 59352
762.30/770.13 c #Conflicts: 535000 | #Constraints: 60352
762.30/770.13 c #Conflicts: 536000 | #Constraints: 61352
762.30/770.13 c #Conflicts: 537000 | #Constraints: 62352
762.30/770.13 c #Conflicts: 538000 | #Constraints: 63352
762.30/770.13 c #Conflicts: 539000 | #Constraints: 64352
762.30/770.13 c #Conflicts: 540000 | #Constraints: 65352
762.30/770.13 c #Conflicts: 541000 | #Constraints: 66352
762.30/770.13 c #Conflicts: 542000 | #Constraints: 67352
762.30/770.13 c #Conflicts: 543000 | #Constraints: 68352
762.30/770.13 c #Conflicts: 544000 | #Constraints: 69352
762.30/770.13 c #Conflicts: 545000 | #Constraints: 70352
762.30/770.13 c #Conflicts: 546000 | #Constraints: 71352
762.30/770.13 c #Conflicts: 547000 | #Constraints: 72352
762.30/770.13 c #Conflicts: 548000 | #Constraints: 73352
762.30/770.13 c #Conflicts: 549000 | #Constraints: 74352
762.30/770.13 c #Conflicts: 550000 | #Constraints: 75352
762.30/770.13 c #Conflicts: 551000 | #Constraints: 76352
762.30/770.13 c #Conflicts: 552000 | #Constraints: 77352
762.30/770.13 c #Conflicts: 553000 | #Constraints: 78352
762.30/770.13 c #Conflicts: 554000 | #Constraints: 79352
762.30/770.13 c INPROCESSING
762.30/770.13 c GARBAGE COLLECT
762.30/770.13 c #Conflicts: 555000 | #Constraints: 44282
762.30/770.13 c #Conflicts: 556000 | #Constraints: 45282
762.30/770.13 c #Conflicts: 557000 | #Constraints: 46282
762.30/770.13 c #Conflicts: 558000 | #Constraints: 47282
762.30/770.13 c #Conflicts: 559000 | #Constraints: 48282
762.30/770.13 c #Conflicts: 560000 | #Constraints: 49282
762.30/770.13 c #Conflicts: 561000 | #Constraints: 50282
762.30/770.13 c #Conflicts: 562000 | #Constraints: 51282
762.30/770.13 c #Conflicts: 563000 | #Constraints: 52282
762.30/770.13 c #Conflicts: 564000 | #Constraints: 53282
762.30/770.13 c #Conflicts: 565000 | #Constraints: 54282
762.30/770.13 c #Conflicts: 566000 | #Constraints: 55282
762.30/770.13 c #Conflicts: 567000 | #Constraints: 56282
762.30/770.13 c #Conflicts: 568000 | #Constraints: 57282
762.30/770.13 c #Conflicts: 569000 | #Constraints: 58282
762.30/770.13 c #Conflicts: 570000 | #Constraints: 59282
762.30/770.13 c #Conflicts: 571000 | #Constraints: 60282
762.30/770.13 c INPROCESSING
762.30/770.13 c GARBAGE COLLECT
762.30/770.13 c #Conflicts: 572000 | #Constraints: 34659
762.30/770.13 c #Conflicts: 573000 | #Constraints: 35659
762.30/770.13 c #Conflicts: 574000 | #Constraints: 36659
762.30/770.13 c #Conflicts: 575000 | #Constraints: 37659
762.30/770.13 c #Conflicts: 576000 | #Constraints: 38659
762.30/770.13 c #Conflicts: 577000 | #Constraints: 39659
762.30/770.13 c #Conflicts: 578000 | #Constraints: 40659
762.30/770.13 c #Conflicts: 579000 | #Constraints: 41659
762.30/770.13 c #Conflicts: 580000 | #Constraints: 42659
762.30/770.13 c #Conflicts: 581000 | #Constraints: 43659
762.30/770.13 c #Conflicts: 582000 | #Constraints: 44659
762.30/770.13 c #Conflicts: 583000 | #Constraints: 45659
762.30/770.13 c #Conflicts: 584000 | #Constraints: 46659
762.30/770.13 c #Conflicts: 585000 | #Constraints: 47659
762.30/770.13 c #Conflicts: 586000 | #Constraints: 48659
762.30/770.13 c #Conflicts: 587000 | #Constraints: 49659
762.30/770.13 c #Conflicts: 588000 | #Constraints: 50659
762.30/770.13 c INPROCESSING
762.30/770.13 c GARBAGE COLLECT
762.30/770.13 c rational objective 102.007
852.76/862.72 c #Conflicts: 589000 | #Constraints: 29712
852.76/862.72 c #Conflicts: 590000 | #Constraints: 30712
852.76/862.72 c #Conflicts: 591000 | #Constraints: 31712
852.76/862.72 c #Conflicts: 592000 | #Constraints: 32712
852.76/862.72 c #Conflicts: 593000 | #Constraints: 33712
852.76/862.72 c #Conflicts: 594000 | #Constraints: 34712
852.76/862.72 c #Conflicts: 595000 | #Constraints: 35712
852.76/862.72 c #Conflicts: 596000 | #Constraints: 36712
852.76/862.72 c #Conflicts: 597000 | #Constraints: 37712
852.76/862.72 c #Conflicts: 598000 | #Constraints: 38712
852.76/862.72 c #Conflicts: 599000 | #Constraints: 39712
852.76/862.72 c #Conflicts: 600000 | #Constraints: 40712
852.76/862.72 c #Conflicts: 601000 | #Constraints: 41712
852.76/862.72 c #Conflicts: 602000 | #Constraints: 42712
852.76/862.72 c #Conflicts: 603000 | #Constraints: 43712
852.76/862.72 c #Conflicts: 604000 | #Constraints: 44712
852.76/862.72 c #Conflicts: 605000 | #Constraints: 45712
852.76/862.72 c #Conflicts: 606000 | #Constraints: 46712
852.76/862.72 c INPROCESSING
852.76/862.72 c GARBAGE COLLECT
852.76/862.72 c #Conflicts: 607000 | #Constraints: 28006
852.76/862.72 c #Conflicts: 608000 | #Constraints: 29006
852.76/862.72 c #Conflicts: 609000 | #Constraints: 30006
852.76/862.72 c #Conflicts: 610000 | #Constraints: 31006
852.76/862.72 c #Conflicts: 611000 | #Constraints: 32006
852.76/862.72 c #Conflicts: 612000 | #Constraints: 33006
852.76/862.72 c #Conflicts: 613000 | #Constraints: 34006
852.76/862.72 c #Conflicts: 614000 | #Constraints: 35006
852.76/862.72 c #Conflicts: 615000 | #Constraints: 36006
852.76/862.72 c #Conflicts: 616000 | #Constraints: 37006
852.76/862.72 c #Conflicts: 617000 | #Constraints: 38006
852.76/862.72 c #Conflicts: 618000 | #Constraints: 39006
852.76/862.72 c #Conflicts: 619000 | #Constraints: 40006
852.76/862.72 c #Conflicts: 620000 | #Constraints: 41006
852.76/862.72 c #Conflicts: 621000 | #Constraints: 42006
852.76/862.72 c #Conflicts: 622000 | #Constraints: 43006
852.76/862.72 c #Conflicts: 623000 | #Constraints: 44006
852.76/862.72 c #Conflicts: 624000 | #Constraints: 45006
852.76/862.72 c INPROCESSING
852.76/862.72 c GARBAGE COLLECT
852.76/862.72 c #Conflicts: 625000 | #Constraints: 27242
852.76/862.72 c #Conflicts: 626000 | #Constraints: 28242
852.76/862.72 c #Conflicts: 627000 | #Constraints: 29242
852.76/862.72 c #Conflicts: 628000 | #Constraints: 30242
852.76/862.72 c #Conflicts: 629000 | #Constraints: 31242
852.76/862.72 c #Conflicts: 630000 | #Constraints: 32242
852.76/862.72 c #Conflicts: 631000 | #Constraints: 33242
852.76/862.72 c #Conflicts: 632000 | #Constraints: 34242
852.76/862.72 c #Conflicts: 633000 | #Constraints: 35242
852.76/862.72 c #Conflicts: 634000 | #Constraints: 36242
852.76/862.72 c #Conflicts: 635000 | #Constraints: 37242
852.76/862.72 c #Conflicts: 636000 | #Constraints: 38242
852.76/862.72 c #Conflicts: 637000 | #Constraints: 39242
852.76/862.72 c #Conflicts: 638000 | #Constraints: 40242
852.76/862.72 c #Conflicts: 639000 | #Constraints: 41242
852.76/862.72 c #Conflicts: 640000 | #Constraints: 42242
852.76/862.72 c #Conflicts: 641000 | #Constraints: 43242
852.76/862.72 c #Conflicts: 642000 | #Constraints: 44242
852.76/862.72 c #Conflicts: 643000 | #Constraints: 45242
852.76/862.72 c #Conflicts: 644000 | #Constraints: 46242
852.76/862.72 c #Conflicts: 645000 | #Constraints: 47242
852.76/862.72 c #Conflicts: 646000 | #Constraints: 48242
852.76/862.72 c #Conflicts: 647000 | #Constraints: 49242
852.76/862.72 c #Conflicts: 648000 | #Constraints: 50242
852.76/862.72 c #Conflicts: 649000 | #Constraints: 51242
852.76/862.72 c #Conflicts: 650000 | #Constraints: 52242
852.76/862.72 c #Conflicts: 651000 | #Constraints: 53242
852.76/862.72 c #Conflicts: 652000 | #Constraints: 54242
852.76/862.72 c #Conflicts: 653000 | #Constraints: 55242
852.76/862.72 c #Conflicts: 654000 | #Constraints: 56242
852.76/862.72 c #Conflicts: 655000 | #Constraints: 57242
852.76/862.72 c #Conflicts: 656000 | #Constraints: 58242
852.76/862.72 c #Conflicts: 657000 | #Constraints: 59242
852.76/862.72 c #Conflicts: 658000 | #Constraints: 60242
852.76/862.72 c cpu time 843.927 s
852.76/862.72 c deterministic time 55459688155 5.55e+10
852.76/862.72 c optimization time 0.000415 s
852.76/862.72 c total solve time 843.88 s
852.76/862.72 c core-guided solve time 0 s
852.76/862.72 c propagation time 426.512 s
852.76/862.72 c conflict analysis time 325.788 s
852.76/862.72 c propagations 307430475
852.76/862.72 c resolve steps 28212642
852.76/862.72 c decisions 6219404
852.76/862.72 c conflicts 658572
852.76/862.72 c restarts 1404
852.76/862.72 c inprocessing phases 48
852.76/862.72 c garbage collections 48 ,( 100.00 )
852.76/862.72 c input clauses 6814 ,( 98.61 )
852.76/862.72 c input cardinalities 96 ,( 1.39 )
852.76/862.72 c input general constraints 0 ,( 0.00 )
852.76/862.72 c input average constraint length 6.14
852.76/862.72 c input average constraint degree 1.92
852.76/862.72 c learned clauses 483381 ,( 73.40 )
852.76/862.72 c learned cardinalities 16380 ,( 2.49 )
852.76/862.72 c learned general constraints 158814 ,( 24.11 )
852.76/862.72 c learned average constraint length 544.94
852.76/862.72 c learned average constraint degree 7601525.92
852.76/862.72 c watched CF 32, 64, 128, Arb: 48114 , 0 , 0 , 0
852.76/862.72 c counting CF 32, 64, 128, Arb: 110700 , 0 , 0 , 0
852.76/862.72 c watched constraints 48114 ,( 30.30 )
852.76/862.72 c counting constraints 110700 ,( 69.70 )
852.76/862.72 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 380260331 , 189882386 , 724992416 ,( 46183190 , 678809226 )
852.76/862.72 c gcd simplifications 395
852.76/862.72 c detected cardinalities 1483
852.76/862.72 c weakened non-implied lits 113979938
852.76/862.72 c weakened non-implying lits 77454
852.76/862.72 c original variables 6591
852.76/862.72 c clausal propagations 125310880
852.76/862.72 c cardinality propagations 113385433
852.76/862.72 c watched propagations 1495017
852.76/862.72 c counting propagations 64444329
852.76/862.72 c watch lookups 24772471003
852.76/862.72 c watch backjump lookups 0
852.76/862.72 c watch checks 9869577299
852.76/862.72 c propagation checks 18929582713
852.76/862.72 c constraint additions 1259945098
852.76/862.72 c trail pops 314308011
852.76/862.72 c formula constraints 6910
852.76/862.72 c learned constraints 658571
852.76/862.72 c bound constraints 0
852.76/862.72 c core-guided constraints 0
852.76/862.72 c encountered formula constraints 18573584
852.76/862.72 c encountered learned constraints 10297598
852.76/862.72 c encountered bound constraints 0
852.76/862.72 c encountered core-guided constraints 0
852.76/862.72 c LP total time 79.7367 s
852.76/862.72 c LP solve time 73.53 s
852.76/862.72 c LP constraints added 7190
852.76/862.72 c LP constraints removed 152
852.76/862.72 c LP pivots internal 75692
852.76/862.72 c LP pivots root 78459
852.76/862.72 c LP calls 13
852.76/862.72 c LP optimalities 7
852.76/862.72 c LP no pivot count 0
852.76/862.72 c LP infeasibilities 1
852.76/862.72 c LP valid Farkas constraints 1
852.76/862.72 c LP learned Farkas constraints 1
852.76/862.72 c LP basis resets 0
852.76/862.72 c LP cycling count 0
852.76/862.72 c LP singular count 0
852.76/862.72 c LP no primal count 0
852.76/862.72 c LP no farkas count 0
852.76/862.72 c LP other issue count 0
852.76/862.72 c LP Gomory cuts 2
852.76/862.72 c LP learned cuts 278
852.76/862.72 c LP deleted cuts 152
852.76/862.72 c LP encountered Gomory constraints 0
852.76/862.72 c LP encountered Farkas constraints 5
852.76/862.72 c LP encountered learned Farkas constraints 26
852.76/862.72 c CG auxiliary variables introduced 0
852.76/862.72 c CG solutions found 0
852.76/862.72 c CG cores constructed 0
852.76/862.72 c CG core cardinality constraints returned 0
852.76/862.72 c CG unit cores 0
852.76/862.72 c CG single cores 0
852.76/862.72 c CG blocks removed during cardinality reduction 0
852.76/862.72 c CG first core best 0
852.76/862.72 c CG decision core best 0
852.76/862.72 c CG core reduction tie 0
852.76/862.72 c CG core degree average 0.00
852.76/862.72 c CG core slack average 0.00
852.76/862.72 c CG core upper bound improvements 0
852.76/862.72 c STR number of successful calls 0
852.76/862.72 c STR number of unsuccessful calls 0
852.76/862.72 c STR number of inconclusive calls 0
852.76/862.72 c STR number of successful attempts 0
852.76/862.72 c STR number of unsuccessful attempts 0
852.76/862.72 c STR number of inconclusive attempts 0
852.76/862.72 c STR average degree increase per successful call inf
852.76/862.72 c STR average degree increase per successful attempt inf
852.76/862.72 c STR total number of conflicts for successful attempts 0
852.76/862.72 c STR total number of conflicts for unsuccessful attempts 0
852.76/862.72 c STR total number of conflicts for inconclusive attempts 0
852.76/862.72 c STR average number of conflicts per successful attempt inf
852.76/862.72 c STR average number of conflicts per unsuccessful attempt inf
852.76/862.72 c STR average number of conflicts per inconclusive attempt inf
852.76/862.72 c AVG.sumWPerc 61.39
852.76/862.72 c bigint constraints 0
852.76/862.72 s SATISFIABLE
852.76/862.72 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
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (63038 MiB free)
memory of node 1: 64507 MiB (51072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507593-1751177729/watcher-4507593-1751177729 -o /tmp/evaluation-result-4507593-1751177729/solver-4507593-1751177729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22589 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507593-1751177729.opb PROOFDIR/proof-4507593-1751177729
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23336, runsolver pid=23333
[startup+0.100058 s]*
/proc/loadavg: 4.12 4.14 4.10 5/271 23339
/proc/meminfo: memFree=116824580/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=69000 memory=24812 CPUtime=0.05 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 4222 0 0 0 4 1 0 0 20 0 1 0 33453169 70656000 6203 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 17250 6203 2272 1147 0 4677 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 73192 KiB
Current children cumulated memory: 27884 KiB
[startup+0.205584 s]*
/proc/loadavg: 4.12 4.14 4.10 5/271 23339
/proc/meminfo: memFree=116819036/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=74380 memory=29292 CPUtime=0.16 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 5383 0 0 0 15 1 0 0 20 0 1 0 33453169 76165120 7323 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 18595 7323 2304 1147 0 6022 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 78572 KiB
Current children cumulated memory: 32364 KiB
[startup+0.305454 s]*
/proc/loadavg: 4.12 4.14 4.10 5/271 23339
/proc/meminfo: memFree=116819036/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=74380 memory=29292 CPUtime=0.26 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 5383 0 0 0 25 1 0 0 20 0 1 0 33453169 76165120 7323 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 18595 7323 2304 1147 0 6022 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78572 KiB
Current children cumulated memory: 32364 KiB
[startup+0.700166 s]
/proc/loadavg: 4.11 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116828916/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=75572 memory=30444 CPUtime=0.64 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 5679 0 0 0 63 1 0 0 20 0 1 0 33453169 77385728 7611 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 18893 7611 2304 1147 0 6320 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79764 KiB
Current children cumulated memory: 33516 KiB
[startup+1.50014 s]
/proc/loadavg: 4.11 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116830768/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=77780 memory=33132 CPUtime=1.44 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 6328 0 0 0 140 4 0 0 20 0 1 0 33453169 79646720 8283 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 19445 8283 2336 1147 0 6872 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 81972 KiB
Current children cumulated memory: 36204 KiB
[startup+3.10517 s]
/proc/loadavg: 4.11 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116815616/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=80620 memory=38000 CPUtime=3.05 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 7019 0 0 0 296 9 0 0 20 0 1 0 33453169 82554880 9500 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 20155 9500 2336 1147 0 7582 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 84812 KiB
Current children cumulated memory: 41072 KiB
[startup+6.30015 s]
/proc/loadavg: 4.10 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116760868/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=86820 memory=43936 CPUtime=6.23 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 8002 0 0 0 607 16 0 0 20 0 1 0 33453169 88903680 10984 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 21705 10984 2336 1147 0 9132 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 47008 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.13 4.10 5/271 23339
/proc/meminfo: memFree=116701304/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=92328 memory=49440 CPUtime=12.61 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 9363 0 0 0 1232 29 0 0 20 0 1 0 33453169 94543872 12360 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 23082 12360 2336 1147 0 10509 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 96520 KiB
Current children cumulated memory: 52512 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.10 5/271 23433
/proc/meminfo: memFree=129878964/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=99760 memory=55580 CPUtime=25.37 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 10392 0 0 0 2480 57 0 0 20 0 1 0 33453169 102154240 13895 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 24940 13895 2336 1147 0 12367 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 103952 KiB
Current children cumulated memory: 58652 KiB
[startup+51.1054 s]
/proc/loadavg: 4.13 4.13 4.10 5/272 23435
/proc/meminfo: memFree=129462124/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=161912 memory=110232 CPUtime=50.45 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 17920 0 0 0 4946 99 0 0 20 0 1 0 33453169 165797888 27558 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 40478 27558 2336 1147 0 27905 0
Current children cumulated CPU time: 50.47 s
Current children cumulated vsize: 166104 KiB
Current children cumulated memory: 113304 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/273 23440
/proc/meminfo: memFree=128745076/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=211288 memory=140212 CPUtime=100.07 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 22842 0 0 0 9828 179 0 0 20 0 1 0 33453169 216358912 35053 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 52822 35053 2368 1147 0 40249 0
Current children cumulated CPU time: 100.09 s
Current children cumulated vsize: 215480 KiB
Current children cumulated memory: 143284 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 23442
/proc/meminfo: memFree=127979684/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=228396 memory=170812 CPUtime=159.76 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 26729 0 0 0 15720 256 0 0 20 0 1 0 33453169 233877504 42703 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 57099 42703 2368 1147 0 44526 0
Current children cumulated CPU time: 159.78 s
Current children cumulated vsize: 232588 KiB
Current children cumulated memory: 173884 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/270 23444
/proc/meminfo: memFree=127294396/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=283808 memory=217588 CPUtime=219.28 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 28260 0 0 0 21613 315 0 0 20 0 1 0 33453169 290619392 54397 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
################
# More data... #
################
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 43041 0 0 0 57032 643 0 0 20 0 1 0 33453169 441405440 78333 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 107765 78333 2368 1147 0 95192 0
Current children cumulated CPU time: 576.77 s
Current children cumulated vsize: 435252 KiB
Current children cumulated memory: 316404 KiB
[startup+642.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/273 23607
/proc/meminfo: memFree=125164728/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=432576 memory=314868 CPUtime=636.1 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 43434 0 0 0 62913 697 0 0 20 0 1 0 33453169 442957824 78717 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 108144 78717 2368 1147 0 95571 0
Current children cumulated CPU time: 636.12 s
Current children cumulated vsize: 436768 KiB
Current children cumulated memory: 317940 KiB
[startup+702.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 23611
/proc/meminfo: memFree=124758672/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=444812 memory=336900 CPUtime=695.18 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 46151 0 0 0 68780 738 0 0 20 0 1 0 33453169 455487488 84225 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 111203 84225 2368 1147 0 98630 0
Current children cumulated CPU time: 695.2 s
Current children cumulated vsize: 449004 KiB
Current children cumulated memory: 339972 KiB
[startup+762.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 23613
/proc/meminfo: memFree=124352252/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=448748 memory=352080 CPUtime=754.49 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 46978 0 0 0 74659 790 0 0 20 0 1 0 33453169 459517952 88020 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 112187 88020 2368 1147 0 99614 0
Current children cumulated CPU time: 754.51 s
Current children cumulated vsize: 452940 KiB
Current children cumulated memory: 355152 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/270 23615
/proc/meminfo: memFree=123939804/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454116 memory=357712 CPUtime=814.07 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48364 0 0 0 80559 848 0 0 20 0 1 0 33453169 465014784 89428 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113529 89428 2368 1147 0 100956 0
Current children cumulated CPU time: 814.09 s
Current children cumulated vsize: 458308 KiB
Current children cumulated memory: 360784 KiB
[startup+862.886 s]
# the end of solver process 23336 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=843.959 s, system=8.85824 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+844.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 23711
/proc/meminfo: memFree=125839236/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454116 memory=357712 CPUtime=834.89 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48392 0 0 0 82617 872 0 0 20 0 1 0 33453169 465014784 89428 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113529 89428 2368 1147 0 100956 0
Current children cumulated CPU time: 834.91 s
Current children cumulated vsize: 458308 KiB
Current children cumulated memory: 360784 KiB
[startup+851.2 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 23711
/proc/meminfo: memFree=125789320/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454116 memory=357712 CPUtime=841.27 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48397 0 0 0 83250 877 0 0 20 0 1 0 33453169 465014784 89428 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113529 89428 2368 1147 0 100956 0
Current children cumulated CPU time: 841.29 s
Current children cumulated vsize: 458308 KiB
Current children cumulated memory: 360784 KiB
[startup+857.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 23711
/proc/meminfo: memFree=125736096/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454116 memory=357712 CPUtime=847.66 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48402 0 0 0 83885 881 0 0 20 0 1 0 33453169 465014784 89428 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113529 89428 2368 1147 0 100956 0
Current children cumulated CPU time: 847.68 s
Current children cumulated vsize: 458308 KiB
Current children cumulated memory: 360784 KiB
[startup+860.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 23711
/proc/meminfo: memFree=125706044/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454248 memory=357840 CPUtime=850.85 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48450 0 0 0 84202 883 0 0 20 0 1 0 33453169 465149952 89460 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113562 89460 2368 1147 0 100989 0
Current children cumulated CPU time: 850.87 s
Current children cumulated vsize: 458440 KiB
Current children cumulated memory: 360912 KiB
[startup+861.6 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 23711
/proc/meminfo: memFree=125708228/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454248 memory=357840 CPUtime=851.64 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48461 0 0 0 84281 883 0 0 20 0 1 0 33453169 465149952 89460 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113562 89460 2368 1147 0 100989 0
Current children cumulated CPU time: 851.66 s
Current children cumulated vsize: 458440 KiB
Current children cumulated memory: 360912 KiB
[startup+862.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 23711
/proc/meminfo: memFree=125701232/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454380 memory=357968 CPUtime=852.44 cores=4,6
/proc/23339/stat : 23339 (roundingsat) R 23336 23336 22578 0 -1 4194304 48487 0 0 0 84360 884 0 0 20 0 1 0 33453169 465285120 89492 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113595 89492 2368 1147 0 101022 0
Current children cumulated CPU time: 852.46 s
Current children cumulated vsize: 458572 KiB
Current children cumulated memory: 361040 KiB
[startup+862.8 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 23711
/proc/meminfo: memFree=125701232/131250000 swapFree=33010684/33010684
[pid=23336] ppid=23333 vsize=4192 memory=3072 CPUtime=0.02 cores=4,6
/proc/23336/stat : 23336 (run-dec-break-l) S 23333 23336 22578 0 -1 4194304 241 4561 0 0 0 0 2 0 20 0 1 0 33453165 4292608 768 18446744073709551615 93962611507200 93962612401733 140732933107728 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93962612640784 93962612688528 93962629066752 140732933110037 140732933110238 140732933110238 140732933115840 0
/proc/23336/statm: 1048 768 704 219 0 110 0
[pid=23339] ppid=23336 vsize=454524 memory=358096 CPUtime=852.76 cores=4,6
/proc/23339/stat : 23339 (roundingsat) D 23336 23336 22578 0 -1 4194304 48500 0 0 0 84392 884 0 0 20 0 1 0 33453169 465432576 89524 18446744073709551615 4227072 8923433 140729821876784 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 41795584 140729821882612 140729821882920 140729821882920 140729821888490 0
/proc/23339/statm: 113631 89524 2368 1147 0 101058 0
Current children cumulated CPU time: 852.78 s
Current children cumulated vsize: 458716 KiB
Current children cumulated memory: 361168 KiB
Child status: 0
Real time (s): 862.886
CPU time (s): 852.817
CPU user time (s): 843.959
CPU system time (s): 8.85824
CPU usage (%): 98.8331
Max. virtual memory (cumulated for all children) (KiB): 458716
Max. memory (cumulated for all children) (KiB): 361168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.959
system time used= 8.85824
maximum resident set size= 358096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53326
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3451200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1016
involuntary context switches= 1491
# summary of solver processes directly reported to runsolver:
# pid: 23336
# total CPU time (s): 852.817
# total CPU user time (s): 843.959
# total CPU system time (s): 8.85824
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.62599 second user time and 3.80815 second system time
The end
Begin job on nodeC013 at 2025-06-29 08:15:29
IDJOB=4507593
IDBENCH=158367
IDSOLVER=3358
FILE ID=nodeC013/4507593-1751177729
RUNJOBID= nodeC013-1751170426-22589
SLURM_JOB_ID= 9587527
Free space on /tmp= 433028 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K96.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507593-1751177729/watcher-4507593-1751177729 -o /tmp/evaluation-result-4507593-1751177729/solver-4507593-1751177729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751170426-22589 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507593-1751177729.opb PROOFDIR/proof-4507593-1751177729
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 85449da570d8e9c3bf031cd447953d83
RANDOM SEED=909302959
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.798
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3632.722
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.710
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3494.786
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.838
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.837
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 116849652 kB
MemAvailable: 127882620 kB
Buffers: 3280 kB
Cached: 11825548 kB
SwapCached: 0 kB
Active: 2156640 kB
Inactive: 11616692 kB
Active(anon): 1957820 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 11616692 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 76672 kB
Writeback: 0 kB
AnonPages: 1942296 kB
Mapped: 111884 kB
Shmem: 13284 kB
KReclaimable: 112988 kB
Slab: 201092 kB
SReclaimable: 112988 kB
SUnreclaim: 88104 kB
KernelStack: 4384 kB
PageTables: 6976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2481652 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150712 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1286144 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433028 MiB
End job on nodeC013 at 2025-06-29 08:29:52