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-4493808-1751155976.opb'
0.00/0.01 c read 0.05MB (0.68ms)
0.00/0.01 c [cnf: #variables 428 #clauses 942 #duplicates 0 #arr 5161]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (0.70ms)
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-4493808-1751155976.opb.pre'
0.00/0.01 c wrote 0.05MB (0.16ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 0.70ms 35.87% approx_orbits
0.00/0.01 c 0.68ms 34.57% parse
0.00/0.01 c 0.21ms 10.93% detect_generic
0.00/0.01 c 0.16ms 8.22% output
0.00/0.01 c 0.10ms 5.26% other
0.00/0.01 c 0.09ms 4.48% detect_special
0.00/0.01 c 0.01ms 0.66% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 1.96ms 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.02 c #variables 428 #constraints 942
6.16/6.21 c #Conflicts: 1000 | #Constraints: 1941
6.16/6.21 c #Conflicts: 2000 | #Constraints: 2942
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 3000 | #Constraints: 2913
6.16/6.21 c #Conflicts: 4000 | #Constraints: 3913
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 5000 | #Constraints: 3315
6.16/6.21 c #Conflicts: 6000 | #Constraints: 4315
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 7000 | #Constraints: 3320
6.16/6.21 c #Conflicts: 8000 | #Constraints: 4320
6.16/6.21 c #Conflicts: 9000 | #Constraints: 5321
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 10000 | #Constraints: 4019
6.16/6.21 c #Conflicts: 11000 | #Constraints: 5019
6.16/6.21 c #Conflicts: 12000 | #Constraints: 6019
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 13000 | #Constraints: 4469
6.16/6.21 c #Conflicts: 14000 | #Constraints: 5469
6.16/6.21 c #Conflicts: 15000 | #Constraints: 6469
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 16000 | #Constraints: 4696
6.16/6.21 c #Conflicts: 17000 | #Constraints: 5696
6.16/6.21 c #Conflicts: 18000 | #Constraints: 6696
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 19000 | #Constraints: 4711
6.16/6.21 c #Conflicts: 20000 | #Constraints: 5711
6.16/6.21 c #Conflicts: 21000 | #Constraints: 6712
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 22000 | #Constraints: 4521
6.16/6.21 c #Conflicts: 23000 | #Constraints: 5521
6.16/6.21 c #Conflicts: 24000 | #Constraints: 6522
6.16/6.21 c #Conflicts: 25000 | #Constraints: 7522
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 26000 | #Constraints: 5123
6.16/6.21 c #Conflicts: 27000 | #Constraints: 6123
6.16/6.21 c #Conflicts: 28000 | #Constraints: 7123
6.16/6.21 c #Conflicts: 29000 | #Constraints: 8123
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 c #Conflicts: 30000 | #Constraints: 5517
6.16/6.21 c #Conflicts: 31000 | #Constraints: 6517
6.16/6.21 c #Conflicts: 32000 | #Constraints: 7517
6.16/6.21 c #Conflicts: 33000 | #Constraints: 8517
6.16/6.21 c INPROCESSING
6.16/6.21 c GARBAGE COLLECT
6.16/6.21 WSVECS04 Frhs2[55]: 6 0 0.475485 shouldn't be
6.16/6.21 WSVECS04 Frhs2[169]: 6 0 0.595257 shouldn't be
6.16/6.21 WSVECS04 Frhs2[324]: 6 0 0.993499 shouldn't be
6.16/6.21 WSVECS04 Frhs2[344]: 6 0 0.726149 shouldn't be
6.16/6.21 WSVECS04 Frhs2[374]: 6 0 0.0479216 shouldn't be
6.16/6.21 WSVECS04 Frhs2[387]: 6 0 0.482648 shouldn't be
6.16/6.21 WSVECS04 Frhs2[388]: 6 0 0.0259363 shouldn't be
14.84/14.95 c #Conflicts: 34000 | #Constraints: 5717
14.84/14.95 c #Conflicts: 35000 | #Constraints: 6717
14.84/14.95 c #Conflicts: 36000 | #Constraints: 7717
14.84/14.95 c #Conflicts: 37000 | #Constraints: 8717
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 38000 | #Constraints: 5675
14.84/14.95 c #Conflicts: 39000 | #Constraints: 6675
14.84/14.95 c #Conflicts: 40000 | #Constraints: 7675
14.84/14.95 c #Conflicts: 41000 | #Constraints: 8675
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 42000 | #Constraints: 5484
14.84/14.95 c #Conflicts: 43000 | #Constraints: 6484
14.84/14.95 c #Conflicts: 44000 | #Constraints: 7484
14.84/14.95 c #Conflicts: 45000 | #Constraints: 8484
14.84/14.95 c #Conflicts: 46000 | #Constraints: 9484
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 47000 | #Constraints: 6089
14.84/14.95 c #Conflicts: 48000 | #Constraints: 7089
14.84/14.95 c #Conflicts: 49000 | #Constraints: 8089
14.84/14.95 c #Conflicts: 50000 | #Constraints: 9089
14.84/14.95 c #Conflicts: 51000 | #Constraints: 10089
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 52000 | #Constraints: 6493
14.84/14.95 c #Conflicts: 53000 | #Constraints: 7493
14.84/14.95 c #Conflicts: 54000 | #Constraints: 8493
14.84/14.95 c #Conflicts: 55000 | #Constraints: 9493
14.84/14.95 c #Conflicts: 56000 | #Constraints: 10493
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 57000 | #Constraints: 6693
14.84/14.95 c #Conflicts: 58000 | #Constraints: 7693
14.84/14.95 c #Conflicts: 59000 | #Constraints: 8693
14.84/14.95 c #Conflicts: 60000 | #Constraints: 9693
14.84/14.95 c #Conflicts: 61000 | #Constraints: 10693
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 62000 | #Constraints: 6691
14.84/14.95 c #Conflicts: 63000 | #Constraints: 7691
14.84/14.95 c #Conflicts: 64000 | #Constraints: 8691
14.84/14.95 c #Conflicts: 65000 | #Constraints: 9691
14.84/14.95 c #Conflicts: 66000 | #Constraints: 10691
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c #Conflicts: 67000 | #Constraints: 6493
14.84/14.95 c #Conflicts: 68000 | #Constraints: 7493
14.84/14.95 c #Conflicts: 69000 | #Constraints: 8493
14.84/14.95 c #Conflicts: 70000 | #Constraints: 9493
14.84/14.95 c #Conflicts: 71000 | #Constraints: 10493
14.84/14.95 c #Conflicts: 72000 | #Constraints: 11493
14.84/14.95 c INPROCESSING
14.84/14.95 c GARBAGE COLLECT
14.84/14.95 c rational objective 60.9897
32.00/32.14 c #Conflicts: 73000 | #Constraints: 7089
32.00/32.14 c #Conflicts: 74000 | #Constraints: 8089
32.00/32.14 c #Conflicts: 75000 | #Constraints: 9089
32.00/32.14 c #Conflicts: 76000 | #Constraints: 10089
32.00/32.14 c #Conflicts: 77000 | #Constraints: 11089
32.00/32.14 c #Conflicts: 78000 | #Constraints: 12089
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 79000 | #Constraints: 7486
32.00/32.14 c #Conflicts: 80000 | #Constraints: 8486
32.00/32.14 c #Conflicts: 81000 | #Constraints: 9486
32.00/32.14 c #Conflicts: 82000 | #Constraints: 10486
32.00/32.14 c #Conflicts: 83000 | #Constraints: 11486
32.00/32.14 c #Conflicts: 84000 | #Constraints: 12486
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 85000 | #Constraints: 7683
32.00/32.14 c #Conflicts: 86000 | #Constraints: 8683
32.00/32.14 c #Conflicts: 87000 | #Constraints: 9683
32.00/32.14 c #Conflicts: 88000 | #Constraints: 10684
32.00/32.14 c #Conflicts: 89000 | #Constraints: 11684
32.00/32.14 c #Conflicts: 90000 | #Constraints: 12684
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 91000 | #Constraints: 7689
32.00/32.14 c #Conflicts: 92000 | #Constraints: 8689
32.00/32.14 c #Conflicts: 93000 | #Constraints: 9689
32.00/32.14 c #Conflicts: 94000 | #Constraints: 10689
32.00/32.14 c #Conflicts: 95000 | #Constraints: 11689
32.00/32.14 c #Conflicts: 96000 | #Constraints: 12689
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 97000 | #Constraints: 7497
32.00/32.14 c #Conflicts: 98000 | #Constraints: 8497
32.00/32.14 c #Conflicts: 99000 | #Constraints: 9497
32.00/32.14 c #Conflicts: 100000 | #Constraints: 10497
32.00/32.14 c #Conflicts: 101000 | #Constraints: 11497
32.00/32.14 c #Conflicts: 102000 | #Constraints: 12497
32.00/32.14 c #Conflicts: 103000 | #Constraints: 13497
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 104000 | #Constraints: 8092
32.00/32.14 c #Conflicts: 105000 | #Constraints: 9092
32.00/32.14 c #Conflicts: 106000 | #Constraints: 10092
32.00/32.14 c #Conflicts: 107000 | #Constraints: 11092
32.00/32.14 c #Conflicts: 108000 | #Constraints: 12092
32.00/32.14 c #Conflicts: 109000 | #Constraints: 13092
32.00/32.14 c #Conflicts: 110000 | #Constraints: 14092
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 111000 | #Constraints: 8494
32.00/32.14 c #Conflicts: 112000 | #Constraints: 9495
32.00/32.14 c #Conflicts: 113000 | #Constraints: 10495
32.00/32.14 c #Conflicts: 114000 | #Constraints: 11495
32.00/32.14 c #Conflicts: 115000 | #Constraints: 12495
32.00/32.14 c #Conflicts: 116000 | #Constraints: 13495
32.00/32.14 c #Conflicts: 117000 | #Constraints: 14495
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 118000 | #Constraints: 8688
32.00/32.14 c #Conflicts: 119000 | #Constraints: 9688
32.00/32.14 c #Conflicts: 120000 | #Constraints: 10688
32.00/32.14 c #Conflicts: 121000 | #Constraints: 11688
32.00/32.14 c #Conflicts: 122000 | #Constraints: 12688
32.00/32.14 c #Conflicts: 123000 | #Constraints: 13688
32.00/32.14 c #Conflicts: 124000 | #Constraints: 14688
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 125000 | #Constraints: 8686
32.00/32.14 c #Conflicts: 126000 | #Constraints: 9686
32.00/32.14 c #Conflicts: 127000 | #Constraints: 10686
32.00/32.14 c #Conflicts: 128000 | #Constraints: 11686
32.00/32.14 c #Conflicts: 129000 | #Constraints: 12687
32.00/32.14 c #Conflicts: 130000 | #Constraints: 13687
32.00/32.14 c #Conflicts: 131000 | #Constraints: 14687
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 132000 | #Constraints: 8483
32.00/32.14 c #Conflicts: 133000 | #Constraints: 9483
32.00/32.14 c #Conflicts: 134000 | #Constraints: 10483
32.00/32.14 c #Conflicts: 135000 | #Constraints: 11483
32.00/32.14 c #Conflicts: 136000 | #Constraints: 12483
32.00/32.14 c #Conflicts: 137000 | #Constraints: 13483
32.00/32.14 c #Conflicts: 138000 | #Constraints: 14483
32.00/32.14 c #Conflicts: 139000 | #Constraints: 15483
32.00/32.14 c INPROCESSING
32.00/32.14 c GARBAGE COLLECT
32.00/32.14 c #Conflicts: 140000 | #Constraints: 9085
32.00/32.14 c #Conflicts: 141000 | #Constraints: 10085
32.00/32.14 c #Conflicts: 142000 | #Constraints: 11085
32.00/32.14 c #Conflicts: 143000 | #Constraints: 12085
32.00/32.14 c #Conflicts: 144000 | #Constraints: 13085
32.00/32.14 c #Conflicts: 145000 | #Constraints: 14085
34.69/34.81 c #Conflicts: 146000 | #Constraints: 15086
34.69/34.81 c #Conflicts: 147000 | #Constraints: 16086
34.69/34.81 c INPROCESSING
34.69/34.81 c GARBAGE COLLECT
34.69/34.81 c #Conflicts: 148000 | #Constraints: 9488
34.69/34.81 c #Conflicts: 149000 | #Constraints: 10488
34.69/34.81 c #Conflicts: 150000 | #Constraints: 11488
34.69/34.81 c #Conflicts: 151000 | #Constraints: 12488
34.69/34.81 c #Conflicts: 152000 | #Constraints: 13488
34.69/34.81 c #Conflicts: 153000 | #Constraints: 14488
34.69/34.81 c #Conflicts: 154000 | #Constraints: 15488
34.69/34.81 c #Conflicts: 155000 | #Constraints: 16488
34.69/34.81 c INPROCESSING
34.69/34.81 c GARBAGE COLLECT
34.69/34.81 c rational objective 61.0017
46.86/47.07 c #Conflicts: 156000 | #Constraints: 9691
46.86/47.07 c #Conflicts: 157000 | #Constraints: 10691
46.86/47.07 c #Conflicts: 158000 | #Constraints: 11692
46.86/47.07 c #Conflicts: 159000 | #Constraints: 12693
46.86/47.07 c #Conflicts: 160000 | #Constraints: 13693
46.86/47.07 c #Conflicts: 161000 | #Constraints: 14694
46.86/47.07 c #Conflicts: 162000 | #Constraints: 15694
46.86/47.07 c #Conflicts: 163000 | #Constraints: 16694
46.86/47.07 c INPROCESSING
46.86/47.07 c GARBAGE COLLECT
46.86/47.07 c #Conflicts: 164000 | #Constraints: 9691
46.86/47.07 c #Conflicts: 165000 | #Constraints: 10692
46.86/47.07 c #Conflicts: 166000 | #Constraints: 11693
46.86/47.07 c #Conflicts: 167000 | #Constraints: 12695
46.86/47.07 c #Conflicts: 168000 | #Constraints: 13696
46.86/47.07 c #Conflicts: 169000 | #Constraints: 14697
46.86/47.07 c #Conflicts: 170000 | #Constraints: 15698
46.86/47.07 c #Conflicts: 171000 | #Constraints: 16699
46.86/47.07 c INPROCESSING
46.86/47.07 c GARBAGE COLLECT
46.86/47.07 c #Conflicts: 172000 | #Constraints: 9500
46.86/47.07 c #Conflicts: 173000 | #Constraints: 10501
46.86/47.07 c #Conflicts: 174000 | #Constraints: 11503
46.86/47.07 c #Conflicts: 175000 | #Constraints: 12506
46.86/47.07 c #Conflicts: 176000 | #Constraints: 13507
46.86/47.07 c #Conflicts: 177000 | #Constraints: 14509
46.86/47.07 c #Conflicts: 178000 | #Constraints: 15510
46.86/47.07 c #Conflicts: 179000 | #Constraints: 16511
46.86/47.07 c #Conflicts: 180000 | #Constraints: 17512
46.86/47.07 c INPROCESSING
46.86/47.07 c GARBAGE COLLECT
46.86/47.07 c #Conflicts: 181000 | #Constraints: 10106
46.86/47.07 c #Conflicts: 182000 | #Constraints: 11107
46.86/47.07 c #Conflicts: 183000 | #Constraints: 12108
46.86/47.07 c #Conflicts: 184000 | #Constraints: 13109
46.86/47.07 c #Conflicts: 185000 | #Constraints: 14110
46.86/47.07 c #Conflicts: 186000 | #Constraints: 15113
46.86/47.07 c #Conflicts: 187000 | #Constraints: 16114
46.86/47.07 c #Conflicts: 188000 | #Constraints: 17115
46.86/47.07 c #Conflicts: 189000 | #Constraints: 18116
46.86/47.07 c INPROCESSING
46.86/47.07 c GARBAGE COLLECT
46.86/47.07 c #Conflicts: 190000 | #Constraints: 10505
46.86/47.07 c #Conflicts: 191000 | #Constraints: 11507
46.86/47.07 c #Conflicts: 192000 | #Constraints: 12510
46.86/47.07 c #Conflicts: 193000 | #Constraints: 13513
46.86/47.07 c #Conflicts: 194000 | #Constraints: 14516
46.86/47.07 c #Conflicts: 195000 | #Constraints: 15519
46.86/47.07 c #Conflicts: 196000 | #Constraints: 16529
46.86/47.07 c #Conflicts: 197000 | #Constraints: 17536
46.86/47.07 c #Conflicts: 198000 | #Constraints: 18543
46.86/47.07 c INPROCESSING
46.86/47.07 c GARBAGE COLLECT
46.86/47.07 WSVECS04 Frhs2[5]: 6 0 0.694808 shouldn't be
46.86/47.07 WSVECS04 Frhs2[7]: 6 0 1.94861 shouldn't be
46.86/47.07 WSVECS04 Frhs2[8]: 6 0 1.25383 shouldn't be
46.86/47.07 WSVECS04 Frhs2[12]: 6 0 1.04967 shouldn't be
46.86/47.07 WSVECS04 Frhs2[14]: 6 0 0.675744 shouldn't be
46.86/47.07 WSVECS04 Frhs2[21]: 6 0 0.694801 shouldn't be
46.86/47.07 WSVECS04 Frhs2[27]: 6 0 1.9003 shouldn't be
46.86/47.07 WSVECS04 Frhs2[29]: 6 0 0.694816 shouldn't be
46.86/47.07 WSVECS04 Frhs2[32]: 6 -10.7627 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[33]: 6 0 0.694752 shouldn't be
46.86/47.07 WSVECS04 Frhs2[35]: 6 0 0.694765 shouldn't be
46.86/47.07 WSVECS04 Frhs2[37]: 6 0 0.694767 shouldn't be
46.86/47.07 WSVECS04 Frhs2[39]: 6 0 0.694809 shouldn't be
46.86/47.07 WSVECS04 Frhs2[43]: 6 0 0.694747 shouldn't be
46.86/47.07 WSVECS04 Frhs2[45]: 6 0 2.0031 shouldn't be
46.86/47.07 WSVECS04 Frhs2[47]: 6 0 0.69481 shouldn't be
46.86/47.07 WSVECS04 Frhs2[53]: 6 0 0.533731 shouldn't be
46.86/47.07 WSVECS04 Frhs2[57]: 6 0 0.196918 shouldn't be
46.86/47.07 WSVECS04 Frhs2[69]: 6 0 0.694757 shouldn't be
46.86/47.07 WSVECS04 Frhs2[77]: 6 0 0.694755 shouldn't be
46.86/47.07 WSVECS04 Frhs2[83]: 6 0 0.694811 shouldn't be
46.86/47.07 WSVECS04 Frhs2[87]: 6 0 0.744486 shouldn't be
46.86/47.07 WSVECS04 Frhs2[91]: 6 0 0.694744 shouldn't be
46.86/47.07 WSVECS04 Frhs2[97]: 6 0 0.705618 shouldn't be
46.86/47.07 WSVECS04 Frhs2[107]: 6 0 0.694796 shouldn't be
46.86/47.07 WSVECS04 Frhs2[109]: 6 0 0.694795 shouldn't be
46.86/47.07 WSVECS04 Frhs2[117]: 6 0 1.29687 shouldn't be
46.86/47.07 WSVECS04 Frhs2[129]: 6 0 2.20595 shouldn't be
46.86/47.07 WSVECS04 Frhs2[133]: 6 0 0.694791 shouldn't be
46.86/47.07 WSVECS04 Frhs2[135]: 6 0 0.694735 shouldn't be
46.86/47.07 WSVECS04 Frhs2[147]: 6 0 1.585 shouldn't be
46.86/47.07 WSVECS04 Frhs2[153]: 6 0 0.90431 shouldn't be
46.86/47.07 WSVECS04 Frhs2[155]: 6 0 0.694794 shouldn't be
46.86/47.07 WSVECS04 Frhs2[159]: 6 0 0.694751 shouldn't be
46.86/47.07 WSVECS04 Frhs2[161]: 6 0 0.694758 shouldn't be
46.86/47.07 WSVECS04 Frhs2[175]: 6 0 0.694819 shouldn't be
46.86/47.07 WSVECS04 Frhs2[177]: 6 0 1.89158 shouldn't be
46.86/47.07 WSVECS04 Frhs2[179]: 6 0 0.69477 shouldn't be
46.86/47.07 WSVECS04 Frhs2[181]: 6 0 2.02678 shouldn't be
46.86/47.07 WSVECS04 Frhs2[185]: 6 0 2.40261 shouldn't be
46.86/47.07 WSVECS04 Frhs2[195]: 6 0 0.694765 shouldn't be
46.86/47.07 WSVECS04 Frhs2[201]: 6 0 0.69475 shouldn't be
46.86/47.07 WSVECS04 Frhs2[203]: 6 0 0.694778 shouldn't be
46.86/47.07 WSVECS04 Frhs2[205]: 6 0 0.460541 shouldn't be
46.86/47.07 WSVECS04 Frhs2[207]: 6 0 0.694738 shouldn't be
46.86/47.07 WSVECS04 Frhs2[215]: 6 0 0.632197 shouldn't be
46.86/47.07 WSVECS04 Frhs2[223]: 6 0 0.69476 shouldn't be
46.86/47.07 WSVECS04 Frhs2[231]: 6 0 1.03585 shouldn't be
46.86/47.07 WSVECS04 Frhs2[235]: 6 0 1.39953 shouldn't be
46.86/47.07 WSVECS04 Frhs2[237]: 6 0 0.694781 shouldn't be
46.86/47.07 WSVECS04 Frhs2[239]: 6 0 0.768234 shouldn't be
46.86/47.07 WSVECS04 Frhs2[245]: 6 0 6.21634 shouldn't be
46.86/47.07 WSVECS04 Frhs2[249]: 6 0 0.035093 shouldn't be
46.86/47.07 WSVECS04 Frhs2[261]: 6 0 0.17788 shouldn't be
46.86/47.07 WSVECS04 Frhs2[263]: 6 0 0.774595 shouldn't be
46.86/47.07 WSVECS04 Frhs2[267]: 6 0 0.242959 shouldn't be
46.86/47.07 WSVECS04 Frhs2[269]: 6 0 0.347483 shouldn't be
46.86/47.07 WSVECS04 Frhs2[281]: 6 0 0.777645 shouldn't be
46.86/47.07 WSVECS04 Frhs2[282]: 6 0 0.0414916 shouldn't be
46.86/47.07 WSVECS04 Frhs2[283]: 6 0 0.736154 shouldn't be
46.86/47.07 WSVECS04 Frhs2[286]: 6 -0.0207469 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[292]: 6 0 2.98614 shouldn't be
46.86/47.07 WSVECS04 Frhs2[293]: 6 0 0.884093 shouldn't be
46.86/47.07 WSVECS04 Frhs2[305]: 6 -3.09252 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[307]: 6 -2.61738 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[308]: 6 0 1.13104 shouldn't be
46.86/47.07 WSVECS04 Frhs2[309]: 6 0 1.43724 shouldn't be
46.86/47.07 WSVECS04 Frhs2[319]: 6 -0.628798 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[320]: 6 0 1.38874 shouldn't be
46.86/47.07 WSVECS04 Frhs2[321]: 6 -3.22238 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[322]: 6 0 2.81402 shouldn't be
46.86/47.07 WSVECS04 Frhs2[333]: 6 -2.54247 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[345]: 6 -3.71716 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[351]: 6 -2.94304 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[354]: 6 0 0.295175 shouldn't be
46.86/47.07 WSVECS04 Frhs2[362]: 6 -1.00006 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[375]: 6 0 0.179317 shouldn't be
46.86/47.07 WSVECS04 Frhs2[379]: 6 -3.02358 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[385]: 6 -1.44649 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[413]: 6 0 0.592355 shouldn't be
46.86/47.07 WSVECS04 Frhs2[416]: 6 -0.278439 0 shouldn't be
46.86/47.07 WSVECS04 Frhs2[428]: 6 0 0.857771 shouldn't be
46.97/47.12 WSVECS04 Frhs2[105]: 6 0 0.904339 shouldn't be
46.97/47.12 WSVECS04 Frhs2[311]: 6 -0.671043 0 shouldn't be
46.97/47.17 WSVECS04 Frhs2[9]: 6 0 0.694792 shouldn't be
46.97/47.17 WSVECS04 Frhs2[75]: 6 0 0.694788 shouldn't be
46.97/47.17 WSVECS04 Frhs2[85]: 6 0 0.694816 shouldn't be
46.97/47.17 WSVECS04 Frhs2[89]: 6 0 0.715798 shouldn't be
46.97/47.17 WSVECS04 Frhs2[127]: 6 0 0.694781 shouldn't be
46.97/47.17 WSVECS04 Frhs2[149]: 6 0 0.0941497 shouldn't be
46.97/47.17 WSVECS04 Frhs2[151]: 6 0 0.694816 shouldn't be
46.97/47.17 WSVECS04 Frhs2[154]: 6 0 1.22175 shouldn't be
46.97/47.17 WSVECS04 Frhs2[187]: 6 0 0.69481 shouldn't be
46.97/47.17 WSVECS04 Frhs2[199]: 6 0 0.694787 shouldn't be
46.97/47.17 WSVECS04 Frhs2[209]: 6 0 0.630574 shouldn't be
46.97/47.17 WSVECS04 Frhs2[213]: 6 0 0.694801 shouldn't be
46.97/47.17 WSVECS04 Frhs2[229]: 6 0 0.694799 shouldn't be
46.97/47.17 WSVECS04 Frhs2[259]: 6 0 0.694772 shouldn't be
46.97/47.17 WSVECS04 Frhs2[285]: 6 0 0.715496 shouldn't be
46.97/47.17 WSVECS04 Frhs2[403]: 6 -1.70638 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[7]: 6 0 1.94852 shouldn't be
47.06/47.23 WSVECS04 Frhs2[8]: 6 0 1.25379 shouldn't be
47.06/47.23 WSVECS04 Frhs2[14]: 6 0 0.675668 shouldn't be
47.06/47.23 WSVECS04 Frhs2[27]: 6 0 1.90021 shouldn't be
47.06/47.23 WSVECS04 Frhs2[32]: 6 -10.7626 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[33]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[35]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[37]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[43]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[45]: 6 0 2.00306 shouldn't be
47.06/47.23 WSVECS04 Frhs2[47]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[57]: 6 0 0.196872 shouldn't be
47.06/47.23 WSVECS04 Frhs2[69]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[75]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[77]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[83]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[85]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[87]: 6 0 0.744462 shouldn't be
47.06/47.23 WSVECS04 Frhs2[91]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[97]: 6 0 0.705543 shouldn't be
47.06/47.23 WSVECS04 Frhs2[107]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[109]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[117]: 6 0 1.29678 shouldn't be
47.06/47.23 WSVECS04 Frhs2[129]: 6 0 2.2059 shouldn't be
47.06/47.23 WSVECS04 Frhs2[130]: 6 0 1.51118 shouldn't be
47.06/47.23 WSVECS04 Frhs2[133]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[135]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[147]: 6 0 1.58493 shouldn't be
47.06/47.23 WSVECS04 Frhs2[149]: 6 0 0.0941255 shouldn't be
47.06/47.23 WSVECS04 Frhs2[151]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[153]: 6 0 0.904292 shouldn't be
47.06/47.23 WSVECS04 Frhs2[154]: 6 0 1.22166 shouldn't be
47.06/47.23 WSVECS04 Frhs2[155]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[159]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[161]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[175]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[177]: 6 0 1.8915 shouldn't be
47.06/47.23 WSVECS04 Frhs2[179]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[181]: 6 0 2.02671 shouldn't be
47.06/47.23 WSVECS04 Frhs2[185]: 6 0 2.40252 shouldn't be
47.06/47.23 WSVECS04 Frhs2[187]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[195]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[199]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[201]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[205]: 6 0 0.460515 shouldn't be
47.06/47.23 WSVECS04 Frhs2[207]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[213]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[215]: 6 0 0.632131 shouldn't be
47.06/47.23 WSVECS04 Frhs2[223]: 6 0 0.694725 shouldn't be
47.06/47.23 WSVECS04 Frhs2[229]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[231]: 6 0 1.0358 shouldn't be
47.06/47.23 WSVECS04 Frhs2[235]: 6 0 1.39946 shouldn't be
47.06/47.23 WSVECS04 Frhs2[239]: 6 0 0.768212 shouldn't be
47.06/47.23 WSVECS04 Frhs2[245]: 6 0 6.21626 shouldn't be
47.06/47.23 WSVECS04 Frhs2[249]: 6 0 0.0350335 shouldn't be
47.06/47.23 WSVECS04 Frhs2[259]: 6 0 0.694724 shouldn't be
47.06/47.23 WSVECS04 Frhs2[263]: 6 0 0.774577 shouldn't be
47.06/47.23 WSVECS04 Frhs2[267]: 6 0 0.242931 shouldn't be
47.06/47.23 WSVECS04 Frhs2[269]: 6 0 0.347449 shouldn't be
47.06/47.23 WSVECS04 Frhs2[275]: 6 0 3.74193 shouldn't be
47.06/47.23 WSVECS04 Frhs2[282]: 6 0 0.0414186 shouldn't be
47.06/47.23 WSVECS04 Frhs2[283]: 6 0 0.736142 shouldn't be
47.06/47.23 WSVECS04 Frhs2[285]: 6 0 0.715434 shouldn't be
47.06/47.23 WSVECS04 Frhs2[286]: 6 -0.0207094 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[292]: 6 0 2.98608 shouldn't be
47.06/47.23 WSVECS04 Frhs2[293]: 6 0 0.884009 shouldn't be
47.06/47.23 WSVECS04 Frhs2[305]: 6 -3.09248 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[307]: 6 -2.61734 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[308]: 6 0 1.13096 shouldn't be
47.06/47.23 WSVECS04 Frhs2[309]: 6 0 1.43717 shouldn't be
47.06/47.23 WSVECS04 Frhs2[311]: 6 -0.670954 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[320]: 6 0 1.38867 shouldn't be
47.06/47.23 WSVECS04 Frhs2[321]: 6 -3.2223 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[322]: 6 0 2.81394 shouldn't be
47.06/47.23 WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[345]: 6 -3.71708 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[354]: 6 0 0.295125 shouldn't be
47.06/47.23 WSVECS04 Frhs2[362]: 6 -1 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[379]: 6 -3.02353 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[385]: 6 -1.44642 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[403]: 6 -1.70636 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[413]: 6 0 0.592332 shouldn't be
47.06/47.23 WSVECS04 Frhs2[416]: 6 -0.278342 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[427]: 6 -1.52683 0 shouldn't be
47.06/47.23 WSVECS04 Frhs2[428]: 6 0 0.857689 shouldn't be
60.94/61.17 c #Conflicts: 199000 | #Constraints: 10718
60.94/61.17 c #Conflicts: 200000 | #Constraints: 11718
60.94/61.17 c #Conflicts: 201000 | #Constraints: 12718
60.94/61.17 c #Conflicts: 202000 | #Constraints: 13719
60.94/61.17 c #Conflicts: 203000 | #Constraints: 14719
60.94/61.17 c #Conflicts: 204000 | #Constraints: 15719
60.94/61.17 c #Conflicts: 205000 | #Constraints: 16719
60.94/61.17 c #Conflicts: 206000 | #Constraints: 17719
60.94/61.17 c #Conflicts: 207000 | #Constraints: 18719
60.94/61.17 c INPROCESSING
60.94/61.17 c GARBAGE COLLECT
60.94/61.17 c #Conflicts: 208000 | #Constraints: 10711
60.94/61.17 c #Conflicts: 209000 | #Constraints: 11712
60.94/61.17 c #Conflicts: 210000 | #Constraints: 12712
60.94/61.17 c #Conflicts: 211000 | #Constraints: 13712
60.94/61.17 c #Conflicts: 212000 | #Constraints: 14712
60.94/61.17 c #Conflicts: 213000 | #Constraints: 15713
60.94/61.17 c #Conflicts: 214000 | #Constraints: 16717
60.94/61.17 c #Conflicts: 215000 | #Constraints: 17722
60.94/61.17 c #Conflicts: 216000 | #Constraints: 18730
60.94/61.17 c INPROCESSING
60.94/61.17 c GARBAGE COLLECT
60.94/61.17 c #Conflicts: 217000 | #Constraints: 10514
60.94/61.17 c #Conflicts: 218000 | #Constraints: 11515
60.94/61.17 c #Conflicts: 219000 | #Constraints: 12518
60.94/61.17 c #Conflicts: 220000 | #Constraints: 13523
60.94/61.17 c #Conflicts: 221000 | #Constraints: 14526
60.94/61.17 c #Conflicts: 222000 | #Constraints: 15532
60.94/61.17 c #Conflicts: 223000 | #Constraints: 16538
60.94/61.17 c #Conflicts: 224000 | #Constraints: 17540
60.94/61.17 c #Conflicts: 225000 | #Constraints: 18548
60.94/61.17 c #Conflicts: 226000 | #Constraints: 19559
60.94/61.17 c INPROCESSING
60.94/61.17 c GARBAGE COLLECT
60.94/61.17 c #Conflicts: 227000 | #Constraints: 11137
60.94/61.17 c #Conflicts: 228000 | #Constraints: 12139
60.94/61.17 c #Conflicts: 229000 | #Constraints: 13141
60.94/61.17 c #Conflicts: 230000 | #Constraints: 14142
60.94/61.17 c #Conflicts: 231000 | #Constraints: 15144
60.94/61.17 c #Conflicts: 232000 | #Constraints: 16145
60.94/61.17 c #Conflicts: 233000 | #Constraints: 17146
60.94/61.17 c #Conflicts: 234000 | #Constraints: 18147
60.94/61.17 c #Conflicts: 235000 | #Constraints: 19147
60.94/61.17 c #Conflicts: 236000 | #Constraints: 20148
60.94/61.17 c INPROCESSING
60.94/61.17 c GARBAGE COLLECT
60.94/61.17 c #Conflicts: 237000 | #Constraints: 11525
60.94/61.17 c #Conflicts: 238000 | #Constraints: 12526
60.94/61.17 c #Conflicts: 239000 | #Constraints: 13526
60.94/61.17 c #Conflicts: 240000 | #Constraints: 14527
60.94/61.17 c #Conflicts: 241000 | #Constraints: 15527
60.94/61.17 c #Conflicts: 242000 | #Constraints: 16528
60.94/61.17 c #Conflicts: 243000 | #Constraints: 17529
60.94/61.17 c #Conflicts: 244000 | #Constraints: 18530
60.94/61.17 c #Conflicts: 245000 | #Constraints: 19531
60.94/61.17 c #Conflicts: 246000 | #Constraints: 20532
60.94/61.17 c INPROCESSING
60.94/61.17 c GARBAGE COLLECT
60.94/61.17 WSVECS04 Frhs2[21]: 6 0 1.34811 shouldn't be
60.94/61.17 WSVECS04 Frhs2[32]: 6 0 7.42656 shouldn't be
60.94/61.17 WSVECS04 Frhs2[33]: 6 -1.08228 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[39]: 6 0 0.0753177 shouldn't be
60.94/61.17 WSVECS04 Frhs2[73]: 6 0 0.535563 shouldn't be
60.94/61.17 WSVECS04 Frhs2[79]: 6 0 0.100476 shouldn't be
60.94/61.17 WSVECS04 Frhs2[81]: 6 0 7.25772 shouldn't be
60.94/61.17 WSVECS04 Frhs2[93]: 6 0 0.970167 shouldn't be
60.94/61.17 WSVECS04 Frhs2[163]: 6 0 1.74488 shouldn't be
60.94/61.17 WSVECS04 Frhs2[197]: 6 0 5.64464 shouldn't be
60.94/61.17 WSVECS04 Frhs2[207]: 6 0 0.624052 shouldn't be
60.94/61.17 WSVECS04 Frhs2[211]: 6 0 2.01461 shouldn't be
60.94/61.17 WSVECS04 Frhs2[213]: 6 0 0.338307 shouldn't be
60.94/61.17 WSVECS04 Frhs2[214]: 6 0 0.338233 shouldn't be
60.94/61.17 WSVECS04 Frhs2[226]: 6 0 10.9259 shouldn't be
60.94/61.17 WSVECS04 Frhs2[235]: 6 0 0.100444 shouldn't be
60.94/61.17 WSVECS04 Frhs2[245]: 6 0 2.24946 shouldn't be
60.94/61.17 WSVECS04 Frhs2[247]: 6 0 0.974623 shouldn't be
60.94/61.17 WSVECS04 Frhs2[264]: 6 0 0.0709638 shouldn't be
60.94/61.17 WSVECS04 Frhs2[275]: 6 0 2.95864 shouldn't be
60.94/61.17 WSVECS04 Frhs2[277]: 6 0 0.100522 shouldn't be
60.94/61.17 WSVECS04 Frhs2[279]: 6 0 0.651304 shouldn't be
60.94/61.17 WSVECS04 Frhs2[281]: 6 0 0.709318 shouldn't be
60.94/61.17 WSVECS04 Frhs2[290]: 6 0 0.134984 shouldn't be
60.94/61.17 WSVECS04 Frhs2[293]: 6 0 7.7732 shouldn't be
60.94/61.17 WSVECS04 Frhs2[300]: 6 -2.47873 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[316]: 6 0 0.103671 shouldn't be
60.94/61.17 WSVECS04 Frhs2[330]: 6 0 0.4187 shouldn't be
60.94/61.17 WSVECS04 Frhs2[336]: 6 -1.32646 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[339]: 6 -1.55277 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[351]: 6 -1.06408 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[355]: 6 -1.30938 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[373]: 6 -1.99701 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[376]: 6 -2.91383 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[379]: 6 -1.59317 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[380]: 6 0 1.94527 shouldn't be
60.94/61.17 WSVECS04 Frhs2[386]: 6 0 0.296019 shouldn't be
60.94/61.17 WSVECS04 Frhs2[402]: 6 -1.66527 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[417]: 6 -1.46624 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[424]: 6 -1.81871 0 shouldn't be
60.94/61.17 WSVECS04 Frhs2[426]: 6 -0.834709 0 shouldn't be
61.03/61.22 WSVECS04 Frhs2[21]: 6 0 1.34808 shouldn't be
61.03/61.22 WSVECS04 Frhs2[79]: 6 0 0.100433 shouldn't be
61.03/61.22 WSVECS04 Frhs2[93]: 6 0 0.970069 shouldn't be
61.03/61.22 WSVECS04 Frhs2[168]: 6 0 0.521719 shouldn't be
61.03/61.22 WSVECS04 Frhs2[207]: 6 0 0.623962 shouldn't be
61.03/61.22 WSVECS04 Frhs2[213]: 6 0 0.338209 shouldn't be
61.03/61.22 WSVECS04 Frhs2[214]: 6 0 0.338208 shouldn't be
61.03/61.22 WSVECS04 Frhs2[235]: 6 0 0.100433 shouldn't be
61.03/61.22 WSVECS04 Frhs2[245]: 6 0 2.2494 shouldn't be
61.03/61.22 WSVECS04 Frhs2[247]: 6 0 0.974572 shouldn't be
61.03/61.22 WSVECS04 Frhs2[281]: 6 0 0.709283 shouldn't be
61.03/61.22 WSVECS04 Frhs2[339]: 6 -1.55268 0 shouldn't be
61.03/61.22 WSVECS04 Frhs2[351]: 6 -1.06403 0 shouldn't be
61.03/61.22 WSVECS04 Frhs2[379]: 6 -1.5931 0 shouldn't be
61.03/61.23 WSVECS04 Frhs2[380]: 6 0 1.94525 shouldn't be
61.03/61.23 WSVECS04 Frhs2[386]: 6 0 0.295962 shouldn't be
61.03/61.23 WSVECS04 Frhs2[417]: 6 -1.46623 0 shouldn't be
61.03/61.23 WSVECS04 Frhs2[424]: 6 -1.81869 0 shouldn't be
61.03/61.23 WSVECS04 Frhs2[426]: 6 -0.834658 0 shouldn't be
66.91/67.13 c #Conflicts: 247000 | #Constraints: 11716
66.91/67.13 c #Conflicts: 248000 | #Constraints: 12716
66.91/67.13 c #Conflicts: 249000 | #Constraints: 13716
66.91/67.13 c #Conflicts: 250000 | #Constraints: 14716
66.91/67.13 c #Conflicts: 251000 | #Constraints: 15716
66.91/67.13 c #Conflicts: 252000 | #Constraints: 16716
66.91/67.13 c #Conflicts: 253000 | #Constraints: 17716
66.91/67.13 c #Conflicts: 254000 | #Constraints: 18716
66.91/67.13 c #Conflicts: 255000 | #Constraints: 19716
66.91/67.13 c #Conflicts: 256000 | #Constraints: 20716
66.91/67.13 c INPROCESSING
66.91/67.13 c GARBAGE COLLECT
66.91/67.13 c #Conflicts: 257000 | #Constraints: 11702
66.91/67.13 c #Conflicts: 258000 | #Constraints: 12702
66.91/67.13 c #Conflicts: 259000 | #Constraints: 13702
66.91/67.13 c #Conflicts: 260000 | #Constraints: 14702
66.91/67.13 c #Conflicts: 261000 | #Constraints: 15702
66.91/67.13 c #Conflicts: 262000 | #Constraints: 16702
66.91/67.13 c #Conflicts: 263000 | #Constraints: 17702
66.91/67.13 c #Conflicts: 264000 | #Constraints: 18702
66.91/67.13 c #Conflicts: 265000 | #Constraints: 19702
66.91/67.13 c #Conflicts: 266000 | #Constraints: 20702
66.91/67.13 c INPROCESSING
66.91/67.13 c GARBAGE COLLECT
66.91/67.13 c rational objective 61.0021
84.37/84.62 c #Conflicts: 267000 | #Constraints: 11498
84.37/84.62 c #Conflicts: 268000 | #Constraints: 12498
84.37/84.62 c #Conflicts: 269000 | #Constraints: 13499
84.37/84.62 c #Conflicts: 270000 | #Constraints: 14499
84.37/84.62 c #Conflicts: 271000 | #Constraints: 15499
84.37/84.62 c #Conflicts: 272000 | #Constraints: 16499
84.37/84.62 c #Conflicts: 273000 | #Constraints: 17500
84.37/84.62 c #Conflicts: 274000 | #Constraints: 18501
84.37/84.62 c #Conflicts: 275000 | #Constraints: 19503
84.37/84.62 c #Conflicts: 276000 | #Constraints: 20505
84.37/84.62 c #Conflicts: 277000 | #Constraints: 21505
84.37/84.62 c INPROCESSING
84.37/84.62 c GARBAGE COLLECT
84.37/84.62 c #Conflicts: 278000 | #Constraints: 12102
84.37/84.62 c #Conflicts: 279000 | #Constraints: 13103
84.37/84.62 c #Conflicts: 280000 | #Constraints: 14103
84.37/84.62 c #Conflicts: 281000 | #Constraints: 15104
84.37/84.62 c #Conflicts: 282000 | #Constraints: 16105
84.37/84.62 c #Conflicts: 283000 | #Constraints: 17105
84.37/84.62 c #Conflicts: 284000 | #Constraints: 18105
84.37/84.62 c #Conflicts: 285000 | #Constraints: 19106
84.37/84.62 c #Conflicts: 286000 | #Constraints: 20108
84.37/84.62 c #Conflicts: 287000 | #Constraints: 21108
84.37/84.62 c #Conflicts: 288000 | #Constraints: 22109
84.37/84.62 c INPROCESSING
84.37/84.62 c GARBAGE COLLECT
84.37/84.62 c #Conflicts: 289000 | #Constraints: 12507
84.37/84.62 c #Conflicts: 290000 | #Constraints: 13508
84.37/84.62 c #Conflicts: 291000 | #Constraints: 14509
84.37/84.62 c #Conflicts: 292000 | #Constraints: 15511
84.37/84.62 c #Conflicts: 293000 | #Constraints: 16512
84.37/84.62 c #Conflicts: 294000 | #Constraints: 17515
84.37/84.62 c #Conflicts: 295000 | #Constraints: 18520
84.37/84.62 c #Conflicts: 296000 | #Constraints: 19521
84.37/84.62 c #Conflicts: 297000 | #Constraints: 20523
84.37/84.62 c #Conflicts: 298000 | #Constraints: 21523
84.37/84.62 c #Conflicts: 299000 | #Constraints: 22525
84.37/84.62 c INPROCESSING
84.37/84.62 c GARBAGE COLLECT
84.37/84.62 c #Conflicts: 300000 | #Constraints: 12714
84.37/84.62 c #Conflicts: 301000 | #Constraints: 13715
84.37/84.62 c #Conflicts: 302000 | #Constraints: 14715
84.37/84.62 c #Conflicts: 303000 | #Constraints: 15716
84.37/84.62 c #Conflicts: 304000 | #Constraints: 16717
84.37/84.62 c #Conflicts: 305000 | #Constraints: 17719
84.37/84.62 c #Conflicts: 306000 | #Constraints: 18720
84.37/84.62 c #Conflicts: 307000 | #Constraints: 19721
84.37/84.62 c #Conflicts: 308000 | #Constraints: 20721
84.37/84.62 c #Conflicts: 309000 | #Constraints: 21723
84.37/84.62 c #Conflicts: 310000 | #Constraints: 22724
84.37/84.62 c INPROCESSING
84.37/84.62 c GARBAGE COLLECT
84.37/84.62 c #Conflicts: 311000 | #Constraints: 12711
84.37/84.62 c #Conflicts: 312000 | #Constraints: 13711
84.37/84.62 c #Conflicts: 313000 | #Constraints: 14712
84.37/84.62 c #Conflicts: 314000 | #Constraints: 15712
84.37/84.62 c #Conflicts: 315000 | #Constraints: 16712
84.37/84.62 c #Conflicts: 316000 | #Constraints: 17713
84.37/84.62 c #Conflicts: 317000 | #Constraints: 18714
84.37/84.62 c #Conflicts: 318000 | #Constraints: 19715
84.37/84.62 c #Conflicts: 319000 | #Constraints: 20721
84.37/84.62 c #Conflicts: 320000 | #Constraints: 21730
84.37/84.62 c #Conflicts: 321000 | #Constraints: 22738
84.37/84.62 c INPROCESSING
84.37/84.62 c GARBAGE COLLECT
84.37/84.62 WSVECS04 Frhs2[11]: 6 0 101.976 shouldn't be
84.37/84.62 WSVECS04 Frhs2[12]: 6 0 101.976 shouldn't be
84.37/84.62 WSVECS04 Frhs2[15]: 6 0 5.99971 shouldn't be
84.37/84.62 WSVECS04 Frhs2[23]: 6 0 1680.45 shouldn't be
84.37/84.62 WSVECS04 Frhs2[24]: 6 0 91.0093 shouldn't be
84.37/84.62 WSVECS04 Frhs2[60]: 6 0 342.312 shouldn't be
84.37/84.62 WSVECS04 Frhs2[69]: 6 0 64.9796 shouldn't be
84.37/84.62 WSVECS04 Frhs2[99]: 6 0 22.4799 shouldn't be
84.37/84.62 WSVECS04 Frhs2[107]: 6 0 22.4799 shouldn't be
84.37/84.62 WSVECS04 Frhs2[112]: 6 -8.68058 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[121]: 6 -473.238 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[145]: 6 0 41.6708 shouldn't be
84.37/84.62 WSVECS04 Frhs2[149]: 6 0 48.6798 shouldn't be
84.37/84.62 WSVECS04 Frhs2[155]: 6 0 156.106 shouldn't be
84.37/84.62 WSVECS04 Frhs2[156]: 6 0 8.04323 shouldn't be
84.37/84.62 WSVECS04 Frhs2[163]: 6 0 83.4209 shouldn't be
84.37/84.62 WSVECS04 Frhs2[166]: 6 0 335.511 shouldn't be
84.37/84.62 WSVECS04 Frhs2[191]: 6 0 9.48286 shouldn't be
84.37/84.62 WSVECS04 Frhs2[208]: 6 -8.68051 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[209]: 6 0 205.591 shouldn't be
84.37/84.62 WSVECS04 Frhs2[216]: 6 -141.102 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[224]: 6 0 175.177 shouldn't be
84.37/84.62 WSVECS04 Frhs2[232]: 6 -29.7262 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[243]: 6 0 33.6149 shouldn't be
84.37/84.62 WSVECS04 Frhs2[249]: 6 0 46.511 shouldn't be
84.37/84.62 WSVECS04 Frhs2[264]: 6 -21.6928 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[274]: 6 0 190.158 shouldn't be
84.37/84.62 WSVECS04 Frhs2[275]: 6 0 804.613 shouldn't be
84.37/84.62 WSVECS04 Frhs2[276]: 6 0 221.103 shouldn't be
84.37/84.62 WSVECS04 Frhs2[279]: 6 0 112.305 shouldn't be
84.37/84.62 WSVECS04 Frhs2[280]: 6 0 94.0848 shouldn't be
84.37/84.62 WSVECS04 Frhs2[281]: 6 0 101.887 shouldn't be
84.37/84.62 WSVECS04 Frhs2[282]: 6 0 101.887 shouldn't be
84.37/84.62 WSVECS04 Frhs2[286]: 6 0 94.0741 shouldn't be
84.37/84.62 WSVECS04 Frhs2[299]: 6 0 465.979 shouldn't be
84.37/84.62 WSVECS04 Frhs2[307]: 6 -780.765 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[311]: 6 0 449.229 shouldn't be
84.37/84.62 WSVECS04 Frhs2[323]: 6 0 151.309 shouldn't be
84.37/84.62 WSVECS04 Frhs2[324]: 6 0 442.858 shouldn't be
84.37/84.62 WSVECS04 Frhs2[326]: 6 0 119.105 shouldn't be
84.37/84.62 WSVECS04 Frhs2[328]: 6 0 121.242 shouldn't be
84.37/84.62 WSVECS04 Frhs2[346]: 6 0 82.8415 shouldn't be
84.37/84.62 WSVECS04 Frhs2[360]: 6 -10.9581 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[362]: 6 -11.3805 0 shouldn't be
84.37/84.62 WSVECS04 Frhs2[398]: 6 0 148.741 shouldn't be
84.37/84.62 WSVECS04 Frhs2[423]: 6 0 409.592 shouldn't be
84.37/84.62 WSVECS04 Frhs2[424]: 6 0 107.665 shouldn't be
91.75/92.06 c #Conflicts: 322000 | #Constraints: 12524
91.75/92.06 c #Conflicts: 323000 | #Constraints: 13525
91.75/92.06 c #Conflicts: 324000 | #Constraints: 14525
91.75/92.06 c #Conflicts: 325000 | #Constraints: 15527
91.75/92.06 c #Conflicts: 326000 | #Constraints: 16528
91.75/92.06 c #Conflicts: 327000 | #Constraints: 17529
91.75/92.06 c #Conflicts: 328000 | #Constraints: 18532
91.75/92.06 c #Conflicts: 329000 | #Constraints: 19537
91.75/92.06 c #Conflicts: 330000 | #Constraints: 20543
91.75/92.06 c #Conflicts: 331000 | #Constraints: 21548
91.75/92.06 c #Conflicts: 332000 | #Constraints: 22552
91.75/92.06 c #Conflicts: 333000 | #Constraints: 23559
91.75/92.06 c INPROCESSING
91.75/92.06 c GARBAGE COLLECT
91.75/92.06 c #Conflicts: 334000 | #Constraints: 13125
91.75/92.06 c #Conflicts: 335000 | #Constraints: 14125
91.75/92.06 c #Conflicts: 336000 | #Constraints: 15125
91.75/92.06 c #Conflicts: 337000 | #Constraints: 16125
91.75/92.06 c #Conflicts: 338000 | #Constraints: 17125
91.75/92.06 c #Conflicts: 339000 | #Constraints: 18125
91.75/92.06 c #Conflicts: 340000 | #Constraints: 19125
91.75/92.06 c #Conflicts: 341000 | #Constraints: 20127
91.75/92.06 c #Conflicts: 342000 | #Constraints: 21129
91.75/92.06 c #Conflicts: 343000 | #Constraints: 22130
91.75/92.06 c #Conflicts: 344000 | #Constraints: 23131
91.75/92.06 c #Conflicts: 345000 | #Constraints: 24132
91.75/92.06 c INPROCESSING
91.75/92.06 c GARBAGE COLLECT
91.75/92.06 WSVECS04 Frhs2[3]: 6 0 18.5443 shouldn't be
91.75/92.06 WSVECS04 Frhs2[12]: 6 0 10.223 shouldn't be
91.75/92.06 WSVECS04 Frhs2[13]: 6 0 14.9815 shouldn't be
91.75/92.06 WSVECS04 Frhs2[14]: 6 0 21.0706 shouldn't be
91.75/92.06 WSVECS04 Frhs2[15]: 6 0 3.68754 shouldn't be
91.75/92.06 WSVECS04 Frhs2[19]: 6 0 2.06607 shouldn't be
91.75/92.06 WSVECS04 Frhs2[22]: 6 0 31.069 shouldn't be
91.75/92.06 WSVECS04 Frhs2[31]: 6 0 7.08612 shouldn't be
91.75/92.06 WSVECS04 Frhs2[32]: 6 0 13.1752 shouldn't be
91.75/92.06 WSVECS04 Frhs2[33]: 6 0 7.09384 shouldn't be
91.75/92.06 WSVECS04 Frhs2[38]: 6 0 8.15509 shouldn't be
91.75/92.06 WSVECS04 Frhs2[40]: 6 0 21.5622 shouldn't be
91.75/92.06 WSVECS04 Frhs2[41]: 6 0 23.4166 shouldn't be
91.75/92.06 WSVECS04 Frhs2[56]: 6 0 8.15511 shouldn't be
91.75/92.06 WSVECS04 Frhs2[66]: 6 0 28.6896 shouldn't be
91.75/92.06 WSVECS04 Frhs2[75]: 6 0 15.1655 shouldn't be
91.75/92.06 WSVECS04 Frhs2[79]: 6 0 1.17334 shouldn't be
91.75/92.06 WSVECS04 Frhs2[85]: 6 0 7.96922 shouldn't be
91.75/92.06 WSVECS04 Frhs2[88]: 6 0 8.15509 shouldn't be
91.75/92.06 WSVECS04 Frhs2[99]: 6 0 4.82166 shouldn't be
91.75/92.06 WSVECS04 Frhs2[111]: 6 0 33.1574 shouldn't be
91.75/92.06 WSVECS04 Frhs2[121]: 6 -81.1708 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[134]: 6 0 8.15508 shouldn't be
91.75/92.06 WSVECS04 Frhs2[136]: 6 0 8.15507 shouldn't be
91.75/92.06 WSVECS04 Frhs2[143]: 6 0 33.7851 shouldn't be
91.75/92.06 WSVECS04 Frhs2[151]: 6 0 2.06608 shouldn't be
91.75/92.06 WSVECS04 Frhs2[154]: 6 0 20.402 shouldn't be
91.75/92.06 WSVECS04 Frhs2[157]: 6 0 11.1199 shouldn't be
91.75/92.06 WSVECS04 Frhs2[161]: 6 0 2.06603 shouldn't be
91.75/92.06 WSVECS04 Frhs2[162]: 6 0 8.15509 shouldn't be
91.75/92.06 WSVECS04 Frhs2[164]: 6 0 30.1366 shouldn't be
91.75/92.06 WSVECS04 Frhs2[165]: 6 0 19.9681 shouldn't be
91.75/92.06 WSVECS04 Frhs2[166]: 6 0 10.3391 shouldn't be
91.75/92.06 WSVECS04 Frhs2[176]: 6 0 8.15513 shouldn't be
91.75/92.06 WSVECS04 Frhs2[177]: 6 0 1.41529 shouldn't be
91.75/92.06 WSVECS04 Frhs2[181]: 6 0 2.06602 shouldn't be
91.75/92.06 WSVECS04 Frhs2[191]: 6 0 4.25012 shouldn't be
91.75/92.06 WSVECS04 Frhs2[193]: 6 0 2.75039 shouldn't be
91.75/92.06 WSVECS04 Frhs2[199]: 6 0 2.06603 shouldn't be
91.75/92.06 WSVECS04 Frhs2[202]: 6 0 39.6522 shouldn't be
91.75/92.06 WSVECS04 Frhs2[206]: 6 0 8.15513 shouldn't be
91.75/92.06 WSVECS04 Frhs2[207]: 6 0 2.06608 shouldn't be
91.75/92.06 WSVECS04 Frhs2[213]: 6 0 7.51917 shouldn't be
91.75/92.06 WSVECS04 Frhs2[214]: 6 0 8.15509 shouldn't be
91.75/92.06 WSVECS04 Frhs2[215]: 6 0 4.25013 shouldn't be
91.75/92.06 WSVECS04 Frhs2[216]: 6 0 10.3392 shouldn't be
91.75/92.06 WSVECS04 Frhs2[217]: 6 0 4.1256 shouldn't be
91.75/92.06 WSVECS04 Frhs2[219]: 6 0 25.1214 shouldn't be
91.75/92.06 WSVECS04 Frhs2[223]: 6 0 1.96327 shouldn't be
91.75/92.06 WSVECS04 Frhs2[224]: 6 0 18.8056 shouldn't be
91.75/92.06 WSVECS04 Frhs2[227]: 6 0 33.4975 shouldn't be
91.75/92.06 WSVECS04 Frhs2[228]: 6 0 8.15512 shouldn't be
91.75/92.06 WSVECS04 Frhs2[229]: 6 0 2.06609 shouldn't be
91.75/92.06 WSVECS04 Frhs2[231]: 6 0 2.06603 shouldn't be
91.75/92.06 WSVECS04 Frhs2[238]: 6 0 10.812 shouldn't be
91.75/92.06 WSVECS04 Frhs2[240]: 6 0 10.3391 shouldn't be
91.75/92.06 WSVECS04 Frhs2[245]: 6 0 22.5047 shouldn't be
91.75/92.06 WSVECS04 Frhs2[250]: 6 0 10.7887 shouldn't be
91.75/92.06 WSVECS04 Frhs2[255]: 6 0 2.06606 shouldn't be
91.75/92.06 WSVECS04 Frhs2[256]: 6 0 8.15511 shouldn't be
91.75/92.06 WSVECS04 Frhs2[257]: 6 0 29.2797 shouldn't be
91.75/92.06 WSVECS04 Frhs2[259]: 6 0 2.06602 shouldn't be
91.75/92.06 WSVECS04 Frhs2[265]: 6 0 5.96652 shouldn't be
91.75/92.06 WSVECS04 Frhs2[272]: 6 0 8.64407 shouldn't be
91.75/92.06 WSVECS04 Frhs2[274]: 6 0 10.3173 shouldn't be
91.75/92.06 WSVECS04 Frhs2[275]: 6 0 44.3771 shouldn't be
91.75/92.06 WSVECS04 Frhs2[282]: 6 0 7.12211 shouldn't be
91.75/92.06 WSVECS04 Frhs2[283]: 6 0 1.54954 shouldn't be
91.75/92.06 WSVECS04 Frhs2[284]: 6 0 7.63858 shouldn't be
91.75/92.06 WSVECS04 Frhs2[291]: 6 -23.9926 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[292]: 6 0 7.34196 shouldn't be
91.75/92.06 WSVECS04 Frhs2[298]: 6 0 14.4609 shouldn't be
91.75/92.06 WSVECS04 Frhs2[303]: 6 0 21.6363 shouldn't be
91.75/92.06 WSVECS04 Frhs2[304]: 6 -20.6267 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[305]: 6 -30.7451 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[308]: 6 -47.8638 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[310]: 6 -53.0702 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[315]: 6 -28.8341 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[323]: 6 -13.9467 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[327]: 6 -28.155 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[328]: 6 0 47.6824 shouldn't be
91.75/92.06 WSVECS04 Frhs2[335]: 6 -16.3123 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[338]: 6 -49.0143 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[339]: 6 -37.5892 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[351]: 6 -32.9896 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[379]: 6 -12.2088 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[380]: 6 0 5.30572 shouldn't be
91.75/92.06 WSVECS04 Frhs2[383]: 6 -33.2362 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[385]: 6 -34.082 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[386]: 6 0 16.9557 shouldn't be
91.75/92.06 WSVECS04 Frhs2[391]: 6 -39.4148 0 shouldn't be
91.75/92.06 WSVECS04 Frhs2[393]: 6 0 13.0487 shouldn't be
91.75/92.06 WSVECS04 Frhs2[406]: 6 0 0.342961 shouldn't be
91.75/92.06 WSVECS04 Frhs2[410]: 6 0 20.3473 shouldn't be
91.75/92.06 WSVECS04 Frhs2[420]: 6 0 11.6779 shouldn't be
91.75/92.06 WSVECS04 Frhs2[422]: 6 -1.4908 0 shouldn't be
91.86/92.12 WSVECS04 Frhs2[83]: 6 0 2.06602 shouldn't be
91.86/92.12 WSVECS04 Frhs2[123]: 6 0 15.0585 shouldn't be
91.86/92.12 WSVECS04 Frhs2[153]: 6 0 0.571906 shouldn't be
91.86/92.12 WSVECS04 Frhs2[195]: 6 0 2.06603 shouldn't be
91.86/92.12 WSVECS04 Frhs2[203]: 6 0 2.06607 shouldn't be
91.86/92.12 WSVECS04 Frhs2[211]: 6 0 7.17065 shouldn't be
91.86/92.12 WSVECS04 Frhs2[239]: 6 0 4.25015 shouldn't be
91.86/92.12 WSVECS04 Frhs2[251]: 6 0 2.06603 shouldn't be
91.86/92.18 WSVECS04 Frhs2[36]: 6 0 8.15509 shouldn't be
91.86/92.18 WSVECS04 Frhs2[58]: 6 0 8.15509 shouldn't be
91.86/92.18 WSVECS04 Frhs2[86]: 6 0 8.15508 shouldn't be
91.86/92.18 WSVECS04 Frhs2[92]: 6 0 8.15508 shouldn't be
91.86/92.18 WSVECS04 Frhs2[110]: 6 0 18.2121 shouldn't be
91.86/92.18 WSVECS04 Frhs2[128]: 6 0 8.15506 shouldn't be
91.86/92.18 WSVECS04 Frhs2[167]: 6 0 22.0195 shouldn't be
91.86/92.18 WSVECS04 Frhs2[188]: 6 0 8.15507 shouldn't be
91.86/92.18 WSVECS04 Frhs2[200]: 6 0 8.15512 shouldn't be
91.86/92.18 WSVECS04 Frhs2[204]: 6 0 8.15512 shouldn't be
91.86/92.18 WSVECS04 Frhs2[212]: 6 0 8.15512 shouldn't be
91.86/92.18 WSVECS04 Frhs2[220]: 6 0 8.15509 shouldn't be
91.86/92.18 WSVECS04 Frhs2[226]: 6 0 11.0634 shouldn't be
91.86/92.18 WSVECS04 Frhs2[232]: 6 0 8.15511 shouldn't be
91.86/92.18 WSVECS04 Frhs2[234]: 6 0 8.15511 shouldn't be
91.86/92.18 WSVECS04 Frhs2[252]: 6 0 8.15507 shouldn't be
91.86/92.18 WSVECS04 Frhs2[273]: 6 0 4.22815 shouldn't be
91.86/92.18 WSVECS04 Frhs2[286]: 6 0 7.89689 shouldn't be
92.06/92.30 WSVECS04 Frhs2[276]: 6 0 42.26 shouldn't be
92.06/92.32 c rational objective 61.0023
107.91/108.28 c #Conflicts: 346000 | #Constraints: 13515
107.91/108.28 c #Conflicts: 347000 | #Constraints: 14516
107.91/108.28 c #Conflicts: 348000 | #Constraints: 15516
107.91/108.28 c #Conflicts: 349000 | #Constraints: 16517
107.91/108.28 c #Conflicts: 350000 | #Constraints: 17519
107.91/108.28 c #Conflicts: 351000 | #Constraints: 18519
107.91/108.28 c #Conflicts: 352000 | #Constraints: 19523
107.91/108.28 c #Conflicts: 353000 | #Constraints: 20525
107.91/108.28 c #Conflicts: 354000 | #Constraints: 21526
107.91/108.28 c #Conflicts: 355000 | #Constraints: 22527
107.91/108.28 c #Conflicts: 356000 | #Constraints: 23527
107.91/108.28 c #Conflicts: 357000 | #Constraints: 24528
107.91/108.28 c INPROCESSING
107.91/108.28 c GARBAGE COLLECT
107.91/108.28 c #Conflicts: 358000 | #Constraints: 13711
107.91/108.28 c #Conflicts: 359000 | #Constraints: 14712
107.91/108.28 c #Conflicts: 360000 | #Constraints: 15714
107.91/108.28 c #Conflicts: 361000 | #Constraints: 16715
107.91/108.28 c #Conflicts: 362000 | #Constraints: 17716
107.91/108.28 c #Conflicts: 363000 | #Constraints: 18716
107.91/108.28 c #Conflicts: 364000 | #Constraints: 19717
107.91/108.28 c #Conflicts: 365000 | #Constraints: 20718
107.91/108.28 c #Conflicts: 366000 | #Constraints: 21718
107.91/108.28 c #Conflicts: 367000 | #Constraints: 22719
107.91/108.28 c #Conflicts: 368000 | #Constraints: 23719
107.91/108.28 c #Conflicts: 369000 | #Constraints: 24720
107.91/108.28 c INPROCESSING
107.91/108.28 c GARBAGE COLLECT
107.91/108.28 c #Conflicts: 370000 | #Constraints: 13712
107.91/108.28 c #Conflicts: 371000 | #Constraints: 14714
107.91/108.28 c #Conflicts: 372000 | #Constraints: 15717
107.91/108.28 c #Conflicts: 373000 | #Constraints: 16719
107.91/108.28 c #Conflicts: 374000 | #Constraints: 17720
107.91/108.28 c #Conflicts: 375000 | #Constraints: 18721
107.91/108.28 c #Conflicts: 376000 | #Constraints: 19723
107.91/108.28 c #Conflicts: 377000 | #Constraints: 20733
107.91/108.28 c #Conflicts: 378000 | #Constraints: 21739
107.91/108.28 c #Conflicts: 379000 | #Constraints: 22744
107.91/108.28 c #Conflicts: 380000 | #Constraints: 23746
107.91/108.28 c #Conflicts: 381000 | #Constraints: 24746
107.91/108.28 c INPROCESSING
107.91/108.28 c GARBAGE COLLECT
107.91/108.28 c #Conflicts: 382000 | #Constraints: 13525
107.91/108.28 c #Conflicts: 383000 | #Constraints: 14526
107.91/108.28 c #Conflicts: 384000 | #Constraints: 15527
107.91/108.28 c #Conflicts: 385000 | #Constraints: 16528
107.91/108.28 c #Conflicts: 386000 | #Constraints: 17529
107.91/108.28 c #Conflicts: 387000 | #Constraints: 18530
107.91/108.28 c #Conflicts: 388000 | #Constraints: 19531
107.91/108.28 c #Conflicts: 389000 | #Constraints: 20532
107.91/108.28 c #Conflicts: 390000 | #Constraints: 21532
107.91/108.28 c #Conflicts: 391000 | #Constraints: 22532
107.91/108.28 c #Conflicts: 392000 | #Constraints: 23533
107.91/108.28 c #Conflicts: 393000 | #Constraints: 24534
107.91/108.28 c #Conflicts: 394000 | #Constraints: 25536
107.91/108.28 c INPROCESSING
107.91/108.28 c GARBAGE COLLECT
107.91/108.28 WSVECS04 Frhs2[9]: 6 0 17.816 shouldn't be
107.91/108.28 WSVECS04 Frhs2[10]: 6 0 0.228342 shouldn't be
107.91/108.28 WSVECS04 Frhs2[15]: 6 0 1.05161 shouldn't be
107.91/108.28 WSVECS04 Frhs2[17]: 6 0 0.166705 shouldn't be
107.91/108.28 WSVECS04 Frhs2[25]: 6 0 1.78526 shouldn't be
107.91/108.28 WSVECS04 Frhs2[27]: 6 0 27.0315 shouldn't be
107.91/108.28 WSVECS04 Frhs2[43]: 6 0 12.1916 shouldn't be
107.91/108.28 WSVECS04 Frhs2[52]: 6 0 4.84007 shouldn't be
107.91/108.28 WSVECS04 Frhs2[70]: 6 0 3.23606 shouldn't be
107.91/108.28 WSVECS04 Frhs2[73]: 6 0 0.140004 shouldn't be
107.91/108.28 WSVECS04 Frhs2[87]: 6 0 8.20081 shouldn't be
107.91/108.28 WSVECS04 Frhs2[97]: 6 0 2.5435 shouldn't be
107.91/108.28 WSVECS04 Frhs2[111]: 6 0 1.92721 shouldn't be
107.91/108.28 WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
107.91/108.28 WSVECS04 Frhs2[119]: 6 0 0.129672 shouldn't be
107.91/108.28 WSVECS04 Frhs2[121]: 6 -2.41518 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[153]: 6 0 2.11355 shouldn't be
107.91/108.28 WSVECS04 Frhs2[159]: 6 0 5.07294 shouldn't be
107.91/108.28 WSVECS04 Frhs2[161]: 6 0 2.99953 shouldn't be
107.91/108.28 WSVECS04 Frhs2[166]: 6 0 9.17717 shouldn't be
107.91/108.28 WSVECS04 Frhs2[167]: 6 0 9.35363 shouldn't be
107.91/108.28 WSVECS04 Frhs2[175]: 6 0 34.3948 shouldn't be
107.91/108.28 WSVECS04 Frhs2[177]: 6 0 0.491947 shouldn't be
107.91/108.28 WSVECS04 Frhs2[178]: 6 0 2.19041 shouldn't be
107.91/108.28 WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
107.91/108.28 WSVECS04 Frhs2[187]: 6 0 6.41989 shouldn't be
107.91/108.28 WSVECS04 Frhs2[189]: 6 0 1.96407 shouldn't be
107.91/108.28 WSVECS04 Frhs2[191]: 6 0 9.51701 shouldn't be
107.91/108.28 WSVECS04 Frhs2[199]: 6 0 4.02005 shouldn't be
107.91/108.28 WSVECS04 Frhs2[200]: 6 0 5.2501 shouldn't be
107.91/108.28 WSVECS04 Frhs2[203]: 6 0 16.6765 shouldn't be
107.91/108.28 WSVECS04 Frhs2[204]: 6 0 16.6765 shouldn't be
107.91/108.28 WSVECS04 Frhs2[207]: 6 0 2.99953 shouldn't be
107.91/108.28 WSVECS04 Frhs2[224]: 6 0 3.65668 shouldn't be
107.91/108.28 WSVECS04 Frhs2[228]: 6 0 3.32922 shouldn't be
107.91/108.28 WSVECS04 Frhs2[235]: 6 0 8.13814 shouldn't be
107.91/108.28 WSVECS04 Frhs2[237]: 6 0 7.52134 shouldn't be
107.91/108.28 WSVECS04 Frhs2[241]: 6 0 2.31683 shouldn't be
107.91/108.28 WSVECS04 Frhs2[243]: 6 0 2.9158 shouldn't be
107.91/108.28 WSVECS04 Frhs2[249]: 6 -5.05082 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[250]: 6 0 2.5261 shouldn't be
107.91/108.28 WSVECS04 Frhs2[257]: 6 0 2.81807 shouldn't be
107.91/108.28 WSVECS04 Frhs2[275]: 6 0 8.92877 shouldn't be
107.91/108.28 WSVECS04 Frhs2[277]: 6 0 2.31684 shouldn't be
107.91/108.28 WSVECS04 Frhs2[282]: 6 -37.4569 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[286]: 6 0 2.78063 shouldn't be
107.91/108.28 WSVECS04 Frhs2[296]: 6 -23.9098 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[303]: 6 0 16.3278 shouldn't be
107.91/108.28 WSVECS04 Frhs2[312]: 6 0 3.39745 shouldn't be
107.91/108.28 WSVECS04 Frhs2[318]: 6 -17.4742 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[334]: 6 0 19.6194 shouldn't be
107.91/108.28 WSVECS04 Frhs2[335]: 6 0 2.51151 shouldn't be
107.91/108.28 WSVECS04 Frhs2[336]: 6 -10.3653 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[338]: 6 -2.53558 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[339]: 6 0 4.69845 shouldn't be
107.91/108.28 WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[343]: 6 -8.6777 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[348]: 6 -14.3173 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[350]: 6 -8.8661 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[362]: 6 -0.507159 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[369]: 6 0 7.04944 shouldn't be
107.91/108.28 WSVECS04 Frhs2[382]: 6 0 5.35417 shouldn't be
107.91/108.28 WSVECS04 Frhs2[390]: 6 -22.1499 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[391]: 6 -7.0809 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[392]: 6 0 9.21984 shouldn't be
107.91/108.28 WSVECS04 Frhs2[397]: 6 -14.6127 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[421]: 6 -4.10658 0 shouldn't be
107.91/108.28 WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[21]: 6 0 0.342084 shouldn't be
108.01/108.35 WSVECS04 Frhs2[43]: 6 0 12.1915 shouldn't be
108.01/108.35 WSVECS04 Frhs2[111]: 6 0 1.92715 shouldn't be
108.01/108.35 WSVECS04 Frhs2[119]: 6 0 0.129653 shouldn't be
108.01/108.35 WSVECS04 Frhs2[121]: 6 -2.4151 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[167]: 6 0 9.35361 shouldn't be
108.01/108.35 WSVECS04 Frhs2[175]: 6 0 34.3947 shouldn't be
108.01/108.35 WSVECS04 Frhs2[187]: 6 0 6.41986 shouldn't be
108.01/108.35 WSVECS04 Frhs2[189]: 6 0 1.96404 shouldn't be
108.01/108.35 WSVECS04 Frhs2[228]: 6 0 3.32915 shouldn't be
108.01/108.35 WSVECS04 Frhs2[276]: 6 0 8.90993 shouldn't be
108.01/108.35 WSVECS04 Frhs2[282]: 6 -37.4568 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[296]: 6 -23.9097 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[303]: 6 0 16.3277 shouldn't be
108.01/108.35 WSVECS04 Frhs2[312]: 6 0 3.39736 shouldn't be
108.01/108.35 WSVECS04 Frhs2[323]: 6 0 28.4424 shouldn't be
108.01/108.35 WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[339]: 6 0 4.6984 shouldn't be
108.01/108.35 WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[343]: 6 -8.67761 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[348]: 6 -14.3172 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[350]: 6 -8.86606 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[365]: 6 0 20.7904 shouldn't be
108.01/108.35 WSVECS04 Frhs2[372]: 6 -18.5458 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[382]: 6 0 5.35412 shouldn't be
108.01/108.35 WSVECS04 Frhs2[390]: 6 -22.1498 0 shouldn't be
108.01/108.35 WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[10]: 6 0 0.228271 shouldn't be
108.11/108.41 WSVECS04 Frhs2[15]: 6 0 1.05153 shouldn't be
108.11/108.41 WSVECS04 Frhs2[17]: 6 0 0.166652 shouldn't be
108.11/108.41 WSVECS04 Frhs2[19]: 6 0 0.283607 shouldn't be
108.11/108.41 WSVECS04 Frhs2[25]: 6 0 1.78522 shouldn't be
108.11/108.41 WSVECS04 Frhs2[52]: 6 0 4.84004 shouldn't be
108.11/108.41 WSVECS04 Frhs2[69]: 6 0 10.3338 shouldn't be
108.11/108.41 WSVECS04 Frhs2[70]: 6 0 3.23605 shouldn't be
108.11/108.41 WSVECS04 Frhs2[73]: 6 0 0.139972 shouldn't be
108.11/108.41 WSVECS04 Frhs2[87]: 6 0 8.20075 shouldn't be
108.11/108.41 WSVECS04 Frhs2[97]: 6 0 2.54341 shouldn't be
108.11/108.41 WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
108.11/108.41 WSVECS04 Frhs2[159]: 6 0 5.07288 shouldn't be
108.11/108.41 WSVECS04 Frhs2[161]: 6 0 2.99951 shouldn't be
108.11/108.41 WSVECS04 Frhs2[166]: 6 0 9.17711 shouldn't be
108.11/108.41 WSVECS04 Frhs2[177]: 6 0 0.491895 shouldn't be
108.11/108.41 WSVECS04 Frhs2[178]: 6 0 2.19039 shouldn't be
108.11/108.41 WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
108.11/108.41 WSVECS04 Frhs2[199]: 6 0 4.02003 shouldn't be
108.11/108.41 WSVECS04 Frhs2[200]: 6 0 5.25 shouldn't be
108.11/108.41 WSVECS04 Frhs2[207]: 6 0 2.99951 shouldn't be
108.11/108.41 WSVECS04 Frhs2[224]: 6 0 3.65664 shouldn't be
108.11/108.41 WSVECS04 Frhs2[234]: 6 0 0.22827 shouldn't be
108.11/108.41 WSVECS04 Frhs2[235]: 6 0 8.1381 shouldn't be
108.11/108.41 WSVECS04 Frhs2[237]: 6 0 7.52127 shouldn't be
108.11/108.41 WSVECS04 Frhs2[241]: 6 0 2.31675 shouldn't be
108.11/108.41 WSVECS04 Frhs2[249]: 6 -5.05078 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[250]: 6 0 2.52608 shouldn't be
108.11/108.41 WSVECS04 Frhs2[257]: 6 0 2.81798 shouldn't be
108.11/108.41 WSVECS04 Frhs2[275]: 6 0 8.92871 shouldn't be
108.11/108.41 WSVECS04 Frhs2[277]: 6 0 2.31675 shouldn't be
108.11/108.41 WSVECS04 Frhs2[300]: 6 -3.40447 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[318]: 6 -17.4741 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[334]: 6 0 19.6193 shouldn't be
108.11/108.41 WSVECS04 Frhs2[338]: 6 -2.53551 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[340]: 6 -11.4243 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[362]: 6 -0.507079 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[391]: 6 -7.08085 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[399]: 6 -3.90715 0 shouldn't be
108.11/108.41 WSVECS04 Frhs2[421]: 6 -4.10655 0 shouldn't be
108.11/108.47 WSVECS04 Frhs2[92]: 6 0 0.927078 shouldn't be
108.11/108.47 WSVECS04 Frhs2[153]: 6 0 2.11347 shouldn't be
108.11/108.47 WSVECS04 Frhs2[203]: 6 0 16.6764 shouldn't be
108.11/108.47 WSVECS04 Frhs2[243]: 6 0 2.91576 shouldn't be
108.11/108.47 WSVECS04 Frhs2[369]: 6 0 7.04938 shouldn't be
129.86/130.29 c #Conflicts: 395000 | #Constraints: 14126
129.86/130.29 c #Conflicts: 396000 | #Constraints: 15126
129.86/130.29 c #Conflicts: 397000 | #Constraints: 16126
129.86/130.29 c #Conflicts: 398000 | #Constraints: 17126
129.86/130.29 c #Conflicts: 399000 | #Constraints: 18127
129.86/130.29 c #Conflicts: 400000 | #Constraints: 19128
129.86/130.29 c #Conflicts: 401000 | #Constraints: 20129
129.86/130.29 c #Conflicts: 402000 | #Constraints: 21130
129.86/130.29 c #Conflicts: 403000 | #Constraints: 22130
129.86/130.29 c #Conflicts: 404000 | #Constraints: 23131
129.86/130.29 c #Conflicts: 405000 | #Constraints: 24132
129.86/130.29 c #Conflicts: 406000 | #Constraints: 25132
129.86/130.29 c #Conflicts: 407000 | #Constraints: 26134
129.86/130.29 c INPROCESSING
129.86/130.29 c GARBAGE COLLECT
129.86/130.29 c #Conflicts: 408000 | #Constraints: 14523
129.86/130.29 c #Conflicts: 409000 | #Constraints: 15524
129.86/130.29 c #Conflicts: 410000 | #Constraints: 16525
129.86/130.29 c #Conflicts: 411000 | #Constraints: 17527
129.86/130.29 c #Conflicts: 412000 | #Constraints: 18529
129.86/130.29 c #Conflicts: 413000 | #Constraints: 19530
129.86/130.29 c #Conflicts: 414000 | #Constraints: 20532
129.86/130.29 c #Conflicts: 415000 | #Constraints: 21534
129.86/130.29 c #Conflicts: 416000 | #Constraints: 22536
129.86/130.29 c #Conflicts: 417000 | #Constraints: 23538
129.86/130.29 c #Conflicts: 418000 | #Constraints: 24540
129.86/130.29 c #Conflicts: 419000 | #Constraints: 25540
129.86/130.29 c #Conflicts: 420000 | #Constraints: 26543
129.86/130.29 c INPROCESSING
129.86/130.29 c GARBAGE COLLECT
129.86/130.29 c #Conflicts: 421000 | #Constraints: 14733
129.86/130.29 c #Conflicts: 422000 | #Constraints: 15735
129.86/130.29 c #Conflicts: 423000 | #Constraints: 16738
129.86/130.29 c #Conflicts: 424000 | #Constraints: 17741
129.86/130.29 c #Conflicts: 425000 | #Constraints: 18744
129.86/130.29 c #Conflicts: 426000 | #Constraints: 19747
129.86/130.29 c #Conflicts: 427000 | #Constraints: 20748
129.86/130.29 c #Conflicts: 428000 | #Constraints: 21750
129.86/130.29 c #Conflicts: 429000 | #Constraints: 22752
129.86/130.29 c #Conflicts: 430000 | #Constraints: 23755
129.86/130.29 c #Conflicts: 431000 | #Constraints: 24761
129.86/130.29 c #Conflicts: 432000 | #Constraints: 25767
129.86/130.29 c #Conflicts: 433000 | #Constraints: 26785
129.86/130.29 c INPROCESSING
129.86/130.29 c GARBAGE COLLECT
129.86/130.29 c #Conflicts: 434000 | #Constraints: 14754
129.86/130.29 c #Conflicts: 435000 | #Constraints: 15755
129.86/130.29 c #Conflicts: 436000 | #Constraints: 16758
129.86/130.29 c #Conflicts: 437000 | #Constraints: 17759
129.86/130.29 c #Conflicts: 438000 | #Constraints: 18760
129.86/130.29 c #Conflicts: 439000 | #Constraints: 19761
129.86/130.29 c #Conflicts: 440000 | #Constraints: 20762
129.86/130.29 c #Conflicts: 441000 | #Constraints: 21764
129.86/130.29 c #Conflicts: 442000 | #Constraints: 22766
129.86/130.29 c #Conflicts: 443000 | #Constraints: 23772
129.86/130.29 c #Conflicts: 444000 | #Constraints: 24780
129.86/130.29 c #Conflicts: 445000 | #Constraints: 25804
129.86/130.29 c #Conflicts: 446000 | #Constraints: 26806
129.86/130.29 c INPROCESSING
129.86/130.29 c GARBAGE COLLECT
129.86/130.29 WSVECS04 Frhs2[17]: 6 0 1.27265 shouldn't be
129.86/130.29 WSVECS04 Frhs2[19]: 6 0 0.424219 shouldn't be
129.86/130.29 WSVECS04 Frhs2[51]: 6 0 18.9788 shouldn't be
129.86/130.29 WSVECS04 Frhs2[57]: 6 0 7.27893 shouldn't be
129.86/130.29 WSVECS04 Frhs2[58]: 6 -22.894 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[59]: 6 0 1.14021 shouldn't be
129.86/130.29 WSVECS04 Frhs2[65]: 6 0 7.88595 shouldn't be
129.86/130.29 WSVECS04 Frhs2[69]: 6 0 1.08613 shouldn't be
129.86/130.29 WSVECS04 Frhs2[71]: 6 0 1.15641 shouldn't be
129.86/130.29 WSVECS04 Frhs2[79]: 6 0 8.865 shouldn't be
129.86/130.29 WSVECS04 Frhs2[105]: 6 0 11.0391 shouldn't be
129.86/130.29 WSVECS04 Frhs2[119]: 6 0 18.8039 shouldn't be
129.86/130.29 WSVECS04 Frhs2[135]: 6 0 2.24143 shouldn't be
129.86/130.29 WSVECS04 Frhs2[155]: 6 0 20.0691 shouldn't be
129.86/130.29 WSVECS04 Frhs2[159]: 6 0 3.81881 shouldn't be
129.86/130.29 WSVECS04 Frhs2[165]: 6 0 2.01304 shouldn't be
129.86/130.29 WSVECS04 Frhs2[167]: 6 0 150.88 shouldn't be
129.86/130.29 WSVECS04 Frhs2[168]: 6 0 137.92 shouldn't be
129.86/130.29 WSVECS04 Frhs2[175]: 6 0 8.59681 shouldn't be
129.86/130.29 WSVECS04 Frhs2[177]: 6 0 2.12935 shouldn't be
129.86/130.29 WSVECS04 Frhs2[183]: 6 0 22.0715 shouldn't be
129.86/130.29 WSVECS04 Frhs2[185]: 6 0 5.7731 shouldn't be
129.86/130.29 WSVECS04 Frhs2[191]: 6 0 48.0785 shouldn't be
129.86/130.29 WSVECS04 Frhs2[192]: 6 0 51.5593 shouldn't be
129.86/130.29 WSVECS04 Frhs2[203]: 6 -0.0621742 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[221]: 6 0 26.9364 shouldn't be
129.86/130.29 WSVECS04 Frhs2[223]: 6 0 181.009 shouldn't be
129.86/130.29 WSVECS04 Frhs2[227]: 6 0 1.20192 shouldn't be
129.86/130.29 WSVECS04 Frhs2[237]: 6 0 27.9695 shouldn't be
129.86/130.29 WSVECS04 Frhs2[238]: 6 0 91.8551 shouldn't be
129.86/130.29 WSVECS04 Frhs2[249]: 6 0 12.7085 shouldn't be
129.86/130.29 WSVECS04 Frhs2[269]: 6 -1.11033 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[277]: 6 0 35.3425 shouldn't be
129.86/130.29 WSVECS04 Frhs2[279]: 6 0 7.13677 shouldn't be
129.86/130.29 WSVECS04 Frhs2[283]: 6 0 5.57059 shouldn't be
129.86/130.29 WSVECS04 Frhs2[291]: 6 -23.0815 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[295]: 6 0 8.9954 shouldn't be
129.86/130.29 WSVECS04 Frhs2[296]: 6 -84.4477 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[304]: 6 0 44.5597 shouldn't be
129.86/130.29 WSVECS04 Frhs2[362]: 6 -3.66169 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[396]: 6 0 29.8746 shouldn't be
129.86/130.29 WSVECS04 Frhs2[400]: 6 -0.334534 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[406]: 6 -2.99191 0 shouldn't be
129.86/130.29 WSVECS04 Frhs2[413]: 6 -5.0467 0 shouldn't be
129.96/130.35 WSVECS04 Frhs2[120]: 6 0 20.2477 shouldn't be
129.96/130.35 WSVECS04 Frhs2[239]: 6 0 9.9433 shouldn't be
129.96/130.35 WSVECS04 Frhs2[294]: 6 0 40.1977 shouldn't be
129.96/130.35 WSVECS04 Frhs2[409]: 6 0 8.81337 shouldn't be
129.96/130.38 c rational objective 61.0024
147.63/148.07 c #Conflicts: 447000 | #Constraints: 14570
147.63/148.07 c #Conflicts: 448000 | #Constraints: 15571
147.63/148.07 c #Conflicts: 449000 | #Constraints: 16571
147.63/148.07 c #Conflicts: 450000 | #Constraints: 17572
147.63/148.07 c #Conflicts: 451000 | #Constraints: 18572
147.63/148.07 c #Conflicts: 452000 | #Constraints: 19574
147.63/148.07 c #Conflicts: 453000 | #Constraints: 20574
147.63/148.07 c #Conflicts: 454000 | #Constraints: 21575
147.63/148.07 c #Conflicts: 455000 | #Constraints: 22576
147.63/148.07 c #Conflicts: 456000 | #Constraints: 23577
147.63/148.07 c #Conflicts: 457000 | #Constraints: 24577
147.63/148.07 c #Conflicts: 458000 | #Constraints: 25577
147.63/148.07 c #Conflicts: 459000 | #Constraints: 26579
147.63/148.07 c #Conflicts: 460000 | #Constraints: 27583
147.63/148.07 c INPROCESSING
147.63/148.07 c GARBAGE COLLECT
147.63/148.07 c #Conflicts: 461000 | #Constraints: 15150
147.63/148.07 c #Conflicts: 462000 | #Constraints: 16151
147.63/148.07 c #Conflicts: 463000 | #Constraints: 17152
147.63/148.07 c #Conflicts: 464000 | #Constraints: 18154
147.63/148.07 c #Conflicts: 465000 | #Constraints: 19155
147.63/148.07 c #Conflicts: 466000 | #Constraints: 20157
147.63/148.07 c #Conflicts: 467000 | #Constraints: 21160
147.63/148.07 c #Conflicts: 468000 | #Constraints: 22163
147.63/148.07 c #Conflicts: 469000 | #Constraints: 23167
147.63/148.07 c #Conflicts: 470000 | #Constraints: 24171
147.63/148.07 c #Conflicts: 471000 | #Constraints: 25175
147.63/148.07 c #Conflicts: 472000 | #Constraints: 26181
147.63/148.07 c #Conflicts: 473000 | #Constraints: 27201
147.63/148.07 c #Conflicts: 474000 | #Constraints: 28236
147.63/148.07 c INPROCESSING
147.63/148.07 c GARBAGE COLLECT
147.63/148.07 c #Conflicts: 475000 | #Constraints: 15569
147.63/148.07 c #Conflicts: 476000 | #Constraints: 16569
147.63/148.07 c #Conflicts: 477000 | #Constraints: 17569
147.63/148.07 c #Conflicts: 478000 | #Constraints: 18569
147.63/148.07 c #Conflicts: 479000 | #Constraints: 19569
147.63/148.07 c #Conflicts: 480000 | #Constraints: 20569
147.63/148.07 c #Conflicts: 481000 | #Constraints: 21569
147.63/148.07 c #Conflicts: 482000 | #Constraints: 22569
147.63/148.07 c #Conflicts: 483000 | #Constraints: 23569
147.63/148.07 c #Conflicts: 484000 | #Constraints: 24569
147.63/148.07 c #Conflicts: 485000 | #Constraints: 25569
147.63/148.07 c #Conflicts: 486000 | #Constraints: 26569
147.63/148.07 c #Conflicts: 487000 | #Constraints: 27569
147.63/148.07 c #Conflicts: 488000 | #Constraints: 28569
147.63/148.07 c INPROCESSING
147.63/148.07 c GARBAGE COLLECT
147.63/148.07 c rational objective 61.0065
161.99/162.43 c #Conflicts: 489000 | #Constraints: 15747
161.99/162.43 c #Conflicts: 490000 | #Constraints: 16747
161.99/162.43 c #Conflicts: 491000 | #Constraints: 17747
161.99/162.43 c #Conflicts: 492000 | #Constraints: 18747
161.99/162.43 c #Conflicts: 493000 | #Constraints: 19747
161.99/162.43 c #Conflicts: 494000 | #Constraints: 20747
161.99/162.43 c #Conflicts: 495000 | #Constraints: 21747
161.99/162.43 c #Conflicts: 496000 | #Constraints: 22747
161.99/162.43 c #Conflicts: 497000 | #Constraints: 23747
161.99/162.43 c #Conflicts: 498000 | #Constraints: 24747
161.99/162.43 c #Conflicts: 499000 | #Constraints: 25747
161.99/162.43 c #Conflicts: 500000 | #Constraints: 26747
161.99/162.43 c #Conflicts: 501000 | #Constraints: 27747
161.99/162.43 c #Conflicts: 502000 | #Constraints: 28747
161.99/162.43 c INPROCESSING
161.99/162.43 c GARBAGE COLLECT
161.99/162.43 c #Conflicts: 503000 | #Constraints: 15740
161.99/162.43 c #Conflicts: 504000 | #Constraints: 16740
161.99/162.43 c #Conflicts: 505000 | #Constraints: 17740
161.99/162.43 c #Conflicts: 506000 | #Constraints: 18740
161.99/162.43 c #Conflicts: 507000 | #Constraints: 19742
161.99/162.43 c #Conflicts: 508000 | #Constraints: 20745
161.99/162.43 c #Conflicts: 509000 | #Constraints: 21746
161.99/162.43 c #Conflicts: 510000 | #Constraints: 22748
161.99/162.43 c #Conflicts: 511000 | #Constraints: 23748
161.99/162.43 c #Conflicts: 512000 | #Constraints: 24750
161.99/162.43 c #Conflicts: 513000 | #Constraints: 25751
161.99/162.43 c #Conflicts: 514000 | #Constraints: 26753
161.99/162.43 c #Conflicts: 515000 | #Constraints: 27754
161.99/162.43 c #Conflicts: 516000 | #Constraints: 28755
161.99/162.43 c INPROCESSING
161.99/162.43 c GARBAGE COLLECT
161.99/162.43 WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
161.99/162.43 WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
161.99/162.43 WSVECS04 Frhs2[17]: 6 0 19.7974 shouldn't be
161.99/162.43 WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
161.99/162.43 WSVECS04 Frhs2[37]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[43]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
161.99/162.43 WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
161.99/162.43 WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
161.99/162.43 WSVECS04 Frhs2[61]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[67]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
161.99/162.43 WSVECS04 Frhs2[71]: 6 0 17.7772 shouldn't be
161.99/162.43 WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
161.99/162.43 WSVECS04 Frhs2[99]: 6 0 53.5697 shouldn't be
161.99/162.43 WSVECS04 Frhs2[111]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[119]: 6 0 26.1592 shouldn't be
161.99/162.43 WSVECS04 Frhs2[131]: 6 0 51.56 shouldn't be
161.99/162.43 WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
161.99/162.43 WSVECS04 Frhs2[147]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
161.99/162.43 WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
161.99/162.43 WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
161.99/162.43 WSVECS04 Frhs2[163]: 6 0 20.7016 shouldn't be
161.99/162.43 WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
161.99/162.43 WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[179]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
161.99/162.43 WSVECS04 Frhs2[229]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
161.99/162.43 WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
161.99/162.43 WSVECS04 Frhs2[251]: 6 0 14.9832 shouldn't be
161.99/162.43 WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
161.99/162.43 WSVECS04 Frhs2[300]: 6 -28.6354 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[307]: 6 -26.6163 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
161.99/162.43 WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[332]: 6 0 154.861 shouldn't be
161.99/162.43 WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
161.99/162.43 WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[362]: 6 -5.1042 0 shouldn't be
161.99/162.43 WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
162.08/162.51 WSVECS04 Frhs2[9]: 6 0 11.456 shouldn't be
162.08/162.51 WSVECS04 Frhs2[17]: 6 0 19.7973 shouldn't be
162.08/162.51 WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
162.08/162.51 WSVECS04 Frhs2[37]: 6 0 14.9831 shouldn't be
162.08/162.51 WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
162.08/162.51 WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
162.08/162.51 WSVECS04 Frhs2[61]: 6 0 14.9831 shouldn't be
162.08/162.51 WSVECS04 Frhs2[67]: 6 0 14.9831 shouldn't be
162.08/162.51 WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
162.08/162.51 WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
162.08/162.51 WSVECS04 Frhs2[99]: 6 0 53.5696 shouldn't be
162.08/162.51 WSVECS04 Frhs2[131]: 6 0 51.5599 shouldn't be
162.08/162.51 WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
162.08/162.51 WSVECS04 Frhs2[147]: 6 0 14.9831 shouldn't be
162.08/162.51 WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
162.08/162.51 WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
162.08/162.51 WSVECS04 Frhs2[163]: 6 0 20.7015 shouldn't be
162.08/162.51 WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
162.08/162.51 WSVECS04 Frhs2[229]: 6 0 14.9831 shouldn't be
162.08/162.51 WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
162.08/162.51 WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
162.08/162.51 WSVECS04 Frhs2[251]: 6 0 14.9831 shouldn't be
162.08/162.51 WSVECS04 Frhs2[300]: 6 -28.6353 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[307]: 6 -26.6162 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
162.08/162.51 WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[332]: 6 0 154.86 shouldn't be
162.08/162.51 WSVECS04 Frhs2[333]: 6 -373.955 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[357]: 6 0 90.4644 shouldn't be
162.08/162.51 WSVECS04 Frhs2[360]: 6 -22.3635 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[362]: 6 -5.10411 0 shouldn't be
162.08/162.51 WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
162.08/162.51 WSVECS04 Frhs2[381]: 6 0 12.5661 shouldn't be
162.08/162.51 WSVECS04 Frhs2[396]: 6 0 145.808 shouldn't be
162.08/162.51 WSVECS04 Frhs2[406]: 6 -20.6762 0 shouldn't be
162.08/162.58 WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
162.08/162.58 WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
162.08/162.58 WSVECS04 Frhs2[43]: 6 0 14.9831 shouldn't be
162.08/162.58 WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
162.08/162.58 WSVECS04 Frhs2[71]: 6 0 17.7771 shouldn't be
162.08/162.58 WSVECS04 Frhs2[111]: 6 0 14.9831 shouldn't be
162.08/162.58 WSVECS04 Frhs2[119]: 6 0 26.1591 shouldn't be
162.08/162.58 WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
162.08/162.58 WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
162.08/162.58 WSVECS04 Frhs2[179]: 6 0 14.9831 shouldn't be
162.08/162.58 WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
162.08/162.58 WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
162.08/162.58 WSVECS04 Frhs2[340]: 6 0 191.191 shouldn't be
162.08/162.58 WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
162.08/162.58 WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
162.08/162.58 WSVECS04 Frhs2[393]: 6 0 167.429 shouldn't be
167.07/167.50 c #Conflicts: 517000 | #Constraints: 15531
167.07/167.50 c #Conflicts: 518000 | #Constraints: 16531
167.07/167.50 c #Conflicts: 519000 | #Constraints: 17533
167.07/167.50 c #Conflicts: 520000 | #Constraints: 18534
167.07/167.50 c #Conflicts: 521000 | #Constraints: 19534
167.07/167.50 c #Conflicts: 522000 | #Constraints: 20535
167.07/167.50 c #Conflicts: 523000 | #Constraints: 21536
167.07/167.50 c #Conflicts: 524000 | #Constraints: 22536
167.07/167.50 c #Conflicts: 525000 | #Constraints: 23537
167.07/167.50 c #Conflicts: 526000 | #Constraints: 24539
167.07/167.50 c #Conflicts: 527000 | #Constraints: 25539
167.07/167.50 c #Conflicts: 528000 | #Constraints: 26539
167.07/167.50 c #Conflicts: 529000 | #Constraints: 27541
167.07/167.50 c #Conflicts: 530000 | #Constraints: 28541
167.07/167.50 c #Conflicts: 531000 | #Constraints: 29542
167.07/167.50 c INPROCESSING
167.07/167.50 c GARBAGE COLLECT
167.07/167.50 WSVECS04 Frhs2[4]: 6 -150.62 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[10]: 6 0 80.8878 shouldn't be
167.07/167.51 WSVECS04 Frhs2[11]: 6 0 1.0213 shouldn't be
167.07/167.51 WSVECS04 Frhs2[12]: 6 0 34.0942 shouldn't be
167.07/167.51 WSVECS04 Frhs2[13]: 6 0 54.5022 shouldn't be
167.07/167.51 WSVECS04 Frhs2[14]: 6 0 87.5751 shouldn't be
167.07/167.51 WSVECS04 Frhs2[19]: 6 0 2.14537 shouldn't be
167.07/167.51 WSVECS04 Frhs2[32]: 6 0 53.6585 shouldn't be
167.07/167.51 WSVECS04 Frhs2[36]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[40]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[44]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[48]: 6 0 23.9847 shouldn't be
167.07/167.51 WSVECS04 Frhs2[49]: 6 0 5.73733 shouldn't be
167.07/167.51 WSVECS04 Frhs2[62]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[64]: 6 0 22.8529 shouldn't be
167.07/167.51 WSVECS04 Frhs2[66]: 6 0 133.701 shouldn't be
167.07/167.51 WSVECS04 Frhs2[68]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[75]: 6 0 19.5704 shouldn't be
167.07/167.51 WSVECS04 Frhs2[78]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[79]: 6 0 118.257 shouldn't be
167.07/167.51 WSVECS04 Frhs2[82]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[84]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[86]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[90]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[92]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[99]: 6 0 2.10298 shouldn't be
167.07/167.51 WSVECS04 Frhs2[100]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[101]: 6 0 22.3984 shouldn't be
167.07/167.51 WSVECS04 Frhs2[110]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[111]: 6 -2.80448 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[112]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[116]: 6 0 154.641 shouldn't be
167.07/167.51 WSVECS04 Frhs2[123]: 6 0 31.9898 shouldn't be
167.07/167.51 WSVECS04 Frhs2[124]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[126]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[127]: 6 0 45.7765 shouldn't be
167.07/167.51 WSVECS04 Frhs2[130]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[134]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[136]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[138]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[140]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[160]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[171]: 6 0 197.905 shouldn't be
167.07/167.51 WSVECS04 Frhs2[172]: 6 0 129.873 shouldn't be
167.07/167.51 WSVECS04 Frhs2[174]: 6 0 56.9517 shouldn't be
167.07/167.51 WSVECS04 Frhs2[176]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[180]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[186]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[191]: 6 -254.076 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[195]: 6 0 36.8608 shouldn't be
167.07/167.51 WSVECS04 Frhs2[197]: 6 0 5.84343 shouldn't be
167.07/167.51 WSVECS04 Frhs2[200]: 6 0 82.9936 shouldn't be
167.07/167.51 WSVECS04 Frhs2[202]: 6 0 30.149 shouldn't be
167.07/167.51 WSVECS04 Frhs2[203]: 6 0 43.2588 shouldn't be
167.07/167.51 WSVECS04 Frhs2[204]: 6 0 76.2122 shouldn't be
167.07/167.51 WSVECS04 Frhs2[207]: 6 0 47.7212 shouldn't be
167.07/167.51 WSVECS04 Frhs2[208]: 6 0 55.5548 shouldn't be
167.07/167.51 WSVECS04 Frhs2[217]: 6 0 8.54493 shouldn't be
167.07/167.51 WSVECS04 Frhs2[228]: 6 0 87.5204 shouldn't be
167.07/167.51 WSVECS04 Frhs2[237]: 6 0 5.29117 shouldn't be
167.07/167.51 WSVECS04 Frhs2[248]: 6 -330.078 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[268]: 6 0 27.7669 shouldn't be
167.07/167.51 WSVECS04 Frhs2[280]: 6 0 51.2001 shouldn't be
167.07/167.51 WSVECS04 Frhs2[300]: 6 -52.6589 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[336]: 6 -45.4259 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[378]: 6 -22.9018 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[388]: 6 0 79.6375 shouldn't be
167.07/167.51 WSVECS04 Frhs2[418]: 6 -161.144 0 shouldn't be
167.07/167.51 WSVECS04 Frhs2[424]: 6 -160.713 0 shouldn't be
167.17/167.64 WSVECS04 Frhs2[18]: 6 0 95.499 shouldn't be
167.17/167.64 WSVECS04 Frhs2[72]: 6 0 17.8204 shouldn't be
167.17/167.64 WSVECS04 Frhs2[192]: 6 0 10.1232 shouldn't be
167.17/167.64 WSVECS04 Frhs2[398]: 6 -25.9776 0 shouldn't be
172.56/173.00 c #Conflicts: 532000 | #Constraints: 16125
172.56/173.00 c #Conflicts: 533000 | #Constraints: 17125
172.56/173.00 c #Conflicts: 534000 | #Constraints: 18125
172.56/173.00 c #Conflicts: 535000 | #Constraints: 19126
172.56/173.00 c #Conflicts: 536000 | #Constraints: 20127
172.56/173.00 c #Conflicts: 537000 | #Constraints: 21127
172.56/173.00 c #Conflicts: 538000 | #Constraints: 22128
172.56/173.00 c #Conflicts: 539000 | #Constraints: 23130
172.56/173.00 c #Conflicts: 540000 | #Constraints: 24132
172.56/173.00 c #Conflicts: 541000 | #Constraints: 25134
172.56/173.00 c #Conflicts: 542000 | #Constraints: 26135
172.56/173.00 c #Conflicts: 543000 | #Constraints: 27137
172.56/173.00 c #Conflicts: 544000 | #Constraints: 28138
172.56/173.00 c #Conflicts: 545000 | #Constraints: 29139
172.56/173.00 c #Conflicts: 546000 | #Constraints: 30140
172.56/173.00 c INPROCESSING
172.56/173.00 c GARBAGE COLLECT
172.56/173.00 WSVECS04 Frhs2[9]: 6 0 10.908 shouldn't be
172.56/173.00 WSVECS04 Frhs2[10]: 6 0 30.9417 shouldn't be
172.56/173.00 WSVECS04 Frhs2[12]: 6 0 94.332 shouldn't be
172.56/173.00 WSVECS04 Frhs2[17]: 6 0 11.9777 shouldn't be
172.56/173.00 WSVECS04 Frhs2[35]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[37]: 6 0 42.2286 shouldn't be
172.56/173.00 WSVECS04 Frhs2[58]: 6 0 30.0794 shouldn't be
172.56/173.00 WSVECS04 Frhs2[59]: 6 0 10.876 shouldn't be
172.56/173.00 WSVECS04 Frhs2[61]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[64]: 6 0 34.9333 shouldn't be
172.56/173.00 WSVECS04 Frhs2[67]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[69]: 6 0 2.82899 shouldn't be
172.56/173.00 WSVECS04 Frhs2[83]: 6 0 10.6769 shouldn't be
172.56/173.00 WSVECS04 Frhs2[95]: 6 0 7.20105 shouldn't be
172.56/173.00 WSVECS04 Frhs2[99]: 6 0 16.6784 shouldn't be
172.56/173.00 WSVECS04 Frhs2[100]: 6 0 30.0794 shouldn't be
172.56/173.00 WSVECS04 Frhs2[101]: 6 0 105.836 shouldn't be
172.56/173.00 WSVECS04 Frhs2[104]: 6 0 40.9577 shouldn't be
172.56/173.00 WSVECS04 Frhs2[107]: 6 0 16.8577 shouldn't be
172.56/173.00 WSVECS04 Frhs2[109]: 6 0 10.0458 shouldn't be
172.56/173.00 WSVECS04 Frhs2[112]: 6 -312.017 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[114]: 6 0 46.1787 shouldn't be
172.56/173.00 WSVECS04 Frhs2[115]: 6 0 23.9974 shouldn't be
172.56/173.00 WSVECS04 Frhs2[119]: 6 0 4.35634 shouldn't be
172.56/173.00 WSVECS04 Frhs2[129]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[135]: 6 0 18.1163 shouldn't be
172.56/173.00 WSVECS04 Frhs2[147]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[150]: 6 0 44.7748 shouldn't be
172.56/173.00 WSVECS04 Frhs2[159]: 6 0 35.5585 shouldn't be
172.56/173.00 WSVECS04 Frhs2[160]: 6 0 30.0795 shouldn't be
172.56/173.00 WSVECS04 Frhs2[163]: 6 0 18.7249 shouldn't be
172.56/173.00 WSVECS04 Frhs2[165]: 6 0 67.1407 shouldn't be
172.56/173.00 WSVECS04 Frhs2[172]: 6 0 86.7048 shouldn't be
172.56/173.00 WSVECS04 Frhs2[177]: 6 0 67.9341 shouldn't be
172.56/173.00 WSVECS04 Frhs2[185]: 6 0 51.0245 shouldn't be
172.56/173.00 WSVECS04 Frhs2[189]: 6 0 9.40955 shouldn't be
172.56/173.00 WSVECS04 Frhs2[191]: 6 0 67.8233 shouldn't be
172.56/173.00 WSVECS04 Frhs2[199]: 6 0 41.9996 shouldn't be
172.56/173.00 WSVECS04 Frhs2[203]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[214]: 6 0 30.0794 shouldn't be
172.56/173.00 WSVECS04 Frhs2[215]: 6 0 3.90855 shouldn't be
172.56/173.00 WSVECS04 Frhs2[222]: 6 0 44.7748 shouldn't be
172.56/173.00 WSVECS04 Frhs2[227]: 6 0 51.1976 shouldn't be
172.56/173.00 WSVECS04 Frhs2[231]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[233]: 6 0 10.908 shouldn't be
172.56/173.00 WSVECS04 Frhs2[245]: 6 0 53.1386 shouldn't be
172.56/173.00 WSVECS04 Frhs2[247]: 6 0 0.498724 shouldn't be
172.56/173.00 WSVECS04 Frhs2[253]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[255]: 6 0 10.0457 shouldn't be
172.56/173.00 WSVECS04 Frhs2[268]: 6 0 31.8021 shouldn't be
172.56/173.00 WSVECS04 Frhs2[272]: 6 0 143.251 shouldn't be
172.56/173.00 WSVECS04 Frhs2[276]: 6 0 190.584 shouldn't be
172.56/173.00 WSVECS04 Frhs2[280]: 6 0 137.281 shouldn't be
172.56/173.00 WSVECS04 Frhs2[282]: 6 0 137.949 shouldn't be
172.56/173.00 WSVECS04 Frhs2[284]: 6 0 138.283 shouldn't be
172.56/173.00 WSVECS04 Frhs2[286]: 6 0 138.45 shouldn't be
172.56/173.00 WSVECS04 Frhs2[287]: 6 0 20.0546 shouldn't be
172.56/173.00 WSVECS04 Frhs2[293]: 6 -94.8151 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[298]: 6 0 16.0838 shouldn't be
172.56/173.00 WSVECS04 Frhs2[301]: 6 -31.9337 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[308]: 6 -94.1622 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[309]: 6 -91.9201 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[323]: 6 -99.4372 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[336]: 6 0 31.2071 shouldn't be
172.56/173.00 WSVECS04 Frhs2[339]: 6 -172.065 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[362]: 6 -1.00008 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[373]: 6 -65.8738 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[375]: 6 -64.4684 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[377]: 6 -107.472 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[383]: 6 -56.685 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[403]: 6 -38.6387 0 shouldn't be
172.56/173.00 WSVECS04 Frhs2[418]: 6 0 11.9143 shouldn't be
172.56/173.00 WSVECS04 Frhs2[427]: 6 -72.4502 0 shouldn't be
172.56/173.07 WSVECS04 Frhs2[388]: 6 -117.137 0 shouldn't be
172.65/173.13 WSVECS04 Frhs2[356]: 6 -11.1205 0 shouldn't be
172.75/173.20 WSVECS04 Frhs2[13]: 6 0 70.2464 shouldn't be
172.75/173.20 WSVECS04 Frhs2[15]: 6 0 84.6386 shouldn't be
172.75/173.20 WSVECS04 Frhs2[72]: 6 0 28.6571 shouldn't be
172.75/173.20 WSVECS04 Frhs2[102]: 6 0 107.847 shouldn't be
172.75/173.20 WSVECS04 Frhs2[270]: 6 0 142.86 shouldn't be
183.22/183.73 c #Conflicts: 547000 | #Constraints: 16532
183.22/183.73 c #Conflicts: 548000 | #Constraints: 17532
183.22/183.73 c #Conflicts: 549000 | #Constraints: 18532
183.22/183.73 c #Conflicts: 550000 | #Constraints: 19533
183.22/183.73 c #Conflicts: 551000 | #Constraints: 20533
183.22/183.73 c #Conflicts: 552000 | #Constraints: 21534
183.22/183.73 c #Conflicts: 553000 | #Constraints: 22538
183.22/183.73 c #Conflicts: 554000 | #Constraints: 23540
183.22/183.73 c #Conflicts: 555000 | #Constraints: 24542
183.22/183.73 c #Conflicts: 556000 | #Constraints: 25545
183.22/183.73 c #Conflicts: 557000 | #Constraints: 26550
183.22/183.73 c #Conflicts: 558000 | #Constraints: 27561
183.22/183.73 c #Conflicts: 559000 | #Constraints: 28562
183.22/183.73 c #Conflicts: 560000 | #Constraints: 29562
183.22/183.73 c #Conflicts: 561000 | #Constraints: 30563
183.22/183.73 c INPROCESSING
183.22/183.73 c GARBAGE COLLECT
183.22/183.73 c #Conflicts: 562000 | #Constraints: 16732
183.22/183.73 c #Conflicts: 563000 | #Constraints: 17732
183.22/183.73 c #Conflicts: 564000 | #Constraints: 18733
183.22/183.73 c #Conflicts: 565000 | #Constraints: 19734
183.22/183.73 c #Conflicts: 566000 | #Constraints: 20735
183.22/183.73 c #Conflicts: 567000 | #Constraints: 21736
183.22/183.73 c #Conflicts: 568000 | #Constraints: 22738
183.22/183.73 c #Conflicts: 569000 | #Constraints: 23738
183.22/183.73 c #Conflicts: 570000 | #Constraints: 24739
183.22/183.73 c #Conflicts: 571000 | #Constraints: 25740
183.22/183.73 c #Conflicts: 572000 | #Constraints: 26740
183.22/183.73 c #Conflicts: 573000 | #Constraints: 27742
183.22/183.73 c #Conflicts: 574000 | #Constraints: 28745
183.22/183.73 c #Conflicts: 575000 | #Constraints: 29746
183.22/183.73 c #Conflicts: 576000 | #Constraints: 30750
183.22/183.73 c INPROCESSING
183.22/183.73 c GARBAGE COLLECT
183.22/183.73 WSVECS04 Frhs2[1]: 6 0 0.662221 shouldn't be
183.22/183.73 WSVECS04 Frhs2[7]: 6 0 1.54482 shouldn't be
183.22/183.73 WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
183.22/183.73 WSVECS04 Frhs2[13]: 6 0 9.30487 shouldn't be
183.22/183.73 WSVECS04 Frhs2[15]: 6 0 1.3779 shouldn't be
183.22/183.73 WSVECS04 Frhs2[30]: 6 0 4.34301 shouldn't be
183.22/183.73 WSVECS04 Frhs2[31]: 6 0 0.0814126 shouldn't be
183.22/183.73 WSVECS04 Frhs2[34]: 6 0 4.34305 shouldn't be
183.22/183.73 WSVECS04 Frhs2[44]: 6 0 4.3431 shouldn't be
183.22/183.73 WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
183.22/183.73 WSVECS04 Frhs2[57]: 6 0 1.82851 shouldn't be
183.22/183.73 WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
183.22/183.73 WSVECS04 Frhs2[73]: 6 0 1.5004 shouldn't be
183.22/183.73 WSVECS04 Frhs2[78]: 6 0 4.34304 shouldn't be
183.22/183.73 WSVECS04 Frhs2[86]: 6 0 4.34303 shouldn't be
183.22/183.73 WSVECS04 Frhs2[101]: 6 0 0.986158 shouldn't be
183.22/183.73 WSVECS04 Frhs2[130]: 6 0 4.34303 shouldn't be
183.22/183.73 WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[135]: 6 0 2.50628 shouldn't be
183.22/183.73 WSVECS04 Frhs2[148]: 6 0 4.34305 shouldn't be
183.22/183.73 WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
183.22/183.73 WSVECS04 Frhs2[167]: 6 0 2.48943 shouldn't be
183.22/183.73 WSVECS04 Frhs2[169]: 6 -2.57626 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[174]: 6 0 4.34306 shouldn't be
183.22/183.73 WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
183.22/183.73 WSVECS04 Frhs2[191]: 6 0 0.415222 shouldn't be
183.22/183.73 WSVECS04 Frhs2[220]: 6 0 16.7915 shouldn't be
183.22/183.73 WSVECS04 Frhs2[237]: 6 0 4.11909 shouldn't be
183.22/183.73 WSVECS04 Frhs2[270]: 6 0 0.617289 shouldn't be
183.22/183.73 WSVECS04 Frhs2[272]: 6 0 0.446445 shouldn't be
183.22/183.73 WSVECS04 Frhs2[284]: 6 0 0.476457 shouldn't be
183.22/183.73 WSVECS04 Frhs2[290]: 6 0 7.31909 shouldn't be
183.22/183.73 WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[297]: 6 -3.46463 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[299]: 6 0 10.7337 shouldn't be
183.22/183.73 WSVECS04 Frhs2[300]: 6 -11.214 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[303]: 6 0 4.0172 shouldn't be
183.22/183.73 WSVECS04 Frhs2[311]: 6 0 5.13164 shouldn't be
183.22/183.73 WSVECS04 Frhs2[317]: 6 -36.7134 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[360]: 6 -0.653751 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[365]: 6 -15.5991 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[384]: 6 -41.5319 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[393]: 6 -12.2288 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[406]: 6 -0.654154 0 shouldn't be
183.22/183.73 WSVECS04 Frhs2[425]: 6 -15.2871 0 shouldn't be
183.22/183.79 WSVECS04 Frhs2[17]: 6 0 0.0442575 shouldn't be
183.22/183.79 WSVECS04 Frhs2[62]: 6 0 4.34301 shouldn't be
183.22/183.79 WSVECS04 Frhs2[128]: 6 0 4.34304 shouldn't be
183.22/183.79 WSVECS04 Frhs2[133]: 6 -1.02266 0 shouldn't be
183.22/183.79 WSVECS04 Frhs2[428]: 6 -38.9902 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[1]: 6 0 0.662156 shouldn't be
183.32/183.86 WSVECS04 Frhs2[7]: 6 0 1.54478 shouldn't be
183.32/183.86 WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
183.32/183.86 WSVECS04 Frhs2[13]: 6 0 9.30483 shouldn't be
183.32/183.86 WSVECS04 Frhs2[14]: 6 0 14.6657 shouldn't be
183.32/183.86 WSVECS04 Frhs2[15]: 6 0 1.37786 shouldn't be
183.32/183.86 WSVECS04 Frhs2[17]: 6 0 0.0442205 shouldn't be
183.32/183.86 WSVECS04 Frhs2[22]: 6 0 5.37766 shouldn't be
183.32/183.86 WSVECS04 Frhs2[30]: 6 0 4.343 shouldn't be
183.32/183.86 WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
183.32/183.86 WSVECS04 Frhs2[57]: 6 0 1.82842 shouldn't be
183.32/183.86 WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
183.32/183.86 WSVECS04 Frhs2[73]: 6 0 1.50034 shouldn't be
183.32/183.86 WSVECS04 Frhs2[101]: 6 0 0.986134 shouldn't be
183.32/183.86 WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[133]: 6 -1.02256 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[135]: 6 0 2.50625 shouldn't be
183.32/183.86 WSVECS04 Frhs2[148]: 6 0 4.343 shouldn't be
183.32/183.86 WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
183.32/183.86 WSVECS04 Frhs2[167]: 6 0 2.48941 shouldn't be
183.32/183.86 WSVECS04 Frhs2[169]: 6 -2.57625 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[174]: 6 0 4.343 shouldn't be
183.32/183.86 WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
183.32/183.86 WSVECS04 Frhs2[191]: 6 0 0.415201 shouldn't be
183.32/183.86 WSVECS04 Frhs2[220]: 6 0 16.7914 shouldn't be
183.32/183.86 WSVECS04 Frhs2[237]: 6 0 4.119 shouldn't be
183.32/183.86 WSVECS04 Frhs2[272]: 6 0 0.44641 shouldn't be
183.32/183.86 WSVECS04 Frhs2[284]: 6 0 0.476373 shouldn't be
183.32/183.86 WSVECS04 Frhs2[290]: 6 0 7.319 shouldn't be
183.32/183.86 WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[297]: 6 -3.4646 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[299]: 6 0 10.7336 shouldn't be
183.32/183.86 WSVECS04 Frhs2[300]: 6 -11.2139 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[303]: 6 0 4.01716 shouldn't be
183.32/183.86 WSVECS04 Frhs2[311]: 6 0 5.13154 shouldn't be
183.32/183.86 WSVECS04 Frhs2[317]: 6 -36.7133 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[360]: 6 -0.653662 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[365]: 6 -15.599 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[384]: 6 -41.5318 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[393]: 6 -12.2287 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[406]: 6 -0.654143 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[425]: 6 -15.287 0 shouldn't be
183.32/183.86 WSVECS04 Frhs2[428]: 6 -38.9901 0 shouldn't be
183.42/183.94 WSVECS04 Frhs2[31]: 6 0 0.0813506 shouldn't be
183.42/183.94 WSVECS04 Frhs2[270]: 6 0 0.617268 shouldn't be
183.42/184.00 WSVECS04 Frhs2[4]: 6 0 4.343 shouldn't be
183.42/184.00 WSVECS04 Frhs2[62]: 6 0 4.343 shouldn't be
183.52/184.07 WSVECS04 Frhs2[78]: 6 0 4.343 shouldn't be
183.52/184.07 WSVECS04 Frhs2[86]: 6 0 4.343 shouldn't be
183.52/184.07 WSVECS04 Frhs2[130]: 6 0 4.343 shouldn't be
183.63/184.14 WSVECS04 Frhs2[12]: 6 0 33.3637 shouldn't be
183.63/184.14 WSVECS04 Frhs2[34]: 6 0 4.343 shouldn't be
183.63/184.14 WSVECS04 Frhs2[44]: 6 0 4.343 shouldn't be
183.63/184.14 WSVECS04 Frhs2[128]: 6 0 4.343 shouldn't be
211.24/211.88 c #Conflicts: 577000 | #Constraints: 16729
211.24/211.88 c #Conflicts: 578000 | #Constraints: 17729
211.24/211.88 c #Conflicts: 579000 | #Constraints: 18729
211.24/211.88 c #Conflicts: 580000 | #Constraints: 19729
211.24/211.88 c #Conflicts: 581000 | #Constraints: 20729
211.24/211.88 c #Conflicts: 582000 | #Constraints: 21729
211.24/211.88 c #Conflicts: 583000 | #Constraints: 22729
211.24/211.88 c #Conflicts: 584000 | #Constraints: 23729
211.24/211.88 c #Conflicts: 585000 | #Constraints: 24729
211.24/211.88 c #Conflicts: 586000 | #Constraints: 25729
211.24/211.88 c #Conflicts: 587000 | #Constraints: 26729
211.24/211.88 c #Conflicts: 588000 | #Constraints: 27729
211.24/211.88 c #Conflicts: 589000 | #Constraints: 28729
211.24/211.88 c #Conflicts: 590000 | #Constraints: 29729
211.24/211.88 c #Conflicts: 591000 | #Constraints: 30729
211.24/211.88 c INPROCESSING
211.24/211.88 c GARBAGE COLLECT
211.24/211.88 c #Conflicts: 592000 | #Constraints: 16520
211.24/211.88 c #Conflicts: 593000 | #Constraints: 17520
211.24/211.88 c #Conflicts: 594000 | #Constraints: 18520
211.24/211.88 c #Conflicts: 595000 | #Constraints: 19520
211.24/211.88 c #Conflicts: 596000 | #Constraints: 20520
211.24/211.88 c #Conflicts: 597000 | #Constraints: 21520
211.24/211.88 c #Conflicts: 598000 | #Constraints: 22520
211.24/211.88 c #Conflicts: 599000 | #Constraints: 23520
211.24/211.88 c #Conflicts: 600000 | #Constraints: 24520
211.24/211.88 c #Conflicts: 601000 | #Constraints: 25520
211.24/211.88 c #Conflicts: 602000 | #Constraints: 26520
211.24/211.88 c #Conflicts: 603000 | #Constraints: 27520
211.24/211.88 c #Conflicts: 604000 | #Constraints: 28520
211.24/211.88 c #Conflicts: 605000 | #Constraints: 29520
211.24/211.88 c #Conflicts: 606000 | #Constraints: 30520
211.24/211.88 c #Conflicts: 607000 | #Constraints: 31520
211.24/211.88 c INPROCESSING
211.24/211.88 c GARBAGE COLLECT
211.24/211.88 c #Conflicts: 608000 | #Constraints: 17112
211.24/211.88 c #Conflicts: 609000 | #Constraints: 18112
211.24/211.88 c #Conflicts: 610000 | #Constraints: 19112
211.24/211.88 c #Conflicts: 611000 | #Constraints: 20112
211.24/211.88 c #Conflicts: 612000 | #Constraints: 21112
211.24/211.88 c #Conflicts: 613000 | #Constraints: 22112
211.24/211.88 c #Conflicts: 614000 | #Constraints: 23112
211.24/211.88 c #Conflicts: 615000 | #Constraints: 24112
211.24/211.88 c #Conflicts: 616000 | #Constraints: 25112
211.24/211.88 c #Conflicts: 617000 | #Constraints: 26112
211.24/211.88 c #Conflicts: 618000 | #Constraints: 27112
211.24/211.88 c #Conflicts: 619000 | #Constraints: 28112
211.24/211.88 c #Conflicts: 620000 | #Constraints: 29112
211.24/211.88 c #Conflicts: 621000 | #Constraints: 30112
211.24/211.88 c #Conflicts: 622000 | #Constraints: 31112
211.24/211.88 c #Conflicts: 623000 | #Constraints: 32112
211.24/211.88 c INPROCESSING
211.24/211.88 c GARBAGE COLLECT
211.24/211.88 c #Conflicts: 624000 | #Constraints: 17508
211.24/211.88 c #Conflicts: 625000 | #Constraints: 18508
211.24/211.88 c #Conflicts: 626000 | #Constraints: 19508
211.24/211.88 c #Conflicts: 627000 | #Constraints: 20508
211.24/211.88 c #Conflicts: 628000 | #Constraints: 21508
211.24/211.88 c #Conflicts: 629000 | #Constraints: 22508
211.24/211.88 c #Conflicts: 630000 | #Constraints: 23508
211.24/211.88 c #Conflicts: 631000 | #Constraints: 24508
211.24/211.88 c #Conflicts: 632000 | #Constraints: 25508
211.24/211.88 c #Conflicts: 633000 | #Constraints: 26508
211.24/211.88 c #Conflicts: 634000 | #Constraints: 27508
211.24/211.88 c #Conflicts: 635000 | #Constraints: 28508
211.24/211.88 c #Conflicts: 636000 | #Constraints: 29508
211.24/211.88 c #Conflicts: 637000 | #Constraints: 30508
211.24/211.88 c #Conflicts: 638000 | #Constraints: 31508
211.24/211.88 c #Conflicts: 639000 | #Constraints: 32508
211.24/211.88 c INPROCESSING
211.24/211.88 c GARBAGE COLLECT
211.24/211.88 c #Conflicts: 640000 | #Constraints: 17705
211.24/211.88 c #Conflicts: 641000 | #Constraints: 18705
211.24/211.88 c #Conflicts: 642000 | #Constraints: 19705
211.24/211.88 c #Conflicts: 643000 | #Constraints: 20705
211.24/211.88 c #Conflicts: 644000 | #Constraints: 21705
211.24/211.88 c #Conflicts: 645000 | #Constraints: 22705
211.24/211.88 c #Conflicts: 646000 | #Constraints: 23705
211.24/211.88 c #Conflicts: 647000 | #Constraints: 24705
211.24/211.88 c #Conflicts: 648000 | #Constraints: 25705
211.24/211.88 c #Conflicts: 649000 | #Constraints: 26705
211.24/211.88 c #Conflicts: 650000 | #Constraints: 27705
211.24/211.88 c #Conflicts: 651000 | #Constraints: 28705
211.24/211.88 c #Conflicts: 652000 | #Constraints: 29705
211.24/211.88 c #Conflicts: 653000 | #Constraints: 30705
218.82/219.40 c #Conflicts: 654000 | #Constraints: 31705
218.82/219.40 c #Conflicts: 655000 | #Constraints: 32705
218.82/219.40 c INPROCESSING
218.82/219.40 c GARBAGE COLLECT
218.82/219.40 c #Conflicts: 656000 | #Constraints: 17711
218.82/219.40 c #Conflicts: 657000 | #Constraints: 18715
218.82/219.40 c #Conflicts: 658000 | #Constraints: 19715
218.82/219.40 c #Conflicts: 659000 | #Constraints: 20715
218.82/219.40 c #Conflicts: 660000 | #Constraints: 21716
218.82/219.40 c #Conflicts: 661000 | #Constraints: 22719
218.82/219.40 c #Conflicts: 662000 | #Constraints: 23720
218.82/219.40 c #Conflicts: 663000 | #Constraints: 24720
218.82/219.40 c #Conflicts: 664000 | #Constraints: 25720
218.82/219.40 c #Conflicts: 665000 | #Constraints: 26720
218.82/219.40 c #Conflicts: 666000 | #Constraints: 27720
218.82/219.40 c #Conflicts: 667000 | #Constraints: 28722
218.82/219.40 c #Conflicts: 668000 | #Constraints: 29722
218.82/219.40 c #Conflicts: 669000 | #Constraints: 30723
218.82/219.40 c #Conflicts: 670000 | #Constraints: 31724
218.82/219.40 c #Conflicts: 671000 | #Constraints: 32726
218.82/219.40 c INPROCESSING
218.82/219.40 c GARBAGE COLLECT
218.82/219.40 WSVECS04 Frhs2[10]: 6 0 0.178958 shouldn't be
218.82/219.40 WSVECS04 Frhs2[11]: 6 0 0.0103655 shouldn't be
218.82/219.40 WSVECS04 Frhs2[12]: 6 0 0.191887 shouldn't be
218.82/219.40 WSVECS04 Frhs2[18]: 6 -4.07485 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[20]: 6 0 0.0606757 shouldn't be
218.82/219.40 WSVECS04 Frhs2[22]: 6 0 0.059941 shouldn't be
218.82/219.40 WSVECS04 Frhs2[27]: 6 0 0.0894314 shouldn't be
218.82/219.40 WSVECS04 Frhs2[44]: 6 0 0.105311 shouldn't be
218.82/219.40 WSVECS04 Frhs2[46]: 6 0 0.732083 shouldn't be
218.82/219.40 WSVECS04 Frhs2[57]: 6 0 0.247836 shouldn't be
218.82/219.40 WSVECS04 Frhs2[68]: 6 0 0.105312 shouldn't be
218.82/219.40 WSVECS04 Frhs2[69]: 6 0 0.0383231 shouldn't be
218.82/219.40 WSVECS04 Frhs2[78]: 6 0 0.105346 shouldn't be
218.82/219.40 WSVECS04 Frhs2[96]: 6 0 0.105312 shouldn't be
218.82/219.40 WSVECS04 Frhs2[104]: 6 0 0.0497371 shouldn't be
218.82/219.40 WSVECS04 Frhs2[108]: 6 0 0.105362 shouldn't be
218.82/219.40 WSVECS04 Frhs2[112]: 6 0 0.105338 shouldn't be
218.82/219.40 WSVECS04 Frhs2[114]: 6 0 0.10531 shouldn't be
218.82/219.40 WSVECS04 Frhs2[116]: 6 0 0.105322 shouldn't be
218.82/219.40 WSVECS04 Frhs2[118]: 6 0 0.105353 shouldn't be
218.82/219.40 WSVECS04 Frhs2[120]: 6 0 0.105354 shouldn't be
218.82/219.40 WSVECS04 Frhs2[130]: 6 0 0.105323 shouldn't be
218.82/219.40 WSVECS04 Frhs2[131]: 6 0 0.293986 shouldn't be
218.82/219.40 WSVECS04 Frhs2[134]: 6 0 0.105358 shouldn't be
218.82/219.40 WSVECS04 Frhs2[140]: 6 0 0.105278 shouldn't be
218.82/219.40 WSVECS04 Frhs2[156]: 6 0 0.589963 shouldn't be
218.82/219.40 WSVECS04 Frhs2[163]: 6 0 0.594865 shouldn't be
218.82/219.40 WSVECS04 Frhs2[175]: 6 0 0.573563 shouldn't be
218.82/219.40 WSVECS04 Frhs2[176]: 6 0 0.105355 shouldn't be
218.82/219.40 WSVECS04 Frhs2[182]: 6 0 0.105299 shouldn't be
218.82/219.40 WSVECS04 Frhs2[186]: 6 0 0.105361 shouldn't be
218.82/219.40 WSVECS04 Frhs2[202]: 6 0 2.91259 shouldn't be
218.82/219.40 WSVECS04 Frhs2[206]: 6 0 0.105295 shouldn't be
218.82/219.40 WSVECS04 Frhs2[209]: 6 0 0.137611 shouldn't be
218.82/219.40 WSVECS04 Frhs2[214]: 6 0 0.105306 shouldn't be
218.82/219.40 WSVECS04 Frhs2[221]: 6 0 0.619385 shouldn't be
218.82/219.40 WSVECS04 Frhs2[223]: 6 0 0.156225 shouldn't be
218.82/219.40 WSVECS04 Frhs2[231]: 6 -0.0736623 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[240]: 6 0 0.19688 shouldn't be
218.82/219.40 WSVECS04 Frhs2[243]: 6 0 0.402936 shouldn't be
218.82/219.40 WSVECS04 Frhs2[252]: 6 0 0.105283 shouldn't be
218.82/219.40 WSVECS04 Frhs2[260]: 6 0 0.105273 shouldn't be
218.82/219.40 WSVECS04 Frhs2[261]: 6 0 0.402754 shouldn't be
218.82/219.40 WSVECS04 Frhs2[264]: 6 0 0.122573 shouldn't be
218.82/219.40 WSVECS04 Frhs2[268]: 6 0 0.09334 shouldn't be
218.82/219.40 WSVECS04 Frhs2[283]: 6 -0.0781289 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[285]: 6 -0.0279313 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[294]: 6 0 1.9481 shouldn't be
218.82/219.40 WSVECS04 Frhs2[295]: 6 -1.58364 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[299]: 6 0 0.886916 shouldn't be
218.82/219.40 WSVECS04 Frhs2[303]: 6 0 1.42638 shouldn't be
218.82/219.40 WSVECS04 Frhs2[307]: 6 0 0.387207 shouldn't be
218.82/219.40 WSVECS04 Frhs2[309]: 6 -1.32537 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[310]: 6 0 0.296328 shouldn't be
218.82/219.40 WSVECS04 Frhs2[312]: 6 -1.42971 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[318]: 6 0 1.58473 shouldn't be
218.82/219.40 WSVECS04 Frhs2[323]: 6 -0.0616779 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[326]: 6 0 0.572418 shouldn't be
218.82/219.40 WSVECS04 Frhs2[331]: 6 0 0.666342 shouldn't be
218.82/219.40 WSVECS04 Frhs2[360]: 6 -1.22301 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[367]: 6 -1.81166 0 shouldn't be
218.82/219.40 WSVECS04 Frhs2[386]: 6 0 0.0333504 shouldn't be
218.82/219.40 WSVECS04 Frhs2[428]: 6 -0.11391 0 shouldn't be
218.82/219.47 WSVECS04 Frhs2[167]: 6 0 1.15254 shouldn't be
218.82/219.47 WSVECS04 Frhs2[192]: 6 0 0.735134 shouldn't be
218.82/219.47 WSVECS04 Frhs2[347]: 6 0 0.311239 shouldn't be
225.10/225.74 c #Conflicts: 672000 | #Constraints: 17509
225.10/225.74 c #Conflicts: 673000 | #Constraints: 18510
225.10/225.74 c #Conflicts: 674000 | #Constraints: 19510
225.10/225.74 c #Conflicts: 675000 | #Constraints: 20511
225.10/225.74 c #Conflicts: 676000 | #Constraints: 21512
225.10/225.74 c #Conflicts: 677000 | #Constraints: 22514
225.10/225.74 c #Conflicts: 678000 | #Constraints: 23516
225.10/225.74 c #Conflicts: 679000 | #Constraints: 24518
225.10/225.74 c #Conflicts: 680000 | #Constraints: 25519
225.10/225.74 c #Conflicts: 681000 | #Constraints: 26520
225.10/225.74 c #Conflicts: 682000 | #Constraints: 27522
225.10/225.74 c #Conflicts: 683000 | #Constraints: 28523
225.10/225.74 c #Conflicts: 684000 | #Constraints: 29525
225.10/225.74 c #Conflicts: 685000 | #Constraints: 30526
225.10/225.74 c #Conflicts: 686000 | #Constraints: 31527
225.10/225.74 c #Conflicts: 687000 | #Constraints: 32528
225.10/225.74 c #Conflicts: 688000 | #Constraints: 33528
225.10/225.74 c INPROCESSING
225.10/225.74 c GARBAGE COLLECT
225.10/225.74 WSVECS04 Frhs2[67]: 6 0 0.0518196 shouldn't be
225.10/225.74 WSVECS04 Frhs2[263]: 6 0 0.0173652 shouldn't be
225.20/225.80 WSVECS04 Frhs2[7]: 6 0 0.0518201 shouldn't be
225.20/225.80 WSVECS04 Frhs2[19]: 6 0 244.182 shouldn't be
225.20/225.80 WSVECS04 Frhs2[20]: 6 -1.14035 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[22]: 6 -1.132 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[29]: 6 0 0.0518196 shouldn't be
225.20/225.80 WSVECS04 Frhs2[34]: 6 0 707.982 shouldn't be
225.20/225.80 WSVECS04 Frhs2[43]: 6 0 0.0518199 shouldn't be
225.20/225.80 WSVECS04 Frhs2[49]: 6 0 30.8038 shouldn't be
225.20/225.80 WSVECS04 Frhs2[52]: 6 -176.763 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[59]: 6 0 1.95531 shouldn't be
225.20/225.80 WSVECS04 Frhs2[71]: 6 0 0.05182 shouldn't be
225.20/225.80 WSVECS04 Frhs2[77]: 6 0 9.78257 shouldn't be
225.20/225.80 WSVECS04 Frhs2[79]: 6 0 41.4808 shouldn't be
225.20/225.80 WSVECS04 Frhs2[83]: 6 -32.5241 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[89]: 6 0 0.0518202 shouldn't be
225.20/225.80 WSVECS04 Frhs2[91]: 6 0 0.0518198 shouldn't be
225.20/225.80 WSVECS04 Frhs2[105]: 6 0 45.8377 shouldn't be
225.20/225.80 WSVECS04 Frhs2[119]: 6 0 0.0518201 shouldn't be
225.20/225.80 WSVECS04 Frhs2[139]: 6 0 0.0518197 shouldn't be
225.20/225.80 WSVECS04 Frhs2[147]: 6 0 0.0518201 shouldn't be
225.20/225.80 WSVECS04 Frhs2[155]: 6 0 24.0758 shouldn't be
225.20/225.80 WSVECS04 Frhs2[163]: 6 0 98.1706 shouldn't be
225.20/225.80 WSVECS04 Frhs2[164]: 6 0 20.7666 shouldn't be
225.20/225.80 WSVECS04 Frhs2[168]: 6 0 8.90093 shouldn't be
225.20/225.80 WSVECS04 Frhs2[171]: 6 0 11.4588 shouldn't be
225.20/225.80 WSVECS04 Frhs2[173]: 6 0 0.0518201 shouldn't be
225.20/225.80 WSVECS04 Frhs2[175]: 6 -18.1656 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[179]: 6 0 0.0518197 shouldn't be
225.20/225.80 WSVECS04 Frhs2[183]: 6 0 68.3641 shouldn't be
225.20/225.80 WSVECS04 Frhs2[187]: 6 0 0.0518198 shouldn't be
225.20/225.80 WSVECS04 Frhs2[197]: 6 0 0.0518202 shouldn't be
225.20/225.80 WSVECS04 Frhs2[199]: 6 0 1.58256 shouldn't be
225.20/225.80 WSVECS04 Frhs2[200]: 6 0 8.21292 shouldn't be
225.20/225.80 WSVECS04 Frhs2[203]: 6 0 0.0518197 shouldn't be
225.20/225.80 WSVECS04 Frhs2[221]: 6 0 76.7877 shouldn't be
225.20/225.80 WSVECS04 Frhs2[241]: 6 -7.83786 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[249]: 6 0 36.5688 shouldn't be
225.20/225.80 WSVECS04 Frhs2[251]: 6 -105.24 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[253]: 6 -73.775 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[259]: 6 0 0.0518202 shouldn't be
225.20/225.80 WSVECS04 Frhs2[261]: 6 0 24.0861 shouldn't be
225.20/225.80 WSVECS04 Frhs2[269]: 6 -12.4383 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[270]: 6 0 5.73551 shouldn't be
225.20/225.80 WSVECS04 Frhs2[273]: 6 0 25.8771 shouldn't be
225.20/225.80 WSVECS04 Frhs2[279]: 6 0 2.08199 shouldn't be
225.20/225.80 WSVECS04 Frhs2[280]: 6 0 2.0948 shouldn't be
225.20/225.80 WSVECS04 Frhs2[281]: 6 0 2.13381 shouldn't be
225.20/225.80 WSVECS04 Frhs2[283]: 6 0 2.13381 shouldn't be
225.20/225.80 WSVECS04 Frhs2[284]: 6 0 2.0948 shouldn't be
225.20/225.80 WSVECS04 Frhs2[286]: 6 0 2.0948 shouldn't be
225.20/225.80 WSVECS04 Frhs2[296]: 6 0 25.9791 shouldn't be
225.20/225.80 WSVECS04 Frhs2[304]: 6 0 118.231 shouldn't be
225.20/225.80 WSVECS04 Frhs2[327]: 6 0 4.79271 shouldn't be
225.20/225.80 WSVECS04 Frhs2[330]: 6 0 79.9261 shouldn't be
225.20/225.80 WSVECS04 Frhs2[349]: 6 0 8.16923 shouldn't be
225.20/225.80 WSVECS04 Frhs2[351]: 6 0 136.62 shouldn't be
225.20/225.80 WSVECS04 Frhs2[362]: 6 -3.33976 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[372]: 6 -44.3531 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[392]: 6 0 106.079 shouldn't be
225.20/225.80 WSVECS04 Frhs2[395]: 6 -51.3512 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[406]: 6 -4.79082 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[414]: 6 0 54.9455 shouldn't be
225.20/225.80 WSVECS04 Frhs2[421]: 6 -42.9229 0 shouldn't be
225.20/225.80 WSVECS04 Frhs2[424]: 6 0 98.9081 shouldn't be
225.20/225.80 WSVECS04 Frhs2[425]: 6 0 64.7831 shouldn't be
225.20/225.86 WSVECS04 Frhs2[47]: 6 0 0.0518199 shouldn't be
225.20/225.86 WSVECS04 Frhs2[51]: 6 0 74.264 shouldn't be
225.20/225.86 WSVECS04 Frhs2[65]: 6 0 97.875 shouldn't be
225.20/225.86 WSVECS04 Frhs2[73]: 6 0 76.785 shouldn't be
225.20/225.86 WSVECS04 Frhs2[213]: 6 0 2.91992 shouldn't be
225.20/225.86 WSVECS04 Frhs2[237]: 6 0 131.957 shouldn't be
225.20/225.86 WSVECS04 Frhs2[272]: 6 0 13.1198 shouldn't be
225.20/225.86 WSVECS04 Frhs2[274]: 6 0 25.8381 shouldn't be
225.20/225.87 WSVECS04 Frhs2[341]: 6 0 187.8 shouldn't be
225.20/225.87 WSVECS04 Frhs2[343]: 6 0 165.44 shouldn't be
225.20/225.87 WSVECS04 Frhs2[347]: 6 0 26.3803 shouldn't be
225.20/225.87 WSVECS04 Frhs2[375]: 6 0 15.0062 shouldn't be
225.20/225.87 WSVECS04 Frhs2[382]: 6 0 147.21 shouldn't be
225.20/225.87 WSVECS04 Frhs2[407]: 6 -5.69204 0 shouldn't be
225.20/225.87 WSVECS04 Frhs2[416]: 6 0 43.2619 shouldn't be
225.20/225.87 WSVECS04 Frhs2[417]: 6 0 159.114 shouldn't be
225.20/225.87 WSVECS04 Frhs2[418]: 6 0 266.633 shouldn't be
230.98/231.69 c #Conflicts: 689000 | #Constraints: 18120
230.98/231.69 c #Conflicts: 690000 | #Constraints: 19120
230.98/231.69 c #Conflicts: 691000 | #Constraints: 20121
230.98/231.69 c #Conflicts: 692000 | #Constraints: 21122
230.98/231.69 c #Conflicts: 693000 | #Constraints: 22123
230.98/231.69 c #Conflicts: 694000 | #Constraints: 23124
230.98/231.69 c #Conflicts: 695000 | #Constraints: 24125
230.98/231.69 c #Conflicts: 696000 | #Constraints: 25126
230.98/231.69 c #Conflicts: 697000 | #Constraints: 26127
230.98/231.69 c #Conflicts: 698000 | #Constraints: 27128
230.98/231.69 c #Conflicts: 699000 | #Constraints: 28130
230.98/231.69 c #Conflicts: 700000 | #Constraints: 29131
230.98/231.69 c #Conflicts: 701000 | #Constraints: 30133
230.98/231.69 c #Conflicts: 702000 | #Constraints: 31133
230.98/231.69 c #Conflicts: 703000 | #Constraints: 32135
230.98/231.69 c #Conflicts: 704000 | #Constraints: 33138
230.98/231.69 c #Conflicts: 705000 | #Constraints: 34147
230.98/231.69 c INPROCESSING
230.98/231.69 c GARBAGE COLLECT
230.98/231.69 WSVECS04 Frhs2[1]: 6 -13.2828 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[6]: 6 0 0.0244669 shouldn't be
230.98/231.69 WSVECS04 Frhs2[8]: 6 0 0.392017 shouldn't be
230.98/231.69 WSVECS04 Frhs2[10]: 6 0 1.4951 shouldn't be
230.98/231.69 WSVECS04 Frhs2[12]: 6 0 5.55516 shouldn't be
230.98/231.69 WSVECS04 Frhs2[14]: 6 0 0.530716 shouldn't be
230.98/231.69 WSVECS04 Frhs2[25]: 6 -11.9647 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[27]: 6 0 8.22328 shouldn't be
230.98/231.69 WSVECS04 Frhs2[38]: 6 0 59.0296 shouldn't be
230.98/231.69 WSVECS04 Frhs2[43]: 6 0 34.7111 shouldn't be
230.98/231.69 WSVECS04 Frhs2[47]: 6 -5.77686 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[57]: 6 0 12.3922 shouldn't be
230.98/231.69 WSVECS04 Frhs2[59]: 6 0 0.220613 shouldn't be
230.98/231.69 WSVECS04 Frhs2[60]: 6 0 14.1383 shouldn't be
230.98/231.69 WSVECS04 Frhs2[63]: 6 0 193.243 shouldn't be
230.98/231.69 WSVECS04 Frhs2[69]: 6 0 0.694165 shouldn't be
230.98/231.69 WSVECS04 Frhs2[105]: 6 0 1.12553 shouldn't be
230.98/231.69 WSVECS04 Frhs2[124]: 6 -0.343163 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[148]: 6 -0.343142 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[154]: 6 -39.6953 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[159]: 6 0 0.592966 shouldn't be
230.98/231.69 WSVECS04 Frhs2[164]: 6 0 126.577 shouldn't be
230.98/231.69 WSVECS04 Frhs2[175]: 6 0 10.9615 shouldn't be
230.98/231.69 WSVECS04 Frhs2[183]: 6 0 33.815 shouldn't be
230.98/231.69 WSVECS04 Frhs2[190]: 6 -0.343119 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[200]: 6 0 4.18015 shouldn't be
230.98/231.69 WSVECS04 Frhs2[216]: 6 0 0.34906 shouldn't be
230.98/231.69 WSVECS04 Frhs2[223]: 6 0 10.1769 shouldn't be
230.98/231.69 WSVECS04 Frhs2[224]: 6 0 8.3583 shouldn't be
230.98/231.69 WSVECS04 Frhs2[234]: 6 0 0.025012 shouldn't be
230.98/231.69 WSVECS04 Frhs2[283]: 6 0 2.17124 shouldn't be
230.98/231.69 WSVECS04 Frhs2[284]: 6 0 3.93284 shouldn't be
230.98/231.69 WSVECS04 Frhs2[285]: 6 0 1.44396 shouldn't be
230.98/231.69 WSVECS04 Frhs2[286]: 6 0 3.20569 shouldn't be
230.98/231.69 WSVECS04 Frhs2[293]: 6 0 70.4326 shouldn't be
230.98/231.69 WSVECS04 Frhs2[316]: 6 0 34.5167 shouldn't be
230.98/231.69 WSVECS04 Frhs2[350]: 6 0 49.4263 shouldn't be
230.98/231.69 WSVECS04 Frhs2[360]: 6 -5.44521 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[362]: 6 -1.00005 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[395]: 6 -20.1725 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[402]: 6 -3.1424 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[406]: 6 -4.42748 0 shouldn't be
230.98/231.69 WSVECS04 Frhs2[413]: 6 0 31.17 shouldn't be
230.98/231.69 WSVECS04 Frhs2[426]: 6 0 31.5315 shouldn't be
231.08/231.76 WSVECS04 Frhs2[108]: 6 -0.343169 0 shouldn't be
231.08/231.76 WSVECS04 Frhs2[243]: 6 0 13.5222 shouldn't be
231.08/231.76 WSVECS04 Frhs2[249]: 6 0 18.798 shouldn't be
231.08/231.76 WSVECS04 Frhs2[282]: 6 0 5.3873 shouldn't be
231.08/231.76 WSVECS04 Frhs2[348]: 6 0 24.773 shouldn't be
231.08/231.76 WSVECS04 Frhs2[371]: 6 0 50.7264 shouldn't be
231.08/231.76 WSVECS04 Frhs2[396]: 6 0 51.6964 shouldn't be
231.18/231.83 WSVECS04 Frhs2[398]: 6 0 33.4865 shouldn't be
231.18/231.83 WSVECS04 Frhs2[419]: 6 0 71.1094 shouldn't be
231.18/231.83 WSVECS04 Frhs2[428]: 6 0 90.9859 shouldn't be
244.84/245.50 c #Conflicts: 706000 | #Constraints: 18528
244.84/245.50 c #Conflicts: 707000 | #Constraints: 19529
244.84/245.50 c #Conflicts: 708000 | #Constraints: 20532
244.84/245.50 c #Conflicts: 709000 | #Constraints: 21533
244.84/245.50 c #Conflicts: 710000 | #Constraints: 22538
244.84/245.50 c #Conflicts: 711000 | #Constraints: 23541
244.84/245.50 c #Conflicts: 712000 | #Constraints: 24544
244.84/245.50 c #Conflicts: 713000 | #Constraints: 25546
244.84/245.50 c #Conflicts: 714000 | #Constraints: 26549
244.84/245.50 c #Conflicts: 715000 | #Constraints: 27552
244.84/245.50 c #Conflicts: 716000 | #Constraints: 28556
244.84/245.50 c #Conflicts: 717000 | #Constraints: 29560
244.84/245.50 c #Conflicts: 718000 | #Constraints: 30564
244.84/245.50 c #Conflicts: 719000 | #Constraints: 31567
244.84/245.50 c #Conflicts: 720000 | #Constraints: 32567
244.84/245.50 c #Conflicts: 721000 | #Constraints: 33570
244.84/245.50 c #Conflicts: 722000 | #Constraints: 34584
244.84/245.50 c INPROCESSING
244.84/245.50 c GARBAGE COLLECT
244.84/245.50 c #Conflicts: 723000 | #Constraints: 18748
244.84/245.50 c #Conflicts: 724000 | #Constraints: 19750
244.84/245.50 c #Conflicts: 725000 | #Constraints: 20750
244.84/245.50 c #Conflicts: 726000 | #Constraints: 21752
244.84/245.50 c #Conflicts: 727000 | #Constraints: 22753
244.84/245.50 c #Conflicts: 728000 | #Constraints: 23755
244.84/245.50 c #Conflicts: 729000 | #Constraints: 24757
244.84/245.50 c #Conflicts: 730000 | #Constraints: 25763
244.84/245.50 c #Conflicts: 731000 | #Constraints: 26770
244.84/245.50 c #Conflicts: 732000 | #Constraints: 27798
244.84/245.50 c #Conflicts: 733000 | #Constraints: 28806
244.84/245.50 c #Conflicts: 734000 | #Constraints: 29815
244.84/245.50 c #Conflicts: 735000 | #Constraints: 30854
244.84/245.50 c #Conflicts: 736000 | #Constraints: 31855
244.84/245.50 c #Conflicts: 737000 | #Constraints: 32872
244.84/245.50 c #Conflicts: 738000 | #Constraints: 33896
244.84/245.50 c #Conflicts: 739000 | #Constraints: 34916
244.84/245.50 c INPROCESSING
244.84/245.50 c GARBAGE COLLECT
244.84/245.50 WSVECS04 Frhs2[11]: 6 0 2.37464 shouldn't be
244.84/245.50 WSVECS04 Frhs2[17]: 6 0 2.71045 shouldn't be
244.84/245.50 WSVECS04 Frhs2[119]: 6 0 11.6399 shouldn't be
244.84/245.50 WSVECS04 Frhs2[120]: 6 0 5.30808 shouldn't be
244.84/245.50 WSVECS04 Frhs2[131]: 6 0 5.72398 shouldn't be
244.84/245.50 WSVECS04 Frhs2[133]: 6 0 9.72169 shouldn't be
244.84/245.50 WSVECS04 Frhs2[149]: 6 0 8.76778 shouldn't be
244.84/245.50 WSVECS04 Frhs2[163]: 6 0 3.69717 shouldn't be
244.84/245.50 WSVECS04 Frhs2[167]: 6 0 40.1999 shouldn't be
244.84/245.50 WSVECS04 Frhs2[169]: 6 0 1.78344 shouldn't be
244.84/245.50 WSVECS04 Frhs2[183]: 6 0 9.58439 shouldn't be
244.84/245.50 WSVECS04 Frhs2[199]: 6 0 3.23905 shouldn't be
244.84/245.50 WSVECS04 Frhs2[223]: 6 0 6.77255 shouldn't be
244.84/245.50 WSVECS04 Frhs2[237]: 6 0 8.84223 shouldn't be
244.84/245.50 WSVECS04 Frhs2[247]: 6 0 5.47835 shouldn't be
244.84/245.50 WSVECS04 Frhs2[249]: 6 0 6.64208 shouldn't be
244.84/245.50 WSVECS04 Frhs2[259]: 6 -1.11861 0 shouldn't be
244.84/245.50 WSVECS04 Frhs2[271]: 6 0 11.4357 shouldn't be
244.84/245.50 WSVECS04 Frhs2[272]: 6 0 5.28886 shouldn't be
244.84/245.50 WSVECS04 Frhs2[274]: 6 0 13.2174 shouldn't be
244.84/245.50 WSVECS04 Frhs2[275]: 6 0 2.32963 shouldn't be
244.84/245.50 WSVECS04 Frhs2[281]: 6 0 3.07747 shouldn't be
244.84/245.50 WSVECS04 Frhs2[285]: 6 0 2.2001 shouldn't be
244.84/245.50 WSVECS04 Frhs2[295]: 6 -32.0595 0 shouldn't be
244.84/245.50 WSVECS04 Frhs2[300]: 6 -14.2823 0 shouldn't be
244.84/245.50 WSVECS04 Frhs2[303]: 6 -8.17344 0 shouldn't be
244.84/245.50 WSVECS04 Frhs2[332]: 6 -3.29179 0 shouldn't be
244.84/245.50 WSVECS04 Frhs2[390]: 6 0 29.3248 shouldn't be
244.84/245.50 WSVECS04 Frhs2[391]: 6 0 1.45575 shouldn't be
244.84/245.50 WSVECS04 Frhs2[404]: 6 0 6.44925 shouldn't be
244.84/245.55 WSVECS04 Frhs2[302]: 6 0 14.6863 shouldn't be
244.84/245.55 WSVECS04 Frhs2[371]: 6 0 11.3484 shouldn't be
244.84/245.55 WSVECS04 Frhs2[424]: 6 0 13.9119 shouldn't be
244.94/245.61 WSVECS04 Frhs2[347]: 6 0 13.9065 shouldn't be
244.94/245.61 WSVECS04 Frhs2[411]: 6 0 11.883 shouldn't be
257.80/258.59 c #Conflicts: 740000 | #Constraints: 18826
257.80/258.59 c #Conflicts: 741000 | #Constraints: 19828
257.80/258.59 c #Conflicts: 742000 | #Constraints: 20830
257.80/258.59 c #Conflicts: 743000 | #Constraints: 21831
257.80/258.59 c #Conflicts: 744000 | #Constraints: 22833
257.80/258.59 c #Conflicts: 745000 | #Constraints: 23835
257.80/258.59 c #Conflicts: 746000 | #Constraints: 24837
257.80/258.59 c #Conflicts: 747000 | #Constraints: 25837
257.80/258.59 c #Conflicts: 748000 | #Constraints: 26838
257.80/258.59 c #Conflicts: 749000 | #Constraints: 27839
257.80/258.59 c #Conflicts: 750000 | #Constraints: 28840
257.80/258.59 c #Conflicts: 751000 | #Constraints: 29841
257.80/258.59 c #Conflicts: 752000 | #Constraints: 30843
257.80/258.59 c #Conflicts: 753000 | #Constraints: 31844
257.80/258.59 c #Conflicts: 754000 | #Constraints: 32846
257.80/258.59 c #Conflicts: 755000 | #Constraints: 33846
257.80/258.59 c #Conflicts: 756000 | #Constraints: 34848
257.80/258.59 c INPROCESSING
257.80/258.59 c GARBAGE COLLECT
257.80/258.59 c #Conflicts: 757000 | #Constraints: 18579
257.80/258.59 c #Conflicts: 758000 | #Constraints: 19579
257.80/258.59 c #Conflicts: 759000 | #Constraints: 20580
257.80/258.59 c #Conflicts: 760000 | #Constraints: 21581
257.80/258.59 c #Conflicts: 761000 | #Constraints: 22582
257.80/258.59 c #Conflicts: 762000 | #Constraints: 23584
257.80/258.59 c #Conflicts: 763000 | #Constraints: 24587
257.80/258.59 c #Conflicts: 764000 | #Constraints: 25588
257.80/258.59 c #Conflicts: 765000 | #Constraints: 26589
257.80/258.59 c #Conflicts: 766000 | #Constraints: 27589
257.80/258.59 c #Conflicts: 767000 | #Constraints: 28590
257.80/258.59 c #Conflicts: 768000 | #Constraints: 29590
257.80/258.59 c #Conflicts: 769000 | #Constraints: 30591
257.80/258.59 c #Conflicts: 770000 | #Constraints: 31593
257.80/258.59 c #Conflicts: 771000 | #Constraints: 32594
257.80/258.59 c #Conflicts: 772000 | #Constraints: 33595
257.80/258.59 c #Conflicts: 773000 | #Constraints: 34596
257.80/258.59 c #Conflicts: 774000 | #Constraints: 35596
257.80/258.59 c INPROCESSING
257.80/258.59 c GARBAGE COLLECT
257.80/258.59 WSVECS04 Frhs2[12]: 6 0 495.053 shouldn't be
257.80/258.59 WSVECS04 Frhs2[14]: 6 0 853.065 shouldn't be
257.80/258.59 WSVECS04 Frhs2[15]: 6 0 118.544 shouldn't be
257.80/258.59 WSVECS04 Frhs2[18]: 6 0 612.868 shouldn't be
257.80/258.59 WSVECS04 Frhs2[27]: 6 0 434.863 shouldn't be
257.80/258.59 WSVECS04 Frhs2[31]: 6 0 193.055 shouldn't be
257.80/258.59 WSVECS04 Frhs2[37]: 6 0 338.167 shouldn't be
257.80/258.59 WSVECS04 Frhs2[40]: 6 0 708.733 shouldn't be
257.80/258.59 WSVECS04 Frhs2[52]: 6 0 728.219 shouldn't be
257.80/258.59 WSVECS04 Frhs2[60]: 6 0 1511.42 shouldn't be
257.80/258.59 WSVECS04 Frhs2[65]: 6 -271.38 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[73]: 6 0 194.825 shouldn't be
257.80/258.59 WSVECS04 Frhs2[87]: 6 0 333.497 shouldn't be
257.80/258.59 WSVECS04 Frhs2[95]: 6 0 38.1941 shouldn't be
257.80/258.59 WSVECS04 Frhs2[97]: 6 0 343.841 shouldn't be
257.80/258.59 WSVECS04 Frhs2[113]: 6 0 869.05 shouldn't be
257.80/258.59 WSVECS04 Frhs2[115]: 6 0 319.001 shouldn't be
257.80/258.59 WSVECS04 Frhs2[126]: 6 0 566.676 shouldn't be
257.80/258.59 WSVECS04 Frhs2[130]: 6 0 1153.33 shouldn't be
257.80/258.59 WSVECS04 Frhs2[142]: 6 0 933.952 shouldn't be
257.80/258.59 WSVECS04 Frhs2[143]: 6 0 1832.24 shouldn't be
257.80/258.59 WSVECS04 Frhs2[151]: 6 0 38.1941 shouldn't be
257.80/258.59 WSVECS04 Frhs2[154]: 6 0 1476.99 shouldn't be
257.80/258.59 WSVECS04 Frhs2[192]: 6 0 816.162 shouldn't be
257.80/258.59 WSVECS04 Frhs2[200]: 6 0 721.541 shouldn't be
257.80/258.59 WSVECS04 Frhs2[205]: 6 0 38.1941 shouldn't be
257.80/258.59 WSVECS04 Frhs2[219]: 6 0 916.009 shouldn't be
257.80/258.59 WSVECS04 Frhs2[223]: 6 0 502.762 shouldn't be
257.80/258.59 WSVECS04 Frhs2[231]: 6 0 391.709 shouldn't be
257.80/258.59 WSVECS04 Frhs2[249]: 6 0 512.347 shouldn't be
257.80/258.59 WSVECS04 Frhs2[252]: 6 0 80.0956 shouldn't be
257.80/258.59 WSVECS04 Frhs2[260]: 6 0 566.676 shouldn't be
257.80/258.59 WSVECS04 Frhs2[272]: 6 -2254.54 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[275]: 6 0 26.4926 shouldn't be
257.80/258.59 WSVECS04 Frhs2[293]: 6 0 1545.5 shouldn't be
257.80/258.59 WSVECS04 Frhs2[294]: 6 -1361.62 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[300]: 6 -723.673 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[305]: 6 0 519.814 shouldn't be
257.80/258.59 WSVECS04 Frhs2[320]: 6 0 3116.96 shouldn't be
257.80/258.59 WSVECS04 Frhs2[328]: 6 -1279.37 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[335]: 6 0 942.91 shouldn't be
257.80/258.59 WSVECS04 Frhs2[353]: 6 -528.201 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[372]: 6 -1355.36 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[392]: 6 -38.8418 0 shouldn't be
257.80/258.59 WSVECS04 Frhs2[418]: 6 -964.469 0 shouldn't be
257.90/258.66 WSVECS04 Frhs2[33]: 6 0 38.1941 shouldn't be
257.90/258.66 WSVECS04 Frhs2[35]: 6 0 38.1941 shouldn't be
257.90/258.66 WSVECS04 Frhs2[43]: 6 0 115.02 shouldn't be
257.90/258.66 WSVECS04 Frhs2[47]: 6 0 38.1941 shouldn't be
257.90/258.66 WSVECS04 Frhs2[85]: 6 0 38.1941 shouldn't be
257.90/258.66 WSVECS04 Frhs2[119]: 6 0 38.1941 shouldn't be
257.90/258.66 WSVECS04 Frhs2[209]: 6 0 703.059 shouldn't be
257.90/258.66 WSVECS04 Frhs2[277]: 6 0 739.466 shouldn't be
257.90/258.66 WSVECS04 Frhs2[280]: 6 0 424.175 shouldn't be
257.90/258.66 WSVECS04 Frhs2[283]: 6 0 424.175 shouldn't be
257.90/258.66 WSVECS04 Frhs2[348]: 6 -1043.24 0 shouldn't be
257.90/258.66 WSVECS04 Frhs2[394]: 6 0 39.8405 shouldn't be
257.90/258.66 WSVECS04 Frhs2[399]: 6 0 576.977 shouldn't be
258.00/258.73 WSVECS04 Frhs2[100]: 6 0 566.676 shouldn't be
258.00/258.73 WSVECS04 Frhs2[134]: 6 0 566.676 shouldn't be
258.00/258.73 WSVECS04 Frhs2[162]: 6 0 566.676 shouldn't be
258.00/258.73 WSVECS04 Frhs2[164]: 6 0 1721.78 shouldn't be
258.00/258.73 WSVECS04 Frhs2[198]: 6 0 566.676 shouldn't be
258.00/258.73 WSVECS04 Frhs2[234]: 6 0 574.954 shouldn't be
258.00/258.73 WSVECS04 Frhs2[279]: 6 0 424.175 shouldn't be
258.00/258.73 WSVECS04 Frhs2[319]: 6 -1047.11 0 shouldn't be
258.00/258.73 WSVECS04 Frhs2[404]: 6 -292.796 0 shouldn't be
258.00/258.73 WSVECS04 Frhs2[428]: 6 -1023.99 0 shouldn't be
258.10/258.80 WSVECS04 Frhs2[78]: 6 0 566.676 shouldn't be
258.10/258.80 WSVECS04 Frhs2[120]: 6 0 566.676 shouldn't be
258.10/258.80 WSVECS04 Frhs2[136]: 6 0 566.676 shouldn't be
258.10/258.80 WSVECS04 Frhs2[140]: 6 0 566.676 shouldn't be
258.10/258.80 WSVECS04 Frhs2[281]: 6 0 1371.95 shouldn't be
258.10/258.86 WSVECS04 Frhs2[124]: 6 0 566.676 shouldn't be
258.20/259.00 WSVECS04 Frhs2[6]: 6 0 566.676 shouldn't be
283.82/284.64 c #Conflicts: 775000 | #Constraints: 19153
283.82/284.64 c #Conflicts: 776000 | #Constraints: 20153
283.82/284.64 c #Conflicts: 777000 | #Constraints: 21153
283.82/284.64 c #Conflicts: 778000 | #Constraints: 22153
283.82/284.64 c #Conflicts: 779000 | #Constraints: 23153
283.82/284.64 c #Conflicts: 780000 | #Constraints: 24153
283.82/284.64 c #Conflicts: 781000 | #Constraints: 25153
283.82/284.64 c #Conflicts: 782000 | #Constraints: 26153
283.82/284.64 c #Conflicts: 783000 | #Constraints: 27153
283.82/284.64 c #Conflicts: 784000 | #Constraints: 28153
283.82/284.64 c #Conflicts: 785000 | #Constraints: 29153
283.82/284.64 c #Conflicts: 786000 | #Constraints: 30153
283.82/284.64 c #Conflicts: 787000 | #Constraints: 31153
283.82/284.64 c #Conflicts: 788000 | #Constraints: 32153
283.82/284.64 c #Conflicts: 789000 | #Constraints: 33153
283.82/284.64 c #Conflicts: 790000 | #Constraints: 34154
283.82/284.64 c #Conflicts: 791000 | #Constraints: 35154
283.82/284.64 c #Conflicts: 792000 | #Constraints: 36155
283.82/284.64 c INPROCESSING
283.82/284.64 c GARBAGE COLLECT
283.82/284.64 c #Conflicts: 793000 | #Constraints: 19528
283.82/284.64 c #Conflicts: 794000 | #Constraints: 20528
283.82/284.64 c #Conflicts: 795000 | #Constraints: 21528
283.82/284.64 c #Conflicts: 796000 | #Constraints: 22528
283.82/284.64 c #Conflicts: 797000 | #Constraints: 23529
283.82/284.64 c #Conflicts: 798000 | #Constraints: 24529
283.82/284.64 c #Conflicts: 799000 | #Constraints: 25529
283.82/284.64 c #Conflicts: 800000 | #Constraints: 26529
283.82/284.64 c #Conflicts: 801000 | #Constraints: 27529
283.82/284.64 c #Conflicts: 802000 | #Constraints: 28529
283.82/284.64 c #Conflicts: 803000 | #Constraints: 29529
283.82/284.64 c #Conflicts: 804000 | #Constraints: 30529
283.82/284.64 c #Conflicts: 805000 | #Constraints: 31529
283.82/284.64 c #Conflicts: 806000 | #Constraints: 32529
283.82/284.64 c #Conflicts: 807000 | #Constraints: 33529
283.82/284.64 c #Conflicts: 808000 | #Constraints: 34529
283.82/284.64 c #Conflicts: 809000 | #Constraints: 35529
283.82/284.64 c #Conflicts: 810000 | #Constraints: 36529
283.82/284.64 c INPROCESSING
283.82/284.64 c GARBAGE COLLECT
283.82/284.64 c #Conflicts: 811000 | #Constraints: 19713
283.82/284.64 c #Conflicts: 812000 | #Constraints: 20713
283.82/284.64 c #Conflicts: 813000 | #Constraints: 21713
283.82/284.64 c #Conflicts: 814000 | #Constraints: 22713
283.82/284.64 c #Conflicts: 815000 | #Constraints: 23713
283.82/284.64 c #Conflicts: 816000 | #Constraints: 24713
283.82/284.64 c #Conflicts: 817000 | #Constraints: 25713
283.82/284.64 c #Conflicts: 818000 | #Constraints: 26713
283.82/284.64 c #Conflicts: 819000 | #Constraints: 27713
283.82/284.64 c #Conflicts: 820000 | #Constraints: 28713
283.82/284.64 c #Conflicts: 821000 | #Constraints: 29713
283.82/284.64 c #Conflicts: 822000 | #Constraints: 30713
283.82/284.64 c #Conflicts: 823000 | #Constraints: 31713
283.82/284.64 c #Conflicts: 824000 | #Constraints: 32713
283.82/284.64 c #Conflicts: 825000 | #Constraints: 33713
283.82/284.64 c #Conflicts: 826000 | #Constraints: 34713
283.82/284.64 c #Conflicts: 827000 | #Constraints: 35713
283.82/284.64 c #Conflicts: 828000 | #Constraints: 36713
283.82/284.64 c INPROCESSING
283.82/284.64 c GARBAGE COLLECT
283.82/284.64 c #Conflicts: 829000 | #Constraints: 19712
283.82/284.64 c #Conflicts: 830000 | #Constraints: 20712
283.82/284.64 c #Conflicts: 831000 | #Constraints: 21712
283.82/284.64 c #Conflicts: 832000 | #Constraints: 22712
283.82/284.64 c #Conflicts: 833000 | #Constraints: 23712
283.82/284.64 c #Conflicts: 834000 | #Constraints: 24712
283.82/284.64 c #Conflicts: 835000 | #Constraints: 25712
283.82/284.64 c #Conflicts: 836000 | #Constraints: 26712
283.82/284.64 c #Conflicts: 837000 | #Constraints: 27712
283.82/284.64 c #Conflicts: 838000 | #Constraints: 28712
283.82/284.64 c #Conflicts: 839000 | #Constraints: 29712
283.82/284.64 c #Conflicts: 840000 | #Constraints: 30712
283.82/284.64 c #Conflicts: 841000 | #Constraints: 31712
283.82/284.64 c #Conflicts: 842000 | #Constraints: 32712
283.82/284.64 c #Conflicts: 843000 | #Constraints: 33712
283.82/284.64 c #Conflicts: 844000 | #Constraints: 34712
283.82/284.64 c #Conflicts: 845000 | #Constraints: 35712
283.82/284.64 c #Conflicts: 846000 | #Constraints: 36712
283.82/284.64 c INPROCESSING
283.82/284.64 c GARBAGE COLLECT
283.82/284.64 c rational objective 61.0024
305.26/306.11 c #Conflicts: 847000 | #Constraints: 19502
305.26/306.11 c #Conflicts: 848000 | #Constraints: 20503
305.26/306.11 c #Conflicts: 849000 | #Constraints: 21503
305.26/306.11 c #Conflicts: 850000 | #Constraints: 22503
305.26/306.11 c #Conflicts: 851000 | #Constraints: 23503
305.26/306.11 c #Conflicts: 852000 | #Constraints: 24504
305.26/306.11 c #Conflicts: 853000 | #Constraints: 25505
305.26/306.11 c #Conflicts: 854000 | #Constraints: 26506
305.26/306.11 c #Conflicts: 855000 | #Constraints: 27507
305.26/306.11 c #Conflicts: 856000 | #Constraints: 28508
305.26/306.11 c #Conflicts: 857000 | #Constraints: 29508
305.26/306.11 c #Conflicts: 858000 | #Constraints: 30508
305.26/306.11 c #Conflicts: 859000 | #Constraints: 31509
305.26/306.11 c #Conflicts: 860000 | #Constraints: 32509
305.26/306.11 c #Conflicts: 861000 | #Constraints: 33511
305.26/306.11 c #Conflicts: 862000 | #Constraints: 34513
305.26/306.11 c #Conflicts: 863000 | #Constraints: 35514
305.26/306.11 c #Conflicts: 864000 | #Constraints: 36515
305.26/306.11 c #Conflicts: 865000 | #Constraints: 37517
305.26/306.11 c INPROCESSING
305.26/306.11 c GARBAGE COLLECT
305.26/306.11 c #Conflicts: 866000 | #Constraints: 20119
305.26/306.11 c #Conflicts: 867000 | #Constraints: 21120
305.26/306.11 c #Conflicts: 868000 | #Constraints: 22121
305.26/306.11 c #Conflicts: 869000 | #Constraints: 23122
305.26/306.11 c #Conflicts: 870000 | #Constraints: 24123
305.26/306.11 c #Conflicts: 871000 | #Constraints: 25125
305.26/306.11 c #Conflicts: 872000 | #Constraints: 26126
305.26/306.11 c #Conflicts: 873000 | #Constraints: 27126
305.26/306.11 c #Conflicts: 874000 | #Constraints: 28127
305.26/306.11 c #Conflicts: 875000 | #Constraints: 29128
305.26/306.11 c #Conflicts: 876000 | #Constraints: 30129
305.26/306.11 c #Conflicts: 877000 | #Constraints: 31131
305.26/306.11 c #Conflicts: 878000 | #Constraints: 32132
305.26/306.11 c #Conflicts: 879000 | #Constraints: 33133
305.26/306.11 c #Conflicts: 880000 | #Constraints: 34134
305.26/306.11 c #Conflicts: 881000 | #Constraints: 35134
305.26/306.11 c #Conflicts: 882000 | #Constraints: 36135
305.26/306.11 c #Conflicts: 883000 | #Constraints: 37136
305.26/306.11 c #Conflicts: 884000 | #Constraints: 38138
305.26/306.11 c INPROCESSING
305.26/306.11 c GARBAGE COLLECT
305.26/306.11 c #Conflicts: 885000 | #Constraints: 20521
305.26/306.11 c #Conflicts: 886000 | #Constraints: 21522
305.26/306.11 c #Conflicts: 887000 | #Constraints: 22523
305.26/306.11 c #Conflicts: 888000 | #Constraints: 23529
305.26/306.11 c #Conflicts: 889000 | #Constraints: 24532
305.26/306.11 c #Conflicts: 890000 | #Constraints: 25537
305.26/306.11 c #Conflicts: 891000 | #Constraints: 26543
305.26/306.11 c #Conflicts: 892000 | #Constraints: 27548
305.26/306.11 c #Conflicts: 893000 | #Constraints: 28548
305.26/306.11 c #Conflicts: 894000 | #Constraints: 29549
305.26/306.11 c #Conflicts: 895000 | #Constraints: 30550
305.26/306.11 c #Conflicts: 896000 | #Constraints: 31551
305.26/306.11 c #Conflicts: 897000 | #Constraints: 32551
305.26/306.11 c #Conflicts: 898000 | #Constraints: 33552
305.26/306.11 c #Conflicts: 899000 | #Constraints: 34554
305.26/306.11 c #Conflicts: 900000 | #Constraints: 35555
305.26/306.11 c #Conflicts: 901000 | #Constraints: 36557
305.26/306.11 c #Conflicts: 902000 | #Constraints: 37557
305.26/306.11 c #Conflicts: 903000 | #Constraints: 38560
305.26/306.11 c INPROCESSING
305.26/306.11 c GARBAGE COLLECT
305.26/306.11 c cpu time 301.662 s
305.26/306.11 c deterministic time 29117224565 2.91e+10
305.26/306.11 c optimization time 8.1e-05 s
305.26/306.11 c total solve time 301.658 s
305.26/306.11 c core-guided solve time 0 s
305.26/306.11 c propagation time 226.915 s
305.26/306.11 c conflict analysis time 59.9767 s
305.26/306.11 c propagations 50998123
305.26/306.11 c resolve steps 15385941
305.26/306.11 c decisions 1274777
305.26/306.11 c conflicts 903002
305.26/306.11 c restarts 1966
305.26/306.11 c inprocessing phases 86
305.26/306.11 c garbage collections 86 ,( 100.00 )
305.26/306.11 c input clauses 645 ,( 68.47 )
305.26/306.11 c input cardinalities 2 ,( 0.21 )
305.26/306.11 c input general constraints 295 ,( 31.32 )
305.26/306.11 c input average constraint length 5.45
305.26/306.11 c input average constraint degree 2.82
305.26/306.11 c learned clauses 756084 ,( 83.62 )
305.26/306.11 c learned cardinalities 461 ,( 0.05 )
305.26/306.11 c learned general constraints 147608 ,( 16.33 )
305.26/306.11 c learned average constraint length 149.58
305.26/306.11 c learned average constraint degree 9622871.02
305.26/306.11 c watched CF 32, 64, 128, Arb: 135034 , 0 , 0 , 0
305.26/306.11 c counting CF 32, 64, 128, Arb: 12869 , 0 , 0 , 0
305.26/306.11 c watched constraints 135034 ,( 91.30 )
305.26/306.11 c counting constraints 12869 ,( 8.70 )
305.26/306.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 608858251 , 81537929 , 1050629422 ,( 870741930 , 179887492 )
305.26/306.11 c gcd simplifications 113545
305.26/306.11 c detected cardinalities 176
305.26/306.11 c weakened non-implied lits 16774170
305.26/306.11 c weakened non-implying lits 235620
305.26/306.11 c original variables 428
305.26/306.11 c clausal propagations 17281657
305.26/306.11 c cardinality propagations 551675
305.26/306.11 c watched propagations 9490528
305.26/306.11 c counting propagations 21956465
305.26/306.11 c watch lookups 6111033604
305.26/306.11 c watch backjump lookups 0
305.26/306.11 c watch checks 21482911626
305.26/306.11 c propagation checks 1065006789
305.26/306.11 c constraint additions 352642824
305.26/306.11 c trail pops 53175856
305.26/306.11 c formula constraints 942
305.26/306.11 c learned constraints 902987
305.26/306.11 c bound constraints 0
305.26/306.11 c core-guided constraints 0
305.26/306.11 c encountered formula constraints 12601904
305.26/306.11 c encountered learned constraints 3687000
305.26/306.11 c encountered bound constraints 0
305.26/306.11 c encountered core-guided constraints 0
305.26/306.11 c LP total time 11.8224 s
305.26/306.11 c LP solve time 10.4 s
305.26/306.11 c LP constraints added 955
305.26/306.11 c LP constraints removed 8
305.26/306.11 c LP pivots internal 90403
305.26/306.11 c LP pivots root 90562
305.26/306.11 c LP calls 1234
305.26/306.11 c LP optimalities 74
305.26/306.11 c LP no pivot count 1
305.26/306.11 c LP infeasibilities 1146
305.26/306.11 c LP valid Farkas constraints 1144
305.26/306.11 c LP learned Farkas constraints 15
305.26/306.11 c LP basis resets 12
305.26/306.11 c LP cycling count 0
305.26/306.11 c LP singular count 8
305.26/306.11 c LP no primal count 0
305.26/306.11 c LP no farkas count 2
305.26/306.11 c LP other issue count 2
305.26/306.11 c LP Gomory cuts 7
305.26/306.11 c LP learned cuts 6
305.26/306.11 c LP deleted cuts 8
305.26/306.11 c LP encountered Gomory constraints 0
305.26/306.11 c LP encountered Farkas constraints 9
305.26/306.11 c LP encountered learned Farkas constraints 15
305.26/306.11 c CG auxiliary variables introduced 0
305.26/306.11 c CG solutions found 0
305.26/306.11 c CG cores constructed 0
305.26/306.11 c CG core cardinality constraints returned 0
305.26/306.11 c CG unit cores 0
305.26/306.11 c CG single cores 0
305.26/306.11 c CG blocks removed during cardinality reduction 0
305.26/306.11 c CG first core best 0
305.26/306.11 c CG decision core best 0
305.26/306.11 c CG core reduction tie 0
305.26/306.11 c CG core degree average 0.00
305.26/306.11 c CG core slack average 0.00
305.26/306.11 c CG core upper bound improvements 0
305.26/306.11 c STR number of successful calls 0
305.26/306.11 c STR number of unsuccessful calls 0
305.26/306.11 c STR number of inconclusive calls 0
305.26/306.11 c STR number of successful attempts 0
305.26/306.11 c STR number of unsuccessful attempts 0
305.26/306.11 c STR number of inconclusive attempts 0
305.26/306.11 c STR average degree increase per successful call inf
305.26/306.11 c STR average degree increase per successful attempt inf
305.26/306.11 c STR total number of conflicts for successful attempts 0
305.26/306.11 c STR total number of conflicts for unsuccessful attempts 0
305.26/306.11 c STR total number of conflicts for inconclusive attempts 0
305.26/306.11 c STR average number of conflicts per successful attempt inf
305.26/306.11 c STR average number of conflicts per unsuccessful attempt inf
305.26/306.11 c STR average number of conflicts per inconclusive attempt inf
305.26/306.11 c AVG.sumWPerc 17.31
305.26/306.11 c bigint constraints 0
305.26/306.11 s SATISFIABLE
305.26/306.11 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: 63665 MiB (63076 MiB free)
memory of node 1: 64507 MiB (63770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493808-1751155976/watcher-4493808-1751155976 -o /tmp/evaluation-result-4493808-1751155976/solver-4493808-1751155976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4493808-1751155976.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18384, runsolver pid=18381
[startup+0.100059 s]*
/proc/loadavg: 3.45 3.14 3.62 5/270 18395
/proc/meminfo: memFree=129889516/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=57744 memory=12376 CPUtime=0.07 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 1062 0 0 0 7 0 0 0 20 0 1 0 31275480 59129856 3094 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 14436 3094 2368 1147 0 1863 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61936 KiB
Current children cumulated memory: 15448 KiB
[startup+0.20547 s]*
/proc/loadavg: 3.45 3.14 3.62 4/269 18401
/proc/meminfo: memFree=129888760/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=58140 memory=15172 CPUtime=0.18 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 1196 0 0 0 17 1 0 0 20 0 1 0 31275480 59535360 3793 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 14535 3793 2400 1147 0 1962 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62332 KiB
Current children cumulated memory: 18244 KiB
[startup+0.305083 s]*
/proc/loadavg: 3.45 3.14 3.62 4/268 18404
/proc/meminfo: memFree=129888760/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=58668 memory=15556 CPUtime=0.28 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 1316 0 0 0 27 1 0 0 20 0 1 0 31275480 60076032 3889 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 14667 3889 2400 1147 0 2094 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62860 KiB
Current children cumulated memory: 18628 KiB
[startup+0.700152 s]
/proc/loadavg: 3.45 3.14 3.62 4/269 18426
/proc/meminfo: memFree=129884664/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=59664 memory=18688 CPUtime=0.67 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 1575 0 0 0 65 2 0 0 20 0 1 0 31275480 61095936 4672 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 14916 4672 2400 1147 0 2343 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 63856 KiB
Current children cumulated memory: 21760 KiB
[startup+1.50014 s]
/proc/loadavg: 3.45 3.14 3.62 5/272 18434
/proc/meminfo: memFree=129879876/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=60772 memory=19584 CPUtime=1.47 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 1807 0 0 0 143 4 0 0 20 0 1 0 31275480 62230528 4896 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 15193 4896 2400 1147 0 2620 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 64964 KiB
Current children cumulated memory: 22656 KiB
[startup+3.10547 s]
/proc/loadavg: 3.50 3.15 3.62 5/272 18434
/proc/meminfo: memFree=129876144/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=61628 memory=20352 CPUtime=3.07 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 2013 0 0 0 300 7 0 0 20 0 1 0 31275480 63107072 5088 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 15407 5088 2400 1147 0 2834 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65820 KiB
Current children cumulated memory: 23424 KiB
[startup+6.30015 s]
/proc/loadavg: 3.50 3.15 3.62 5/272 18434
/proc/meminfo: memFree=129872828/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=66032 memory=22656 CPUtime=6.26 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 2563 0 0 0 613 13 0 0 20 0 1 0 31275480 67616768 5664 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 16508 5664 2400 1147 0 3935 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 25728 KiB
[startup+12.7002 s]
/proc/loadavg: 3.54 3.17 3.63 5/272 18434
/proc/meminfo: memFree=129860300/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=66952 memory=24704 CPUtime=12.64 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 3096 0 0 0 1243 21 0 0 20 0 1 0 31275480 68558848 6176 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 16738 6176 2400 1147 0 4165 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 71144 KiB
Current children cumulated memory: 27776 KiB
[startup+25.5002 s]
/proc/loadavg: 3.64 3.21 3.63 5/272 18434
/proc/meminfo: memFree=129802916/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=76136 memory=30848 CPUtime=25.42 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 4630 0 0 0 2503 39 0 0 20 0 1 0 31275480 77963264 7712 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 19034 7712 2400 1147 0 6461 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80328 KiB
Current children cumulated memory: 33920 KiB
[startup+51.1055 s]
/proc/loadavg: 3.83 3.29 3.65 5/273 18435
/proc/meminfo: memFree=129716208/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=77924 memory=36020 CPUtime=50.96 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 5340 0 0 0 5022 74 0 0 20 0 1 0 31275480 79794176 9005 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 19481 9005 2496 1147 0 6908 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 82116 KiB
Current children cumulated memory: 39092 KiB
[startup+102.3 s]
/proc/loadavg: 3.99 3.42 3.67 5/274 18536
/proc/meminfo: memFree=128212228/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=90284 memory=44776 CPUtime=102.02 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 8364 0 0 0 10064 138 0 0 20 0 1 0 31275480 92450816 11194 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 22571 11194 2496 1147 0 9998 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 94476 KiB
Current children cumulated memory: 47848 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.54 3.70 5/274 18772
/proc/meminfo: memFree=128260916/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=94444 memory=48408 CPUtime=161.88 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 9971 0 0 0 15993 195 0 0 20 0 1 0 31275480 96710656 12102 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 23611 12102 2496 1147 0 11038 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 98636 KiB
Current children cumulated memory: 51480 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.64 3.73 5/275 18919
/proc/meminfo: memFree=128522828/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=96788 memory=52492 CPUtime=221.71 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 11993 0 0 0 21907 264 0 0 20 0 1 0 31275480 99110912 13123 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 24197 13123 2496 1147 0 11624 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 100980 KiB
Current children cumulated memory: 55564 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.73 3.75 5/270 19116
/proc/meminfo: memFree=128675332/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=98196 memory=55728 CPUtime=281.53 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13334 0 0 0 27819 334 0 0 20 0 1 0 31275480 100552704 13932 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 24549 13932 2496 1147 0 11976 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 102388 KiB
Current children cumulated memory: 58800 KiB
[startup+306.114 s]
# the end of solver process 18384 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=301.667 s, system=3.62325 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.06 3.74 3.76 5/275 19155
/proc/meminfo: memFree=128819656/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=98196 memory=56240 CPUtime=293.6 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13441 0 0 0 29013 347 0 0 20 0 1 0 31275480 100552704 14060 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 24549 14060 2496 1147 0 11976 0
Current children cumulated CPU time: 293.6 s
Current children cumulated vsize: 102388 KiB
Current children cumulated memory: 59312 KiB
[startup+300.8 s]
/proc/loadavg: 4.14 3.76 3.77 5/275 19155
/proc/meminfo: memFree=127856828/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=109872 memory=56368 CPUtime=299.98 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13479 0 0 0 29643 355 0 0 20 0 1 0 31275480 112508928 14092 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 27468 14092 2496 1147 0 14895 0
Current children cumulated CPU time: 299.98 s
Current children cumulated vsize: 114064 KiB
Current children cumulated memory: 59440 KiB
[startup+304 s]*
/proc/loadavg: 4.13 3.77 3.77 5/275 19156
/proc/meminfo: memFree=127853424/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=109872 memory=56368 CPUtime=303.17 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13480 0 0 0 29958 359 0 0 20 0 1 0 31275480 112508928 14092 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 27468 14092 2496 1147 0 14895 0
Current children cumulated CPU time: 303.17 s
Current children cumulated vsize: 114064 KiB
Current children cumulated memory: 59440 KiB
[startup+304.8 s]
/proc/loadavg: 4.13 3.77 3.77 5/275 19156
/proc/meminfo: memFree=127853424/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=109872 memory=56368 CPUtime=303.97 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13486 0 0 0 30037 360 0 0 20 0 1 0 31275480 112508928 14092 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 27468 14092 2496 1147 0 14895 0
Current children cumulated CPU time: 303.97 s
Current children cumulated vsize: 114064 KiB
Current children cumulated memory: 59440 KiB
[startup+305.6 s]
/proc/loadavg: 4.13 3.77 3.77 4/270 19161
/proc/meminfo: memFree=129017208/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=109872 memory=56368 CPUtime=304.77 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13497 0 0 0 30116 361 0 0 20 0 1 0 31275480 112508928 14092 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 27468 14092 2496 1147 0 14895 0
Current children cumulated CPU time: 304.77 s
Current children cumulated vsize: 114064 KiB
Current children cumulated memory: 59440 KiB
[startup+306 s]*
/proc/loadavg: 4.13 3.77 3.77 5/273 19170
/proc/meminfo: memFree=129024516/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=109872 memory=56880 CPUtime=305.17 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13623 0 0 0 30156 361 0 0 20 0 1 0 31275480 112508928 14220 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 27468 14220 2496 1147 0 14895 0
Current children cumulated CPU time: 305.17 s
Current children cumulated vsize: 114064 KiB
Current children cumulated memory: 59952 KiB
[startup+306.106 s]
/proc/loadavg: 4.13 3.77 3.77 5/273 19170
/proc/meminfo: memFree=129024516/131249996 swapFree=33010684/33010684
[pid=18384] ppid=18381 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18384/stat : 18384 (run-dec-break.s) S 18381 18384 17835 0 -1 4194304 236 448 0 0 0 0 0 0 20 0 1 0 31275479 4292608 768 18446744073709551615 94282625056768 94282625951301 140721728050192 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94282626190352 94282626238096 94282633703424 140721728055649 140721728055778 140721728055778 140721728061380 0
/proc/18384/statm: 1048 768 704 219 0 110 0
[pid=18387] ppid=18384 vsize=110184 memory=57264 CPUtime=305.26 cores=5,7
/proc/18387/stat : 18387 (roundingsat) R 18384 18384 17835 0 -1 4194304 13724 0 0 0 30165 361 0 0 20 0 1 0 31275480 112828416 14316 18446744073709551615 4227072 8923433 140733907739040 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 36683776 140733907740996 140733907741224 140733907741224 140733907746794 0
/proc/18387/statm: 27546 14316 2496 1147 0 14973 0
Current children cumulated CPU time: 305.26 s
Current children cumulated vsize: 114376 KiB
Current children cumulated memory: 60336 KiB
Child status: 0
Real time (s): 306.114
CPU time (s): 305.29
CPU user time (s): 301.667
CPU system time (s): 3.62325
CPU usage (%): 99.7311
Max. virtual memory (cumulated for all children) (KiB): 114376
Max. memory (cumulated for all children) (KiB): 60336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.667
system time used= 3.62325
maximum resident set size= 57264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 356
# summary of solver processes directly reported to runsolver:
# pid: 18384
# total CPU time (s): 305.29
# total CPU user time (s): 301.667
# total CPU system time (s): 3.62325
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.618703 second user time and 1.40763 second system time
The end
Begin job on nodeC024 at 2025-06-29 02:12:56
IDJOB=4493808
IDBENCH=147873
IDSOLVER=3357
FILE ID=nodeC024/4493808-1751155976
RUNJOBID= nodeC024-1751155906-17848
SLURM_JOB_ID= 9587473
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493808-1751155976/watcher-4493808-1751155976 -o /tmp/evaluation-result-4493808-1751155976/solver-4493808-1751155976 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751155906-17848 --watchdog 3760 run-dec-break.sh HOME/instance-4493808-1751155976.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae
RANDOM SEED=1428945867
nodeC024 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.671
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.36
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.673
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.36
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 : 3503.116
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.736
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.115
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.36
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 : 3598.148
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.36
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 : 3600.069
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.36
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 : 3599.676
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129890124 kB
MemAvailable: 129517840 kB
Buffers: 3280 kB
Cached: 419768 kB
SwapCached: 0 kB
Active: 589904 kB
Inactive: 199764 kB
Active(anon): 384684 kB
Inactive(anon): 0 kB
Active(file): 205220 kB
Inactive(file): 199764 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14352 kB
Writeback: 8 kB
AnonPages: 369652 kB
Mapped: 112524 kB
Shmem: 18064 kB
KReclaimable: 85404 kB
Slab: 168636 kB
SReclaimable: 85404 kB
SUnreclaim: 83232 kB
KernelStack: 4368 kB
PageTables: 3868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 731460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 40960 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: 195284 kB
DirectMap2M: 6916096 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC024 at 2025-06-29 02:18:02