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-4541727-1753202597.opb'
0.00/0.01 c read 0.17MB (2.75ms)
0.00/0.01 c [cnf: #variables 4929 #clauses 4930 #duplicates 0 #arr 16461]
0.00/0.01 c output proof to '/tmp/proof-4541727-1753202597'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (5.34ms)
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 (0.71ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 24523 #edges 62250]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (1.22ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 0 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4541727-1753202597.opb.pre'
0.00/0.02 c wrote 0.17MB (0.47ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 5.34ms 47.85% approx_orbits
0.00/0.02 c 2.75ms 24.68% parse
0.00/0.02 c 1.22ms 10.98% detect_generic
0.00/0.02 c 0.71ms 6.40% detect_special
0.00/0.02 c 0.50ms 4.51% other
0.00/0.02 c 0.47ms 4.23% output
0.00/0.02 c 0.15ms 1.36% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 11.15ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.07 c #variables 4929 #constraints 6976
0.00/0.08 c rational objective 0
69.29/69.53 c #Conflicts: 1000 | #Constraints: 7976
69.29/69.53 c #Conflicts: 2000 | #Constraints: 8976
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 3000 | #Constraints: 9000
69.29/69.53 c #Conflicts: 4000 | #Constraints: 10001
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 5000 | #Constraints: 9449
69.29/69.53 c #Conflicts: 6000 | #Constraints: 10449
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 7000 | #Constraints: 9455
69.29/69.53 c #Conflicts: 8000 | #Constraints: 10455
69.29/69.53 c #Conflicts: 9000 | #Constraints: 11455
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 10000 | #Constraints: 10189
69.29/69.53 c #Conflicts: 11000 | #Constraints: 11189
69.29/69.53 c #Conflicts: 12000 | #Constraints: 12189
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 13000 | #Constraints: 10660
69.29/69.53 c #Conflicts: 14000 | #Constraints: 11660
69.29/69.53 c #Conflicts: 15000 | #Constraints: 12660
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 16000 | #Constraints: 10901
69.29/69.53 c #Conflicts: 17000 | #Constraints: 11901
69.29/69.53 c #Conflicts: 18000 | #Constraints: 12901
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 19000 | #Constraints: 10946
69.29/69.53 c #Conflicts: 20000 | #Constraints: 11946
69.29/69.53 c #Conflicts: 21000 | #Constraints: 12946
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 22000 | #Constraints: 10762
69.29/69.53 c #Conflicts: 23000 | #Constraints: 11762
69.29/69.53 c #Conflicts: 24000 | #Constraints: 12762
69.29/69.53 c #Conflicts: 25000 | #Constraints: 13762
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 26000 | #Constraints: 11380
69.29/69.53 c #Conflicts: 27000 | #Constraints: 12380
69.29/69.53 c #Conflicts: 28000 | #Constraints: 13380
69.29/69.53 c #Conflicts: 29000 | #Constraints: 14380
69.29/69.53 c #Conflicts: 30000 | #Constraints: 15380
69.29/69.53 c #Conflicts: 31000 | #Constraints: 16380
69.29/69.53 c #Conflicts: 32000 | #Constraints: 17380
69.29/69.53 c #Conflicts: 33000 | #Constraints: 18380
69.29/69.53 c #Conflicts: 34000 | #Constraints: 19380
69.29/69.53 c #Conflicts: 35000 | #Constraints: 20380
69.29/69.53 c #Conflicts: 36000 | #Constraints: 21380
69.29/69.53 c #Conflicts: 37000 | #Constraints: 22380
69.29/69.53 c #Conflicts: 38000 | #Constraints: 23380
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 39000 | #Constraints: 16358
69.29/69.53 c #Conflicts: 40000 | #Constraints: 17358
69.29/69.53 c #Conflicts: 41000 | #Constraints: 18358
69.29/69.53 c #Conflicts: 42000 | #Constraints: 19358
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 43000 | #Constraints: 13906
69.29/69.53 c #Conflicts: 44000 | #Constraints: 14906
69.29/69.53 c #Conflicts: 45000 | #Constraints: 15906
69.29/69.53 c #Conflicts: 46000 | #Constraints: 16906
69.29/69.53 c #Conflicts: 47000 | #Constraints: 17906
69.29/69.53 c #Conflicts: 48000 | #Constraints: 18906
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 49000 | #Constraints: 14129
69.29/69.53 c #Conflicts: 50000 | #Constraints: 15129
69.29/69.53 c #Conflicts: 51000 | #Constraints: 16129
69.29/69.53 c #Conflicts: 52000 | #Constraints: 17129
69.29/69.53 c #Conflicts: 53000 | #Constraints: 18129
69.29/69.53 c #Conflicts: 54000 | #Constraints: 19129
69.29/69.53 c #Conflicts: 55000 | #Constraints: 20129
69.29/69.53 c #Conflicts: 56000 | #Constraints: 21129
69.29/69.53 c #Conflicts: 57000 | #Constraints: 22129
69.29/69.53 c #Conflicts: 58000 | #Constraints: 23129
69.29/69.53 c #Conflicts: 59000 | #Constraints: 24129
69.29/69.53 c #Conflicts: 60000 | #Constraints: 25129
69.29/69.53 c #Conflicts: 61000 | #Constraints: 26129
69.29/69.53 c #Conflicts: 62000 | #Constraints: 27129
69.29/69.53 c #Conflicts: 63000 | #Constraints: 28129
69.29/69.53 c #Conflicts: 64000 | #Constraints: 29129
69.29/69.53 c #Conflicts: 65000 | #Constraints: 30129
69.29/69.53 c INPROCESSING
69.29/69.53 c GARBAGE COLLECT
69.29/69.53 c #Conflicts: 66000 | #Constraints: 19758
69.29/69.53 c #Conflicts: 67000 | #Constraints: 20758
69.29/69.53 c #Conflicts: 68000 | #Constraints: 21758
69.29/69.53 c #Conflicts: 69000 | #Constraints: 22758
69.29/69.53 c #Conflicts: 70000 | #Constraints: 23758
69.29/69.53 c #Conflicts: 71000 | #Constraints: 24758
69.99/70.24 c INPROCESSING
69.99/70.24 c GARBAGE COLLECT
69.99/70.24 c rational objective -1.22008e-13
152.98/153.45 c #Conflicts: 72000 | #Constraints: 16871
152.98/153.45 c #Conflicts: 73000 | #Constraints: 17871
152.98/153.45 c #Conflicts: 74000 | #Constraints: 18871
152.98/153.45 c #Conflicts: 75000 | #Constraints: 19871
152.98/153.45 c #Conflicts: 76000 | #Constraints: 20871
152.98/153.45 c #Conflicts: 77000 | #Constraints: 21871
152.98/153.45 c #Conflicts: 78000 | #Constraints: 22871
152.98/153.45 c INPROCESSING
152.98/153.45 c GARBAGE COLLECT
152.98/153.45 c #Conflicts: 79000 | #Constraints: 16202
152.98/153.45 c #Conflicts: 80000 | #Constraints: 17202
152.98/153.45 c #Conflicts: 81000 | #Constraints: 18202
152.98/153.45 c #Conflicts: 82000 | #Constraints: 19202
152.98/153.45 c #Conflicts: 83000 | #Constraints: 20202
152.98/153.45 c #Conflicts: 84000 | #Constraints: 21202
152.98/153.45 c #Conflicts: 85000 | #Constraints: 22202
152.98/153.45 c #Conflicts: 86000 | #Constraints: 23202
152.98/153.45 c #Conflicts: 87000 | #Constraints: 24202
152.98/153.45 c #Conflicts: 88000 | #Constraints: 25202
152.98/153.45 c #Conflicts: 89000 | #Constraints: 26202
152.98/153.45 c #Conflicts: 90000 | #Constraints: 27202
152.98/153.45 c #Conflicts: 91000 | #Constraints: 28202
152.98/153.45 c #Conflicts: 92000 | #Constraints: 29202
152.98/153.45 c #Conflicts: 93000 | #Constraints: 30202
152.98/153.45 c #Conflicts: 94000 | #Constraints: 31202
152.98/153.45 c #Conflicts: 95000 | #Constraints: 32202
152.98/153.45 c #Conflicts: 96000 | #Constraints: 33202
152.98/153.45 c #Conflicts: 97000 | #Constraints: 34202
152.98/153.45 c #Conflicts: 98000 | #Constraints: 35202
152.98/153.45 c #Conflicts: 99000 | #Constraints: 36202
152.98/153.45 c INPROCESSING
152.98/153.45 c GARBAGE COLLECT
152.98/153.45 c #Conflicts: 100000 | #Constraints: 22790
152.98/153.45 c #Conflicts: 101000 | #Constraints: 23790
152.98/153.45 c #Conflicts: 102000 | #Constraints: 24790
152.98/153.45 c #Conflicts: 103000 | #Constraints: 25790
152.98/153.45 c #Conflicts: 104000 | #Constraints: 26790
152.98/153.45 c #Conflicts: 105000 | #Constraints: 27790
152.98/153.45 c #Conflicts: 106000 | #Constraints: 28790
152.98/153.45 c #Conflicts: 107000 | #Constraints: 29790
152.98/153.45 c INPROCESSING
152.98/153.45 c GARBAGE COLLECT
152.98/153.45 c #Conflicts: 108000 | #Constraints: 19644
152.98/153.45 c #Conflicts: 109000 | #Constraints: 20644
152.98/153.45 c #Conflicts: 110000 | #Constraints: 21644
152.98/153.45 c #Conflicts: 111000 | #Constraints: 22644
152.98/153.45 c #Conflicts: 112000 | #Constraints: 23644
152.98/153.45 c #Conflicts: 113000 | #Constraints: 24644
152.98/153.45 c #Conflicts: 114000 | #Constraints: 25645
152.98/153.45 c #Conflicts: 115000 | #Constraints: 26645
152.98/153.45 c INPROCESSING
152.98/153.45 c GARBAGE COLLECT
152.98/153.45 c #Conflicts: 116000 | #Constraints: 18026
152.98/153.45 c #Conflicts: 117000 | #Constraints: 19026
152.98/153.45 c #Conflicts: 118000 | #Constraints: 20026
152.98/153.45 c #Conflicts: 119000 | #Constraints: 21026
152.98/153.45 c #Conflicts: 120000 | #Constraints: 22026
152.98/153.45 c #Conflicts: 121000 | #Constraints: 23026
152.98/153.45 c #Conflicts: 122000 | #Constraints: 24026
152.98/153.45 c #Conflicts: 123000 | #Constraints: 25026
152.98/153.45 c #Conflicts: 124000 | #Constraints: 26026
152.98/153.45 c #Conflicts: 125000 | #Constraints: 27026
152.98/153.45 c #Conflicts: 126000 | #Constraints: 28026
152.98/153.45 c #Conflicts: 127000 | #Constraints: 29026
152.98/153.45 c #Conflicts: 128000 | #Constraints: 30026
152.98/153.45 c #Conflicts: 129000 | #Constraints: 31026
152.98/153.45 c #Conflicts: 130000 | #Constraints: 32026
152.98/153.45 c #Conflicts: 131000 | #Constraints: 33026
152.98/153.45 c #Conflicts: 132000 | #Constraints: 34026
152.98/153.45 c #Conflicts: 133000 | #Constraints: 35026
152.98/153.45 c #Conflicts: 134000 | #Constraints: 36026
152.98/153.45 c #Conflicts: 135000 | #Constraints: 37026
152.98/153.45 c #Conflicts: 136000 | #Constraints: 38026
152.98/153.45 c #Conflicts: 137000 | #Constraints: 39026
152.98/153.45 c #Conflicts: 138000 | #Constraints: 40026
152.98/153.45 c #Conflicts: 139000 | #Constraints: 41026
152.98/153.45 c #Conflicts: 140000 | #Constraints: 42026
152.98/153.45 c INPROCESSING
152.98/153.45 c GARBAGE COLLECT
152.98/153.45 c rational objective 1.22008e-13
235.05/235.71 c #Conflicts: 141000 | #Constraints: 25543
235.05/235.71 c #Conflicts: 142000 | #Constraints: 26543
235.05/235.71 c #Conflicts: 143000 | #Constraints: 27543
235.05/235.71 c #Conflicts: 144000 | #Constraints: 28543
235.05/235.71 c #Conflicts: 145000 | #Constraints: 29543
235.05/235.71 c #Conflicts: 146000 | #Constraints: 30543
235.05/235.71 c #Conflicts: 147000 | #Constraints: 31543
235.05/235.71 c #Conflicts: 148000 | #Constraints: 32543
235.05/235.71 c #Conflicts: 149000 | #Constraints: 33543
235.05/235.71 c #Conflicts: 150000 | #Constraints: 34543
235.05/235.71 c INPROCESSING
235.05/235.71 c GARBAGE COLLECT
235.05/235.71 c #Conflicts: 151000 | #Constraints: 22152
235.05/235.71 c #Conflicts: 152000 | #Constraints: 23152
235.05/235.71 c #Conflicts: 153000 | #Constraints: 24152
235.05/235.71 c #Conflicts: 154000 | #Constraints: 25152
235.05/235.71 c #Conflicts: 155000 | #Constraints: 26152
235.05/235.71 c #Conflicts: 156000 | #Constraints: 27152
235.05/235.71 c #Conflicts: 157000 | #Constraints: 28152
235.05/235.71 c #Conflicts: 158000 | #Constraints: 29152
235.05/235.71 c #Conflicts: 159000 | #Constraints: 30152
235.05/235.71 c INPROCESSING
235.05/235.71 c GARBAGE COLLECT
235.05/235.71 c #Conflicts: 160000 | #Constraints: 19618
235.05/235.71 c #Conflicts: 161000 | #Constraints: 20618
235.05/235.71 c #Conflicts: 162000 | #Constraints: 21618
235.05/235.71 c #Conflicts: 163000 | #Constraints: 22618
235.05/235.71 c #Conflicts: 164000 | #Constraints: 23618
235.05/235.71 c #Conflicts: 165000 | #Constraints: 24618
235.05/235.71 c #Conflicts: 166000 | #Constraints: 25618
235.05/235.71 c #Conflicts: 167000 | #Constraints: 26618
235.05/235.71 c #Conflicts: 168000 | #Constraints: 27618
235.05/235.71 c #Conflicts: 169000 | #Constraints: 28618
235.05/235.71 c #Conflicts: 170000 | #Constraints: 29618
235.05/235.71 c #Conflicts: 171000 | #Constraints: 30618
235.05/235.71 c #Conflicts: 172000 | #Constraints: 31618
235.05/235.71 c #Conflicts: 173000 | #Constraints: 32618
235.05/235.71 c #Conflicts: 174000 | #Constraints: 33618
235.05/235.71 c #Conflicts: 175000 | #Constraints: 34618
235.05/235.71 c #Conflicts: 176000 | #Constraints: 35618
235.05/235.71 c #Conflicts: 177000 | #Constraints: 36618
235.05/235.71 c #Conflicts: 178000 | #Constraints: 37618
235.05/235.71 c #Conflicts: 179000 | #Constraints: 38618
235.05/235.71 c #Conflicts: 180000 | #Constraints: 39618
235.05/235.71 c #Conflicts: 181000 | #Constraints: 40618
235.05/235.71 c #Conflicts: 182000 | #Constraints: 41618
235.05/235.71 c #Conflicts: 183000 | #Constraints: 42618
235.05/235.71 c #Conflicts: 184000 | #Constraints: 43618
235.05/235.71 c #Conflicts: 185000 | #Constraints: 44618
235.05/235.71 c #Conflicts: 186000 | #Constraints: 45618
235.05/235.71 c #Conflicts: 187000 | #Constraints: 46618
235.05/235.71 c #Conflicts: 188000 | #Constraints: 47618
235.05/235.71 c #Conflicts: 189000 | #Constraints: 48618
235.05/235.71 c INPROCESSING
235.05/235.71 c GARBAGE COLLECT
235.05/235.71 c #Conflicts: 190000 | #Constraints: 29142
235.05/235.71 c #Conflicts: 191000 | #Constraints: 30142
235.05/235.71 c #Conflicts: 192000 | #Constraints: 31142
235.05/235.71 c #Conflicts: 193000 | #Constraints: 32142
235.05/235.71 c #Conflicts: 194000 | #Constraints: 33142
235.05/235.71 c #Conflicts: 195000 | #Constraints: 34142
235.05/235.71 c #Conflicts: 196000 | #Constraints: 35142
235.05/235.71 c #Conflicts: 197000 | #Constraints: 36142
235.05/235.71 c #Conflicts: 198000 | #Constraints: 37142
235.05/235.71 c #Conflicts: 199000 | #Constraints: 38142
235.05/235.71 c #Conflicts: 200000 | #Constraints: 39142
235.05/235.71 c INPROCESSING
235.05/235.71 c GARBAGE COLLECT
235.05/235.71 c rational objective 0
249.42/250.18 c #Conflicts: 201000 | #Constraints: 24420
249.42/250.18 c #Conflicts: 202000 | #Constraints: 25420
249.42/250.18 c #Conflicts: 203000 | #Constraints: 26420
249.42/250.18 c #Conflicts: 204000 | #Constraints: 27420
249.42/250.18 c #Conflicts: 205000 | #Constraints: 28420
249.42/250.18 c #Conflicts: 206000 | #Constraints: 29420
249.42/250.18 c #Conflicts: 207000 | #Constraints: 30420
249.42/250.18 c #Conflicts: 208000 | #Constraints: 31420
249.42/250.18 c #Conflicts: 209000 | #Constraints: 32420
249.42/250.18 c #Conflicts: 210000 | #Constraints: 33420
249.42/250.18 c #Conflicts: 211000 | #Constraints: 34420
249.42/250.18 c INPROCESSING
249.42/250.18 c GARBAGE COLLECT
249.42/250.18 c rational objective 0
316.65/317.55 c #Conflicts: 212000 | #Constraints: 22019
316.65/317.55 c #Conflicts: 213000 | #Constraints: 23019
316.65/317.55 c #Conflicts: 214000 | #Constraints: 24019
316.65/317.55 c #Conflicts: 215000 | #Constraints: 25019
316.65/317.55 c #Conflicts: 216000 | #Constraints: 26019
316.65/317.55 c #Conflicts: 217000 | #Constraints: 27019
316.65/317.55 c #Conflicts: 218000 | #Constraints: 28019
316.65/317.55 c #Conflicts: 219000 | #Constraints: 29019
316.65/317.55 c #Conflicts: 220000 | #Constraints: 30019
316.65/317.55 c #Conflicts: 221000 | #Constraints: 31019
316.65/317.55 c #Conflicts: 222000 | #Constraints: 32019
316.65/317.55 c #Conflicts: 223000 | #Constraints: 33019
316.65/317.55 c #Conflicts: 224000 | #Constraints: 34019
316.65/317.55 c #Conflicts: 225000 | #Constraints: 35019
316.65/317.55 c #Conflicts: 226000 | #Constraints: 36019
316.65/317.55 c #Conflicts: 227000 | #Constraints: 37019
316.65/317.55 c #Conflicts: 228000 | #Constraints: 38019
316.65/317.55 c #Conflicts: 229000 | #Constraints: 39019
316.65/317.55 c #Conflicts: 230000 | #Constraints: 40019
316.65/317.55 c #Conflicts: 231000 | #Constraints: 41019
316.65/317.55 c #Conflicts: 232000 | #Constraints: 42019
316.65/317.55 c #Conflicts: 233000 | #Constraints: 43019
316.65/317.55 c #Conflicts: 234000 | #Constraints: 44019
316.65/317.55 c #Conflicts: 235000 | #Constraints: 45019
316.65/317.55 c #Conflicts: 236000 | #Constraints: 46019
316.65/317.55 c #Conflicts: 237000 | #Constraints: 47019
316.65/317.55 c #Conflicts: 238000 | #Constraints: 48019
316.65/317.55 c #Conflicts: 239000 | #Constraints: 49019
316.65/317.55 c #Conflicts: 240000 | #Constraints: 50019
316.65/317.55 c #Conflicts: 241000 | #Constraints: 51019
316.65/317.55 c #Conflicts: 242000 | #Constraints: 52019
316.65/317.55 c #Conflicts: 243000 | #Constraints: 53019
316.65/317.55 c #Conflicts: 244000 | #Constraints: 54019
316.65/317.55 c #Conflicts: 245000 | #Constraints: 55019
316.65/317.55 c INPROCESSING
316.65/317.55 c GARBAGE COLLECT
316.65/317.55 c rational objective 1.22008e-13
336.30/337.24 c #Conflicts: 246000 | #Constraints: 32448
336.30/337.24 c #Conflicts: 247000 | #Constraints: 33448
336.30/337.24 c #Conflicts: 248000 | #Constraints: 34448
336.30/337.24 c #Conflicts: 249000 | #Constraints: 35448
336.30/337.24 c #Conflicts: 250000 | #Constraints: 36448
336.30/337.24 c #Conflicts: 251000 | #Constraints: 37448
336.30/337.24 c #Conflicts: 252000 | #Constraints: 38448
336.30/337.24 c #Conflicts: 253000 | #Constraints: 39448
336.30/337.24 c #Conflicts: 254000 | #Constraints: 40448
336.30/337.24 c #Conflicts: 255000 | #Constraints: 41448
336.30/337.24 c #Conflicts: 256000 | #Constraints: 42448
336.30/337.24 c #Conflicts: 257000 | #Constraints: 43448
336.30/337.24 c INPROCESSING
336.30/337.24 c GARBAGE COLLECT
336.30/337.24 c rational objective 1.22008e-13
354.76/355.73 c #Conflicts: 258000 | #Constraints: 26430
354.76/355.73 c #Conflicts: 259000 | #Constraints: 27430
354.76/355.73 c #Conflicts: 260000 | #Constraints: 28430
354.76/355.73 c #Conflicts: 261000 | #Constraints: 29430
354.76/355.73 c #Conflicts: 262000 | #Constraints: 30430
354.76/355.73 c #Conflicts: 263000 | #Constraints: 31430
354.76/355.73 c #Conflicts: 264000 | #Constraints: 32430
354.76/355.73 c #Conflicts: 265000 | #Constraints: 33430
354.76/355.73 c #Conflicts: 266000 | #Constraints: 34430
354.76/355.73 c #Conflicts: 267000 | #Constraints: 35430
354.76/355.73 c #Conflicts: 268000 | #Constraints: 36430
354.76/355.73 c #Conflicts: 269000 | #Constraints: 37430
354.76/355.73 c #Conflicts: 270000 | #Constraints: 38430
354.76/355.73 c INPROCESSING
354.76/355.73 c GARBAGE COLLECT
354.76/355.73 c rational objective 1.22008e-13
446.73/447.91 c #Conflicts: 271000 | #Constraints: 24497
446.73/447.91 c #Conflicts: 272000 | #Constraints: 25497
446.73/447.91 c #Conflicts: 273000 | #Constraints: 26497
446.73/447.91 c #Conflicts: 274000 | #Constraints: 27497
446.73/447.91 c #Conflicts: 275000 | #Constraints: 28497
446.73/447.91 c #Conflicts: 276000 | #Constraints: 29497
446.73/447.91 c #Conflicts: 277000 | #Constraints: 30497
446.73/447.91 c #Conflicts: 278000 | #Constraints: 31498
446.73/447.91 c #Conflicts: 279000 | #Constraints: 32498
446.73/447.91 c #Conflicts: 280000 | #Constraints: 33498
446.73/447.91 c #Conflicts: 281000 | #Constraints: 34498
446.73/447.91 c #Conflicts: 282000 | #Constraints: 35498
446.73/447.91 c #Conflicts: 283000 | #Constraints: 36498
446.73/447.91 c #Conflicts: 284000 | #Constraints: 37498
446.73/447.91 c #Conflicts: 285000 | #Constraints: 38498
446.73/447.91 c #Conflicts: 286000 | #Constraints: 39498
446.73/447.91 c #Conflicts: 287000 | #Constraints: 40498
446.73/447.91 c #Conflicts: 288000 | #Constraints: 41498
446.73/447.91 c #Conflicts: 289000 | #Constraints: 42498
446.73/447.91 c #Conflicts: 290000 | #Constraints: 43498
446.73/447.91 c #Conflicts: 291000 | #Constraints: 44498
446.73/447.91 c #Conflicts: 292000 | #Constraints: 45498
446.73/447.91 c #Conflicts: 293000 | #Constraints: 46498
446.73/447.91 c #Conflicts: 294000 | #Constraints: 47498
446.73/447.91 c #Conflicts: 295000 | #Constraints: 48498
446.73/447.91 c #Conflicts: 296000 | #Constraints: 49498
446.73/447.91 c #Conflicts: 297000 | #Constraints: 50498
446.73/447.91 c #Conflicts: 298000 | #Constraints: 51498
446.73/447.91 c #Conflicts: 299000 | #Constraints: 52498
446.73/447.91 c #Conflicts: 300000 | #Constraints: 53498
446.73/447.91 c #Conflicts: 301000 | #Constraints: 54498
446.73/447.91 c #Conflicts: 302000 | #Constraints: 55498
446.73/447.91 c #Conflicts: 303000 | #Constraints: 56498
446.73/447.91 c #Conflicts: 304000 | #Constraints: 57498
446.73/447.91 c #Conflicts: 305000 | #Constraints: 58498
446.73/447.91 c #Conflicts: 306000 | #Constraints: 59498
446.73/447.91 c #Conflicts: 307000 | #Constraints: 60498
446.73/447.91 c #Conflicts: 308000 | #Constraints: 61498
446.73/447.91 c INPROCESSING
446.73/447.91 c GARBAGE COLLECT
446.73/447.91 c #Conflicts: 309000 | #Constraints: 35735
446.73/447.91 c #Conflicts: 310000 | #Constraints: 36735
446.73/447.91 c #Conflicts: 311000 | #Constraints: 37735
446.73/447.91 c #Conflicts: 312000 | #Constraints: 38735
446.73/447.91 c #Conflicts: 313000 | #Constraints: 39735
446.73/447.91 c #Conflicts: 314000 | #Constraints: 40735
446.73/447.91 c #Conflicts: 315000 | #Constraints: 41735
446.73/447.91 c #Conflicts: 316000 | #Constraints: 42735
446.73/447.91 c #Conflicts: 317000 | #Constraints: 43735
446.73/447.91 c #Conflicts: 318000 | #Constraints: 44735
446.73/447.91 c #Conflicts: 319000 | #Constraints: 45735
446.73/447.91 c #Conflicts: 320000 | #Constraints: 46735
446.73/447.91 c #Conflicts: 321000 | #Constraints: 47735
446.73/447.91 c INPROCESSING
446.73/447.91 c GARBAGE COLLECT
446.73/447.91 c rational objective 1.22008e-13
463.29/464.56 c #Conflicts: 322000 | #Constraints: 28383
463.29/464.56 c #Conflicts: 323000 | #Constraints: 29383
463.29/464.56 c #Conflicts: 324000 | #Constraints: 30383
463.29/464.56 c #Conflicts: 325000 | #Constraints: 31383
463.29/464.56 c #Conflicts: 326000 | #Constraints: 32383
463.29/464.56 c #Conflicts: 327000 | #Constraints: 33383
463.29/464.56 c #Conflicts: 328000 | #Constraints: 34383
463.29/464.56 c #Conflicts: 329000 | #Constraints: 35383
463.29/464.56 c #Conflicts: 330000 | #Constraints: 36383
463.29/464.56 c #Conflicts: 331000 | #Constraints: 37383
463.29/464.56 c #Conflicts: 332000 | #Constraints: 38383
463.29/464.56 c #Conflicts: 333000 | #Constraints: 39383
463.29/464.56 c #Conflicts: 334000 | #Constraints: 40383
463.29/464.56 c #Conflicts: 335000 | #Constraints: 41383
463.29/464.56 c #Conflicts: 336000 | #Constraints: 42384
463.29/464.56 c INPROCESSING
463.29/464.56 c GARBAGE COLLECT
463.29/464.56 c rational objective 1.22008e-13
486.64/487.97 c #Conflicts: 337000 | #Constraints: 27247
486.64/487.97 c #Conflicts: 338000 | #Constraints: 28247
486.64/487.97 c #Conflicts: 339000 | #Constraints: 29247
486.64/487.97 c #Conflicts: 340000 | #Constraints: 30247
486.64/487.97 c #Conflicts: 341000 | #Constraints: 31247
486.64/487.97 c #Conflicts: 342000 | #Constraints: 32247
486.64/487.97 c #Conflicts: 343000 | #Constraints: 33247
486.64/487.97 c #Conflicts: 344000 | #Constraints: 34247
486.64/487.97 c #Conflicts: 345000 | #Constraints: 35247
486.64/487.97 c #Conflicts: 346000 | #Constraints: 36247
486.64/487.97 c #Conflicts: 347000 | #Constraints: 37247
486.64/487.97 c #Conflicts: 348000 | #Constraints: 38247
486.64/487.97 c #Conflicts: 349000 | #Constraints: 39247
486.64/487.97 c #Conflicts: 350000 | #Constraints: 40247
486.64/487.97 c #Conflicts: 351000 | #Constraints: 41247
486.64/487.97 c #Conflicts: 352000 | #Constraints: 42247
486.64/487.97 c #Conflicts: 353000 | #Constraints: 43247
486.64/487.97 c #Conflicts: 354000 | #Constraints: 44247
486.64/487.97 c #Conflicts: 355000 | #Constraints: 45247
486.64/487.97 c #Conflicts: 356000 | #Constraints: 46247
486.64/487.97 WSVECS04 Frhs2[2]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[5]: 6 -1.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[34]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[36]: 6 -1.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[39]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[40]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[41]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[96]: 6 -2.75069 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[98]: 6 -2.4688 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[101]: 6 -4.97466 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[102]: 6 -4.94928 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[103]: 6 -5.89852 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[104]: 6 -6.29693 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[107]: 6 -4.12509 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[108]: 6 -4.50002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[114]: 6 -5.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[118]: 6 -3.00034 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[122]: 6 -4.004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[189]: 6 -1.0048 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[191]: 6 -2.50006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[194]: 6 -3.00076 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[195]: 6 -3.00101 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[196]: 6 -10.8131 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[197]: 6 -2.50307 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[200]: 6 -7.00035 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[201]: 6 -3.00042 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[207]: 6 -3.00054 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[211]: 6 -3.00251 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[215]: 6 -3.00024 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[220]: 6 -2.00953 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[222]: 6 -2.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[225]: 6 -3.00157 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[226]: 6 -3.00202 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[227]: 6 -3.0031 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[228]: 6 -2.00606 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[231]: 6 -3.00138 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[232]: 6 -3.00083 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[238]: 6 -3.0011 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[242]: 6 -3.00496 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[246]: 6 -3.00044 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[313]: 6 -3.11978 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[315]: 6 -3.04154 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[318]: 6 -4.01196 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[319]: 6 -3.01606 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[320]: 6 -3.02417 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[321]: 6 -1.04825 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[324]: 6 -3.01097 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[325]: 6 -3.00624 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[331]: 6 -3.00847 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[335]: 6 -3.03932 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[339]: 6 -3.00304 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[592]: 6 -1.25827 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[594]: 6 -2.50004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[597]: 6 -9.08711 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[598]: 6 -11.1743 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[599]: 6 -7.19766 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[656]: 6 -3.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[659]: 6 -2.62502 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[660]: 6 -2.96882 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[661]: 6 -2.99911 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[716]: 6 -2.50004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[718]: 6 -3.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[721]: 6 -1.50002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[722]: 6 -2.87501 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[723]: 6 -2.99615 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[747]: 6 -2.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[749]: 6 -3.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[753]: 6 -2.75008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[754]: 6 -2.99219 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[811]: 6 -3.00006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[814]: 6 -2.74999 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[815]: 6 -2.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[816]: 6 -2.96863 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[842]: 6 -3.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[845]: 6 -2.5 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[846]: 6 -0.999893 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[847]: 6 -2.93728 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[902]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[904]: 6 -3 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[907]: 6 -2.9998 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[908]: 6 -2.99948 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[909]: 6 -2.74899 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[997]: 6 -2.99978 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1000]: 6 -2.99788 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1001]: 6 -2.99575 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1002]: 6 -2.9915 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1027]: 6 0 2.50003 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1071]: 6 0 3.99988 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1075]: 6 0 3.99974 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1100]: 6 0 6.99941 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1166]: 6 0 2.9981 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1170]: 6 0 2.49225 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1310]: 6 0 1.50009 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1320]: 6 0 1.87509 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1352]: 6 0 4.20321 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1370]: 6 0 2.75006 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1447]: 6 0 2.6422 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1478]: 6 0 3.0687 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1810]: 6 -2.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1957]: 6 0 2.03127 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1972]: 6 0 2.00007 shouldn't be
486.64/487.97 WSVECS04 Frhs2[1976]: 6 0 1.75007 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2001]: 6 0 4.00003 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2005]: 6 0 4.00005 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2028]: 6 0 4.00001 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2030]: 6 0 7.00006 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2041]: 6 0 2.00784 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2056]: 6 0 4.99979 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2057]: 6 0 5.99994 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2063]: 6 0 8.00004 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2163]: 6 0 0.500037 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2250]: 6 0 2.0001 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2253]: 6 0 3.00008 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2282]: 6 0 4.99932 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2300]: 6 0 2.98442 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2345]: 6 0 2.95922 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2366]: 6 0 2.98445 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2376]: 6 0 3.33654 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2377]: 6 0 2.79807 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2383]: 6 0 3.0001 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2408]: 6 0 3.69224 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2413]: 6 0 6.15052 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2426]: 6 0 2.93755 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2446]: 6 0 2.40828 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2508]: 6 0 2.52855 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2540]: 6 0 2.23555 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2576]: 6 0 1.0001 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2606]: 6 0 2.25006 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2620]: 6 -5.87501 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2631]: 6 0 3.83066 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2632]: 6 0 3.56752 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2635]: 6 0 3.75005 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2832]: 6 -2.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2917]: 6 -0.750027 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2919]: 6 -1.50007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2921]: 6 -1.53714 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2939]: 6 -1.28108 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2951]: 6 -0.999932 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2964]: 6 -0.999935 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2981]: 6 -3.00022 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2984]: 6 -3.29682 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2987]: 6 -2.62456 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2992]: 6 -2.99984 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[2994]: 6 -1.99956 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3001]: 6 -2.12435 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3005]: 6 -1.00774 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3010]: 6 -2.50004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3014]: 6 -0.999889 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3018]: 6 -2.49899 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3022]: 6 -0.999989 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3036]: 6 -1.01551 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3041]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3042]: 6 -0.989041 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3044]: 6 -0.999118 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3046]: 6 -0.999797 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3049]: 6 -3.99797 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3050]: 6 -5.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3061]: 6 -1.99905 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3062]: 6 -1.99811 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3064]: 6 -1.99228 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3071]: 6 0 0.130579 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3072]: 6 -0.750087 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3074]: 6 -2.00133 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3075]: 6 -0.998061 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3076]: 6 -0.999564 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3080]: 6 -0.99596 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3081]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3083]: 6 -0.999096 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3085]: 6 -0.999549 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3097]: 6 -1.98439 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3098]: 6 -1.06182 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3104]: 6 -0.955843 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3105]: 6 -0.99223 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3106]: 6 -0.996131 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3108]: 6 -0.999072 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3111]: 6 -0.991878 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3116]: 6 -0.999099 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3118]: 6 -1.99224 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3121]: 6 -0.999098 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3122]: 6 -0.998087 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3125]: 6 -1.9844 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3128]: 6 -1.96883 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3136]: 6 -0.984471 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3140]: 6 -0.998079 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3142]: 6 -3.98446 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3146]: 6 -0.999115 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3147]: 6 -0.998121 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3152]: 6 -0.998137 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3170]: 6 -0.996108 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3171]: 6 -0.996146 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3178]: 6 -0.996171 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3183]: 6 -0.996116 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3191]: 6 -1.49416 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3200]: 6 -0.992202 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3204]: 6 -0.750099 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3209]: 6 -0.992266 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3214]: 6 -0.992203 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3219]: 6 -1.75006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3230]: 6 -0.937529 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3233]: 6 -0.984434 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3235]: 6 -0.500042 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3238]: 6 -0.968808 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3240]: 6 -0.984467 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3244]: 6 -0.99226 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3250]: 6 -1.50001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3252]: 6 -0.750066 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3254]: 6 -0.203224 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3260]: 6 -0.750016 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3262]: 6 -0.968783 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3268]: 6 -2.04951 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3269]: 6 -0.937556 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3271]: 6 -0.968778 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3273]: 6 -1.75005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3278]: 6 -1.87504 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3290]: 6 -0.500088 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3292]: 6 -0.750055 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3295]: 6 -0.937547 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3298]: 6 -0.950623 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3299]: 6 -0.500088 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3300]: 6 -0.875027 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3302]: 6 -0.93754 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3308]: 6 -0.875026 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3320]: 6 -1.92309 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3323]: 6 -0.500094 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3325]: 6 -0.875043 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3329]: 6 -0.500091 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3331]: 6 -0.750077 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3332]: 6 -0.937581 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3338]: 6 -0.875045 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3353]: 6 -1.64225 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3356]: 6 -0.75004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3357]: 6 -0.750056 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3388]: 6 -0.500049 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3416]: 6 -3.1374 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3445]: 6 -1.00006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3451]: 6 -1.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3452]: 6 -1.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3453]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3454]: 6 -1.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3475]: 6 -3.96734 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3505]: 6 0 0.967377 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3507]: 6 -1.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3515]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3540]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3546]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3547]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3570]: 6 -1.00006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3577]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3578]: 6 -1.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3609]: 6 -1.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3630]: 6 -3.95321 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3633]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3637]: 6 -1.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3661]: 6 -3.75004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3667]: 6 -3.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3669]: 6 -1.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3693]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3695]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3699]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3723]: 6 -2.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3725]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3729]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3785]: 6 -1.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3786]: 6 -1.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3791]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3871]: 6 -0.437286 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3878]: 6 -0.992276 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3880]: 6 -0.531307 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3881]: 6 -1.50004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3882]: 6 -2.45023 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3912]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3925]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3941]: 6 -0.995334 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3942]: 6 -0.125012 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3945]: 6 -2.60138 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3955]: 6 -2.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3962]: 6 -2.12558 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3975]: 6 -1.99894 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3980]: 6 -3.75002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3983]: 6 -0.999974 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3992]: 6 -2.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[3997]: 6 -1.01568 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4002]: 6 -0.875041 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4003]: 6 -0.981161 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4011]: 6 -5.50005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4012]: 6 -2.00032 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4017]: 6 -1.9999 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4025]: 6 -2.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4026]: 6 -2.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4033]: 6 -0.750039 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4035]: 6 -2.00138 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4036]: 6 -0.998137 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4039]: 6 -0.999555 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4041]: 6 -0.992107 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4042]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4044]: 6 -0.999038 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4046]: 6 -0.999827 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4052]: 6 -1.00007 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4058]: 6 -2.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4059]: 6 -1.06258 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4065]: 6 -0.924536 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4066]: 6 -0.992277 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4067]: 6 -0.996156 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4069]: 6 -0.999062 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4072]: 6 -0.984139 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4074]: 6 -2.00122 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4076]: 6 -0.999594 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4077]: 6 -0.999611 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4079]: 6 -1.99953 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4082]: 6 -1.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4083]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4085]: 6 -1.99995 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4086]: 6 -2 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4089]: 6 -2.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4100]: 6 -0.998131 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4101]: 6 -0.998071 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4103]: 6 -0.968215 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4113]: 6 -1.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4120]: 6 -2.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4121]: 6 -1.25 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4131]: 6 -0.996108 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4139]: 6 -0.998062 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4144]: 6 -0.999989 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4161]: 6 -0.992205 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4165]: 6 -0.750085 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4175]: 6 -0.999948 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4191]: 6 -0.937587 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4199]: 6 -0.968808 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4204]: 6 -0.999611 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4211]: 6 -1.49961 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4215]: 6 -0.999316 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4221]: 6 -0.750066 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4224]: 6 -0.968819 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4234]: 6 -1.98446 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4241]: 6 -0.500073 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4251]: 6 -0.500059 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4256]: 6 -0.93754 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4269]: 6 -0.999114 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4281]: 6 -1.95916 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4284]: 6 -0.500081 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4291]: 6 -1.15055 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4299]: 6 -0.998085 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4303]: 6 -1.99813 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4305]: 6 -0.999074 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4314]: 6 -1.79811 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4318]: 6 -0.750098 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4331]: 6 -0.996132 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4334]: 6 -1.99618 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4347]: 6 -0.50008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4361]: 6 -0.992214 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4364]: 6 -1.93757 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4374]: 6 -2.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4377]: 6 -4.38444 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4391]: 6 -0.968828 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4414]: 6 -1.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4415]: 6 -0.999803 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4416]: 6 -1.81659 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4427]: 6 -1.96881 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4428]: 6 -1.93751 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4436]: 6 -1.03275 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4449]: 6 -1.52854 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4454]: 6 -0.937587 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4455]: 6 -0.937536 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4457]: 6 -1.50006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4459]: 6 -1.87504 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4471]: 6 -0.875027 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4472]: 6 -1.73439 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4474]: 6 -1.00202 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4476]: 6 -1.00002 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4478]: 6 -1.00199 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4479]: 6 -1.0001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4482]: 6 -1.23553 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4483]: 6 -0.750098 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4485]: 6 -0.875013 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4501]: 6 -0.882885 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4507]: 6 -1.0001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4508]: 6 -0.998102 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4514]: 6 -0.500026 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4517]: 6 -0.750054 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4529]: 6 -1.26178 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4538]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4539]: 6 -0.996155 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4540]: 6 -1.00791 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4543]: 6 -0.992269 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4547]: 6 -0.500052 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4548]: 6 -0.500083 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4561]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4563]: 6 -0.53133 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4565]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4569]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4570]: 6 -0.992242 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4577]: 6 -2.56758 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4591]: 6 -2.04693 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4594]: 6 -0.062593 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4598]: 6 -1.0313 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4599]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4601]: 6 -0.984402 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4602]: 6 -1.03135 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4604]: 6 -0.98446 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4607]: 6 -1.09369 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4609]: 6 -4.39463 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4622]: 6 -1.25009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4629]: 6 -1.06257 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4636]: 6 -0.937543 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4637]: 6 -0.875013 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4653]: 6 -1.50008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4656]: 6 -0.937596 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4664]: 6 -1.12506 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4665]: 6 -1.00009 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4667]: 6 -0.875084 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4670]: 6 -2.75099 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4684]: 6 -2.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4686]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4690]: 6 -0.875091 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4693]: 6 -1.00001 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4694]: 6 -0.875035 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4697]: 6 -0.875212 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4723]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4724]: 6 -1.00006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4725]: 6 -0.750111 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4726]: 6 -1.50003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4727]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4750]: 6 -2.00006 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4759]: 6 -0.500557 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4762]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4777]: 6 -4.00003 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4785]: 6 -1.00005 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4786]: 6 -1.00008 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4894]: 6 -1.00004 0 shouldn't be
486.64/487.97 WSVECS04 Frhs2[4908]: 6 -1.00008 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[5]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[6]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[34]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[36]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[39]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[40]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[41]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[96]: 6 -2.75059 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[98]: 6 -2.46875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[101]: 6 -4.97461 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[102]: 6 -4.94922 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[103]: 6 -5.89844 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[104]: 6 -6.29688 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[107]: 6 -4.125 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[108]: 6 -4.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[114]: 6 -5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[118]: 6 -3.00031 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[122]: 6 -4.00391 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[189]: 6 -1.00472 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[191]: 6 -2.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[194]: 6 -3.00074 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[195]: 6 -3.001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[196]: 6 -10.813 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[197]: 6 -2.50302 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[200]: 6 -7.00029 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[201]: 6 -3.00038 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[207]: 6 -3.00053 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[211]: 6 -3.00246 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[215]: 6 -3.00019 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[220]: 6 -2.00944 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[222]: 6 -2 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[225]: 6 -3.00149 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[226]: 6 -3.002 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[227]: 6 -3.00302 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[228]: 6 -2.00603 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[231]: 6 -3.00136 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[232]: 6 -3.00077 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[238]: 6 -3.00105 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[242]: 6 -3.00491 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[246]: 6 -3.00037 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[313]: 6 -3.11976 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[315]: 6 -3.04153 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[318]: 6 -4.01189 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[319]: 6 -3.01597 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[320]: 6 -3.02412 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[321]: 6 -1.04824 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[324]: 6 -3.01089 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[325]: 6 -3.00615 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[331]: 6 -3.00839 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[335]: 6 -3.03928 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[339]: 6 -3.00298 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[592]: 6 -1.25818 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[594]: 6 -2.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[597]: 6 -9.0871 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[598]: 6 -11.1742 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[599]: 6 -7.19764 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[656]: 6 -3 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[659]: 6 -2.625 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[660]: 6 -2.96875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[661]: 6 -2.99902 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[716]: 6 -2.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[718]: 6 -3 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[721]: 6 -1.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[722]: 6 -2.87499 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[723]: 6 -2.99608 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[747]: 6 -2 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[749]: 6 -3 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[753]: 6 -2.74998 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[754]: 6 -2.99215 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[811]: 6 -3 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[814]: 6 -2.74997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[815]: 6 -1.99993 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[816]: 6 -2.96862 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[842]: 6 -2.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[845]: 6 -2.49993 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[846]: 6 -0.999866 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[847]: 6 -2.93723 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[902]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[904]: 6 -2.99997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[907]: 6 -2.99973 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[908]: 6 -2.99946 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[909]: 6 -2.74893 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[997]: 6 -2.99973 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1000]: 6 -2.99785 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1001]: 6 -2.9957 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1002]: 6 -2.9914 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1027]: 6 0 2.5 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1031]: 6 0 0.851563 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1170]: 6 0 2.49219 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1310]: 6 0 1.5 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1320]: 6 0 1.875 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1352]: 6 0 4.20313 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1370]: 6 0 2.75 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1415]: 6 0 2.923 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1478]: 6 0 3.06868 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1810]: 6 -2 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1957]: 6 0 2.03125 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1972]: 6 0 2 shouldn't be
488.63/489.94 WSVECS04 Frhs2[1976]: 6 0 1.75 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2001]: 6 0 4 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2005]: 6 0 4 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2020]: 6 0 3.60135 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2028]: 6 0 3.99996 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2030]: 6 0 6.99997 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2040]: 6 0 1 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2041]: 6 0 2.00781 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2057]: 6 0 5.9999 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2063]: 6 0 8 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2066]: 6 0 2.99998 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2070]: 6 0 3.00781 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2082]: 6 0 15.623 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2100]: 6 0 2.5 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2163]: 6 0 0.5 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2250]: 6 0 2.00006 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2253]: 6 0 3 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2282]: 6 0 4.99927 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2300]: 6 0 2.98438 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2366]: 6 0 2.98438 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2376]: 6 0 3.33653 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2413]: 6 0 6.1505 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2426]: 6 0 2.9375 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2446]: 6 0 2.40827 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2508]: 6 0 2.52846 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2540]: 6 0 2.2355 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2576]: 6 0 1 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2606]: 6 0 2.25 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2620]: 6 -5.87498 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2631]: 6 0 3.83057 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2632]: 6 0 3.56751 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2635]: 6 0 3.75 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2832]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2890]: 6 -2 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2917]: 6 -0.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2919]: 6 -1.50004 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2921]: 6 -1.53708 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2939]: 6 -1.28107 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2951]: 6 -0.999879 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2964]: 6 -0.999879 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2980]: 6 -0.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2981]: 6 -3.00016 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2984]: 6 -3.29672 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2987]: 6 -2.62449 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2992]: 6 -2.99978 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[2994]: 6 -1.99951 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3001]: 6 -2.12426 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3010]: 6 -2.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3014]: 6 -0.999879 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3018]: 6 -2.49898 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3022]: 6 -0.999939 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3026]: 6 -0.999512 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3036]: 6 -1.01544 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3041]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3042]: 6 -0.988945 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3044]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3045]: 6 -0.999756 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3046]: 6 -0.999757 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3049]: 6 -3.99795 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3050]: 6 -5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3056]: 6 -1.99805 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3061]: 6 -1.99902 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3062]: 6 -1.99805 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3064]: 6 -1.99219 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3071]: 6 0 0.130528 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3072]: 6 -0.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3074]: 6 -2.00125 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3075]: 6 -0.998048 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3080]: 6 -0.995901 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3081]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3083]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3085]: 6 -0.999512 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3091]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3097]: 6 -1.98438 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3098]: 6 -1.06177 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3105]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3106]: 6 -0.996095 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3108]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3111]: 6 -0.991802 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3116]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3121]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3122]: 6 -0.998048 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3125]: 6 -1.98438 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3128]: 6 -1.96875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3136]: 6 -0.984375 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3140]: 6 -0.998047 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3142]: 6 -3.98438 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3146]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3147]: 6 -0.998047 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3152]: 6 -0.998048 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3170]: 6 -0.996095 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3171]: 6 -0.996094 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3178]: 6 -0.996094 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3183]: 6 -0.996095 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3191]: 6 -1.49414 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3204]: 6 -0.750001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3209]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3214]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3219]: 6 -1.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3235]: 6 -0.500001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3238]: 6 -0.96875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3239]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3240]: 6 -0.984376 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3244]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3252]: 6 -0.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3254]: 6 -0.203127 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3260]: 6 -0.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3262]: 6 -0.968751 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3268]: 6 -2.04947 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3269]: 6 -0.9375 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3271]: 6 -0.96875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3273]: 6 -1.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3278]: 6 -1.875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3290]: 6 -0.500001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3292]: 6 -0.750001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3293]: 6 -0.937501 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3295]: 6 -0.9375 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3298]: 6 -0.950531 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3299]: 6 -0.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3302]: 6 -0.9375 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3308]: 6 -0.875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3320]: 6 -1.923 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3323]: 6 -0.500001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3325]: 6 -0.875001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3329]: 6 -0.500001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3331]: 6 -0.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3332]: 6 -0.937501 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3338]: 6 -0.875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3353]: 6 -1.64217 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3356]: 6 -0.750001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3357]: 6 -0.750001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3383]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3388]: 6 -0.500001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3413]: 6 -1.74182 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3416]: 6 -3.13737 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3445]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3452]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3454]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3475]: 6 -3.96729 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3505]: 6 0 0.967286 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3514]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3515]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3537]: 6 -1.36914 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3546]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3547]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3570]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3575]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3577]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3578]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3609]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3630]: 6 -3.95313 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3632]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3637]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3661]: 6 -3.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3663]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3669]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3692]: 6 -1.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3693]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3699]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3723]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3725]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3729]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3755]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3785]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3791]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3816]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3819]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3871]: 6 -0.437256 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3878]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3881]: 6 -1.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3882]: 6 -2.4502 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3900]: 6 -1.28137 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3912]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3925]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3942]: 6 -0.125 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3953]: 6 -2.99996 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3955]: 6 -1.99997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3971]: 6 -0.937501 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3972]: 6 -0.990559 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3975]: 6 -1.9989 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3980]: 6 -3.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3992]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[3997]: 6 -1.01562 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4002]: 6 -0.875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4003]: 6 -0.981117 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4006]: 6 -0.999757 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4007]: 6 -0.999756 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4011]: 6 -5.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4012]: 6 -2.00029 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4017]: 6 -1.99988 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4023]: 6 -1.99997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4025]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4035]: 6 -2.00131 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4036]: 6 -0.998047 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4039]: 6 -0.999513 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4041]: 6 -0.992041 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4042]: 6 -1 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4044]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4046]: 6 -0.999756 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4052]: 6 -0.999993 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4058]: 6 -2 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4059]: 6 -1.06249 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4065]: 6 -0.924467 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4066]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4067]: 6 -0.996094 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4072]: 6 -0.984081 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4074]: 6 -2.00118 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4077]: 6 -0.999512 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4079]: 6 -1.99951 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4085]: 6 -1.99988 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4086]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4089]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4097]: 6 -0.984376 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4101]: 6 -0.998048 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4103]: 6 -0.968163 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4113]: 6 -0.99997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4114]: 6 -0.99997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4120]: 6 -1.99999 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4132]: 6 -0.996094 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4152]: 6 -1.49991 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4163]: 6 -0.992188 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4165]: 6 -0.750001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4175]: 6 -0.999878 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4181]: 6 -1.99997 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4194]: 6 -0.984375 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4196]: 6 -0.500001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4215]: 6 -0.999267 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4221]: 6 -0.750001 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4234]: 6 -1.98438 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4241]: 6 -0.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4253]: 6 -0.75 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4256]: 6 -0.9375 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4269]: 6 -0.999024 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4284]: 6 -0.5 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4286]: 6 -0.875 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4291]: 6 -1.1505 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4299]: 6 -0.998047 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4303]: 6 -1.99805 0 shouldn't be
488.63/489.94 WSVECS04 Frhs2[4305]: 6 -0.999024 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4314]: 6 -1.79805 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4317]: 6 -0.75 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4318]: 6 -0.750001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4331]: 6 -0.996094 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4334]: 6 -1.99609 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4349]: 6 -0.500001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4361]: 6 -0.992188 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4364]: 6 -1.9375 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4374]: 6 -2 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4377]: 6 -4.38441 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4391]: 6 -0.968751 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4415]: 6 -0.999756 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4416]: 6 -1.81655 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4421]: 6 -0.937501 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4427]: 6 -1.96875 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4428]: 6 -1.9375 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4436]: 6 -1.03272 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4455]: 6 -0.9375 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4457]: 6 -1.5 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4459]: 6 -1.875 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4471]: 6 -0.875001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4473]: 6 -0.999024 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4476]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4478]: 6 -1.00195 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4479]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4482]: 6 -1.23551 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4485]: 6 -0.875 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4499]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4507]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4508]: 6 -0.998048 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4514]: 6 -0.5 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4517]: 6 -0.750001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4538]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4539]: 6 -0.996094 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4540]: 6 -1.00781 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4543]: 6 -0.992188 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4547]: 6 -0.5 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4548]: 6 -0.5 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4565]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4569]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4576]: 6 -2.83057 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4577]: 6 -2.56751 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4594]: 6 -0.0625092 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4599]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4601]: 6 -0.984377 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4602]: 6 -1.03125 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4604]: 6 -0.984391 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4606]: 6 -0.9375 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4607]: 6 -1.09363 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4609]: 6 -4.39455 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4628]: 6 -0.968751 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4632]: 6 -0.968754 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4634]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4637]: 6 -0.875001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4659]: 6 -0.937501 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4660]: 6 -1.125 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4664]: 6 -1.12499 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4665]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4667]: 6 -0.875001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4670]: 6 -2.75098 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4690]: 6 -0.875001 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4693]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4694]: 6 -0.875016 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4697]: 6 -0.875122 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4716]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4723]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4724]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4725]: 6 -0.750031 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4726]: 6 -1.49994 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4727]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4746]: 6 -2.49997 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4747]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4750]: 6 -2 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4752]: 6 -0.500004 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4759]: 6 -0.500489 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4762]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4777]: 6 -3.99993 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4780]: 6 -1.80796e-06 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4785]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4786]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4894]: 6 -1 0 shouldn't be
488.63/489.95 WSVECS04 Frhs2[4908]: 6 -1 0 shouldn't be
619.81/621.50 c #Conflicts: 357000 | #Constraints: 47247
619.81/621.50 c #Conflicts: 358000 | #Constraints: 48247
619.81/621.50 c #Conflicts: 359000 | #Constraints: 49247
619.81/621.50 c #Conflicts: 360000 | #Constraints: 50247
619.81/621.50 c #Conflicts: 361000 | #Constraints: 51247
619.81/621.50 c #Conflicts: 362000 | #Constraints: 52247
619.81/621.50 c #Conflicts: 363000 | #Constraints: 53247
619.81/621.50 c #Conflicts: 364000 | #Constraints: 54247
619.81/621.50 c #Conflicts: 365000 | #Constraints: 55247
619.81/621.50 c #Conflicts: 366000 | #Constraints: 56247
619.81/621.50 c #Conflicts: 367000 | #Constraints: 57247
619.81/621.50 c #Conflicts: 368000 | #Constraints: 58247
619.81/621.50 c #Conflicts: 369000 | #Constraints: 59247
619.81/621.50 c #Conflicts: 370000 | #Constraints: 60247
619.81/621.50 c #Conflicts: 371000 | #Constraints: 61247
619.81/621.50 c #Conflicts: 372000 | #Constraints: 62247
619.81/621.50 c #Conflicts: 373000 | #Constraints: 63247
619.81/621.50 c #Conflicts: 374000 | #Constraints: 64247
619.81/621.50 c #Conflicts: 375000 | #Constraints: 65247
619.81/621.50 c #Conflicts: 376000 | #Constraints: 66247
619.81/621.50 c #Conflicts: 377000 | #Constraints: 67247
619.81/621.50 c #Conflicts: 378000 | #Constraints: 68247
619.81/621.50 c INPROCESSING
619.81/621.50 c GARBAGE COLLECT
619.81/621.50 c #Conflicts: 379000 | #Constraints: 38944
619.81/621.50 c #Conflicts: 380000 | #Constraints: 39944
619.81/621.50 c #Conflicts: 381000 | #Constraints: 40944
619.81/621.50 c #Conflicts: 382000 | #Constraints: 41944
619.81/621.50 c #Conflicts: 383000 | #Constraints: 42944
619.81/621.50 c #Conflicts: 384000 | #Constraints: 43944
619.81/621.50 c #Conflicts: 385000 | #Constraints: 44944
619.81/621.50 c #Conflicts: 386000 | #Constraints: 45944
619.81/621.50 c #Conflicts: 387000 | #Constraints: 46944
619.81/621.50 c #Conflicts: 388000 | #Constraints: 47944
619.81/621.50 c #Conflicts: 389000 | #Constraints: 48944
619.81/621.50 c #Conflicts: 390000 | #Constraints: 49944
619.81/621.50 c #Conflicts: 391000 | #Constraints: 50944
619.81/621.50 c #Conflicts: 392000 | #Constraints: 51944
619.81/621.50 c #Conflicts: 393000 | #Constraints: 52944
619.81/621.50 c INPROCESSING
619.81/621.50 c GARBAGE COLLECT
619.81/621.50 c #Conflicts: 394000 | #Constraints: 31266
619.81/621.50 c #Conflicts: 395000 | #Constraints: 32266
619.81/621.50 c #Conflicts: 396000 | #Constraints: 33266
619.81/621.50 c #Conflicts: 397000 | #Constraints: 34266
619.81/621.50 c #Conflicts: 398000 | #Constraints: 35266
619.81/621.50 c #Conflicts: 399000 | #Constraints: 36266
619.81/621.50 c #Conflicts: 400000 | #Constraints: 37266
619.81/621.50 c #Conflicts: 401000 | #Constraints: 38266
619.81/621.50 c #Conflicts: 402000 | #Constraints: 39266
619.81/621.50 c #Conflicts: 403000 | #Constraints: 40266
619.81/621.50 c #Conflicts: 404000 | #Constraints: 41266
619.81/621.50 c #Conflicts: 405000 | #Constraints: 42266
619.81/621.50 c #Conflicts: 406000 | #Constraints: 43266
619.81/621.50 c #Conflicts: 407000 | #Constraints: 44266
619.81/621.50 c #Conflicts: 408000 | #Constraints: 45266
619.81/621.50 c #Conflicts: 409000 | #Constraints: 46266
619.81/621.50 c #Conflicts: 410000 | #Constraints: 47266
619.81/621.50 c #Conflicts: 411000 | #Constraints: 48266
619.81/621.50 c #Conflicts: 412000 | #Constraints: 49266
619.81/621.50 c #Conflicts: 413000 | #Constraints: 50266
619.81/621.50 c #Conflicts: 414000 | #Constraints: 51266
619.90/621.50 c #Conflicts: 415000 | #Constraints: 52266
619.90/621.50 c #Conflicts: 416000 | #Constraints: 53266
619.90/621.50 c #Conflicts: 417000 | #Constraints: 54266
619.90/621.50 c #Conflicts: 418000 | #Constraints: 55266
619.90/621.50 c #Conflicts: 419000 | #Constraints: 56266
619.90/621.50 c #Conflicts: 420000 | #Constraints: 57266
619.90/621.50 c #Conflicts: 421000 | #Constraints: 58266
619.90/621.50 c #Conflicts: 422000 | #Constraints: 59266
619.90/621.50 c #Conflicts: 423000 | #Constraints: 60266
619.90/621.50 c #Conflicts: 424000 | #Constraints: 61266
619.90/621.50 c #Conflicts: 425000 | #Constraints: 62266
619.90/621.50 c #Conflicts: 426000 | #Constraints: 63266
619.90/621.50 c #Conflicts: 427000 | #Constraints: 64266
619.90/621.50 c #Conflicts: 428000 | #Constraints: 65266
619.90/621.50 c #Conflicts: 429000 | #Constraints: 66266
619.90/621.50 c #Conflicts: 430000 | #Constraints: 67266
619.90/621.50 c #Conflicts: 431000 | #Constraints: 68266
619.90/621.50 c #Conflicts: 432000 | #Constraints: 69266
619.90/621.50 c #Conflicts: 433000 | #Constraints: 70266
619.90/621.50 c #Conflicts: 434000 | #Constraints: 71266
632.97/634.62 c #Conflicts: 435000 | #Constraints: 72266
632.97/634.62 c #Conflicts: 436000 | #Constraints: 73266
632.97/634.62 c #Conflicts: 437000 | #Constraints: 74266
632.97/634.62 c #Conflicts: 438000 | #Constraints: 75266
632.97/634.62 c INPROCESSING
632.97/634.62 c GARBAGE COLLECT
632.97/634.62 c rational objective 0
765.63/767.65 c #Conflicts: 439000 | #Constraints: 42176
765.63/767.65 c #Conflicts: 440000 | #Constraints: 43176
765.63/767.65 c #Conflicts: 441000 | #Constraints: 44176
765.63/767.65 c #Conflicts: 442000 | #Constraints: 45176
765.63/767.65 c #Conflicts: 443000 | #Constraints: 46176
765.63/767.65 c #Conflicts: 444000 | #Constraints: 47176
765.63/767.65 c #Conflicts: 445000 | #Constraints: 48176
765.63/767.65 c #Conflicts: 446000 | #Constraints: 49176
765.63/767.65 c #Conflicts: 447000 | #Constraints: 50176
765.63/767.65 c #Conflicts: 448000 | #Constraints: 51176
765.63/767.65 c #Conflicts: 449000 | #Constraints: 52176
765.63/767.65 c #Conflicts: 450000 | #Constraints: 53176
765.63/767.65 c #Conflicts: 451000 | #Constraints: 54176
765.63/767.65 c #Conflicts: 452000 | #Constraints: 55176
765.63/767.65 c #Conflicts: 453000 | #Constraints: 56176
765.63/767.65 c #Conflicts: 454000 | #Constraints: 57176
765.63/767.65 c #Conflicts: 455000 | #Constraints: 58176
765.63/767.65 c INPROCESSING
765.63/767.65 c GARBAGE COLLECT
765.63/767.65 c rational objective 0
1097.67/1100.50 c #Conflicts: 456000 | #Constraints: 33787
1097.67/1100.50 c #Conflicts: 457000 | #Constraints: 34787
1097.67/1100.50 c #Conflicts: 458000 | #Constraints: 35787
1097.67/1100.50 c #Conflicts: 459000 | #Constraints: 36787
1097.67/1100.50 c #Conflicts: 460000 | #Constraints: 37787
1097.67/1100.50 c #Conflicts: 461000 | #Constraints: 38787
1097.67/1100.50 c #Conflicts: 462000 | #Constraints: 39787
1097.67/1100.50 c #Conflicts: 463000 | #Constraints: 40787
1097.67/1100.50 c #Conflicts: 464000 | #Constraints: 41787
1097.67/1100.50 c #Conflicts: 465000 | #Constraints: 42787
1097.67/1100.50 c #Conflicts: 466000 | #Constraints: 43787
1097.67/1100.50 c #Conflicts: 467000 | #Constraints: 44787
1097.67/1100.50 c #Conflicts: 468000 | #Constraints: 45787
1097.67/1100.50 c #Conflicts: 469000 | #Constraints: 46787
1097.67/1100.50 c #Conflicts: 470000 | #Constraints: 47787
1097.67/1100.50 c #Conflicts: 471000 | #Constraints: 48787
1097.67/1100.50 c #Conflicts: 472000 | #Constraints: 49787
1097.67/1100.50 c #Conflicts: 473000 | #Constraints: 50787
1097.67/1100.50 c #Conflicts: 474000 | #Constraints: 51787
1097.67/1100.50 c #Conflicts: 475000 | #Constraints: 52787
1097.67/1100.50 c #Conflicts: 476000 | #Constraints: 53787
1097.67/1100.50 c #Conflicts: 477000 | #Constraints: 54787
1097.67/1100.50 c #Conflicts: 478000 | #Constraints: 55787
1097.67/1100.50 c #Conflicts: 479000 | #Constraints: 56787
1097.67/1100.50 c #Conflicts: 480000 | #Constraints: 57787
1097.67/1100.50 c #Conflicts: 481000 | #Constraints: 58787
1097.67/1100.50 c #Conflicts: 482000 | #Constraints: 59787
1097.67/1100.50 c #Conflicts: 483000 | #Constraints: 60787
1097.67/1100.50 c #Conflicts: 484000 | #Constraints: 61787
1097.67/1100.50 c #Conflicts: 485000 | #Constraints: 62787
1097.67/1100.50 c #Conflicts: 486000 | #Constraints: 63787
1097.67/1100.50 c #Conflicts: 487000 | #Constraints: 64787
1097.67/1100.50 c #Conflicts: 488000 | #Constraints: 65787
1097.67/1100.50 c #Conflicts: 489000 | #Constraints: 66787
1097.67/1100.50 c #Conflicts: 490000 | #Constraints: 67787
1097.67/1100.50 c #Conflicts: 491000 | #Constraints: 68787
1097.67/1100.50 c #Conflicts: 492000 | #Constraints: 69787
1097.67/1100.50 c #Conflicts: 493000 | #Constraints: 70787
1097.67/1100.50 c #Conflicts: 494000 | #Constraints: 71787
1097.67/1100.50 c #Conflicts: 495000 | #Constraints: 72787
1097.67/1100.50 c #Conflicts: 496000 | #Constraints: 73787
1097.67/1100.50 c #Conflicts: 497000 | #Constraints: 74787
1097.67/1100.50 c #Conflicts: 498000 | #Constraints: 75787
1097.67/1100.50 c #Conflicts: 499000 | #Constraints: 76787
1097.67/1100.50 c #Conflicts: 500000 | #Constraints: 77787
1097.67/1100.50 c #Conflicts: 501000 | #Constraints: 78787
1097.67/1100.50 c #Conflicts: 502000 | #Constraints: 79787
1097.67/1100.50 c #Conflicts: 503000 | #Constraints: 80787
1097.67/1100.50 c #Conflicts: 504000 | #Constraints: 81787
1097.67/1100.50 c INPROCESSING
1097.67/1100.50 c GARBAGE COLLECT
1097.67/1100.50 c rational objective 1.22008e-13
1129.69/1132.63 c #Conflicts: 505000 | #Constraints: 45940
1129.69/1132.63 c #Conflicts: 506000 | #Constraints: 46940
1129.69/1132.63 c #Conflicts: 507000 | #Constraints: 47940
1129.69/1132.63 c #Conflicts: 508000 | #Constraints: 48940
1129.69/1132.63 c #Conflicts: 509000 | #Constraints: 49940
1129.69/1132.63 c #Conflicts: 510000 | #Constraints: 50940
1129.69/1132.63 c #Conflicts: 511000 | #Constraints: 51940
1129.69/1132.63 c #Conflicts: 512000 | #Constraints: 52940
1129.69/1132.63 c #Conflicts: 513000 | #Constraints: 53941
1129.69/1132.63 c #Conflicts: 514000 | #Constraints: 54941
1129.69/1132.63 c #Conflicts: 515000 | #Constraints: 55941
1129.69/1132.63 c #Conflicts: 516000 | #Constraints: 56941
1129.69/1132.63 c #Conflicts: 517000 | #Constraints: 57941
1129.69/1132.63 c #Conflicts: 518000 | #Constraints: 58941
1129.69/1132.63 c #Conflicts: 519000 | #Constraints: 59941
1129.69/1132.63 c #Conflicts: 520000 | #Constraints: 60941
1129.69/1132.63 c #Conflicts: 521000 | #Constraints: 61941
1129.69/1132.63 c #Conflicts: 522000 | #Constraints: 62941
1129.69/1132.63 c INPROCESSING
1129.69/1132.63 c GARBAGE COLLECT
1129.69/1132.63 c rational objective 1.22008e-13
1287.46/1290.85 c #Conflicts: 523000 | #Constraints: 36516
1287.46/1290.85 c #Conflicts: 524000 | #Constraints: 37516
1287.46/1290.85 c #Conflicts: 525000 | #Constraints: 38516
1287.46/1290.85 c #Conflicts: 526000 | #Constraints: 39516
1287.46/1290.85 c #Conflicts: 527000 | #Constraints: 40516
1287.46/1290.85 c #Conflicts: 528000 | #Constraints: 41516
1287.46/1290.85 c #Conflicts: 529000 | #Constraints: 42516
1287.46/1290.85 c #Conflicts: 530000 | #Constraints: 43516
1287.46/1290.85 c #Conflicts: 531000 | #Constraints: 44516
1287.46/1290.85 c #Conflicts: 532000 | #Constraints: 45516
1287.46/1290.85 c #Conflicts: 533000 | #Constraints: 46516
1287.46/1290.85 c #Conflicts: 534000 | #Constraints: 47516
1287.46/1290.85 c #Conflicts: 535000 | #Constraints: 48516
1287.46/1290.85 c #Conflicts: 536000 | #Constraints: 49516
1287.46/1290.85 c #Conflicts: 537000 | #Constraints: 50516
1287.46/1290.85 c #Conflicts: 538000 | #Constraints: 51516
1287.46/1290.85 c #Conflicts: 539000 | #Constraints: 52516
1287.46/1290.85 c #Conflicts: 540000 | #Constraints: 53516
1287.46/1290.85 c #Conflicts: 541000 | #Constraints: 54516
1287.46/1290.85 c #Conflicts: 542000 | #Constraints: 55516
1287.46/1290.85 c #Conflicts: 543000 | #Constraints: 56516
1287.46/1290.85 c #Conflicts: 544000 | #Constraints: 57516
1287.46/1290.85 c #Conflicts: 545000 | #Constraints: 58516
1287.46/1290.85 c #Conflicts: 546000 | #Constraints: 59516
1287.46/1290.85 c #Conflicts: 547000 | #Constraints: 60516
1287.46/1290.85 c #Conflicts: 548000 | #Constraints: 61516
1287.46/1290.85 c #Conflicts: 549000 | #Constraints: 62516
1287.46/1290.85 c #Conflicts: 550000 | #Constraints: 63516
1287.46/1290.85 c #Conflicts: 551000 | #Constraints: 64516
1287.46/1290.85 c #Conflicts: 552000 | #Constraints: 65516
1287.46/1290.85 c #Conflicts: 553000 | #Constraints: 66516
1287.46/1290.85 c #Conflicts: 554000 | #Constraints: 67516
1287.46/1290.85 c #Conflicts: 555000 | #Constraints: 68516
1287.46/1290.85 c #Conflicts: 556000 | #Constraints: 69516
1287.46/1290.85 c #Conflicts: 557000 | #Constraints: 70516
1287.46/1290.85 c #Conflicts: 558000 | #Constraints: 71516
1287.46/1290.85 c #Conflicts: 559000 | #Constraints: 72516
1287.46/1290.85 c #Conflicts: 560000 | #Constraints: 73516
1287.46/1290.85 c #Conflicts: 561000 | #Constraints: 74516
1287.46/1290.85 c #Conflicts: 562000 | #Constraints: 75516
1287.46/1290.85 c #Conflicts: 563000 | #Constraints: 76516
1287.46/1290.85 c #Conflicts: 564000 | #Constraints: 77516
1287.46/1290.85 c #Conflicts: 565000 | #Constraints: 78516
1287.46/1290.85 c #Conflicts: 566000 | #Constraints: 79516
1287.46/1290.85 c #Conflicts: 567000 | #Constraints: 80516
1287.46/1290.85 c #Conflicts: 568000 | #Constraints: 81516
1287.46/1290.85 c #Conflicts: 569000 | #Constraints: 82516
1287.46/1290.85 c #Conflicts: 570000 | #Constraints: 83516
1287.46/1290.85 c #Conflicts: 571000 | #Constraints: 84516
1287.46/1290.85 c #Conflicts: 572000 | #Constraints: 85516
1287.46/1290.85 c #Conflicts: 573000 | #Constraints: 86516
1287.46/1290.85 c INPROCESSING
1287.46/1290.85 c GARBAGE COLLECT
1287.46/1290.85 c #Conflicts: 574000 | #Constraints: 48130
1287.46/1290.85 c #Conflicts: 575000 | #Constraints: 49130
1287.46/1290.85 c #Conflicts: 576000 | #Constraints: 50130
1287.46/1290.85 c #Conflicts: 577000 | #Constraints: 51130
1287.46/1290.85 c #Conflicts: 578000 | #Constraints: 52130
1287.46/1290.85 c #Conflicts: 579000 | #Constraints: 53130
1287.46/1290.85 c #Conflicts: 580000 | #Constraints: 54130
1287.46/1290.85 c #Conflicts: 581000 | #Constraints: 55130
1287.46/1290.85 c #Conflicts: 582000 | #Constraints: 56130
1287.46/1290.85 c #Conflicts: 583000 | #Constraints: 57130
1287.46/1290.85 c #Conflicts: 584000 | #Constraints: 58130
1287.46/1290.85 c #Conflicts: 585000 | #Constraints: 59130
1287.46/1290.85 c #Conflicts: 586000 | #Constraints: 60130
1287.46/1290.85 c #Conflicts: 587000 | #Constraints: 61130
1287.46/1290.85 c #Conflicts: 588000 | #Constraints: 62130
1287.46/1290.85 c #Conflicts: 589000 | #Constraints: 63130
1287.46/1290.85 c #Conflicts: 590000 | #Constraints: 64130
1287.46/1290.85 c #Conflicts: 591000 | #Constraints: 65130
1287.46/1290.85 c #Conflicts: 592000 | #Constraints: 66130
1287.46/1290.85 c INPROCESSING
1287.46/1290.85 c GARBAGE COLLECT
1287.46/1290.85 c #Conflicts: 593000 | #Constraints: 37772
1287.46/1290.85 c #Conflicts: 594000 | #Constraints: 38772
1287.46/1290.85 c #Conflicts: 595000 | #Constraints: 39772
1287.46/1290.85 c #Conflicts: 596000 | #Constraints: 40772
1287.46/1290.85 c #Conflicts: 597000 | #Constraints: 41772
1287.46/1290.85 c #Conflicts: 598000 | #Constraints: 42772
1287.46/1290.85 c #Conflicts: 599000 | #Constraints: 43772
1287.46/1290.85 c #Conflicts: 600000 | #Constraints: 44772
1489.06/1493.06 c #Conflicts: 601000 | #Constraints: 45772
1489.06/1493.06 c #Conflicts: 602000 | #Constraints: 46772
1489.06/1493.06 c #Conflicts: 603000 | #Constraints: 47772
1489.06/1493.06 c #Conflicts: 604000 | #Constraints: 48772
1489.06/1493.06 c #Conflicts: 605000 | #Constraints: 49772
1489.06/1493.06 c #Conflicts: 606000 | #Constraints: 50772
1489.06/1493.06 c #Conflicts: 607000 | #Constraints: 51772
1489.06/1493.06 c #Conflicts: 608000 | #Constraints: 52772
1489.06/1493.06 c #Conflicts: 609000 | #Constraints: 53772
1489.06/1493.06 c #Conflicts: 610000 | #Constraints: 54772
1489.06/1493.06 c #Conflicts: 611000 | #Constraints: 55772
1489.06/1493.06 c #Conflicts: 612000 | #Constraints: 56772
1489.06/1493.06 c #Conflicts: 613000 | #Constraints: 57772
1489.06/1493.06 c #Conflicts: 614000 | #Constraints: 58772
1489.06/1493.06 c #Conflicts: 615000 | #Constraints: 59772
1489.06/1493.06 c #Conflicts: 616000 | #Constraints: 60772
1489.06/1493.06 c #Conflicts: 617000 | #Constraints: 61772
1489.06/1493.06 c #Conflicts: 618000 | #Constraints: 62772
1489.06/1493.06 c #Conflicts: 619000 | #Constraints: 63772
1489.06/1493.06 c #Conflicts: 620000 | #Constraints: 64772
1489.06/1493.06 c #Conflicts: 621000 | #Constraints: 65772
1489.06/1493.06 c #Conflicts: 622000 | #Constraints: 66772
1489.06/1493.06 c #Conflicts: 623000 | #Constraints: 67772
1489.06/1493.06 c #Conflicts: 624000 | #Constraints: 68772
1489.06/1493.06 c #Conflicts: 625000 | #Constraints: 69772
1489.06/1493.06 c #Conflicts: 626000 | #Constraints: 70772
1489.06/1493.06 c #Conflicts: 627000 | #Constraints: 71772
1489.06/1493.06 c #Conflicts: 628000 | #Constraints: 72772
1489.06/1493.06 c #Conflicts: 629000 | #Constraints: 73772
1489.06/1493.06 c #Conflicts: 630000 | #Constraints: 74772
1489.06/1493.06 c #Conflicts: 631000 | #Constraints: 75772
1489.06/1493.06 c #Conflicts: 632000 | #Constraints: 76772
1489.06/1493.06 c #Conflicts: 633000 | #Constraints: 77772
1489.06/1493.06 c #Conflicts: 634000 | #Constraints: 78772
1489.06/1493.06 c #Conflicts: 635000 | #Constraints: 79772
1489.06/1493.06 c #Conflicts: 636000 | #Constraints: 80772
1489.06/1493.06 c #Conflicts: 637000 | #Constraints: 81772
1489.06/1493.06 c #Conflicts: 638000 | #Constraints: 82772
1489.06/1493.06 c #Conflicts: 639000 | #Constraints: 83772
1489.06/1493.06 c #Conflicts: 640000 | #Constraints: 84772
1489.06/1493.06 c #Conflicts: 641000 | #Constraints: 85772
1489.06/1493.06 c #Conflicts: 642000 | #Constraints: 86772
1489.06/1493.06 c #Conflicts: 643000 | #Constraints: 87772
1489.06/1493.06 c #Conflicts: 644000 | #Constraints: 88772
1489.06/1493.06 c #Conflicts: 645000 | #Constraints: 89772
1489.06/1493.06 c #Conflicts: 646000 | #Constraints: 90772
1489.06/1493.06 c #Conflicts: 647000 | #Constraints: 91772
1489.06/1493.06 c INPROCESSING
1489.06/1493.06 c GARBAGE COLLECT
1489.06/1493.06 c rational objective -1.22008e-13
1518.37/1522.45 c #Conflicts: 648000 | #Constraints: 50741
1518.37/1522.45 c #Conflicts: 649000 | #Constraints: 51741
1518.37/1522.45 c #Conflicts: 650000 | #Constraints: 52741
1518.37/1522.45 c #Conflicts: 651000 | #Constraints: 53741
1518.37/1522.45 c #Conflicts: 652000 | #Constraints: 54741
1518.37/1522.45 c #Conflicts: 653000 | #Constraints: 55741
1518.37/1522.45 c #Conflicts: 654000 | #Constraints: 56741
1518.37/1522.45 c #Conflicts: 655000 | #Constraints: 57741
1518.37/1522.45 c #Conflicts: 656000 | #Constraints: 58741
1518.37/1522.45 c #Conflicts: 657000 | #Constraints: 59741
1518.37/1522.45 c #Conflicts: 658000 | #Constraints: 60741
1518.37/1522.45 c #Conflicts: 659000 | #Constraints: 61741
1518.37/1522.45 c #Conflicts: 660000 | #Constraints: 62741
1518.37/1522.45 c #Conflicts: 661000 | #Constraints: 63742
1518.37/1522.45 c #Conflicts: 662000 | #Constraints: 64742
1518.37/1522.45 c #Conflicts: 663000 | #Constraints: 65742
1518.37/1522.45 c #Conflicts: 664000 | #Constraints: 66742
1518.37/1522.45 c #Conflicts: 665000 | #Constraints: 67742
1518.37/1522.45 c #Conflicts: 666000 | #Constraints: 68742
1518.37/1522.45 c #Conflicts: 667000 | #Constraints: 69742
1518.37/1522.45 c #Conflicts: 668000 | #Constraints: 70742
1518.37/1522.45 c INPROCESSING
1518.37/1522.45 c GARBAGE COLLECT
1518.37/1522.45 c rational objective -1.22008e-13
1801.43/1806.34 c #Conflicts: 669000 | #Constraints: 40523
1801.43/1806.34 c #Conflicts: 670000 | #Constraints: 41523
1801.43/1806.34 c #Conflicts: 671000 | #Constraints: 42523
1801.43/1806.34 c #Conflicts: 672000 | #Constraints: 43523
1801.43/1806.34 c #Conflicts: 673000 | #Constraints: 44523
1801.43/1806.34 c #Conflicts: 674000 | #Constraints: 45523
1801.43/1806.34 c #Conflicts: 675000 | #Constraints: 46523
1801.43/1806.34 c #Conflicts: 676000 | #Constraints: 47523
1801.43/1806.34 c #Conflicts: 677000 | #Constraints: 48523
1801.43/1806.34 c #Conflicts: 678000 | #Constraints: 49523
1801.43/1806.34 c #Conflicts: 679000 | #Constraints: 50523
1801.43/1806.34 c #Conflicts: 680000 | #Constraints: 51523
1801.43/1806.34 c #Conflicts: 681000 | #Constraints: 52523
1801.43/1806.34 c #Conflicts: 682000 | #Constraints: 53523
1801.43/1806.34 c #Conflicts: 683000 | #Constraints: 54523
1801.43/1806.34 c #Conflicts: 684000 | #Constraints: 55523
1801.43/1806.34 c #Conflicts: 685000 | #Constraints: 56524
1801.43/1806.34 c #Conflicts: 686000 | #Constraints: 57524
1801.43/1806.34 c #Conflicts: 687000 | #Constraints: 58524
1801.43/1806.34 c #Conflicts: 688000 | #Constraints: 59524
1801.43/1806.34 c #Conflicts: 689000 | #Constraints: 60524
1801.43/1806.34 c #Conflicts: 690000 | #Constraints: 61524
1801.43/1806.34 c #Conflicts: 691000 | #Constraints: 62524
1801.43/1806.34 c #Conflicts: 692000 | #Constraints: 63524
1801.43/1806.34 c #Conflicts: 693000 | #Constraints: 64524
1801.43/1806.34 c #Conflicts: 694000 | #Constraints: 65524
1801.43/1806.34 c #Conflicts: 695000 | #Constraints: 66524
1801.43/1806.34 c #Conflicts: 696000 | #Constraints: 67524
1801.43/1806.34 c #Conflicts: 697000 | #Constraints: 68524
1801.43/1806.34 c #Conflicts: 698000 | #Constraints: 69524
1801.43/1806.34 c #Conflicts: 699000 | #Constraints: 70524
1801.43/1806.34 c #Conflicts: 700000 | #Constraints: 71524
1801.43/1806.34 c #Conflicts: 701000 | #Constraints: 72524
1801.43/1806.34 c #Conflicts: 702000 | #Constraints: 73524
1801.43/1806.34 c #Conflicts: 703000 | #Constraints: 74524
1801.43/1806.34 c #Conflicts: 704000 | #Constraints: 75524
1801.43/1806.34 c #Conflicts: 705000 | #Constraints: 76524
1801.43/1806.34 c #Conflicts: 706000 | #Constraints: 77524
1801.43/1806.34 c #Conflicts: 707000 | #Constraints: 78524
1801.43/1806.34 c #Conflicts: 708000 | #Constraints: 79524
1801.43/1806.34 c #Conflicts: 709000 | #Constraints: 80524
1801.43/1806.34 c #Conflicts: 710000 | #Constraints: 81524
1801.43/1806.34 c #Conflicts: 711000 | #Constraints: 82524
1801.43/1806.34 c #Conflicts: 712000 | #Constraints: 83524
1801.43/1806.34 c #Conflicts: 713000 | #Constraints: 84524
1801.43/1806.34 c #Conflicts: 714000 | #Constraints: 85524
1801.43/1806.34 c #Conflicts: 715000 | #Constraints: 86524
1801.43/1806.34 c #Conflicts: 716000 | #Constraints: 87524
1801.43/1806.34 c #Conflicts: 717000 | #Constraints: 88524
1801.43/1806.34 c #Conflicts: 718000 | #Constraints: 89524
1801.43/1806.34 c #Conflicts: 719000 | #Constraints: 90524
1801.43/1806.34 c #Conflicts: 720000 | #Constraints: 91524
1801.43/1806.34 c #Conflicts: 721000 | #Constraints: 92524
1801.43/1806.34 c #Conflicts: 722000 | #Constraints: 93524
1801.43/1806.34 c #Conflicts: 723000 | #Constraints: 94524
1801.43/1806.34 c #Conflicts: 724000 | #Constraints: 95524
1801.43/1806.34 c #Conflicts: 725000 | #Constraints: 96524
1801.43/1806.34 c INPROCESSING
1801.43/1806.34 c GARBAGE COLLECT
1801.43/1806.34 c #Conflicts: 726000 | #Constraints: 52947
1801.43/1806.34 c #Conflicts: 727000 | #Constraints: 53947
1801.43/1806.34 c #Conflicts: 728000 | #Constraints: 54947
1801.43/1806.34 c #Conflicts: 729000 | #Constraints: 55947
1801.43/1806.34 c #Conflicts: 730000 | #Constraints: 56947
1801.43/1806.34 c #Conflicts: 731000 | #Constraints: 57947
1801.43/1806.34 c #Conflicts: 732000 | #Constraints: 58947
1801.43/1806.34 c #Conflicts: 733000 | #Constraints: 59947
1801.43/1806.34 c #Conflicts: 734000 | #Constraints: 60947
1801.43/1806.34 c #Conflicts: 735000 | #Constraints: 61947
1801.43/1806.34 c #Conflicts: 736000 | #Constraints: 62947
1801.43/1806.34 c #Conflicts: 737000 | #Constraints: 63947
1801.43/1806.34 c #Conflicts: 738000 | #Constraints: 64947
1801.43/1806.34 c #Conflicts: 739000 | #Constraints: 65947
1801.43/1806.34 c #Conflicts: 740000 | #Constraints: 66947
1801.43/1806.34 c #Conflicts: 741000 | #Constraints: 67947
1801.43/1806.34 c #Conflicts: 742000 | #Constraints: 68947
1801.43/1806.34 c #Conflicts: 743000 | #Constraints: 69947
1801.43/1806.34 c #Conflicts: 744000 | #Constraints: 70947
1801.43/1806.34 c #Conflicts: 745000 | #Constraints: 71947
1801.43/1806.34 c #Conflicts: 746000 | #Constraints: 72947
1801.43/1806.34 c #Conflicts: 747000 | #Constraints: 73947
1803.33/1808.25 c INPROCESSING
1803.33/1808.25 c GARBAGE COLLECT
1803.33/1808.25 c rational objective 0
1963.22/1968.54 c #Conflicts: 748000 | #Constraints: 41731
1963.22/1968.54 c #Conflicts: 749000 | #Constraints: 42731
1963.22/1968.54 c #Conflicts: 750000 | #Constraints: 43731
1963.22/1968.54 c #Conflicts: 751000 | #Constraints: 44731
1963.22/1968.54 c #Conflicts: 752000 | #Constraints: 45731
1963.22/1968.54 c #Conflicts: 753000 | #Constraints: 46731
1963.22/1968.54 c #Conflicts: 754000 | #Constraints: 47731
1963.22/1968.54 c #Conflicts: 755000 | #Constraints: 48731
1963.22/1968.54 c #Conflicts: 756000 | #Constraints: 49731
1963.22/1968.54 c #Conflicts: 757000 | #Constraints: 50731
1963.22/1968.54 c #Conflicts: 758000 | #Constraints: 51731
1963.22/1968.54 c #Conflicts: 759000 | #Constraints: 52731
1963.22/1968.54 c #Conflicts: 760000 | #Constraints: 53731
1963.22/1968.54 c #Conflicts: 761000 | #Constraints: 54731
1963.22/1968.54 c #Conflicts: 762000 | #Constraints: 55731
1963.22/1968.54 c #Conflicts: 763000 | #Constraints: 56731
1963.22/1968.54 c #Conflicts: 764000 | #Constraints: 57731
1963.22/1968.54 c #Conflicts: 765000 | #Constraints: 58731
1963.22/1968.54 c #Conflicts: 766000 | #Constraints: 59731
1963.22/1968.54 c #Conflicts: 767000 | #Constraints: 60731
1963.22/1968.54 c #Conflicts: 768000 | #Constraints: 61731
1963.22/1968.54 c #Conflicts: 769000 | #Constraints: 62731
1963.22/1968.54 c #Conflicts: 770000 | #Constraints: 63731
1963.22/1968.54 c #Conflicts: 771000 | #Constraints: 64731
1963.22/1968.54 c #Conflicts: 772000 | #Constraints: 65731
1963.22/1968.54 c #Conflicts: 773000 | #Constraints: 66731
1963.22/1968.54 c #Conflicts: 774000 | #Constraints: 67731
1963.22/1968.54 c #Conflicts: 775000 | #Constraints: 68731
1963.22/1968.54 c #Conflicts: 776000 | #Constraints: 69731
1963.22/1968.54 c #Conflicts: 777000 | #Constraints: 70731
1963.22/1968.54 c #Conflicts: 778000 | #Constraints: 71731
1963.22/1968.54 c #Conflicts: 779000 | #Constraints: 72731
1963.22/1968.54 c #Conflicts: 780000 | #Constraints: 73731
1963.22/1968.54 c #Conflicts: 781000 | #Constraints: 74731
1963.22/1968.54 c #Conflicts: 782000 | #Constraints: 75731
1963.22/1968.54 c #Conflicts: 783000 | #Constraints: 76731
1963.22/1968.54 c #Conflicts: 784000 | #Constraints: 77731
1963.22/1968.54 c #Conflicts: 785000 | #Constraints: 78731
1963.22/1968.54 c #Conflicts: 786000 | #Constraints: 79731
1963.22/1968.54 c #Conflicts: 787000 | #Constraints: 80731
1963.22/1968.54 c #Conflicts: 788000 | #Constraints: 81731
1963.22/1968.54 c #Conflicts: 789000 | #Constraints: 82731
1963.22/1968.54 c #Conflicts: 790000 | #Constraints: 83731
1963.22/1968.54 c #Conflicts: 791000 | #Constraints: 84731
1963.22/1968.54 c #Conflicts: 792000 | #Constraints: 85731
1963.22/1968.54 c #Conflicts: 793000 | #Constraints: 86731
1963.22/1968.54 c #Conflicts: 794000 | #Constraints: 87731
1963.22/1968.54 c #Conflicts: 795000 | #Constraints: 88731
1963.22/1968.54 c #Conflicts: 796000 | #Constraints: 89731
1963.22/1968.54 c #Conflicts: 797000 | #Constraints: 90731
1963.22/1968.54 c #Conflicts: 798000 | #Constraints: 91731
1963.22/1968.54 c #Conflicts: 799000 | #Constraints: 92731
1963.22/1968.54 c #Conflicts: 800000 | #Constraints: 93731
1963.22/1968.54 c #Conflicts: 801000 | #Constraints: 94731
1963.22/1968.54 c #Conflicts: 802000 | #Constraints: 95732
1963.22/1968.54 c #Conflicts: 803000 | #Constraints: 96732
1963.22/1968.54 c #Conflicts: 804000 | #Constraints: 97732
1963.22/1968.54 c #Conflicts: 805000 | #Constraints: 98732
1963.22/1968.54 c #Conflicts: 806000 | #Constraints: 99732
1963.22/1968.54 c #Conflicts: 807000 | #Constraints: 100732
1963.22/1968.54 c #Conflicts: 808000 | #Constraints: 101732
1963.22/1968.54 c INPROCESSING
1963.22/1968.54 c GARBAGE COLLECT
1963.22/1968.54 c #Conflicts: 809000 | #Constraints: 55901
1963.22/1968.54 c #Conflicts: 810000 | #Constraints: 56901
1963.22/1968.54 c #Conflicts: 811000 | #Constraints: 57901
1963.22/1968.54 c #Conflicts: 812000 | #Constraints: 58901
1963.22/1968.54 c #Conflicts: 813000 | #Constraints: 59901
1963.22/1968.54 c #Conflicts: 814000 | #Constraints: 60901
1963.22/1968.54 c #Conflicts: 815000 | #Constraints: 61901
1963.22/1968.54 c #Conflicts: 816000 | #Constraints: 62901
1963.22/1968.54 c #Conflicts: 817000 | #Constraints: 63901
1963.22/1968.54 c #Conflicts: 818000 | #Constraints: 64901
1963.22/1968.54 c #Conflicts: 819000 | #Constraints: 65901
1963.22/1968.54 c #Conflicts: 820000 | #Constraints: 66901
1963.22/1968.54 c #Conflicts: 821000 | #Constraints: 67901
1963.22/1968.54 c #Conflicts: 822000 | #Constraints: 68901
1963.22/1968.54 c #Conflicts: 823000 | #Constraints: 69901
1963.22/1968.54 c #Conflicts: 824000 | #Constraints: 70901
1963.22/1968.54 c #Conflicts: 825000 | #Constraints: 71901
1963.22/1968.54 c #Conflicts: 826000 | #Constraints: 72901
2146.66/2152.48 c #Conflicts: 827000 | #Constraints: 73901
2146.66/2152.48 c #Conflicts: 828000 | #Constraints: 74901
2146.66/2152.48 c #Conflicts: 829000 | #Constraints: 75901
2146.66/2152.48 c #Conflicts: 830000 | #Constraints: 76901
2146.66/2152.48 c #Conflicts: 831000 | #Constraints: 77901
2146.66/2152.48 c INPROCESSING
2146.66/2152.48 c GARBAGE COLLECT
2146.66/2152.48 c #Conflicts: 832000 | #Constraints: 44093
2146.66/2152.48 c #Conflicts: 833000 | #Constraints: 45093
2146.66/2152.48 c #Conflicts: 834000 | #Constraints: 46093
2146.66/2152.48 c #Conflicts: 835000 | #Constraints: 47093
2146.66/2152.48 c #Conflicts: 836000 | #Constraints: 48093
2146.66/2152.48 c #Conflicts: 837000 | #Constraints: 49093
2146.66/2152.48 c #Conflicts: 838000 | #Constraints: 50093
2146.66/2152.48 c #Conflicts: 839000 | #Constraints: 51093
2146.66/2152.48 c #Conflicts: 840000 | #Constraints: 52093
2146.66/2152.48 c #Conflicts: 841000 | #Constraints: 53093
2146.66/2152.48 c #Conflicts: 842000 | #Constraints: 54093
2146.66/2152.48 c #Conflicts: 843000 | #Constraints: 55093
2146.66/2152.48 c #Conflicts: 844000 | #Constraints: 56093
2146.66/2152.48 c #Conflicts: 845000 | #Constraints: 57093
2146.66/2152.48 c #Conflicts: 846000 | #Constraints: 58093
2146.66/2152.48 c #Conflicts: 847000 | #Constraints: 59093
2146.66/2152.48 c #Conflicts: 848000 | #Constraints: 60093
2146.66/2152.48 c #Conflicts: 849000 | #Constraints: 61093
2146.66/2152.48 c #Conflicts: 850000 | #Constraints: 62093
2146.66/2152.48 c #Conflicts: 851000 | #Constraints: 63093
2146.66/2152.48 c #Conflicts: 852000 | #Constraints: 64093
2146.66/2152.48 c #Conflicts: 853000 | #Constraints: 65093
2146.66/2152.48 c #Conflicts: 854000 | #Constraints: 66093
2146.66/2152.48 c #Conflicts: 855000 | #Constraints: 67093
2146.66/2152.48 c #Conflicts: 856000 | #Constraints: 68093
2146.66/2152.48 c #Conflicts: 857000 | #Constraints: 69093
2146.66/2152.48 c #Conflicts: 858000 | #Constraints: 70093
2146.66/2152.48 c #Conflicts: 859000 | #Constraints: 71093
2146.66/2152.48 c #Conflicts: 860000 | #Constraints: 72093
2146.66/2152.48 c #Conflicts: 861000 | #Constraints: 73093
2146.66/2152.48 c #Conflicts: 862000 | #Constraints: 74093
2146.66/2152.48 c #Conflicts: 863000 | #Constraints: 75093
2146.66/2152.48 c #Conflicts: 864000 | #Constraints: 76093
2146.66/2152.48 c #Conflicts: 865000 | #Constraints: 77093
2146.66/2152.48 c #Conflicts: 866000 | #Constraints: 78093
2146.66/2152.48 c #Conflicts: 867000 | #Constraints: 79093
2146.66/2152.48 c #Conflicts: 868000 | #Constraints: 80093
2146.66/2152.48 c #Conflicts: 869000 | #Constraints: 81093
2146.66/2152.48 c #Conflicts: 870000 | #Constraints: 82093
2146.66/2152.48 c #Conflicts: 871000 | #Constraints: 83093
2146.66/2152.48 c #Conflicts: 872000 | #Constraints: 84093
2146.66/2152.48 c #Conflicts: 873000 | #Constraints: 85093
2146.66/2152.48 c #Conflicts: 874000 | #Constraints: 86093
2146.66/2152.48 c #Conflicts: 875000 | #Constraints: 87093
2146.66/2152.48 c #Conflicts: 876000 | #Constraints: 88094
2146.66/2152.48 c #Conflicts: 877000 | #Constraints: 89094
2146.66/2152.48 c #Conflicts: 878000 | #Constraints: 90094
2146.66/2152.48 c #Conflicts: 879000 | #Constraints: 91094
2146.66/2152.48 c #Conflicts: 880000 | #Constraints: 92094
2146.66/2152.48 c #Conflicts: 881000 | #Constraints: 93094
2146.66/2152.48 c #Conflicts: 882000 | #Constraints: 94094
2146.66/2152.48 c #Conflicts: 883000 | #Constraints: 95094
2146.66/2152.48 c #Conflicts: 884000 | #Constraints: 96094
2146.66/2152.48 c #Conflicts: 885000 | #Constraints: 97094
2146.66/2152.48 c #Conflicts: 886000 | #Constraints: 98094
2146.66/2152.48 c #Conflicts: 887000 | #Constraints: 99094
2146.66/2152.48 c #Conflicts: 888000 | #Constraints: 100094
2146.66/2152.48 c #Conflicts: 889000 | #Constraints: 101094
2146.66/2152.48 c #Conflicts: 890000 | #Constraints: 102094
2146.66/2152.48 c #Conflicts: 891000 | #Constraints: 103094
2146.66/2152.48 c #Conflicts: 892000 | #Constraints: 104094
2146.66/2152.48 c #Conflicts: 893000 | #Constraints: 105094
2146.66/2152.48 c #Conflicts: 894000 | #Constraints: 106094
2146.66/2152.48 c #Conflicts: 895000 | #Constraints: 107094
2146.66/2152.48 c INPROCESSING
2146.66/2152.48 c GARBAGE COLLECT
2146.66/2152.48 c rational objective -1.22008e-13
2192.95/2198.84 c #Conflicts: 896000 | #Constraints: 58487
2192.95/2198.84 c #Conflicts: 897000 | #Constraints: 59487
2192.95/2198.84 c #Conflicts: 898000 | #Constraints: 60487
2192.95/2198.84 c #Conflicts: 899000 | #Constraints: 61487
2192.95/2198.84 c #Conflicts: 900000 | #Constraints: 62487
2192.95/2198.84 c #Conflicts: 901000 | #Constraints: 63487
2192.95/2198.84 c #Conflicts: 902000 | #Constraints: 64487
2192.95/2198.84 c #Conflicts: 903000 | #Constraints: 65487
2192.95/2198.84 c #Conflicts: 904000 | #Constraints: 66487
2192.95/2198.84 c #Conflicts: 905000 | #Constraints: 67487
2192.95/2198.84 c #Conflicts: 906000 | #Constraints: 68487
2192.95/2198.84 c #Conflicts: 907000 | #Constraints: 69487
2192.95/2198.84 c #Conflicts: 908000 | #Constraints: 70487
2192.95/2198.84 c #Conflicts: 909000 | #Constraints: 71487
2192.95/2198.84 c #Conflicts: 910000 | #Constraints: 72487
2192.95/2198.84 c #Conflicts: 911000 | #Constraints: 73487
2192.95/2198.84 c #Conflicts: 912000 | #Constraints: 74488
2192.95/2198.84 c #Conflicts: 913000 | #Constraints: 75488
2192.95/2198.84 c #Conflicts: 914000 | #Constraints: 76488
2192.95/2198.84 c #Conflicts: 915000 | #Constraints: 77488
2192.95/2198.84 c #Conflicts: 916000 | #Constraints: 78488
2192.95/2198.84 c #Conflicts: 917000 | #Constraints: 79488
2192.95/2198.84 c #Conflicts: 918000 | #Constraints: 80488
2192.95/2198.84 c #Conflicts: 919000 | #Constraints: 81488
2192.95/2198.84 c #Conflicts: 920000 | #Constraints: 82488
2192.95/2198.84 c INPROCESSING
2192.95/2198.84 c GARBAGE COLLECT
2192.95/2198.84 c rational objective -1.22008e-13
2618.11/2625.09 c #Conflicts: 921000 | #Constraints: 47490
2618.11/2625.09 c #Conflicts: 922000 | #Constraints: 48490
2618.11/2625.09 c #Conflicts: 923000 | #Constraints: 49490
2618.11/2625.09 c #Conflicts: 924000 | #Constraints: 50490
2618.11/2625.09 c #Conflicts: 925000 | #Constraints: 51490
2618.11/2625.09 c #Conflicts: 926000 | #Constraints: 52490
2618.11/2625.09 c #Conflicts: 927000 | #Constraints: 53490
2618.11/2625.09 c #Conflicts: 928000 | #Constraints: 54490
2618.11/2625.09 c #Conflicts: 929000 | #Constraints: 55490
2618.11/2625.09 c #Conflicts: 930000 | #Constraints: 56490
2618.11/2625.09 c #Conflicts: 931000 | #Constraints: 57490
2618.11/2625.09 c #Conflicts: 932000 | #Constraints: 58490
2618.11/2625.09 c #Conflicts: 933000 | #Constraints: 59490
2618.11/2625.09 c #Conflicts: 934000 | #Constraints: 60490
2618.11/2625.09 c #Conflicts: 935000 | #Constraints: 61490
2618.11/2625.09 c #Conflicts: 936000 | #Constraints: 62490
2618.11/2625.09 c #Conflicts: 937000 | #Constraints: 63490
2618.11/2625.09 c #Conflicts: 938000 | #Constraints: 64490
2618.11/2625.09 c #Conflicts: 939000 | #Constraints: 65490
2618.11/2625.09 c #Conflicts: 940000 | #Constraints: 66490
2618.11/2625.09 c #Conflicts: 941000 | #Constraints: 67490
2618.11/2625.09 c #Conflicts: 942000 | #Constraints: 68490
2618.11/2625.09 c #Conflicts: 943000 | #Constraints: 69490
2618.11/2625.09 c #Conflicts: 944000 | #Constraints: 70490
2618.11/2625.09 c #Conflicts: 945000 | #Constraints: 71490
2618.11/2625.09 c #Conflicts: 946000 | #Constraints: 72490
2618.11/2625.09 c #Conflicts: 947000 | #Constraints: 73490
2618.11/2625.09 c #Conflicts: 948000 | #Constraints: 74490
2618.11/2625.09 c #Conflicts: 949000 | #Constraints: 75490
2618.11/2625.09 c #Conflicts: 950000 | #Constraints: 76490
2618.11/2625.09 c #Conflicts: 951000 | #Constraints: 77490
2618.11/2625.09 c #Conflicts: 952000 | #Constraints: 78490
2618.11/2625.09 c #Conflicts: 953000 | #Constraints: 79490
2618.11/2625.09 c #Conflicts: 954000 | #Constraints: 80490
2618.11/2625.09 c #Conflicts: 955000 | #Constraints: 81490
2618.11/2625.09 c #Conflicts: 956000 | #Constraints: 82490
2618.11/2625.09 c #Conflicts: 957000 | #Constraints: 83490
2618.11/2625.09 c #Conflicts: 958000 | #Constraints: 84490
2618.11/2625.09 c #Conflicts: 959000 | #Constraints: 85490
2618.11/2625.09 c #Conflicts: 960000 | #Constraints: 86490
2618.11/2625.09 c #Conflicts: 961000 | #Constraints: 87490
2618.11/2625.09 c #Conflicts: 962000 | #Constraints: 88490
2618.11/2625.09 c #Conflicts: 963000 | #Constraints: 89490
2618.11/2625.09 c #Conflicts: 964000 | #Constraints: 90490
2618.11/2625.09 c #Conflicts: 965000 | #Constraints: 91490
2618.11/2625.09 c #Conflicts: 966000 | #Constraints: 92490
2618.11/2625.09 c #Conflicts: 967000 | #Constraints: 93490
2618.11/2625.09 c #Conflicts: 968000 | #Constraints: 94490
2618.11/2625.09 c #Conflicts: 969000 | #Constraints: 95490
2618.11/2625.09 c #Conflicts: 970000 | #Constraints: 96490
2618.11/2625.09 c #Conflicts: 971000 | #Constraints: 97491
2618.11/2625.09 c #Conflicts: 972000 | #Constraints: 98491
2618.11/2625.09 c #Conflicts: 973000 | #Constraints: 99491
2618.11/2625.09 c #Conflicts: 974000 | #Constraints: 100491
2618.11/2625.09 c #Conflicts: 975000 | #Constraints: 101491
2618.11/2625.09 c #Conflicts: 976000 | #Constraints: 102491
2618.11/2625.09 c #Conflicts: 977000 | #Constraints: 103491
2618.11/2625.09 c #Conflicts: 978000 | #Constraints: 104491
2618.11/2625.09 c #Conflicts: 979000 | #Constraints: 105491
2618.11/2625.09 c #Conflicts: 980000 | #Constraints: 106491
2618.11/2625.09 c #Conflicts: 981000 | #Constraints: 107491
2618.11/2625.09 c #Conflicts: 982000 | #Constraints: 108491
2618.11/2625.09 c #Conflicts: 983000 | #Constraints: 109491
2618.11/2625.09 c #Conflicts: 984000 | #Constraints: 110491
2618.11/2625.09 c #Conflicts: 985000 | #Constraints: 111491
2618.11/2625.09 c #Conflicts: 986000 | #Constraints: 112491
2618.11/2625.09 c #Conflicts: 987000 | #Constraints: 113491
2618.11/2625.09 c INPROCESSING
2618.11/2625.09 c GARBAGE COLLECT
2618.11/2625.09 c #Conflicts: 988000 | #Constraints: 62009
2618.11/2625.09 c #Conflicts: 989000 | #Constraints: 63009
2618.11/2625.09 c #Conflicts: 990000 | #Constraints: 64009
2618.11/2625.09 c #Conflicts: 991000 | #Constraints: 65009
2618.11/2625.09 c #Conflicts: 992000 | #Constraints: 66009
2618.11/2625.09 c #Conflicts: 993000 | #Constraints: 67009
2618.11/2625.09 c #Conflicts: 994000 | #Constraints: 68009
2618.11/2625.09 c #Conflicts: 995000 | #Constraints: 69009
2618.11/2625.09 c #Conflicts: 996000 | #Constraints: 70009
2618.11/2625.09 c #Conflicts: 997000 | #Constraints: 71009
2618.11/2625.09 c #Conflicts: 998000 | #Constraints: 72009
2618.11/2625.09 c #Conflicts: 999000 | #Constraints: 73009
2691.22/2698.31 c #Conflicts: 1000000 | #Constraints: 74009
2691.22/2698.31 c #Conflicts: 1001000 | #Constraints: 75009
2691.22/2698.31 c #Conflicts: 1002000 | #Constraints: 76009
2691.22/2698.31 c #Conflicts: 1003000 | #Constraints: 77009
2691.22/2698.31 c #Conflicts: 1004000 | #Constraints: 78009
2691.22/2698.31 c #Conflicts: 1005000 | #Constraints: 79009
2691.22/2698.31 c #Conflicts: 1006000 | #Constraints: 80009
2691.22/2698.31 c #Conflicts: 1007000 | #Constraints: 81009
2691.22/2698.31 c #Conflicts: 1008000 | #Constraints: 82009
2691.22/2698.31 c #Conflicts: 1009000 | #Constraints: 83009
2691.22/2698.31 c #Conflicts: 1010000 | #Constraints: 84009
2691.22/2698.31 c #Conflicts: 1011000 | #Constraints: 85009
2691.22/2698.31 c #Conflicts: 1012000 | #Constraints: 86009
2691.22/2698.31 c INPROCESSING
2691.22/2698.31 c GARBAGE COLLECT
2691.22/2698.31 c rational objective 1.22008e-13
3454.30/3463.39 c #Conflicts: 1013000 | #Constraints: 48406
3454.30/3463.39 c #Conflicts: 1014000 | #Constraints: 49407
3454.30/3463.39 c #Conflicts: 1015000 | #Constraints: 50407
3454.30/3463.39 c #Conflicts: 1016000 | #Constraints: 51407
3454.30/3463.39 c #Conflicts: 1017000 | #Constraints: 52407
3454.30/3463.39 c #Conflicts: 1018000 | #Constraints: 53407
3454.30/3463.39 c #Conflicts: 1019000 | #Constraints: 54407
3454.30/3463.39 c #Conflicts: 1020000 | #Constraints: 55407
3454.30/3463.39 c #Conflicts: 1021000 | #Constraints: 56407
3454.30/3463.39 c #Conflicts: 1022000 | #Constraints: 57407
3454.30/3463.39 c #Conflicts: 1023000 | #Constraints: 58407
3454.30/3463.39 c #Conflicts: 1024000 | #Constraints: 59408
3454.30/3463.39 c #Conflicts: 1025000 | #Constraints: 60408
3454.30/3463.39 c #Conflicts: 1026000 | #Constraints: 61408
3454.30/3463.39 c #Conflicts: 1027000 | #Constraints: 62408
3454.30/3463.39 c #Conflicts: 1028000 | #Constraints: 63408
3454.30/3463.39 c #Conflicts: 1029000 | #Constraints: 64408
3454.30/3463.39 c #Conflicts: 1030000 | #Constraints: 65408
3454.30/3463.39 c #Conflicts: 1031000 | #Constraints: 66408
3454.30/3463.39 c #Conflicts: 1032000 | #Constraints: 67408
3454.30/3463.39 c #Conflicts: 1033000 | #Constraints: 68408
3454.30/3463.39 c #Conflicts: 1034000 | #Constraints: 69408
3454.30/3463.39 c #Conflicts: 1035000 | #Constraints: 70408
3454.30/3463.39 c #Conflicts: 1036000 | #Constraints: 71408
3454.30/3463.39 c #Conflicts: 1037000 | #Constraints: 72408
3454.30/3463.39 c #Conflicts: 1038000 | #Constraints: 73408
3454.30/3463.39 c #Conflicts: 1039000 | #Constraints: 74408
3454.30/3463.39 c #Conflicts: 1040000 | #Constraints: 75408
3454.30/3463.39 c #Conflicts: 1041000 | #Constraints: 76408
3454.30/3463.39 c #Conflicts: 1042000 | #Constraints: 77408
3454.30/3463.39 c #Conflicts: 1043000 | #Constraints: 78408
3454.30/3463.39 c #Conflicts: 1044000 | #Constraints: 79408
3454.30/3463.39 c #Conflicts: 1045000 | #Constraints: 80408
3454.30/3463.39 c #Conflicts: 1046000 | #Constraints: 81408
3454.30/3463.39 c #Conflicts: 1047000 | #Constraints: 82408
3454.30/3463.39 c #Conflicts: 1048000 | #Constraints: 83408
3454.30/3463.39 c #Conflicts: 1049000 | #Constraints: 84408
3454.30/3463.39 c #Conflicts: 1050000 | #Constraints: 85408
3454.30/3463.39 c #Conflicts: 1051000 | #Constraints: 86408
3454.30/3463.39 c #Conflicts: 1052000 | #Constraints: 87408
3454.30/3463.39 c #Conflicts: 1053000 | #Constraints: 88408
3454.30/3463.39 c #Conflicts: 1054000 | #Constraints: 89408
3454.30/3463.39 c #Conflicts: 1055000 | #Constraints: 90408
3454.30/3463.39 c #Conflicts: 1056000 | #Constraints: 91409
3454.30/3463.39 c #Conflicts: 1057000 | #Constraints: 92409
3454.30/3463.39 c #Conflicts: 1058000 | #Constraints: 93409
3454.30/3463.39 c #Conflicts: 1059000 | #Constraints: 94409
3454.30/3463.39 c #Conflicts: 1060000 | #Constraints: 95409
3454.30/3463.39 c #Conflicts: 1061000 | #Constraints: 96409
3454.30/3463.39 c #Conflicts: 1062000 | #Constraints: 97409
3454.30/3463.39 c #Conflicts: 1063000 | #Constraints: 98409
3454.30/3463.39 c #Conflicts: 1064000 | #Constraints: 99409
3454.30/3463.39 c #Conflicts: 1065000 | #Constraints: 100409
3454.30/3463.39 c #Conflicts: 1066000 | #Constraints: 101409
3454.30/3463.39 c #Conflicts: 1067000 | #Constraints: 102409
3454.30/3463.39 c #Conflicts: 1068000 | #Constraints: 103409
3454.30/3463.39 c #Conflicts: 1069000 | #Constraints: 104409
3454.30/3463.39 c #Conflicts: 1070000 | #Constraints: 105409
3454.30/3463.39 c #Conflicts: 1071000 | #Constraints: 106409
3454.30/3463.39 c #Conflicts: 1072000 | #Constraints: 107409
3454.30/3463.39 c #Conflicts: 1073000 | #Constraints: 108409
3454.30/3463.39 c #Conflicts: 1074000 | #Constraints: 109409
3454.30/3463.39 c #Conflicts: 1075000 | #Constraints: 110409
3454.30/3463.39 c #Conflicts: 1076000 | #Constraints: 111409
3454.30/3463.39 c #Conflicts: 1077000 | #Constraints: 112409
3454.30/3463.39 c #Conflicts: 1078000 | #Constraints: 113409
3454.30/3463.39 c #Conflicts: 1079000 | #Constraints: 114409
3454.30/3463.39 c #Conflicts: 1080000 | #Constraints: 115409
3454.30/3463.39 c #Conflicts: 1081000 | #Constraints: 116409
3454.30/3463.39 c #Conflicts: 1082000 | #Constraints: 117409
3454.30/3463.39 c INPROCESSING
3454.30/3463.39 c GARBAGE COLLECT
3454.30/3463.39 c #Conflicts: 1083000 | #Constraints: 63449
3454.30/3463.39 c #Conflicts: 1084000 | #Constraints: 64449
3454.30/3463.39 c #Conflicts: 1085000 | #Constraints: 65449
3454.30/3463.39 c #Conflicts: 1086000 | #Constraints: 66449
3454.30/3463.39 c #Conflicts: 1087000 | #Constraints: 67449
3454.30/3463.39 c #Conflicts: 1088000 | #Constraints: 68449
3454.30/3463.39 c #Conflicts: 1089000 | #Constraints: 69449
3454.30/3463.39 c #Conflicts: 1090000 | #Constraints: 70449
3454.30/3463.39 c #Conflicts: 1091000 | #Constraints: 71449
3463.78/3472.82 c #Conflicts: 1092000 | #Constraints: 72449
3463.78/3472.82 c #Conflicts: 1093000 | #Constraints: 73449
3463.78/3472.82 c #Conflicts: 1094000 | #Constraints: 74449
3463.78/3472.82 c #Conflicts: 1095000 | #Constraints: 75449
3463.78/3472.82 c #Conflicts: 1096000 | #Constraints: 76449
3463.78/3472.82 c #Conflicts: 1097000 | #Constraints: 77449
3463.78/3472.82 c #Conflicts: 1098000 | #Constraints: 78449
3463.78/3472.82 c #Conflicts: 1099000 | #Constraints: 79449
3463.78/3472.82 c #Conflicts: 1100000 | #Constraints: 80449
3463.78/3472.82 c #Conflicts: 1101000 | #Constraints: 81449
3463.78/3472.82 c #Conflicts: 1102000 | #Constraints: 82449
3463.78/3472.82 c #Conflicts: 1103000 | #Constraints: 83449
3463.78/3472.82 c #Conflicts: 1104000 | #Constraints: 84449
3463.78/3472.82 c #Conflicts: 1105000 | #Constraints: 85449
3463.78/3472.82 c #Conflicts: 1106000 | #Constraints: 86449
3463.78/3472.82 c #Conflicts: 1107000 | #Constraints: 87449
3463.78/3472.82 c #Conflicts: 1108000 | #Constraints: 88449
3463.78/3472.82 c #Conflicts: 1109000 | #Constraints: 89449
3463.78/3472.82 c #Conflicts: 1110000 | #Constraints: 90449
3463.78/3472.82 c INPROCESSING
3463.78/3472.82 c GARBAGE COLLECT
3463.78/3472.82 c rational objective 1.22008e-13
3600.03/3609.40 c #Conflicts: 1111000 | #Constraints: 50863
3600.03/3609.40 c #Conflicts: 1112000 | #Constraints: 51863
3600.03/3609.40 c #Conflicts: 1113000 | #Constraints: 52863
3600.03/3609.40 c #Conflicts: 1114000 | #Constraints: 53863
3600.03/3609.40 c #Conflicts: 1115000 | #Constraints: 54863
3600.03/3609.40 c #Conflicts: 1116000 | #Constraints: 55863
3600.03/3609.40 c #Conflicts: 1117000 | #Constraints: 56863
3600.03/3609.40 c #Conflicts: 1118000 | #Constraints: 57863
3600.03/3609.40 c #Conflicts: 1119000 | #Constraints: 58863
3600.03/3609.40 c #Conflicts: 1120000 | #Constraints: 59863
3600.03/3609.40 c #Conflicts: 1121000 | #Constraints: 60863
3600.03/3609.40 c #Conflicts: 1122000 | #Constraints: 61863
3600.03/3609.40 c #Conflicts: 1123000 | #Constraints: 62863
3600.03/3609.40 c #Conflicts: 1124000 | #Constraints: 63863
3600.03/3609.40 c #Conflicts: 1125000 | #Constraints: 64863
3600.03/3609.40 c #Conflicts: 1126000 | #Constraints: 65863
3600.03/3609.40 c #Conflicts: 1127000 | #Constraints: 66863
3600.03/3609.40 c #Conflicts: 1128000 | #Constraints: 67863
3600.03/3609.40 c #Conflicts: 1129000 | #Constraints: 68863
3600.03/3609.40 c #Conflicts: 1130000 | #Constraints: 69863
3600.03/3609.40 c #Conflicts: 1131000 | #Constraints: 70863
3600.03/3609.40 c #Conflicts: 1132000 | #Constraints: 71863
3600.03/3609.40 c #Conflicts: 1133000 | #Constraints: 72863
3600.03/3609.40 c #Conflicts: 1134000 | #Constraints: 73863
3600.03/3609.40 c #Conflicts: 1135000 | #Constraints: 74863
3600.03/3609.40 c cpu time 3586.8 s
3600.03/3609.40 c deterministic time 166725887245 1.67e+11
3600.03/3609.40 c optimization time 135.76 s
3600.03/3609.40 c total solve time 3451 s
3600.03/3609.40 c core-guided solve time 0 s
3600.03/3609.40 c propagation time 2079.13 s
3600.03/3609.40 c conflict analysis time 1442.38 s
3600.03/3609.40 c propagations 442307540
3600.03/3609.40 c resolve steps 146905042
3600.03/3609.40 c decisions 1903866
3600.03/3609.40 c conflicts 1135677
3600.03/3609.40 c restarts 2077
3600.03/3609.40 c inprocessing phases 50
3600.03/3609.40 c garbage collections 50 ,( 100.00 )
3600.03/3609.40 c input clauses 3255 ,( 46.66 )
3600.03/3609.40 c input cardinalities 0 ,( 0.00 )
3600.03/3609.40 c input general constraints 3721 ,( 53.34 )
3600.03/3609.40 c input average constraint length 3.74
3600.03/3609.40 c input average constraint degree 661078844384662.00
3600.03/3609.40 c learned clauses 768268 ,( 67.65 )
3600.03/3609.40 c learned cardinalities 124 ,( 0.01 )
3600.03/3609.40 c learned general constraints 367300 ,( 32.34 )
3600.03/3609.40 c learned average constraint length 302.89
3600.03/3609.40 c learned average constraint degree 127072059.85
3600.03/3609.40 c watched CF 32, 64, 128, Arb: 57873 , 0 , 0 , 0
3600.03/3609.40 c counting CF 32, 64, 128, Arb: 313147 , 0 , 1 , 0
3600.03/3609.40 c watched constraints 57873 ,( 15.60 )
3600.03/3609.40 c counting constraints 313148 ,( 84.40 )
3600.03/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 538564978 , 1958328 , 55914779512 ,( 422662555 , 55492116957 )
3600.03/3609.40 c gcd simplifications 28168
3600.03/3609.40 c detected cardinalities 44
3600.03/3609.40 c weakened non-implied lits 48162891
3600.03/3609.40 c weakened non-implying lits 292862
3600.03/3609.40 c original variables 4929
3600.03/3609.40 c clausal propagations 112073747
3600.03/3609.40 c cardinality propagations 82890
3600.03/3609.40 c watched propagations 965415
3600.03/3609.40 c counting propagations 328031403
3600.03/3609.40 c watch lookups 95041906293
3600.03/3609.40 c watch backjump lookups 0
3600.03/3609.40 c watch checks 11510892293
3600.03/3609.40 c propagation checks 57887155445
3600.03/3609.40 c constraint additions 1396155310
3600.03/3609.40 c trail pops 445342138
3600.03/3609.40 c formula constraints 6976
3600.03/3609.40 c learned constraints 1135660
3600.03/3609.40 c bound constraints 0
3600.03/3609.40 c core-guided constraints 0
3600.03/3609.40 c encountered formula constraints 111449492
3600.03/3609.40 c encountered learned constraints 36440596
3600.03/3609.40 c encountered bound constraints 0
3600.03/3609.40 c encountered core-guided constraints 0
3600.03/3609.40 c LP total time 26.4648 s
3600.03/3609.40 c LP solve time 24.75 s
3600.03/3609.40 c LP constraints added 6976
3600.03/3609.40 c LP constraints removed 0
3600.03/3609.40 c LP pivots internal 114146
3600.03/3609.40 c LP pivots root 110213
3600.03/3609.40 c LP calls 168
3600.03/3609.40 c LP optimalities 145
3600.03/3609.40 c LP no pivot count 10
3600.03/3609.40 c LP infeasibilities 16
3600.03/3609.40 c LP valid Farkas constraints 16
3600.03/3609.40 c LP learned Farkas constraints 16
3600.03/3609.40 c LP basis resets 3
3600.03/3609.40 c LP cycling count 0
3600.03/3609.40 c LP singular count 3
3600.03/3609.40 c LP no primal count 0
3600.03/3609.40 c LP no farkas count 0
3600.03/3609.40 c LP other issue count 0
3600.03/3609.40 c LP Gomory cuts 0
3600.03/3609.40 c LP learned cuts 0
3600.03/3609.40 c LP deleted cuts 0
3600.03/3609.40 c LP encountered Gomory constraints 0
3600.03/3609.40 c LP encountered Farkas constraints 150574
3600.03/3609.40 c LP encountered learned Farkas constraints 41
3600.03/3609.40 c CG auxiliary variables introduced 0
3600.03/3609.40 c CG solutions found 0
3600.03/3609.40 c CG cores constructed 0
3600.03/3609.40 c CG core cardinality constraints returned 0
3600.03/3609.40 c CG unit cores 0
3600.03/3609.40 c CG single cores 0
3600.03/3609.40 c CG blocks removed during cardinality reduction 0
3600.03/3609.40 c CG first core best 0
3600.03/3609.40 c CG decision core best 0
3600.03/3609.40 c CG core reduction tie 0
3600.03/3609.40 c CG core degree average 0.00
3600.03/3609.40 c CG core slack average 0.00
3600.03/3609.40 c CG core upper bound improvements 0
3600.03/3609.40 c STR number of successful calls 0
3600.03/3609.40 c STR number of unsuccessful calls 0
3600.03/3609.40 c STR number of inconclusive calls 0
3600.03/3609.40 c STR number of successful attempts 0
3600.03/3609.40 c STR number of unsuccessful attempts 0
3600.03/3609.40 c STR number of inconclusive attempts 0
3600.03/3609.40 c STR average degree increase per successful call inf
3600.03/3609.40 c STR average degree increase per successful attempt inf
3600.03/3609.40 c STR total number of conflicts for successful attempts 0
3600.03/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.40 c STR average number of conflicts per successful attempt inf
3600.03/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.40 c AVG.sumWPerc 75.41
3600.03/3609.40 c bigint constraints 1
3600.03/3609.40 s UNKNOWN
3600.03/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (56915 MiB free)
memory of node 1: 64465 MiB (59438 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541727-1753202597/watcher-4541727-1753202597 -o /tmp/evaluation-result-4541727-1753202597/solver-4541727-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165676 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541727-1753202597.opb /tmp/proof-4541727-1753202597
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=166079, runsolver pid=166076
[startup+0.100058 s]*
/proc/loadavg: 4.16 4.14 4.09 4/262 166085
/proc/meminfo: memFree=121020700/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=68788 memory=24684 CPUtime=0.07 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 4093 0 0 0 6 1 0 0 20 0 1 0 235938233 70438912 6171 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 17197 6171 2336 1147 0 4624 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 72980 KiB
Current children cumulated memory: 27628 KiB
[startup+0.205774 s]*
/proc/loadavg: 4.16 4.14 4.09 4/266 166096
/proc/meminfo: memFree=122999028/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=70504 memory=26476 CPUtime=0.17 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 4455 0 0 0 16 1 0 0 20 0 1 0 235938233 72196096 6619 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 17626 6619 2400 1147 0 5053 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 74696 KiB
Current children cumulated memory: 29420 KiB
[startup+0.305485 s]*
/proc/loadavg: 4.16 4.14 4.09 5/268 166102
/proc/meminfo: memFree=124433016/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=70864 memory=27116 CPUtime=0.27 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 4615 0 0 0 26 1 0 0 20 0 1 0 235938233 72564736 6779 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 17716 6779 2400 1147 0 5143 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 75056 KiB
Current children cumulated memory: 30060 KiB
[startup+0.700144 s]
/proc/loadavg: 4.16 4.14 4.09 4/270 166111
/proc/meminfo: memFree=124422952/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=72552 memory=28268 CPUtime=0.65 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 4913 0 0 0 63 2 0 0 20 0 1 0 235938233 74293248 7067 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 18138 7067 2400 1147 0 5565 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 76744 KiB
Current children cumulated memory: 31212 KiB
[startup+1.50015 s]
/proc/loadavg: 4.16 4.14 4.09 5/273 166119
/proc/meminfo: memFree=124406816/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=72896 memory=28652 CPUtime=1.46 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 5026 0 0 0 141 5 0 0 20 0 1 0 235938233 74645504 7163 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 18224 7163 2400 1147 0 5651 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 77088 KiB
Current children cumulated memory: 31596 KiB
[startup+3.10572 s]
/proc/loadavg: 4.16 4.14 4.09 5/273 166119
/proc/meminfo: memFree=124347172/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=74904 memory=30828 CPUtime=3.06 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 5558 0 0 0 299 7 0 0 20 0 1 0 235938233 76701696 7707 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 18726 7707 2400 1147 0 6153 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 79096 KiB
Current children cumulated memory: 33772 KiB
[startup+6.30014 s]
/proc/loadavg: 4.23 4.15 4.10 5/273 166119
/proc/meminfo: memFree=124256092/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=76692 memory=34644 CPUtime=6.25 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 6004 0 0 0 613 12 0 0 20 0 1 0 235938233 78532608 8661 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 19173 8661 2400 1147 0 6600 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 80884 KiB
Current children cumulated memory: 37588 KiB
[startup+12.7002 s]
/proc/loadavg: 4.29 4.17 4.10 5/273 166119
/proc/meminfo: memFree=124094820/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=80732 memory=38484 CPUtime=12.63 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 6964 0 0 0 1244 19 0 0 20 0 1 0 235938233 82669568 9621 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 20183 9621 2400 1147 0 7610 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 84924 KiB
Current children cumulated memory: 41428 KiB
[startup+25.5002 s]
/proc/loadavg: 4.52 4.22 4.12 5/272 166119
/proc/meminfo: memFree=123765076/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=95148 memory=51136 CPUtime=25.39 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 9101 0 0 0 2509 30 0 0 20 0 1 0 235938233 97431552 12784 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 23787 12784 2400 1147 0 11214 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 99340 KiB
Current children cumulated memory: 54080 KiB
[startup+51.1058 s]
/proc/loadavg: 4.61 4.27 4.14 5/272 166119
/proc/meminfo: memFree=123182148/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=104604 memory=59928 CPUtime=50.95 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 10286 0 0 0 5054 41 0 0 20 0 1 0 235938233 107114496 14982 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 26151 14982 2400 1147 0 13578 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 108796 KiB
Current children cumulated memory: 62872 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.26 4.14 5/268 166122
/proc/meminfo: memFree=122056152/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=123168 memory=80372 CPUtime=102.01 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 12857 0 0 0 10117 84 0 0 20 0 1 0 235938233 126124032 20093 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 30792 20093 2400 1147 0 18219 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 127360 KiB
Current children cumulated memory: 83316 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.28 4.16 5/269 166125
/proc/meminfo: memFree=120794524/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=216656 memory=156516 CPUtime=161.85 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 29258 0 0 0 16049 136 0 0 20 0 1 0 235938233 221855744 39129 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 54164 39129 2400 1147 0 41591 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 220848 KiB
Current children cumulated memory: 159460 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.25 4.16 5/269 166127
/proc/meminfo: memFree=119688472/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=219000 memory=169316 CPUtime=221.69 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 29863 0 0 0 21989 180 0 0 20 0 1 0 235938233 224256000 42329 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 54750 42329 2528 1147 0 42177 0
################
# More data... #
################
/proc/166082/statm: 189911 156156 2528 1147 0 177338 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 763836 KiB
Current children cumulated memory: 627568 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/268 166273
/proc/meminfo: memFree=92400992/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=787804 memory=649300 CPUtime=3094.22 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 113055 0 0 0 308199 1223 0 0 20 0 1 0 235938233 806711296 162325 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 196951 162325 2528 1147 0 184378 0
Current children cumulated CPU time: 3094.22 s
Current children cumulated vsize: 791996 KiB
Current children cumulated memory: 652244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/268 166275
/proc/meminfo: memFree=92170124/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=801120 memory=671640 CPUtime=3154.07 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 116093 0 0 0 314176 1231 0 0 20 0 1 0 235938233 820346880 167910 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 200280 167910 2528 1147 0 187707 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 805312 KiB
Current children cumulated memory: 674584 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/268 166277
/proc/meminfo: memFree=91987532/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=825440 memory=706396 CPUtime=3213.91 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 121201 0 0 0 320150 1241 0 0 20 0 1 0 235938233 845250560 176599 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 206360 176599 2528 1147 0 193787 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 829632 KiB
Current children cumulated memory: 709340 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/268 166279
/proc/meminfo: memFree=91833348/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=844896 memory=735860 CPUtime=3273.76 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 125500 0 0 0 326128 1248 0 0 20 0 1 0 235938233 865173504 183965 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 211224 183965 2528 1147 0 198651 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 849088 KiB
Current children cumulated memory: 738804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.19 4.18 5/269 166284
/proc/meminfo: memFree=91700272/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=864996 memory=762424 CPUtime=3333.6 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 129587 0 0 0 332107 1253 0 0 20 0 1 0 235938233 885755904 190606 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 216249 190606 2528 1147 0 203676 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 869188 KiB
Current children cumulated memory: 765368 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/269 166286
/proc/meminfo: memFree=91411488/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=899684 memory=798892 CPUtime=3393.45 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 136140 0 0 0 338084 1261 0 0 20 0 1 0 235938233 921276416 199723 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 224921 199723 2528 1147 0 212348 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 903876 KiB
Current children cumulated memory: 801836 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.20 4.18 5/269 166288
/proc/meminfo: memFree=91183472/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=1051480 memory=825584 CPUtime=3453.3 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 140947 0 0 0 344060 1270 0 0 20 0 1 0 235938233 1076715520 206396 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 262870 206396 2528 1147 0 250297 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 1055672 KiB
Current children cumulated memory: 828528 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/269 166290
/proc/meminfo: memFree=90926684/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=1075212 memory=841840 CPUtime=3513.15 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 145030 0 0 0 350009 1306 0 0 20 0 1 0 235938233 1101017088 210460 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 268803 210460 2528 1147 0 256230 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 1079404 KiB
Current children cumulated memory: 844784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/269 166292
/proc/meminfo: memFree=90718080/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=1085684 memory=854768 CPUtime=3573 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 147515 0 0 0 355981 1319 0 0 20 0 1 0 235938233 1111740416 213692 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 271421 213692 2528 1147 0 258848 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 1089876 KiB
Current children cumulated memory: 857712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.13 4.16 4.17 5/268 166300
/proc/meminfo: memFree=90559164/131249988 swapFree=33010416/33010684
[pid=166079] ppid=166076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/166079/stat : 166079 (run-dec-break-l) S 166076 166079 165659 0 -1 4194304 241 2300 0 0 0 0 0 0 20 0 1 0 235938231 4292608 736 18446744073709551615 94371035459584 94371036354117 140737189814976 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94371036593168 94371036640912 94371057426432 140737189816633 140737189816796 140737189816796 140737189822400 0
/proc/166079/statm: 1048 736 672 219 0 110 0
[pid=166082] ppid=166079 vsize=1085684 memory=858352 CPUtime=3600.03 cores=1,3
/proc/166082/stat : 166082 (roundingsat) R 166079 166079 165659 0 -1 4194304 147570 0 0 0 358679 1324 0 0 20 0 1 0 235938233 1111740416 214588 18446744073709551615 4227072 8923433 140736475932288 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 10084352 140736475941144 140736475941414 140736475941414 140736475946986 0
/proc/166082/statm: 271421 214588 2528 1147 0 258848 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1089876 KiB
Current children cumulated memory: 861296 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 166079 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.008787 s, system=0.007709 s
Sleeping 2 seconds
[startup+3609.42 s]
# the end of solver process 166082 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.81 s, system=13.2655 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.42
CPU time (s): 3600.08
CPU user time (s): 3586.81
CPU system time (s): 13.2655
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 1089876
Max. memory (cumulated for all children) (KiB): 861296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.81
system time used= 13.2655
maximum resident set size= 858608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150129
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14756528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 316
involuntary context switches= 4838
# summary of solver processes directly reported to runsolver:
# pid: 166079,166082
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.81
# total CPU system time (s): 13.2655
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19691 second user time and 17.0554 second system time
The end
Begin job on nodeC031 at 2025-07-22 18:43:17
IDJOB=4541727
IDBENCH=163363
IDSOLVER=3358
FILE ID=nodeC031/4541727-1753202597
RUNJOBID= nodeC031-1753198973-165676
SLURM_JOB_ID= 9687764
Free space on /tmp= 412456 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-31array_diag_less.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541727-1753202597/watcher-4541727-1753202597 -o /tmp/evaluation-result-4541727-1753202597/solver-4541727-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165676 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541727-1753202597.opb /tmp/proof-4541727-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d4d2180c253b956721820605fdb244a0
RANDOM SEED=1063239506
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.086
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.78
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 : 3601.028
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.656
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
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.78
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 : 3599.888
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.78
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 : 3603.561
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.78
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 : 3534.282
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.78
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 118124420 kB
MemAvailable: 129554136 kB
Buffers: 2128 kB
Cached: 12114928 kB
SwapCached: 8 kB
Active: 1232252 kB
Inactive: 10980860 kB
Active(anon): 111840 kB
Inactive(anon): 10464 kB
Active(file): 1120412 kB
Inactive(file): 10970396 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38392 kB
Writeback: 0 kB
AnonPages: 99128 kB
Mapped: 114220 kB
Shmem: 26248 kB
KReclaimable: 356292 kB
Slab: 454480 kB
SReclaimable: 356292 kB
SUnreclaim: 98188 kB
KernelStack: 4272 kB
PageTables: 2844 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 401228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 396056 MiB
End job on nodeC031 at 2025-07-22 19:43:26