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-4493809-1751155637.opb'
0.00/0.01 c read 0.05MB (0.70ms)
0.00/0.01 c [cnf: #variables 428 #clauses 942 #duplicates 0 #arr 5161]
0.00/0.01 c output proof to 'PROOFDIR/proof-4493809-1751155637'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.72ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.09ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 3003 #edges 13588]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.21ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4493809-1751155637.opb.pre'
0.00/0.01 c wrote 0.05MB (0.16ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.72ms 29.42% approx_orbits
0.00/0.01 c 0.70ms 28.46% parse
0.00/0.01 c 0.56ms 22.73% other
0.00/0.01 c 0.21ms 8.51% detect_generic
0.00/0.01 c 0.16ms 6.69% output
0.00/0.01 c 0.09ms 3.69% detect_special
0.00/0.01 c 0.01ms 0.51% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 2.45ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 428 #constraints 942
7.14/7.27 c #Conflicts: 1000 | #Constraints: 1941
7.14/7.27 c #Conflicts: 2000 | #Constraints: 2942
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 3000 | #Constraints: 2913
7.14/7.27 c #Conflicts: 4000 | #Constraints: 3913
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 5000 | #Constraints: 3315
7.14/7.27 c #Conflicts: 6000 | #Constraints: 4315
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 7000 | #Constraints: 3320
7.14/7.27 c #Conflicts: 8000 | #Constraints: 4320
7.14/7.27 c #Conflicts: 9000 | #Constraints: 5321
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 10000 | #Constraints: 4019
7.14/7.27 c #Conflicts: 11000 | #Constraints: 5019
7.14/7.27 c #Conflicts: 12000 | #Constraints: 6019
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 13000 | #Constraints: 4469
7.14/7.27 c #Conflicts: 14000 | #Constraints: 5469
7.14/7.27 c #Conflicts: 15000 | #Constraints: 6469
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 16000 | #Constraints: 4696
7.14/7.27 c #Conflicts: 17000 | #Constraints: 5696
7.14/7.27 c #Conflicts: 18000 | #Constraints: 6696
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 19000 | #Constraints: 4711
7.14/7.27 c #Conflicts: 20000 | #Constraints: 5711
7.14/7.27 c #Conflicts: 21000 | #Constraints: 6712
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 22000 | #Constraints: 4521
7.14/7.27 c #Conflicts: 23000 | #Constraints: 5521
7.14/7.27 c #Conflicts: 24000 | #Constraints: 6522
7.14/7.27 c #Conflicts: 25000 | #Constraints: 7522
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 26000 | #Constraints: 5123
7.14/7.27 c #Conflicts: 27000 | #Constraints: 6123
7.14/7.27 c #Conflicts: 28000 | #Constraints: 7123
7.14/7.27 c #Conflicts: 29000 | #Constraints: 8123
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 c #Conflicts: 30000 | #Constraints: 5517
7.14/7.27 c #Conflicts: 31000 | #Constraints: 6517
7.14/7.27 c #Conflicts: 32000 | #Constraints: 7517
7.14/7.27 c #Conflicts: 33000 | #Constraints: 8517
7.14/7.27 c INPROCESSING
7.14/7.27 c GARBAGE COLLECT
7.14/7.27 WSVECS04 Frhs2[55]: 6 0 0.475485 shouldn't be
7.14/7.27 WSVECS04 Frhs2[169]: 6 0 0.595257 shouldn't be
7.14/7.27 WSVECS04 Frhs2[324]: 6 0 0.993499 shouldn't be
7.14/7.27 WSVECS04 Frhs2[344]: 6 0 0.726149 shouldn't be
7.14/7.27 WSVECS04 Frhs2[374]: 6 0 0.0479216 shouldn't be
7.14/7.27 WSVECS04 Frhs2[387]: 6 0 0.482648 shouldn't be
7.14/7.27 WSVECS04 Frhs2[388]: 6 0 0.0259363 shouldn't be
17.11/17.24 c #Conflicts: 34000 | #Constraints: 5717
17.11/17.24 c #Conflicts: 35000 | #Constraints: 6717
17.11/17.24 c #Conflicts: 36000 | #Constraints: 7717
17.11/17.24 c #Conflicts: 37000 | #Constraints: 8717
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 38000 | #Constraints: 5675
17.11/17.24 c #Conflicts: 39000 | #Constraints: 6675
17.11/17.24 c #Conflicts: 40000 | #Constraints: 7675
17.11/17.24 c #Conflicts: 41000 | #Constraints: 8675
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 42000 | #Constraints: 5484
17.11/17.24 c #Conflicts: 43000 | #Constraints: 6484
17.11/17.24 c #Conflicts: 44000 | #Constraints: 7484
17.11/17.24 c #Conflicts: 45000 | #Constraints: 8484
17.11/17.24 c #Conflicts: 46000 | #Constraints: 9484
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 47000 | #Constraints: 6089
17.11/17.24 c #Conflicts: 48000 | #Constraints: 7089
17.11/17.24 c #Conflicts: 49000 | #Constraints: 8089
17.11/17.24 c #Conflicts: 50000 | #Constraints: 9089
17.11/17.24 c #Conflicts: 51000 | #Constraints: 10089
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 52000 | #Constraints: 6493
17.11/17.24 c #Conflicts: 53000 | #Constraints: 7493
17.11/17.24 c #Conflicts: 54000 | #Constraints: 8493
17.11/17.24 c #Conflicts: 55000 | #Constraints: 9493
17.11/17.24 c #Conflicts: 56000 | #Constraints: 10493
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 57000 | #Constraints: 6693
17.11/17.24 c #Conflicts: 58000 | #Constraints: 7693
17.11/17.24 c #Conflicts: 59000 | #Constraints: 8693
17.11/17.24 c #Conflicts: 60000 | #Constraints: 9693
17.11/17.24 c #Conflicts: 61000 | #Constraints: 10693
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 62000 | #Constraints: 6691
17.11/17.24 c #Conflicts: 63000 | #Constraints: 7691
17.11/17.24 c #Conflicts: 64000 | #Constraints: 8691
17.11/17.24 c #Conflicts: 65000 | #Constraints: 9691
17.11/17.24 c #Conflicts: 66000 | #Constraints: 10691
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c #Conflicts: 67000 | #Constraints: 6493
17.11/17.24 c #Conflicts: 68000 | #Constraints: 7493
17.11/17.24 c #Conflicts: 69000 | #Constraints: 8493
17.11/17.24 c #Conflicts: 70000 | #Constraints: 9493
17.11/17.24 c #Conflicts: 71000 | #Constraints: 10493
17.11/17.24 c #Conflicts: 72000 | #Constraints: 11493
17.11/17.24 c INPROCESSING
17.11/17.24 c GARBAGE COLLECT
17.11/17.24 c rational objective 60.9897
36.64/37.03 c #Conflicts: 73000 | #Constraints: 7089
36.64/37.03 c #Conflicts: 74000 | #Constraints: 8089
36.64/37.03 c #Conflicts: 75000 | #Constraints: 9089
36.64/37.03 c #Conflicts: 76000 | #Constraints: 10089
36.64/37.03 c #Conflicts: 77000 | #Constraints: 11089
36.64/37.03 c #Conflicts: 78000 | #Constraints: 12089
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 79000 | #Constraints: 7486
36.64/37.03 c #Conflicts: 80000 | #Constraints: 8486
36.64/37.03 c #Conflicts: 81000 | #Constraints: 9486
36.64/37.03 c #Conflicts: 82000 | #Constraints: 10486
36.64/37.03 c #Conflicts: 83000 | #Constraints: 11486
36.64/37.03 c #Conflicts: 84000 | #Constraints: 12486
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 85000 | #Constraints: 7683
36.64/37.03 c #Conflicts: 86000 | #Constraints: 8683
36.64/37.03 c #Conflicts: 87000 | #Constraints: 9683
36.64/37.03 c #Conflicts: 88000 | #Constraints: 10684
36.64/37.03 c #Conflicts: 89000 | #Constraints: 11684
36.64/37.03 c #Conflicts: 90000 | #Constraints: 12684
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 91000 | #Constraints: 7689
36.64/37.03 c #Conflicts: 92000 | #Constraints: 8689
36.64/37.03 c #Conflicts: 93000 | #Constraints: 9689
36.64/37.03 c #Conflicts: 94000 | #Constraints: 10689
36.64/37.03 c #Conflicts: 95000 | #Constraints: 11689
36.64/37.03 c #Conflicts: 96000 | #Constraints: 12689
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 97000 | #Constraints: 7497
36.64/37.03 c #Conflicts: 98000 | #Constraints: 8497
36.64/37.03 c #Conflicts: 99000 | #Constraints: 9497
36.64/37.03 c #Conflicts: 100000 | #Constraints: 10497
36.64/37.03 c #Conflicts: 101000 | #Constraints: 11497
36.64/37.03 c #Conflicts: 102000 | #Constraints: 12497
36.64/37.03 c #Conflicts: 103000 | #Constraints: 13497
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 104000 | #Constraints: 8092
36.64/37.03 c #Conflicts: 105000 | #Constraints: 9092
36.64/37.03 c #Conflicts: 106000 | #Constraints: 10092
36.64/37.03 c #Conflicts: 107000 | #Constraints: 11092
36.64/37.03 c #Conflicts: 108000 | #Constraints: 12092
36.64/37.03 c #Conflicts: 109000 | #Constraints: 13092
36.64/37.03 c #Conflicts: 110000 | #Constraints: 14092
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 111000 | #Constraints: 8494
36.64/37.03 c #Conflicts: 112000 | #Constraints: 9495
36.64/37.03 c #Conflicts: 113000 | #Constraints: 10495
36.64/37.03 c #Conflicts: 114000 | #Constraints: 11495
36.64/37.03 c #Conflicts: 115000 | #Constraints: 12495
36.64/37.03 c #Conflicts: 116000 | #Constraints: 13495
36.64/37.03 c #Conflicts: 117000 | #Constraints: 14495
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 118000 | #Constraints: 8688
36.64/37.03 c #Conflicts: 119000 | #Constraints: 9688
36.64/37.03 c #Conflicts: 120000 | #Constraints: 10688
36.64/37.03 c #Conflicts: 121000 | #Constraints: 11688
36.64/37.03 c #Conflicts: 122000 | #Constraints: 12688
36.64/37.03 c #Conflicts: 123000 | #Constraints: 13688
36.64/37.03 c #Conflicts: 124000 | #Constraints: 14688
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 125000 | #Constraints: 8686
36.64/37.03 c #Conflicts: 126000 | #Constraints: 9686
36.64/37.03 c #Conflicts: 127000 | #Constraints: 10686
36.64/37.03 c #Conflicts: 128000 | #Constraints: 11686
36.64/37.03 c #Conflicts: 129000 | #Constraints: 12687
36.64/37.03 c #Conflicts: 130000 | #Constraints: 13687
36.64/37.03 c #Conflicts: 131000 | #Constraints: 14687
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 132000 | #Constraints: 8483
36.64/37.03 c #Conflicts: 133000 | #Constraints: 9483
36.64/37.03 c #Conflicts: 134000 | #Constraints: 10483
36.64/37.03 c #Conflicts: 135000 | #Constraints: 11483
36.64/37.03 c #Conflicts: 136000 | #Constraints: 12483
36.64/37.03 c #Conflicts: 137000 | #Constraints: 13483
36.64/37.03 c #Conflicts: 138000 | #Constraints: 14483
36.64/37.03 c #Conflicts: 139000 | #Constraints: 15483
36.64/37.03 c INPROCESSING
36.64/37.03 c GARBAGE COLLECT
36.64/37.03 c #Conflicts: 140000 | #Constraints: 9085
36.64/37.03 c #Conflicts: 141000 | #Constraints: 10085
36.64/37.03 c #Conflicts: 142000 | #Constraints: 11085
36.64/37.03 c #Conflicts: 143000 | #Constraints: 12085
36.64/37.03 c #Conflicts: 144000 | #Constraints: 13085
36.64/37.03 c #Conflicts: 145000 | #Constraints: 14085
39.64/40.02 c #Conflicts: 146000 | #Constraints: 15086
39.64/40.02 c #Conflicts: 147000 | #Constraints: 16086
39.64/40.02 c INPROCESSING
39.64/40.02 c GARBAGE COLLECT
39.64/40.02 c #Conflicts: 148000 | #Constraints: 9488
39.64/40.02 c #Conflicts: 149000 | #Constraints: 10488
39.64/40.02 c #Conflicts: 150000 | #Constraints: 11488
39.64/40.02 c #Conflicts: 151000 | #Constraints: 12488
39.64/40.02 c #Conflicts: 152000 | #Constraints: 13488
39.64/40.02 c #Conflicts: 153000 | #Constraints: 14488
39.64/40.02 c #Conflicts: 154000 | #Constraints: 15488
39.64/40.02 c #Conflicts: 155000 | #Constraints: 16488
39.64/40.02 c INPROCESSING
39.64/40.02 c GARBAGE COLLECT
39.64/40.02 c rational objective 61.0017
53.39/53.83 c #Conflicts: 156000 | #Constraints: 9691
53.39/53.83 c #Conflicts: 157000 | #Constraints: 10691
53.39/53.83 c #Conflicts: 158000 | #Constraints: 11692
53.39/53.83 c #Conflicts: 159000 | #Constraints: 12693
53.39/53.83 c #Conflicts: 160000 | #Constraints: 13693
53.39/53.83 c #Conflicts: 161000 | #Constraints: 14694
53.39/53.83 c #Conflicts: 162000 | #Constraints: 15694
53.39/53.83 c #Conflicts: 163000 | #Constraints: 16694
53.39/53.83 c INPROCESSING
53.39/53.83 c GARBAGE COLLECT
53.39/53.83 c #Conflicts: 164000 | #Constraints: 9691
53.39/53.83 c #Conflicts: 165000 | #Constraints: 10692
53.39/53.83 c #Conflicts: 166000 | #Constraints: 11693
53.39/53.83 c #Conflicts: 167000 | #Constraints: 12695
53.39/53.83 c #Conflicts: 168000 | #Constraints: 13696
53.39/53.83 c #Conflicts: 169000 | #Constraints: 14697
53.39/53.83 c #Conflicts: 170000 | #Constraints: 15698
53.39/53.83 c #Conflicts: 171000 | #Constraints: 16699
53.39/53.83 c INPROCESSING
53.39/53.83 c GARBAGE COLLECT
53.39/53.83 c #Conflicts: 172000 | #Constraints: 9500
53.39/53.83 c #Conflicts: 173000 | #Constraints: 10501
53.39/53.83 c #Conflicts: 174000 | #Constraints: 11503
53.39/53.83 c #Conflicts: 175000 | #Constraints: 12506
53.39/53.83 c #Conflicts: 176000 | #Constraints: 13507
53.39/53.83 c #Conflicts: 177000 | #Constraints: 14509
53.39/53.83 c #Conflicts: 178000 | #Constraints: 15510
53.39/53.83 c #Conflicts: 179000 | #Constraints: 16511
53.39/53.83 c #Conflicts: 180000 | #Constraints: 17512
53.39/53.83 c INPROCESSING
53.39/53.83 c GARBAGE COLLECT
53.39/53.83 c #Conflicts: 181000 | #Constraints: 10106
53.39/53.83 c #Conflicts: 182000 | #Constraints: 11107
53.39/53.83 c #Conflicts: 183000 | #Constraints: 12108
53.39/53.83 c #Conflicts: 184000 | #Constraints: 13109
53.39/53.83 c #Conflicts: 185000 | #Constraints: 14110
53.39/53.83 c #Conflicts: 186000 | #Constraints: 15113
53.39/53.83 c #Conflicts: 187000 | #Constraints: 16114
53.39/53.83 c #Conflicts: 188000 | #Constraints: 17115
53.39/53.83 c #Conflicts: 189000 | #Constraints: 18116
53.39/53.83 c INPROCESSING
53.39/53.83 c GARBAGE COLLECT
53.39/53.83 c #Conflicts: 190000 | #Constraints: 10505
53.39/53.83 c #Conflicts: 191000 | #Constraints: 11507
53.39/53.83 c #Conflicts: 192000 | #Constraints: 12510
53.39/53.83 c #Conflicts: 193000 | #Constraints: 13513
53.39/53.83 c #Conflicts: 194000 | #Constraints: 14516
53.39/53.83 c #Conflicts: 195000 | #Constraints: 15519
53.39/53.83 c #Conflicts: 196000 | #Constraints: 16529
53.39/53.83 c #Conflicts: 197000 | #Constraints: 17536
53.39/53.83 c #Conflicts: 198000 | #Constraints: 18543
53.39/53.83 c INPROCESSING
53.39/53.83 c GARBAGE COLLECT
53.39/53.83 WSVECS04 Frhs2[5]: 6 0 0.694808 shouldn't be
53.39/53.83 WSVECS04 Frhs2[7]: 6 0 1.94861 shouldn't be
53.39/53.83 WSVECS04 Frhs2[8]: 6 0 1.25383 shouldn't be
53.39/53.83 WSVECS04 Frhs2[12]: 6 0 1.04967 shouldn't be
53.39/53.83 WSVECS04 Frhs2[14]: 6 0 0.675744 shouldn't be
53.39/53.83 WSVECS04 Frhs2[21]: 6 0 0.694801 shouldn't be
53.39/53.83 WSVECS04 Frhs2[27]: 6 0 1.9003 shouldn't be
53.39/53.83 WSVECS04 Frhs2[29]: 6 0 0.694816 shouldn't be
53.39/53.83 WSVECS04 Frhs2[32]: 6 -10.7627 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[33]: 6 0 0.694752 shouldn't be
53.39/53.83 WSVECS04 Frhs2[35]: 6 0 0.694765 shouldn't be
53.39/53.83 WSVECS04 Frhs2[37]: 6 0 0.694767 shouldn't be
53.39/53.83 WSVECS04 Frhs2[39]: 6 0 0.694809 shouldn't be
53.39/53.83 WSVECS04 Frhs2[43]: 6 0 0.694747 shouldn't be
53.39/53.83 WSVECS04 Frhs2[45]: 6 0 2.0031 shouldn't be
53.39/53.83 WSVECS04 Frhs2[47]: 6 0 0.69481 shouldn't be
53.39/53.83 WSVECS04 Frhs2[53]: 6 0 0.533731 shouldn't be
53.39/53.83 WSVECS04 Frhs2[57]: 6 0 0.196918 shouldn't be
53.39/53.83 WSVECS04 Frhs2[69]: 6 0 0.694757 shouldn't be
53.39/53.83 WSVECS04 Frhs2[77]: 6 0 0.694755 shouldn't be
53.39/53.83 WSVECS04 Frhs2[83]: 6 0 0.694811 shouldn't be
53.39/53.83 WSVECS04 Frhs2[87]: 6 0 0.744486 shouldn't be
53.39/53.83 WSVECS04 Frhs2[91]: 6 0 0.694744 shouldn't be
53.39/53.83 WSVECS04 Frhs2[97]: 6 0 0.705618 shouldn't be
53.39/53.83 WSVECS04 Frhs2[107]: 6 0 0.694796 shouldn't be
53.39/53.83 WSVECS04 Frhs2[109]: 6 0 0.694795 shouldn't be
53.39/53.83 WSVECS04 Frhs2[117]: 6 0 1.29687 shouldn't be
53.39/53.83 WSVECS04 Frhs2[129]: 6 0 2.20595 shouldn't be
53.39/53.83 WSVECS04 Frhs2[133]: 6 0 0.694791 shouldn't be
53.39/53.83 WSVECS04 Frhs2[135]: 6 0 0.694735 shouldn't be
53.39/53.83 WSVECS04 Frhs2[147]: 6 0 1.585 shouldn't be
53.39/53.83 WSVECS04 Frhs2[153]: 6 0 0.90431 shouldn't be
53.39/53.83 WSVECS04 Frhs2[155]: 6 0 0.694794 shouldn't be
53.39/53.83 WSVECS04 Frhs2[159]: 6 0 0.694751 shouldn't be
53.39/53.83 WSVECS04 Frhs2[161]: 6 0 0.694758 shouldn't be
53.39/53.83 WSVECS04 Frhs2[175]: 6 0 0.694819 shouldn't be
53.39/53.83 WSVECS04 Frhs2[177]: 6 0 1.89158 shouldn't be
53.39/53.83 WSVECS04 Frhs2[179]: 6 0 0.69477 shouldn't be
53.39/53.83 WSVECS04 Frhs2[181]: 6 0 2.02678 shouldn't be
53.39/53.83 WSVECS04 Frhs2[185]: 6 0 2.40261 shouldn't be
53.39/53.83 WSVECS04 Frhs2[195]: 6 0 0.694765 shouldn't be
53.39/53.83 WSVECS04 Frhs2[201]: 6 0 0.69475 shouldn't be
53.39/53.83 WSVECS04 Frhs2[203]: 6 0 0.694778 shouldn't be
53.39/53.83 WSVECS04 Frhs2[205]: 6 0 0.460541 shouldn't be
53.39/53.83 WSVECS04 Frhs2[207]: 6 0 0.694738 shouldn't be
53.39/53.83 WSVECS04 Frhs2[215]: 6 0 0.632197 shouldn't be
53.39/53.83 WSVECS04 Frhs2[223]: 6 0 0.69476 shouldn't be
53.39/53.83 WSVECS04 Frhs2[231]: 6 0 1.03585 shouldn't be
53.39/53.83 WSVECS04 Frhs2[235]: 6 0 1.39953 shouldn't be
53.39/53.83 WSVECS04 Frhs2[237]: 6 0 0.694781 shouldn't be
53.39/53.83 WSVECS04 Frhs2[239]: 6 0 0.768234 shouldn't be
53.39/53.83 WSVECS04 Frhs2[245]: 6 0 6.21634 shouldn't be
53.39/53.83 WSVECS04 Frhs2[249]: 6 0 0.035093 shouldn't be
53.39/53.83 WSVECS04 Frhs2[261]: 6 0 0.17788 shouldn't be
53.39/53.83 WSVECS04 Frhs2[263]: 6 0 0.774595 shouldn't be
53.39/53.83 WSVECS04 Frhs2[267]: 6 0 0.242959 shouldn't be
53.39/53.83 WSVECS04 Frhs2[269]: 6 0 0.347483 shouldn't be
53.39/53.83 WSVECS04 Frhs2[281]: 6 0 0.777645 shouldn't be
53.39/53.83 WSVECS04 Frhs2[282]: 6 0 0.0414916 shouldn't be
53.39/53.83 WSVECS04 Frhs2[283]: 6 0 0.736154 shouldn't be
53.39/53.83 WSVECS04 Frhs2[286]: 6 -0.0207469 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[292]: 6 0 2.98614 shouldn't be
53.39/53.83 WSVECS04 Frhs2[293]: 6 0 0.884093 shouldn't be
53.39/53.83 WSVECS04 Frhs2[305]: 6 -3.09252 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[307]: 6 -2.61738 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[308]: 6 0 1.13104 shouldn't be
53.39/53.83 WSVECS04 Frhs2[309]: 6 0 1.43724 shouldn't be
53.39/53.83 WSVECS04 Frhs2[319]: 6 -0.628798 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[320]: 6 0 1.38874 shouldn't be
53.39/53.83 WSVECS04 Frhs2[321]: 6 -3.22238 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[322]: 6 0 2.81402 shouldn't be
53.39/53.83 WSVECS04 Frhs2[333]: 6 -2.54247 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[345]: 6 -3.71716 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[351]: 6 -2.94304 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[354]: 6 0 0.295175 shouldn't be
53.39/53.83 WSVECS04 Frhs2[362]: 6 -1.00006 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[375]: 6 0 0.179317 shouldn't be
53.39/53.83 WSVECS04 Frhs2[379]: 6 -3.02358 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[385]: 6 -1.44649 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[413]: 6 0 0.592355 shouldn't be
53.39/53.83 WSVECS04 Frhs2[416]: 6 -0.278439 0 shouldn't be
53.39/53.83 WSVECS04 Frhs2[428]: 6 0 0.857771 shouldn't be
53.39/53.88 WSVECS04 Frhs2[105]: 6 0 0.904339 shouldn't be
53.39/53.88 WSVECS04 Frhs2[311]: 6 -0.671043 0 shouldn't be
53.50/53.93 WSVECS04 Frhs2[9]: 6 0 0.694792 shouldn't be
53.50/53.93 WSVECS04 Frhs2[75]: 6 0 0.694788 shouldn't be
53.50/53.93 WSVECS04 Frhs2[85]: 6 0 0.694816 shouldn't be
53.50/53.93 WSVECS04 Frhs2[89]: 6 0 0.715798 shouldn't be
53.50/53.93 WSVECS04 Frhs2[127]: 6 0 0.694781 shouldn't be
53.50/53.93 WSVECS04 Frhs2[149]: 6 0 0.0941497 shouldn't be
53.50/53.93 WSVECS04 Frhs2[151]: 6 0 0.694816 shouldn't be
53.50/53.93 WSVECS04 Frhs2[154]: 6 0 1.22175 shouldn't be
53.50/53.93 WSVECS04 Frhs2[187]: 6 0 0.69481 shouldn't be
53.50/53.93 WSVECS04 Frhs2[199]: 6 0 0.694787 shouldn't be
53.50/53.93 WSVECS04 Frhs2[209]: 6 0 0.630574 shouldn't be
53.50/53.93 WSVECS04 Frhs2[213]: 6 0 0.694801 shouldn't be
53.50/53.93 WSVECS04 Frhs2[229]: 6 0 0.694799 shouldn't be
53.50/53.93 WSVECS04 Frhs2[259]: 6 0 0.694772 shouldn't be
53.50/53.93 WSVECS04 Frhs2[285]: 6 0 0.715496 shouldn't be
53.50/53.93 WSVECS04 Frhs2[403]: 6 -1.70638 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[7]: 6 0 1.94852 shouldn't be
53.50/53.99 WSVECS04 Frhs2[8]: 6 0 1.25379 shouldn't be
53.50/53.99 WSVECS04 Frhs2[14]: 6 0 0.675668 shouldn't be
53.50/53.99 WSVECS04 Frhs2[27]: 6 0 1.90021 shouldn't be
53.50/53.99 WSVECS04 Frhs2[32]: 6 -10.7626 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[33]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[35]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[37]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[43]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[45]: 6 0 2.00306 shouldn't be
53.50/53.99 WSVECS04 Frhs2[47]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[57]: 6 0 0.196872 shouldn't be
53.50/53.99 WSVECS04 Frhs2[69]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[75]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[77]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[83]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[85]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[87]: 6 0 0.744462 shouldn't be
53.50/53.99 WSVECS04 Frhs2[91]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[97]: 6 0 0.705543 shouldn't be
53.50/53.99 WSVECS04 Frhs2[107]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[109]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[117]: 6 0 1.29678 shouldn't be
53.50/53.99 WSVECS04 Frhs2[129]: 6 0 2.2059 shouldn't be
53.50/53.99 WSVECS04 Frhs2[130]: 6 0 1.51118 shouldn't be
53.50/53.99 WSVECS04 Frhs2[133]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[135]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[147]: 6 0 1.58493 shouldn't be
53.50/53.99 WSVECS04 Frhs2[149]: 6 0 0.0941255 shouldn't be
53.50/53.99 WSVECS04 Frhs2[151]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[153]: 6 0 0.904292 shouldn't be
53.50/53.99 WSVECS04 Frhs2[154]: 6 0 1.22166 shouldn't be
53.50/53.99 WSVECS04 Frhs2[155]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[159]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[161]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[175]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[177]: 6 0 1.8915 shouldn't be
53.50/53.99 WSVECS04 Frhs2[179]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[181]: 6 0 2.02671 shouldn't be
53.50/53.99 WSVECS04 Frhs2[185]: 6 0 2.40252 shouldn't be
53.50/53.99 WSVECS04 Frhs2[187]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[195]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[199]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[201]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[205]: 6 0 0.460515 shouldn't be
53.50/53.99 WSVECS04 Frhs2[207]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[213]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[215]: 6 0 0.632131 shouldn't be
53.50/53.99 WSVECS04 Frhs2[223]: 6 0 0.694725 shouldn't be
53.50/53.99 WSVECS04 Frhs2[229]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[231]: 6 0 1.0358 shouldn't be
53.50/53.99 WSVECS04 Frhs2[235]: 6 0 1.39946 shouldn't be
53.50/53.99 WSVECS04 Frhs2[239]: 6 0 0.768212 shouldn't be
53.50/53.99 WSVECS04 Frhs2[245]: 6 0 6.21626 shouldn't be
53.50/53.99 WSVECS04 Frhs2[249]: 6 0 0.0350335 shouldn't be
53.50/53.99 WSVECS04 Frhs2[259]: 6 0 0.694724 shouldn't be
53.50/53.99 WSVECS04 Frhs2[263]: 6 0 0.774577 shouldn't be
53.50/53.99 WSVECS04 Frhs2[267]: 6 0 0.242931 shouldn't be
53.50/53.99 WSVECS04 Frhs2[269]: 6 0 0.347449 shouldn't be
53.50/53.99 WSVECS04 Frhs2[275]: 6 0 3.74193 shouldn't be
53.50/53.99 WSVECS04 Frhs2[282]: 6 0 0.0414186 shouldn't be
53.50/53.99 WSVECS04 Frhs2[283]: 6 0 0.736142 shouldn't be
53.50/53.99 WSVECS04 Frhs2[285]: 6 0 0.715434 shouldn't be
53.50/53.99 WSVECS04 Frhs2[286]: 6 -0.0207094 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[292]: 6 0 2.98608 shouldn't be
53.50/53.99 WSVECS04 Frhs2[293]: 6 0 0.884009 shouldn't be
53.50/53.99 WSVECS04 Frhs2[305]: 6 -3.09248 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[307]: 6 -2.61734 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[308]: 6 0 1.13096 shouldn't be
53.50/53.99 WSVECS04 Frhs2[309]: 6 0 1.43717 shouldn't be
53.50/53.99 WSVECS04 Frhs2[311]: 6 -0.670954 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[320]: 6 0 1.38867 shouldn't be
53.50/53.99 WSVECS04 Frhs2[321]: 6 -3.2223 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[322]: 6 0 2.81394 shouldn't be
53.50/53.99 WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[345]: 6 -3.71708 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[354]: 6 0 0.295125 shouldn't be
53.50/53.99 WSVECS04 Frhs2[362]: 6 -1 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[379]: 6 -3.02353 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[385]: 6 -1.44642 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[403]: 6 -1.70636 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[413]: 6 0 0.592332 shouldn't be
53.50/53.99 WSVECS04 Frhs2[416]: 6 -0.278342 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[427]: 6 -1.52683 0 shouldn't be
53.50/53.99 WSVECS04 Frhs2[428]: 6 0 0.857689 shouldn't be
69.58/70.25 c #Conflicts: 199000 | #Constraints: 10718
69.58/70.25 c #Conflicts: 200000 | #Constraints: 11718
69.58/70.25 c #Conflicts: 201000 | #Constraints: 12718
69.58/70.25 c #Conflicts: 202000 | #Constraints: 13719
69.58/70.25 c #Conflicts: 203000 | #Constraints: 14719
69.58/70.25 c #Conflicts: 204000 | #Constraints: 15719
69.58/70.25 c #Conflicts: 205000 | #Constraints: 16719
69.58/70.25 c #Conflicts: 206000 | #Constraints: 17719
69.58/70.25 c #Conflicts: 207000 | #Constraints: 18719
69.58/70.25 c INPROCESSING
69.58/70.25 c GARBAGE COLLECT
69.58/70.25 c #Conflicts: 208000 | #Constraints: 10711
69.58/70.25 c #Conflicts: 209000 | #Constraints: 11712
69.58/70.25 c #Conflicts: 210000 | #Constraints: 12712
69.58/70.25 c #Conflicts: 211000 | #Constraints: 13712
69.58/70.25 c #Conflicts: 212000 | #Constraints: 14712
69.58/70.25 c #Conflicts: 213000 | #Constraints: 15713
69.58/70.25 c #Conflicts: 214000 | #Constraints: 16717
69.58/70.25 c #Conflicts: 215000 | #Constraints: 17722
69.58/70.25 c #Conflicts: 216000 | #Constraints: 18730
69.58/70.25 c INPROCESSING
69.58/70.25 c GARBAGE COLLECT
69.58/70.25 c #Conflicts: 217000 | #Constraints: 10514
69.58/70.25 c #Conflicts: 218000 | #Constraints: 11515
69.58/70.25 c #Conflicts: 219000 | #Constraints: 12518
69.58/70.25 c #Conflicts: 220000 | #Constraints: 13523
69.58/70.25 c #Conflicts: 221000 | #Constraints: 14526
69.58/70.25 c #Conflicts: 222000 | #Constraints: 15532
69.58/70.25 c #Conflicts: 223000 | #Constraints: 16538
69.58/70.25 c #Conflicts: 224000 | #Constraints: 17540
69.58/70.25 c #Conflicts: 225000 | #Constraints: 18548
69.58/70.25 c #Conflicts: 226000 | #Constraints: 19559
69.58/70.25 c INPROCESSING
69.58/70.25 c GARBAGE COLLECT
69.58/70.25 c #Conflicts: 227000 | #Constraints: 11137
69.58/70.25 c #Conflicts: 228000 | #Constraints: 12139
69.58/70.25 c #Conflicts: 229000 | #Constraints: 13141
69.58/70.25 c #Conflicts: 230000 | #Constraints: 14142
69.58/70.25 c #Conflicts: 231000 | #Constraints: 15144
69.58/70.25 c #Conflicts: 232000 | #Constraints: 16145
69.58/70.25 c #Conflicts: 233000 | #Constraints: 17146
69.58/70.25 c #Conflicts: 234000 | #Constraints: 18147
69.58/70.25 c #Conflicts: 235000 | #Constraints: 19147
69.58/70.25 c #Conflicts: 236000 | #Constraints: 20148
69.58/70.25 c INPROCESSING
69.58/70.25 c GARBAGE COLLECT
69.58/70.25 c #Conflicts: 237000 | #Constraints: 11525
69.58/70.25 c #Conflicts: 238000 | #Constraints: 12526
69.58/70.25 c #Conflicts: 239000 | #Constraints: 13526
69.58/70.25 c #Conflicts: 240000 | #Constraints: 14527
69.58/70.25 c #Conflicts: 241000 | #Constraints: 15527
69.58/70.25 c #Conflicts: 242000 | #Constraints: 16528
69.58/70.25 c #Conflicts: 243000 | #Constraints: 17529
69.58/70.25 c #Conflicts: 244000 | #Constraints: 18530
69.58/70.25 c #Conflicts: 245000 | #Constraints: 19531
69.58/70.25 c #Conflicts: 246000 | #Constraints: 20532
69.58/70.25 c INPROCESSING
69.58/70.25 c GARBAGE COLLECT
69.58/70.25 WSVECS04 Frhs2[21]: 6 0 1.34811 shouldn't be
69.58/70.25 WSVECS04 Frhs2[32]: 6 0 7.42656 shouldn't be
69.58/70.25 WSVECS04 Frhs2[33]: 6 -1.08228 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[39]: 6 0 0.0753177 shouldn't be
69.58/70.25 WSVECS04 Frhs2[73]: 6 0 0.535563 shouldn't be
69.58/70.25 WSVECS04 Frhs2[79]: 6 0 0.100476 shouldn't be
69.58/70.25 WSVECS04 Frhs2[81]: 6 0 7.25772 shouldn't be
69.58/70.25 WSVECS04 Frhs2[93]: 6 0 0.970167 shouldn't be
69.58/70.25 WSVECS04 Frhs2[163]: 6 0 1.74488 shouldn't be
69.58/70.25 WSVECS04 Frhs2[197]: 6 0 5.64464 shouldn't be
69.58/70.25 WSVECS04 Frhs2[207]: 6 0 0.624052 shouldn't be
69.58/70.25 WSVECS04 Frhs2[211]: 6 0 2.01461 shouldn't be
69.58/70.25 WSVECS04 Frhs2[213]: 6 0 0.338307 shouldn't be
69.58/70.25 WSVECS04 Frhs2[214]: 6 0 0.338233 shouldn't be
69.58/70.25 WSVECS04 Frhs2[226]: 6 0 10.9259 shouldn't be
69.58/70.25 WSVECS04 Frhs2[235]: 6 0 0.100444 shouldn't be
69.58/70.25 WSVECS04 Frhs2[245]: 6 0 2.24946 shouldn't be
69.58/70.25 WSVECS04 Frhs2[247]: 6 0 0.974623 shouldn't be
69.58/70.25 WSVECS04 Frhs2[264]: 6 0 0.0709638 shouldn't be
69.58/70.25 WSVECS04 Frhs2[275]: 6 0 2.95864 shouldn't be
69.58/70.25 WSVECS04 Frhs2[277]: 6 0 0.100522 shouldn't be
69.58/70.25 WSVECS04 Frhs2[279]: 6 0 0.651304 shouldn't be
69.58/70.25 WSVECS04 Frhs2[281]: 6 0 0.709318 shouldn't be
69.58/70.25 WSVECS04 Frhs2[290]: 6 0 0.134984 shouldn't be
69.58/70.25 WSVECS04 Frhs2[293]: 6 0 7.7732 shouldn't be
69.58/70.25 WSVECS04 Frhs2[300]: 6 -2.47873 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[316]: 6 0 0.103671 shouldn't be
69.58/70.25 WSVECS04 Frhs2[330]: 6 0 0.4187 shouldn't be
69.58/70.25 WSVECS04 Frhs2[336]: 6 -1.32646 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[339]: 6 -1.55277 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[351]: 6 -1.06408 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[355]: 6 -1.30938 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[373]: 6 -1.99701 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[376]: 6 -2.91383 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[379]: 6 -1.59317 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[380]: 6 0 1.94527 shouldn't be
69.58/70.25 WSVECS04 Frhs2[386]: 6 0 0.296019 shouldn't be
69.58/70.25 WSVECS04 Frhs2[402]: 6 -1.66527 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[417]: 6 -1.46624 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[424]: 6 -1.81871 0 shouldn't be
69.58/70.25 WSVECS04 Frhs2[426]: 6 -0.834709 0 shouldn't be
69.68/70.31 WSVECS04 Frhs2[21]: 6 0 1.34808 shouldn't be
69.68/70.31 WSVECS04 Frhs2[79]: 6 0 0.100433 shouldn't be
69.68/70.31 WSVECS04 Frhs2[93]: 6 0 0.970069 shouldn't be
69.68/70.31 WSVECS04 Frhs2[168]: 6 0 0.521719 shouldn't be
69.68/70.31 WSVECS04 Frhs2[207]: 6 0 0.623962 shouldn't be
69.68/70.31 WSVECS04 Frhs2[213]: 6 0 0.338209 shouldn't be
69.68/70.31 WSVECS04 Frhs2[214]: 6 0 0.338208 shouldn't be
69.68/70.31 WSVECS04 Frhs2[235]: 6 0 0.100433 shouldn't be
69.68/70.31 WSVECS04 Frhs2[245]: 6 0 2.2494 shouldn't be
69.68/70.31 WSVECS04 Frhs2[247]: 6 0 0.974572 shouldn't be
69.68/70.31 WSVECS04 Frhs2[281]: 6 0 0.709283 shouldn't be
69.68/70.31 WSVECS04 Frhs2[339]: 6 -1.55268 0 shouldn't be
69.68/70.31 WSVECS04 Frhs2[351]: 6 -1.06403 0 shouldn't be
69.68/70.31 WSVECS04 Frhs2[379]: 6 -1.5931 0 shouldn't be
69.68/70.31 WSVECS04 Frhs2[380]: 6 0 1.94525 shouldn't be
69.68/70.31 WSVECS04 Frhs2[386]: 6 0 0.295962 shouldn't be
69.68/70.31 WSVECS04 Frhs2[417]: 6 -1.46623 0 shouldn't be
69.68/70.31 WSVECS04 Frhs2[424]: 6 -1.81869 0 shouldn't be
69.68/70.31 WSVECS04 Frhs2[426]: 6 -0.834658 0 shouldn't be
76.26/76.95 c #Conflicts: 247000 | #Constraints: 11716
76.26/76.95 c #Conflicts: 248000 | #Constraints: 12716
76.26/76.95 c #Conflicts: 249000 | #Constraints: 13716
76.26/76.95 c #Conflicts: 250000 | #Constraints: 14716
76.26/76.95 c #Conflicts: 251000 | #Constraints: 15716
76.26/76.95 c #Conflicts: 252000 | #Constraints: 16716
76.26/76.95 c #Conflicts: 253000 | #Constraints: 17716
76.26/76.95 c #Conflicts: 254000 | #Constraints: 18716
76.26/76.95 c #Conflicts: 255000 | #Constraints: 19716
76.26/76.95 c #Conflicts: 256000 | #Constraints: 20716
76.26/76.95 c INPROCESSING
76.26/76.95 c GARBAGE COLLECT
76.26/76.95 c #Conflicts: 257000 | #Constraints: 11702
76.26/76.95 c #Conflicts: 258000 | #Constraints: 12702
76.26/76.95 c #Conflicts: 259000 | #Constraints: 13702
76.26/76.95 c #Conflicts: 260000 | #Constraints: 14702
76.26/76.95 c #Conflicts: 261000 | #Constraints: 15702
76.26/76.95 c #Conflicts: 262000 | #Constraints: 16702
76.26/76.95 c #Conflicts: 263000 | #Constraints: 17702
76.26/76.95 c #Conflicts: 264000 | #Constraints: 18702
76.26/76.95 c #Conflicts: 265000 | #Constraints: 19702
76.26/76.95 c #Conflicts: 266000 | #Constraints: 20702
76.26/76.95 c INPROCESSING
76.26/76.95 c GARBAGE COLLECT
76.26/76.95 c rational objective 61.0021
96.29/97.15 c #Conflicts: 267000 | #Constraints: 11498
96.29/97.15 c #Conflicts: 268000 | #Constraints: 12498
96.29/97.15 c #Conflicts: 269000 | #Constraints: 13499
96.29/97.15 c #Conflicts: 270000 | #Constraints: 14499
96.29/97.15 c #Conflicts: 271000 | #Constraints: 15499
96.29/97.15 c #Conflicts: 272000 | #Constraints: 16499
96.29/97.15 c #Conflicts: 273000 | #Constraints: 17500
96.29/97.15 c #Conflicts: 274000 | #Constraints: 18501
96.29/97.15 c #Conflicts: 275000 | #Constraints: 19503
96.29/97.15 c #Conflicts: 276000 | #Constraints: 20505
96.29/97.15 c #Conflicts: 277000 | #Constraints: 21505
96.29/97.15 c INPROCESSING
96.29/97.15 c GARBAGE COLLECT
96.29/97.15 c #Conflicts: 278000 | #Constraints: 12102
96.29/97.15 c #Conflicts: 279000 | #Constraints: 13103
96.29/97.15 c #Conflicts: 280000 | #Constraints: 14103
96.29/97.15 c #Conflicts: 281000 | #Constraints: 15104
96.29/97.15 c #Conflicts: 282000 | #Constraints: 16105
96.29/97.15 c #Conflicts: 283000 | #Constraints: 17105
96.29/97.15 c #Conflicts: 284000 | #Constraints: 18105
96.29/97.15 c #Conflicts: 285000 | #Constraints: 19106
96.29/97.15 c #Conflicts: 286000 | #Constraints: 20108
96.29/97.15 c #Conflicts: 287000 | #Constraints: 21108
96.29/97.15 c #Conflicts: 288000 | #Constraints: 22109
96.29/97.15 c INPROCESSING
96.29/97.15 c GARBAGE COLLECT
96.29/97.15 c #Conflicts: 289000 | #Constraints: 12507
96.29/97.15 c #Conflicts: 290000 | #Constraints: 13508
96.29/97.15 c #Conflicts: 291000 | #Constraints: 14509
96.29/97.15 c #Conflicts: 292000 | #Constraints: 15511
96.29/97.15 c #Conflicts: 293000 | #Constraints: 16512
96.29/97.15 c #Conflicts: 294000 | #Constraints: 17515
96.29/97.15 c #Conflicts: 295000 | #Constraints: 18520
96.29/97.15 c #Conflicts: 296000 | #Constraints: 19521
96.29/97.15 c #Conflicts: 297000 | #Constraints: 20523
96.29/97.15 c #Conflicts: 298000 | #Constraints: 21523
96.29/97.15 c #Conflicts: 299000 | #Constraints: 22525
96.29/97.15 c INPROCESSING
96.29/97.15 c GARBAGE COLLECT
96.29/97.15 c #Conflicts: 300000 | #Constraints: 12714
96.29/97.15 c #Conflicts: 301000 | #Constraints: 13715
96.29/97.15 c #Conflicts: 302000 | #Constraints: 14715
96.29/97.15 c #Conflicts: 303000 | #Constraints: 15716
96.29/97.15 c #Conflicts: 304000 | #Constraints: 16717
96.29/97.15 c #Conflicts: 305000 | #Constraints: 17719
96.29/97.15 c #Conflicts: 306000 | #Constraints: 18720
96.29/97.15 c #Conflicts: 307000 | #Constraints: 19721
96.29/97.15 c #Conflicts: 308000 | #Constraints: 20721
96.29/97.15 c #Conflicts: 309000 | #Constraints: 21723
96.29/97.15 c #Conflicts: 310000 | #Constraints: 22724
96.29/97.15 c INPROCESSING
96.29/97.15 c GARBAGE COLLECT
96.29/97.15 c #Conflicts: 311000 | #Constraints: 12711
96.29/97.15 c #Conflicts: 312000 | #Constraints: 13711
96.29/97.15 c #Conflicts: 313000 | #Constraints: 14712
96.29/97.15 c #Conflicts: 314000 | #Constraints: 15712
96.29/97.15 c #Conflicts: 315000 | #Constraints: 16712
96.29/97.15 c #Conflicts: 316000 | #Constraints: 17713
96.29/97.15 c #Conflicts: 317000 | #Constraints: 18714
96.29/97.15 c #Conflicts: 318000 | #Constraints: 19715
96.29/97.15 c #Conflicts: 319000 | #Constraints: 20721
96.29/97.15 c #Conflicts: 320000 | #Constraints: 21730
96.29/97.15 c #Conflicts: 321000 | #Constraints: 22738
96.29/97.15 c INPROCESSING
96.29/97.15 c GARBAGE COLLECT
96.29/97.15 WSVECS04 Frhs2[11]: 6 0 101.976 shouldn't be
96.29/97.15 WSVECS04 Frhs2[12]: 6 0 101.976 shouldn't be
96.29/97.15 WSVECS04 Frhs2[15]: 6 0 5.99971 shouldn't be
96.29/97.15 WSVECS04 Frhs2[23]: 6 0 1680.45 shouldn't be
96.29/97.15 WSVECS04 Frhs2[24]: 6 0 91.0093 shouldn't be
96.29/97.15 WSVECS04 Frhs2[60]: 6 0 342.312 shouldn't be
96.29/97.15 WSVECS04 Frhs2[69]: 6 0 64.9796 shouldn't be
96.29/97.15 WSVECS04 Frhs2[99]: 6 0 22.4799 shouldn't be
96.29/97.15 WSVECS04 Frhs2[107]: 6 0 22.4799 shouldn't be
96.29/97.15 WSVECS04 Frhs2[112]: 6 -8.68058 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[121]: 6 -473.238 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[145]: 6 0 41.6708 shouldn't be
96.29/97.15 WSVECS04 Frhs2[149]: 6 0 48.6798 shouldn't be
96.29/97.15 WSVECS04 Frhs2[155]: 6 0 156.106 shouldn't be
96.29/97.15 WSVECS04 Frhs2[156]: 6 0 8.04323 shouldn't be
96.29/97.15 WSVECS04 Frhs2[163]: 6 0 83.4209 shouldn't be
96.29/97.15 WSVECS04 Frhs2[166]: 6 0 335.511 shouldn't be
96.29/97.15 WSVECS04 Frhs2[191]: 6 0 9.48286 shouldn't be
96.29/97.15 WSVECS04 Frhs2[208]: 6 -8.68051 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[209]: 6 0 205.591 shouldn't be
96.29/97.15 WSVECS04 Frhs2[216]: 6 -141.102 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[224]: 6 0 175.177 shouldn't be
96.29/97.15 WSVECS04 Frhs2[232]: 6 -29.7262 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[243]: 6 0 33.6149 shouldn't be
96.29/97.15 WSVECS04 Frhs2[249]: 6 0 46.511 shouldn't be
96.29/97.15 WSVECS04 Frhs2[264]: 6 -21.6928 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[274]: 6 0 190.158 shouldn't be
96.29/97.15 WSVECS04 Frhs2[275]: 6 0 804.613 shouldn't be
96.29/97.15 WSVECS04 Frhs2[276]: 6 0 221.103 shouldn't be
96.29/97.15 WSVECS04 Frhs2[279]: 6 0 112.305 shouldn't be
96.29/97.15 WSVECS04 Frhs2[280]: 6 0 94.0848 shouldn't be
96.29/97.15 WSVECS04 Frhs2[281]: 6 0 101.887 shouldn't be
96.29/97.15 WSVECS04 Frhs2[282]: 6 0 101.887 shouldn't be
96.29/97.15 WSVECS04 Frhs2[286]: 6 0 94.0741 shouldn't be
96.29/97.15 WSVECS04 Frhs2[299]: 6 0 465.979 shouldn't be
96.29/97.15 WSVECS04 Frhs2[307]: 6 -780.765 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[311]: 6 0 449.229 shouldn't be
96.29/97.15 WSVECS04 Frhs2[323]: 6 0 151.309 shouldn't be
96.29/97.15 WSVECS04 Frhs2[324]: 6 0 442.858 shouldn't be
96.29/97.15 WSVECS04 Frhs2[326]: 6 0 119.105 shouldn't be
96.29/97.15 WSVECS04 Frhs2[328]: 6 0 121.242 shouldn't be
96.29/97.15 WSVECS04 Frhs2[346]: 6 0 82.8415 shouldn't be
96.29/97.15 WSVECS04 Frhs2[360]: 6 -10.9581 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[362]: 6 -11.3805 0 shouldn't be
96.29/97.15 WSVECS04 Frhs2[398]: 6 0 148.741 shouldn't be
96.29/97.15 WSVECS04 Frhs2[423]: 6 0 409.592 shouldn't be
96.29/97.15 WSVECS04 Frhs2[424]: 6 0 107.665 shouldn't be
104.56/105.49 c #Conflicts: 322000 | #Constraints: 12524
104.56/105.49 c #Conflicts: 323000 | #Constraints: 13525
104.56/105.49 c #Conflicts: 324000 | #Constraints: 14525
104.56/105.49 c #Conflicts: 325000 | #Constraints: 15527
104.56/105.49 c #Conflicts: 326000 | #Constraints: 16528
104.56/105.49 c #Conflicts: 327000 | #Constraints: 17529
104.56/105.49 c #Conflicts: 328000 | #Constraints: 18532
104.56/105.49 c #Conflicts: 329000 | #Constraints: 19537
104.56/105.49 c #Conflicts: 330000 | #Constraints: 20543
104.56/105.49 c #Conflicts: 331000 | #Constraints: 21548
104.56/105.49 c #Conflicts: 332000 | #Constraints: 22552
104.56/105.49 c #Conflicts: 333000 | #Constraints: 23559
104.56/105.49 c INPROCESSING
104.56/105.49 c GARBAGE COLLECT
104.56/105.49 c #Conflicts: 334000 | #Constraints: 13125
104.56/105.49 c #Conflicts: 335000 | #Constraints: 14125
104.56/105.49 c #Conflicts: 336000 | #Constraints: 15125
104.56/105.49 c #Conflicts: 337000 | #Constraints: 16125
104.56/105.49 c #Conflicts: 338000 | #Constraints: 17125
104.56/105.49 c #Conflicts: 339000 | #Constraints: 18125
104.56/105.49 c #Conflicts: 340000 | #Constraints: 19125
104.56/105.49 c #Conflicts: 341000 | #Constraints: 20127
104.56/105.49 c #Conflicts: 342000 | #Constraints: 21129
104.56/105.49 c #Conflicts: 343000 | #Constraints: 22130
104.56/105.49 c #Conflicts: 344000 | #Constraints: 23131
104.56/105.49 c #Conflicts: 345000 | #Constraints: 24132
104.56/105.49 c INPROCESSING
104.56/105.49 c GARBAGE COLLECT
104.56/105.49 WSVECS04 Frhs2[3]: 6 0 18.5443 shouldn't be
104.56/105.49 WSVECS04 Frhs2[12]: 6 0 10.223 shouldn't be
104.56/105.49 WSVECS04 Frhs2[13]: 6 0 14.9815 shouldn't be
104.56/105.49 WSVECS04 Frhs2[14]: 6 0 21.0706 shouldn't be
104.56/105.49 WSVECS04 Frhs2[15]: 6 0 3.68754 shouldn't be
104.56/105.49 WSVECS04 Frhs2[19]: 6 0 2.06607 shouldn't be
104.56/105.49 WSVECS04 Frhs2[22]: 6 0 31.069 shouldn't be
104.56/105.49 WSVECS04 Frhs2[31]: 6 0 7.08612 shouldn't be
104.56/105.49 WSVECS04 Frhs2[32]: 6 0 13.1752 shouldn't be
104.56/105.49 WSVECS04 Frhs2[33]: 6 0 7.09384 shouldn't be
104.56/105.49 WSVECS04 Frhs2[38]: 6 0 8.15509 shouldn't be
104.56/105.49 WSVECS04 Frhs2[40]: 6 0 21.5622 shouldn't be
104.56/105.49 WSVECS04 Frhs2[41]: 6 0 23.4166 shouldn't be
104.56/105.49 WSVECS04 Frhs2[56]: 6 0 8.15511 shouldn't be
104.56/105.49 WSVECS04 Frhs2[66]: 6 0 28.6896 shouldn't be
104.56/105.49 WSVECS04 Frhs2[75]: 6 0 15.1655 shouldn't be
104.56/105.49 WSVECS04 Frhs2[79]: 6 0 1.17334 shouldn't be
104.56/105.49 WSVECS04 Frhs2[85]: 6 0 7.96922 shouldn't be
104.56/105.49 WSVECS04 Frhs2[88]: 6 0 8.15509 shouldn't be
104.56/105.49 WSVECS04 Frhs2[99]: 6 0 4.82166 shouldn't be
104.56/105.49 WSVECS04 Frhs2[111]: 6 0 33.1574 shouldn't be
104.56/105.49 WSVECS04 Frhs2[121]: 6 -81.1708 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[134]: 6 0 8.15508 shouldn't be
104.56/105.49 WSVECS04 Frhs2[136]: 6 0 8.15507 shouldn't be
104.56/105.49 WSVECS04 Frhs2[143]: 6 0 33.7851 shouldn't be
104.56/105.49 WSVECS04 Frhs2[151]: 6 0 2.06608 shouldn't be
104.56/105.49 WSVECS04 Frhs2[154]: 6 0 20.402 shouldn't be
104.56/105.49 WSVECS04 Frhs2[157]: 6 0 11.1199 shouldn't be
104.56/105.49 WSVECS04 Frhs2[161]: 6 0 2.06603 shouldn't be
104.56/105.49 WSVECS04 Frhs2[162]: 6 0 8.15509 shouldn't be
104.56/105.49 WSVECS04 Frhs2[164]: 6 0 30.1366 shouldn't be
104.56/105.49 WSVECS04 Frhs2[165]: 6 0 19.9681 shouldn't be
104.56/105.49 WSVECS04 Frhs2[166]: 6 0 10.3391 shouldn't be
104.56/105.49 WSVECS04 Frhs2[176]: 6 0 8.15513 shouldn't be
104.56/105.49 WSVECS04 Frhs2[177]: 6 0 1.41529 shouldn't be
104.56/105.49 WSVECS04 Frhs2[181]: 6 0 2.06602 shouldn't be
104.56/105.49 WSVECS04 Frhs2[191]: 6 0 4.25012 shouldn't be
104.56/105.49 WSVECS04 Frhs2[193]: 6 0 2.75039 shouldn't be
104.56/105.49 WSVECS04 Frhs2[199]: 6 0 2.06603 shouldn't be
104.56/105.49 WSVECS04 Frhs2[202]: 6 0 39.6522 shouldn't be
104.56/105.49 WSVECS04 Frhs2[206]: 6 0 8.15513 shouldn't be
104.56/105.49 WSVECS04 Frhs2[207]: 6 0 2.06608 shouldn't be
104.56/105.49 WSVECS04 Frhs2[213]: 6 0 7.51917 shouldn't be
104.56/105.49 WSVECS04 Frhs2[214]: 6 0 8.15509 shouldn't be
104.56/105.49 WSVECS04 Frhs2[215]: 6 0 4.25013 shouldn't be
104.56/105.49 WSVECS04 Frhs2[216]: 6 0 10.3392 shouldn't be
104.56/105.49 WSVECS04 Frhs2[217]: 6 0 4.1256 shouldn't be
104.56/105.49 WSVECS04 Frhs2[219]: 6 0 25.1214 shouldn't be
104.56/105.49 WSVECS04 Frhs2[223]: 6 0 1.96327 shouldn't be
104.56/105.49 WSVECS04 Frhs2[224]: 6 0 18.8056 shouldn't be
104.56/105.49 WSVECS04 Frhs2[227]: 6 0 33.4975 shouldn't be
104.56/105.49 WSVECS04 Frhs2[228]: 6 0 8.15512 shouldn't be
104.56/105.49 WSVECS04 Frhs2[229]: 6 0 2.06609 shouldn't be
104.56/105.49 WSVECS04 Frhs2[231]: 6 0 2.06603 shouldn't be
104.56/105.49 WSVECS04 Frhs2[238]: 6 0 10.812 shouldn't be
104.56/105.49 WSVECS04 Frhs2[240]: 6 0 10.3391 shouldn't be
104.56/105.49 WSVECS04 Frhs2[245]: 6 0 22.5047 shouldn't be
104.56/105.49 WSVECS04 Frhs2[250]: 6 0 10.7887 shouldn't be
104.56/105.49 WSVECS04 Frhs2[255]: 6 0 2.06606 shouldn't be
104.56/105.49 WSVECS04 Frhs2[256]: 6 0 8.15511 shouldn't be
104.56/105.49 WSVECS04 Frhs2[257]: 6 0 29.2797 shouldn't be
104.56/105.49 WSVECS04 Frhs2[259]: 6 0 2.06602 shouldn't be
104.56/105.49 WSVECS04 Frhs2[265]: 6 0 5.96652 shouldn't be
104.56/105.49 WSVECS04 Frhs2[272]: 6 0 8.64407 shouldn't be
104.56/105.49 WSVECS04 Frhs2[274]: 6 0 10.3173 shouldn't be
104.56/105.49 WSVECS04 Frhs2[275]: 6 0 44.3771 shouldn't be
104.56/105.49 WSVECS04 Frhs2[282]: 6 0 7.12211 shouldn't be
104.56/105.49 WSVECS04 Frhs2[283]: 6 0 1.54954 shouldn't be
104.56/105.49 WSVECS04 Frhs2[284]: 6 0 7.63858 shouldn't be
104.56/105.49 WSVECS04 Frhs2[291]: 6 -23.9926 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[292]: 6 0 7.34196 shouldn't be
104.56/105.49 WSVECS04 Frhs2[298]: 6 0 14.4609 shouldn't be
104.56/105.49 WSVECS04 Frhs2[303]: 6 0 21.6363 shouldn't be
104.56/105.49 WSVECS04 Frhs2[304]: 6 -20.6267 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[305]: 6 -30.7451 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[308]: 6 -47.8638 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[310]: 6 -53.0702 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[315]: 6 -28.8341 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[323]: 6 -13.9467 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[327]: 6 -28.155 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[328]: 6 0 47.6824 shouldn't be
104.56/105.49 WSVECS04 Frhs2[335]: 6 -16.3123 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[338]: 6 -49.0143 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[339]: 6 -37.5892 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[351]: 6 -32.9896 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[379]: 6 -12.2088 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[380]: 6 0 5.30572 shouldn't be
104.56/105.49 WSVECS04 Frhs2[383]: 6 -33.2362 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[385]: 6 -34.082 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[386]: 6 0 16.9557 shouldn't be
104.56/105.49 WSVECS04 Frhs2[391]: 6 -39.4148 0 shouldn't be
104.56/105.49 WSVECS04 Frhs2[393]: 6 0 13.0487 shouldn't be
104.56/105.49 WSVECS04 Frhs2[406]: 6 0 0.342961 shouldn't be
104.56/105.49 WSVECS04 Frhs2[410]: 6 0 20.3473 shouldn't be
104.56/105.49 WSVECS04 Frhs2[420]: 6 0 11.6779 shouldn't be
104.56/105.49 WSVECS04 Frhs2[422]: 6 -1.4908 0 shouldn't be
104.66/105.55 WSVECS04 Frhs2[83]: 6 0 2.06602 shouldn't be
104.66/105.55 WSVECS04 Frhs2[123]: 6 0 15.0585 shouldn't be
104.66/105.55 WSVECS04 Frhs2[153]: 6 0 0.571906 shouldn't be
104.66/105.55 WSVECS04 Frhs2[195]: 6 0 2.06603 shouldn't be
104.66/105.55 WSVECS04 Frhs2[203]: 6 0 2.06607 shouldn't be
104.66/105.55 WSVECS04 Frhs2[211]: 6 0 7.17065 shouldn't be
104.66/105.55 WSVECS04 Frhs2[239]: 6 0 4.25015 shouldn't be
104.66/105.55 WSVECS04 Frhs2[251]: 6 0 2.06603 shouldn't be
104.76/105.61 WSVECS04 Frhs2[36]: 6 0 8.15509 shouldn't be
104.76/105.61 WSVECS04 Frhs2[58]: 6 0 8.15509 shouldn't be
104.76/105.61 WSVECS04 Frhs2[86]: 6 0 8.15508 shouldn't be
104.76/105.61 WSVECS04 Frhs2[92]: 6 0 8.15508 shouldn't be
104.76/105.61 WSVECS04 Frhs2[110]: 6 0 18.2121 shouldn't be
104.76/105.61 WSVECS04 Frhs2[128]: 6 0 8.15506 shouldn't be
104.76/105.61 WSVECS04 Frhs2[167]: 6 0 22.0195 shouldn't be
104.76/105.61 WSVECS04 Frhs2[188]: 6 0 8.15507 shouldn't be
104.76/105.61 WSVECS04 Frhs2[200]: 6 0 8.15512 shouldn't be
104.76/105.61 WSVECS04 Frhs2[204]: 6 0 8.15512 shouldn't be
104.76/105.61 WSVECS04 Frhs2[212]: 6 0 8.15512 shouldn't be
104.76/105.61 WSVECS04 Frhs2[220]: 6 0 8.15509 shouldn't be
104.76/105.61 WSVECS04 Frhs2[226]: 6 0 11.0634 shouldn't be
104.76/105.61 WSVECS04 Frhs2[232]: 6 0 8.15511 shouldn't be
104.76/105.61 WSVECS04 Frhs2[234]: 6 0 8.15511 shouldn't be
104.76/105.61 WSVECS04 Frhs2[252]: 6 0 8.15507 shouldn't be
104.76/105.61 WSVECS04 Frhs2[273]: 6 0 4.22815 shouldn't be
104.76/105.61 WSVECS04 Frhs2[286]: 6 0 7.89689 shouldn't be
104.86/105.73 WSVECS04 Frhs2[276]: 6 0 42.26 shouldn't be
104.86/105.75 c rational objective 61.0023
122.31/123.30 c #Conflicts: 346000 | #Constraints: 13515
122.31/123.30 c #Conflicts: 347000 | #Constraints: 14516
122.31/123.30 c #Conflicts: 348000 | #Constraints: 15516
122.31/123.30 c #Conflicts: 349000 | #Constraints: 16517
122.31/123.30 c #Conflicts: 350000 | #Constraints: 17519
122.31/123.30 c #Conflicts: 351000 | #Constraints: 18519
122.31/123.30 c #Conflicts: 352000 | #Constraints: 19523
122.31/123.30 c #Conflicts: 353000 | #Constraints: 20525
122.31/123.30 c #Conflicts: 354000 | #Constraints: 21526
122.31/123.30 c #Conflicts: 355000 | #Constraints: 22527
122.31/123.30 c #Conflicts: 356000 | #Constraints: 23527
122.31/123.30 c #Conflicts: 357000 | #Constraints: 24528
122.31/123.30 c INPROCESSING
122.31/123.30 c GARBAGE COLLECT
122.31/123.30 c #Conflicts: 358000 | #Constraints: 13711
122.31/123.30 c #Conflicts: 359000 | #Constraints: 14712
122.31/123.30 c #Conflicts: 360000 | #Constraints: 15714
122.31/123.30 c #Conflicts: 361000 | #Constraints: 16715
122.31/123.30 c #Conflicts: 362000 | #Constraints: 17716
122.31/123.30 c #Conflicts: 363000 | #Constraints: 18716
122.31/123.30 c #Conflicts: 364000 | #Constraints: 19717
122.31/123.30 c #Conflicts: 365000 | #Constraints: 20718
122.31/123.30 c #Conflicts: 366000 | #Constraints: 21718
122.31/123.30 c #Conflicts: 367000 | #Constraints: 22719
122.31/123.30 c #Conflicts: 368000 | #Constraints: 23719
122.31/123.30 c #Conflicts: 369000 | #Constraints: 24720
122.31/123.30 c INPROCESSING
122.31/123.30 c GARBAGE COLLECT
122.31/123.30 c #Conflicts: 370000 | #Constraints: 13712
122.31/123.30 c #Conflicts: 371000 | #Constraints: 14714
122.31/123.30 c #Conflicts: 372000 | #Constraints: 15717
122.31/123.30 c #Conflicts: 373000 | #Constraints: 16719
122.31/123.30 c #Conflicts: 374000 | #Constraints: 17720
122.31/123.30 c #Conflicts: 375000 | #Constraints: 18721
122.31/123.30 c #Conflicts: 376000 | #Constraints: 19723
122.31/123.30 c #Conflicts: 377000 | #Constraints: 20733
122.31/123.30 c #Conflicts: 378000 | #Constraints: 21739
122.31/123.30 c #Conflicts: 379000 | #Constraints: 22744
122.31/123.30 c #Conflicts: 380000 | #Constraints: 23746
122.31/123.30 c #Conflicts: 381000 | #Constraints: 24746
122.31/123.30 c INPROCESSING
122.31/123.30 c GARBAGE COLLECT
122.31/123.30 c #Conflicts: 382000 | #Constraints: 13525
122.31/123.30 c #Conflicts: 383000 | #Constraints: 14526
122.31/123.30 c #Conflicts: 384000 | #Constraints: 15527
122.31/123.30 c #Conflicts: 385000 | #Constraints: 16528
122.31/123.30 c #Conflicts: 386000 | #Constraints: 17529
122.31/123.30 c #Conflicts: 387000 | #Constraints: 18530
122.31/123.30 c #Conflicts: 388000 | #Constraints: 19531
122.31/123.30 c #Conflicts: 389000 | #Constraints: 20532
122.31/123.30 c #Conflicts: 390000 | #Constraints: 21532
122.31/123.30 c #Conflicts: 391000 | #Constraints: 22532
122.31/123.30 c #Conflicts: 392000 | #Constraints: 23533
122.31/123.30 c #Conflicts: 393000 | #Constraints: 24534
122.31/123.30 c #Conflicts: 394000 | #Constraints: 25536
122.31/123.30 c INPROCESSING
122.31/123.30 c GARBAGE COLLECT
122.31/123.30 WSVECS04 Frhs2[9]: 6 0 17.816 shouldn't be
122.31/123.30 WSVECS04 Frhs2[10]: 6 0 0.228342 shouldn't be
122.31/123.30 WSVECS04 Frhs2[15]: 6 0 1.05161 shouldn't be
122.31/123.30 WSVECS04 Frhs2[17]: 6 0 0.166705 shouldn't be
122.31/123.30 WSVECS04 Frhs2[25]: 6 0 1.78526 shouldn't be
122.31/123.30 WSVECS04 Frhs2[27]: 6 0 27.0315 shouldn't be
122.31/123.30 WSVECS04 Frhs2[43]: 6 0 12.1916 shouldn't be
122.31/123.30 WSVECS04 Frhs2[52]: 6 0 4.84007 shouldn't be
122.31/123.30 WSVECS04 Frhs2[70]: 6 0 3.23606 shouldn't be
122.31/123.30 WSVECS04 Frhs2[73]: 6 0 0.140004 shouldn't be
122.31/123.30 WSVECS04 Frhs2[87]: 6 0 8.20081 shouldn't be
122.31/123.30 WSVECS04 Frhs2[97]: 6 0 2.5435 shouldn't be
122.31/123.30 WSVECS04 Frhs2[111]: 6 0 1.92721 shouldn't be
122.31/123.30 WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
122.31/123.30 WSVECS04 Frhs2[119]: 6 0 0.129672 shouldn't be
122.31/123.30 WSVECS04 Frhs2[121]: 6 -2.41518 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[153]: 6 0 2.11355 shouldn't be
122.31/123.30 WSVECS04 Frhs2[159]: 6 0 5.07294 shouldn't be
122.31/123.30 WSVECS04 Frhs2[161]: 6 0 2.99953 shouldn't be
122.31/123.30 WSVECS04 Frhs2[166]: 6 0 9.17717 shouldn't be
122.31/123.30 WSVECS04 Frhs2[167]: 6 0 9.35363 shouldn't be
122.31/123.30 WSVECS04 Frhs2[175]: 6 0 34.3948 shouldn't be
122.31/123.30 WSVECS04 Frhs2[177]: 6 0 0.491947 shouldn't be
122.31/123.30 WSVECS04 Frhs2[178]: 6 0 2.19041 shouldn't be
122.31/123.30 WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
122.31/123.30 WSVECS04 Frhs2[187]: 6 0 6.41989 shouldn't be
122.31/123.30 WSVECS04 Frhs2[189]: 6 0 1.96407 shouldn't be
122.31/123.30 WSVECS04 Frhs2[191]: 6 0 9.51701 shouldn't be
122.31/123.30 WSVECS04 Frhs2[199]: 6 0 4.02005 shouldn't be
122.31/123.30 WSVECS04 Frhs2[200]: 6 0 5.2501 shouldn't be
122.31/123.30 WSVECS04 Frhs2[203]: 6 0 16.6765 shouldn't be
122.31/123.30 WSVECS04 Frhs2[204]: 6 0 16.6765 shouldn't be
122.31/123.30 WSVECS04 Frhs2[207]: 6 0 2.99953 shouldn't be
122.31/123.30 WSVECS04 Frhs2[224]: 6 0 3.65668 shouldn't be
122.31/123.30 WSVECS04 Frhs2[228]: 6 0 3.32922 shouldn't be
122.31/123.30 WSVECS04 Frhs2[235]: 6 0 8.13814 shouldn't be
122.31/123.30 WSVECS04 Frhs2[237]: 6 0 7.52134 shouldn't be
122.31/123.30 WSVECS04 Frhs2[241]: 6 0 2.31683 shouldn't be
122.31/123.30 WSVECS04 Frhs2[243]: 6 0 2.9158 shouldn't be
122.31/123.30 WSVECS04 Frhs2[249]: 6 -5.05082 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[250]: 6 0 2.5261 shouldn't be
122.31/123.30 WSVECS04 Frhs2[257]: 6 0 2.81807 shouldn't be
122.31/123.30 WSVECS04 Frhs2[275]: 6 0 8.92877 shouldn't be
122.31/123.30 WSVECS04 Frhs2[277]: 6 0 2.31684 shouldn't be
122.31/123.30 WSVECS04 Frhs2[282]: 6 -37.4569 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[286]: 6 0 2.78063 shouldn't be
122.31/123.30 WSVECS04 Frhs2[296]: 6 -23.9098 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[303]: 6 0 16.3278 shouldn't be
122.31/123.30 WSVECS04 Frhs2[312]: 6 0 3.39745 shouldn't be
122.31/123.30 WSVECS04 Frhs2[318]: 6 -17.4742 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[334]: 6 0 19.6194 shouldn't be
122.31/123.30 WSVECS04 Frhs2[335]: 6 0 2.51151 shouldn't be
122.31/123.30 WSVECS04 Frhs2[336]: 6 -10.3653 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[338]: 6 -2.53558 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[339]: 6 0 4.69845 shouldn't be
122.31/123.30 WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[343]: 6 -8.6777 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[348]: 6 -14.3173 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[350]: 6 -8.8661 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[362]: 6 -0.507159 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[369]: 6 0 7.04944 shouldn't be
122.31/123.30 WSVECS04 Frhs2[382]: 6 0 5.35417 shouldn't be
122.31/123.30 WSVECS04 Frhs2[390]: 6 -22.1499 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[391]: 6 -7.0809 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[392]: 6 0 9.21984 shouldn't be
122.31/123.30 WSVECS04 Frhs2[397]: 6 -14.6127 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[421]: 6 -4.10658 0 shouldn't be
122.31/123.30 WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[21]: 6 0 0.342084 shouldn't be
122.41/123.36 WSVECS04 Frhs2[43]: 6 0 12.1915 shouldn't be
122.41/123.36 WSVECS04 Frhs2[111]: 6 0 1.92715 shouldn't be
122.41/123.36 WSVECS04 Frhs2[119]: 6 0 0.129653 shouldn't be
122.41/123.36 WSVECS04 Frhs2[121]: 6 -2.4151 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[167]: 6 0 9.35361 shouldn't be
122.41/123.36 WSVECS04 Frhs2[175]: 6 0 34.3947 shouldn't be
122.41/123.36 WSVECS04 Frhs2[187]: 6 0 6.41986 shouldn't be
122.41/123.36 WSVECS04 Frhs2[189]: 6 0 1.96404 shouldn't be
122.41/123.36 WSVECS04 Frhs2[228]: 6 0 3.32915 shouldn't be
122.41/123.36 WSVECS04 Frhs2[276]: 6 0 8.90993 shouldn't be
122.41/123.36 WSVECS04 Frhs2[282]: 6 -37.4568 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[296]: 6 -23.9097 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[303]: 6 0 16.3277 shouldn't be
122.41/123.36 WSVECS04 Frhs2[312]: 6 0 3.39736 shouldn't be
122.41/123.36 WSVECS04 Frhs2[323]: 6 0 28.4424 shouldn't be
122.41/123.36 WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[339]: 6 0 4.6984 shouldn't be
122.41/123.36 WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[343]: 6 -8.67761 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[348]: 6 -14.3172 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[350]: 6 -8.86606 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[365]: 6 0 20.7904 shouldn't be
122.41/123.36 WSVECS04 Frhs2[372]: 6 -18.5458 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[382]: 6 0 5.35412 shouldn't be
122.41/123.36 WSVECS04 Frhs2[390]: 6 -22.1498 0 shouldn't be
122.41/123.36 WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[10]: 6 0 0.228271 shouldn't be
122.50/123.42 WSVECS04 Frhs2[15]: 6 0 1.05153 shouldn't be
122.50/123.42 WSVECS04 Frhs2[17]: 6 0 0.166652 shouldn't be
122.50/123.42 WSVECS04 Frhs2[19]: 6 0 0.283607 shouldn't be
122.50/123.42 WSVECS04 Frhs2[25]: 6 0 1.78522 shouldn't be
122.50/123.42 WSVECS04 Frhs2[52]: 6 0 4.84004 shouldn't be
122.50/123.42 WSVECS04 Frhs2[69]: 6 0 10.3338 shouldn't be
122.50/123.42 WSVECS04 Frhs2[70]: 6 0 3.23605 shouldn't be
122.50/123.42 WSVECS04 Frhs2[73]: 6 0 0.139972 shouldn't be
122.50/123.42 WSVECS04 Frhs2[87]: 6 0 8.20075 shouldn't be
122.50/123.42 WSVECS04 Frhs2[97]: 6 0 2.54341 shouldn't be
122.50/123.42 WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
122.50/123.42 WSVECS04 Frhs2[159]: 6 0 5.07288 shouldn't be
122.50/123.42 WSVECS04 Frhs2[161]: 6 0 2.99951 shouldn't be
122.50/123.42 WSVECS04 Frhs2[166]: 6 0 9.17711 shouldn't be
122.50/123.42 WSVECS04 Frhs2[177]: 6 0 0.491895 shouldn't be
122.50/123.42 WSVECS04 Frhs2[178]: 6 0 2.19039 shouldn't be
122.50/123.42 WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
122.50/123.42 WSVECS04 Frhs2[199]: 6 0 4.02003 shouldn't be
122.50/123.42 WSVECS04 Frhs2[200]: 6 0 5.25 shouldn't be
122.50/123.42 WSVECS04 Frhs2[207]: 6 0 2.99951 shouldn't be
122.50/123.42 WSVECS04 Frhs2[224]: 6 0 3.65664 shouldn't be
122.50/123.42 WSVECS04 Frhs2[234]: 6 0 0.22827 shouldn't be
122.50/123.42 WSVECS04 Frhs2[235]: 6 0 8.1381 shouldn't be
122.50/123.42 WSVECS04 Frhs2[237]: 6 0 7.52127 shouldn't be
122.50/123.42 WSVECS04 Frhs2[241]: 6 0 2.31675 shouldn't be
122.50/123.42 WSVECS04 Frhs2[249]: 6 -5.05078 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[250]: 6 0 2.52608 shouldn't be
122.50/123.42 WSVECS04 Frhs2[257]: 6 0 2.81798 shouldn't be
122.50/123.42 WSVECS04 Frhs2[275]: 6 0 8.92871 shouldn't be
122.50/123.42 WSVECS04 Frhs2[277]: 6 0 2.31675 shouldn't be
122.50/123.42 WSVECS04 Frhs2[300]: 6 -3.40447 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[318]: 6 -17.4741 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[334]: 6 0 19.6193 shouldn't be
122.50/123.42 WSVECS04 Frhs2[338]: 6 -2.53551 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[340]: 6 -11.4243 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[362]: 6 -0.507079 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[391]: 6 -7.08085 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[399]: 6 -3.90715 0 shouldn't be
122.50/123.42 WSVECS04 Frhs2[421]: 6 -4.10655 0 shouldn't be
122.50/123.48 WSVECS04 Frhs2[92]: 6 0 0.927078 shouldn't be
122.50/123.48 WSVECS04 Frhs2[153]: 6 0 2.11347 shouldn't be
122.50/123.48 WSVECS04 Frhs2[203]: 6 0 16.6764 shouldn't be
122.50/123.48 WSVECS04 Frhs2[243]: 6 0 2.91576 shouldn't be
122.50/123.48 WSVECS04 Frhs2[369]: 6 0 7.04938 shouldn't be
146.46/147.50 c #Conflicts: 395000 | #Constraints: 14126
146.46/147.50 c #Conflicts: 396000 | #Constraints: 15126
146.46/147.50 c #Conflicts: 397000 | #Constraints: 16126
146.46/147.50 c #Conflicts: 398000 | #Constraints: 17126
146.46/147.50 c #Conflicts: 399000 | #Constraints: 18127
146.46/147.50 c #Conflicts: 400000 | #Constraints: 19128
146.46/147.50 c #Conflicts: 401000 | #Constraints: 20129
146.46/147.50 c #Conflicts: 402000 | #Constraints: 21130
146.46/147.50 c #Conflicts: 403000 | #Constraints: 22130
146.46/147.50 c #Conflicts: 404000 | #Constraints: 23131
146.46/147.50 c #Conflicts: 405000 | #Constraints: 24132
146.46/147.50 c #Conflicts: 406000 | #Constraints: 25132
146.46/147.50 c #Conflicts: 407000 | #Constraints: 26134
146.46/147.50 c INPROCESSING
146.46/147.50 c GARBAGE COLLECT
146.46/147.50 c #Conflicts: 408000 | #Constraints: 14523
146.46/147.50 c #Conflicts: 409000 | #Constraints: 15524
146.46/147.50 c #Conflicts: 410000 | #Constraints: 16525
146.46/147.50 c #Conflicts: 411000 | #Constraints: 17527
146.46/147.50 c #Conflicts: 412000 | #Constraints: 18529
146.46/147.50 c #Conflicts: 413000 | #Constraints: 19530
146.46/147.50 c #Conflicts: 414000 | #Constraints: 20532
146.46/147.50 c #Conflicts: 415000 | #Constraints: 21534
146.46/147.50 c #Conflicts: 416000 | #Constraints: 22536
146.46/147.50 c #Conflicts: 417000 | #Constraints: 23538
146.46/147.50 c #Conflicts: 418000 | #Constraints: 24540
146.46/147.50 c #Conflicts: 419000 | #Constraints: 25540
146.46/147.50 c #Conflicts: 420000 | #Constraints: 26543
146.46/147.50 c INPROCESSING
146.46/147.50 c GARBAGE COLLECT
146.46/147.50 c #Conflicts: 421000 | #Constraints: 14733
146.46/147.50 c #Conflicts: 422000 | #Constraints: 15735
146.46/147.50 c #Conflicts: 423000 | #Constraints: 16738
146.46/147.50 c #Conflicts: 424000 | #Constraints: 17741
146.46/147.50 c #Conflicts: 425000 | #Constraints: 18744
146.46/147.50 c #Conflicts: 426000 | #Constraints: 19747
146.46/147.50 c #Conflicts: 427000 | #Constraints: 20748
146.46/147.50 c #Conflicts: 428000 | #Constraints: 21750
146.46/147.50 c #Conflicts: 429000 | #Constraints: 22752
146.46/147.50 c #Conflicts: 430000 | #Constraints: 23755
146.46/147.50 c #Conflicts: 431000 | #Constraints: 24761
146.46/147.50 c #Conflicts: 432000 | #Constraints: 25767
146.46/147.50 c #Conflicts: 433000 | #Constraints: 26785
146.46/147.50 c INPROCESSING
146.46/147.50 c GARBAGE COLLECT
146.46/147.50 c #Conflicts: 434000 | #Constraints: 14754
146.46/147.50 c #Conflicts: 435000 | #Constraints: 15755
146.46/147.50 c #Conflicts: 436000 | #Constraints: 16758
146.46/147.50 c #Conflicts: 437000 | #Constraints: 17759
146.46/147.50 c #Conflicts: 438000 | #Constraints: 18760
146.46/147.50 c #Conflicts: 439000 | #Constraints: 19761
146.46/147.50 c #Conflicts: 440000 | #Constraints: 20762
146.46/147.50 c #Conflicts: 441000 | #Constraints: 21764
146.46/147.50 c #Conflicts: 442000 | #Constraints: 22766
146.46/147.50 c #Conflicts: 443000 | #Constraints: 23772
146.46/147.50 c #Conflicts: 444000 | #Constraints: 24780
146.46/147.50 c #Conflicts: 445000 | #Constraints: 25804
146.46/147.50 c #Conflicts: 446000 | #Constraints: 26806
146.46/147.50 c INPROCESSING
146.46/147.50 c GARBAGE COLLECT
146.46/147.50 WSVECS04 Frhs2[17]: 6 0 1.27265 shouldn't be
146.46/147.50 WSVECS04 Frhs2[19]: 6 0 0.424219 shouldn't be
146.46/147.50 WSVECS04 Frhs2[51]: 6 0 18.9788 shouldn't be
146.46/147.50 WSVECS04 Frhs2[57]: 6 0 7.27893 shouldn't be
146.46/147.50 WSVECS04 Frhs2[58]: 6 -22.894 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[59]: 6 0 1.14021 shouldn't be
146.46/147.50 WSVECS04 Frhs2[65]: 6 0 7.88595 shouldn't be
146.46/147.50 WSVECS04 Frhs2[69]: 6 0 1.08613 shouldn't be
146.46/147.50 WSVECS04 Frhs2[71]: 6 0 1.15641 shouldn't be
146.46/147.50 WSVECS04 Frhs2[79]: 6 0 8.865 shouldn't be
146.46/147.50 WSVECS04 Frhs2[105]: 6 0 11.0391 shouldn't be
146.46/147.50 WSVECS04 Frhs2[119]: 6 0 18.8039 shouldn't be
146.46/147.50 WSVECS04 Frhs2[135]: 6 0 2.24143 shouldn't be
146.46/147.50 WSVECS04 Frhs2[155]: 6 0 20.0691 shouldn't be
146.46/147.50 WSVECS04 Frhs2[159]: 6 0 3.81881 shouldn't be
146.46/147.50 WSVECS04 Frhs2[165]: 6 0 2.01304 shouldn't be
146.46/147.50 WSVECS04 Frhs2[167]: 6 0 150.88 shouldn't be
146.46/147.50 WSVECS04 Frhs2[168]: 6 0 137.92 shouldn't be
146.46/147.50 WSVECS04 Frhs2[175]: 6 0 8.59681 shouldn't be
146.46/147.50 WSVECS04 Frhs2[177]: 6 0 2.12935 shouldn't be
146.46/147.50 WSVECS04 Frhs2[183]: 6 0 22.0715 shouldn't be
146.46/147.50 WSVECS04 Frhs2[185]: 6 0 5.7731 shouldn't be
146.46/147.50 WSVECS04 Frhs2[191]: 6 0 48.0785 shouldn't be
146.46/147.50 WSVECS04 Frhs2[192]: 6 0 51.5593 shouldn't be
146.46/147.50 WSVECS04 Frhs2[203]: 6 -0.0621742 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[221]: 6 0 26.9364 shouldn't be
146.46/147.50 WSVECS04 Frhs2[223]: 6 0 181.009 shouldn't be
146.46/147.50 WSVECS04 Frhs2[227]: 6 0 1.20192 shouldn't be
146.46/147.50 WSVECS04 Frhs2[237]: 6 0 27.9695 shouldn't be
146.46/147.50 WSVECS04 Frhs2[238]: 6 0 91.8551 shouldn't be
146.46/147.50 WSVECS04 Frhs2[249]: 6 0 12.7085 shouldn't be
146.46/147.50 WSVECS04 Frhs2[269]: 6 -1.11033 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[277]: 6 0 35.3425 shouldn't be
146.46/147.50 WSVECS04 Frhs2[279]: 6 0 7.13677 shouldn't be
146.46/147.50 WSVECS04 Frhs2[283]: 6 0 5.57059 shouldn't be
146.46/147.50 WSVECS04 Frhs2[291]: 6 -23.0815 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[295]: 6 0 8.9954 shouldn't be
146.46/147.50 WSVECS04 Frhs2[296]: 6 -84.4477 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[304]: 6 0 44.5597 shouldn't be
146.46/147.50 WSVECS04 Frhs2[362]: 6 -3.66169 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[396]: 6 0 29.8746 shouldn't be
146.46/147.50 WSVECS04 Frhs2[400]: 6 -0.334534 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[406]: 6 -2.99191 0 shouldn't be
146.46/147.50 WSVECS04 Frhs2[413]: 6 -5.0467 0 shouldn't be
146.46/147.56 WSVECS04 Frhs2[120]: 6 0 20.2477 shouldn't be
146.46/147.56 WSVECS04 Frhs2[239]: 6 0 9.9433 shouldn't be
146.46/147.56 WSVECS04 Frhs2[294]: 6 0 40.1977 shouldn't be
146.46/147.56 WSVECS04 Frhs2[409]: 6 0 8.81337 shouldn't be
146.46/147.59 c rational objective 61.0024
165.03/166.24 c #Conflicts: 447000 | #Constraints: 14570
165.03/166.24 c #Conflicts: 448000 | #Constraints: 15571
165.03/166.24 c #Conflicts: 449000 | #Constraints: 16571
165.03/166.24 c #Conflicts: 450000 | #Constraints: 17572
165.03/166.24 c #Conflicts: 451000 | #Constraints: 18572
165.03/166.24 c #Conflicts: 452000 | #Constraints: 19574
165.03/166.24 c #Conflicts: 453000 | #Constraints: 20574
165.03/166.24 c #Conflicts: 454000 | #Constraints: 21575
165.03/166.24 c #Conflicts: 455000 | #Constraints: 22576
165.03/166.24 c #Conflicts: 456000 | #Constraints: 23577
165.03/166.24 c #Conflicts: 457000 | #Constraints: 24577
165.03/166.24 c #Conflicts: 458000 | #Constraints: 25577
165.03/166.24 c #Conflicts: 459000 | #Constraints: 26579
165.03/166.24 c #Conflicts: 460000 | #Constraints: 27583
165.03/166.24 c INPROCESSING
165.03/166.24 c GARBAGE COLLECT
165.03/166.24 c #Conflicts: 461000 | #Constraints: 15150
165.03/166.24 c #Conflicts: 462000 | #Constraints: 16151
165.03/166.24 c #Conflicts: 463000 | #Constraints: 17152
165.03/166.24 c #Conflicts: 464000 | #Constraints: 18154
165.03/166.24 c #Conflicts: 465000 | #Constraints: 19155
165.03/166.24 c #Conflicts: 466000 | #Constraints: 20157
165.03/166.24 c #Conflicts: 467000 | #Constraints: 21160
165.03/166.24 c #Conflicts: 468000 | #Constraints: 22163
165.03/166.24 c #Conflicts: 469000 | #Constraints: 23167
165.03/166.24 c #Conflicts: 470000 | #Constraints: 24171
165.03/166.24 c #Conflicts: 471000 | #Constraints: 25175
165.03/166.24 c #Conflicts: 472000 | #Constraints: 26181
165.03/166.24 c #Conflicts: 473000 | #Constraints: 27201
165.03/166.24 c #Conflicts: 474000 | #Constraints: 28236
165.03/166.24 c INPROCESSING
165.03/166.24 c GARBAGE COLLECT
165.03/166.24 c #Conflicts: 475000 | #Constraints: 15569
165.03/166.24 c #Conflicts: 476000 | #Constraints: 16569
165.03/166.24 c #Conflicts: 477000 | #Constraints: 17569
165.03/166.24 c #Conflicts: 478000 | #Constraints: 18569
165.03/166.24 c #Conflicts: 479000 | #Constraints: 19569
165.03/166.24 c #Conflicts: 480000 | #Constraints: 20569
165.03/166.24 c #Conflicts: 481000 | #Constraints: 21569
165.03/166.24 c #Conflicts: 482000 | #Constraints: 22569
165.03/166.24 c #Conflicts: 483000 | #Constraints: 23569
165.03/166.24 c #Conflicts: 484000 | #Constraints: 24569
165.03/166.24 c #Conflicts: 485000 | #Constraints: 25569
165.03/166.24 c #Conflicts: 486000 | #Constraints: 26569
165.03/166.24 c #Conflicts: 487000 | #Constraints: 27569
165.03/166.24 c #Conflicts: 488000 | #Constraints: 28569
165.03/166.24 c INPROCESSING
165.03/166.24 c GARBAGE COLLECT
165.03/166.24 c rational objective 61.0065
180.09/181.35 c #Conflicts: 489000 | #Constraints: 15747
180.09/181.35 c #Conflicts: 490000 | #Constraints: 16747
180.09/181.35 c #Conflicts: 491000 | #Constraints: 17747
180.09/181.35 c #Conflicts: 492000 | #Constraints: 18747
180.09/181.35 c #Conflicts: 493000 | #Constraints: 19747
180.09/181.35 c #Conflicts: 494000 | #Constraints: 20747
180.09/181.35 c #Conflicts: 495000 | #Constraints: 21747
180.09/181.35 c #Conflicts: 496000 | #Constraints: 22747
180.09/181.35 c #Conflicts: 497000 | #Constraints: 23747
180.09/181.35 c #Conflicts: 498000 | #Constraints: 24747
180.09/181.35 c #Conflicts: 499000 | #Constraints: 25747
180.09/181.35 c #Conflicts: 500000 | #Constraints: 26747
180.09/181.35 c #Conflicts: 501000 | #Constraints: 27747
180.09/181.35 c #Conflicts: 502000 | #Constraints: 28747
180.09/181.35 c INPROCESSING
180.09/181.35 c GARBAGE COLLECT
180.09/181.35 c #Conflicts: 503000 | #Constraints: 15740
180.09/181.35 c #Conflicts: 504000 | #Constraints: 16740
180.09/181.35 c #Conflicts: 505000 | #Constraints: 17740
180.09/181.35 c #Conflicts: 506000 | #Constraints: 18740
180.09/181.35 c #Conflicts: 507000 | #Constraints: 19742
180.09/181.35 c #Conflicts: 508000 | #Constraints: 20745
180.09/181.35 c #Conflicts: 509000 | #Constraints: 21746
180.09/181.35 c #Conflicts: 510000 | #Constraints: 22748
180.09/181.35 c #Conflicts: 511000 | #Constraints: 23748
180.09/181.35 c #Conflicts: 512000 | #Constraints: 24750
180.09/181.35 c #Conflicts: 513000 | #Constraints: 25751
180.09/181.35 c #Conflicts: 514000 | #Constraints: 26753
180.09/181.35 c #Conflicts: 515000 | #Constraints: 27754
180.09/181.35 c #Conflicts: 516000 | #Constraints: 28755
180.09/181.35 c INPROCESSING
180.09/181.35 c GARBAGE COLLECT
180.09/181.35 WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
180.09/181.35 WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
180.09/181.35 WSVECS04 Frhs2[17]: 6 0 19.7974 shouldn't be
180.09/181.35 WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
180.09/181.35 WSVECS04 Frhs2[37]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[43]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
180.09/181.35 WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
180.09/181.35 WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
180.09/181.35 WSVECS04 Frhs2[61]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[67]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
180.09/181.35 WSVECS04 Frhs2[71]: 6 0 17.7772 shouldn't be
180.09/181.35 WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
180.09/181.35 WSVECS04 Frhs2[99]: 6 0 53.5697 shouldn't be
180.09/181.35 WSVECS04 Frhs2[111]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[119]: 6 0 26.1592 shouldn't be
180.09/181.35 WSVECS04 Frhs2[131]: 6 0 51.56 shouldn't be
180.09/181.35 WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
180.09/181.35 WSVECS04 Frhs2[147]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
180.09/181.35 WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
180.09/181.35 WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
180.09/181.35 WSVECS04 Frhs2[163]: 6 0 20.7016 shouldn't be
180.09/181.35 WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
180.09/181.35 WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[179]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
180.09/181.35 WSVECS04 Frhs2[229]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
180.09/181.35 WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
180.09/181.35 WSVECS04 Frhs2[251]: 6 0 14.9832 shouldn't be
180.09/181.35 WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
180.09/181.35 WSVECS04 Frhs2[300]: 6 -28.6354 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[307]: 6 -26.6163 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
180.09/181.35 WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[332]: 6 0 154.861 shouldn't be
180.09/181.35 WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
180.09/181.35 WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[362]: 6 -5.1042 0 shouldn't be
180.09/181.35 WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
180.20/181.42 WSVECS04 Frhs2[9]: 6 0 11.456 shouldn't be
180.20/181.42 WSVECS04 Frhs2[17]: 6 0 19.7973 shouldn't be
180.20/181.42 WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
180.20/181.42 WSVECS04 Frhs2[37]: 6 0 14.9831 shouldn't be
180.20/181.42 WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
180.20/181.42 WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
180.20/181.42 WSVECS04 Frhs2[61]: 6 0 14.9831 shouldn't be
180.20/181.42 WSVECS04 Frhs2[67]: 6 0 14.9831 shouldn't be
180.20/181.42 WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
180.20/181.42 WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
180.20/181.42 WSVECS04 Frhs2[99]: 6 0 53.5696 shouldn't be
180.20/181.42 WSVECS04 Frhs2[131]: 6 0 51.5599 shouldn't be
180.20/181.42 WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
180.20/181.42 WSVECS04 Frhs2[147]: 6 0 14.9831 shouldn't be
180.20/181.42 WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
180.20/181.42 WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
180.20/181.42 WSVECS04 Frhs2[163]: 6 0 20.7015 shouldn't be
180.20/181.42 WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
180.20/181.42 WSVECS04 Frhs2[229]: 6 0 14.9831 shouldn't be
180.20/181.42 WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
180.20/181.42 WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
180.20/181.42 WSVECS04 Frhs2[251]: 6 0 14.9831 shouldn't be
180.20/181.42 WSVECS04 Frhs2[300]: 6 -28.6353 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[307]: 6 -26.6162 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
180.20/181.42 WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[332]: 6 0 154.86 shouldn't be
180.20/181.42 WSVECS04 Frhs2[333]: 6 -373.955 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[357]: 6 0 90.4644 shouldn't be
180.20/181.42 WSVECS04 Frhs2[360]: 6 -22.3635 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[362]: 6 -5.10411 0 shouldn't be
180.20/181.42 WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
180.20/181.42 WSVECS04 Frhs2[381]: 6 0 12.5661 shouldn't be
180.20/181.42 WSVECS04 Frhs2[396]: 6 0 145.808 shouldn't be
180.20/181.42 WSVECS04 Frhs2[406]: 6 -20.6762 0 shouldn't be
180.20/181.49 WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
180.20/181.49 WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
180.20/181.49 WSVECS04 Frhs2[43]: 6 0 14.9831 shouldn't be
180.20/181.49 WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
180.20/181.49 WSVECS04 Frhs2[71]: 6 0 17.7771 shouldn't be
180.20/181.49 WSVECS04 Frhs2[111]: 6 0 14.9831 shouldn't be
180.20/181.49 WSVECS04 Frhs2[119]: 6 0 26.1591 shouldn't be
180.20/181.49 WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
180.20/181.49 WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
180.20/181.49 WSVECS04 Frhs2[179]: 6 0 14.9831 shouldn't be
180.20/181.49 WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
180.20/181.49 WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
180.20/181.49 WSVECS04 Frhs2[340]: 6 0 191.191 shouldn't be
180.20/181.49 WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
180.20/181.49 WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
180.20/181.49 WSVECS04 Frhs2[393]: 6 0 167.429 shouldn't be
185.52/186.80 c #Conflicts: 517000 | #Constraints: 15531
185.52/186.80 c #Conflicts: 518000 | #Constraints: 16531
185.52/186.80 c #Conflicts: 519000 | #Constraints: 17533
185.52/186.80 c #Conflicts: 520000 | #Constraints: 18534
185.52/186.80 c #Conflicts: 521000 | #Constraints: 19534
185.52/186.80 c #Conflicts: 522000 | #Constraints: 20535
185.52/186.80 c #Conflicts: 523000 | #Constraints: 21536
185.52/186.80 c #Conflicts: 524000 | #Constraints: 22536
185.52/186.80 c #Conflicts: 525000 | #Constraints: 23537
185.52/186.80 c #Conflicts: 526000 | #Constraints: 24539
185.52/186.80 c #Conflicts: 527000 | #Constraints: 25539
185.52/186.80 c #Conflicts: 528000 | #Constraints: 26539
185.52/186.80 c #Conflicts: 529000 | #Constraints: 27541
185.52/186.80 c #Conflicts: 530000 | #Constraints: 28541
185.52/186.80 c #Conflicts: 531000 | #Constraints: 29542
185.52/186.80 c INPROCESSING
185.52/186.80 c GARBAGE COLLECT
185.52/186.80 WSVECS04 Frhs2[4]: 6 -150.62 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[10]: 6 0 80.8878 shouldn't be
185.52/186.80 WSVECS04 Frhs2[11]: 6 0 1.0213 shouldn't be
185.52/186.80 WSVECS04 Frhs2[12]: 6 0 34.0942 shouldn't be
185.52/186.80 WSVECS04 Frhs2[13]: 6 0 54.5022 shouldn't be
185.52/186.80 WSVECS04 Frhs2[14]: 6 0 87.5751 shouldn't be
185.52/186.80 WSVECS04 Frhs2[19]: 6 0 2.14537 shouldn't be
185.52/186.80 WSVECS04 Frhs2[32]: 6 0 53.6585 shouldn't be
185.52/186.80 WSVECS04 Frhs2[36]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[40]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[44]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[48]: 6 0 23.9847 shouldn't be
185.52/186.80 WSVECS04 Frhs2[49]: 6 0 5.73733 shouldn't be
185.52/186.80 WSVECS04 Frhs2[62]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[64]: 6 0 22.8529 shouldn't be
185.52/186.80 WSVECS04 Frhs2[66]: 6 0 133.701 shouldn't be
185.52/186.80 WSVECS04 Frhs2[68]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[75]: 6 0 19.5704 shouldn't be
185.52/186.80 WSVECS04 Frhs2[78]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[79]: 6 0 118.257 shouldn't be
185.52/186.80 WSVECS04 Frhs2[82]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[84]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[86]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[90]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[92]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[99]: 6 0 2.10298 shouldn't be
185.52/186.80 WSVECS04 Frhs2[100]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[101]: 6 0 22.3984 shouldn't be
185.52/186.80 WSVECS04 Frhs2[110]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[111]: 6 -2.80448 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[112]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[116]: 6 0 154.641 shouldn't be
185.52/186.80 WSVECS04 Frhs2[123]: 6 0 31.9898 shouldn't be
185.52/186.80 WSVECS04 Frhs2[124]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[126]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[127]: 6 0 45.7765 shouldn't be
185.52/186.80 WSVECS04 Frhs2[130]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[134]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[136]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[138]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[140]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[160]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[171]: 6 0 197.905 shouldn't be
185.52/186.80 WSVECS04 Frhs2[172]: 6 0 129.873 shouldn't be
185.52/186.80 WSVECS04 Frhs2[174]: 6 0 56.9517 shouldn't be
185.52/186.80 WSVECS04 Frhs2[176]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[180]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[186]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[191]: 6 -254.076 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[195]: 6 0 36.8608 shouldn't be
185.52/186.80 WSVECS04 Frhs2[197]: 6 0 5.84343 shouldn't be
185.52/186.80 WSVECS04 Frhs2[200]: 6 0 82.9936 shouldn't be
185.52/186.80 WSVECS04 Frhs2[202]: 6 0 30.149 shouldn't be
185.52/186.80 WSVECS04 Frhs2[203]: 6 0 43.2588 shouldn't be
185.52/186.80 WSVECS04 Frhs2[204]: 6 0 76.2122 shouldn't be
185.52/186.80 WSVECS04 Frhs2[207]: 6 0 47.7212 shouldn't be
185.52/186.80 WSVECS04 Frhs2[208]: 6 0 55.5548 shouldn't be
185.52/186.80 WSVECS04 Frhs2[217]: 6 0 8.54493 shouldn't be
185.52/186.80 WSVECS04 Frhs2[228]: 6 0 87.5204 shouldn't be
185.52/186.80 WSVECS04 Frhs2[237]: 6 0 5.29117 shouldn't be
185.52/186.80 WSVECS04 Frhs2[248]: 6 -330.078 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[268]: 6 0 27.7669 shouldn't be
185.52/186.80 WSVECS04 Frhs2[280]: 6 0 51.2001 shouldn't be
185.52/186.80 WSVECS04 Frhs2[300]: 6 -52.6589 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[336]: 6 -45.4259 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[378]: 6 -22.9018 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[388]: 6 0 79.6375 shouldn't be
185.52/186.80 WSVECS04 Frhs2[418]: 6 -161.144 0 shouldn't be
185.52/186.80 WSVECS04 Frhs2[424]: 6 -160.713 0 shouldn't be
185.62/186.94 WSVECS04 Frhs2[18]: 6 0 95.499 shouldn't be
185.62/186.94 WSVECS04 Frhs2[72]: 6 0 17.8204 shouldn't be
185.62/186.94 WSVECS04 Frhs2[192]: 6 0 10.1232 shouldn't be
185.62/186.94 WSVECS04 Frhs2[398]: 6 -25.9776 0 shouldn't be
191.11/192.48 c #Conflicts: 532000 | #Constraints: 16125
191.11/192.48 c #Conflicts: 533000 | #Constraints: 17125
191.11/192.48 c #Conflicts: 534000 | #Constraints: 18125
191.11/192.48 c #Conflicts: 535000 | #Constraints: 19126
191.11/192.48 c #Conflicts: 536000 | #Constraints: 20127
191.11/192.48 c #Conflicts: 537000 | #Constraints: 21127
191.11/192.48 c #Conflicts: 538000 | #Constraints: 22128
191.11/192.48 c #Conflicts: 539000 | #Constraints: 23130
191.11/192.48 c #Conflicts: 540000 | #Constraints: 24132
191.11/192.48 c #Conflicts: 541000 | #Constraints: 25134
191.11/192.48 c #Conflicts: 542000 | #Constraints: 26135
191.11/192.48 c #Conflicts: 543000 | #Constraints: 27137
191.11/192.48 c #Conflicts: 544000 | #Constraints: 28138
191.11/192.48 c #Conflicts: 545000 | #Constraints: 29139
191.11/192.48 c #Conflicts: 546000 | #Constraints: 30140
191.11/192.48 c INPROCESSING
191.11/192.48 c GARBAGE COLLECT
191.11/192.48 WSVECS04 Frhs2[9]: 6 0 10.908 shouldn't be
191.11/192.48 WSVECS04 Frhs2[10]: 6 0 30.9417 shouldn't be
191.11/192.48 WSVECS04 Frhs2[12]: 6 0 94.332 shouldn't be
191.11/192.48 WSVECS04 Frhs2[17]: 6 0 11.9777 shouldn't be
191.11/192.48 WSVECS04 Frhs2[35]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[37]: 6 0 42.2286 shouldn't be
191.11/192.48 WSVECS04 Frhs2[58]: 6 0 30.0794 shouldn't be
191.11/192.48 WSVECS04 Frhs2[59]: 6 0 10.876 shouldn't be
191.11/192.48 WSVECS04 Frhs2[61]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[64]: 6 0 34.9333 shouldn't be
191.11/192.48 WSVECS04 Frhs2[67]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[69]: 6 0 2.82899 shouldn't be
191.11/192.48 WSVECS04 Frhs2[83]: 6 0 10.6769 shouldn't be
191.11/192.48 WSVECS04 Frhs2[95]: 6 0 7.20105 shouldn't be
191.11/192.48 WSVECS04 Frhs2[99]: 6 0 16.6784 shouldn't be
191.11/192.48 WSVECS04 Frhs2[100]: 6 0 30.0794 shouldn't be
191.11/192.48 WSVECS04 Frhs2[101]: 6 0 105.836 shouldn't be
191.11/192.48 WSVECS04 Frhs2[104]: 6 0 40.9577 shouldn't be
191.11/192.48 WSVECS04 Frhs2[107]: 6 0 16.8577 shouldn't be
191.11/192.48 WSVECS04 Frhs2[109]: 6 0 10.0458 shouldn't be
191.11/192.48 WSVECS04 Frhs2[112]: 6 -312.017 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[114]: 6 0 46.1787 shouldn't be
191.11/192.48 WSVECS04 Frhs2[115]: 6 0 23.9974 shouldn't be
191.11/192.48 WSVECS04 Frhs2[119]: 6 0 4.35634 shouldn't be
191.11/192.48 WSVECS04 Frhs2[129]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[135]: 6 0 18.1163 shouldn't be
191.11/192.48 WSVECS04 Frhs2[147]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[150]: 6 0 44.7748 shouldn't be
191.11/192.48 WSVECS04 Frhs2[159]: 6 0 35.5585 shouldn't be
191.11/192.48 WSVECS04 Frhs2[160]: 6 0 30.0795 shouldn't be
191.11/192.48 WSVECS04 Frhs2[163]: 6 0 18.7249 shouldn't be
191.11/192.48 WSVECS04 Frhs2[165]: 6 0 67.1407 shouldn't be
191.11/192.48 WSVECS04 Frhs2[172]: 6 0 86.7048 shouldn't be
191.11/192.48 WSVECS04 Frhs2[177]: 6 0 67.9341 shouldn't be
191.11/192.48 WSVECS04 Frhs2[185]: 6 0 51.0245 shouldn't be
191.11/192.48 WSVECS04 Frhs2[189]: 6 0 9.40955 shouldn't be
191.11/192.48 WSVECS04 Frhs2[191]: 6 0 67.8233 shouldn't be
191.11/192.48 WSVECS04 Frhs2[199]: 6 0 41.9996 shouldn't be
191.11/192.48 WSVECS04 Frhs2[203]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[214]: 6 0 30.0794 shouldn't be
191.11/192.48 WSVECS04 Frhs2[215]: 6 0 3.90855 shouldn't be
191.11/192.48 WSVECS04 Frhs2[222]: 6 0 44.7748 shouldn't be
191.11/192.48 WSVECS04 Frhs2[227]: 6 0 51.1976 shouldn't be
191.11/192.48 WSVECS04 Frhs2[231]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[233]: 6 0 10.908 shouldn't be
191.11/192.48 WSVECS04 Frhs2[245]: 6 0 53.1386 shouldn't be
191.11/192.48 WSVECS04 Frhs2[247]: 6 0 0.498724 shouldn't be
191.11/192.48 WSVECS04 Frhs2[253]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[255]: 6 0 10.0457 shouldn't be
191.11/192.48 WSVECS04 Frhs2[268]: 6 0 31.8021 shouldn't be
191.11/192.48 WSVECS04 Frhs2[272]: 6 0 143.251 shouldn't be
191.11/192.48 WSVECS04 Frhs2[276]: 6 0 190.584 shouldn't be
191.11/192.48 WSVECS04 Frhs2[280]: 6 0 137.281 shouldn't be
191.11/192.48 WSVECS04 Frhs2[282]: 6 0 137.949 shouldn't be
191.11/192.48 WSVECS04 Frhs2[284]: 6 0 138.283 shouldn't be
191.11/192.48 WSVECS04 Frhs2[286]: 6 0 138.45 shouldn't be
191.11/192.48 WSVECS04 Frhs2[287]: 6 0 20.0546 shouldn't be
191.11/192.48 WSVECS04 Frhs2[293]: 6 -94.8151 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[298]: 6 0 16.0838 shouldn't be
191.11/192.48 WSVECS04 Frhs2[301]: 6 -31.9337 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[308]: 6 -94.1622 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[309]: 6 -91.9201 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[323]: 6 -99.4372 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[336]: 6 0 31.2071 shouldn't be
191.11/192.48 WSVECS04 Frhs2[339]: 6 -172.065 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[362]: 6 -1.00008 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[373]: 6 -65.8738 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[375]: 6 -64.4684 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[377]: 6 -107.472 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[383]: 6 -56.685 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[403]: 6 -38.6387 0 shouldn't be
191.11/192.48 WSVECS04 Frhs2[418]: 6 0 11.9143 shouldn't be
191.11/192.48 WSVECS04 Frhs2[427]: 6 -72.4502 0 shouldn't be
191.20/192.55 WSVECS04 Frhs2[388]: 6 -117.137 0 shouldn't be
191.31/192.61 WSVECS04 Frhs2[356]: 6 -11.1205 0 shouldn't be
191.31/192.67 WSVECS04 Frhs2[13]: 6 0 70.2464 shouldn't be
191.31/192.67 WSVECS04 Frhs2[15]: 6 0 84.6386 shouldn't be
191.31/192.67 WSVECS04 Frhs2[72]: 6 0 28.6571 shouldn't be
191.31/192.67 WSVECS04 Frhs2[102]: 6 0 107.847 shouldn't be
191.31/192.67 WSVECS04 Frhs2[270]: 6 0 142.86 shouldn't be
202.28/203.65 c #Conflicts: 547000 | #Constraints: 16532
202.28/203.65 c #Conflicts: 548000 | #Constraints: 17532
202.28/203.65 c #Conflicts: 549000 | #Constraints: 18532
202.28/203.65 c #Conflicts: 550000 | #Constraints: 19533
202.28/203.65 c #Conflicts: 551000 | #Constraints: 20533
202.28/203.65 c #Conflicts: 552000 | #Constraints: 21534
202.28/203.65 c #Conflicts: 553000 | #Constraints: 22538
202.28/203.65 c #Conflicts: 554000 | #Constraints: 23540
202.28/203.65 c #Conflicts: 555000 | #Constraints: 24542
202.28/203.65 c #Conflicts: 556000 | #Constraints: 25545
202.28/203.65 c #Conflicts: 557000 | #Constraints: 26550
202.28/203.65 c #Conflicts: 558000 | #Constraints: 27561
202.28/203.65 c #Conflicts: 559000 | #Constraints: 28562
202.28/203.65 c #Conflicts: 560000 | #Constraints: 29562
202.28/203.65 c #Conflicts: 561000 | #Constraints: 30563
202.28/203.65 c INPROCESSING
202.28/203.65 c GARBAGE COLLECT
202.28/203.65 c #Conflicts: 562000 | #Constraints: 16732
202.28/203.65 c #Conflicts: 563000 | #Constraints: 17732
202.28/203.65 c #Conflicts: 564000 | #Constraints: 18733
202.28/203.65 c #Conflicts: 565000 | #Constraints: 19734
202.28/203.65 c #Conflicts: 566000 | #Constraints: 20735
202.28/203.65 c #Conflicts: 567000 | #Constraints: 21736
202.28/203.65 c #Conflicts: 568000 | #Constraints: 22738
202.28/203.65 c #Conflicts: 569000 | #Constraints: 23738
202.28/203.65 c #Conflicts: 570000 | #Constraints: 24739
202.28/203.65 c #Conflicts: 571000 | #Constraints: 25740
202.28/203.65 c #Conflicts: 572000 | #Constraints: 26740
202.28/203.65 c #Conflicts: 573000 | #Constraints: 27742
202.28/203.65 c #Conflicts: 574000 | #Constraints: 28745
202.28/203.65 c #Conflicts: 575000 | #Constraints: 29746
202.28/203.65 c #Conflicts: 576000 | #Constraints: 30750
202.28/203.65 c INPROCESSING
202.28/203.65 c GARBAGE COLLECT
202.28/203.65 WSVECS04 Frhs2[1]: 6 0 0.662221 shouldn't be
202.28/203.65 WSVECS04 Frhs2[7]: 6 0 1.54482 shouldn't be
202.28/203.65 WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
202.28/203.65 WSVECS04 Frhs2[13]: 6 0 9.30487 shouldn't be
202.28/203.65 WSVECS04 Frhs2[15]: 6 0 1.3779 shouldn't be
202.28/203.65 WSVECS04 Frhs2[30]: 6 0 4.34301 shouldn't be
202.28/203.65 WSVECS04 Frhs2[31]: 6 0 0.0814126 shouldn't be
202.28/203.65 WSVECS04 Frhs2[34]: 6 0 4.34305 shouldn't be
202.28/203.65 WSVECS04 Frhs2[44]: 6 0 4.3431 shouldn't be
202.28/203.65 WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
202.28/203.65 WSVECS04 Frhs2[57]: 6 0 1.82851 shouldn't be
202.28/203.65 WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
202.28/203.65 WSVECS04 Frhs2[73]: 6 0 1.5004 shouldn't be
202.28/203.65 WSVECS04 Frhs2[78]: 6 0 4.34304 shouldn't be
202.28/203.65 WSVECS04 Frhs2[86]: 6 0 4.34303 shouldn't be
202.28/203.65 WSVECS04 Frhs2[101]: 6 0 0.986158 shouldn't be
202.28/203.65 WSVECS04 Frhs2[130]: 6 0 4.34303 shouldn't be
202.28/203.65 WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[135]: 6 0 2.50628 shouldn't be
202.28/203.65 WSVECS04 Frhs2[148]: 6 0 4.34305 shouldn't be
202.28/203.65 WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
202.28/203.65 WSVECS04 Frhs2[167]: 6 0 2.48943 shouldn't be
202.28/203.65 WSVECS04 Frhs2[169]: 6 -2.57626 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[174]: 6 0 4.34306 shouldn't be
202.28/203.65 WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
202.28/203.65 WSVECS04 Frhs2[191]: 6 0 0.415222 shouldn't be
202.28/203.65 WSVECS04 Frhs2[220]: 6 0 16.7915 shouldn't be
202.28/203.65 WSVECS04 Frhs2[237]: 6 0 4.11909 shouldn't be
202.28/203.65 WSVECS04 Frhs2[270]: 6 0 0.617289 shouldn't be
202.28/203.65 WSVECS04 Frhs2[272]: 6 0 0.446445 shouldn't be
202.28/203.65 WSVECS04 Frhs2[284]: 6 0 0.476457 shouldn't be
202.28/203.65 WSVECS04 Frhs2[290]: 6 0 7.31909 shouldn't be
202.28/203.65 WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[297]: 6 -3.46463 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[299]: 6 0 10.7337 shouldn't be
202.28/203.65 WSVECS04 Frhs2[300]: 6 -11.214 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[303]: 6 0 4.0172 shouldn't be
202.28/203.65 WSVECS04 Frhs2[311]: 6 0 5.13164 shouldn't be
202.28/203.65 WSVECS04 Frhs2[317]: 6 -36.7134 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[360]: 6 -0.653751 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[365]: 6 -15.5991 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[384]: 6 -41.5319 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[393]: 6 -12.2288 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[406]: 6 -0.654154 0 shouldn't be
202.28/203.65 WSVECS04 Frhs2[425]: 6 -15.2871 0 shouldn't be
202.38/203.72 WSVECS04 Frhs2[17]: 6 0 0.0442575 shouldn't be
202.38/203.72 WSVECS04 Frhs2[62]: 6 0 4.34301 shouldn't be
202.38/203.72 WSVECS04 Frhs2[128]: 6 0 4.34304 shouldn't be
202.38/203.72 WSVECS04 Frhs2[133]: 6 -1.02266 0 shouldn't be
202.38/203.72 WSVECS04 Frhs2[428]: 6 -38.9902 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[1]: 6 0 0.662156 shouldn't be
202.38/203.79 WSVECS04 Frhs2[7]: 6 0 1.54478 shouldn't be
202.38/203.79 WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
202.38/203.79 WSVECS04 Frhs2[13]: 6 0 9.30483 shouldn't be
202.38/203.79 WSVECS04 Frhs2[14]: 6 0 14.6657 shouldn't be
202.38/203.79 WSVECS04 Frhs2[15]: 6 0 1.37786 shouldn't be
202.38/203.79 WSVECS04 Frhs2[17]: 6 0 0.0442205 shouldn't be
202.38/203.79 WSVECS04 Frhs2[22]: 6 0 5.37766 shouldn't be
202.38/203.79 WSVECS04 Frhs2[30]: 6 0 4.343 shouldn't be
202.38/203.79 WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
202.38/203.79 WSVECS04 Frhs2[57]: 6 0 1.82842 shouldn't be
202.38/203.79 WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
202.38/203.79 WSVECS04 Frhs2[73]: 6 0 1.50034 shouldn't be
202.38/203.79 WSVECS04 Frhs2[101]: 6 0 0.986134 shouldn't be
202.38/203.79 WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[133]: 6 -1.02256 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[135]: 6 0 2.50625 shouldn't be
202.38/203.79 WSVECS04 Frhs2[148]: 6 0 4.343 shouldn't be
202.38/203.79 WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
202.38/203.79 WSVECS04 Frhs2[167]: 6 0 2.48941 shouldn't be
202.38/203.79 WSVECS04 Frhs2[169]: 6 -2.57625 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[174]: 6 0 4.343 shouldn't be
202.38/203.79 WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
202.38/203.79 WSVECS04 Frhs2[191]: 6 0 0.415201 shouldn't be
202.38/203.79 WSVECS04 Frhs2[220]: 6 0 16.7914 shouldn't be
202.38/203.79 WSVECS04 Frhs2[237]: 6 0 4.119 shouldn't be
202.38/203.79 WSVECS04 Frhs2[272]: 6 0 0.44641 shouldn't be
202.38/203.79 WSVECS04 Frhs2[284]: 6 0 0.476373 shouldn't be
202.38/203.79 WSVECS04 Frhs2[290]: 6 0 7.319 shouldn't be
202.38/203.79 WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[297]: 6 -3.4646 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[299]: 6 0 10.7336 shouldn't be
202.38/203.79 WSVECS04 Frhs2[300]: 6 -11.2139 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[303]: 6 0 4.01716 shouldn't be
202.38/203.79 WSVECS04 Frhs2[311]: 6 0 5.13154 shouldn't be
202.38/203.79 WSVECS04 Frhs2[317]: 6 -36.7133 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[360]: 6 -0.653662 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[365]: 6 -15.599 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[384]: 6 -41.5318 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[393]: 6 -12.2287 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[406]: 6 -0.654143 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[425]: 6 -15.287 0 shouldn't be
202.38/203.79 WSVECS04 Frhs2[428]: 6 -38.9901 0 shouldn't be
202.47/203.86 WSVECS04 Frhs2[31]: 6 0 0.0813506 shouldn't be
202.47/203.86 WSVECS04 Frhs2[270]: 6 0 0.617268 shouldn't be
202.58/203.93 WSVECS04 Frhs2[4]: 6 0 4.343 shouldn't be
202.58/203.93 WSVECS04 Frhs2[62]: 6 0 4.343 shouldn't be
202.58/204.00 WSVECS04 Frhs2[78]: 6 0 4.343 shouldn't be
202.58/204.00 WSVECS04 Frhs2[86]: 6 0 4.343 shouldn't be
202.58/204.00 WSVECS04 Frhs2[130]: 6 0 4.343 shouldn't be
202.68/204.06 WSVECS04 Frhs2[12]: 6 0 33.3637 shouldn't be
202.68/204.06 WSVECS04 Frhs2[34]: 6 0 4.343 shouldn't be
202.68/204.06 WSVECS04 Frhs2[44]: 6 0 4.343 shouldn't be
202.68/204.06 WSVECS04 Frhs2[128]: 6 0 4.343 shouldn't be
231.72/233.22 c #Conflicts: 577000 | #Constraints: 16729
231.72/233.22 c #Conflicts: 578000 | #Constraints: 17729
231.72/233.22 c #Conflicts: 579000 | #Constraints: 18729
231.72/233.22 c #Conflicts: 580000 | #Constraints: 19729
231.72/233.22 c #Conflicts: 581000 | #Constraints: 20729
231.72/233.22 c #Conflicts: 582000 | #Constraints: 21729
231.72/233.22 c #Conflicts: 583000 | #Constraints: 22729
231.72/233.22 c #Conflicts: 584000 | #Constraints: 23729
231.72/233.22 c #Conflicts: 585000 | #Constraints: 24729
231.72/233.22 c #Conflicts: 586000 | #Constraints: 25729
231.72/233.22 c #Conflicts: 587000 | #Constraints: 26729
231.72/233.22 c #Conflicts: 588000 | #Constraints: 27729
231.72/233.22 c #Conflicts: 589000 | #Constraints: 28729
231.72/233.22 c #Conflicts: 590000 | #Constraints: 29729
231.72/233.22 c #Conflicts: 591000 | #Constraints: 30729
231.72/233.22 c INPROCESSING
231.72/233.22 c GARBAGE COLLECT
231.72/233.22 c #Conflicts: 592000 | #Constraints: 16520
231.72/233.22 c #Conflicts: 593000 | #Constraints: 17520
231.72/233.22 c #Conflicts: 594000 | #Constraints: 18520
231.72/233.22 c #Conflicts: 595000 | #Constraints: 19520
231.72/233.22 c #Conflicts: 596000 | #Constraints: 20520
231.72/233.22 c #Conflicts: 597000 | #Constraints: 21520
231.72/233.22 c #Conflicts: 598000 | #Constraints: 22520
231.72/233.22 c #Conflicts: 599000 | #Constraints: 23520
231.72/233.22 c #Conflicts: 600000 | #Constraints: 24520
231.72/233.22 c #Conflicts: 601000 | #Constraints: 25520
231.72/233.22 c #Conflicts: 602000 | #Constraints: 26520
231.72/233.22 c #Conflicts: 603000 | #Constraints: 27520
231.72/233.22 c #Conflicts: 604000 | #Constraints: 28520
231.72/233.22 c #Conflicts: 605000 | #Constraints: 29520
231.72/233.22 c #Conflicts: 606000 | #Constraints: 30520
231.72/233.22 c #Conflicts: 607000 | #Constraints: 31520
231.72/233.22 c INPROCESSING
231.72/233.22 c GARBAGE COLLECT
231.72/233.22 c #Conflicts: 608000 | #Constraints: 17112
231.72/233.22 c #Conflicts: 609000 | #Constraints: 18112
231.72/233.22 c #Conflicts: 610000 | #Constraints: 19112
231.72/233.22 c #Conflicts: 611000 | #Constraints: 20112
231.72/233.22 c #Conflicts: 612000 | #Constraints: 21112
231.72/233.22 c #Conflicts: 613000 | #Constraints: 22112
231.72/233.22 c #Conflicts: 614000 | #Constraints: 23112
231.72/233.22 c #Conflicts: 615000 | #Constraints: 24112
231.72/233.22 c #Conflicts: 616000 | #Constraints: 25112
231.72/233.22 c #Conflicts: 617000 | #Constraints: 26112
231.72/233.22 c #Conflicts: 618000 | #Constraints: 27112
231.72/233.22 c #Conflicts: 619000 | #Constraints: 28112
231.72/233.22 c #Conflicts: 620000 | #Constraints: 29112
231.72/233.22 c #Conflicts: 621000 | #Constraints: 30112
231.72/233.22 c #Conflicts: 622000 | #Constraints: 31112
231.72/233.22 c #Conflicts: 623000 | #Constraints: 32112
231.72/233.22 c INPROCESSING
231.72/233.22 c GARBAGE COLLECT
231.72/233.22 c #Conflicts: 624000 | #Constraints: 17508
231.72/233.22 c #Conflicts: 625000 | #Constraints: 18508
231.72/233.22 c #Conflicts: 626000 | #Constraints: 19508
231.72/233.22 c #Conflicts: 627000 | #Constraints: 20508
231.72/233.22 c #Conflicts: 628000 | #Constraints: 21508
231.72/233.22 c #Conflicts: 629000 | #Constraints: 22508
231.72/233.22 c #Conflicts: 630000 | #Constraints: 23508
231.72/233.22 c #Conflicts: 631000 | #Constraints: 24508
231.72/233.22 c #Conflicts: 632000 | #Constraints: 25508
231.72/233.22 c #Conflicts: 633000 | #Constraints: 26508
231.72/233.22 c #Conflicts: 634000 | #Constraints: 27508
231.72/233.22 c #Conflicts: 635000 | #Constraints: 28508
231.72/233.22 c #Conflicts: 636000 | #Constraints: 29508
231.72/233.22 c #Conflicts: 637000 | #Constraints: 30508
231.72/233.22 c #Conflicts: 638000 | #Constraints: 31508
231.72/233.22 c #Conflicts: 639000 | #Constraints: 32508
231.72/233.22 c INPROCESSING
231.72/233.22 c GARBAGE COLLECT
231.72/233.22 c #Conflicts: 640000 | #Constraints: 17705
231.72/233.22 c #Conflicts: 641000 | #Constraints: 18705
231.72/233.22 c #Conflicts: 642000 | #Constraints: 19705
231.72/233.22 c #Conflicts: 643000 | #Constraints: 20705
231.72/233.22 c #Conflicts: 644000 | #Constraints: 21705
231.72/233.22 c #Conflicts: 645000 | #Constraints: 22705
231.72/233.22 c #Conflicts: 646000 | #Constraints: 23705
231.72/233.22 c #Conflicts: 647000 | #Constraints: 24705
231.72/233.22 c #Conflicts: 648000 | #Constraints: 25705
231.72/233.22 c #Conflicts: 649000 | #Constraints: 26705
231.72/233.22 c #Conflicts: 650000 | #Constraints: 27705
231.72/233.22 c #Conflicts: 651000 | #Constraints: 28705
231.72/233.22 c #Conflicts: 652000 | #Constraints: 29705
231.72/233.22 c #Conflicts: 653000 | #Constraints: 30705
239.50/241.03 c #Conflicts: 654000 | #Constraints: 31705
239.50/241.03 c #Conflicts: 655000 | #Constraints: 32705
239.50/241.03 c INPROCESSING
239.50/241.03 c GARBAGE COLLECT
239.50/241.03 c #Conflicts: 656000 | #Constraints: 17711
239.50/241.03 c #Conflicts: 657000 | #Constraints: 18715
239.50/241.03 c #Conflicts: 658000 | #Constraints: 19715
239.50/241.03 c #Conflicts: 659000 | #Constraints: 20715
239.50/241.03 c #Conflicts: 660000 | #Constraints: 21716
239.50/241.03 c #Conflicts: 661000 | #Constraints: 22719
239.50/241.03 c #Conflicts: 662000 | #Constraints: 23720
239.50/241.03 c #Conflicts: 663000 | #Constraints: 24720
239.50/241.03 c #Conflicts: 664000 | #Constraints: 25720
239.50/241.03 c #Conflicts: 665000 | #Constraints: 26720
239.50/241.03 c #Conflicts: 666000 | #Constraints: 27720
239.50/241.03 c #Conflicts: 667000 | #Constraints: 28722
239.50/241.03 c #Conflicts: 668000 | #Constraints: 29722
239.50/241.03 c #Conflicts: 669000 | #Constraints: 30723
239.50/241.03 c #Conflicts: 670000 | #Constraints: 31724
239.50/241.03 c #Conflicts: 671000 | #Constraints: 32726
239.50/241.03 c INPROCESSING
239.50/241.03 c GARBAGE COLLECT
239.50/241.03 WSVECS04 Frhs2[10]: 6 0 0.178958 shouldn't be
239.50/241.03 WSVECS04 Frhs2[11]: 6 0 0.0103655 shouldn't be
239.50/241.03 WSVECS04 Frhs2[12]: 6 0 0.191887 shouldn't be
239.50/241.03 WSVECS04 Frhs2[18]: 6 -4.07485 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[20]: 6 0 0.0606757 shouldn't be
239.50/241.03 WSVECS04 Frhs2[22]: 6 0 0.059941 shouldn't be
239.50/241.03 WSVECS04 Frhs2[27]: 6 0 0.0894314 shouldn't be
239.50/241.03 WSVECS04 Frhs2[44]: 6 0 0.105311 shouldn't be
239.50/241.03 WSVECS04 Frhs2[46]: 6 0 0.732083 shouldn't be
239.50/241.03 WSVECS04 Frhs2[57]: 6 0 0.247836 shouldn't be
239.50/241.03 WSVECS04 Frhs2[68]: 6 0 0.105312 shouldn't be
239.50/241.03 WSVECS04 Frhs2[69]: 6 0 0.0383231 shouldn't be
239.50/241.03 WSVECS04 Frhs2[78]: 6 0 0.105346 shouldn't be
239.50/241.03 WSVECS04 Frhs2[96]: 6 0 0.105312 shouldn't be
239.50/241.03 WSVECS04 Frhs2[104]: 6 0 0.0497371 shouldn't be
239.50/241.03 WSVECS04 Frhs2[108]: 6 0 0.105362 shouldn't be
239.50/241.03 WSVECS04 Frhs2[112]: 6 0 0.105338 shouldn't be
239.50/241.03 WSVECS04 Frhs2[114]: 6 0 0.10531 shouldn't be
239.50/241.03 WSVECS04 Frhs2[116]: 6 0 0.105322 shouldn't be
239.50/241.03 WSVECS04 Frhs2[118]: 6 0 0.105353 shouldn't be
239.50/241.03 WSVECS04 Frhs2[120]: 6 0 0.105354 shouldn't be
239.50/241.03 WSVECS04 Frhs2[130]: 6 0 0.105323 shouldn't be
239.50/241.03 WSVECS04 Frhs2[131]: 6 0 0.293986 shouldn't be
239.50/241.03 WSVECS04 Frhs2[134]: 6 0 0.105358 shouldn't be
239.50/241.03 WSVECS04 Frhs2[140]: 6 0 0.105278 shouldn't be
239.50/241.03 WSVECS04 Frhs2[156]: 6 0 0.589963 shouldn't be
239.50/241.03 WSVECS04 Frhs2[163]: 6 0 0.594865 shouldn't be
239.50/241.03 WSVECS04 Frhs2[175]: 6 0 0.573563 shouldn't be
239.50/241.03 WSVECS04 Frhs2[176]: 6 0 0.105355 shouldn't be
239.50/241.03 WSVECS04 Frhs2[182]: 6 0 0.105299 shouldn't be
239.50/241.03 WSVECS04 Frhs2[186]: 6 0 0.105361 shouldn't be
239.50/241.03 WSVECS04 Frhs2[202]: 6 0 2.91259 shouldn't be
239.50/241.03 WSVECS04 Frhs2[206]: 6 0 0.105295 shouldn't be
239.50/241.03 WSVECS04 Frhs2[209]: 6 0 0.137611 shouldn't be
239.50/241.03 WSVECS04 Frhs2[214]: 6 0 0.105306 shouldn't be
239.50/241.03 WSVECS04 Frhs2[221]: 6 0 0.619385 shouldn't be
239.50/241.03 WSVECS04 Frhs2[223]: 6 0 0.156225 shouldn't be
239.50/241.03 WSVECS04 Frhs2[231]: 6 -0.0736623 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[240]: 6 0 0.19688 shouldn't be
239.50/241.03 WSVECS04 Frhs2[243]: 6 0 0.402936 shouldn't be
239.50/241.03 WSVECS04 Frhs2[252]: 6 0 0.105283 shouldn't be
239.50/241.03 WSVECS04 Frhs2[260]: 6 0 0.105273 shouldn't be
239.50/241.03 WSVECS04 Frhs2[261]: 6 0 0.402754 shouldn't be
239.50/241.03 WSVECS04 Frhs2[264]: 6 0 0.122573 shouldn't be
239.50/241.03 WSVECS04 Frhs2[268]: 6 0 0.09334 shouldn't be
239.50/241.03 WSVECS04 Frhs2[283]: 6 -0.0781289 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[285]: 6 -0.0279313 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[294]: 6 0 1.9481 shouldn't be
239.50/241.03 WSVECS04 Frhs2[295]: 6 -1.58364 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[299]: 6 0 0.886916 shouldn't be
239.50/241.03 WSVECS04 Frhs2[303]: 6 0 1.42638 shouldn't be
239.50/241.03 WSVECS04 Frhs2[307]: 6 0 0.387207 shouldn't be
239.50/241.03 WSVECS04 Frhs2[309]: 6 -1.32537 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[310]: 6 0 0.296328 shouldn't be
239.50/241.03 WSVECS04 Frhs2[312]: 6 -1.42971 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[318]: 6 0 1.58473 shouldn't be
239.50/241.03 WSVECS04 Frhs2[323]: 6 -0.0616779 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[326]: 6 0 0.572418 shouldn't be
239.50/241.03 WSVECS04 Frhs2[331]: 6 0 0.666342 shouldn't be
239.50/241.03 WSVECS04 Frhs2[360]: 6 -1.22301 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[367]: 6 -1.81166 0 shouldn't be
239.50/241.03 WSVECS04 Frhs2[386]: 6 0 0.0333504 shouldn't be
239.50/241.03 WSVECS04 Frhs2[428]: 6 -0.11391 0 shouldn't be
239.50/241.10 WSVECS04 Frhs2[167]: 6 0 1.15254 shouldn't be
239.50/241.10 WSVECS04 Frhs2[192]: 6 0 0.735134 shouldn't be
239.50/241.10 WSVECS04 Frhs2[347]: 6 0 0.311239 shouldn't be
246.00/247.67 c #Conflicts: 672000 | #Constraints: 17509
246.00/247.67 c #Conflicts: 673000 | #Constraints: 18510
246.00/247.67 c #Conflicts: 674000 | #Constraints: 19510
246.00/247.67 c #Conflicts: 675000 | #Constraints: 20511
246.00/247.67 c #Conflicts: 676000 | #Constraints: 21512
246.00/247.67 c #Conflicts: 677000 | #Constraints: 22514
246.00/247.67 c #Conflicts: 678000 | #Constraints: 23516
246.00/247.67 c #Conflicts: 679000 | #Constraints: 24518
246.00/247.67 c #Conflicts: 680000 | #Constraints: 25519
246.00/247.67 c #Conflicts: 681000 | #Constraints: 26520
246.00/247.67 c #Conflicts: 682000 | #Constraints: 27522
246.00/247.67 c #Conflicts: 683000 | #Constraints: 28523
246.00/247.67 c #Conflicts: 684000 | #Constraints: 29525
246.00/247.67 c #Conflicts: 685000 | #Constraints: 30526
246.00/247.67 c #Conflicts: 686000 | #Constraints: 31527
246.00/247.67 c #Conflicts: 687000 | #Constraints: 32528
246.00/247.67 c #Conflicts: 688000 | #Constraints: 33528
246.00/247.67 c INPROCESSING
246.00/247.67 c GARBAGE COLLECT
246.00/247.67 WSVECS04 Frhs2[67]: 6 0 0.0518196 shouldn't be
246.00/247.67 WSVECS04 Frhs2[263]: 6 0 0.0173652 shouldn't be
246.09/247.73 WSVECS04 Frhs2[7]: 6 0 0.0518201 shouldn't be
246.09/247.73 WSVECS04 Frhs2[19]: 6 0 244.182 shouldn't be
246.09/247.73 WSVECS04 Frhs2[20]: 6 -1.14035 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[22]: 6 -1.132 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[29]: 6 0 0.0518196 shouldn't be
246.09/247.73 WSVECS04 Frhs2[34]: 6 0 707.982 shouldn't be
246.09/247.73 WSVECS04 Frhs2[43]: 6 0 0.0518199 shouldn't be
246.09/247.73 WSVECS04 Frhs2[49]: 6 0 30.8038 shouldn't be
246.09/247.73 WSVECS04 Frhs2[52]: 6 -176.763 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[59]: 6 0 1.95531 shouldn't be
246.09/247.73 WSVECS04 Frhs2[71]: 6 0 0.05182 shouldn't be
246.09/247.73 WSVECS04 Frhs2[77]: 6 0 9.78257 shouldn't be
246.09/247.73 WSVECS04 Frhs2[79]: 6 0 41.4808 shouldn't be
246.09/247.73 WSVECS04 Frhs2[83]: 6 -32.5241 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[89]: 6 0 0.0518202 shouldn't be
246.09/247.73 WSVECS04 Frhs2[91]: 6 0 0.0518198 shouldn't be
246.09/247.73 WSVECS04 Frhs2[105]: 6 0 45.8377 shouldn't be
246.09/247.73 WSVECS04 Frhs2[119]: 6 0 0.0518201 shouldn't be
246.09/247.73 WSVECS04 Frhs2[139]: 6 0 0.0518197 shouldn't be
246.09/247.73 WSVECS04 Frhs2[147]: 6 0 0.0518201 shouldn't be
246.09/247.73 WSVECS04 Frhs2[155]: 6 0 24.0758 shouldn't be
246.09/247.73 WSVECS04 Frhs2[163]: 6 0 98.1706 shouldn't be
246.09/247.73 WSVECS04 Frhs2[164]: 6 0 20.7666 shouldn't be
246.09/247.73 WSVECS04 Frhs2[168]: 6 0 8.90093 shouldn't be
246.09/247.73 WSVECS04 Frhs2[171]: 6 0 11.4588 shouldn't be
246.09/247.73 WSVECS04 Frhs2[173]: 6 0 0.0518201 shouldn't be
246.09/247.73 WSVECS04 Frhs2[175]: 6 -18.1656 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[179]: 6 0 0.0518197 shouldn't be
246.09/247.73 WSVECS04 Frhs2[183]: 6 0 68.3641 shouldn't be
246.09/247.73 WSVECS04 Frhs2[187]: 6 0 0.0518198 shouldn't be
246.09/247.73 WSVECS04 Frhs2[197]: 6 0 0.0518202 shouldn't be
246.09/247.73 WSVECS04 Frhs2[199]: 6 0 1.58256 shouldn't be
246.09/247.73 WSVECS04 Frhs2[200]: 6 0 8.21292 shouldn't be
246.09/247.73 WSVECS04 Frhs2[203]: 6 0 0.0518197 shouldn't be
246.09/247.73 WSVECS04 Frhs2[221]: 6 0 76.7877 shouldn't be
246.09/247.73 WSVECS04 Frhs2[241]: 6 -7.83786 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[249]: 6 0 36.5688 shouldn't be
246.09/247.73 WSVECS04 Frhs2[251]: 6 -105.24 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[253]: 6 -73.775 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[259]: 6 0 0.0518202 shouldn't be
246.09/247.73 WSVECS04 Frhs2[261]: 6 0 24.0861 shouldn't be
246.09/247.73 WSVECS04 Frhs2[269]: 6 -12.4383 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[270]: 6 0 5.73551 shouldn't be
246.09/247.73 WSVECS04 Frhs2[273]: 6 0 25.8771 shouldn't be
246.09/247.73 WSVECS04 Frhs2[279]: 6 0 2.08199 shouldn't be
246.09/247.73 WSVECS04 Frhs2[280]: 6 0 2.0948 shouldn't be
246.09/247.73 WSVECS04 Frhs2[281]: 6 0 2.13381 shouldn't be
246.09/247.73 WSVECS04 Frhs2[283]: 6 0 2.13381 shouldn't be
246.09/247.73 WSVECS04 Frhs2[284]: 6 0 2.0948 shouldn't be
246.09/247.73 WSVECS04 Frhs2[286]: 6 0 2.0948 shouldn't be
246.09/247.73 WSVECS04 Frhs2[296]: 6 0 25.9791 shouldn't be
246.09/247.73 WSVECS04 Frhs2[304]: 6 0 118.231 shouldn't be
246.09/247.73 WSVECS04 Frhs2[327]: 6 0 4.79271 shouldn't be
246.09/247.73 WSVECS04 Frhs2[330]: 6 0 79.9261 shouldn't be
246.09/247.73 WSVECS04 Frhs2[349]: 6 0 8.16923 shouldn't be
246.09/247.73 WSVECS04 Frhs2[351]: 6 0 136.62 shouldn't be
246.09/247.73 WSVECS04 Frhs2[362]: 6 -3.33976 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[372]: 6 -44.3531 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[392]: 6 0 106.079 shouldn't be
246.09/247.73 WSVECS04 Frhs2[395]: 6 -51.3512 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[406]: 6 -4.79082 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[414]: 6 0 54.9455 shouldn't be
246.09/247.73 WSVECS04 Frhs2[421]: 6 -42.9229 0 shouldn't be
246.09/247.73 WSVECS04 Frhs2[424]: 6 0 98.9081 shouldn't be
246.09/247.73 WSVECS04 Frhs2[425]: 6 0 64.7831 shouldn't be
246.09/247.79 WSVECS04 Frhs2[47]: 6 0 0.0518199 shouldn't be
246.09/247.79 WSVECS04 Frhs2[51]: 6 0 74.264 shouldn't be
246.09/247.79 WSVECS04 Frhs2[65]: 6 0 97.875 shouldn't be
246.09/247.79 WSVECS04 Frhs2[73]: 6 0 76.785 shouldn't be
246.09/247.79 WSVECS04 Frhs2[213]: 6 0 2.91992 shouldn't be
246.09/247.79 WSVECS04 Frhs2[237]: 6 0 131.957 shouldn't be
246.09/247.79 WSVECS04 Frhs2[272]: 6 0 13.1198 shouldn't be
246.09/247.79 WSVECS04 Frhs2[274]: 6 0 25.8381 shouldn't be
246.09/247.79 WSVECS04 Frhs2[341]: 6 0 187.8 shouldn't be
246.09/247.79 WSVECS04 Frhs2[343]: 6 0 165.44 shouldn't be
246.09/247.79 WSVECS04 Frhs2[347]: 6 0 26.3803 shouldn't be
246.09/247.79 WSVECS04 Frhs2[375]: 6 0 15.0062 shouldn't be
246.09/247.79 WSVECS04 Frhs2[382]: 6 0 147.21 shouldn't be
246.09/247.79 WSVECS04 Frhs2[407]: 6 -5.69204 0 shouldn't be
246.09/247.79 WSVECS04 Frhs2[416]: 6 0 43.2619 shouldn't be
246.09/247.79 WSVECS04 Frhs2[417]: 6 0 159.114 shouldn't be
246.09/247.79 WSVECS04 Frhs2[418]: 6 0 266.633 shouldn't be
252.27/253.96 c #Conflicts: 689000 | #Constraints: 18120
252.27/253.96 c #Conflicts: 690000 | #Constraints: 19120
252.27/253.96 c #Conflicts: 691000 | #Constraints: 20121
252.27/253.96 c #Conflicts: 692000 | #Constraints: 21122
252.27/253.96 c #Conflicts: 693000 | #Constraints: 22123
252.27/253.96 c #Conflicts: 694000 | #Constraints: 23124
252.27/253.96 c #Conflicts: 695000 | #Constraints: 24125
252.27/253.96 c #Conflicts: 696000 | #Constraints: 25126
252.27/253.96 c #Conflicts: 697000 | #Constraints: 26127
252.27/253.96 c #Conflicts: 698000 | #Constraints: 27128
252.27/253.96 c #Conflicts: 699000 | #Constraints: 28130
252.27/253.96 c #Conflicts: 700000 | #Constraints: 29131
252.27/253.96 c #Conflicts: 701000 | #Constraints: 30133
252.27/253.96 c #Conflicts: 702000 | #Constraints: 31133
252.27/253.96 c #Conflicts: 703000 | #Constraints: 32135
252.27/253.96 c #Conflicts: 704000 | #Constraints: 33138
252.27/253.96 c #Conflicts: 705000 | #Constraints: 34147
252.27/253.96 c INPROCESSING
252.27/253.96 c GARBAGE COLLECT
252.27/253.96 WSVECS04 Frhs2[1]: 6 -13.2828 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[6]: 6 0 0.0244669 shouldn't be
252.27/253.96 WSVECS04 Frhs2[8]: 6 0 0.392017 shouldn't be
252.27/253.96 WSVECS04 Frhs2[10]: 6 0 1.4951 shouldn't be
252.27/253.96 WSVECS04 Frhs2[12]: 6 0 5.55516 shouldn't be
252.27/253.96 WSVECS04 Frhs2[14]: 6 0 0.530716 shouldn't be
252.27/253.96 WSVECS04 Frhs2[25]: 6 -11.9647 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[27]: 6 0 8.22328 shouldn't be
252.27/253.96 WSVECS04 Frhs2[38]: 6 0 59.0296 shouldn't be
252.27/253.96 WSVECS04 Frhs2[43]: 6 0 34.7111 shouldn't be
252.27/253.96 WSVECS04 Frhs2[47]: 6 -5.77686 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[57]: 6 0 12.3922 shouldn't be
252.27/253.96 WSVECS04 Frhs2[59]: 6 0 0.220613 shouldn't be
252.27/253.96 WSVECS04 Frhs2[60]: 6 0 14.1383 shouldn't be
252.27/253.96 WSVECS04 Frhs2[63]: 6 0 193.243 shouldn't be
252.27/253.96 WSVECS04 Frhs2[69]: 6 0 0.694165 shouldn't be
252.27/253.96 WSVECS04 Frhs2[105]: 6 0 1.12553 shouldn't be
252.27/253.96 WSVECS04 Frhs2[124]: 6 -0.343163 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[148]: 6 -0.343142 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[154]: 6 -39.6953 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[159]: 6 0 0.592966 shouldn't be
252.27/253.96 WSVECS04 Frhs2[164]: 6 0 126.577 shouldn't be
252.27/253.96 WSVECS04 Frhs2[175]: 6 0 10.9615 shouldn't be
252.27/253.96 WSVECS04 Frhs2[183]: 6 0 33.815 shouldn't be
252.27/253.96 WSVECS04 Frhs2[190]: 6 -0.343119 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[200]: 6 0 4.18015 shouldn't be
252.27/253.96 WSVECS04 Frhs2[216]: 6 0 0.34906 shouldn't be
252.27/253.96 WSVECS04 Frhs2[223]: 6 0 10.1769 shouldn't be
252.27/253.96 WSVECS04 Frhs2[224]: 6 0 8.3583 shouldn't be
252.27/253.96 WSVECS04 Frhs2[234]: 6 0 0.025012 shouldn't be
252.27/253.96 WSVECS04 Frhs2[283]: 6 0 2.17124 shouldn't be
252.27/253.96 WSVECS04 Frhs2[284]: 6 0 3.93284 shouldn't be
252.27/253.96 WSVECS04 Frhs2[285]: 6 0 1.44396 shouldn't be
252.27/253.96 WSVECS04 Frhs2[286]: 6 0 3.20569 shouldn't be
252.27/253.96 WSVECS04 Frhs2[293]: 6 0 70.4326 shouldn't be
252.27/253.96 WSVECS04 Frhs2[316]: 6 0 34.5167 shouldn't be
252.27/253.96 WSVECS04 Frhs2[350]: 6 0 49.4263 shouldn't be
252.27/253.96 WSVECS04 Frhs2[360]: 6 -5.44521 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[362]: 6 -1.00005 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[395]: 6 -20.1725 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[402]: 6 -3.1424 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[406]: 6 -4.42748 0 shouldn't be
252.27/253.96 WSVECS04 Frhs2[413]: 6 0 31.17 shouldn't be
252.27/253.96 WSVECS04 Frhs2[426]: 6 0 31.5315 shouldn't be
252.38/254.02 WSVECS04 Frhs2[108]: 6 -0.343169 0 shouldn't be
252.38/254.02 WSVECS04 Frhs2[243]: 6 0 13.5222 shouldn't be
252.38/254.02 WSVECS04 Frhs2[249]: 6 0 18.798 shouldn't be
252.38/254.02 WSVECS04 Frhs2[282]: 6 0 5.3873 shouldn't be
252.38/254.02 WSVECS04 Frhs2[348]: 6 0 24.773 shouldn't be
252.38/254.02 WSVECS04 Frhs2[371]: 6 0 50.7264 shouldn't be
252.38/254.02 WSVECS04 Frhs2[396]: 6 0 51.6964 shouldn't be
252.38/254.10 WSVECS04 Frhs2[398]: 6 0 33.4865 shouldn't be
252.38/254.10 WSVECS04 Frhs2[419]: 6 0 71.1094 shouldn't be
252.38/254.10 WSVECS04 Frhs2[428]: 6 0 90.9859 shouldn't be
266.54/268.28 c #Conflicts: 706000 | #Constraints: 18528
266.54/268.28 c #Conflicts: 707000 | #Constraints: 19529
266.54/268.28 c #Conflicts: 708000 | #Constraints: 20532
266.54/268.28 c #Conflicts: 709000 | #Constraints: 21533
266.54/268.28 c #Conflicts: 710000 | #Constraints: 22538
266.54/268.28 c #Conflicts: 711000 | #Constraints: 23541
266.54/268.28 c #Conflicts: 712000 | #Constraints: 24544
266.54/268.28 c #Conflicts: 713000 | #Constraints: 25546
266.54/268.28 c #Conflicts: 714000 | #Constraints: 26549
266.54/268.28 c #Conflicts: 715000 | #Constraints: 27552
266.54/268.28 c #Conflicts: 716000 | #Constraints: 28556
266.54/268.28 c #Conflicts: 717000 | #Constraints: 29560
266.54/268.28 c #Conflicts: 718000 | #Constraints: 30564
266.54/268.28 c #Conflicts: 719000 | #Constraints: 31567
266.54/268.28 c #Conflicts: 720000 | #Constraints: 32567
266.54/268.28 c #Conflicts: 721000 | #Constraints: 33570
266.54/268.28 c #Conflicts: 722000 | #Constraints: 34584
266.54/268.28 c INPROCESSING
266.54/268.28 c GARBAGE COLLECT
266.54/268.28 c #Conflicts: 723000 | #Constraints: 18748
266.54/268.28 c #Conflicts: 724000 | #Constraints: 19750
266.54/268.28 c #Conflicts: 725000 | #Constraints: 20750
266.54/268.28 c #Conflicts: 726000 | #Constraints: 21752
266.54/268.28 c #Conflicts: 727000 | #Constraints: 22753
266.54/268.28 c #Conflicts: 728000 | #Constraints: 23755
266.54/268.28 c #Conflicts: 729000 | #Constraints: 24757
266.54/268.28 c #Conflicts: 730000 | #Constraints: 25763
266.54/268.28 c #Conflicts: 731000 | #Constraints: 26770
266.54/268.28 c #Conflicts: 732000 | #Constraints: 27798
266.54/268.28 c #Conflicts: 733000 | #Constraints: 28806
266.54/268.28 c #Conflicts: 734000 | #Constraints: 29815
266.54/268.28 c #Conflicts: 735000 | #Constraints: 30854
266.54/268.28 c #Conflicts: 736000 | #Constraints: 31855
266.54/268.28 c #Conflicts: 737000 | #Constraints: 32872
266.54/268.28 c #Conflicts: 738000 | #Constraints: 33896
266.54/268.28 c #Conflicts: 739000 | #Constraints: 34916
266.54/268.28 c INPROCESSING
266.54/268.28 c GARBAGE COLLECT
266.54/268.28 WSVECS04 Frhs2[11]: 6 0 2.37464 shouldn't be
266.54/268.28 WSVECS04 Frhs2[17]: 6 0 2.71045 shouldn't be
266.54/268.28 WSVECS04 Frhs2[119]: 6 0 11.6399 shouldn't be
266.54/268.28 WSVECS04 Frhs2[120]: 6 0 5.30808 shouldn't be
266.54/268.28 WSVECS04 Frhs2[131]: 6 0 5.72398 shouldn't be
266.54/268.28 WSVECS04 Frhs2[133]: 6 0 9.72169 shouldn't be
266.54/268.28 WSVECS04 Frhs2[149]: 6 0 8.76778 shouldn't be
266.54/268.28 WSVECS04 Frhs2[163]: 6 0 3.69717 shouldn't be
266.54/268.28 WSVECS04 Frhs2[167]: 6 0 40.1999 shouldn't be
266.54/268.28 WSVECS04 Frhs2[169]: 6 0 1.78344 shouldn't be
266.54/268.28 WSVECS04 Frhs2[183]: 6 0 9.58439 shouldn't be
266.54/268.28 WSVECS04 Frhs2[199]: 6 0 3.23905 shouldn't be
266.54/268.28 WSVECS04 Frhs2[223]: 6 0 6.77255 shouldn't be
266.54/268.28 WSVECS04 Frhs2[237]: 6 0 8.84223 shouldn't be
266.54/268.28 WSVECS04 Frhs2[247]: 6 0 5.47835 shouldn't be
266.54/268.28 WSVECS04 Frhs2[249]: 6 0 6.64208 shouldn't be
266.54/268.28 WSVECS04 Frhs2[259]: 6 -1.11861 0 shouldn't be
266.54/268.28 WSVECS04 Frhs2[271]: 6 0 11.4357 shouldn't be
266.54/268.28 WSVECS04 Frhs2[272]: 6 0 5.28886 shouldn't be
266.54/268.28 WSVECS04 Frhs2[274]: 6 0 13.2174 shouldn't be
266.54/268.28 WSVECS04 Frhs2[275]: 6 0 2.32963 shouldn't be
266.54/268.28 WSVECS04 Frhs2[281]: 6 0 3.07747 shouldn't be
266.54/268.28 WSVECS04 Frhs2[285]: 6 0 2.2001 shouldn't be
266.54/268.28 WSVECS04 Frhs2[295]: 6 -32.0595 0 shouldn't be
266.54/268.28 WSVECS04 Frhs2[300]: 6 -14.2823 0 shouldn't be
266.54/268.28 WSVECS04 Frhs2[303]: 6 -8.17344 0 shouldn't be
266.54/268.28 WSVECS04 Frhs2[332]: 6 -3.29179 0 shouldn't be
266.54/268.28 WSVECS04 Frhs2[390]: 6 0 29.3248 shouldn't be
266.54/268.28 WSVECS04 Frhs2[391]: 6 0 1.45575 shouldn't be
266.54/268.28 WSVECS04 Frhs2[404]: 6 0 6.44925 shouldn't be
266.63/268.33 WSVECS04 Frhs2[302]: 6 0 14.6863 shouldn't be
266.63/268.33 WSVECS04 Frhs2[371]: 6 0 11.3484 shouldn't be
266.63/268.33 WSVECS04 Frhs2[424]: 6 0 13.9119 shouldn't be
266.63/268.38 WSVECS04 Frhs2[347]: 6 0 13.9065 shouldn't be
266.63/268.38 WSVECS04 Frhs2[411]: 6 0 11.883 shouldn't be
280.14/281.91 c #Conflicts: 740000 | #Constraints: 18826
280.14/281.91 c #Conflicts: 741000 | #Constraints: 19828
280.14/281.91 c #Conflicts: 742000 | #Constraints: 20830
280.14/281.91 c #Conflicts: 743000 | #Constraints: 21831
280.14/281.91 c #Conflicts: 744000 | #Constraints: 22833
280.14/281.91 c #Conflicts: 745000 | #Constraints: 23835
280.14/281.91 c #Conflicts: 746000 | #Constraints: 24837
280.14/281.91 c #Conflicts: 747000 | #Constraints: 25837
280.14/281.91 c #Conflicts: 748000 | #Constraints: 26838
280.14/281.91 c #Conflicts: 749000 | #Constraints: 27839
280.14/281.91 c #Conflicts: 750000 | #Constraints: 28840
280.14/281.91 c #Conflicts: 751000 | #Constraints: 29841
280.14/281.91 c #Conflicts: 752000 | #Constraints: 30843
280.14/281.91 c #Conflicts: 753000 | #Constraints: 31844
280.14/281.91 c #Conflicts: 754000 | #Constraints: 32846
280.14/281.91 c #Conflicts: 755000 | #Constraints: 33846
280.14/281.91 c #Conflicts: 756000 | #Constraints: 34848
280.14/281.91 c INPROCESSING
280.14/281.91 c GARBAGE COLLECT
280.14/281.91 c #Conflicts: 757000 | #Constraints: 18579
280.14/281.91 c #Conflicts: 758000 | #Constraints: 19579
280.14/281.91 c #Conflicts: 759000 | #Constraints: 20580
280.14/281.91 c #Conflicts: 760000 | #Constraints: 21581
280.14/281.91 c #Conflicts: 761000 | #Constraints: 22582
280.14/281.91 c #Conflicts: 762000 | #Constraints: 23584
280.14/281.91 c #Conflicts: 763000 | #Constraints: 24587
280.14/281.91 c #Conflicts: 764000 | #Constraints: 25588
280.14/281.91 c #Conflicts: 765000 | #Constraints: 26589
280.14/281.91 c #Conflicts: 766000 | #Constraints: 27589
280.14/281.91 c #Conflicts: 767000 | #Constraints: 28590
280.14/281.91 c #Conflicts: 768000 | #Constraints: 29590
280.14/281.91 c #Conflicts: 769000 | #Constraints: 30591
280.14/281.91 c #Conflicts: 770000 | #Constraints: 31593
280.14/281.91 c #Conflicts: 771000 | #Constraints: 32594
280.14/281.91 c #Conflicts: 772000 | #Constraints: 33595
280.14/281.91 c #Conflicts: 773000 | #Constraints: 34596
280.14/281.91 c #Conflicts: 774000 | #Constraints: 35596
280.14/281.91 c INPROCESSING
280.14/281.91 c GARBAGE COLLECT
280.14/281.91 WSVECS04 Frhs2[12]: 6 0 495.053 shouldn't be
280.14/281.91 WSVECS04 Frhs2[14]: 6 0 853.065 shouldn't be
280.14/281.91 WSVECS04 Frhs2[15]: 6 0 118.544 shouldn't be
280.14/281.91 WSVECS04 Frhs2[18]: 6 0 612.868 shouldn't be
280.14/281.91 WSVECS04 Frhs2[27]: 6 0 434.863 shouldn't be
280.14/281.91 WSVECS04 Frhs2[31]: 6 0 193.055 shouldn't be
280.14/281.91 WSVECS04 Frhs2[37]: 6 0 338.167 shouldn't be
280.14/281.91 WSVECS04 Frhs2[40]: 6 0 708.733 shouldn't be
280.14/281.91 WSVECS04 Frhs2[52]: 6 0 728.219 shouldn't be
280.14/281.91 WSVECS04 Frhs2[60]: 6 0 1511.42 shouldn't be
280.14/281.91 WSVECS04 Frhs2[65]: 6 -271.38 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[73]: 6 0 194.825 shouldn't be
280.14/281.91 WSVECS04 Frhs2[87]: 6 0 333.497 shouldn't be
280.14/281.91 WSVECS04 Frhs2[95]: 6 0 38.1941 shouldn't be
280.14/281.91 WSVECS04 Frhs2[97]: 6 0 343.841 shouldn't be
280.14/281.91 WSVECS04 Frhs2[113]: 6 0 869.05 shouldn't be
280.14/281.91 WSVECS04 Frhs2[115]: 6 0 319.001 shouldn't be
280.14/281.91 WSVECS04 Frhs2[126]: 6 0 566.676 shouldn't be
280.14/281.91 WSVECS04 Frhs2[130]: 6 0 1153.33 shouldn't be
280.14/281.91 WSVECS04 Frhs2[142]: 6 0 933.952 shouldn't be
280.14/281.91 WSVECS04 Frhs2[143]: 6 0 1832.24 shouldn't be
280.14/281.91 WSVECS04 Frhs2[151]: 6 0 38.1941 shouldn't be
280.14/281.91 WSVECS04 Frhs2[154]: 6 0 1476.99 shouldn't be
280.14/281.91 WSVECS04 Frhs2[192]: 6 0 816.162 shouldn't be
280.14/281.91 WSVECS04 Frhs2[200]: 6 0 721.541 shouldn't be
280.14/281.91 WSVECS04 Frhs2[205]: 6 0 38.1941 shouldn't be
280.14/281.91 WSVECS04 Frhs2[219]: 6 0 916.009 shouldn't be
280.14/281.91 WSVECS04 Frhs2[223]: 6 0 502.762 shouldn't be
280.14/281.91 WSVECS04 Frhs2[231]: 6 0 391.709 shouldn't be
280.14/281.91 WSVECS04 Frhs2[249]: 6 0 512.347 shouldn't be
280.14/281.91 WSVECS04 Frhs2[252]: 6 0 80.0956 shouldn't be
280.14/281.91 WSVECS04 Frhs2[260]: 6 0 566.676 shouldn't be
280.14/281.91 WSVECS04 Frhs2[272]: 6 -2254.54 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[275]: 6 0 26.4926 shouldn't be
280.14/281.91 WSVECS04 Frhs2[293]: 6 0 1545.5 shouldn't be
280.14/281.91 WSVECS04 Frhs2[294]: 6 -1361.62 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[300]: 6 -723.673 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[305]: 6 0 519.814 shouldn't be
280.14/281.91 WSVECS04 Frhs2[320]: 6 0 3116.96 shouldn't be
280.14/281.91 WSVECS04 Frhs2[328]: 6 -1279.37 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[335]: 6 0 942.91 shouldn't be
280.14/281.91 WSVECS04 Frhs2[353]: 6 -528.201 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[372]: 6 -1355.36 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[392]: 6 -38.8418 0 shouldn't be
280.14/281.91 WSVECS04 Frhs2[418]: 6 -964.469 0 shouldn't be
280.14/281.98 WSVECS04 Frhs2[33]: 6 0 38.1941 shouldn't be
280.14/281.98 WSVECS04 Frhs2[35]: 6 0 38.1941 shouldn't be
280.14/281.98 WSVECS04 Frhs2[43]: 6 0 115.02 shouldn't be
280.14/281.98 WSVECS04 Frhs2[47]: 6 0 38.1941 shouldn't be
280.14/281.98 WSVECS04 Frhs2[85]: 6 0 38.1941 shouldn't be
280.14/281.98 WSVECS04 Frhs2[119]: 6 0 38.1941 shouldn't be
280.14/281.98 WSVECS04 Frhs2[209]: 6 0 703.059 shouldn't be
280.14/281.98 WSVECS04 Frhs2[277]: 6 0 739.466 shouldn't be
280.14/281.98 WSVECS04 Frhs2[280]: 6 0 424.175 shouldn't be
280.14/281.98 WSVECS04 Frhs2[283]: 6 0 424.175 shouldn't be
280.14/281.98 WSVECS04 Frhs2[348]: 6 -1043.24 0 shouldn't be
280.14/281.98 WSVECS04 Frhs2[394]: 6 0 39.8405 shouldn't be
280.14/281.98 WSVECS04 Frhs2[399]: 6 0 576.977 shouldn't be
280.24/282.05 WSVECS04 Frhs2[100]: 6 0 566.676 shouldn't be
280.24/282.05 WSVECS04 Frhs2[134]: 6 0 566.676 shouldn't be
280.24/282.05 WSVECS04 Frhs2[162]: 6 0 566.676 shouldn't be
280.24/282.05 WSVECS04 Frhs2[164]: 6 0 1721.78 shouldn't be
280.24/282.05 WSVECS04 Frhs2[198]: 6 0 566.676 shouldn't be
280.24/282.05 WSVECS04 Frhs2[234]: 6 0 574.954 shouldn't be
280.24/282.05 WSVECS04 Frhs2[279]: 6 0 424.175 shouldn't be
280.24/282.05 WSVECS04 Frhs2[319]: 6 -1047.11 0 shouldn't be
280.24/282.05 WSVECS04 Frhs2[404]: 6 -292.796 0 shouldn't be
280.24/282.05 WSVECS04 Frhs2[428]: 6 -1023.99 0 shouldn't be
280.35/282.12 WSVECS04 Frhs2[78]: 6 0 566.676 shouldn't be
280.35/282.12 WSVECS04 Frhs2[120]: 6 0 566.676 shouldn't be
280.35/282.12 WSVECS04 Frhs2[136]: 6 0 566.676 shouldn't be
280.35/282.12 WSVECS04 Frhs2[140]: 6 0 566.676 shouldn't be
280.35/282.12 WSVECS04 Frhs2[281]: 6 0 1371.95 shouldn't be
280.35/282.18 WSVECS04 Frhs2[124]: 6 0 566.676 shouldn't be
280.54/282.32 WSVECS04 Frhs2[6]: 6 0 566.676 shouldn't be
307.26/309.10 c #Conflicts: 775000 | #Constraints: 19153
307.26/309.10 c #Conflicts: 776000 | #Constraints: 20153
307.26/309.10 c #Conflicts: 777000 | #Constraints: 21153
307.26/309.10 c #Conflicts: 778000 | #Constraints: 22153
307.26/309.10 c #Conflicts: 779000 | #Constraints: 23153
307.26/309.10 c #Conflicts: 780000 | #Constraints: 24153
307.26/309.10 c #Conflicts: 781000 | #Constraints: 25153
307.26/309.10 c #Conflicts: 782000 | #Constraints: 26153
307.26/309.10 c #Conflicts: 783000 | #Constraints: 27153
307.26/309.10 c #Conflicts: 784000 | #Constraints: 28153
307.26/309.10 c #Conflicts: 785000 | #Constraints: 29153
307.26/309.10 c #Conflicts: 786000 | #Constraints: 30153
307.26/309.10 c #Conflicts: 787000 | #Constraints: 31153
307.26/309.10 c #Conflicts: 788000 | #Constraints: 32153
307.26/309.10 c #Conflicts: 789000 | #Constraints: 33153
307.26/309.10 c #Conflicts: 790000 | #Constraints: 34154
307.26/309.10 c #Conflicts: 791000 | #Constraints: 35154
307.26/309.10 c #Conflicts: 792000 | #Constraints: 36155
307.26/309.10 c INPROCESSING
307.26/309.10 c GARBAGE COLLECT
307.26/309.10 c #Conflicts: 793000 | #Constraints: 19528
307.26/309.10 c #Conflicts: 794000 | #Constraints: 20528
307.26/309.10 c #Conflicts: 795000 | #Constraints: 21528
307.26/309.10 c #Conflicts: 796000 | #Constraints: 22528
307.26/309.10 c #Conflicts: 797000 | #Constraints: 23529
307.26/309.10 c #Conflicts: 798000 | #Constraints: 24529
307.26/309.10 c #Conflicts: 799000 | #Constraints: 25529
307.26/309.10 c #Conflicts: 800000 | #Constraints: 26529
307.26/309.10 c #Conflicts: 801000 | #Constraints: 27529
307.26/309.10 c #Conflicts: 802000 | #Constraints: 28529
307.26/309.10 c #Conflicts: 803000 | #Constraints: 29529
307.26/309.10 c #Conflicts: 804000 | #Constraints: 30529
307.26/309.10 c #Conflicts: 805000 | #Constraints: 31529
307.26/309.10 c #Conflicts: 806000 | #Constraints: 32529
307.26/309.10 c #Conflicts: 807000 | #Constraints: 33529
307.26/309.10 c #Conflicts: 808000 | #Constraints: 34529
307.26/309.10 c #Conflicts: 809000 | #Constraints: 35529
307.26/309.10 c #Conflicts: 810000 | #Constraints: 36529
307.26/309.10 c INPROCESSING
307.26/309.10 c GARBAGE COLLECT
307.26/309.10 c #Conflicts: 811000 | #Constraints: 19713
307.26/309.10 c #Conflicts: 812000 | #Constraints: 20713
307.26/309.10 c #Conflicts: 813000 | #Constraints: 21713
307.26/309.10 c #Conflicts: 814000 | #Constraints: 22713
307.26/309.10 c #Conflicts: 815000 | #Constraints: 23713
307.26/309.10 c #Conflicts: 816000 | #Constraints: 24713
307.26/309.10 c #Conflicts: 817000 | #Constraints: 25713
307.26/309.10 c #Conflicts: 818000 | #Constraints: 26713
307.26/309.10 c #Conflicts: 819000 | #Constraints: 27713
307.26/309.10 c #Conflicts: 820000 | #Constraints: 28713
307.26/309.10 c #Conflicts: 821000 | #Constraints: 29713
307.26/309.10 c #Conflicts: 822000 | #Constraints: 30713
307.26/309.10 c #Conflicts: 823000 | #Constraints: 31713
307.26/309.10 c #Conflicts: 824000 | #Constraints: 32713
307.26/309.10 c #Conflicts: 825000 | #Constraints: 33713
307.26/309.10 c #Conflicts: 826000 | #Constraints: 34713
307.26/309.10 c #Conflicts: 827000 | #Constraints: 35713
307.26/309.10 c #Conflicts: 828000 | #Constraints: 36713
307.26/309.10 c INPROCESSING
307.26/309.10 c GARBAGE COLLECT
307.26/309.10 c #Conflicts: 829000 | #Constraints: 19712
307.26/309.10 c #Conflicts: 830000 | #Constraints: 20712
307.26/309.10 c #Conflicts: 831000 | #Constraints: 21712
307.26/309.10 c #Conflicts: 832000 | #Constraints: 22712
307.26/309.10 c #Conflicts: 833000 | #Constraints: 23712
307.26/309.10 c #Conflicts: 834000 | #Constraints: 24712
307.26/309.10 c #Conflicts: 835000 | #Constraints: 25712
307.26/309.10 c #Conflicts: 836000 | #Constraints: 26712
307.26/309.10 c #Conflicts: 837000 | #Constraints: 27712
307.26/309.10 c #Conflicts: 838000 | #Constraints: 28712
307.26/309.10 c #Conflicts: 839000 | #Constraints: 29712
307.26/309.10 c #Conflicts: 840000 | #Constraints: 30712
307.26/309.10 c #Conflicts: 841000 | #Constraints: 31712
307.26/309.10 c #Conflicts: 842000 | #Constraints: 32712
307.26/309.10 c #Conflicts: 843000 | #Constraints: 33712
307.26/309.10 c #Conflicts: 844000 | #Constraints: 34712
307.26/309.10 c #Conflicts: 845000 | #Constraints: 35712
307.26/309.10 c #Conflicts: 846000 | #Constraints: 36712
307.26/309.10 c INPROCESSING
307.26/309.10 c GARBAGE COLLECT
307.26/309.10 c rational objective 61.0024
329.70/331.61 c #Conflicts: 847000 | #Constraints: 19502
329.70/331.61 c #Conflicts: 848000 | #Constraints: 20503
329.70/331.61 c #Conflicts: 849000 | #Constraints: 21503
329.70/331.61 c #Conflicts: 850000 | #Constraints: 22503
329.70/331.61 c #Conflicts: 851000 | #Constraints: 23503
329.70/331.61 c #Conflicts: 852000 | #Constraints: 24504
329.70/331.61 c #Conflicts: 853000 | #Constraints: 25505
329.70/331.61 c #Conflicts: 854000 | #Constraints: 26506
329.70/331.61 c #Conflicts: 855000 | #Constraints: 27507
329.70/331.61 c #Conflicts: 856000 | #Constraints: 28508
329.70/331.61 c #Conflicts: 857000 | #Constraints: 29508
329.70/331.61 c #Conflicts: 858000 | #Constraints: 30508
329.70/331.61 c #Conflicts: 859000 | #Constraints: 31509
329.70/331.61 c #Conflicts: 860000 | #Constraints: 32509
329.70/331.61 c #Conflicts: 861000 | #Constraints: 33511
329.70/331.61 c #Conflicts: 862000 | #Constraints: 34513
329.70/331.61 c #Conflicts: 863000 | #Constraints: 35514
329.70/331.61 c #Conflicts: 864000 | #Constraints: 36515
329.70/331.61 c #Conflicts: 865000 | #Constraints: 37517
329.70/331.61 c INPROCESSING
329.70/331.61 c GARBAGE COLLECT
329.70/331.61 c #Conflicts: 866000 | #Constraints: 20119
329.70/331.61 c #Conflicts: 867000 | #Constraints: 21120
329.70/331.61 c #Conflicts: 868000 | #Constraints: 22121
329.70/331.61 c #Conflicts: 869000 | #Constraints: 23122
329.70/331.61 c #Conflicts: 870000 | #Constraints: 24123
329.70/331.61 c #Conflicts: 871000 | #Constraints: 25125
329.70/331.61 c #Conflicts: 872000 | #Constraints: 26126
329.70/331.61 c #Conflicts: 873000 | #Constraints: 27126
329.70/331.61 c #Conflicts: 874000 | #Constraints: 28127
329.70/331.61 c #Conflicts: 875000 | #Constraints: 29128
329.70/331.61 c #Conflicts: 876000 | #Constraints: 30129
329.70/331.61 c #Conflicts: 877000 | #Constraints: 31131
329.70/331.61 c #Conflicts: 878000 | #Constraints: 32132
329.70/331.61 c #Conflicts: 879000 | #Constraints: 33133
329.70/331.61 c #Conflicts: 880000 | #Constraints: 34134
329.70/331.61 c #Conflicts: 881000 | #Constraints: 35134
329.70/331.61 c #Conflicts: 882000 | #Constraints: 36135
329.70/331.61 c #Conflicts: 883000 | #Constraints: 37136
329.70/331.61 c #Conflicts: 884000 | #Constraints: 38138
329.70/331.61 c INPROCESSING
329.70/331.61 c GARBAGE COLLECT
329.70/331.61 c #Conflicts: 885000 | #Constraints: 20521
329.70/331.61 c #Conflicts: 886000 | #Constraints: 21522
329.70/331.61 c #Conflicts: 887000 | #Constraints: 22523
329.70/331.61 c #Conflicts: 888000 | #Constraints: 23529
329.70/331.61 c #Conflicts: 889000 | #Constraints: 24532
329.70/331.61 c #Conflicts: 890000 | #Constraints: 25537
329.70/331.61 c #Conflicts: 891000 | #Constraints: 26543
329.70/331.61 c #Conflicts: 892000 | #Constraints: 27548
329.70/331.61 c #Conflicts: 893000 | #Constraints: 28548
329.70/331.61 c #Conflicts: 894000 | #Constraints: 29549
329.70/331.61 c #Conflicts: 895000 | #Constraints: 30550
329.70/331.61 c #Conflicts: 896000 | #Constraints: 31551
329.70/331.61 c #Conflicts: 897000 | #Constraints: 32551
329.70/331.61 c #Conflicts: 898000 | #Constraints: 33552
329.70/331.61 c #Conflicts: 899000 | #Constraints: 34554
329.70/331.61 c #Conflicts: 900000 | #Constraints: 35555
329.70/331.61 c #Conflicts: 901000 | #Constraints: 36557
329.70/331.61 c #Conflicts: 902000 | #Constraints: 37557
329.70/331.61 c #Conflicts: 903000 | #Constraints: 38560
329.70/331.61 c INPROCESSING
329.70/331.61 c GARBAGE COLLECT
329.70/331.61 c cpu time 325.127 s
329.70/331.61 c deterministic time 29117224565 2.91e+10
329.70/331.61 c optimization time 0.000122 s
329.70/331.61 c total solve time 325.122 s
329.70/331.61 c core-guided solve time 0 s
329.70/331.61 c propagation time 229.257 s
329.70/331.61 c conflict analysis time 78.2446 s
329.70/331.61 c propagations 50998123
329.70/331.61 c resolve steps 15385941
329.70/331.61 c decisions 1274777
329.70/331.61 c conflicts 903002
329.70/331.61 c restarts 1966
329.70/331.61 c inprocessing phases 86
329.70/331.61 c garbage collections 86 ,( 100.00 )
329.70/331.61 c input clauses 645 ,( 68.47 )
329.70/331.61 c input cardinalities 2 ,( 0.21 )
329.70/331.61 c input general constraints 295 ,( 31.32 )
329.70/331.61 c input average constraint length 5.45
329.70/331.61 c input average constraint degree 2.82
329.70/331.61 c learned clauses 756084 ,( 83.62 )
329.70/331.61 c learned cardinalities 461 ,( 0.05 )
329.70/331.61 c learned general constraints 147608 ,( 16.33 )
329.70/331.61 c learned average constraint length 149.58
329.70/331.61 c learned average constraint degree 9622871.02
329.70/331.61 c watched CF 32, 64, 128, Arb: 135034 , 0 , 0 , 0
329.70/331.61 c counting CF 32, 64, 128, Arb: 12869 , 0 , 0 , 0
329.70/331.61 c watched constraints 135034 ,( 91.30 )
329.70/331.61 c counting constraints 12869 ,( 8.70 )
329.70/331.61 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 608858251 , 81537929 , 1050629422 ,( 870741930 , 179887492 )
329.70/331.61 c gcd simplifications 113545
329.70/331.61 c detected cardinalities 176
329.70/331.61 c weakened non-implied lits 16774170
329.70/331.61 c weakened non-implying lits 235620
329.70/331.61 c original variables 428
329.70/331.61 c clausal propagations 17281657
329.70/331.61 c cardinality propagations 551675
329.70/331.61 c watched propagations 9490528
329.70/331.61 c counting propagations 21956465
329.70/331.61 c watch lookups 6111033604
329.70/331.61 c watch backjump lookups 0
329.70/331.61 c watch checks 21482911626
329.70/331.61 c propagation checks 1065006789
329.70/331.61 c constraint additions 352642824
329.70/331.61 c trail pops 53175856
329.70/331.61 c formula constraints 942
329.70/331.61 c learned constraints 902987
329.70/331.61 c bound constraints 0
329.70/331.61 c core-guided constraints 0
329.70/331.61 c encountered formula constraints 12601904
329.70/331.61 c encountered learned constraints 3687000
329.70/331.61 c encountered bound constraints 0
329.70/331.61 c encountered core-guided constraints 0
329.70/331.61 c LP total time 12.8113 s
329.70/331.61 c LP solve time 10.38 s
329.70/331.61 c LP constraints added 955
329.70/331.61 c LP constraints removed 8
329.70/331.61 c LP pivots internal 90403
329.70/331.61 c LP pivots root 90562
329.70/331.61 c LP calls 1234
329.70/331.61 c LP optimalities 74
329.70/331.61 c LP no pivot count 1
329.70/331.61 c LP infeasibilities 1146
329.70/331.61 c LP valid Farkas constraints 1144
329.70/331.61 c LP learned Farkas constraints 15
329.70/331.61 c LP basis resets 12
329.70/331.61 c LP cycling count 0
329.70/331.61 c LP singular count 8
329.70/331.61 c LP no primal count 0
329.70/331.61 c LP no farkas count 2
329.70/331.61 c LP other issue count 2
329.70/331.61 c LP Gomory cuts 7
329.70/331.61 c LP learned cuts 6
329.70/331.61 c LP deleted cuts 8
329.70/331.61 c LP encountered Gomory constraints 0
329.70/331.61 c LP encountered Farkas constraints 9
329.70/331.61 c LP encountered learned Farkas constraints 15
329.70/331.61 c CG auxiliary variables introduced 0
329.70/331.61 c CG solutions found 0
329.70/331.61 c CG cores constructed 0
329.70/331.61 c CG core cardinality constraints returned 0
329.70/331.61 c CG unit cores 0
329.70/331.61 c CG single cores 0
329.70/331.61 c CG blocks removed during cardinality reduction 0
329.70/331.61 c CG first core best 0
329.70/331.61 c CG decision core best 0
329.70/331.61 c CG core reduction tie 0
329.70/331.61 c CG core degree average 0.00
329.70/331.61 c CG core slack average 0.00
329.70/331.61 c CG core upper bound improvements 0
329.70/331.61 c STR number of successful calls 0
329.70/331.61 c STR number of unsuccessful calls 0
329.70/331.61 c STR number of inconclusive calls 0
329.70/331.61 c STR number of successful attempts 0
329.70/331.61 c STR number of unsuccessful attempts 0
329.70/331.61 c STR number of inconclusive attempts 0
329.70/331.61 c STR average degree increase per successful call inf
329.70/331.61 c STR average degree increase per successful attempt inf
329.70/331.61 c STR total number of conflicts for successful attempts 0
329.70/331.61 c STR total number of conflicts for unsuccessful attempts 0
329.70/331.61 c STR total number of conflicts for inconclusive attempts 0
329.70/331.61 c STR average number of conflicts per successful attempt inf
329.70/331.61 c STR average number of conflicts per unsuccessful attempt inf
329.70/331.61 c STR average number of conflicts per inconclusive attempt inf
329.70/331.61 c AVG.sumWPerc 17.31
329.70/331.61 c bigint constraints 0
329.70/331.61 s SATISFIABLE
329.70/331.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 x301 -x302 x303 -x304 x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 x368 -x369 x370 -x371 x372 -x373 x374 x375 -x376 x377 -x378 x379 -x380 x381 -x382 -x383 x384 -x385 x386 -x387 x388 -x389 x390 x391 -x392 x393 -x394 x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 x419 -x420 x421 -x422 x423 -x424 x425 -x426 x427 -x428
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 (62771 MiB free)
memory of node 1: 64465 MiB (63404 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493809-1751155637/watcher-4493809-1751155637 -o /tmp/evaluation-result-4493809-1751155637/solver-4493809-1751155637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493809-1751155637.opb PROOFDIR/proof-4493809-1751155637
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=15827, runsolver pid=15824
[startup+0.100061 s]*
/proc/loadavg: 3.54 2.99 3.28 5/273 15830
/proc/meminfo: memFree=129203972/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=57804 memory=12300 CPUtime=0.07 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 1056 0 0 0 7 0 0 0 20 0 1 0 31242282 59191296 3075 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 14451 3075 2336 1147 0 1878 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61996 KiB
Current children cumulated memory: 15244 KiB
[startup+0.205668 s]*
/proc/loadavg: 3.54 2.99 3.28 5/273 15830
/proc/meminfo: memFree=129203216/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=58068 memory=14848 CPUtime=0.17 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 1162 0 0 0 17 0 0 0 20 0 1 0 31242282 59461632 3712 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 14517 3712 2368 1147 0 1944 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62260 KiB
Current children cumulated memory: 17792 KiB
[startup+0.305625 s]*
/proc/loadavg: 3.54 2.99 3.28 5/273 15830
/proc/meminfo: memFree=129203304/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=58616 memory=15360 CPUtime=0.27 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 1297 0 0 0 26 1 0 0 20 0 1 0 31242282 60022784 3840 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 14654 3840 2368 1147 0 2081 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 62808 KiB
Current children cumulated memory: 18304 KiB
[startup+0.700174 s]
/proc/loadavg: 3.54 2.99 3.28 4/273 15830
/proc/meminfo: memFree=129213664/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=59544 memory=16384 CPUtime=0.66 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 1539 0 0 0 64 2 0 0 20 0 1 0 31242282 60973056 4096 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 14886 4096 2400 1147 0 2313 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63736 KiB
Current children cumulated memory: 19328 KiB
[startup+1.50014 s]
/proc/loadavg: 3.54 2.99 3.28 4/268 15838
/proc/meminfo: memFree=129214204/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=60396 memory=19284 CPUtime=1.46 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 1751 0 0 0 143 3 0 0 20 0 1 0 31242282 61845504 4821 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 15099 4821 2400 1147 0 2526 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 64588 KiB
Current children cumulated memory: 22228 KiB
[startup+3.10548 s]
/proc/loadavg: 3.54 2.99 3.28 5/273 15877
/proc/meminfo: memFree=129305912/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=61688 memory=20436 CPUtime=3.06 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 2046 0 0 0 300 6 0 0 20 0 1 0 31242282 63168512 5109 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 15422 5109 2400 1147 0 2849 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 65880 KiB
Current children cumulated memory: 23380 KiB
[startup+6.30016 s]
/proc/loadavg: 3.58 3.01 3.29 5/273 15877
/proc/meminfo: memFree=129216940/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=66296 memory=22484 CPUtime=6.24 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 2560 0 0 0 611 13 0 0 20 0 1 0 31242282 67887104 5621 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 16574 5621 2400 1147 0 4001 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 70488 KiB
Current children cumulated memory: 25428 KiB
[startup+12.7002 s]
/proc/loadavg: 3.61 3.03 3.29 5/274 15878
/proc/meminfo: memFree=129143288/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=67464 memory=24916 CPUtime=12.62 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 3171 0 0 0 1237 25 0 0 20 0 1 0 31242282 69083136 6229 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 16866 6229 2400 1147 0 4293 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 71656 KiB
Current children cumulated memory: 27860 KiB
[startup+25.5002 s]
/proc/loadavg: 3.70 3.08 3.30 5/274 15879
/proc/meminfo: memFree=128881176/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=77160 memory=31572 CPUtime=25.38 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 4832 0 0 0 2490 48 0 0 20 0 1 0 31242282 79011840 7893 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 19290 7893 2400 1147 0 6717 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 81352 KiB
Current children cumulated memory: 34516 KiB
[startup+51.1056 s]
/proc/loadavg: 3.86 3.17 3.33 5/274 15972
/proc/meminfo: memFree=128902248/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=79856 memory=37360 CPUtime=50.71 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 5775 0 0 0 4978 93 0 0 20 0 1 0 31242282 81772544 9340 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 19964 9340 2400 1147 0 7391 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 84048 KiB
Current children cumulated memory: 40304 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 3.31 3.37 5/274 16161
/proc/meminfo: memFree=127900052/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=90716 memory=43440 CPUtime=101.46 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 8114 0 0 0 9975 171 0 0 20 0 1 0 31242282 92893184 10860 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 22679 10860 2496 1147 0 10106 0
Current children cumulated CPU time: 101.46 s
Current children cumulated vsize: 94908 KiB
Current children cumulated memory: 46384 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 3.47 3.42 4/269 16406
/proc/meminfo: memFree=127041960/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=96152 memory=51044 CPUtime=161.15 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 10270 0 0 0 15864 251 0 0 20 0 1 0 31242282 98459648 12761 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 24038 12761 2496 1147 0 11465 0
Current children cumulated CPU time: 161.15 s
Current children cumulated vsize: 100344 KiB
Current children cumulated memory: 53988 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 3.61 3.48 5/274 16728
/proc/meminfo: memFree=127447868/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=97956 memory=54168 CPUtime=220.85 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 11724 0 0 0 21764 321 0 0 20 0 1 0 31242282 100306944 13542 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 24489 13542 2496 1147 0 11916 0
Current children cumulated CPU time: 220.85 s
Current children cumulated vsize: 102148 KiB
Current children cumulated memory: 57112 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.70 3.52 5/275 16731
/proc/meminfo: memFree=127246820/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=99768 memory=57408 CPUtime=280.54 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13204 0 0 0 27660 394 0 0 20 0 1 0 31242282 102162432 14352 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 24942 14352 2496 1147 0 12369 0
Current children cumulated CPU time: 280.54 s
Current children cumulated vsize: 103960 KiB
Current children cumulated memory: 60352 KiB
[startup+331.697 s]
# the end of solver process 15827 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=325.131 s, system=4.61636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.22 3.76 3.54 5/274 16731
/proc/meminfo: memFree=127058880/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=100208 memory=58304 CPUtime=305.37 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13434 0 0 0 30106 431 0 0 20 0 1 0 31242282 102612992 14576 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 25052 14576 2496 1147 0 12479 0
Current children cumulated CPU time: 305.37 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 61248 KiB
[startup+320 s]*
/proc/loadavg: 4.39 3.82 3.57 5/273 16731
/proc/meminfo: memFree=126993136/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=100208 memory=58688 CPUtime=318.14 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13532 0 0 0 31368 446 0 0 20 0 1 0 31242282 102612992 14672 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 25052 14672 2496 1147 0 12479 0
Current children cumulated CPU time: 318.14 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 61632 KiB
[startup+326.4 s]
/proc/loadavg: 4.44 3.84 3.58 5/272 16731
/proc/meminfo: memFree=126913480/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=111884 memory=58816 CPUtime=324.52 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13571 0 0 0 31998 454 0 0 20 0 1 0 31242282 114569216 14704 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 27971 14704 2496 1147 0 15398 0
Current children cumulated CPU time: 324.52 s
Current children cumulated vsize: 116076 KiB
Current children cumulated memory: 61760 KiB
[startup+329.6 s]
/proc/loadavg: 4.44 3.84 3.58 5/272 16733
/proc/meminfo: memFree=126874708/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=111884 memory=58816 CPUtime=327.7 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13571 0 0 0 32314 456 0 0 20 0 1 0 31242282 114569216 14704 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 27971 14704 2496 1147 0 15398 0
Current children cumulated CPU time: 327.7 s
Current children cumulated vsize: 116076 KiB
Current children cumulated memory: 61760 KiB
[startup+330.4 s]
/proc/loadavg: 4.40 3.84 3.58 5/272 16733
/proc/meminfo: memFree=126896092/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=111884 memory=58816 CPUtime=328.51 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13571 0 0 0 32393 458 0 0 20 0 1 0 31242282 114569216 14704 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 27971 14704 2496 1147 0 15398 0
Current children cumulated CPU time: 328.51 s
Current children cumulated vsize: 116076 KiB
Current children cumulated memory: 61760 KiB
[startup+331.2 s]
/proc/loadavg: 4.40 3.84 3.58 5/272 16733
/proc/meminfo: memFree=126880188/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=111884 memory=58816 CPUtime=329.3 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13587 0 0 0 32471 459 0 0 20 0 1 0 31242282 114569216 14704 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 27971 14704 2496 1147 0 15398 0
Current children cumulated CPU time: 329.3 s
Current children cumulated vsize: 116076 KiB
Current children cumulated memory: 61760 KiB
[startup+331.6 s]
/proc/loadavg: 4.40 3.84 3.58 5/272 16733
/proc/meminfo: memFree=126880188/131249988 swapFree=33010684/33010684
[pid=15827] ppid=15824 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/15827/stat : 15827 (run-dec-break-l) S 15824 15827 15084 0 -1 4194304 239 451 0 0 0 0 0 0 20 0 1 0 31242280 4292608 736 18446744073709551615 94804200349696 94804201244229 140726171259824 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94804201483280 94804201531024 94804209561600 140726171261205 140726171261406 140726171261406 140726171267008 0
/proc/15827/statm: 1048 736 672 219 0 110 0
[pid=15830] ppid=15827 vsize=112032 memory=59584 CPUtime=329.7 cores=5,7
/proc/15830/stat : 15830 (roundingsat) R 15827 15827 15084 0 -1 4194304 13752 0 0 0 32511 459 0 0 20 0 1 0 31242282 114720768 14896 18446744073709551615 4227072 8923433 140736284632464 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 13025280 140736284637428 140736284637736 140736284637736 140736284643306 0
/proc/15830/statm: 28008 14896 2496 1147 0 15435 0
Current children cumulated CPU time: 329.7 s
Current children cumulated vsize: 116224 KiB
Current children cumulated memory: 62528 KiB
Child status: 0
Real time (s): 331.697
CPU time (s): 329.747
CPU user time (s): 325.131
CPU system time (s): 4.61636
CPU usage (%): 99.412
Max. virtual memory (cumulated for all children) (KiB): 116224
Max. memory (cumulated for all children) (KiB): 62528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 325.131
system time used= 4.61636
maximum resident set size= 59712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1853192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1064
involuntary context switches= 2052
# summary of solver processes directly reported to runsolver:
# pid: 15827
# total CPU time (s): 329.747
# total CPU user time (s): 325.131
# total CPU system time (s): 4.61636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.618732 second user time and 1.48914 second system time
The end
Begin job on nodeC031 at 2025-06-29 02:07:17
IDJOB=4493809
IDBENCH=147873
IDSOLVER=3358
FILE ID=nodeC031/4493809-1751155637
RUNJOBID= nodeC031-1751155546-15097
SLURM_JOB_ID= 9587472
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493809-1751155637/watcher-4493809-1751155637 -o /tmp/evaluation-result-4493809-1751155637/solver-4493809-1751155637 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751155546-15097 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4493809-1751155637.opb PROOFDIR/proof-4493809-1751155637
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae
RANDOM SEED=2147372548
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 : 3599.891
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 : 3599.893
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 : 3523.303
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 : 3613.529
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.978
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 : 3599.903
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 : 3700.000
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 : 3549.979
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: 129203716 kB
MemAvailable: 129469160 kB
Buffers: 3280 kB
Cached: 1076268 kB
SwapCached: 0 kB
Active: 615084 kB
Inactive: 857188 kB
Active(anon): 410848 kB
Inactive(anon): 0 kB
Active(file): 204236 kB
Inactive(file): 857188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 169844 kB
Writeback: 0 kB
AnonPages: 395808 kB
Mapped: 116236 kB
Shmem: 18064 kB
KReclaimable: 86520 kB
Slab: 175652 kB
SReclaimable: 86520 kB
SUnreclaim: 89132 kB
KernelStack: 4400 kB
PageTables: 4120 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 752808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 51200 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= 432984 MiB
End job on nodeC031 at 2025-06-29 02:12:49