0.00/0.03 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03 c │ pbsuma -- a PB interface for satsuma │
0.00/0.03 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.03 c │ (c) 2025 Markus Anders │
0.00/0.03 c └────────────────────────────────────────────────────────────────┘
0.00/0.03 c parse 'HOME/instance-4541532-1753198973.opb'
0.00/0.03 c read 0.24MB (3.75ms)
0.00/0.03 c [cnf: #variables 5610 #clauses 7531 #duplicates 0 #arr 22170]
0.00/0.03 c output proof to '/tmp/proof-4541532-1753198973'
0.00/0.03 c
0.00/0.03 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 0] (6.22ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c (1.30ms)
0.00/0.04 c
0.00/0.04 c detect symmetries on remainder
0.00/0.04 c [graph: #vertices 29852 #edges 77762]
0.00/0.04 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04 c [group: #symmetries 1.00*10^0 #generators 0] (1.64ms)
0.00/0.04 c
0.00/0.04 c finalize break order and special generators
0.00/0.04 c
0.00/0.04 c generation finished
0.00/0.04 c [sbp: #constraints 0 #add_vars 0]
0.00/0.04 c
0.00/0.04 c write result to 'HOME/instance-4541532-1753198973.opb.pre'
0.00/0.05 c wrote 0.25MB (0.63ms)
0.00/0.05 c ------------------------------------------------------------------
0.00/0.05 c 6.22ms 43.29% approx_orbits
0.00/0.05 c 3.75ms 26.12% parse
0.00/0.05 c 1.64ms 11.40% detect_generic
0.00/0.05 c 1.30ms 9.06% detect_special
0.00/0.05 c 0.65ms 4.55% other
0.00/0.05 c 0.63ms 4.39% output
0.00/0.05 c 0.17ms 1.19% finalize_order
0.00/0.05 c ───────────────────────────────────────────────
0.00/0.05 c 14.37ms 100% total
0.00/0.05 c ------------------------------------------------------------------
0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 63f22ad
0.02/0.14 c #variables 5610 #constraints 8085
0.02/0.14 c rational objective 30
46.17/46.45 c #Conflicts: 1000 | #Constraints: 9085
46.17/46.45 c #Conflicts: 2000 | #Constraints: 10086
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 3000 | #Constraints: 9503
46.17/46.45 c #Conflicts: 4000 | #Constraints: 10503
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 5000 | #Constraints: 9944
46.17/46.45 c #Conflicts: 6000 | #Constraints: 10944
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 7000 | #Constraints: 9982
46.17/46.45 c #Conflicts: 8000 | #Constraints: 10982
46.17/46.45 c #Conflicts: 9000 | #Constraints: 11982
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 10000 | #Constraints: 10727
46.17/46.45 c #Conflicts: 11000 | #Constraints: 11727
46.17/46.45 c #Conflicts: 12000 | #Constraints: 12727
46.17/46.45 c #Conflicts: 13000 | #Constraints: 13727
46.17/46.45 c #Conflicts: 14000 | #Constraints: 14727
46.17/46.45 c #Conflicts: 15000 | #Constraints: 15727
46.17/46.45 c #Conflicts: 16000 | #Constraints: 16727
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 17000 | #Constraints: 12987
46.17/46.45 c #Conflicts: 18000 | #Constraints: 13987
46.17/46.45 c #Conflicts: 19000 | #Constraints: 14987
46.17/46.45 c #Conflicts: 20000 | #Constraints: 15987
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 21000 | #Constraints: 12735
46.17/46.45 c #Conflicts: 22000 | #Constraints: 13735
46.17/46.45 c #Conflicts: 23000 | #Constraints: 14735
46.17/46.45 c #Conflicts: 24000 | #Constraints: 15735
46.17/46.45 c #Conflicts: 25000 | #Constraints: 16735
46.17/46.45 c #Conflicts: 26000 | #Constraints: 17735
46.17/46.45 c #Conflicts: 27000 | #Constraints: 18735
46.17/46.45 c #Conflicts: 28000 | #Constraints: 19735
46.17/46.45 c #Conflicts: 29000 | #Constraints: 20735
46.17/46.45 c #Conflicts: 30000 | #Constraints: 21735
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 31000 | #Constraints: 15467
46.17/46.45 c #Conflicts: 32000 | #Constraints: 16467
46.17/46.45 c #Conflicts: 33000 | #Constraints: 17467
46.17/46.45 c #Conflicts: 34000 | #Constraints: 18467
46.17/46.45 c #Conflicts: 35000 | #Constraints: 19467
46.17/46.45 c #Conflicts: 36000 | #Constraints: 20467
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 37000 | #Constraints: 15217
46.17/46.45 c #Conflicts: 38000 | #Constraints: 16217
46.17/46.45 c #Conflicts: 39000 | #Constraints: 17217
46.17/46.45 c #Conflicts: 40000 | #Constraints: 18217
46.17/46.45 c #Conflicts: 41000 | #Constraints: 19217
46.17/46.45 c #Conflicts: 42000 | #Constraints: 20217
46.17/46.45 c #Conflicts: 43000 | #Constraints: 21217
46.17/46.45 c #Conflicts: 44000 | #Constraints: 22217
46.17/46.45 c #Conflicts: 45000 | #Constraints: 23217
46.17/46.45 c #Conflicts: 46000 | #Constraints: 24217
46.17/46.45 c #Conflicts: 47000 | #Constraints: 25217
46.17/46.45 c #Conflicts: 48000 | #Constraints: 26217
46.17/46.45 c #Conflicts: 49000 | #Constraints: 27217
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c #Conflicts: 50000 | #Constraints: 18355
46.17/46.45 c #Conflicts: 51000 | #Constraints: 19355
46.17/46.45 c #Conflicts: 52000 | #Constraints: 20355
46.17/46.45 c #Conflicts: 53000 | #Constraints: 21355
46.17/46.45 c #Conflicts: 54000 | #Constraints: 22355
46.17/46.45 c #Conflicts: 55000 | #Constraints: 23355
46.17/46.45 c #Conflicts: 56000 | #Constraints: 24355
46.17/46.45 c INPROCESSING
46.17/46.45 c GARBAGE COLLECT
46.17/46.45 c rational objective 30
170.15/170.75 c #Conflicts: 57000 | #Constraints: 17175
170.15/170.75 c #Conflicts: 58000 | #Constraints: 18175
170.15/170.75 c #Conflicts: 59000 | #Constraints: 19175
170.15/170.75 c #Conflicts: 60000 | #Constraints: 20175
170.15/170.75 c #Conflicts: 61000 | #Constraints: 21175
170.15/170.75 c #Conflicts: 62000 | #Constraints: 22175
170.15/170.75 c #Conflicts: 63000 | #Constraints: 23175
170.15/170.75 c #Conflicts: 64000 | #Constraints: 24175
170.15/170.75 c #Conflicts: 65000 | #Constraints: 25175
170.15/170.75 c #Conflicts: 66000 | #Constraints: 26175
170.15/170.75 c #Conflicts: 67000 | #Constraints: 27175
170.15/170.75 c #Conflicts: 68000 | #Constraints: 28175
170.15/170.75 c #Conflicts: 69000 | #Constraints: 29175
170.15/170.75 c #Conflicts: 70000 | #Constraints: 30175
170.15/170.75 c #Conflicts: 71000 | #Constraints: 31175
170.15/170.75 c #Conflicts: 72000 | #Constraints: 32175
170.15/170.75 c INPROCESSING
170.15/170.75 c GARBAGE COLLECT
170.15/170.75 c #Conflicts: 73000 | #Constraints: 20902
170.15/170.75 c #Conflicts: 74000 | #Constraints: 21902
170.15/170.75 c #Conflicts: 75000 | #Constraints: 22902
170.15/170.75 c #Conflicts: 76000 | #Constraints: 23902
170.15/170.75 c #Conflicts: 77000 | #Constraints: 24902
170.15/170.75 c #Conflicts: 78000 | #Constraints: 25902
170.15/170.75 c #Conflicts: 79000 | #Constraints: 26902
170.15/170.75 c #Conflicts: 80000 | #Constraints: 27902
170.15/170.75 c INPROCESSING
170.15/170.75 c GARBAGE COLLECT
170.15/170.75 c #Conflicts: 81000 | #Constraints: 18813
170.15/170.75 c #Conflicts: 82000 | #Constraints: 19813
170.15/170.75 c #Conflicts: 83000 | #Constraints: 20813
170.15/170.75 c #Conflicts: 84000 | #Constraints: 21813
170.15/170.75 c #Conflicts: 85000 | #Constraints: 22813
170.15/170.75 c #Conflicts: 86000 | #Constraints: 23813
170.15/170.75 c #Conflicts: 87000 | #Constraints: 24813
170.15/170.75 c #Conflicts: 88000 | #Constraints: 25813
170.15/170.75 c #Conflicts: 89000 | #Constraints: 26813
170.15/170.75 c #Conflicts: 90000 | #Constraints: 27813
170.15/170.75 c #Conflicts: 91000 | #Constraints: 28813
170.15/170.75 c #Conflicts: 92000 | #Constraints: 29813
170.15/170.75 c #Conflicts: 93000 | #Constraints: 30813
170.15/170.75 c #Conflicts: 94000 | #Constraints: 31813
170.15/170.75 c #Conflicts: 95000 | #Constraints: 32813
170.15/170.75 c #Conflicts: 96000 | #Constraints: 33813
170.15/170.75 c #Conflicts: 97000 | #Constraints: 34813
170.15/170.75 c #Conflicts: 98000 | #Constraints: 35813
170.15/170.75 c #Conflicts: 99000 | #Constraints: 36813
170.15/170.75 c #Conflicts: 100000 | #Constraints: 37813
170.15/170.75 c INPROCESSING
170.15/170.75 c GARBAGE COLLECT
170.15/170.75 c #Conflicts: 101000 | #Constraints: 23970
170.15/170.75 c #Conflicts: 102000 | #Constraints: 24970
170.15/170.75 c #Conflicts: 103000 | #Constraints: 25970
170.15/170.75 c #Conflicts: 104000 | #Constraints: 26970
170.15/170.75 c #Conflicts: 105000 | #Constraints: 27970
170.15/170.75 c #Conflicts: 106000 | #Constraints: 28970
170.15/170.75 c #Conflicts: 107000 | #Constraints: 29970
170.15/170.75 c #Conflicts: 108000 | #Constraints: 30970
170.15/170.75 c #Conflicts: 109000 | #Constraints: 31970
170.15/170.75 c INPROCESSING
170.15/170.75 c GARBAGE COLLECT
170.15/170.75 c #Conflicts: 110000 | #Constraints: 20979
170.15/170.75 c #Conflicts: 111000 | #Constraints: 21979
170.15/170.75 c #Conflicts: 112000 | #Constraints: 22979
170.15/170.75 c #Conflicts: 113000 | #Constraints: 23979
170.15/170.75 c #Conflicts: 114000 | #Constraints: 24979
170.15/170.75 c #Conflicts: 115000 | #Constraints: 25979
170.15/170.75 c #Conflicts: 116000 | #Constraints: 26979
170.15/170.75 c #Conflicts: 117000 | #Constraints: 27979
170.15/170.75 c #Conflicts: 118000 | #Constraints: 28979
170.15/170.75 c #Conflicts: 119000 | #Constraints: 29979
170.15/170.75 c #Conflicts: 120000 | #Constraints: 30979
170.15/170.75 c #Conflicts: 121000 | #Constraints: 31979
170.15/170.75 c #Conflicts: 122000 | #Constraints: 32979
170.15/170.75 c #Conflicts: 123000 | #Constraints: 33979
170.15/170.75 c #Conflicts: 124000 | #Constraints: 34979
170.15/170.75 c #Conflicts: 125000 | #Constraints: 35979
170.15/170.75 c #Conflicts: 126000 | #Constraints: 36979
170.15/170.75 c #Conflicts: 127000 | #Constraints: 37979
170.15/170.75 c #Conflicts: 128000 | #Constraints: 38979
170.15/170.75 c #Conflicts: 129000 | #Constraints: 39979
170.15/170.75 c #Conflicts: 130000 | #Constraints: 40979
170.15/170.75 c #Conflicts: 131000 | #Constraints: 41979
170.15/170.75 c #Conflicts: 132000 | #Constraints: 42979
170.15/170.75 c INPROCESSING
171.14/171.71 c GARBAGE COLLECT
171.14/171.71 c rational objective 30
309.99/310.96 c #Conflicts: 133000 | #Constraints: 26622
309.99/310.96 c #Conflicts: 134000 | #Constraints: 27622
309.99/310.96 c #Conflicts: 135000 | #Constraints: 28622
309.99/310.96 c #Conflicts: 136000 | #Constraints: 29622
309.99/310.96 c #Conflicts: 137000 | #Constraints: 30622
309.99/310.96 c #Conflicts: 138000 | #Constraints: 31622
309.99/310.96 c #Conflicts: 139000 | #Constraints: 32622
309.99/310.96 c #Conflicts: 140000 | #Constraints: 33622
309.99/310.96 c #Conflicts: 141000 | #Constraints: 34622
309.99/310.96 c #Conflicts: 142000 | #Constraints: 35622
309.99/310.96 c INPROCESSING
309.99/310.96 c GARBAGE COLLECT
309.99/310.96 c #Conflicts: 143000 | #Constraints: 22756
309.99/310.96 c #Conflicts: 144000 | #Constraints: 23756
309.99/310.96 c #Conflicts: 145000 | #Constraints: 24756
309.99/310.96 c #Conflicts: 146000 | #Constraints: 25756
309.99/310.96 c #Conflicts: 147000 | #Constraints: 26756
309.99/310.96 c #Conflicts: 148000 | #Constraints: 27756
309.99/310.96 c #Conflicts: 149000 | #Constraints: 28756
309.99/310.96 c #Conflicts: 150000 | #Constraints: 29756
309.99/310.96 c #Conflicts: 151000 | #Constraints: 30756
309.99/310.96 c #Conflicts: 152000 | #Constraints: 31756
309.99/310.96 c #Conflicts: 153000 | #Constraints: 32756
309.99/310.96 c #Conflicts: 154000 | #Constraints: 33756
309.99/310.96 c #Conflicts: 155000 | #Constraints: 34756
309.99/310.96 c #Conflicts: 156000 | #Constraints: 35756
309.99/310.96 c #Conflicts: 157000 | #Constraints: 36756
309.99/310.96 c #Conflicts: 158000 | #Constraints: 37756
309.99/310.96 c #Conflicts: 159000 | #Constraints: 38756
309.99/310.96 c #Conflicts: 160000 | #Constraints: 39756
309.99/310.96 c #Conflicts: 161000 | #Constraints: 40756
309.99/310.96 c #Conflicts: 162000 | #Constraints: 41756
309.99/310.96 c #Conflicts: 163000 | #Constraints: 42756
309.99/310.96 c #Conflicts: 164000 | #Constraints: 43756
309.99/310.96 c #Conflicts: 165000 | #Constraints: 44756
309.99/310.96 c #Conflicts: 166000 | #Constraints: 45756
309.99/310.96 c #Conflicts: 167000 | #Constraints: 46756
309.99/310.96 c #Conflicts: 168000 | #Constraints: 47756
309.99/310.96 c INPROCESSING
309.99/310.96 c GARBAGE COLLECT
309.99/310.96 c #Conflicts: 169000 | #Constraints: 28906
309.99/310.96 c #Conflicts: 170000 | #Constraints: 29906
309.99/310.96 c #Conflicts: 171000 | #Constraints: 30906
309.99/310.96 c #Conflicts: 172000 | #Constraints: 31906
309.99/310.96 c #Conflicts: 173000 | #Constraints: 32906
309.99/310.96 c #Conflicts: 174000 | #Constraints: 33906
309.99/310.96 c #Conflicts: 175000 | #Constraints: 34906
309.99/310.96 c #Conflicts: 176000 | #Constraints: 35906
309.99/310.96 c #Conflicts: 177000 | #Constraints: 36906
309.99/310.96 c #Conflicts: 178000 | #Constraints: 37906
309.99/310.96 c #Conflicts: 179000 | #Constraints: 38906
309.99/310.96 c #Conflicts: 180000 | #Constraints: 39906
309.99/310.96 c INPROCESSING
309.99/310.96 c GARBAGE COLLECT
309.99/310.96 c #Conflicts: 181000 | #Constraints: 25217
309.99/310.96 c #Conflicts: 182000 | #Constraints: 26217
309.99/310.96 c #Conflicts: 183000 | #Constraints: 27217
309.99/310.96 c #Conflicts: 184000 | #Constraints: 28217
309.99/310.96 c #Conflicts: 185000 | #Constraints: 29217
309.99/310.96 c #Conflicts: 186000 | #Constraints: 30217
309.99/310.96 c #Conflicts: 187000 | #Constraints: 31217
309.99/310.96 c #Conflicts: 188000 | #Constraints: 32217
309.99/310.96 c #Conflicts: 189000 | #Constraints: 33217
309.99/310.96 c #Conflicts: 190000 | #Constraints: 34217
309.99/310.96 c #Conflicts: 191000 | #Constraints: 35217
309.99/310.96 c #Conflicts: 192000 | #Constraints: 36217
309.99/310.96 c #Conflicts: 193000 | #Constraints: 37217
309.99/310.96 c #Conflicts: 194000 | #Constraints: 38217
309.99/310.96 c #Conflicts: 195000 | #Constraints: 39217
309.99/310.96 c #Conflicts: 196000 | #Constraints: 40217
309.99/310.96 c #Conflicts: 197000 | #Constraints: 41217
309.99/310.96 c #Conflicts: 198000 | #Constraints: 42217
309.99/310.96 c #Conflicts: 199000 | #Constraints: 43217
309.99/310.96 c #Conflicts: 200000 | #Constraints: 44217
309.99/310.96 c #Conflicts: 201000 | #Constraints: 45217
309.99/310.96 c #Conflicts: 202000 | #Constraints: 46217
309.99/310.96 c #Conflicts: 203000 | #Constraints: 47217
309.99/310.96 WSVECS04 Frhs2[142]: 6 -29.6667 0 shouldn't be
309.99/310.96 WSVECS04 Frhs2[1920]: 6 0 4.28527e+12 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2602]: 6 -1.875 0 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2929]: 6 0 12.0897 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2930]: 6 0 27.1795 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2931]: 6 0 59.3589 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2989]: 6 0 57.3589 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2990]: 6 0 120.718 shouldn't be
309.99/310.96 WSVECS04 Frhs2[2991]: 6 0 246.436 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3049]: 6 0 244.436 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3050]: 6 0 494.871 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3051]: 6 0 994.743 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3109]: 6 0 992.743 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3110]: 6 0 1991.49 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3111]: 6 0 3987.97 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3160]: 6 0 4.79435 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3169]: 6 0 3985.97 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3170]: 6 0 7977.94 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3171]: 6 0 15960.9 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3220]: 6 0 28.1774 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3229]: 6 0 15958.9 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3230]: 6 0 31892.9 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3280]: 6 0 121.71 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3289]: 6 0 63850.5 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3290]: 6 0 127707 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3291]: 6 0 255419 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3340]: 6 0 495.839 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3349]: 6 0 255417 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3350]: 6 0 510840 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3351]: 6 0 1.02165e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3400]: 6 0 1992.35 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3409]: 6 0 1.02168e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3410]: 6 0 2.04337e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3411]: 6 0 4.08675e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3460]: 6 0 7978.42 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3469]: 6 0 4.08675e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3470]: 6 0 8.1735e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3471]: 6 0 1.6347e+07 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3529]: 6 0 1.6347e+07 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3530]: 6 0 3.2694e+07 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3531]: 6 0 6.5388e+07 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3580]: 6 0 127661 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3589]: 6 0 6.5388e+07 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3590]: 6 0 1.30776e+08 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3591]: 6 0 2.61552e+08 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3640]: 6 0 510635 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3649]: 6 0 2.61552e+08 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3913]: 6 0 2 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3914]: 6 0 1 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3972]: 6 0 1 shouldn't be
309.99/310.96 WSVECS04 Frhs2[3999]: 6 0 4.5 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4029]: 6 0 2 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4086]: 6 0 3 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4203]: 6 0 2 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4222]: 6 0 1 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4251]: 6 0 1 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4260]: 6 0 3 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4261]: 6 0 2 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4280]: 6 0 1 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4290]: 6 0 2 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4318]: 6 0 3 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4349]: 6 0 11 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4380]: 6 0 1.5 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4407]: 6 0 11 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4436]: 6 0 1 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4463]: 6 0 13 shouldn't be
309.99/310.96 WSVECS04 Frhs2[4571]: 6 0 8.17349e+06 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5162]: 6 0 2.79155 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5222]: 6 0 26.1662 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5282]: 6 0 119.665 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5342]: 6 0 492.659 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5402]: 6 0 1989.64 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5451]: 6 0 8 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5462]: 6 0 7973.54 shouldn't be
309.99/310.96 WSVECS04 Frhs2[5470]: 6 0 4.08673e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[14]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1161]: 6 0 1.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1219]: 6 0 1.875 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1247]: 6 0 3.75 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1363]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1421]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1479]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1508]: 6 0 3.96875 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1683]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1916]: 6 0 4.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1922]: 6 -0.5 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1931]: 6 -4.25049 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1935]: 6 -1 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1964]: 6 -6 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1968]: 6 -0.187501 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1997]: 6 -2.8125 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[1999]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2000]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2001]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2003]: 6 -254.437 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2027]: 6 -3.625 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2028]: 6 -2.75 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2029]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2030]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2057]: 6 -2.25 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2063]: 6 -1001.74 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2092]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2152]: 6 -2 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2183]: 6 -15966.4 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2212]: 6 -1.99999 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2332]: 6 -1.99976 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2363]: 6 -1.02169e+06 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2395]: 6 -2.1875 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2483]: 6 -1.6347e+07 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2513]: 6 -3.2694e+07 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2542]: 6 -1.96875 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2573]: 6 -1.30776e+08 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2640]: 6 0 3.34787e+10 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2670]: 6 -48.7308 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2723]: 6 -4.18484e+09 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2815]: 6 0 88.0086 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2869]: 6 0 1.52243 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2870]: 6 0 3.79115 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2871]: 6 0 11.5823 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2875]: 6 0 247.186 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2877]: 6 0 993.739 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2933]: 6 0 246.436 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2935]: 6 0 994.743 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2937]: 6 0 3987.97 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2993]: 6 0 995.243 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2995]: 6 0 3988.72 shouldn't be
311.69/312.68 WSVECS04 Frhs2[2997]: 6 0 15960.9 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3053]: 6 0 3987.97 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3055]: 6 0 15960.9 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3113]: 6 0 15960.9 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3115]: 6 0 63852.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3117]: 6 0 255419 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3173]: 6 0 63852.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3175]: 6 0 255419 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3177]: 6 0 1.02169e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3214]: 6 -2.51303 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3215]: 6 -1.02606 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3231]: 6 0 63852.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3233]: 6 0 255419 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3235]: 6 0 1.02169e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3237]: 6 0 4.08675e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3293]: 6 0 1.02169e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3295]: 6 0 4.08675e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3297]: 6 0 1.6347e+07 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3353]: 6 0 4.08673e+06 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3355]: 6 0 1.6347e+07 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3357]: 6 0 6.53881e+07 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3413]: 6 0 1.6347e+07 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3415]: 6 0 6.53881e+07 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3417]: 6 0 2.61552e+08 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3473]: 6 0 6.53881e+07 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3475]: 6 0 2.61552e+08 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3533]: 6 0 2.61552e+08 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3535]: 6 0 1.04621e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3537]: 6 0 4.18484e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3593]: 6 0 1.04621e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3597]: 6 0 1.67393e+10 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3650]: 6 0 5.23104e+08 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3655]: 6 0 1.67393e+10 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3657]: 6 0 6.69574e+10 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3768]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3769]: 6 0 3.01484 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3771]: 6 0 3.00792 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3775]: 6 0 3.00679 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3800]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3804]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3827]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3829]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3831]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3833]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3856]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3858]: 6 0 1.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3862]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3883]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3884]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3891]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3916]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3920]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3941]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3942]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3945]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3947]: 6 0 1.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3949]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3978]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[3990]: 6 0 0.897178 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4001]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4007]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4019]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4030]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4036]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4048]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4057]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4058]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4059]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4061]: 6 0 1.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4063]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4065]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4077]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4092]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4094]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4106]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4115]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4119]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4121]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4123]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4150]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4152]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4173]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4174]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4177]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4179]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4181]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4208]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4210]: 6 0 1.5 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4231]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4232]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4233]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4268]: 6 0 2.375 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4289]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4291]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4295]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4309]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4338]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4347]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4355]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4405]: 6 0 13 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4413]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4441]: 6 0 3.75 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4442]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4464]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4469]: 6 0 8.36967e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4471]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4492]: 6 0 3 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4497]: 6 0 8.36967e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4500]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4529]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4557]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4580]: 6 0 1 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4581]: 6 0 8.36967e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[4590]: 6 0 2 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5421]: 6 0 2.09242e+09 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5483]: 6 0 3.34787e+10 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5485]: 6 0 1.33915e+11 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5487]: 6 0 5.35659e+11 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5492]: 6 -1.00857 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5501]: 6 -1.00857 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5505]: 6 -1.12857 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5508]: 6 -1.97711 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5509]: 6 -2.95422 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5510]: 6 -4.89986 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5511]: 6 -8.79973 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5512]: 6 -16.5909 0 shouldn't be
311.69/312.68 WSVECS04 Frhs2[5607]: 6 0 5.35659e+11 shouldn't be
455.44/456.70 c #Conflicts: 204000 | #Constraints: 48217
455.44/456.70 c #Conflicts: 205000 | #Constraints: 49217
455.44/456.70 c #Conflicts: 206000 | #Constraints: 50217
455.44/456.70 c #Conflicts: 207000 | #Constraints: 51217
455.44/456.70 c #Conflicts: 208000 | #Constraints: 52217
455.44/456.70 c #Conflicts: 209000 | #Constraints: 53217
455.44/456.70 c INPROCESSING
455.44/456.70 c GARBAGE COLLECT
455.44/456.70 c #Conflicts: 210000 | #Constraints: 31802
455.44/456.70 c #Conflicts: 211000 | #Constraints: 32802
455.44/456.70 c #Conflicts: 212000 | #Constraints: 33802
455.44/456.70 c #Conflicts: 213000 | #Constraints: 34802
455.44/456.70 c #Conflicts: 214000 | #Constraints: 35802
455.44/456.70 c #Conflicts: 215000 | #Constraints: 36802
455.44/456.70 c #Conflicts: 216000 | #Constraints: 37802
455.44/456.70 c #Conflicts: 217000 | #Constraints: 38802
455.44/456.70 c #Conflicts: 218000 | #Constraints: 39802
455.44/456.70 c #Conflicts: 219000 | #Constraints: 40802
455.44/456.70 c #Conflicts: 220000 | #Constraints: 41802
455.44/456.70 c #Conflicts: 221000 | #Constraints: 42802
455.44/456.70 c #Conflicts: 222000 | #Constraints: 43802
455.44/456.70 c INPROCESSING
455.44/456.70 c GARBAGE COLLECT
455.44/456.70 c #Conflicts: 223000 | #Constraints: 27120
455.44/456.70 c #Conflicts: 224000 | #Constraints: 28120
455.44/456.70 c #Conflicts: 225000 | #Constraints: 29120
455.44/456.70 c #Conflicts: 226000 | #Constraints: 30120
455.44/456.70 c #Conflicts: 227000 | #Constraints: 31120
455.44/456.70 c #Conflicts: 228000 | #Constraints: 32120
455.44/456.70 c #Conflicts: 229000 | #Constraints: 33120
455.44/456.70 c #Conflicts: 230000 | #Constraints: 34120
455.44/456.70 c #Conflicts: 231000 | #Constraints: 35120
455.44/456.70 c #Conflicts: 232000 | #Constraints: 36120
455.44/456.70 c #Conflicts: 233000 | #Constraints: 37120
455.44/456.70 c #Conflicts: 234000 | #Constraints: 38120
455.44/456.70 c #Conflicts: 235000 | #Constraints: 39120
455.44/456.70 c #Conflicts: 236000 | #Constraints: 40120
455.44/456.70 c #Conflicts: 237000 | #Constraints: 41120
455.44/456.70 c #Conflicts: 238000 | #Constraints: 42120
455.44/456.70 c #Conflicts: 239000 | #Constraints: 43120
455.44/456.70 c #Conflicts: 240000 | #Constraints: 44120
455.44/456.70 c #Conflicts: 241000 | #Constraints: 45120
455.44/456.70 c #Conflicts: 242000 | #Constraints: 46120
455.44/456.70 c #Conflicts: 243000 | #Constraints: 47120
455.44/456.70 c #Conflicts: 244000 | #Constraints: 48120
455.44/456.70 c #Conflicts: 245000 | #Constraints: 49120
455.44/456.70 c #Conflicts: 246000 | #Constraints: 50120
455.44/456.70 c #Conflicts: 247000 | #Constraints: 51120
455.44/456.70 c #Conflicts: 248000 | #Constraints: 52120
455.44/456.70 c #Conflicts: 249000 | #Constraints: 53120
455.44/456.70 c #Conflicts: 250000 | #Constraints: 54120
455.44/456.70 c #Conflicts: 251000 | #Constraints: 55120
455.44/456.70 c #Conflicts: 252000 | #Constraints: 56120
455.44/456.70 c #Conflicts: 253000 | #Constraints: 57120
455.44/456.70 c #Conflicts: 254000 | #Constraints: 58120
455.44/456.70 c INPROCESSING
455.44/456.70 c GARBAGE COLLECT
455.44/456.70 c rational objective 30
474.39/475.79 c #Conflicts: 255000 | #Constraints: 34248
474.39/475.79 c #Conflicts: 256000 | #Constraints: 35248
474.39/475.79 c #Conflicts: 257000 | #Constraints: 36248
474.39/475.79 c #Conflicts: 258000 | #Constraints: 37248
474.39/475.79 c #Conflicts: 259000 | #Constraints: 38248
474.39/475.79 c #Conflicts: 260000 | #Constraints: 39248
474.39/475.79 c #Conflicts: 261000 | #Constraints: 40248
474.39/475.79 c #Conflicts: 262000 | #Constraints: 41248
474.39/475.79 c #Conflicts: 263000 | #Constraints: 42248
474.39/475.79 c #Conflicts: 264000 | #Constraints: 43248
474.39/475.79 c #Conflicts: 265000 | #Constraints: 44248
474.39/475.79 c #Conflicts: 266000 | #Constraints: 45248
474.39/475.79 c #Conflicts: 267000 | #Constraints: 46248
474.39/475.79 c #Conflicts: 268000 | #Constraints: 47248
474.39/475.79 c INPROCESSING
474.39/475.79 c GARBAGE COLLECT
474.39/475.79 c rational objective 30
570.95/572.59 c #Conflicts: 269000 | #Constraints: 27883
570.95/572.59 c #Conflicts: 270000 | #Constraints: 28883
570.95/572.59 c #Conflicts: 271000 | #Constraints: 29883
570.95/572.59 c #Conflicts: 272000 | #Constraints: 30883
570.95/572.59 c #Conflicts: 273000 | #Constraints: 31883
570.95/572.59 c #Conflicts: 274000 | #Constraints: 32883
570.95/572.59 c #Conflicts: 275000 | #Constraints: 33883
570.95/572.59 c #Conflicts: 276000 | #Constraints: 34883
570.95/572.59 c #Conflicts: 277000 | #Constraints: 35883
570.95/572.59 c #Conflicts: 278000 | #Constraints: 36883
570.95/572.59 c #Conflicts: 279000 | #Constraints: 37883
570.95/572.59 c #Conflicts: 280000 | #Constraints: 38883
570.95/572.59 c #Conflicts: 281000 | #Constraints: 39883
570.95/572.59 c #Conflicts: 282000 | #Constraints: 40883
570.95/572.59 c #Conflicts: 283000 | #Constraints: 41883
570.95/572.59 c #Conflicts: 284000 | #Constraints: 42883
570.95/572.59 c #Conflicts: 285000 | #Constraints: 43883
570.95/572.59 c #Conflicts: 286000 | #Constraints: 44883
570.95/572.59 c #Conflicts: 287000 | #Constraints: 45883
570.95/572.59 c #Conflicts: 288000 | #Constraints: 46883
570.95/572.59 c #Conflicts: 289000 | #Constraints: 47883
570.95/572.59 c #Conflicts: 290000 | #Constraints: 48883
570.95/572.59 c #Conflicts: 291000 | #Constraints: 49883
570.95/572.59 c #Conflicts: 292000 | #Constraints: 50883
570.95/572.59 c #Conflicts: 293000 | #Constraints: 51883
570.95/572.59 c #Conflicts: 294000 | #Constraints: 52883
570.95/572.59 c #Conflicts: 295000 | #Constraints: 53883
570.95/572.59 c #Conflicts: 296000 | #Constraints: 54883
570.95/572.59 c #Conflicts: 297000 | #Constraints: 55883
570.95/572.59 c #Conflicts: 298000 | #Constraints: 56883
570.95/572.59 c #Conflicts: 299000 | #Constraints: 57883
570.95/572.59 c #Conflicts: 300000 | #Constraints: 58883
570.95/572.59 c #Conflicts: 301000 | #Constraints: 59883
570.95/572.59 c #Conflicts: 302000 | #Constraints: 60883
570.95/572.59 c #Conflicts: 303000 | #Constraints: 61883
570.95/572.59 c INPROCESSING
570.95/572.59 c GARBAGE COLLECT
570.95/572.59 c rational objective 30
600.37/602.06 c #Conflicts: 304000 | #Constraints: 35804
600.37/602.06 c #Conflicts: 305000 | #Constraints: 36804
600.37/602.06 c #Conflicts: 306000 | #Constraints: 37804
600.37/602.06 c #Conflicts: 307000 | #Constraints: 38804
600.37/602.06 c #Conflicts: 308000 | #Constraints: 39804
600.37/602.06 c #Conflicts: 309000 | #Constraints: 40804
600.37/602.06 c #Conflicts: 310000 | #Constraints: 41804
600.37/602.06 c #Conflicts: 311000 | #Constraints: 42804
600.37/602.06 c #Conflicts: 312000 | #Constraints: 43804
600.37/602.06 c #Conflicts: 313000 | #Constraints: 44804
600.37/602.06 c #Conflicts: 314000 | #Constraints: 45804
600.37/602.06 c #Conflicts: 315000 | #Constraints: 46804
600.37/602.06 c #Conflicts: 316000 | #Constraints: 47804
600.37/602.06 c #Conflicts: 317000 | #Constraints: 48804
600.37/602.06 c #Conflicts: 318000 | #Constraints: 49804
600.37/602.06 c #Conflicts: 319000 | #Constraints: 50804
600.37/602.06 c INPROCESSING
600.37/602.06 c GARBAGE COLLECT
600.37/602.06 c rational objective 30
767.34/769.46 c #Conflicts: 320000 | #Constraints: 30480
767.34/769.46 c #Conflicts: 321000 | #Constraints: 31480
767.34/769.46 c #Conflicts: 322000 | #Constraints: 32480
767.34/769.46 c #Conflicts: 323000 | #Constraints: 33480
767.34/769.46 c #Conflicts: 324000 | #Constraints: 34480
767.34/769.46 c #Conflicts: 325000 | #Constraints: 35480
767.34/769.46 c #Conflicts: 326000 | #Constraints: 36480
767.34/769.46 c #Conflicts: 327000 | #Constraints: 37480
767.34/769.46 c #Conflicts: 328000 | #Constraints: 38480
767.34/769.46 c #Conflicts: 329000 | #Constraints: 39480
767.34/769.46 c #Conflicts: 330000 | #Constraints: 40480
767.34/769.46 c #Conflicts: 331000 | #Constraints: 41480
767.34/769.46 c #Conflicts: 332000 | #Constraints: 42480
767.34/769.46 c #Conflicts: 333000 | #Constraints: 43480
767.34/769.46 c #Conflicts: 334000 | #Constraints: 44480
767.34/769.46 c #Conflicts: 335000 | #Constraints: 45480
767.34/769.46 c #Conflicts: 336000 | #Constraints: 46480
767.34/769.46 c #Conflicts: 337000 | #Constraints: 47480
767.34/769.46 c #Conflicts: 338000 | #Constraints: 48480
767.34/769.46 c #Conflicts: 339000 | #Constraints: 49480
767.34/769.46 c #Conflicts: 340000 | #Constraints: 50480
767.34/769.46 c #Conflicts: 341000 | #Constraints: 51480
767.34/769.46 c #Conflicts: 342000 | #Constraints: 52480
767.34/769.46 c #Conflicts: 343000 | #Constraints: 53480
767.34/769.46 c #Conflicts: 344000 | #Constraints: 54480
767.34/769.46 c #Conflicts: 345000 | #Constraints: 55480
767.34/769.46 c #Conflicts: 346000 | #Constraints: 56480
767.34/769.46 c #Conflicts: 347000 | #Constraints: 57480
767.34/769.46 c #Conflicts: 348000 | #Constraints: 58480
767.34/769.46 c #Conflicts: 349000 | #Constraints: 59480
767.34/769.46 c #Conflicts: 350000 | #Constraints: 60480
767.34/769.46 c #Conflicts: 351000 | #Constraints: 61480
767.34/769.46 c #Conflicts: 352000 | #Constraints: 62480
767.34/769.46 c #Conflicts: 353000 | #Constraints: 63480
767.34/769.46 c #Conflicts: 354000 | #Constraints: 64480
767.34/769.46 c #Conflicts: 355000 | #Constraints: 65480
767.34/769.46 c #Conflicts: 356000 | #Constraints: 66480
767.34/769.46 c #Conflicts: 357000 | #Constraints: 67480
767.34/769.46 c INPROCESSING
767.34/769.46 c GARBAGE COLLECT
767.34/769.46 c rational objective 30
1012.84/1015.52 c #Conflicts: 358000 | #Constraints: 38680
1012.84/1015.52 c #Conflicts: 359000 | #Constraints: 39680
1012.84/1015.52 c #Conflicts: 360000 | #Constraints: 40680
1012.84/1015.52 c #Conflicts: 361000 | #Constraints: 41680
1012.84/1015.52 c #Conflicts: 362000 | #Constraints: 42680
1012.84/1015.52 c #Conflicts: 363000 | #Constraints: 43680
1012.84/1015.52 c #Conflicts: 364000 | #Constraints: 44680
1012.84/1015.52 c #Conflicts: 365000 | #Constraints: 45680
1012.84/1015.52 c #Conflicts: 366000 | #Constraints: 46680
1012.84/1015.52 c #Conflicts: 367000 | #Constraints: 47680
1012.84/1015.52 c #Conflicts: 368000 | #Constraints: 48680
1012.84/1015.52 c #Conflicts: 369000 | #Constraints: 49680
1012.84/1015.52 c #Conflicts: 370000 | #Constraints: 50680
1012.84/1015.52 c #Conflicts: 371000 | #Constraints: 51680
1012.84/1015.52 c #Conflicts: 372000 | #Constraints: 52680
1012.84/1015.52 c #Conflicts: 373000 | #Constraints: 53681
1012.84/1015.52 c #Conflicts: 374000 | #Constraints: 54681
1012.84/1015.52 c INPROCESSING
1012.84/1015.52 c GARBAGE COLLECT
1012.84/1015.52 c #Conflicts: 375000 | #Constraints: 32328
1012.84/1015.52 c #Conflicts: 376000 | #Constraints: 33329
1012.84/1015.52 c #Conflicts: 377000 | #Constraints: 34329
1012.84/1015.52 c #Conflicts: 378000 | #Constraints: 35329
1012.84/1015.52 c #Conflicts: 379000 | #Constraints: 36329
1012.84/1015.52 c #Conflicts: 380000 | #Constraints: 37329
1012.84/1015.52 c #Conflicts: 381000 | #Constraints: 38329
1012.84/1015.52 c #Conflicts: 382000 | #Constraints: 39329
1012.84/1015.52 c #Conflicts: 383000 | #Constraints: 40329
1012.84/1015.52 c #Conflicts: 384000 | #Constraints: 41329
1012.84/1015.52 c #Conflicts: 385000 | #Constraints: 42329
1012.84/1015.52 c #Conflicts: 386000 | #Constraints: 43329
1012.84/1015.52 c #Conflicts: 387000 | #Constraints: 44329
1012.84/1015.52 c #Conflicts: 388000 | #Constraints: 45329
1012.84/1015.52 c #Conflicts: 389000 | #Constraints: 46329
1012.84/1015.52 c #Conflicts: 390000 | #Constraints: 47329
1012.84/1015.52 c #Conflicts: 391000 | #Constraints: 48329
1012.84/1015.52 c #Conflicts: 392000 | #Constraints: 49329
1012.84/1015.52 c #Conflicts: 393000 | #Constraints: 50329
1012.84/1015.52 c #Conflicts: 394000 | #Constraints: 51329
1012.84/1015.52 c #Conflicts: 395000 | #Constraints: 52329
1012.84/1015.52 c #Conflicts: 396000 | #Constraints: 53329
1012.84/1015.52 c #Conflicts: 397000 | #Constraints: 54329
1012.84/1015.52 c #Conflicts: 398000 | #Constraints: 55329
1012.84/1015.52 c #Conflicts: 399000 | #Constraints: 56329
1012.84/1015.52 c #Conflicts: 400000 | #Constraints: 57329
1012.84/1015.52 c #Conflicts: 401000 | #Constraints: 58329
1012.84/1015.52 c #Conflicts: 402000 | #Constraints: 59329
1012.84/1015.52 c #Conflicts: 403000 | #Constraints: 60329
1012.84/1015.52 c #Conflicts: 404000 | #Constraints: 61329
1012.84/1015.52 c #Conflicts: 405000 | #Constraints: 62329
1012.84/1015.52 c #Conflicts: 406000 | #Constraints: 63329
1012.84/1015.52 c #Conflicts: 407000 | #Constraints: 64330
1012.84/1015.52 c #Conflicts: 408000 | #Constraints: 65330
1012.84/1015.52 c #Conflicts: 409000 | #Constraints: 66330
1012.84/1015.52 c #Conflicts: 410000 | #Constraints: 67330
1012.84/1015.52 c #Conflicts: 411000 | #Constraints: 68330
1012.84/1015.52 c #Conflicts: 412000 | #Constraints: 69330
1012.84/1015.52 c #Conflicts: 413000 | #Constraints: 70330
1012.84/1015.52 c #Conflicts: 414000 | #Constraints: 71330
1012.84/1015.52 c #Conflicts: 415000 | #Constraints: 72330
1012.84/1015.52 c INPROCESSING
1012.84/1015.52 c GARBAGE COLLECT
1012.84/1015.52 c #Conflicts: 416000 | #Constraints: 40915
1012.84/1015.52 c #Conflicts: 417000 | #Constraints: 41915
1012.84/1015.52 c #Conflicts: 418000 | #Constraints: 42915
1012.84/1015.52 c #Conflicts: 419000 | #Constraints: 43915
1012.84/1015.52 c #Conflicts: 420000 | #Constraints: 44915
1012.84/1015.52 c #Conflicts: 421000 | #Constraints: 45915
1012.84/1015.52 c #Conflicts: 422000 | #Constraints: 46915
1012.84/1015.52 c #Conflicts: 423000 | #Constraints: 47915
1012.84/1015.52 c #Conflicts: 424000 | #Constraints: 48915
1012.84/1015.52 c #Conflicts: 425000 | #Constraints: 49915
1012.84/1015.52 c #Conflicts: 426000 | #Constraints: 50915
1012.84/1015.52 c #Conflicts: 427000 | #Constraints: 51915
1012.84/1015.52 c #Conflicts: 428000 | #Constraints: 52915
1012.84/1015.52 c #Conflicts: 429000 | #Constraints: 53915
1012.84/1015.52 c #Conflicts: 430000 | #Constraints: 54915
1012.84/1015.52 c #Conflicts: 431000 | #Constraints: 55915
1012.84/1015.52 c #Conflicts: 432000 | #Constraints: 56915
1012.84/1015.52 c #Conflicts: 433000 | #Constraints: 57915
1012.84/1015.52 c #Conflicts: 434000 | #Constraints: 58915
1012.84/1015.52 c INPROCESSING
1012.84/1015.52 c GARBAGE COLLECT
1012.84/1015.54 c rational objective 30
1207.24/1210.46 c #Conflicts: 435000 | #Constraints: 34685
1207.24/1210.46 c #Conflicts: 436000 | #Constraints: 35685
1207.24/1210.46 c #Conflicts: 437000 | #Constraints: 36685
1207.24/1210.46 c #Conflicts: 438000 | #Constraints: 37685
1207.24/1210.46 c #Conflicts: 439000 | #Constraints: 38686
1207.24/1210.46 c #Conflicts: 440000 | #Constraints: 39686
1207.24/1210.46 c #Conflicts: 441000 | #Constraints: 40686
1207.24/1210.46 c #Conflicts: 442000 | #Constraints: 41686
1207.24/1210.46 c #Conflicts: 443000 | #Constraints: 42686
1207.24/1210.46 c #Conflicts: 444000 | #Constraints: 43686
1207.24/1210.46 c #Conflicts: 445000 | #Constraints: 44686
1207.24/1210.46 c #Conflicts: 446000 | #Constraints: 45686
1207.24/1210.46 c #Conflicts: 447000 | #Constraints: 46686
1207.24/1210.46 c #Conflicts: 448000 | #Constraints: 47686
1207.24/1210.46 c #Conflicts: 449000 | #Constraints: 48686
1207.24/1210.46 c #Conflicts: 450000 | #Constraints: 49686
1207.24/1210.46 c #Conflicts: 451000 | #Constraints: 50686
1207.24/1210.46 c #Conflicts: 452000 | #Constraints: 51686
1207.24/1210.46 c #Conflicts: 453000 | #Constraints: 52686
1207.24/1210.46 c #Conflicts: 454000 | #Constraints: 53686
1207.24/1210.46 c #Conflicts: 455000 | #Constraints: 54686
1207.24/1210.46 c #Conflicts: 456000 | #Constraints: 55687
1207.24/1210.46 c #Conflicts: 457000 | #Constraints: 56687
1207.24/1210.46 c #Conflicts: 458000 | #Constraints: 57687
1207.24/1210.46 c #Conflicts: 459000 | #Constraints: 58687
1207.24/1210.46 c #Conflicts: 460000 | #Constraints: 59687
1207.24/1210.46 c #Conflicts: 461000 | #Constraints: 60687
1207.24/1210.46 c #Conflicts: 462000 | #Constraints: 61687
1207.24/1210.46 c #Conflicts: 463000 | #Constraints: 62687
1207.24/1210.46 c #Conflicts: 464000 | #Constraints: 63687
1207.24/1210.46 c #Conflicts: 465000 | #Constraints: 64687
1207.24/1210.46 c #Conflicts: 466000 | #Constraints: 65687
1207.24/1210.46 c #Conflicts: 467000 | #Constraints: 66687
1207.24/1210.46 c #Conflicts: 468000 | #Constraints: 67687
1207.24/1210.46 c #Conflicts: 469000 | #Constraints: 68687
1207.24/1210.46 c #Conflicts: 470000 | #Constraints: 69687
1207.24/1210.46 c #Conflicts: 471000 | #Constraints: 70687
1207.24/1210.46 c #Conflicts: 472000 | #Constraints: 71687
1207.24/1210.46 c #Conflicts: 473000 | #Constraints: 72687
1207.24/1210.46 c #Conflicts: 474000 | #Constraints: 73687
1207.24/1210.46 c #Conflicts: 475000 | #Constraints: 74687
1207.24/1210.46 c #Conflicts: 476000 | #Constraints: 75687
1207.24/1210.46 c #Conflicts: 477000 | #Constraints: 76687
1207.24/1210.46 c #Conflicts: 478000 | #Constraints: 77687
1207.24/1210.46 c INPROCESSING
1207.24/1210.46 c GARBAGE COLLECT
1207.24/1210.46 c rational objective 30
1386.09/1389.78 c #Conflicts: 479000 | #Constraints: 43837
1386.09/1389.78 c #Conflicts: 480000 | #Constraints: 44837
1386.09/1389.78 c #Conflicts: 481000 | #Constraints: 45837
1386.09/1389.78 c #Conflicts: 482000 | #Constraints: 46837
1386.09/1389.78 c #Conflicts: 483000 | #Constraints: 47837
1386.09/1389.78 c #Conflicts: 484000 | #Constraints: 48837
1386.09/1389.78 c #Conflicts: 485000 | #Constraints: 49837
1386.09/1389.78 c #Conflicts: 486000 | #Constraints: 50837
1386.09/1389.78 c #Conflicts: 487000 | #Constraints: 51837
1386.09/1389.78 c #Conflicts: 488000 | #Constraints: 52837
1386.09/1389.78 c #Conflicts: 489000 | #Constraints: 53837
1386.09/1389.78 c #Conflicts: 490000 | #Constraints: 54837
1386.09/1389.78 c #Conflicts: 491000 | #Constraints: 55837
1386.09/1389.78 c #Conflicts: 492000 | #Constraints: 56837
1386.09/1389.78 c #Conflicts: 493000 | #Constraints: 57837
1386.09/1389.78 c #Conflicts: 494000 | #Constraints: 58837
1386.09/1389.78 c #Conflicts: 495000 | #Constraints: 59837
1386.09/1389.78 c #Conflicts: 496000 | #Constraints: 60837
1386.09/1389.78 c #Conflicts: 497000 | #Constraints: 61837
1386.09/1389.78 c #Conflicts: 498000 | #Constraints: 62837
1386.09/1389.78 c INPROCESSING
1386.09/1389.78 c GARBAGE COLLECT
1386.09/1389.78 c #Conflicts: 499000 | #Constraints: 36612
1386.09/1389.78 c #Conflicts: 500000 | #Constraints: 37612
1386.09/1389.78 c #Conflicts: 501000 | #Constraints: 38612
1386.09/1389.78 c #Conflicts: 502000 | #Constraints: 39612
1386.09/1389.78 c #Conflicts: 503000 | #Constraints: 40612
1386.09/1389.78 c #Conflicts: 504000 | #Constraints: 41612
1386.09/1389.78 c #Conflicts: 505000 | #Constraints: 42612
1386.09/1389.78 c #Conflicts: 506000 | #Constraints: 43612
1386.09/1389.78 c #Conflicts: 507000 | #Constraints: 44612
1386.09/1389.78 c #Conflicts: 508000 | #Constraints: 45612
1386.09/1389.78 c #Conflicts: 509000 | #Constraints: 46612
1386.09/1389.78 c #Conflicts: 510000 | #Constraints: 47612
1386.09/1389.78 c #Conflicts: 511000 | #Constraints: 48612
1386.09/1389.78 c #Conflicts: 512000 | #Constraints: 49612
1386.09/1389.78 c #Conflicts: 513000 | #Constraints: 50612
1386.09/1389.78 c #Conflicts: 514000 | #Constraints: 51612
1386.09/1389.78 c #Conflicts: 515000 | #Constraints: 52612
1386.09/1389.78 c #Conflicts: 516000 | #Constraints: 53612
1386.09/1389.78 c #Conflicts: 517000 | #Constraints: 54612
1386.09/1389.78 c #Conflicts: 518000 | #Constraints: 55612
1386.09/1389.78 c #Conflicts: 519000 | #Constraints: 56612
1386.09/1389.78 c #Conflicts: 520000 | #Constraints: 57612
1386.09/1389.78 c #Conflicts: 521000 | #Constraints: 58612
1386.09/1389.78 c #Conflicts: 522000 | #Constraints: 59612
1386.09/1389.78 WSVECS04 Frhs2[86]: 6 -0.241856 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[564]: 6 -2821.8 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[621]: 6 -1412.46 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[624]: 6 -11281.2 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[738]: 6 -2825.05 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[799]: 6 -22585.4 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[973]: 6 -1.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1324]: 6 0 2.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1330]: 6 0 1.96879 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1352]: 6 0 3.99992 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1393]: 6 0 1.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1394]: 6 -21.4493 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1456]: 6 0 2.00115 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1504]: 6 0 2.00005 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1562]: 6 0 1.00006 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1563]: 6 -22.7599 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1623]: 6 -5.21633 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1677]: 6 -61.0397 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1680]: 6 0 361812 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1683]: 6 0 0.250076 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1708]: 6 0 361815 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1736]: 6 0 361817 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1742]: 6 -18.0001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1745]: 6 -7.78163e+08 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1763]: 6 0 3.50004 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1791]: 6 0 4.50009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1796]: 6 0 1.00006 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1819]: 6 0 5.50007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1820]: 6 0 361821 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1821]: 6 0 723639 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1824]: 6 0 0.500076 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1845]: 6 -45219 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1852]: 6 0 21504.6 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[1904]: 6 0 2.00008 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2278]: 6 0 11306 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2516]: 6 -0.625042 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2602]: 6 -361802 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2604]: 6 -1.00002 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2607]: 6 -14.0001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2610]: 6 0 9.26169e+07 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2661]: 6 -1.75005 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2668]: 6 -7.62082e+08 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2690]: 6 -1.0001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2722]: 6 -0.500029 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2727]: 6 -1.00008 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2756]: 6 -1.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2757]: 6 -1.00002 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2782]: 6 -2.00004 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2786]: 6 -1.00002 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2819]: 6 -1.00001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2878]: 6 0 7.04079 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2880]: 6 0 41.6633 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2937]: 6 0 18.0816 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2938]: 6 0 41.6632 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2940]: 6 0 173.653 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2992]: 6 0 0.260333 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2995]: 6 0 21.0811 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2997]: 6 0 84.3264 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[2998]: 6 0 174.528 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3000]: 6 0 703.611 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3052]: 6 0 8.04105 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3055]: 6 0 87.3242 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3057]: 6 0 350.555 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3058]: 6 0 704.11 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3060]: 6 0 2824.19 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3110]: 6 0 8.0408 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3112]: 6 0 41.914 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3115]: 6 0 351.797 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3118]: 6 0 2823.44 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3120]: 6 0 11302.8 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3167]: 6 0 3.0204 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3170]: 6 0 41.163 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3172]: 6 0 173.656 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3175]: 6 0 1412.19 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3177]: 6 0 5648.88 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3178]: 6 0 11302.8 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3180]: 6 0 45220.1 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3224]: 6 0 0.260242 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3230]: 6 0 174.152 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3232]: 6 0 704.373 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3235]: 6 0 5650 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3238]: 6 0 45220.1 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3240]: 6 0 180890 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3284]: 6 0 8.04066 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3287]: 6 0 85.8257 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3290]: 6 0 703.607 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3292]: 6 0 2823.49 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3297]: 6 0 90443.1 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3298]: 6 0 180889 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3300]: 6 0 723567 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3350]: 6 0 2823.43 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3352]: 6 0 11303 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3355]: 6 0 90442.9 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3358]: 6 0 723566 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3360]: 6 0 2.89428e+06 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3404]: 6 0 174.4 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3410]: 6 0 11302.7 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3412]: 6 0 45221.8 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3415]: 6 0 361781 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3419]: 6 -1.24618 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3464]: 6 0 703.599 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3470]: 6 0 45219.8 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3472]: 6 0 180889 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3475]: 6 0 1.44713e+06 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3479]: 6 -5.12252 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3524]: 6 0 2823.9 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3527]: 6 0 22608.9 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3530]: 6 0 180888 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3532]: 6 0 723565 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3536]: 6 -1.99229 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3539]: 6 -1.43753 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3584]: 6 0 11302.6 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3587]: 6 0 90442.4 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3590]: 6 0 723563 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3592]: 6 0 2.89426e+06 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3593]: 6 -1.00001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3596]: 6 -1.96883 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3599]: 6 -1.62502 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3647]: 6 0 361779 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3650]: 6 0 2.89426e+06 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3653]: 6 -1.00007 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3656]: 6 -1.87507 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3659]: 6 -0.500034 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3704]: 6 0 180886 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3710]: 6 0 1.1577e+07 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3711]: 6 -1.00004 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3716]: 6 -1.50007 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3775]: 6 0 1.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3776]: 6 0 3.00013 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3805]: 6 0 1.50005 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3807]: 6 0 1.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3833]: 6 0 3.00001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3863]: 6 0 1.87505 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3891]: 6 0 3.62505 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3915]: 6 0 1.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3942]: 6 0 1.50009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[3944]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4000]: 6 0 1.00005 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4008]: 6 0 1.00004 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4029]: 6 0 1.00009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4037]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4058]: 6 0 1.7501 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4060]: 6 0 1.00001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4065]: 6 0 2.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4066]: 6 0 1.00004 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4084]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4094]: 6 0 2.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4095]: 6 0 1.00005 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4113]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4121]: 6 0 2.50004 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4123]: 6 0 2.00001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4124]: 6 0 1.00008 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4139]: 6 0 1.00006 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4142]: 6 0 1.50009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4145]: 6 0 1.00008 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4153]: 6 0 1.00008 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4155]: 6 0 1.00012 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4168]: 6 0 1.50009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4174]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4176]: 6 0 1.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4180]: 6 -2.0001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4182]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4200]: 6 0 1.50007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4203]: 6 0 1.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4205]: 6 0 1.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4210]: 6 0 2.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4211]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4232]: 6 0 1.0001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4237]: 6 0 1.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4239]: 6 0 2.00009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4240]: 6 0 1.00001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4258]: 6 0 1.00002 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4261]: 6 0 1.00006 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4265]: 6 0 3.87509 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4268]: 6 0 2.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4287]: 6 0 1.50009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4290]: 6 0 1.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4293]: 6 -3.87508 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4319]: 6 0 1.00009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4342]: 6 0 1.75003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4345]: 6 0 1.00006 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4348]: 6 0 1.50003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4406]: 6 0 1.00008 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4410]: 6 -5.78853e+06 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4429]: 6 0 1.00006 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4444]: 6 -1.87502 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4458]: 6 0 1.50003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4461]: 6 0 1.0001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4464]: 6 0 1.00003 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4490]: 6 0 1.00004 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4493]: 6 0 1.00009 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4496]: 6 -3.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4516]: 6 0 1.00008 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4545]: 6 0 1.00007 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4574]: 6 0 2.0001 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[4584]: 6 -15.7501 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5160]: 6 -1.00395 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5190]: 6 -2.00789 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5219]: 6 -0.5001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5220]: 6 -4.01569 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5248]: 6 -0.500022 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5277]: 6 -0.500091 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5306]: 6 -0.500043 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5338]: 6 -0.500033 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5340]: 6 -0.250069 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5367]: 6 -1.00001 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5396]: 6 -1.00007 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5397]: 6 -1.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5426]: 6 -1.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5430]: 6 -2.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5453]: 6 -1.00009 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5459]: 6 -2.00006 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5477]: 6 0 1.44713e+06 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5481]: 6 -1.00004 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5483]: 6 -1.00004 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5489]: 6 -1.00002 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5540]: 6 -2.31542e+07 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5544]: 6 -3.70468e+08 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5547]: 6 -1.00004 0 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5601]: 6 0 4.63085e+07 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5602]: 6 0 9.26169e+07 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5603]: 6 0 1.85234e+08 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5605]: 6 0 7.40935e+08 shouldn't be
1386.09/1389.78 WSVECS04 Frhs2[5606]: 6 0 1.48187e+09 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[24]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[973]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1330]: 6 0 1.96875 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1393]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1456]: 6 0 2.00111 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1683]: 6 0 0.25 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1707]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1742]: 6 -18 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1763]: 6 0 3.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1770]: 6 0 2.64637e+08 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1788]: 6 0 22611.4 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1791]: 6 0 4.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1796]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1824]: 6 0 0.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1904]: 6 0 2 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[1908]: 6 0 21504.6 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2160]: 6 -0.984378 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2277]: 6 -0.96875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2306]: 6 -0.96875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2365]: 6 -0.937501 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2395]: 6 -0.875001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2455]: 6 -0.500001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2484]: 6 -3.60814 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2487]: 6 -1.8125 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2511]: 6 -0.5 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2576]: 6 0 0.500001 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2596]: 6 -4.50496 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2631]: 6 -1.375 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2635]: 6 -0.5 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2662]: 6 -0.625001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2666]: 6 0 2.64637e+08 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2689]: 6 0 361818 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2690]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2695]: 6 -2.64637e+08 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2719]: 6 -0.25 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2722]: 6 -0.5 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2727]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2756]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2778]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2782]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2787]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2789]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[2816]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3167]: 6 0 3.02035 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3237]: 6 0 22607.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3284]: 6 0 8.04061 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3287]: 6 0 85.8256 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3419]: 6 -1.24609 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3479]: 6 -5.12244 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3536]: 6 -1.99219 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3539]: 6 -1.4375 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3593]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3596]: 6 -1.96875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3599]: 6 -1.625 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3653]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3654]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3656]: 6 -1.875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3659]: 6 -0.5 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3711]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3716]: 6 -1.5 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3775]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3804]: 6 0 4.00006 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3805]: 6 0 1.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3891]: 6 0 3.625 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3915]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3942]: 6 0 1.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3944]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3973]: 6 0 1.75 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3978]: 6 0 2.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[3979]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4000]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4008]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4029]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4037]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4058]: 6 0 1.75 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4060]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4066]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4089]: 6 0 1.75 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4095]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4124]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4139]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4145]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4152]: 6 0 3 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4153]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4168]: 6 0 1.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4174]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4176]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4180]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4182]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4203]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4205]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4210]: 6 0 2 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4211]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4232]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4240]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4255]: 6 0 1.75 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4258]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4261]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4287]: 6 0 1.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4290]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4293]: 6 -3.875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4295]: 6 0 2.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4319]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4348]: 6 0 1.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4432]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4444]: 6 -1.875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4458]: 6 0 1.5 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4461]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4490]: 6 0 1 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4496]: 6 -3 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4574]: 6 0 2 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4584]: 6 -15.75 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[4590]: 6 0 2.37099e+10 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5160]: 6 -1.00391 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5189]: 6 -0.75 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5190]: 6 -2.00781 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5219]: 6 -0.500001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5220]: 6 -4.01563 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5248]: 6 -0.500001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5277]: 6 -0.500001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5306]: 6 -0.500001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5334]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5338]: 6 -0.500001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5340]: 6 -0.250001 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5365]: 6 -2.98438 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5367]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5396]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5397]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5398]: 6 -0.875 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5426]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5428]: 6 -0.75 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5430]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5453]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5456]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5457]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5459]: 6 -2 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5481]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5485]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5486]: 6 -1 0 shouldn't be
1387.58/1391.22 WSVECS04 Frhs2[5547]: 6 -1.00002 0 shouldn't be
1567.72/1571.80 c #Conflicts: 523000 | #Constraints: 60612
1567.72/1571.80 c #Conflicts: 524000 | #Constraints: 61612
1567.72/1571.80 c #Conflicts: 525000 | #Constraints: 62612
1567.72/1571.80 c #Conflicts: 526000 | #Constraints: 63612
1567.72/1571.80 c #Conflicts: 527000 | #Constraints: 64612
1567.72/1571.80 c #Conflicts: 528000 | #Constraints: 65612
1567.72/1571.80 c #Conflicts: 529000 | #Constraints: 66612
1567.72/1571.80 c #Conflicts: 530000 | #Constraints: 67612
1567.72/1571.80 c #Conflicts: 531000 | #Constraints: 68612
1567.72/1571.80 c #Conflicts: 532000 | #Constraints: 69612
1567.72/1571.80 c #Conflicts: 533000 | #Constraints: 70612
1567.72/1571.80 c #Conflicts: 534000 | #Constraints: 71612
1567.72/1571.80 c #Conflicts: 535000 | #Constraints: 72612
1567.72/1571.80 c #Conflicts: 536000 | #Constraints: 73612
1567.72/1571.80 c #Conflicts: 537000 | #Constraints: 74612
1567.72/1571.80 c #Conflicts: 538000 | #Constraints: 75612
1567.72/1571.80 c #Conflicts: 539000 | #Constraints: 76612
1567.72/1571.80 c #Conflicts: 540000 | #Constraints: 77612
1567.72/1571.80 c #Conflicts: 541000 | #Constraints: 78612
1567.72/1571.80 c #Conflicts: 542000 | #Constraints: 79612
1567.72/1571.80 c #Conflicts: 543000 | #Constraints: 80612
1567.72/1571.80 c #Conflicts: 544000 | #Constraints: 81612
1567.72/1571.80 c #Conflicts: 545000 | #Constraints: 82612
1567.72/1571.80 c INPROCESSING
1567.72/1571.80 c GARBAGE COLLECT
1567.72/1571.80 c rational objective 30
1641.35/1645.63 c #Conflicts: 546000 | #Constraints: 46195
1641.35/1645.63 c #Conflicts: 547000 | #Constraints: 47195
1641.35/1645.63 c #Conflicts: 548000 | #Constraints: 48195
1641.35/1645.63 c #Conflicts: 549000 | #Constraints: 49195
1641.35/1645.63 c #Conflicts: 550000 | #Constraints: 50195
1641.35/1645.63 c #Conflicts: 551000 | #Constraints: 51195
1641.35/1645.63 c #Conflicts: 552000 | #Constraints: 52195
1641.35/1645.63 c #Conflicts: 553000 | #Constraints: 53195
1641.35/1645.63 c #Conflicts: 554000 | #Constraints: 54195
1641.35/1645.63 c #Conflicts: 555000 | #Constraints: 55195
1641.35/1645.63 c #Conflicts: 556000 | #Constraints: 56195
1641.35/1645.63 c #Conflicts: 557000 | #Constraints: 57195
1641.35/1645.63 c #Conflicts: 558000 | #Constraints: 58195
1641.35/1645.63 c #Conflicts: 559000 | #Constraints: 59195
1641.35/1645.63 c #Conflicts: 560000 | #Constraints: 60195
1641.35/1645.63 c #Conflicts: 561000 | #Constraints: 61195
1641.35/1645.63 c #Conflicts: 562000 | #Constraints: 62195
1641.35/1645.63 c #Conflicts: 563000 | #Constraints: 63195
1641.35/1645.63 c #Conflicts: 564000 | #Constraints: 64195
1641.35/1645.63 c #Conflicts: 565000 | #Constraints: 65195
1641.35/1645.63 c #Conflicts: 566000 | #Constraints: 66195
1641.35/1645.63 c INPROCESSING
1641.35/1645.63 c GARBAGE COLLECT
1641.35/1645.63 c rational objective 30
1861.60/1866.48 c #Conflicts: 567000 | #Constraints: 38152
1861.60/1866.48 c #Conflicts: 568000 | #Constraints: 39152
1861.60/1866.48 c #Conflicts: 569000 | #Constraints: 40152
1861.60/1866.48 c #Conflicts: 570000 | #Constraints: 41152
1861.60/1866.48 c #Conflicts: 571000 | #Constraints: 42152
1861.60/1866.48 c #Conflicts: 572000 | #Constraints: 43152
1861.60/1866.48 c #Conflicts: 573000 | #Constraints: 44152
1861.60/1866.48 c #Conflicts: 574000 | #Constraints: 45152
1861.60/1866.48 c #Conflicts: 575000 | #Constraints: 46152
1861.60/1866.48 c #Conflicts: 576000 | #Constraints: 47152
1861.60/1866.48 c #Conflicts: 577000 | #Constraints: 48152
1861.60/1866.48 c #Conflicts: 578000 | #Constraints: 49152
1861.60/1866.48 c #Conflicts: 579000 | #Constraints: 50152
1861.60/1866.48 c #Conflicts: 580000 | #Constraints: 51152
1861.60/1866.48 c #Conflicts: 581000 | #Constraints: 52152
1861.60/1866.48 c #Conflicts: 582000 | #Constraints: 53152
1861.60/1866.48 c #Conflicts: 583000 | #Constraints: 54152
1861.60/1866.48 c #Conflicts: 584000 | #Constraints: 55152
1861.60/1866.48 c #Conflicts: 585000 | #Constraints: 56152
1861.60/1866.48 c #Conflicts: 586000 | #Constraints: 57152
1861.60/1866.48 c #Conflicts: 587000 | #Constraints: 58152
1861.60/1866.48 c #Conflicts: 588000 | #Constraints: 59152
1861.60/1866.48 c #Conflicts: 589000 | #Constraints: 60152
1861.60/1866.48 c #Conflicts: 590000 | #Constraints: 61152
1861.60/1866.48 c #Conflicts: 591000 | #Constraints: 62152
1861.60/1866.48 c #Conflicts: 592000 | #Constraints: 63152
1861.60/1866.48 c #Conflicts: 593000 | #Constraints: 64152
1861.60/1866.48 c #Conflicts: 594000 | #Constraints: 65152
1861.60/1866.48 c #Conflicts: 595000 | #Constraints: 66152
1861.60/1866.48 c #Conflicts: 596000 | #Constraints: 67152
1861.60/1866.48 c #Conflicts: 597000 | #Constraints: 68152
1861.60/1866.48 c #Conflicts: 598000 | #Constraints: 69152
1861.60/1866.48 c #Conflicts: 599000 | #Constraints: 70152
1861.60/1866.48 c #Conflicts: 600000 | #Constraints: 71152
1861.60/1866.48 c #Conflicts: 601000 | #Constraints: 72152
1861.60/1866.48 c #Conflicts: 602000 | #Constraints: 73152
1861.60/1866.48 c #Conflicts: 603000 | #Constraints: 74152
1861.60/1866.48 c #Conflicts: 604000 | #Constraints: 75152
1861.60/1866.48 c #Conflicts: 605000 | #Constraints: 76152
1861.60/1866.48 c #Conflicts: 606000 | #Constraints: 77152
1861.60/1866.48 c #Conflicts: 607000 | #Constraints: 78152
1861.60/1866.48 c #Conflicts: 608000 | #Constraints: 79152
1861.60/1866.48 c #Conflicts: 609000 | #Constraints: 80152
1861.60/1866.48 c #Conflicts: 610000 | #Constraints: 81152
1861.60/1866.48 c #Conflicts: 611000 | #Constraints: 82152
1861.60/1866.48 c #Conflicts: 612000 | #Constraints: 83152
1861.60/1866.48 c #Conflicts: 613000 | #Constraints: 84152
1861.60/1866.48 c #Conflicts: 614000 | #Constraints: 85152
1861.60/1866.48 c #Conflicts: 615000 | #Constraints: 86152
1861.60/1866.48 c #Conflicts: 616000 | #Constraints: 87152
1861.60/1866.48 c #Conflicts: 617000 | #Constraints: 88152
1861.60/1866.48 c INPROCESSING
1861.60/1866.48 c GARBAGE COLLECT
1861.60/1866.48 c rational objective 30
1929.14/1934.12 c #Conflicts: 618000 | #Constraints: 49250
1929.14/1934.12 c #Conflicts: 619000 | #Constraints: 50250
1929.14/1934.12 c #Conflicts: 620000 | #Constraints: 51250
1929.14/1934.12 c #Conflicts: 621000 | #Constraints: 52250
1929.14/1934.12 c #Conflicts: 622000 | #Constraints: 53250
1929.14/1934.12 c #Conflicts: 623000 | #Constraints: 54250
1929.14/1934.12 c #Conflicts: 624000 | #Constraints: 55250
1929.14/1934.12 c #Conflicts: 625000 | #Constraints: 56250
1929.14/1934.12 c #Conflicts: 626000 | #Constraints: 57250
1929.14/1934.12 c #Conflicts: 627000 | #Constraints: 58250
1929.14/1934.12 c #Conflicts: 628000 | #Constraints: 59250
1929.14/1934.12 c #Conflicts: 629000 | #Constraints: 60250
1929.14/1934.12 c #Conflicts: 630000 | #Constraints: 61250
1929.14/1934.12 c #Conflicts: 631000 | #Constraints: 62250
1929.14/1934.12 c #Conflicts: 632000 | #Constraints: 63250
1929.14/1934.12 c #Conflicts: 633000 | #Constraints: 64250
1929.14/1934.12 c #Conflicts: 634000 | #Constraints: 65250
1929.14/1934.12 c #Conflicts: 635000 | #Constraints: 66250
1929.14/1934.12 c #Conflicts: 636000 | #Constraints: 67250
1929.14/1934.12 c #Conflicts: 637000 | #Constraints: 68250
1929.14/1934.12 c #Conflicts: 638000 | #Constraints: 69250
1929.14/1934.12 c #Conflicts: 639000 | #Constraints: 70250
1929.14/1934.12 c INPROCESSING
1929.14/1934.12 c GARBAGE COLLECT
1929.14/1934.12 c rational objective 30
2234.81/2240.63 c #Conflicts: 640000 | #Constraints: 40269
2234.81/2240.63 c #Conflicts: 641000 | #Constraints: 41269
2234.81/2240.63 c #Conflicts: 642000 | #Constraints: 42269
2234.81/2240.63 c #Conflicts: 643000 | #Constraints: 43269
2234.81/2240.63 c #Conflicts: 644000 | #Constraints: 44269
2234.81/2240.63 c #Conflicts: 645000 | #Constraints: 45269
2234.81/2240.63 c #Conflicts: 646000 | #Constraints: 46269
2234.81/2240.63 c #Conflicts: 647000 | #Constraints: 47269
2234.81/2240.63 c #Conflicts: 648000 | #Constraints: 48269
2234.81/2240.63 c #Conflicts: 649000 | #Constraints: 49269
2234.81/2240.63 c #Conflicts: 650000 | #Constraints: 50269
2234.81/2240.63 c #Conflicts: 651000 | #Constraints: 51269
2234.81/2240.63 c #Conflicts: 652000 | #Constraints: 52269
2234.81/2240.63 c #Conflicts: 653000 | #Constraints: 53269
2234.81/2240.63 c #Conflicts: 654000 | #Constraints: 54269
2234.81/2240.63 c #Conflicts: 655000 | #Constraints: 55269
2234.81/2240.63 c #Conflicts: 656000 | #Constraints: 56269
2234.81/2240.63 c #Conflicts: 657000 | #Constraints: 57269
2234.81/2240.63 c #Conflicts: 658000 | #Constraints: 58270
2234.81/2240.63 c #Conflicts: 659000 | #Constraints: 59270
2234.81/2240.63 c #Conflicts: 660000 | #Constraints: 60270
2234.81/2240.63 c #Conflicts: 661000 | #Constraints: 61270
2234.81/2240.63 c #Conflicts: 662000 | #Constraints: 62270
2234.81/2240.63 c #Conflicts: 663000 | #Constraints: 63270
2234.81/2240.63 c #Conflicts: 664000 | #Constraints: 64270
2234.81/2240.63 c #Conflicts: 665000 | #Constraints: 65270
2234.81/2240.63 c #Conflicts: 666000 | #Constraints: 66270
2234.81/2240.63 c #Conflicts: 667000 | #Constraints: 67270
2234.81/2240.63 c #Conflicts: 668000 | #Constraints: 68270
2234.81/2240.63 c #Conflicts: 669000 | #Constraints: 69270
2234.81/2240.63 c #Conflicts: 670000 | #Constraints: 70270
2234.81/2240.63 c #Conflicts: 671000 | #Constraints: 71270
2234.81/2240.63 c #Conflicts: 672000 | #Constraints: 72270
2234.81/2240.63 c #Conflicts: 673000 | #Constraints: 73270
2234.81/2240.63 c #Conflicts: 674000 | #Constraints: 74270
2234.81/2240.63 c #Conflicts: 675000 | #Constraints: 75270
2234.81/2240.63 c #Conflicts: 676000 | #Constraints: 76270
2234.81/2240.63 c #Conflicts: 677000 | #Constraints: 77270
2234.81/2240.63 c #Conflicts: 678000 | #Constraints: 78270
2234.81/2240.63 c #Conflicts: 679000 | #Constraints: 79270
2234.81/2240.63 c #Conflicts: 680000 | #Constraints: 80270
2234.81/2240.63 c #Conflicts: 681000 | #Constraints: 81270
2234.81/2240.63 c #Conflicts: 682000 | #Constraints: 82270
2234.81/2240.63 c #Conflicts: 683000 | #Constraints: 83270
2234.81/2240.63 c #Conflicts: 684000 | #Constraints: 84270
2234.81/2240.63 c #Conflicts: 685000 | #Constraints: 85270
2234.81/2240.63 c #Conflicts: 686000 | #Constraints: 86270
2234.81/2240.63 c #Conflicts: 687000 | #Constraints: 87270
2234.81/2240.63 c #Conflicts: 688000 | #Constraints: 88270
2234.81/2240.63 c #Conflicts: 689000 | #Constraints: 89270
2234.81/2240.63 c #Conflicts: 690000 | #Constraints: 90270
2234.81/2240.63 c #Conflicts: 691000 | #Constraints: 91270
2234.81/2240.63 c #Conflicts: 692000 | #Constraints: 92270
2234.81/2240.63 c #Conflicts: 693000 | #Constraints: 93270
2234.81/2240.63 c INPROCESSING
2234.81/2240.63 c GARBAGE COLLECT
2234.81/2240.63 c rational objective 30
2304.91/2310.95 c #Conflicts: 694000 | #Constraints: 51838
2304.91/2310.95 c #Conflicts: 695000 | #Constraints: 52838
2304.91/2310.95 c #Conflicts: 696000 | #Constraints: 53838
2304.91/2310.95 c #Conflicts: 697000 | #Constraints: 54838
2304.91/2310.95 c #Conflicts: 698000 | #Constraints: 55838
2304.91/2310.95 c #Conflicts: 699000 | #Constraints: 56838
2304.91/2310.95 c #Conflicts: 700000 | #Constraints: 57838
2304.91/2310.95 c #Conflicts: 701000 | #Constraints: 58838
2304.91/2310.95 c #Conflicts: 702000 | #Constraints: 59838
2304.91/2310.95 c #Conflicts: 703000 | #Constraints: 60838
2304.91/2310.95 c #Conflicts: 704000 | #Constraints: 61838
2304.91/2310.95 c #Conflicts: 705000 | #Constraints: 62838
2304.91/2310.95 c #Conflicts: 706000 | #Constraints: 63838
2304.91/2310.95 c #Conflicts: 707000 | #Constraints: 64838
2304.91/2310.95 c #Conflicts: 708000 | #Constraints: 65839
2304.91/2310.95 c #Conflicts: 709000 | #Constraints: 66839
2304.91/2310.95 c #Conflicts: 710000 | #Constraints: 67839
2304.91/2310.95 c #Conflicts: 711000 | #Constraints: 68839
2304.91/2310.95 c #Conflicts: 712000 | #Constraints: 69839
2304.91/2310.95 c #Conflicts: 713000 | #Constraints: 70839
2304.91/2310.95 c #Conflicts: 714000 | #Constraints: 71839
2304.91/2310.95 c #Conflicts: 715000 | #Constraints: 72839
2304.91/2310.95 WSVECS04 Frhs2[18]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[78]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[82]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[142]: 6 -6.75 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[172]: 6 -2.0625 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[202]: 6 -2.125 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[262]: 6 -2.5 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[322]: 6 -4 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[382]: 6 -10 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[442]: 6 -34 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[502]: 6 -131 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[561]: 6 -264 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[562]: 6 -527 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[622]: 6 -7.94675e+07 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[682]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[741]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[742]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[802]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[922]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[982]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1042]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1252]: 6 0 3.8125 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1280]: 6 0 4.8125 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1308]: 6 0 5.8125 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1425]: 6 0 3.5 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1451]: 6 0 3.1787e+08 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1455]: 6 0 5.08592e+09 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1468]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1472]: 6 0 71 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1483]: 6 0 5.08592e+09 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1526]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1531]: 6 0 531 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1532]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1533]: 6 0 2105 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1534]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1535]: 6 0 3.1787e+08 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1648]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1656]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1680]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1709]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1734]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1743]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1765]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1792]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1821]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1824]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1851]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1854]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1880]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[1912]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2322]: 6 -1.75 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2351]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2365]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2380]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2382]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2394]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2395]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2411]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2415]: 6 -38 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2423]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2424]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2428]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2440]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2448]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2450]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2452]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2453]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2455]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2458]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2482]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2508]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2510]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2511]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2513]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2516]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2541]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2542]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2545]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2569]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2574]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2575]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2576]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2578]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2598]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2599]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2600]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2603]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2605]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2607]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2632]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2633]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2634]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2638]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2657]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2659]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2662]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2663]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2666]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2692]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2695]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2719]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2720]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2724]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2753]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2781]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2784]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2813]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[2999]: 6 0 5 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3292]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3333]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3339]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3343]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3344]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3348]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3352]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3357]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3411]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3412]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3459]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3463]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3464]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3472]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3477]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3532]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3592]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3652]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3712]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3835]: 6 0 1 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3931]: 6 0 1 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[3979]: 6 0 2 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4022]: 6 0 1 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4036]: 6 0 7.35417 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4051]: 6 0 4.18457 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4081]: 6 0 5.73828 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4084]: 6 0 4.90625 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4086]: 6 0 4.625 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4112]: 6 0 6.90625 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4118]: 6 0 23 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4146]: 6 0 25 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4163]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4197]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4205]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4221]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4255]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4257]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4292]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4315]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4326]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4337]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4341]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4342]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4350]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4355]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4373]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4379]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4402]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4406]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4435]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4491]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4521]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4524]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4550]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4582]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4931]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4945]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4958]: 6 -4.16202 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4960]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4974]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4978]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4987]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4989]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4992]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[4994]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5003]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5016]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5021]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5032]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5035]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5036]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5039]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5040]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5045]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5050]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5052]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5064]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5065]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5074]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5078]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5079]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5081]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5093]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5094]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5096]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5098]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5103]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5107]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5110]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5114]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5119]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5122]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5123]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5125]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5136]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5139]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5149]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5154]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5165]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5172]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5174]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5175]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5179]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5183]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5194]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5201]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5204]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5209]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5210]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5215]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5216]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5223]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5230]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5235]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5238]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5244]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5245]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5259]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5263]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5264]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5268]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5269]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5270]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5273]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5275]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5302]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5303]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5304]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5327]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5328]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5332]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5333]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5336]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5360]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5362]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5365]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5368]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5387]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5390]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5423]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5425]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5447]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5451]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5452]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5454]: 6 -1 0 shouldn't be
2304.91/2310.95 WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
2313.09/2319.15 c #Conflicts: 716000 | #Constraints: 73839
2313.09/2319.15 c INPROCESSING
2313.09/2319.15 c GARBAGE COLLECT
2313.09/2319.15 c rational objective 30
2666.18/2673.21 c #Conflicts: 717000 | #Constraints: 42335
2666.18/2673.21 c #Conflicts: 718000 | #Constraints: 43335
2666.18/2673.21 c #Conflicts: 719000 | #Constraints: 44335
2666.18/2673.21 c #Conflicts: 720000 | #Constraints: 45335
2666.18/2673.21 c #Conflicts: 721000 | #Constraints: 46335
2666.18/2673.21 c #Conflicts: 722000 | #Constraints: 47335
2666.18/2673.21 c #Conflicts: 723000 | #Constraints: 48335
2666.18/2673.21 c #Conflicts: 724000 | #Constraints: 49335
2666.18/2673.21 c #Conflicts: 725000 | #Constraints: 50335
2666.18/2673.21 c #Conflicts: 726000 | #Constraints: 51335
2666.18/2673.21 c #Conflicts: 727000 | #Constraints: 52335
2666.18/2673.21 c #Conflicts: 728000 | #Constraints: 53335
2666.18/2673.21 c #Conflicts: 729000 | #Constraints: 54335
2666.18/2673.21 c #Conflicts: 730000 | #Constraints: 55335
2666.18/2673.21 c #Conflicts: 731000 | #Constraints: 56335
2666.18/2673.21 c #Conflicts: 732000 | #Constraints: 57335
2666.18/2673.21 c #Conflicts: 733000 | #Constraints: 58335
2666.18/2673.21 c #Conflicts: 734000 | #Constraints: 59335
2666.18/2673.21 c #Conflicts: 735000 | #Constraints: 60335
2666.18/2673.21 c #Conflicts: 736000 | #Constraints: 61335
2666.18/2673.21 c #Conflicts: 737000 | #Constraints: 62335
2666.18/2673.21 c #Conflicts: 738000 | #Constraints: 63335
2666.18/2673.21 c #Conflicts: 739000 | #Constraints: 64335
2666.18/2673.21 c #Conflicts: 740000 | #Constraints: 65335
2666.18/2673.21 c #Conflicts: 741000 | #Constraints: 66335
2666.18/2673.21 c #Conflicts: 742000 | #Constraints: 67335
2666.18/2673.21 c #Conflicts: 743000 | #Constraints: 68335
2666.18/2673.21 c #Conflicts: 744000 | #Constraints: 69335
2666.18/2673.21 c #Conflicts: 745000 | #Constraints: 70335
2666.18/2673.21 c #Conflicts: 746000 | #Constraints: 71335
2666.18/2673.21 c #Conflicts: 747000 | #Constraints: 72335
2666.18/2673.21 c #Conflicts: 748000 | #Constraints: 73335
2666.18/2673.21 c #Conflicts: 749000 | #Constraints: 74335
2666.18/2673.21 c #Conflicts: 750000 | #Constraints: 75335
2666.18/2673.21 c #Conflicts: 751000 | #Constraints: 76335
2666.18/2673.21 c #Conflicts: 752000 | #Constraints: 77335
2666.18/2673.21 c #Conflicts: 753000 | #Constraints: 78335
2666.18/2673.21 c #Conflicts: 754000 | #Constraints: 79335
2666.18/2673.21 c #Conflicts: 755000 | #Constraints: 80335
2666.18/2673.21 c #Conflicts: 756000 | #Constraints: 81335
2666.18/2673.21 c #Conflicts: 757000 | #Constraints: 82335
2666.18/2673.21 c #Conflicts: 758000 | #Constraints: 83335
2666.18/2673.21 c #Conflicts: 759000 | #Constraints: 84335
2666.18/2673.21 c #Conflicts: 760000 | #Constraints: 85335
2666.18/2673.21 c #Conflicts: 761000 | #Constraints: 86335
2666.18/2673.21 c #Conflicts: 762000 | #Constraints: 87335
2666.18/2673.21 c #Conflicts: 763000 | #Constraints: 88335
2666.18/2673.21 c #Conflicts: 764000 | #Constraints: 89335
2666.18/2673.21 c #Conflicts: 765000 | #Constraints: 90335
2666.18/2673.21 c #Conflicts: 766000 | #Constraints: 91335
2666.18/2673.21 c #Conflicts: 767000 | #Constraints: 92335
2666.18/2673.21 c #Conflicts: 768000 | #Constraints: 93335
2666.18/2673.21 c #Conflicts: 769000 | #Constraints: 94335
2666.18/2673.21 c #Conflicts: 770000 | #Constraints: 95335
2666.18/2673.21 c #Conflicts: 771000 | #Constraints: 96335
2666.18/2673.21 c #Conflicts: 772000 | #Constraints: 97335
2666.18/2673.21 c #Conflicts: 773000 | #Constraints: 98335
2666.18/2673.21 c INPROCESSING
2666.18/2673.21 c GARBAGE COLLECT
2666.18/2673.21 c rational objective 30
2772.59/2779.98 c #Conflicts: 774000 | #Constraints: 54264
2772.59/2779.98 c #Conflicts: 775000 | #Constraints: 55264
2772.59/2779.98 c #Conflicts: 776000 | #Constraints: 56264
2772.59/2779.98 c #Conflicts: 777000 | #Constraints: 57264
2772.59/2779.98 c #Conflicts: 778000 | #Constraints: 58264
2772.59/2779.98 c #Conflicts: 779000 | #Constraints: 59264
2772.59/2779.98 c #Conflicts: 780000 | #Constraints: 60264
2772.59/2779.98 c #Conflicts: 781000 | #Constraints: 61264
2772.59/2779.98 c #Conflicts: 782000 | #Constraints: 62264
2772.59/2779.98 c #Conflicts: 783000 | #Constraints: 63264
2772.59/2779.98 c #Conflicts: 784000 | #Constraints: 64264
2772.59/2779.98 c #Conflicts: 785000 | #Constraints: 65264
2772.59/2779.98 c #Conflicts: 786000 | #Constraints: 66264
2772.59/2779.98 c #Conflicts: 787000 | #Constraints: 67264
2772.59/2779.98 c #Conflicts: 788000 | #Constraints: 68264
2772.59/2779.98 c #Conflicts: 789000 | #Constraints: 69264
2772.59/2779.98 c #Conflicts: 790000 | #Constraints: 70264
2772.59/2779.98 c #Conflicts: 791000 | #Constraints: 71264
2772.59/2779.98 c #Conflicts: 792000 | #Constraints: 72264
2772.59/2779.98 c #Conflicts: 793000 | #Constraints: 73264
2772.59/2779.98 c #Conflicts: 794000 | #Constraints: 74264
2772.59/2779.98 c #Conflicts: 795000 | #Constraints: 75264
2772.59/2779.98 c #Conflicts: 796000 | #Constraints: 76264
2772.59/2779.98 c #Conflicts: 797000 | #Constraints: 77264
2772.59/2779.98 c #Conflicts: 798000 | #Constraints: 78264
2772.59/2779.98 c INPROCESSING
2772.59/2779.98 c GARBAGE COLLECT
2772.59/2779.98 c rational objective 30
3127.81/3136.04 c #Conflicts: 799000 | #Constraints: 45415
3127.81/3136.04 c #Conflicts: 800000 | #Constraints: 46415
3127.81/3136.04 c #Conflicts: 801000 | #Constraints: 47415
3127.81/3136.04 c #Conflicts: 802000 | #Constraints: 48416
3127.81/3136.04 c #Conflicts: 803000 | #Constraints: 49416
3127.81/3136.04 c #Conflicts: 804000 | #Constraints: 50416
3127.81/3136.04 c #Conflicts: 805000 | #Constraints: 51416
3127.81/3136.04 c #Conflicts: 806000 | #Constraints: 52416
3127.81/3136.04 c #Conflicts: 807000 | #Constraints: 53416
3127.81/3136.04 c #Conflicts: 808000 | #Constraints: 54416
3127.81/3136.04 c #Conflicts: 809000 | #Constraints: 55416
3127.81/3136.04 c #Conflicts: 810000 | #Constraints: 56416
3127.81/3136.04 c #Conflicts: 811000 | #Constraints: 57416
3127.81/3136.04 c #Conflicts: 812000 | #Constraints: 58416
3127.81/3136.04 c #Conflicts: 813000 | #Constraints: 59416
3127.81/3136.04 c #Conflicts: 814000 | #Constraints: 60416
3127.81/3136.04 c #Conflicts: 815000 | #Constraints: 61416
3127.81/3136.04 c #Conflicts: 816000 | #Constraints: 62416
3127.81/3136.04 c #Conflicts: 817000 | #Constraints: 63416
3127.81/3136.04 c #Conflicts: 818000 | #Constraints: 64416
3127.81/3136.04 c #Conflicts: 819000 | #Constraints: 65416
3127.81/3136.04 c #Conflicts: 820000 | #Constraints: 66417
3127.81/3136.04 c #Conflicts: 821000 | #Constraints: 67417
3127.81/3136.04 c #Conflicts: 822000 | #Constraints: 68417
3127.81/3136.04 c #Conflicts: 823000 | #Constraints: 69417
3127.81/3136.04 c #Conflicts: 824000 | #Constraints: 70417
3127.81/3136.04 c #Conflicts: 825000 | #Constraints: 71417
3127.81/3136.04 c #Conflicts: 826000 | #Constraints: 72417
3127.81/3136.04 c #Conflicts: 827000 | #Constraints: 73417
3127.81/3136.04 c #Conflicts: 828000 | #Constraints: 74417
3127.81/3136.04 c #Conflicts: 829000 | #Constraints: 75417
3127.81/3136.04 c #Conflicts: 830000 | #Constraints: 76417
3127.81/3136.04 c #Conflicts: 831000 | #Constraints: 77417
3127.81/3136.04 c #Conflicts: 832000 | #Constraints: 78417
3127.81/3136.04 c #Conflicts: 833000 | #Constraints: 79417
3127.81/3136.04 c #Conflicts: 834000 | #Constraints: 80417
3127.81/3136.04 c #Conflicts: 835000 | #Constraints: 81417
3127.81/3136.04 c #Conflicts: 836000 | #Constraints: 82417
3127.81/3136.04 c #Conflicts: 837000 | #Constraints: 83417
3127.81/3136.04 c #Conflicts: 838000 | #Constraints: 84417
3127.81/3136.04 c #Conflicts: 839000 | #Constraints: 85417
3127.81/3136.04 c #Conflicts: 840000 | #Constraints: 86417
3127.81/3136.04 c #Conflicts: 841000 | #Constraints: 87417
3127.81/3136.04 c #Conflicts: 842000 | #Constraints: 88417
3127.81/3136.04 c #Conflicts: 843000 | #Constraints: 89417
3127.81/3136.04 c #Conflicts: 844000 | #Constraints: 90417
3127.81/3136.04 c #Conflicts: 845000 | #Constraints: 91417
3127.81/3136.04 c #Conflicts: 846000 | #Constraints: 92417
3127.81/3136.04 c #Conflicts: 847000 | #Constraints: 93417
3127.81/3136.04 c #Conflicts: 848000 | #Constraints: 94417
3127.81/3136.04 c #Conflicts: 849000 | #Constraints: 95417
3127.81/3136.04 c #Conflicts: 850000 | #Constraints: 96417
3127.81/3136.04 c #Conflicts: 851000 | #Constraints: 97417
3127.81/3136.04 c #Conflicts: 852000 | #Constraints: 98417
3127.81/3136.04 c #Conflicts: 853000 | #Constraints: 99417
3127.81/3136.04 c #Conflicts: 854000 | #Constraints: 100417
3127.81/3136.04 c #Conflicts: 855000 | #Constraints: 101417
3127.81/3136.04 c #Conflicts: 856000 | #Constraints: 102417
3127.81/3136.04 c #Conflicts: 857000 | #Constraints: 103417
3127.81/3136.04 c #Conflicts: 858000 | #Constraints: 104417
3127.81/3136.04 c INPROCESSING
3127.81/3136.04 c GARBAGE COLLECT
3127.81/3136.04 c rational objective 30
3209.90/3218.39 c #Conflicts: 859000 | #Constraints: 57519
3209.90/3218.39 c #Conflicts: 860000 | #Constraints: 58519
3209.90/3218.39 c #Conflicts: 861000 | #Constraints: 59519
3209.90/3218.39 c #Conflicts: 862000 | #Constraints: 60519
3209.90/3218.39 c #Conflicts: 863000 | #Constraints: 61519
3209.90/3218.39 c #Conflicts: 864000 | #Constraints: 62519
3209.90/3218.39 c #Conflicts: 865000 | #Constraints: 63519
3209.90/3218.39 c #Conflicts: 866000 | #Constraints: 64519
3209.90/3218.39 c #Conflicts: 867000 | #Constraints: 65519
3209.90/3218.39 c #Conflicts: 868000 | #Constraints: 66519
3209.90/3218.39 c #Conflicts: 869000 | #Constraints: 67519
3209.90/3218.39 c #Conflicts: 870000 | #Constraints: 68519
3209.90/3218.39 c #Conflicts: 871000 | #Constraints: 69519
3209.90/3218.39 c #Conflicts: 872000 | #Constraints: 70519
3209.90/3218.39 c #Conflicts: 873000 | #Constraints: 71519
3209.90/3218.39 c #Conflicts: 874000 | #Constraints: 72519
3209.90/3218.39 c #Conflicts: 875000 | #Constraints: 73519
3209.90/3218.39 c #Conflicts: 876000 | #Constraints: 74519
3209.90/3218.39 c #Conflicts: 877000 | #Constraints: 75519
3209.90/3218.39 c #Conflicts: 878000 | #Constraints: 76519
3209.90/3218.39 c #Conflicts: 879000 | #Constraints: 77519
3209.90/3218.39 c #Conflicts: 880000 | #Constraints: 78519
3209.90/3218.39 c #Conflicts: 881000 | #Constraints: 79519
3209.90/3218.39 c #Conflicts: 882000 | #Constraints: 80519
3209.90/3218.39 c #Conflicts: 883000 | #Constraints: 81519
3209.90/3218.39 c #Conflicts: 884000 | #Constraints: 82519
3209.90/3218.39 c INPROCESSING
3209.90/3218.39 c GARBAGE COLLECT
3209.90/3218.39 c rational objective 30
3600.03/3609.40 c #Conflicts: 885000 | #Constraints: 47981
3600.03/3609.40 c #Conflicts: 886000 | #Constraints: 48981
3600.03/3609.40 c #Conflicts: 887000 | #Constraints: 49981
3600.03/3609.40 c #Conflicts: 888000 | #Constraints: 50981
3600.03/3609.40 c #Conflicts: 889000 | #Constraints: 51981
3600.03/3609.40 c #Conflicts: 890000 | #Constraints: 52982
3600.03/3609.40 c #Conflicts: 891000 | #Constraints: 53982
3600.03/3609.40 c #Conflicts: 892000 | #Constraints: 54982
3600.03/3609.40 c #Conflicts: 893000 | #Constraints: 55982
3600.03/3609.40 c #Conflicts: 894000 | #Constraints: 56982
3600.03/3609.40 c #Conflicts: 895000 | #Constraints: 57982
3600.03/3609.40 c #Conflicts: 896000 | #Constraints: 58982
3600.03/3609.40 c #Conflicts: 897000 | #Constraints: 59982
3600.03/3609.40 c #Conflicts: 898000 | #Constraints: 60982
3600.03/3609.40 c #Conflicts: 899000 | #Constraints: 61982
3600.03/3609.40 c #Conflicts: 900000 | #Constraints: 62982
3600.03/3609.40 c #Conflicts: 901000 | #Constraints: 63982
3600.03/3609.40 c #Conflicts: 902000 | #Constraints: 64982
3600.03/3609.40 c #Conflicts: 903000 | #Constraints: 65982
3600.03/3609.40 c #Conflicts: 904000 | #Constraints: 66982
3600.03/3609.40 c #Conflicts: 905000 | #Constraints: 67983
3600.03/3609.40 c #Conflicts: 906000 | #Constraints: 68983
3600.03/3609.40 c #Conflicts: 907000 | #Constraints: 69983
3600.03/3609.40 c #Conflicts: 908000 | #Constraints: 70983
3600.03/3609.40 c #Conflicts: 909000 | #Constraints: 71983
3600.03/3609.40 c #Conflicts: 910000 | #Constraints: 72983
3600.03/3609.40 c #Conflicts: 911000 | #Constraints: 73983
3600.03/3609.40 c #Conflicts: 912000 | #Constraints: 74983
3600.03/3609.40 c #Conflicts: 913000 | #Constraints: 75983
3600.03/3609.40 c #Conflicts: 914000 | #Constraints: 76983
3600.03/3609.40 c #Conflicts: 915000 | #Constraints: 77983
3600.03/3609.40 c #Conflicts: 916000 | #Constraints: 78983
3600.03/3609.40 c #Conflicts: 917000 | #Constraints: 79983
3600.03/3609.40 c #Conflicts: 918000 | #Constraints: 80983
3600.03/3609.40 c #Conflicts: 919000 | #Constraints: 81983
3600.03/3609.40 c #Conflicts: 920000 | #Constraints: 82983
3600.03/3609.40 c #Conflicts: 921000 | #Constraints: 83983
3600.03/3609.40 c #Conflicts: 922000 | #Constraints: 84983
3600.03/3609.40 c #Conflicts: 923000 | #Constraints: 85983
3600.03/3609.40 c #Conflicts: 924000 | #Constraints: 86983
3600.03/3609.40 c #Conflicts: 925000 | #Constraints: 87983
3600.03/3609.40 c #Conflicts: 926000 | #Constraints: 88983
3600.03/3609.40 c #Conflicts: 927000 | #Constraints: 89983
3600.03/3609.40 c #Conflicts: 928000 | #Constraints: 90983
3600.03/3609.40 c #Conflicts: 929000 | #Constraints: 91983
3600.03/3609.40 c #Conflicts: 930000 | #Constraints: 92983
3600.03/3609.40 c #Conflicts: 931000 | #Constraints: 93983
3600.03/3609.40 c #Conflicts: 932000 | #Constraints: 94983
3600.03/3609.40 c #Conflicts: 933000 | #Constraints: 95983
3600.03/3609.40 c #Conflicts: 934000 | #Constraints: 96983
3600.03/3609.40 c #Conflicts: 935000 | #Constraints: 97983
3600.03/3609.40 c #Conflicts: 936000 | #Constraints: 98983
3600.03/3609.40 c #Conflicts: 937000 | #Constraints: 99983
3600.03/3609.40 c #Conflicts: 938000 | #Constraints: 100983
3600.03/3609.40 c #Conflicts: 939000 | #Constraints: 101983
3600.03/3609.40 c cpu time 3586.03 s
3600.03/3609.40 c deterministic time 167964004892 1.68e+11
3600.03/3609.40 c optimization time 389.049 s
3600.03/3609.40 c total solve time 3196.93 s
3600.03/3609.40 c core-guided solve time 0 s
3600.03/3609.40 c propagation time 2369.54 s
3600.03/3609.40 c conflict analysis time 1158.23 s
3600.03/3609.40 c propagations 404680707
3600.03/3609.40 c resolve steps 112597094
3600.03/3609.40 c decisions 1457322
3600.03/3609.40 c conflicts 939556
3600.03/3609.40 c restarts 2043
3600.03/3609.40 c inprocessing phases 40
3600.03/3609.40 c garbage collections 40 ,( 100.00 )
3600.03/3609.40 c input clauses 4662 ,( 57.66 )
3600.03/3609.40 c input cardinalities 0 ,( 0.00 )
3600.03/3609.40 c input general constraints 3423 ,( 42.34 )
3600.03/3609.40 c input average constraint length 3.22
3600.03/3609.40 c input average constraint degree 142600062412722.53
3600.03/3609.40 c learned clauses 525649 ,( 55.95 )
3600.03/3609.40 c learned cardinalities 236 ,( 0.03 )
3600.03/3609.40 c learned general constraints 413684 ,( 44.03 )
3600.03/3609.40 c learned average constraint length 253.75
3600.03/3609.40 c learned average constraint degree 135025143.21
3600.03/3609.40 c watched CF 32, 64, 128, Arb: 52971 , 0 , 0 , 0
3600.03/3609.40 c counting CF 32, 64, 128, Arb: 364135 , 1 , 0 , 0
3600.03/3609.40 c watched constraints 52971 ,( 12.70 )
3600.03/3609.40 c counting constraints 364136 ,( 87.30 )
3600.03/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 654970223 , 4073677 , 60457286143 ,( 120142587 , 60337143556 )
3600.03/3609.40 c gcd simplifications 35521
3600.03/3609.40 c detected cardinalities 116
3600.03/3609.40 c weakened non-implied lits 41717693
3600.03/3609.40 c weakened non-implying lits 585344
3600.03/3609.40 c original variables 5610
3600.03/3609.40 c clausal propagations 151106709
3600.03/3609.40 c cardinality propagations 157590
3600.03/3609.40 c watched propagations 1835027
3600.03/3609.40 c counting propagations 250633389
3600.03/3609.40 c watch lookups 104054828926
3600.03/3609.40 c watch backjump lookups 0
3600.03/3609.40 c watch checks 3672180504
3600.03/3609.40 c propagation checks 58399299630
3600.03/3609.40 c constraint additions 1024325638
3600.03/3609.40 c trail pops 407072220
3600.03/3609.40 c formula constraints 8085
3600.03/3609.40 c learned constraints 939547
3600.03/3609.40 c bound constraints 0
3600.03/3609.40 c core-guided constraints 0
3600.03/3609.40 c encountered formula constraints 80133131
3600.03/3609.40 c encountered learned constraints 33121955
3600.03/3609.40 c encountered bound constraints 0
3600.03/3609.40 c encountered core-guided constraints 0
3600.03/3609.40 c LP total time 32.074 s
3600.03/3609.40 c LP solve time 30.45 s
3600.03/3609.40 c LP constraints added 8085
3600.03/3609.40 c LP constraints removed 0
3600.03/3609.40 c LP pivots internal 94969
3600.03/3609.40 c LP pivots root 64975
3600.03/3609.40 c LP calls 63
3600.03/3609.40 c LP optimalities 32
3600.03/3609.40 c LP no pivot count 17
3600.03/3609.40 c LP infeasibilities 16
3600.03/3609.40 c LP valid Farkas constraints 14
3600.03/3609.40 c LP learned Farkas constraints 8
3600.03/3609.40 c LP basis resets 12
3600.03/3609.40 c LP cycling count 2
3600.03/3609.40 c LP singular count 9
3600.03/3609.40 c LP no primal count 0
3600.03/3609.40 c LP no farkas count 1
3600.03/3609.40 c LP other issue count 0
3600.03/3609.40 c LP Gomory cuts 0
3600.03/3609.40 c LP learned cuts 0
3600.03/3609.40 c LP deleted cuts 0
3600.03/3609.40 c LP encountered Gomory constraints 0
3600.03/3609.40 c LP encountered Farkas constraints 280895
3600.03/3609.40 c LP encountered learned Farkas constraints 661
3600.03/3609.40 c CG auxiliary variables introduced 0
3600.03/3609.40 c CG solutions found 0
3600.03/3609.40 c CG cores constructed 0
3600.03/3609.40 c CG core cardinality constraints returned 0
3600.03/3609.40 c CG unit cores 0
3600.03/3609.40 c CG single cores 0
3600.03/3609.40 c CG blocks removed during cardinality reduction 0
3600.03/3609.40 c CG first core best 0
3600.03/3609.40 c CG decision core best 0
3600.03/3609.40 c CG core reduction tie 0
3600.03/3609.40 c CG core degree average 0.00
3600.03/3609.40 c CG core slack average 0.00
3600.03/3609.40 c CG core upper bound improvements 0
3600.03/3609.40 c STR number of successful calls 0
3600.03/3609.40 c STR number of unsuccessful calls 0
3600.03/3609.40 c STR number of inconclusive calls 0
3600.03/3609.40 c STR number of successful attempts 0
3600.03/3609.40 c STR number of unsuccessful attempts 0
3600.03/3609.40 c STR number of inconclusive attempts 0
3600.03/3609.40 c STR average degree increase per successful call inf
3600.03/3609.40 c STR average degree increase per successful attempt inf
3600.03/3609.40 c STR total number of conflicts for successful attempts 0
3600.03/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.40 c STR average number of conflicts per successful attempt inf
3600.03/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.40 c AVG.sumWPerc 80.63
3600.03/3609.40 c bigint constraints 1
3600.03/3609.40 s UNKNOWN
3600.03/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62120 MiB free)
memory of node 1: 64465 MiB (59464 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541532-1753198973/watcher-4541532-1753198973 -o /tmp/evaluation-result-4541532-1753198973/solver-4541532-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165675 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541532-1753198973.opb /tmp/proof-4541532-1753198973
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=165716, runsolver pid=165704
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 0.06 0.08 0.09 3/254 165723
/proc/meminfo: memFree=124490916/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=58040 memory=13652 CPUtime=0.02 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 1057 0 0 0 2 0 0 0 20 0 1 0 235575947 59432960 3413 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 14510 3413 2080 1147 0 1937 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 62232 KiB
Current children cumulated memory: 16724 KiB
[startup+0.205515 s]*
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124470412/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=69988 memory=26304 CPUtime=0.12 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 4533 0 0 0 11 1 0 0 20 0 1 0 235575947 71667712 6576 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 17497 6576 2368 1147 0 4924 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 74180 KiB
Current children cumulated memory: 29376 KiB
[startup+0.30582 s]*
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124444856/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=71324 memory=27840 CPUtime=0.21 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 4863 0 0 0 20 1 0 0 20 0 1 0 235575947 73035776 6960 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 17831 6960 2400 1147 0 5258 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75516 KiB
Current children cumulated memory: 30912 KiB
[startup+0.700141 s]
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124439816/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=73264 memory=29504 CPUtime=0.6 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 5292 0 0 0 58 2 0 0 20 0 1 0 235575947 75022336 7376 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 18316 7376 2400 1147 0 5743 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 77456 KiB
Current children cumulated memory: 32576 KiB
[startup+1.50018 s]
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124427724/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=74680 memory=31040 CPUtime=1.4 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 5696 0 0 0 136 4 0 0 20 0 1 0 235575947 76472320 7760 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 18670 7760 2400 1147 0 6097 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 78872 KiB
Current children cumulated memory: 34112 KiB
[startup+3.10548 s]
/proc/loadavg: 0.37 0.15 0.11 5/269 165741
/proc/meminfo: memFree=124300456/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=77872 memory=36256 CPUtime=3.01 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 6484 0 0 0 293 8 0 0 20 0 1 0 235575947 79740928 9064 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 19468 9064 2400 1147 0 6895 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 82064 KiB
Current children cumulated memory: 39328 KiB
[startup+6.30017 s]
/proc/loadavg: 0.37 0.15 0.11 5/269 165741
/proc/meminfo: memFree=124180644/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=79392 memory=37920 CPUtime=6.19 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 6887 0 0 0 607 12 0 0 20 0 1 0 235575947 81297408 9480 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 19848 9480 2400 1147 0 7275 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 83584 KiB
Current children cumulated memory: 40992 KiB
[startup+12.7001 s]
/proc/loadavg: 1.01 0.29 0.16 5/269 165741
/proc/meminfo: memFree=123924272/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=85260 memory=43148 CPUtime=12.57 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 7702 0 0 0 1235 22 0 0 20 0 1 0 235575947 87306240 10787 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 21315 10787 2400 1147 0 8742 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 89452 KiB
Current children cumulated memory: 46220 KiB
[startup+25.5002 s]
/proc/loadavg: 1.55 0.43 0.20 5/269 165741
/proc/meminfo: memFree=123454588/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=103960 memory=60864 CPUtime=25.34 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 11489 0 0 0 2497 37 0 0 20 0 1 0 235575947 106455040 15216 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 25990 15216 2528 1147 0 13417 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 108152 KiB
Current children cumulated memory: 63936 KiB
[startup+51.1057 s]
/proc/loadavg: 2.47 0.73 0.31 5/270 165742
/proc/meminfo: memFree=122727688/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=142188 memory=89112 CPUtime=50.86 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 17037 0 0 0 5032 54 0 0 20 0 1 0 235575947 145600512 22278 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 35547 22278 2528 1147 0 22974 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 146380 KiB
Current children cumulated memory: 92184 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.35 0.55 5/270 165744
/proc/meminfo: memFree=121404712/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=155048 memory=108336 CPUtime=101.91 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 20265 0 0 0 10100 91 0 0 20 0 1 0 235575947 158769152 27084 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 38762 27084 2528 1147 0 26189 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 159240 KiB
Current children cumulated memory: 111408 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 1.89 0.79 5/270 165746
/proc/meminfo: memFree=120112360/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=183956 memory=126108 CPUtime=161.77 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 23207 0 0 0 16051 126 0 0 20 0 1 0 235575947 188370944 31527 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 45989 31527 2528 1147 0 33416 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 188148 KiB
Current children cumulated memory: 129180 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 2.32 1.01 5/270 165748
/proc/meminfo: memFree=118940896/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=189848 memory=131612 CPUtime=221.62 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 24564 0 0 0 21994 168 0 0 20 0 1 0 235575947 194404352 32903 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 47462 32903 2528 1147 0 34889 0
################
# More data... #
################
/proc/165721/statm: 134219 115847 2528 1147 0 121646 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 541068 KiB
Current children cumulated memory: 466460 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.17 4.07 5/267 165900
/proc/meminfo: memFree=88494976/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=536876 memory=463388 CPUtime=3094.19 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 78962 0 0 0 308155 1264 0 0 20 0 1 0 235575947 549761024 115847 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134219 115847 2528 1147 0 121646 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 541068 KiB
Current children cumulated memory: 466460 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.18 4.08 5/267 165902
/proc/meminfo: memFree=87914696/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537492 memory=464028 CPUtime=3154.04 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79119 0 0 0 314118 1286 0 0 20 0 1 0 235575947 550391808 116007 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134373 116007 2528 1147 0 121800 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 541684 KiB
Current children cumulated memory: 467100 KiB
[startup+3222.3 s]
/proc/loadavg: 4.24 4.20 4.09 5/267 165904
/proc/meminfo: memFree=87414576/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537492 memory=464028 CPUtime=3213.89 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79119 0 0 0 320079 1310 0 0 20 0 1 0 235575947 550391808 116007 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134373 116007 2528 1147 0 121800 0
Current children cumulated CPU time: 3213.89 s
Current children cumulated vsize: 541684 KiB
Current children cumulated memory: 467100 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/267 165906
/proc/meminfo: memFree=86865752/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537492 memory=464028 CPUtime=3273.75 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79119 0 0 0 326042 1333 0 0 20 0 1 0 235575947 550391808 116007 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134373 116007 2528 1147 0 121800 0
Current children cumulated CPU time: 3273.75 s
Current children cumulated vsize: 541684 KiB
Current children cumulated memory: 467100 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/267 165909
/proc/meminfo: memFree=86415156/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537492 memory=464028 CPUtime=3333.6 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79119 0 0 0 332008 1352 0 0 20 0 1 0 235575947 550391808 116007 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134373 116007 2528 1147 0 121800 0
Current children cumulated CPU time: 3333.6 s
Current children cumulated vsize: 541684 KiB
Current children cumulated memory: 467100 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/271 165915
/proc/meminfo: memFree=85887464/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537492 memory=464028 CPUtime=3393.45 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79119 0 0 0 337979 1366 0 0 20 0 1 0 235575947 550391808 116007 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134373 116007 2528 1147 0 121800 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 541684 KiB
Current children cumulated memory: 467100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/271 165917
/proc/meminfo: memFree=85420360/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537492 memory=464028 CPUtime=3453.3 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79119 0 0 0 343953 1377 0 0 20 0 1 0 235575947 550391808 116007 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134373 116007 2528 1147 0 121800 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 541684 KiB
Current children cumulated memory: 467100 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/271 165919
/proc/meminfo: memFree=84992324/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=537896 memory=464284 CPUtime=3513.15 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79189 0 0 0 349925 1390 0 0 20 0 1 0 235575947 550805504 116071 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134474 116071 2528 1147 0 121901 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 542088 KiB
Current children cumulated memory: 467356 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/271 165921
/proc/meminfo: memFree=84572564/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=538856 memory=464796 CPUtime=3573 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79321 0 0 0 355902 1398 0 0 20 0 1 0 235575947 551788544 116199 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 134714 116199 2528 1147 0 122141 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 543048 KiB
Current children cumulated memory: 467868 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/272 165929
/proc/meminfo: memFree=84399500/131249988 swapFree=33010416/33010684
[pid=165716] ppid=165704 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/165716/stat : 165716 (run-dec-break-l) S 165704 165716 165659 0 -1 4194304 238 3203 0 0 0 0 0 0 20 0 1 0 235575942 4292608 768 18446744073709551615 94379812057088 94379812951621 140729736154368 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94379813190672 94379813238416 94379834380288 140729736157497 140729736157660 140729736157660 140729736163264 0
/proc/165716/statm: 1048 768 704 219 0 110 0
[pid=165721] ppid=165716 vsize=540136 memory=471700 CPUtime=3600.03 cores=4,6
/proc/165721/stat : 165721 (roundingsat) R 165716 165716 165659 0 -1 4194304 79508 0 0 0 358602 1401 0 0 20 0 1 0 235575947 553099264 117925 18446744073709551615 4227072 8923433 140722063850272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16744448 140722063857944 140722063858214 140722063858214 140722063863786 0
/proc/165721/statm: 135034 117925 2528 1147 0 122461 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 544328 KiB
Current children cumulated memory: 474772 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.4 s]
# the end of solver process 165716 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.009952 s, system=0.009631 s
Sleeping 2 seconds
[startup+3609.41 s]
# the end of solver process 165721 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.05 s, system=14.029 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.41
CPU time (s): 3600.08
CPU user time (s): 3586.05
CPU system time (s): 14.029
CPU usage (%): 99.7414
Max. virtual memory (cumulated for all children) (KiB): 544328
Max. memory (cumulated for all children) (KiB): 474772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.05
system time used= 14.029
maximum resident set size= 471828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11051400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 4844
# summary of solver processes directly reported to runsolver:
# pid: 165716,165721
# total CPU time (s): 3600.08
# total CPU user time (s): 3586.05
# total CPU system time (s): 14.029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38161 second user time and 16.7884 second system time
The end
Begin job on nodeC031 at 2025-07-22 17:42:53
IDJOB=4541532
IDBENCH=163136
IDSOLVER=3358
FILE ID=nodeC031/4541532-1753198973
RUNJOBID= nodeC031-1753198973-165675
SLURM_JOB_ID= 9687764
Free space on /tmp= 432952 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq5/normalized-30array_ineq5.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541532-1753198973/watcher-4541532-1753198973 -o /tmp/evaluation-result-4541532-1753198973/solver-4541532-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165675 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541532-1753198973.opb /tmp/proof-4541532-1753198973
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=1581860338
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1844.701
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.019
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.965
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1992.719
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.356
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.916
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 124528764 kB
MemAvailable: 129629896 kB
Buffers: 2128 kB
Cached: 5786384 kB
SwapCached: 8 kB
Active: 1216772 kB
Inactive: 4652332 kB
Active(anon): 96376 kB
Inactive(anon): 10464 kB
Active(file): 1120396 kB
Inactive(file): 4641868 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7444 kB
Writeback: 0 kB
AnonPages: 83868 kB
Mapped: 108816 kB
Shmem: 26248 kB
KReclaimable: 356212 kB
Slab: 454556 kB
SReclaimable: 356212 kB
SUnreclaim: 98344 kB
KernelStack: 4160 kB
PageTables: 3024 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 360272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 387864 MiB
End job on nodeC031 at 2025-07-22 18:43:04