0.00/0.05 c RoundingSat 2
0.00/0.05 c branch pb25
0.00/0.05 c commit 63f22ad
0.00/0.09 c #variables 5610 #constraints 8085
0.04/0.10 c rational objective 30
43.62/43.80 c #Conflicts: 1000 | #Constraints: 9085
43.62/43.80 c #Conflicts: 2000 | #Constraints: 10086
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 3000 | #Constraints: 9503
43.62/43.80 c #Conflicts: 4000 | #Constraints: 10503
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 5000 | #Constraints: 9944
43.62/43.80 c #Conflicts: 6000 | #Constraints: 10944
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 7000 | #Constraints: 9982
43.62/43.80 c #Conflicts: 8000 | #Constraints: 10982
43.62/43.80 c #Conflicts: 9000 | #Constraints: 11982
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 10000 | #Constraints: 10727
43.62/43.80 c #Conflicts: 11000 | #Constraints: 11727
43.62/43.80 c #Conflicts: 12000 | #Constraints: 12727
43.62/43.80 c #Conflicts: 13000 | #Constraints: 13727
43.62/43.80 c #Conflicts: 14000 | #Constraints: 14727
43.62/43.80 c #Conflicts: 15000 | #Constraints: 15727
43.62/43.80 c #Conflicts: 16000 | #Constraints: 16727
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 17000 | #Constraints: 12987
43.62/43.80 c #Conflicts: 18000 | #Constraints: 13987
43.62/43.80 c #Conflicts: 19000 | #Constraints: 14987
43.62/43.80 c #Conflicts: 20000 | #Constraints: 15987
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 21000 | #Constraints: 12735
43.62/43.80 c #Conflicts: 22000 | #Constraints: 13735
43.62/43.80 c #Conflicts: 23000 | #Constraints: 14735
43.62/43.80 c #Conflicts: 24000 | #Constraints: 15735
43.62/43.80 c #Conflicts: 25000 | #Constraints: 16735
43.62/43.80 c #Conflicts: 26000 | #Constraints: 17735
43.62/43.80 c #Conflicts: 27000 | #Constraints: 18735
43.62/43.80 c #Conflicts: 28000 | #Constraints: 19735
43.62/43.80 c #Conflicts: 29000 | #Constraints: 20735
43.62/43.80 c #Conflicts: 30000 | #Constraints: 21735
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 31000 | #Constraints: 15467
43.62/43.80 c #Conflicts: 32000 | #Constraints: 16467
43.62/43.80 c #Conflicts: 33000 | #Constraints: 17467
43.62/43.80 c #Conflicts: 34000 | #Constraints: 18467
43.62/43.80 c #Conflicts: 35000 | #Constraints: 19467
43.62/43.80 c #Conflicts: 36000 | #Constraints: 20467
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 37000 | #Constraints: 15217
43.62/43.80 c #Conflicts: 38000 | #Constraints: 16217
43.62/43.80 c #Conflicts: 39000 | #Constraints: 17217
43.62/43.80 c #Conflicts: 40000 | #Constraints: 18217
43.62/43.80 c #Conflicts: 41000 | #Constraints: 19217
43.62/43.80 c #Conflicts: 42000 | #Constraints: 20217
43.62/43.80 c #Conflicts: 43000 | #Constraints: 21217
43.62/43.80 c #Conflicts: 44000 | #Constraints: 22217
43.62/43.80 c #Conflicts: 45000 | #Constraints: 23217
43.62/43.80 c #Conflicts: 46000 | #Constraints: 24217
43.62/43.80 c #Conflicts: 47000 | #Constraints: 25217
43.62/43.80 c #Conflicts: 48000 | #Constraints: 26217
43.62/43.80 c #Conflicts: 49000 | #Constraints: 27217
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c #Conflicts: 50000 | #Constraints: 18355
43.62/43.80 c #Conflicts: 51000 | #Constraints: 19355
43.62/43.80 c #Conflicts: 52000 | #Constraints: 20355
43.62/43.80 c #Conflicts: 53000 | #Constraints: 21355
43.62/43.80 c #Conflicts: 54000 | #Constraints: 22355
43.62/43.80 c #Conflicts: 55000 | #Constraints: 23355
43.62/43.80 c #Conflicts: 56000 | #Constraints: 24355
43.62/43.80 c INPROCESSING
43.62/43.80 c GARBAGE COLLECT
43.62/43.80 c rational objective 30
161.00/161.55 c #Conflicts: 57000 | #Constraints: 17175
161.00/161.55 c #Conflicts: 58000 | #Constraints: 18175
161.00/161.55 c #Conflicts: 59000 | #Constraints: 19175
161.00/161.55 c #Conflicts: 60000 | #Constraints: 20175
161.00/161.55 c #Conflicts: 61000 | #Constraints: 21175
161.00/161.55 c #Conflicts: 62000 | #Constraints: 22175
161.00/161.55 c #Conflicts: 63000 | #Constraints: 23175
161.00/161.55 c #Conflicts: 64000 | #Constraints: 24175
161.00/161.55 c #Conflicts: 65000 | #Constraints: 25175
161.00/161.55 c #Conflicts: 66000 | #Constraints: 26175
161.00/161.55 c #Conflicts: 67000 | #Constraints: 27175
161.00/161.55 c #Conflicts: 68000 | #Constraints: 28175
161.00/161.55 c #Conflicts: 69000 | #Constraints: 29175
161.00/161.55 c #Conflicts: 70000 | #Constraints: 30175
161.00/161.55 c #Conflicts: 71000 | #Constraints: 31175
161.00/161.55 c #Conflicts: 72000 | #Constraints: 32175
161.00/161.55 c INPROCESSING
161.00/161.55 c GARBAGE COLLECT
161.00/161.55 c #Conflicts: 73000 | #Constraints: 20902
161.00/161.55 c #Conflicts: 74000 | #Constraints: 21902
161.00/161.55 c #Conflicts: 75000 | #Constraints: 22902
161.00/161.55 c #Conflicts: 76000 | #Constraints: 23902
161.00/161.55 c #Conflicts: 77000 | #Constraints: 24902
161.00/161.55 c #Conflicts: 78000 | #Constraints: 25902
161.00/161.55 c #Conflicts: 79000 | #Constraints: 26902
161.00/161.55 c #Conflicts: 80000 | #Constraints: 27902
161.00/161.55 c INPROCESSING
161.00/161.55 c GARBAGE COLLECT
161.00/161.55 c #Conflicts: 81000 | #Constraints: 18813
161.00/161.55 c #Conflicts: 82000 | #Constraints: 19813
161.00/161.55 c #Conflicts: 83000 | #Constraints: 20813
161.00/161.55 c #Conflicts: 84000 | #Constraints: 21813
161.00/161.55 c #Conflicts: 85000 | #Constraints: 22813
161.00/161.55 c #Conflicts: 86000 | #Constraints: 23813
161.00/161.55 c #Conflicts: 87000 | #Constraints: 24813
161.00/161.55 c #Conflicts: 88000 | #Constraints: 25813
161.00/161.55 c #Conflicts: 89000 | #Constraints: 26813
161.00/161.55 c #Conflicts: 90000 | #Constraints: 27813
161.00/161.55 c #Conflicts: 91000 | #Constraints: 28813
161.00/161.55 c #Conflicts: 92000 | #Constraints: 29813
161.00/161.55 c #Conflicts: 93000 | #Constraints: 30813
161.00/161.55 c #Conflicts: 94000 | #Constraints: 31813
161.00/161.55 c #Conflicts: 95000 | #Constraints: 32813
161.00/161.55 c #Conflicts: 96000 | #Constraints: 33813
161.00/161.55 c #Conflicts: 97000 | #Constraints: 34813
161.00/161.55 c #Conflicts: 98000 | #Constraints: 35813
161.00/161.55 c #Conflicts: 99000 | #Constraints: 36813
161.00/161.55 c #Conflicts: 100000 | #Constraints: 37813
161.00/161.55 c INPROCESSING
161.00/161.55 c GARBAGE COLLECT
161.00/161.55 c #Conflicts: 101000 | #Constraints: 23970
161.00/161.55 c #Conflicts: 102000 | #Constraints: 24970
161.00/161.55 c #Conflicts: 103000 | #Constraints: 25970
161.00/161.55 c #Conflicts: 104000 | #Constraints: 26970
161.00/161.55 c #Conflicts: 105000 | #Constraints: 27970
161.00/161.55 c #Conflicts: 106000 | #Constraints: 28970
161.00/161.55 c #Conflicts: 107000 | #Constraints: 29970
161.00/161.55 c #Conflicts: 108000 | #Constraints: 30970
161.00/161.55 c #Conflicts: 109000 | #Constraints: 31970
161.00/161.55 c INPROCESSING
161.00/161.55 c GARBAGE COLLECT
161.00/161.55 c #Conflicts: 110000 | #Constraints: 20979
161.00/161.55 c #Conflicts: 111000 | #Constraints: 21979
161.00/161.55 c #Conflicts: 112000 | #Constraints: 22979
161.00/161.55 c #Conflicts: 113000 | #Constraints: 23979
161.00/161.55 c #Conflicts: 114000 | #Constraints: 24979
161.00/161.55 c #Conflicts: 115000 | #Constraints: 25979
161.00/161.55 c #Conflicts: 116000 | #Constraints: 26979
161.00/161.55 c #Conflicts: 117000 | #Constraints: 27979
161.00/161.55 c #Conflicts: 118000 | #Constraints: 28979
161.00/161.55 c #Conflicts: 119000 | #Constraints: 29979
161.00/161.55 c #Conflicts: 120000 | #Constraints: 30979
161.00/161.55 c #Conflicts: 121000 | #Constraints: 31979
161.00/161.55 c #Conflicts: 122000 | #Constraints: 32979
161.00/161.55 c #Conflicts: 123000 | #Constraints: 33979
161.00/161.55 c #Conflicts: 124000 | #Constraints: 34979
161.00/161.55 c #Conflicts: 125000 | #Constraints: 35979
161.00/161.55 c #Conflicts: 126000 | #Constraints: 36979
161.00/161.55 c #Conflicts: 127000 | #Constraints: 37979
161.00/161.55 c #Conflicts: 128000 | #Constraints: 38979
161.00/161.55 c #Conflicts: 129000 | #Constraints: 39979
161.00/161.55 c #Conflicts: 130000 | #Constraints: 40979
161.00/161.55 c #Conflicts: 131000 | #Constraints: 41979
161.00/161.55 c #Conflicts: 132000 | #Constraints: 42979
161.00/161.55 c INPROCESSING
161.90/162.49 c GARBAGE COLLECT
161.90/162.49 c rational objective 30
289.57/290.48 c #Conflicts: 133000 | #Constraints: 26622
289.57/290.48 c #Conflicts: 134000 | #Constraints: 27622
289.57/290.48 c #Conflicts: 135000 | #Constraints: 28622
289.57/290.48 c #Conflicts: 136000 | #Constraints: 29622
289.57/290.48 c #Conflicts: 137000 | #Constraints: 30622
289.57/290.48 c #Conflicts: 138000 | #Constraints: 31622
289.57/290.48 c #Conflicts: 139000 | #Constraints: 32622
289.57/290.48 c #Conflicts: 140000 | #Constraints: 33622
289.57/290.48 c #Conflicts: 141000 | #Constraints: 34622
289.57/290.48 c #Conflicts: 142000 | #Constraints: 35622
289.57/290.48 c INPROCESSING
289.57/290.48 c GARBAGE COLLECT
289.57/290.48 c #Conflicts: 143000 | #Constraints: 22756
289.57/290.48 c #Conflicts: 144000 | #Constraints: 23756
289.57/290.48 c #Conflicts: 145000 | #Constraints: 24756
289.57/290.48 c #Conflicts: 146000 | #Constraints: 25756
289.57/290.48 c #Conflicts: 147000 | #Constraints: 26756
289.57/290.48 c #Conflicts: 148000 | #Constraints: 27756
289.57/290.48 c #Conflicts: 149000 | #Constraints: 28756
289.57/290.48 c #Conflicts: 150000 | #Constraints: 29756
289.57/290.48 c #Conflicts: 151000 | #Constraints: 30756
289.57/290.48 c #Conflicts: 152000 | #Constraints: 31756
289.57/290.48 c #Conflicts: 153000 | #Constraints: 32756
289.57/290.48 c #Conflicts: 154000 | #Constraints: 33756
289.57/290.48 c #Conflicts: 155000 | #Constraints: 34756
289.57/290.48 c #Conflicts: 156000 | #Constraints: 35756
289.57/290.48 c #Conflicts: 157000 | #Constraints: 36756
289.57/290.48 c #Conflicts: 158000 | #Constraints: 37756
289.57/290.48 c #Conflicts: 159000 | #Constraints: 38756
289.57/290.48 c #Conflicts: 160000 | #Constraints: 39756
289.57/290.48 c #Conflicts: 161000 | #Constraints: 40756
289.57/290.48 c #Conflicts: 162000 | #Constraints: 41756
289.57/290.48 c #Conflicts: 163000 | #Constraints: 42756
289.57/290.48 c #Conflicts: 164000 | #Constraints: 43756
289.57/290.48 c #Conflicts: 165000 | #Constraints: 44756
289.57/290.48 c #Conflicts: 166000 | #Constraints: 45756
289.57/290.48 c #Conflicts: 167000 | #Constraints: 46756
289.57/290.48 c #Conflicts: 168000 | #Constraints: 47756
289.57/290.48 c INPROCESSING
289.57/290.48 c GARBAGE COLLECT
289.57/290.48 c #Conflicts: 169000 | #Constraints: 28906
289.57/290.48 c #Conflicts: 170000 | #Constraints: 29906
289.57/290.48 c #Conflicts: 171000 | #Constraints: 30906
289.57/290.48 c #Conflicts: 172000 | #Constraints: 31906
289.57/290.48 c #Conflicts: 173000 | #Constraints: 32906
289.57/290.48 c #Conflicts: 174000 | #Constraints: 33906
289.57/290.48 c #Conflicts: 175000 | #Constraints: 34906
289.57/290.48 c #Conflicts: 176000 | #Constraints: 35906
289.57/290.48 c #Conflicts: 177000 | #Constraints: 36906
289.57/290.48 c #Conflicts: 178000 | #Constraints: 37906
289.57/290.48 c #Conflicts: 179000 | #Constraints: 38906
289.57/290.48 c #Conflicts: 180000 | #Constraints: 39906
289.57/290.48 c INPROCESSING
289.57/290.48 c GARBAGE COLLECT
289.57/290.48 c #Conflicts: 181000 | #Constraints: 25217
289.57/290.48 c #Conflicts: 182000 | #Constraints: 26217
289.57/290.48 c #Conflicts: 183000 | #Constraints: 27217
289.57/290.48 c #Conflicts: 184000 | #Constraints: 28217
289.57/290.48 c #Conflicts: 185000 | #Constraints: 29217
289.57/290.48 c #Conflicts: 186000 | #Constraints: 30217
289.57/290.48 c #Conflicts: 187000 | #Constraints: 31217
289.57/290.48 c #Conflicts: 188000 | #Constraints: 32217
289.57/290.48 c #Conflicts: 189000 | #Constraints: 33217
289.57/290.48 c #Conflicts: 190000 | #Constraints: 34217
289.57/290.48 c #Conflicts: 191000 | #Constraints: 35217
289.57/290.48 c #Conflicts: 192000 | #Constraints: 36217
289.57/290.48 c #Conflicts: 193000 | #Constraints: 37217
289.57/290.48 c #Conflicts: 194000 | #Constraints: 38217
289.57/290.48 c #Conflicts: 195000 | #Constraints: 39217
289.57/290.48 c #Conflicts: 196000 | #Constraints: 40217
289.57/290.48 c #Conflicts: 197000 | #Constraints: 41217
289.57/290.48 c #Conflicts: 198000 | #Constraints: 42217
289.57/290.48 c #Conflicts: 199000 | #Constraints: 43217
289.57/290.48 c #Conflicts: 200000 | #Constraints: 44217
289.57/290.48 c #Conflicts: 201000 | #Constraints: 45217
289.57/290.48 c #Conflicts: 202000 | #Constraints: 46217
289.57/290.48 c #Conflicts: 203000 | #Constraints: 47217
289.57/290.48 WSVECS04 Frhs2[142]: 6 -29.6667 0 shouldn't be
289.57/290.48 WSVECS04 Frhs2[1920]: 6 0 4.28527e+12 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2602]: 6 -1.875 0 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2929]: 6 0 12.0897 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2930]: 6 0 27.1795 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2931]: 6 0 59.3589 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2989]: 6 0 57.3589 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2990]: 6 0 120.718 shouldn't be
289.57/290.48 WSVECS04 Frhs2[2991]: 6 0 246.436 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3049]: 6 0 244.436 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3050]: 6 0 494.871 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3051]: 6 0 994.743 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3109]: 6 0 992.743 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3110]: 6 0 1991.49 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3111]: 6 0 3987.97 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3160]: 6 0 4.79435 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3169]: 6 0 3985.97 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3170]: 6 0 7977.94 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3171]: 6 0 15960.9 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3220]: 6 0 28.1774 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3229]: 6 0 15958.9 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3230]: 6 0 31892.9 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3280]: 6 0 121.71 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3289]: 6 0 63850.5 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3290]: 6 0 127707 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3291]: 6 0 255419 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3340]: 6 0 495.839 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3349]: 6 0 255417 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3350]: 6 0 510840 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3351]: 6 0 1.02165e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3400]: 6 0 1992.35 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3409]: 6 0 1.02168e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3410]: 6 0 2.04337e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3411]: 6 0 4.08675e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3460]: 6 0 7978.42 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3469]: 6 0 4.08675e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3470]: 6 0 8.1735e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3471]: 6 0 1.6347e+07 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3529]: 6 0 1.6347e+07 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3530]: 6 0 3.2694e+07 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3531]: 6 0 6.5388e+07 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3580]: 6 0 127661 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3589]: 6 0 6.5388e+07 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3590]: 6 0 1.30776e+08 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3591]: 6 0 2.61552e+08 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3640]: 6 0 510635 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3649]: 6 0 2.61552e+08 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3913]: 6 0 2 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3914]: 6 0 1 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3972]: 6 0 1 shouldn't be
289.57/290.48 WSVECS04 Frhs2[3999]: 6 0 4.5 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4029]: 6 0 2 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4086]: 6 0 3 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4203]: 6 0 2 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4222]: 6 0 1 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4251]: 6 0 1 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4260]: 6 0 3 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4261]: 6 0 2 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4280]: 6 0 1 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4290]: 6 0 2 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4318]: 6 0 3 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4349]: 6 0 11 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4380]: 6 0 1.5 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4407]: 6 0 11 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4436]: 6 0 1 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4463]: 6 0 13 shouldn't be
289.57/290.48 WSVECS04 Frhs2[4571]: 6 0 8.17349e+06 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5162]: 6 0 2.79155 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5222]: 6 0 26.1662 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5282]: 6 0 119.665 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5342]: 6 0 492.659 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5402]: 6 0 1989.64 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5451]: 6 0 8 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5462]: 6 0 7973.54 shouldn't be
289.57/290.48 WSVECS04 Frhs2[5470]: 6 0 4.08673e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[14]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1161]: 6 0 1.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1219]: 6 0 1.875 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1247]: 6 0 3.75 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1363]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1421]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1479]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1508]: 6 0 3.96875 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1683]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1916]: 6 0 4.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1922]: 6 -0.5 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1931]: 6 -4.25049 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1935]: 6 -1 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1964]: 6 -6 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1968]: 6 -0.187501 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1997]: 6 -2.8125 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[1999]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2000]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2001]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2003]: 6 -254.437 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2027]: 6 -3.625 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2028]: 6 -2.75 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2029]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2030]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2057]: 6 -2.25 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2063]: 6 -1001.74 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2092]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2152]: 6 -2 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2183]: 6 -15966.4 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2212]: 6 -1.99999 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2332]: 6 -1.99976 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2363]: 6 -1.02169e+06 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2395]: 6 -2.1875 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2483]: 6 -1.6347e+07 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2513]: 6 -3.2694e+07 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2542]: 6 -1.96875 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2573]: 6 -1.30776e+08 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2640]: 6 0 3.34787e+10 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2670]: 6 -48.7308 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2723]: 6 -4.18484e+09 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2815]: 6 0 88.0086 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2869]: 6 0 1.52243 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2870]: 6 0 3.79115 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2871]: 6 0 11.5823 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2875]: 6 0 247.186 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2877]: 6 0 993.739 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2933]: 6 0 246.436 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2935]: 6 0 994.743 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2937]: 6 0 3987.97 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2993]: 6 0 995.243 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2995]: 6 0 3988.72 shouldn't be
291.27/292.17 WSVECS04 Frhs2[2997]: 6 0 15960.9 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3053]: 6 0 3987.97 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3055]: 6 0 15960.9 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3113]: 6 0 15960.9 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3115]: 6 0 63852.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3117]: 6 0 255419 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3173]: 6 0 63852.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3175]: 6 0 255419 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3177]: 6 0 1.02169e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3214]: 6 -2.51303 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3215]: 6 -1.02606 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3231]: 6 0 63852.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3233]: 6 0 255419 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3235]: 6 0 1.02169e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3237]: 6 0 4.08675e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3293]: 6 0 1.02169e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3295]: 6 0 4.08675e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3297]: 6 0 1.6347e+07 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3353]: 6 0 4.08673e+06 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3355]: 6 0 1.6347e+07 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3357]: 6 0 6.53881e+07 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3413]: 6 0 1.6347e+07 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3415]: 6 0 6.53881e+07 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3417]: 6 0 2.61552e+08 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3473]: 6 0 6.53881e+07 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3475]: 6 0 2.61552e+08 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3533]: 6 0 2.61552e+08 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3535]: 6 0 1.04621e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3537]: 6 0 4.18484e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3593]: 6 0 1.04621e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3597]: 6 0 1.67393e+10 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3650]: 6 0 5.23104e+08 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3655]: 6 0 1.67393e+10 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3657]: 6 0 6.69574e+10 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3768]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3769]: 6 0 3.01484 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3771]: 6 0 3.00792 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3775]: 6 0 3.00679 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3800]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3804]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3827]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3829]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3831]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3833]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3856]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3858]: 6 0 1.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3862]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3883]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3884]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3891]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3916]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3920]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3941]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3942]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3945]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3947]: 6 0 1.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3949]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3978]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[3990]: 6 0 0.897178 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4001]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4007]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4019]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4030]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4036]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4048]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4057]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4058]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4059]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4061]: 6 0 1.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4063]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4065]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4077]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4092]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4094]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4106]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4115]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4119]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4121]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4123]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4150]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4152]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4173]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4174]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4177]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4179]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4181]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4208]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4210]: 6 0 1.5 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4231]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4232]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4233]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4268]: 6 0 2.375 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4289]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4291]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4295]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4309]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4338]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4347]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4355]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4405]: 6 0 13 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4413]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4441]: 6 0 3.75 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4442]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4464]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4469]: 6 0 8.36967e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4471]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4492]: 6 0 3 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4497]: 6 0 8.36967e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4500]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4529]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4557]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4580]: 6 0 1 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4581]: 6 0 8.36967e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[4590]: 6 0 2 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5421]: 6 0 2.09242e+09 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5483]: 6 0 3.34787e+10 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5485]: 6 0 1.33915e+11 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5487]: 6 0 5.35659e+11 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5492]: 6 -1.00857 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5501]: 6 -1.00857 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5505]: 6 -1.12857 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5508]: 6 -1.97711 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5509]: 6 -2.95422 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5510]: 6 -4.89986 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5511]: 6 -8.79973 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5512]: 6 -16.5909 0 shouldn't be
291.27/292.17 WSVECS04 Frhs2[5607]: 6 0 5.35659e+11 shouldn't be
422.10/423.36 c #Conflicts: 204000 | #Constraints: 48217
422.10/423.36 c #Conflicts: 205000 | #Constraints: 49217
422.10/423.36 c #Conflicts: 206000 | #Constraints: 50217
422.10/423.36 c #Conflicts: 207000 | #Constraints: 51217
422.10/423.36 c #Conflicts: 208000 | #Constraints: 52217
422.10/423.36 c #Conflicts: 209000 | #Constraints: 53217
422.10/423.36 c INPROCESSING
422.10/423.36 c GARBAGE COLLECT
422.10/423.36 c #Conflicts: 210000 | #Constraints: 31802
422.10/423.36 c #Conflicts: 211000 | #Constraints: 32802
422.10/423.36 c #Conflicts: 212000 | #Constraints: 33802
422.10/423.36 c #Conflicts: 213000 | #Constraints: 34802
422.10/423.36 c #Conflicts: 214000 | #Constraints: 35802
422.10/423.36 c #Conflicts: 215000 | #Constraints: 36802
422.10/423.36 c #Conflicts: 216000 | #Constraints: 37802
422.10/423.36 c #Conflicts: 217000 | #Constraints: 38802
422.10/423.36 c #Conflicts: 218000 | #Constraints: 39802
422.10/423.36 c #Conflicts: 219000 | #Constraints: 40802
422.10/423.36 c #Conflicts: 220000 | #Constraints: 41802
422.10/423.36 c #Conflicts: 221000 | #Constraints: 42802
422.10/423.36 c #Conflicts: 222000 | #Constraints: 43802
422.10/423.36 c INPROCESSING
422.10/423.36 c GARBAGE COLLECT
422.10/423.36 c #Conflicts: 223000 | #Constraints: 27120
422.10/423.36 c #Conflicts: 224000 | #Constraints: 28120
422.10/423.36 c #Conflicts: 225000 | #Constraints: 29120
422.10/423.36 c #Conflicts: 226000 | #Constraints: 30120
422.10/423.36 c #Conflicts: 227000 | #Constraints: 31120
422.10/423.36 c #Conflicts: 228000 | #Constraints: 32120
422.10/423.36 c #Conflicts: 229000 | #Constraints: 33120
422.10/423.36 c #Conflicts: 230000 | #Constraints: 34120
422.10/423.36 c #Conflicts: 231000 | #Constraints: 35120
422.10/423.36 c #Conflicts: 232000 | #Constraints: 36120
422.10/423.36 c #Conflicts: 233000 | #Constraints: 37120
422.10/423.36 c #Conflicts: 234000 | #Constraints: 38120
422.10/423.36 c #Conflicts: 235000 | #Constraints: 39120
422.10/423.36 c #Conflicts: 236000 | #Constraints: 40120
422.10/423.36 c #Conflicts: 237000 | #Constraints: 41120
422.10/423.36 c #Conflicts: 238000 | #Constraints: 42120
422.10/423.36 c #Conflicts: 239000 | #Constraints: 43120
422.10/423.36 c #Conflicts: 240000 | #Constraints: 44120
422.10/423.36 c #Conflicts: 241000 | #Constraints: 45120
422.10/423.36 c #Conflicts: 242000 | #Constraints: 46120
422.10/423.36 c #Conflicts: 243000 | #Constraints: 47120
422.10/423.36 c #Conflicts: 244000 | #Constraints: 48120
422.10/423.36 c #Conflicts: 245000 | #Constraints: 49120
422.10/423.36 c #Conflicts: 246000 | #Constraints: 50120
422.10/423.36 c #Conflicts: 247000 | #Constraints: 51120
422.10/423.36 c #Conflicts: 248000 | #Constraints: 52120
422.10/423.36 c #Conflicts: 249000 | #Constraints: 53120
422.10/423.36 c #Conflicts: 250000 | #Constraints: 54120
422.10/423.36 c #Conflicts: 251000 | #Constraints: 55120
422.10/423.36 c #Conflicts: 252000 | #Constraints: 56120
422.10/423.36 c #Conflicts: 253000 | #Constraints: 57120
422.10/423.36 c #Conflicts: 254000 | #Constraints: 58120
422.10/423.36 c INPROCESSING
422.10/423.36 c GARBAGE COLLECT
422.10/423.36 c rational objective 30
439.45/440.72 c #Conflicts: 255000 | #Constraints: 34248
439.45/440.72 c #Conflicts: 256000 | #Constraints: 35248
439.45/440.72 c #Conflicts: 257000 | #Constraints: 36248
439.45/440.72 c #Conflicts: 258000 | #Constraints: 37248
439.45/440.72 c #Conflicts: 259000 | #Constraints: 38248
439.45/440.72 c #Conflicts: 260000 | #Constraints: 39248
439.45/440.72 c #Conflicts: 261000 | #Constraints: 40248
439.45/440.72 c #Conflicts: 262000 | #Constraints: 41248
439.45/440.72 c #Conflicts: 263000 | #Constraints: 42248
439.45/440.72 c #Conflicts: 264000 | #Constraints: 43248
439.45/440.72 c #Conflicts: 265000 | #Constraints: 44248
439.45/440.72 c #Conflicts: 266000 | #Constraints: 45248
439.45/440.72 c #Conflicts: 267000 | #Constraints: 46248
439.45/440.72 c #Conflicts: 268000 | #Constraints: 47248
439.45/440.72 c INPROCESSING
439.45/440.72 c GARBAGE COLLECT
439.45/440.72 c rational objective 30
525.40/526.90 c #Conflicts: 269000 | #Constraints: 27883
525.40/526.90 c #Conflicts: 270000 | #Constraints: 28883
525.40/526.90 c #Conflicts: 271000 | #Constraints: 29883
525.40/526.90 c #Conflicts: 272000 | #Constraints: 30883
525.40/526.90 c #Conflicts: 273000 | #Constraints: 31883
525.40/526.90 c #Conflicts: 274000 | #Constraints: 32883
525.40/526.90 c #Conflicts: 275000 | #Constraints: 33883
525.40/526.90 c #Conflicts: 276000 | #Constraints: 34883
525.40/526.90 c #Conflicts: 277000 | #Constraints: 35883
525.40/526.90 c #Conflicts: 278000 | #Constraints: 36883
525.40/526.90 c #Conflicts: 279000 | #Constraints: 37883
525.40/526.90 c #Conflicts: 280000 | #Constraints: 38883
525.40/526.90 c #Conflicts: 281000 | #Constraints: 39883
525.40/526.90 c #Conflicts: 282000 | #Constraints: 40883
525.40/526.90 c #Conflicts: 283000 | #Constraints: 41883
525.40/526.90 c #Conflicts: 284000 | #Constraints: 42883
525.40/526.90 c #Conflicts: 285000 | #Constraints: 43883
525.40/526.90 c #Conflicts: 286000 | #Constraints: 44883
525.40/526.90 c #Conflicts: 287000 | #Constraints: 45883
525.40/526.90 c #Conflicts: 288000 | #Constraints: 46883
525.40/526.90 c #Conflicts: 289000 | #Constraints: 47883
525.40/526.90 c #Conflicts: 290000 | #Constraints: 48883
525.40/526.90 c #Conflicts: 291000 | #Constraints: 49883
525.40/526.90 c #Conflicts: 292000 | #Constraints: 50883
525.40/526.90 c #Conflicts: 293000 | #Constraints: 51883
525.40/526.90 c #Conflicts: 294000 | #Constraints: 52883
525.40/526.90 c #Conflicts: 295000 | #Constraints: 53883
525.40/526.90 c #Conflicts: 296000 | #Constraints: 54883
525.40/526.90 c #Conflicts: 297000 | #Constraints: 55883
525.40/526.90 c #Conflicts: 298000 | #Constraints: 56883
525.40/526.90 c #Conflicts: 299000 | #Constraints: 57883
525.40/526.90 c #Conflicts: 300000 | #Constraints: 58883
525.40/526.90 c #Conflicts: 301000 | #Constraints: 59883
525.40/526.90 c #Conflicts: 302000 | #Constraints: 60883
525.40/526.90 c #Conflicts: 303000 | #Constraints: 61883
525.40/526.90 c INPROCESSING
525.40/526.90 c GARBAGE COLLECT
525.40/526.90 c rational objective 30
551.83/553.44 c #Conflicts: 304000 | #Constraints: 35804
551.83/553.44 c #Conflicts: 305000 | #Constraints: 36804
551.83/553.44 c #Conflicts: 306000 | #Constraints: 37804
551.83/553.44 c #Conflicts: 307000 | #Constraints: 38804
551.83/553.44 c #Conflicts: 308000 | #Constraints: 39804
551.83/553.44 c #Conflicts: 309000 | #Constraints: 40804
551.83/553.44 c #Conflicts: 310000 | #Constraints: 41804
551.83/553.44 c #Conflicts: 311000 | #Constraints: 42804
551.83/553.44 c #Conflicts: 312000 | #Constraints: 43804
551.83/553.44 c #Conflicts: 313000 | #Constraints: 44804
551.83/553.44 c #Conflicts: 314000 | #Constraints: 45804
551.83/553.44 c #Conflicts: 315000 | #Constraints: 46804
551.83/553.44 c #Conflicts: 316000 | #Constraints: 47804
551.83/553.44 c #Conflicts: 317000 | #Constraints: 48804
551.83/553.44 c #Conflicts: 318000 | #Constraints: 49804
551.83/553.44 c #Conflicts: 319000 | #Constraints: 50804
551.83/553.44 c INPROCESSING
551.83/553.44 c GARBAGE COLLECT
551.83/553.44 c rational objective 30
709.59/711.62 c #Conflicts: 320000 | #Constraints: 30480
709.59/711.62 c #Conflicts: 321000 | #Constraints: 31480
709.59/711.62 c #Conflicts: 322000 | #Constraints: 32480
709.59/711.62 c #Conflicts: 323000 | #Constraints: 33480
709.59/711.62 c #Conflicts: 324000 | #Constraints: 34480
709.59/711.62 c #Conflicts: 325000 | #Constraints: 35480
709.59/711.62 c #Conflicts: 326000 | #Constraints: 36480
709.59/711.62 c #Conflicts: 327000 | #Constraints: 37480
709.59/711.62 c #Conflicts: 328000 | #Constraints: 38480
709.59/711.62 c #Conflicts: 329000 | #Constraints: 39480
709.59/711.62 c #Conflicts: 330000 | #Constraints: 40480
709.59/711.62 c #Conflicts: 331000 | #Constraints: 41480
709.59/711.62 c #Conflicts: 332000 | #Constraints: 42480
709.59/711.62 c #Conflicts: 333000 | #Constraints: 43480
709.59/711.62 c #Conflicts: 334000 | #Constraints: 44480
709.59/711.62 c #Conflicts: 335000 | #Constraints: 45480
709.59/711.62 c #Conflicts: 336000 | #Constraints: 46480
709.59/711.62 c #Conflicts: 337000 | #Constraints: 47480
709.59/711.62 c #Conflicts: 338000 | #Constraints: 48480
709.59/711.62 c #Conflicts: 339000 | #Constraints: 49480
709.59/711.62 c #Conflicts: 340000 | #Constraints: 50480
709.59/711.62 c #Conflicts: 341000 | #Constraints: 51480
709.59/711.62 c #Conflicts: 342000 | #Constraints: 52480
709.59/711.62 c #Conflicts: 343000 | #Constraints: 53480
709.59/711.62 c #Conflicts: 344000 | #Constraints: 54480
709.59/711.62 c #Conflicts: 345000 | #Constraints: 55480
709.59/711.62 c #Conflicts: 346000 | #Constraints: 56480
709.59/711.62 c #Conflicts: 347000 | #Constraints: 57480
709.59/711.62 c #Conflicts: 348000 | #Constraints: 58480
709.59/711.62 c #Conflicts: 349000 | #Constraints: 59480
709.59/711.62 c #Conflicts: 350000 | #Constraints: 60480
709.59/711.62 c #Conflicts: 351000 | #Constraints: 61480
709.59/711.62 c #Conflicts: 352000 | #Constraints: 62480
709.59/711.62 c #Conflicts: 353000 | #Constraints: 63480
709.59/711.62 c #Conflicts: 354000 | #Constraints: 64480
709.59/711.62 c #Conflicts: 355000 | #Constraints: 65480
709.59/711.62 c #Conflicts: 356000 | #Constraints: 66480
709.59/711.62 c #Conflicts: 357000 | #Constraints: 67480
709.59/711.62 c INPROCESSING
709.59/711.62 c GARBAGE COLLECT
709.59/711.62 c rational objective 30
939.69/942.32 c #Conflicts: 358000 | #Constraints: 38680
939.69/942.32 c #Conflicts: 359000 | #Constraints: 39680
939.69/942.32 c #Conflicts: 360000 | #Constraints: 40680
939.69/942.32 c #Conflicts: 361000 | #Constraints: 41680
939.69/942.32 c #Conflicts: 362000 | #Constraints: 42680
939.69/942.32 c #Conflicts: 363000 | #Constraints: 43680
939.69/942.32 c #Conflicts: 364000 | #Constraints: 44680
939.69/942.32 c #Conflicts: 365000 | #Constraints: 45680
939.69/942.32 c #Conflicts: 366000 | #Constraints: 46680
939.69/942.32 c #Conflicts: 367000 | #Constraints: 47680
939.69/942.32 c #Conflicts: 368000 | #Constraints: 48680
939.69/942.32 c #Conflicts: 369000 | #Constraints: 49680
939.69/942.32 c #Conflicts: 370000 | #Constraints: 50680
939.69/942.32 c #Conflicts: 371000 | #Constraints: 51680
939.69/942.32 c #Conflicts: 372000 | #Constraints: 52680
939.69/942.32 c #Conflicts: 373000 | #Constraints: 53681
939.69/942.32 c #Conflicts: 374000 | #Constraints: 54681
939.69/942.32 c INPROCESSING
939.69/942.32 c GARBAGE COLLECT
939.69/942.32 c #Conflicts: 375000 | #Constraints: 32328
939.69/942.32 c #Conflicts: 376000 | #Constraints: 33329
939.69/942.32 c #Conflicts: 377000 | #Constraints: 34329
939.69/942.32 c #Conflicts: 378000 | #Constraints: 35329
939.69/942.32 c #Conflicts: 379000 | #Constraints: 36329
939.69/942.32 c #Conflicts: 380000 | #Constraints: 37329
939.69/942.32 c #Conflicts: 381000 | #Constraints: 38329
939.69/942.32 c #Conflicts: 382000 | #Constraints: 39329
939.69/942.32 c #Conflicts: 383000 | #Constraints: 40329
939.69/942.32 c #Conflicts: 384000 | #Constraints: 41329
939.69/942.32 c #Conflicts: 385000 | #Constraints: 42329
939.69/942.32 c #Conflicts: 386000 | #Constraints: 43329
939.69/942.32 c #Conflicts: 387000 | #Constraints: 44329
939.69/942.32 c #Conflicts: 388000 | #Constraints: 45329
939.69/942.32 c #Conflicts: 389000 | #Constraints: 46329
939.69/942.32 c #Conflicts: 390000 | #Constraints: 47329
939.69/942.32 c #Conflicts: 391000 | #Constraints: 48329
939.69/942.32 c #Conflicts: 392000 | #Constraints: 49329
939.69/942.32 c #Conflicts: 393000 | #Constraints: 50329
939.69/942.32 c #Conflicts: 394000 | #Constraints: 51329
939.69/942.32 c #Conflicts: 395000 | #Constraints: 52329
939.69/942.32 c #Conflicts: 396000 | #Constraints: 53329
939.69/942.32 c #Conflicts: 397000 | #Constraints: 54329
939.69/942.32 c #Conflicts: 398000 | #Constraints: 55329
939.69/942.32 c #Conflicts: 399000 | #Constraints: 56329
939.69/942.32 c #Conflicts: 400000 | #Constraints: 57329
939.69/942.32 c #Conflicts: 401000 | #Constraints: 58329
939.69/942.32 c #Conflicts: 402000 | #Constraints: 59329
939.69/942.32 c #Conflicts: 403000 | #Constraints: 60329
939.69/942.32 c #Conflicts: 404000 | #Constraints: 61329
939.69/942.32 c #Conflicts: 405000 | #Constraints: 62329
939.69/942.32 c #Conflicts: 406000 | #Constraints: 63329
939.69/942.32 c #Conflicts: 407000 | #Constraints: 64330
939.69/942.32 c #Conflicts: 408000 | #Constraints: 65330
939.69/942.32 c #Conflicts: 409000 | #Constraints: 66330
939.69/942.32 c #Conflicts: 410000 | #Constraints: 67330
939.69/942.32 c #Conflicts: 411000 | #Constraints: 68330
939.69/942.32 c #Conflicts: 412000 | #Constraints: 69330
939.69/942.32 c #Conflicts: 413000 | #Constraints: 70330
939.69/942.32 c #Conflicts: 414000 | #Constraints: 71330
939.69/942.32 c #Conflicts: 415000 | #Constraints: 72330
939.69/942.32 c INPROCESSING
939.69/942.32 c GARBAGE COLLECT
939.69/942.32 c #Conflicts: 416000 | #Constraints: 40915
939.69/942.32 c #Conflicts: 417000 | #Constraints: 41915
939.69/942.32 c #Conflicts: 418000 | #Constraints: 42915
939.69/942.32 c #Conflicts: 419000 | #Constraints: 43915
939.69/942.32 c #Conflicts: 420000 | #Constraints: 44915
939.69/942.32 c #Conflicts: 421000 | #Constraints: 45915
939.69/942.32 c #Conflicts: 422000 | #Constraints: 46915
939.69/942.32 c #Conflicts: 423000 | #Constraints: 47915
939.69/942.32 c #Conflicts: 424000 | #Constraints: 48915
939.69/942.32 c #Conflicts: 425000 | #Constraints: 49915
939.69/942.32 c #Conflicts: 426000 | #Constraints: 50915
939.69/942.32 c #Conflicts: 427000 | #Constraints: 51915
939.69/942.32 c #Conflicts: 428000 | #Constraints: 52915
939.69/942.32 c #Conflicts: 429000 | #Constraints: 53915
939.69/942.32 c #Conflicts: 430000 | #Constraints: 54915
939.69/942.32 c #Conflicts: 431000 | #Constraints: 55915
939.69/942.32 c #Conflicts: 432000 | #Constraints: 56915
939.69/942.32 c #Conflicts: 433000 | #Constraints: 57915
939.69/942.32 c #Conflicts: 434000 | #Constraints: 58915
939.69/942.32 c INPROCESSING
939.69/942.32 c GARBAGE COLLECT
939.69/942.34 c rational objective 30
1121.92/1125.05 c #Conflicts: 435000 | #Constraints: 34685
1121.92/1125.05 c #Conflicts: 436000 | #Constraints: 35685
1121.92/1125.05 c #Conflicts: 437000 | #Constraints: 36685
1121.92/1125.05 c #Conflicts: 438000 | #Constraints: 37685
1121.92/1125.05 c #Conflicts: 439000 | #Constraints: 38686
1121.92/1125.05 c #Conflicts: 440000 | #Constraints: 39686
1121.92/1125.05 c #Conflicts: 441000 | #Constraints: 40686
1121.92/1125.05 c #Conflicts: 442000 | #Constraints: 41686
1121.92/1125.05 c #Conflicts: 443000 | #Constraints: 42686
1121.92/1125.05 c #Conflicts: 444000 | #Constraints: 43686
1121.92/1125.05 c #Conflicts: 445000 | #Constraints: 44686
1121.92/1125.05 c #Conflicts: 446000 | #Constraints: 45686
1121.92/1125.05 c #Conflicts: 447000 | #Constraints: 46686
1121.92/1125.05 c #Conflicts: 448000 | #Constraints: 47686
1121.92/1125.05 c #Conflicts: 449000 | #Constraints: 48686
1121.92/1125.05 c #Conflicts: 450000 | #Constraints: 49686
1121.92/1125.05 c #Conflicts: 451000 | #Constraints: 50686
1121.92/1125.05 c #Conflicts: 452000 | #Constraints: 51686
1121.92/1125.05 c #Conflicts: 453000 | #Constraints: 52686
1121.92/1125.05 c #Conflicts: 454000 | #Constraints: 53686
1121.92/1125.05 c #Conflicts: 455000 | #Constraints: 54686
1121.92/1125.05 c #Conflicts: 456000 | #Constraints: 55687
1121.92/1125.05 c #Conflicts: 457000 | #Constraints: 56687
1121.92/1125.05 c #Conflicts: 458000 | #Constraints: 57687
1121.92/1125.05 c #Conflicts: 459000 | #Constraints: 58687
1121.92/1125.05 c #Conflicts: 460000 | #Constraints: 59687
1121.92/1125.05 c #Conflicts: 461000 | #Constraints: 60687
1121.92/1125.05 c #Conflicts: 462000 | #Constraints: 61687
1121.92/1125.05 c #Conflicts: 463000 | #Constraints: 62687
1121.92/1125.05 c #Conflicts: 464000 | #Constraints: 63687
1121.92/1125.05 c #Conflicts: 465000 | #Constraints: 64687
1121.92/1125.05 c #Conflicts: 466000 | #Constraints: 65687
1121.92/1125.05 c #Conflicts: 467000 | #Constraints: 66687
1121.92/1125.05 c #Conflicts: 468000 | #Constraints: 67687
1121.92/1125.05 c #Conflicts: 469000 | #Constraints: 68687
1121.92/1125.05 c #Conflicts: 470000 | #Constraints: 69687
1121.92/1125.05 c #Conflicts: 471000 | #Constraints: 70687
1121.92/1125.05 c #Conflicts: 472000 | #Constraints: 71687
1121.92/1125.05 c #Conflicts: 473000 | #Constraints: 72687
1121.92/1125.05 c #Conflicts: 474000 | #Constraints: 73687
1121.92/1125.05 c #Conflicts: 475000 | #Constraints: 74687
1121.92/1125.05 c #Conflicts: 476000 | #Constraints: 75687
1121.92/1125.05 c #Conflicts: 477000 | #Constraints: 76687
1121.92/1125.05 c #Conflicts: 478000 | #Constraints: 77687
1121.92/1125.05 c INPROCESSING
1121.92/1125.05 c GARBAGE COLLECT
1121.92/1125.05 c rational objective 30
1291.36/1294.92 c #Conflicts: 479000 | #Constraints: 43837
1291.36/1294.92 c #Conflicts: 480000 | #Constraints: 44837
1291.36/1294.92 c #Conflicts: 481000 | #Constraints: 45837
1291.36/1294.92 c #Conflicts: 482000 | #Constraints: 46837
1291.36/1294.92 c #Conflicts: 483000 | #Constraints: 47837
1291.36/1294.92 c #Conflicts: 484000 | #Constraints: 48837
1291.36/1294.92 c #Conflicts: 485000 | #Constraints: 49837
1291.36/1294.92 c #Conflicts: 486000 | #Constraints: 50837
1291.36/1294.92 c #Conflicts: 487000 | #Constraints: 51837
1291.36/1294.92 c #Conflicts: 488000 | #Constraints: 52837
1291.36/1294.92 c #Conflicts: 489000 | #Constraints: 53837
1291.36/1294.92 c #Conflicts: 490000 | #Constraints: 54837
1291.36/1294.92 c #Conflicts: 491000 | #Constraints: 55837
1291.36/1294.92 c #Conflicts: 492000 | #Constraints: 56837
1291.36/1294.92 c #Conflicts: 493000 | #Constraints: 57837
1291.36/1294.92 c #Conflicts: 494000 | #Constraints: 58837
1291.36/1294.92 c #Conflicts: 495000 | #Constraints: 59837
1291.36/1294.92 c #Conflicts: 496000 | #Constraints: 60837
1291.36/1294.92 c #Conflicts: 497000 | #Constraints: 61837
1291.36/1294.92 c #Conflicts: 498000 | #Constraints: 62837
1291.36/1294.92 c INPROCESSING
1291.36/1294.92 c GARBAGE COLLECT
1291.36/1294.92 c #Conflicts: 499000 | #Constraints: 36612
1291.36/1294.92 c #Conflicts: 500000 | #Constraints: 37612
1291.36/1294.92 c #Conflicts: 501000 | #Constraints: 38612
1291.36/1294.92 c #Conflicts: 502000 | #Constraints: 39612
1291.36/1294.92 c #Conflicts: 503000 | #Constraints: 40612
1291.36/1294.92 c #Conflicts: 504000 | #Constraints: 41612
1291.36/1294.92 c #Conflicts: 505000 | #Constraints: 42612
1291.36/1294.92 c #Conflicts: 506000 | #Constraints: 43612
1291.36/1294.92 c #Conflicts: 507000 | #Constraints: 44612
1291.36/1294.92 c #Conflicts: 508000 | #Constraints: 45612
1291.36/1294.92 c #Conflicts: 509000 | #Constraints: 46612
1291.36/1294.92 c #Conflicts: 510000 | #Constraints: 47612
1291.36/1294.92 c #Conflicts: 511000 | #Constraints: 48612
1291.36/1294.92 c #Conflicts: 512000 | #Constraints: 49612
1291.36/1294.92 c #Conflicts: 513000 | #Constraints: 50612
1291.36/1294.92 c #Conflicts: 514000 | #Constraints: 51612
1291.36/1294.92 c #Conflicts: 515000 | #Constraints: 52612
1291.36/1294.92 c #Conflicts: 516000 | #Constraints: 53612
1291.36/1294.92 c #Conflicts: 517000 | #Constraints: 54612
1291.36/1294.92 c #Conflicts: 518000 | #Constraints: 55612
1291.36/1294.92 c #Conflicts: 519000 | #Constraints: 56612
1291.36/1294.92 c #Conflicts: 520000 | #Constraints: 57612
1291.36/1294.92 c #Conflicts: 521000 | #Constraints: 58612
1291.36/1294.92 c #Conflicts: 522000 | #Constraints: 59612
1291.36/1294.92 WSVECS04 Frhs2[86]: 6 -0.241856 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[564]: 6 -2821.8 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[621]: 6 -1412.46 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[624]: 6 -11281.2 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[738]: 6 -2825.05 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[799]: 6 -22585.4 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[973]: 6 -1.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1324]: 6 0 2.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1330]: 6 0 1.96879 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1352]: 6 0 3.99992 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1393]: 6 0 1.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1394]: 6 -21.4493 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1456]: 6 0 2.00115 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1504]: 6 0 2.00005 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1562]: 6 0 1.00006 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1563]: 6 -22.7599 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1623]: 6 -5.21633 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1677]: 6 -61.0397 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1680]: 6 0 361812 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1683]: 6 0 0.250076 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1708]: 6 0 361815 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1736]: 6 0 361817 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1742]: 6 -18.0001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1745]: 6 -7.78163e+08 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1763]: 6 0 3.50004 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1791]: 6 0 4.50009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1796]: 6 0 1.00006 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1819]: 6 0 5.50007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1820]: 6 0 361821 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1821]: 6 0 723639 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1824]: 6 0 0.500076 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1845]: 6 -45219 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1852]: 6 0 21504.6 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[1904]: 6 0 2.00008 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2278]: 6 0 11306 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2516]: 6 -0.625042 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2602]: 6 -361802 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2604]: 6 -1.00002 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2607]: 6 -14.0001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2610]: 6 0 9.26169e+07 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2661]: 6 -1.75005 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2668]: 6 -7.62082e+08 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2690]: 6 -1.0001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2722]: 6 -0.500029 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2727]: 6 -1.00008 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2756]: 6 -1.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2757]: 6 -1.00002 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2782]: 6 -2.00004 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2786]: 6 -1.00002 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2819]: 6 -1.00001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2878]: 6 0 7.04079 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2880]: 6 0 41.6633 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2937]: 6 0 18.0816 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2938]: 6 0 41.6632 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2940]: 6 0 173.653 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2992]: 6 0 0.260333 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2995]: 6 0 21.0811 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2997]: 6 0 84.3264 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[2998]: 6 0 174.528 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3000]: 6 0 703.611 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3052]: 6 0 8.04105 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3055]: 6 0 87.3242 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3057]: 6 0 350.555 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3058]: 6 0 704.11 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3060]: 6 0 2824.19 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3110]: 6 0 8.0408 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3112]: 6 0 41.914 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3115]: 6 0 351.797 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3118]: 6 0 2823.44 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3120]: 6 0 11302.8 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3167]: 6 0 3.0204 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3170]: 6 0 41.163 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3172]: 6 0 173.656 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3175]: 6 0 1412.19 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3177]: 6 0 5648.88 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3178]: 6 0 11302.8 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3180]: 6 0 45220.1 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3224]: 6 0 0.260242 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3230]: 6 0 174.152 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3232]: 6 0 704.373 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3235]: 6 0 5650 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3238]: 6 0 45220.1 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3240]: 6 0 180890 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3284]: 6 0 8.04066 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3287]: 6 0 85.8257 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3290]: 6 0 703.607 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3292]: 6 0 2823.49 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3297]: 6 0 90443.1 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3298]: 6 0 180889 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3300]: 6 0 723567 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3350]: 6 0 2823.43 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3352]: 6 0 11303 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3355]: 6 0 90442.9 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3358]: 6 0 723566 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3360]: 6 0 2.89428e+06 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3404]: 6 0 174.4 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3410]: 6 0 11302.7 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3412]: 6 0 45221.8 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3415]: 6 0 361781 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3419]: 6 -1.24618 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3464]: 6 0 703.599 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3470]: 6 0 45219.8 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3472]: 6 0 180889 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3475]: 6 0 1.44713e+06 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3479]: 6 -5.12252 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3524]: 6 0 2823.9 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3527]: 6 0 22608.9 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3530]: 6 0 180888 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3532]: 6 0 723565 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3536]: 6 -1.99229 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3539]: 6 -1.43753 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3584]: 6 0 11302.6 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3587]: 6 0 90442.4 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3590]: 6 0 723563 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3592]: 6 0 2.89426e+06 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3593]: 6 -1.00001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3596]: 6 -1.96883 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3599]: 6 -1.62502 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3647]: 6 0 361779 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3650]: 6 0 2.89426e+06 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3653]: 6 -1.00007 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3656]: 6 -1.87507 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3659]: 6 -0.500034 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3704]: 6 0 180886 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3710]: 6 0 1.1577e+07 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3711]: 6 -1.00004 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3716]: 6 -1.50007 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3775]: 6 0 1.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3776]: 6 0 3.00013 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3805]: 6 0 1.50005 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3807]: 6 0 1.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3833]: 6 0 3.00001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3863]: 6 0 1.87505 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3891]: 6 0 3.62505 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3915]: 6 0 1.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3942]: 6 0 1.50009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[3944]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4000]: 6 0 1.00005 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4008]: 6 0 1.00004 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4029]: 6 0 1.00009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4037]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4058]: 6 0 1.7501 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4060]: 6 0 1.00001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4065]: 6 0 2.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4066]: 6 0 1.00004 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4084]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4094]: 6 0 2.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4095]: 6 0 1.00005 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4113]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4121]: 6 0 2.50004 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4123]: 6 0 2.00001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4124]: 6 0 1.00008 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4139]: 6 0 1.00006 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4142]: 6 0 1.50009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4145]: 6 0 1.00008 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4153]: 6 0 1.00008 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4155]: 6 0 1.00012 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4168]: 6 0 1.50009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4174]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4176]: 6 0 1.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4180]: 6 -2.0001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4182]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4200]: 6 0 1.50007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4203]: 6 0 1.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4205]: 6 0 1.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4210]: 6 0 2.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4211]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4232]: 6 0 1.0001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4237]: 6 0 1.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4239]: 6 0 2.00009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4240]: 6 0 1.00001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4258]: 6 0 1.00002 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4261]: 6 0 1.00006 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4265]: 6 0 3.87509 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4268]: 6 0 2.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4287]: 6 0 1.50009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4290]: 6 0 1.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4293]: 6 -3.87508 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4319]: 6 0 1.00009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4342]: 6 0 1.75003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4345]: 6 0 1.00006 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4348]: 6 0 1.50003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4406]: 6 0 1.00008 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4410]: 6 -5.78853e+06 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4429]: 6 0 1.00006 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4444]: 6 -1.87502 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4458]: 6 0 1.50003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4461]: 6 0 1.0001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4464]: 6 0 1.00003 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4490]: 6 0 1.00004 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4493]: 6 0 1.00009 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4496]: 6 -3.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4516]: 6 0 1.00008 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4545]: 6 0 1.00007 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4574]: 6 0 2.0001 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[4584]: 6 -15.7501 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5160]: 6 -1.00395 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5190]: 6 -2.00789 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5219]: 6 -0.5001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5220]: 6 -4.01569 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5248]: 6 -0.500022 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5277]: 6 -0.500091 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5306]: 6 -0.500043 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5338]: 6 -0.500033 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5340]: 6 -0.250069 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5367]: 6 -1.00001 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5396]: 6 -1.00007 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5397]: 6 -1.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5426]: 6 -1.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5430]: 6 -2.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5453]: 6 -1.00009 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5459]: 6 -2.00006 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5477]: 6 0 1.44713e+06 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5481]: 6 -1.00004 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5483]: 6 -1.00004 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5489]: 6 -1.00002 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5540]: 6 -2.31542e+07 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5544]: 6 -3.70468e+08 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5547]: 6 -1.00004 0 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5601]: 6 0 4.63085e+07 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5602]: 6 0 9.26169e+07 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5603]: 6 0 1.85234e+08 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5605]: 6 0 7.40935e+08 shouldn't be
1291.36/1294.92 WSVECS04 Frhs2[5606]: 6 0 1.48187e+09 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[24]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[973]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1330]: 6 0 1.96875 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1393]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1456]: 6 0 2.00111 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1683]: 6 0 0.25 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1707]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1742]: 6 -18 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1763]: 6 0 3.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1770]: 6 0 2.64637e+08 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1788]: 6 0 22611.4 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1791]: 6 0 4.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1796]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1824]: 6 0 0.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1904]: 6 0 2 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[1908]: 6 0 21504.6 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2160]: 6 -0.984378 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2277]: 6 -0.96875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2306]: 6 -0.96875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2365]: 6 -0.937501 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2395]: 6 -0.875001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2455]: 6 -0.500001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2484]: 6 -3.60814 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2487]: 6 -1.8125 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2511]: 6 -0.5 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2576]: 6 0 0.500001 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2596]: 6 -4.50496 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2631]: 6 -1.375 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2635]: 6 -0.5 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2662]: 6 -0.625001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2666]: 6 0 2.64637e+08 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2689]: 6 0 361818 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2690]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2695]: 6 -2.64637e+08 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2719]: 6 -0.25 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2722]: 6 -0.5 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2727]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2756]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2778]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2782]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2787]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2789]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[2816]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3167]: 6 0 3.02035 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3237]: 6 0 22607.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3284]: 6 0 8.04061 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3287]: 6 0 85.8256 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3419]: 6 -1.24609 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3479]: 6 -5.12244 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3536]: 6 -1.99219 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3539]: 6 -1.4375 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3593]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3596]: 6 -1.96875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3599]: 6 -1.625 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3653]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3654]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3656]: 6 -1.875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3659]: 6 -0.5 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3711]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3716]: 6 -1.5 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3775]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3804]: 6 0 4.00006 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3805]: 6 0 1.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3891]: 6 0 3.625 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3915]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3942]: 6 0 1.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3944]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3973]: 6 0 1.75 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3978]: 6 0 2.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[3979]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4000]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4008]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4029]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4037]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4058]: 6 0 1.75 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4060]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4066]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4089]: 6 0 1.75 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4095]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4124]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4139]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4145]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4152]: 6 0 3 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4153]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4168]: 6 0 1.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4174]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4176]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4180]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4182]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4203]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4205]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4210]: 6 0 2 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4211]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4232]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4240]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4255]: 6 0 1.75 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4258]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4261]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4287]: 6 0 1.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4290]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4293]: 6 -3.875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4295]: 6 0 2.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4319]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4348]: 6 0 1.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4432]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4444]: 6 -1.875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4458]: 6 0 1.5 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4461]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4490]: 6 0 1 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4496]: 6 -3 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4574]: 6 0 2 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4584]: 6 -15.75 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[4590]: 6 0 2.37099e+10 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5160]: 6 -1.00391 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5189]: 6 -0.75 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5190]: 6 -2.00781 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5219]: 6 -0.500001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5220]: 6 -4.01563 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5248]: 6 -0.500001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5277]: 6 -0.500001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5306]: 6 -0.500001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5334]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5338]: 6 -0.500001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5340]: 6 -0.250001 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5365]: 6 -2.98438 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5367]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5396]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5397]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5398]: 6 -0.875 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5426]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5428]: 6 -0.75 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5430]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5453]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5456]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5457]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5459]: 6 -2 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5481]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5485]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5486]: 6 -1 0 shouldn't be
1292.76/1296.36 WSVECS04 Frhs2[5547]: 6 -1.00002 0 shouldn't be
1467.40/1471.47 c #Conflicts: 523000 | #Constraints: 60612
1467.40/1471.47 c #Conflicts: 524000 | #Constraints: 61612
1467.40/1471.47 c #Conflicts: 525000 | #Constraints: 62612
1467.40/1471.47 c #Conflicts: 526000 | #Constraints: 63612
1467.40/1471.47 c #Conflicts: 527000 | #Constraints: 64612
1467.40/1471.47 c #Conflicts: 528000 | #Constraints: 65612
1467.40/1471.47 c #Conflicts: 529000 | #Constraints: 66612
1467.40/1471.47 c #Conflicts: 530000 | #Constraints: 67612
1467.40/1471.47 c #Conflicts: 531000 | #Constraints: 68612
1467.40/1471.47 c #Conflicts: 532000 | #Constraints: 69612
1467.40/1471.47 c #Conflicts: 533000 | #Constraints: 70612
1467.40/1471.47 c #Conflicts: 534000 | #Constraints: 71612
1467.40/1471.47 c #Conflicts: 535000 | #Constraints: 72612
1467.40/1471.47 c #Conflicts: 536000 | #Constraints: 73612
1467.40/1471.47 c #Conflicts: 537000 | #Constraints: 74612
1467.40/1471.47 c #Conflicts: 538000 | #Constraints: 75612
1467.40/1471.47 c #Conflicts: 539000 | #Constraints: 76612
1467.40/1471.47 c #Conflicts: 540000 | #Constraints: 77612
1467.40/1471.47 c #Conflicts: 541000 | #Constraints: 78612
1467.40/1471.47 c #Conflicts: 542000 | #Constraints: 79612
1467.40/1471.47 c #Conflicts: 543000 | #Constraints: 80612
1467.40/1471.47 c #Conflicts: 544000 | #Constraints: 81612
1467.40/1471.47 c #Conflicts: 545000 | #Constraints: 82612
1467.40/1471.47 c INPROCESSING
1467.40/1471.47 c GARBAGE COLLECT
1467.40/1471.47 c rational objective 30
1540.29/1544.57 c #Conflicts: 546000 | #Constraints: 46195
1540.29/1544.57 c #Conflicts: 547000 | #Constraints: 47195
1540.29/1544.57 c #Conflicts: 548000 | #Constraints: 48195
1540.29/1544.57 c #Conflicts: 549000 | #Constraints: 49195
1540.29/1544.57 c #Conflicts: 550000 | #Constraints: 50195
1540.29/1544.57 c #Conflicts: 551000 | #Constraints: 51195
1540.29/1544.57 c #Conflicts: 552000 | #Constraints: 52195
1540.29/1544.57 c #Conflicts: 553000 | #Constraints: 53195
1540.29/1544.57 c #Conflicts: 554000 | #Constraints: 54195
1540.29/1544.57 c #Conflicts: 555000 | #Constraints: 55195
1540.29/1544.57 c #Conflicts: 556000 | #Constraints: 56195
1540.29/1544.57 c #Conflicts: 557000 | #Constraints: 57195
1540.29/1544.57 c #Conflicts: 558000 | #Constraints: 58195
1540.29/1544.57 c #Conflicts: 559000 | #Constraints: 59195
1540.29/1544.57 c #Conflicts: 560000 | #Constraints: 60195
1540.29/1544.57 c #Conflicts: 561000 | #Constraints: 61195
1540.29/1544.57 c #Conflicts: 562000 | #Constraints: 62195
1540.29/1544.57 c #Conflicts: 563000 | #Constraints: 63195
1540.29/1544.57 c #Conflicts: 564000 | #Constraints: 64195
1540.29/1544.57 c #Conflicts: 565000 | #Constraints: 65195
1540.29/1544.57 c #Conflicts: 566000 | #Constraints: 66195
1540.29/1544.57 c INPROCESSING
1540.29/1544.57 c GARBAGE COLLECT
1540.29/1544.57 c rational objective 30
1746.88/1751.61 c #Conflicts: 567000 | #Constraints: 38152
1746.88/1751.61 c #Conflicts: 568000 | #Constraints: 39152
1746.88/1751.61 c #Conflicts: 569000 | #Constraints: 40152
1746.88/1751.61 c #Conflicts: 570000 | #Constraints: 41152
1746.88/1751.61 c #Conflicts: 571000 | #Constraints: 42152
1746.88/1751.61 c #Conflicts: 572000 | #Constraints: 43152
1746.88/1751.61 c #Conflicts: 573000 | #Constraints: 44152
1746.88/1751.61 c #Conflicts: 574000 | #Constraints: 45152
1746.88/1751.61 c #Conflicts: 575000 | #Constraints: 46152
1746.88/1751.61 c #Conflicts: 576000 | #Constraints: 47152
1746.88/1751.61 c #Conflicts: 577000 | #Constraints: 48152
1746.88/1751.61 c #Conflicts: 578000 | #Constraints: 49152
1746.88/1751.61 c #Conflicts: 579000 | #Constraints: 50152
1746.88/1751.61 c #Conflicts: 580000 | #Constraints: 51152
1746.88/1751.61 c #Conflicts: 581000 | #Constraints: 52152
1746.88/1751.61 c #Conflicts: 582000 | #Constraints: 53152
1746.88/1751.61 c #Conflicts: 583000 | #Constraints: 54152
1746.88/1751.61 c #Conflicts: 584000 | #Constraints: 55152
1746.88/1751.61 c #Conflicts: 585000 | #Constraints: 56152
1746.88/1751.61 c #Conflicts: 586000 | #Constraints: 57152
1746.88/1751.61 c #Conflicts: 587000 | #Constraints: 58152
1746.88/1751.61 c #Conflicts: 588000 | #Constraints: 59152
1746.88/1751.61 c #Conflicts: 589000 | #Constraints: 60152
1746.88/1751.61 c #Conflicts: 590000 | #Constraints: 61152
1746.88/1751.61 c #Conflicts: 591000 | #Constraints: 62152
1746.88/1751.61 c #Conflicts: 592000 | #Constraints: 63152
1746.88/1751.61 c #Conflicts: 593000 | #Constraints: 64152
1746.88/1751.61 c #Conflicts: 594000 | #Constraints: 65152
1746.88/1751.61 c #Conflicts: 595000 | #Constraints: 66152
1746.88/1751.61 c #Conflicts: 596000 | #Constraints: 67152
1746.88/1751.61 c #Conflicts: 597000 | #Constraints: 68152
1746.88/1751.61 c #Conflicts: 598000 | #Constraints: 69152
1746.88/1751.61 c #Conflicts: 599000 | #Constraints: 70152
1746.88/1751.61 c #Conflicts: 600000 | #Constraints: 71152
1746.88/1751.61 c #Conflicts: 601000 | #Constraints: 72152
1746.88/1751.61 c #Conflicts: 602000 | #Constraints: 73152
1746.88/1751.61 c #Conflicts: 603000 | #Constraints: 74152
1746.88/1751.61 c #Conflicts: 604000 | #Constraints: 75152
1746.88/1751.61 c #Conflicts: 605000 | #Constraints: 76152
1746.88/1751.61 c #Conflicts: 606000 | #Constraints: 77152
1746.88/1751.61 c #Conflicts: 607000 | #Constraints: 78152
1746.88/1751.61 c #Conflicts: 608000 | #Constraints: 79152
1746.88/1751.61 c #Conflicts: 609000 | #Constraints: 80152
1746.88/1751.61 c #Conflicts: 610000 | #Constraints: 81152
1746.88/1751.61 c #Conflicts: 611000 | #Constraints: 82152
1746.88/1751.61 c #Conflicts: 612000 | #Constraints: 83152
1746.88/1751.61 c #Conflicts: 613000 | #Constraints: 84152
1746.88/1751.61 c #Conflicts: 614000 | #Constraints: 85152
1746.88/1751.61 c #Conflicts: 615000 | #Constraints: 86152
1746.88/1751.61 c #Conflicts: 616000 | #Constraints: 87152
1746.88/1751.61 c #Conflicts: 617000 | #Constraints: 88152
1746.88/1751.61 c INPROCESSING
1746.88/1751.61 c GARBAGE COLLECT
1746.88/1751.61 c rational objective 30
1811.21/1816.11 c #Conflicts: 618000 | #Constraints: 49250
1811.21/1816.11 c #Conflicts: 619000 | #Constraints: 50250
1811.21/1816.11 c #Conflicts: 620000 | #Constraints: 51250
1811.21/1816.11 c #Conflicts: 621000 | #Constraints: 52250
1811.21/1816.11 c #Conflicts: 622000 | #Constraints: 53250
1811.21/1816.11 c #Conflicts: 623000 | #Constraints: 54250
1811.21/1816.11 c #Conflicts: 624000 | #Constraints: 55250
1811.21/1816.11 c #Conflicts: 625000 | #Constraints: 56250
1811.21/1816.11 c #Conflicts: 626000 | #Constraints: 57250
1811.21/1816.11 c #Conflicts: 627000 | #Constraints: 58250
1811.21/1816.11 c #Conflicts: 628000 | #Constraints: 59250
1811.21/1816.11 c #Conflicts: 629000 | #Constraints: 60250
1811.21/1816.11 c #Conflicts: 630000 | #Constraints: 61250
1811.21/1816.11 c #Conflicts: 631000 | #Constraints: 62250
1811.21/1816.11 c #Conflicts: 632000 | #Constraints: 63250
1811.21/1816.11 c #Conflicts: 633000 | #Constraints: 64250
1811.21/1816.11 c #Conflicts: 634000 | #Constraints: 65250
1811.21/1816.11 c #Conflicts: 635000 | #Constraints: 66250
1811.21/1816.11 c #Conflicts: 636000 | #Constraints: 67250
1811.21/1816.11 c #Conflicts: 637000 | #Constraints: 68250
1811.21/1816.11 c #Conflicts: 638000 | #Constraints: 69250
1811.21/1816.11 c #Conflicts: 639000 | #Constraints: 70250
1811.21/1816.11 c INPROCESSING
1811.21/1816.11 c GARBAGE COLLECT
1811.21/1816.11 c rational objective 30
2095.08/2100.77 c #Conflicts: 640000 | #Constraints: 40269
2095.08/2100.77 c #Conflicts: 641000 | #Constraints: 41269
2095.08/2100.77 c #Conflicts: 642000 | #Constraints: 42269
2095.08/2100.77 c #Conflicts: 643000 | #Constraints: 43269
2095.08/2100.77 c #Conflicts: 644000 | #Constraints: 44269
2095.08/2100.77 c #Conflicts: 645000 | #Constraints: 45269
2095.08/2100.77 c #Conflicts: 646000 | #Constraints: 46269
2095.08/2100.77 c #Conflicts: 647000 | #Constraints: 47269
2095.08/2100.77 c #Conflicts: 648000 | #Constraints: 48269
2095.08/2100.77 c #Conflicts: 649000 | #Constraints: 49269
2095.08/2100.77 c #Conflicts: 650000 | #Constraints: 50269
2095.08/2100.77 c #Conflicts: 651000 | #Constraints: 51269
2095.08/2100.77 c #Conflicts: 652000 | #Constraints: 52269
2095.08/2100.77 c #Conflicts: 653000 | #Constraints: 53269
2095.08/2100.77 c #Conflicts: 654000 | #Constraints: 54269
2095.08/2100.77 c #Conflicts: 655000 | #Constraints: 55269
2095.08/2100.77 c #Conflicts: 656000 | #Constraints: 56269
2095.08/2100.77 c #Conflicts: 657000 | #Constraints: 57269
2095.08/2100.77 c #Conflicts: 658000 | #Constraints: 58270
2095.08/2100.77 c #Conflicts: 659000 | #Constraints: 59270
2095.08/2100.77 c #Conflicts: 660000 | #Constraints: 60270
2095.08/2100.77 c #Conflicts: 661000 | #Constraints: 61270
2095.08/2100.77 c #Conflicts: 662000 | #Constraints: 62270
2095.08/2100.77 c #Conflicts: 663000 | #Constraints: 63270
2095.08/2100.77 c #Conflicts: 664000 | #Constraints: 64270
2095.08/2100.77 c #Conflicts: 665000 | #Constraints: 65270
2095.08/2100.77 c #Conflicts: 666000 | #Constraints: 66270
2095.08/2100.77 c #Conflicts: 667000 | #Constraints: 67270
2095.08/2100.77 c #Conflicts: 668000 | #Constraints: 68270
2095.08/2100.77 c #Conflicts: 669000 | #Constraints: 69270
2095.08/2100.77 c #Conflicts: 670000 | #Constraints: 70270
2095.08/2100.77 c #Conflicts: 671000 | #Constraints: 71270
2095.08/2100.77 c #Conflicts: 672000 | #Constraints: 72270
2095.08/2100.77 c #Conflicts: 673000 | #Constraints: 73270
2095.08/2100.77 c #Conflicts: 674000 | #Constraints: 74270
2095.08/2100.77 c #Conflicts: 675000 | #Constraints: 75270
2095.08/2100.77 c #Conflicts: 676000 | #Constraints: 76270
2095.08/2100.77 c #Conflicts: 677000 | #Constraints: 77270
2095.08/2100.77 c #Conflicts: 678000 | #Constraints: 78270
2095.08/2100.77 c #Conflicts: 679000 | #Constraints: 79270
2095.08/2100.77 c #Conflicts: 680000 | #Constraints: 80270
2095.08/2100.77 c #Conflicts: 681000 | #Constraints: 81270
2095.08/2100.77 c #Conflicts: 682000 | #Constraints: 82270
2095.08/2100.77 c #Conflicts: 683000 | #Constraints: 83270
2095.08/2100.77 c #Conflicts: 684000 | #Constraints: 84270
2095.08/2100.77 c #Conflicts: 685000 | #Constraints: 85270
2095.08/2100.77 c #Conflicts: 686000 | #Constraints: 86270
2095.08/2100.77 c #Conflicts: 687000 | #Constraints: 87270
2095.08/2100.77 c #Conflicts: 688000 | #Constraints: 88270
2095.08/2100.77 c #Conflicts: 689000 | #Constraints: 89270
2095.08/2100.77 c #Conflicts: 690000 | #Constraints: 90270
2095.08/2100.77 c #Conflicts: 691000 | #Constraints: 91270
2095.08/2100.77 c #Conflicts: 692000 | #Constraints: 92270
2095.08/2100.77 c #Conflicts: 693000 | #Constraints: 93270
2095.08/2100.77 c INPROCESSING
2095.08/2100.77 c GARBAGE COLLECT
2095.08/2100.77 c rational objective 30
2160.80/2166.65 c #Conflicts: 694000 | #Constraints: 51838
2160.80/2166.65 c #Conflicts: 695000 | #Constraints: 52838
2160.80/2166.65 c #Conflicts: 696000 | #Constraints: 53838
2160.80/2166.65 c #Conflicts: 697000 | #Constraints: 54838
2160.80/2166.65 c #Conflicts: 698000 | #Constraints: 55838
2160.80/2166.65 c #Conflicts: 699000 | #Constraints: 56838
2160.80/2166.65 c #Conflicts: 700000 | #Constraints: 57838
2160.80/2166.65 c #Conflicts: 701000 | #Constraints: 58838
2160.80/2166.65 c #Conflicts: 702000 | #Constraints: 59838
2160.80/2166.65 c #Conflicts: 703000 | #Constraints: 60838
2160.80/2166.65 c #Conflicts: 704000 | #Constraints: 61838
2160.80/2166.65 c #Conflicts: 705000 | #Constraints: 62838
2160.80/2166.65 c #Conflicts: 706000 | #Constraints: 63838
2160.80/2166.65 c #Conflicts: 707000 | #Constraints: 64838
2160.80/2166.65 c #Conflicts: 708000 | #Constraints: 65839
2160.80/2166.65 c #Conflicts: 709000 | #Constraints: 66839
2160.80/2166.65 c #Conflicts: 710000 | #Constraints: 67839
2160.80/2166.65 c #Conflicts: 711000 | #Constraints: 68839
2160.80/2166.65 c #Conflicts: 712000 | #Constraints: 69839
2160.80/2166.65 c #Conflicts: 713000 | #Constraints: 70839
2160.80/2166.65 c #Conflicts: 714000 | #Constraints: 71839
2160.80/2166.65 c #Conflicts: 715000 | #Constraints: 72839
2160.80/2166.65 WSVECS04 Frhs2[18]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[78]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[82]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[142]: 6 -6.75 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[172]: 6 -2.0625 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[202]: 6 -2.125 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[262]: 6 -2.5 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[322]: 6 -4 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[382]: 6 -10 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[442]: 6 -34 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[502]: 6 -131 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[561]: 6 -264 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[562]: 6 -527 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[622]: 6 -7.94675e+07 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[682]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[741]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[742]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[802]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[922]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[982]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1042]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1252]: 6 0 3.8125 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1280]: 6 0 4.8125 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1308]: 6 0 5.8125 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1425]: 6 0 3.5 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1451]: 6 0 3.1787e+08 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1455]: 6 0 5.08592e+09 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1468]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1472]: 6 0 71 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1483]: 6 0 5.08592e+09 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1526]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1531]: 6 0 531 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1532]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1533]: 6 0 2105 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1534]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1535]: 6 0 3.1787e+08 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1648]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1656]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1680]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1709]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1734]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1743]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1765]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1792]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1821]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1824]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1851]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1854]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1880]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[1912]: 6 -1 0 shouldn't be
2160.80/2166.65 WSVECS04 Frhs2[2322]: 6 -1.75 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2351]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2365]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2380]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2382]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2394]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2395]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2411]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2415]: 6 -38 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2423]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2424]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2428]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2440]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2448]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2450]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2452]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2453]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2455]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2458]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2482]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2508]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2510]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2511]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2513]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2516]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2541]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2542]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2545]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2569]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2574]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2575]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2576]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2578]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2598]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2599]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2600]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2603]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2605]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2607]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2632]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2633]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2634]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2638]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2657]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2659]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2662]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2663]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2666]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2692]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2695]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2719]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2720]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2724]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2753]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2781]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2784]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2813]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[2999]: 6 0 5 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3292]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3333]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3339]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3343]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3344]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3348]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3352]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3357]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3411]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3412]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3459]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3463]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3464]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3472]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3477]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3532]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3592]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3652]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3712]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3835]: 6 0 1 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3931]: 6 0 1 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[3979]: 6 0 2 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4022]: 6 0 1 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4036]: 6 0 7.35417 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4051]: 6 0 4.18457 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4081]: 6 0 5.73828 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4084]: 6 0 4.90625 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4086]: 6 0 4.625 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4112]: 6 0 6.90625 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4118]: 6 0 23 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4146]: 6 0 25 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4163]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4197]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4205]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4221]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4255]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4257]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4292]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4315]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4326]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4337]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4341]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4342]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4350]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4355]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4373]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4379]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4402]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4406]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4435]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4491]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4521]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4524]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4550]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4582]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4931]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4945]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4958]: 6 -4.16202 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4960]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4974]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4978]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4987]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4989]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4992]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[4994]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5003]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5016]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5021]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5032]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5035]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5036]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5039]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5040]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5045]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5050]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5052]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5064]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5065]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5074]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5078]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5079]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5081]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5093]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5094]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5096]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5098]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5103]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5107]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5110]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5114]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5119]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5122]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5123]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5125]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5136]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5139]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5149]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5154]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5165]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5172]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5174]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5175]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5179]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5183]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5194]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5201]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5204]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5209]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5210]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5215]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5216]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5223]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5230]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5235]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5238]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5244]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5245]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5259]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5263]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5264]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5268]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5269]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5270]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5273]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5275]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5302]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5303]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5304]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5327]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5328]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5332]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5333]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5336]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5360]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5362]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5365]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5368]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5387]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5390]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5423]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5425]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5447]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5451]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5452]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5454]: 6 -1 0 shouldn't be
2160.80/2166.66 WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
2168.49/2174.34 c #Conflicts: 716000 | #Constraints: 73839
2168.49/2174.34 c INPROCESSING
2168.49/2174.34 c GARBAGE COLLECT
2168.49/2174.34 c rational objective 30
2489.65/2496.38 c #Conflicts: 717000 | #Constraints: 42335
2489.65/2496.38 c #Conflicts: 718000 | #Constraints: 43335
2489.65/2496.38 c #Conflicts: 719000 | #Constraints: 44335
2489.65/2496.38 c #Conflicts: 720000 | #Constraints: 45335
2489.65/2496.38 c #Conflicts: 721000 | #Constraints: 46335
2489.65/2496.38 c #Conflicts: 722000 | #Constraints: 47335
2489.65/2496.38 c #Conflicts: 723000 | #Constraints: 48335
2489.65/2496.38 c #Conflicts: 724000 | #Constraints: 49335
2489.65/2496.38 c #Conflicts: 725000 | #Constraints: 50335
2489.65/2496.38 c #Conflicts: 726000 | #Constraints: 51335
2489.65/2496.38 c #Conflicts: 727000 | #Constraints: 52335
2489.65/2496.38 c #Conflicts: 728000 | #Constraints: 53335
2489.65/2496.38 c #Conflicts: 729000 | #Constraints: 54335
2489.65/2496.38 c #Conflicts: 730000 | #Constraints: 55335
2489.65/2496.38 c #Conflicts: 731000 | #Constraints: 56335
2489.65/2496.38 c #Conflicts: 732000 | #Constraints: 57335
2489.65/2496.38 c #Conflicts: 733000 | #Constraints: 58335
2489.65/2496.38 c #Conflicts: 734000 | #Constraints: 59335
2489.65/2496.38 c #Conflicts: 735000 | #Constraints: 60335
2489.65/2496.38 c #Conflicts: 736000 | #Constraints: 61335
2489.65/2496.38 c #Conflicts: 737000 | #Constraints: 62335
2489.65/2496.38 c #Conflicts: 738000 | #Constraints: 63335
2489.65/2496.38 c #Conflicts: 739000 | #Constraints: 64335
2489.65/2496.38 c #Conflicts: 740000 | #Constraints: 65335
2489.65/2496.38 c #Conflicts: 741000 | #Constraints: 66335
2489.65/2496.38 c #Conflicts: 742000 | #Constraints: 67335
2489.65/2496.38 c #Conflicts: 743000 | #Constraints: 68335
2489.65/2496.38 c #Conflicts: 744000 | #Constraints: 69335
2489.65/2496.38 c #Conflicts: 745000 | #Constraints: 70335
2489.65/2496.38 c #Conflicts: 746000 | #Constraints: 71335
2489.65/2496.38 c #Conflicts: 747000 | #Constraints: 72335
2489.65/2496.38 c #Conflicts: 748000 | #Constraints: 73335
2489.65/2496.38 c #Conflicts: 749000 | #Constraints: 74335
2489.65/2496.38 c #Conflicts: 750000 | #Constraints: 75335
2489.65/2496.38 c #Conflicts: 751000 | #Constraints: 76335
2489.65/2496.38 c #Conflicts: 752000 | #Constraints: 77335
2489.65/2496.38 c #Conflicts: 753000 | #Constraints: 78335
2489.65/2496.38 c #Conflicts: 754000 | #Constraints: 79335
2489.65/2496.38 c #Conflicts: 755000 | #Constraints: 80335
2489.65/2496.38 c #Conflicts: 756000 | #Constraints: 81335
2489.65/2496.38 c #Conflicts: 757000 | #Constraints: 82335
2489.65/2496.38 c #Conflicts: 758000 | #Constraints: 83335
2489.65/2496.38 c #Conflicts: 759000 | #Constraints: 84335
2489.65/2496.38 c #Conflicts: 760000 | #Constraints: 85335
2489.65/2496.38 c #Conflicts: 761000 | #Constraints: 86335
2489.65/2496.38 c #Conflicts: 762000 | #Constraints: 87335
2489.65/2496.38 c #Conflicts: 763000 | #Constraints: 88335
2489.65/2496.38 c #Conflicts: 764000 | #Constraints: 89335
2489.65/2496.38 c #Conflicts: 765000 | #Constraints: 90335
2489.65/2496.38 c #Conflicts: 766000 | #Constraints: 91335
2489.65/2496.38 c #Conflicts: 767000 | #Constraints: 92335
2489.65/2496.38 c #Conflicts: 768000 | #Constraints: 93335
2489.65/2496.38 c #Conflicts: 769000 | #Constraints: 94335
2489.65/2496.38 c #Conflicts: 770000 | #Constraints: 95335
2489.65/2496.38 c #Conflicts: 771000 | #Constraints: 96335
2489.65/2496.38 c #Conflicts: 772000 | #Constraints: 97335
2489.65/2496.38 c #Conflicts: 773000 | #Constraints: 98335
2489.65/2496.38 c INPROCESSING
2489.65/2496.38 c GARBAGE COLLECT
2489.65/2496.38 c rational objective 30
2589.29/2596.27 c #Conflicts: 774000 | #Constraints: 54264
2589.29/2596.27 c #Conflicts: 775000 | #Constraints: 55264
2589.29/2596.27 c #Conflicts: 776000 | #Constraints: 56264
2589.29/2596.27 c #Conflicts: 777000 | #Constraints: 57264
2589.29/2596.27 c #Conflicts: 778000 | #Constraints: 58264
2589.29/2596.27 c #Conflicts: 779000 | #Constraints: 59264
2589.29/2596.27 c #Conflicts: 780000 | #Constraints: 60264
2589.29/2596.27 c #Conflicts: 781000 | #Constraints: 61264
2589.29/2596.27 c #Conflicts: 782000 | #Constraints: 62264
2589.29/2596.27 c #Conflicts: 783000 | #Constraints: 63264
2589.29/2596.27 c #Conflicts: 784000 | #Constraints: 64264
2589.29/2596.27 c #Conflicts: 785000 | #Constraints: 65264
2589.29/2596.27 c #Conflicts: 786000 | #Constraints: 66264
2589.29/2596.27 c #Conflicts: 787000 | #Constraints: 67264
2589.29/2596.27 c #Conflicts: 788000 | #Constraints: 68264
2589.29/2596.27 c #Conflicts: 789000 | #Constraints: 69264
2589.29/2596.27 c #Conflicts: 790000 | #Constraints: 70264
2589.29/2596.27 c #Conflicts: 791000 | #Constraints: 71264
2589.29/2596.27 c #Conflicts: 792000 | #Constraints: 72264
2589.29/2596.27 c #Conflicts: 793000 | #Constraints: 73264
2589.29/2596.27 c #Conflicts: 794000 | #Constraints: 74264
2589.29/2596.27 c #Conflicts: 795000 | #Constraints: 75264
2589.29/2596.27 c #Conflicts: 796000 | #Constraints: 76264
2589.29/2596.27 c #Conflicts: 797000 | #Constraints: 77264
2589.29/2596.27 c #Conflicts: 798000 | #Constraints: 78264
2589.29/2596.27 c INPROCESSING
2589.29/2596.27 c GARBAGE COLLECT
2589.29/2596.27 c rational objective 30
2922.35/2930.14 c #Conflicts: 799000 | #Constraints: 45415
2922.35/2930.14 c #Conflicts: 800000 | #Constraints: 46415
2922.35/2930.14 c #Conflicts: 801000 | #Constraints: 47415
2922.35/2930.14 c #Conflicts: 802000 | #Constraints: 48416
2922.35/2930.14 c #Conflicts: 803000 | #Constraints: 49416
2922.35/2930.14 c #Conflicts: 804000 | #Constraints: 50416
2922.35/2930.14 c #Conflicts: 805000 | #Constraints: 51416
2922.35/2930.14 c #Conflicts: 806000 | #Constraints: 52416
2922.35/2930.14 c #Conflicts: 807000 | #Constraints: 53416
2922.35/2930.14 c #Conflicts: 808000 | #Constraints: 54416
2922.35/2930.14 c #Conflicts: 809000 | #Constraints: 55416
2922.35/2930.14 c #Conflicts: 810000 | #Constraints: 56416
2922.35/2930.14 c #Conflicts: 811000 | #Constraints: 57416
2922.35/2930.14 c #Conflicts: 812000 | #Constraints: 58416
2922.35/2930.14 c #Conflicts: 813000 | #Constraints: 59416
2922.35/2930.14 c #Conflicts: 814000 | #Constraints: 60416
2922.35/2930.14 c #Conflicts: 815000 | #Constraints: 61416
2922.35/2930.14 c #Conflicts: 816000 | #Constraints: 62416
2922.35/2930.14 c #Conflicts: 817000 | #Constraints: 63416
2922.35/2930.14 c #Conflicts: 818000 | #Constraints: 64416
2922.35/2930.14 c #Conflicts: 819000 | #Constraints: 65416
2922.35/2930.14 c #Conflicts: 820000 | #Constraints: 66417
2922.35/2930.14 c #Conflicts: 821000 | #Constraints: 67417
2922.35/2930.14 c #Conflicts: 822000 | #Constraints: 68417
2922.35/2930.14 c #Conflicts: 823000 | #Constraints: 69417
2922.35/2930.14 c #Conflicts: 824000 | #Constraints: 70417
2922.35/2930.14 c #Conflicts: 825000 | #Constraints: 71417
2922.35/2930.14 c #Conflicts: 826000 | #Constraints: 72417
2922.35/2930.14 c #Conflicts: 827000 | #Constraints: 73417
2922.35/2930.14 c #Conflicts: 828000 | #Constraints: 74417
2922.35/2930.14 c #Conflicts: 829000 | #Constraints: 75417
2922.35/2930.14 c #Conflicts: 830000 | #Constraints: 76417
2922.35/2930.14 c #Conflicts: 831000 | #Constraints: 77417
2922.35/2930.14 c #Conflicts: 832000 | #Constraints: 78417
2922.35/2930.14 c #Conflicts: 833000 | #Constraints: 79417
2922.35/2930.14 c #Conflicts: 834000 | #Constraints: 80417
2922.35/2930.14 c #Conflicts: 835000 | #Constraints: 81417
2922.35/2930.14 c #Conflicts: 836000 | #Constraints: 82417
2922.35/2930.14 c #Conflicts: 837000 | #Constraints: 83417
2922.35/2930.14 c #Conflicts: 838000 | #Constraints: 84417
2922.35/2930.14 c #Conflicts: 839000 | #Constraints: 85417
2922.35/2930.14 c #Conflicts: 840000 | #Constraints: 86417
2922.35/2930.14 c #Conflicts: 841000 | #Constraints: 87417
2922.35/2930.14 c #Conflicts: 842000 | #Constraints: 88417
2922.35/2930.14 c #Conflicts: 843000 | #Constraints: 89417
2922.35/2930.14 c #Conflicts: 844000 | #Constraints: 90417
2922.35/2930.14 c #Conflicts: 845000 | #Constraints: 91417
2922.35/2930.14 c #Conflicts: 846000 | #Constraints: 92417
2922.35/2930.14 c #Conflicts: 847000 | #Constraints: 93417
2922.35/2930.14 c #Conflicts: 848000 | #Constraints: 94417
2922.35/2930.14 c #Conflicts: 849000 | #Constraints: 95417
2922.35/2930.14 c #Conflicts: 850000 | #Constraints: 96417
2922.35/2930.14 c #Conflicts: 851000 | #Constraints: 97417
2922.35/2930.14 c #Conflicts: 852000 | #Constraints: 98417
2922.35/2930.14 c #Conflicts: 853000 | #Constraints: 99417
2922.35/2930.14 c #Conflicts: 854000 | #Constraints: 100417
2922.35/2930.14 c #Conflicts: 855000 | #Constraints: 101417
2922.35/2930.14 c #Conflicts: 856000 | #Constraints: 102417
2922.35/2930.14 c #Conflicts: 857000 | #Constraints: 103417
2922.35/2930.14 c #Conflicts: 858000 | #Constraints: 104417
2922.35/2930.14 c INPROCESSING
2922.35/2930.14 c GARBAGE COLLECT
2922.35/2930.14 c rational objective 30
3000.34/3008.32 c #Conflicts: 859000 | #Constraints: 57519
3000.34/3008.32 c #Conflicts: 860000 | #Constraints: 58519
3000.34/3008.32 c #Conflicts: 861000 | #Constraints: 59519
3000.34/3008.32 c #Conflicts: 862000 | #Constraints: 60519
3000.34/3008.32 c #Conflicts: 863000 | #Constraints: 61519
3000.34/3008.32 c #Conflicts: 864000 | #Constraints: 62519
3000.34/3008.32 c #Conflicts: 865000 | #Constraints: 63519
3000.34/3008.32 c #Conflicts: 866000 | #Constraints: 64519
3000.34/3008.32 c #Conflicts: 867000 | #Constraints: 65519
3000.34/3008.32 c #Conflicts: 868000 | #Constraints: 66519
3000.34/3008.32 c #Conflicts: 869000 | #Constraints: 67519
3000.34/3008.32 c #Conflicts: 870000 | #Constraints: 68519
3000.34/3008.32 c #Conflicts: 871000 | #Constraints: 69519
3000.34/3008.32 c #Conflicts: 872000 | #Constraints: 70519
3000.34/3008.32 c #Conflicts: 873000 | #Constraints: 71519
3000.34/3008.32 c #Conflicts: 874000 | #Constraints: 72519
3000.34/3008.32 c #Conflicts: 875000 | #Constraints: 73519
3000.34/3008.32 c #Conflicts: 876000 | #Constraints: 74519
3000.34/3008.32 c #Conflicts: 877000 | #Constraints: 75519
3000.34/3008.32 c #Conflicts: 878000 | #Constraints: 76519
3000.34/3008.32 c #Conflicts: 879000 | #Constraints: 77519
3000.34/3008.32 c #Conflicts: 880000 | #Constraints: 78519
3000.34/3008.32 c #Conflicts: 881000 | #Constraints: 79519
3000.34/3008.32 c #Conflicts: 882000 | #Constraints: 80519
3000.34/3008.32 c #Conflicts: 883000 | #Constraints: 81519
3000.34/3008.32 c #Conflicts: 884000 | #Constraints: 82519
3000.34/3008.32 c INPROCESSING
3000.34/3008.32 c GARBAGE COLLECT
3000.34/3008.32 c rational objective 30
3452.51/3461.68 c #Conflicts: 885000 | #Constraints: 47981
3452.51/3461.68 c #Conflicts: 886000 | #Constraints: 48981
3452.51/3461.68 c #Conflicts: 887000 | #Constraints: 49981
3452.51/3461.68 c #Conflicts: 888000 | #Constraints: 50981
3452.51/3461.68 c #Conflicts: 889000 | #Constraints: 51981
3452.51/3461.68 c #Conflicts: 890000 | #Constraints: 52982
3452.51/3461.68 c #Conflicts: 891000 | #Constraints: 53982
3452.51/3461.68 c #Conflicts: 892000 | #Constraints: 54982
3452.51/3461.68 c #Conflicts: 893000 | #Constraints: 55982
3452.51/3461.68 c #Conflicts: 894000 | #Constraints: 56982
3452.51/3461.68 c #Conflicts: 895000 | #Constraints: 57982
3452.51/3461.68 c #Conflicts: 896000 | #Constraints: 58982
3452.51/3461.68 c #Conflicts: 897000 | #Constraints: 59982
3452.51/3461.68 c #Conflicts: 898000 | #Constraints: 60982
3452.51/3461.68 c #Conflicts: 899000 | #Constraints: 61982
3452.51/3461.68 c #Conflicts: 900000 | #Constraints: 62982
3452.51/3461.68 c #Conflicts: 901000 | #Constraints: 63982
3452.51/3461.68 c #Conflicts: 902000 | #Constraints: 64982
3452.51/3461.68 c #Conflicts: 903000 | #Constraints: 65982
3452.51/3461.68 c #Conflicts: 904000 | #Constraints: 66982
3452.51/3461.68 c #Conflicts: 905000 | #Constraints: 67983
3452.51/3461.68 c #Conflicts: 906000 | #Constraints: 68983
3452.51/3461.68 c #Conflicts: 907000 | #Constraints: 69983
3452.51/3461.68 c #Conflicts: 908000 | #Constraints: 70983
3452.51/3461.68 c #Conflicts: 909000 | #Constraints: 71983
3452.51/3461.68 c #Conflicts: 910000 | #Constraints: 72983
3452.51/3461.68 c #Conflicts: 911000 | #Constraints: 73983
3452.51/3461.68 c #Conflicts: 912000 | #Constraints: 74983
3452.51/3461.68 c #Conflicts: 913000 | #Constraints: 75983
3452.51/3461.68 c #Conflicts: 914000 | #Constraints: 76983
3452.51/3461.68 c #Conflicts: 915000 | #Constraints: 77983
3452.51/3461.68 c #Conflicts: 916000 | #Constraints: 78983
3452.51/3461.68 c #Conflicts: 917000 | #Constraints: 79983
3452.51/3461.68 c #Conflicts: 918000 | #Constraints: 80983
3452.51/3461.68 c #Conflicts: 919000 | #Constraints: 81983
3452.51/3461.68 c #Conflicts: 920000 | #Constraints: 82983
3452.51/3461.68 c #Conflicts: 921000 | #Constraints: 83983
3452.51/3461.68 c #Conflicts: 922000 | #Constraints: 84983
3452.51/3461.68 c #Conflicts: 923000 | #Constraints: 85983
3452.51/3461.68 c #Conflicts: 924000 | #Constraints: 86983
3452.51/3461.68 c #Conflicts: 925000 | #Constraints: 87983
3452.51/3461.68 c #Conflicts: 926000 | #Constraints: 88983
3452.51/3461.68 c #Conflicts: 927000 | #Constraints: 89983
3452.51/3461.68 c #Conflicts: 928000 | #Constraints: 90983
3452.51/3461.68 c #Conflicts: 929000 | #Constraints: 91983
3452.51/3461.68 c #Conflicts: 930000 | #Constraints: 92983
3452.51/3461.68 c #Conflicts: 931000 | #Constraints: 93983
3452.51/3461.68 c #Conflicts: 932000 | #Constraints: 94983
3452.51/3461.68 c #Conflicts: 933000 | #Constraints: 95983
3452.51/3461.68 c #Conflicts: 934000 | #Constraints: 96983
3452.51/3461.68 c #Conflicts: 935000 | #Constraints: 97983
3452.51/3461.68 c #Conflicts: 936000 | #Constraints: 98983
3452.51/3461.68 c #Conflicts: 937000 | #Constraints: 99983
3452.51/3461.68 c #Conflicts: 938000 | #Constraints: 100983
3452.51/3461.68 c #Conflicts: 939000 | #Constraints: 101983
3452.51/3461.68 c #Conflicts: 940000 | #Constraints: 102983
3452.51/3461.68 c #Conflicts: 941000 | #Constraints: 103983
3452.51/3461.68 c #Conflicts: 942000 | #Constraints: 104983
3452.51/3461.68 c #Conflicts: 943000 | #Constraints: 105983
3452.51/3461.68 c #Conflicts: 944000 | #Constraints: 106983
3452.51/3461.68 c #Conflicts: 945000 | #Constraints: 107983
3452.51/3461.68 c #Conflicts: 946000 | #Constraints: 108983
3452.51/3461.68 c #Conflicts: 947000 | #Constraints: 109983
3452.51/3461.68 c INPROCESSING
3452.51/3461.68 c GARBAGE COLLECT
3452.51/3461.68 c rational objective 30
3600.04/3609.50 c #Conflicts: 948000 | #Constraints: 60246
3600.04/3609.50 c #Conflicts: 949000 | #Constraints: 61246
3600.04/3609.50 c #Conflicts: 950000 | #Constraints: 62246
3600.04/3609.50 c #Conflicts: 951000 | #Constraints: 63246
3600.04/3609.50 c #Conflicts: 952000 | #Constraints: 64246
3600.04/3609.50 c #Conflicts: 953000 | #Constraints: 65246
3600.04/3609.50 c #Conflicts: 954000 | #Constraints: 66246
3600.04/3609.50 c #Conflicts: 955000 | #Constraints: 67246
3600.04/3609.50 c #Conflicts: 956000 | #Constraints: 68246
3600.04/3609.50 c #Conflicts: 957000 | #Constraints: 69246
3600.04/3609.50 c #Conflicts: 958000 | #Constraints: 70246
3600.04/3609.50 c #Conflicts: 959000 | #Constraints: 71246
3600.04/3609.50 c #Conflicts: 960000 | #Constraints: 72246
3600.04/3609.50 c #Conflicts: 961000 | #Constraints: 73246
3600.04/3609.50 c #Conflicts: 962000 | #Constraints: 74246
3600.04/3609.50 c #Conflicts: 963000 | #Constraints: 75246
3600.04/3609.50 c #Conflicts: 964000 | #Constraints: 76246
3600.04/3609.50 c #Conflicts: 965000 | #Constraints: 77246
3600.04/3609.50 c #Conflicts: 966000 | #Constraints: 78246
3600.04/3609.50 c #Conflicts: 967000 | #Constraints: 79246
3600.04/3609.50 c #Conflicts: 968000 | #Constraints: 80246
3600.04/3609.50 c cpu time 3588.35 s
3600.04/3609.50 c deterministic time 178913443532 1.79e+11
3600.04/3609.50 c optimization time 146.973 s
3600.04/3609.50 c total solve time 3441.35 s
3600.04/3609.50 c core-guided solve time 0 s
3600.04/3609.50 c propagation time 2312.88 s
3600.04/3609.50 c conflict analysis time 1221.24 s
3600.04/3609.50 c propagations 422815068
3600.04/3609.50 c resolve steps 118862154
3600.04/3609.50 c decisions 1494332
3600.04/3609.50 c conflicts 968622
3600.04/3609.50 c restarts 2044
3600.04/3609.50 c inprocessing phases 41
3600.04/3609.50 c garbage collections 41 ,( 100.00 )
3600.04/3609.50 c input clauses 4662 ,( 57.66 )
3600.04/3609.50 c input cardinalities 0 ,( 0.00 )
3600.04/3609.50 c input general constraints 3423 ,( 42.34 )
3600.04/3609.50 c input average constraint length 3.22
3600.04/3609.50 c input average constraint degree 142600062412722.53
3600.04/3609.50 c learned clauses 540817 ,( 55.83 )
3600.04/3609.50 c learned cardinalities 237 ,( 0.02 )
3600.04/3609.50 c learned general constraints 427581 ,( 44.14 )
3600.04/3609.50 c learned average constraint length 263.12
3600.04/3609.50 c learned average constraint degree 138727792.41
3600.04/3609.50 c watched CF 32, 64, 128, Arb: 54698 , 0 , 0 , 0
3600.04/3609.50 c counting CF 32, 64, 128, Arb: 376305 , 1 , 0 , 0
3600.04/3609.50 c watched constraints 54698 ,( 12.69 )
3600.04/3609.50 c counting constraints 376306 ,( 87.31 )
3600.04/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 686919507 , 4318521 , 65219596341 ,( 152112102 , 65067484239 )
3600.04/3609.50 c gcd simplifications 36005
3600.04/3609.50 c detected cardinalities 116
3600.04/3609.50 c weakened non-implied lits 43689774
3600.04/3609.50 c weakened non-implying lits 590693
3600.04/3609.50 c original variables 5610
3600.04/3609.50 c clausal propagations 156817521
3600.04/3609.50 c cardinality propagations 166374
3600.04/3609.50 c watched propagations 1981155
3600.04/3609.50 c counting propagations 262872923
3600.04/3609.50 c watch lookups 109890858443
3600.04/3609.50 c watch backjump lookups 0
3600.04/3609.50 c watch checks 4502623038
3600.04/3609.50 c propagation checks 62580031159
3600.04/3609.50 c constraint additions 1090176023
3600.04/3609.50 c trail pops 425274482
3600.04/3609.50 c formula constraints 8085
3600.04/3609.50 c learned constraints 968613
3600.04/3609.50 c bound constraints 0
3600.04/3609.50 c core-guided constraints 0
3600.04/3609.50 c encountered formula constraints 84522616
3600.04/3609.50 c encountered learned constraints 35018316
3600.04/3609.50 c encountered bound constraints 0
3600.04/3609.50 c encountered core-guided constraints 0
3600.04/3609.50 c LP total time 33.2893 s
3600.04/3609.50 c LP solve time 31.62 s
3600.04/3609.50 c LP constraints added 8086
3600.04/3609.50 c LP constraints removed 0
3600.04/3609.50 c LP pivots internal 97232
3600.04/3609.50 c LP pivots root 73754
3600.04/3609.50 c LP calls 66
3600.04/3609.50 c LP optimalities 35
3600.04/3609.50 c LP no pivot count 17
3600.04/3609.50 c LP infeasibilities 16
3600.04/3609.50 c LP valid Farkas constraints 14
3600.04/3609.50 c LP learned Farkas constraints 8
3600.04/3609.50 c LP basis resets 12
3600.04/3609.50 c LP cycling count 2
3600.04/3609.50 c LP singular count 9
3600.04/3609.50 c LP no primal count 0
3600.04/3609.50 c LP no farkas count 1
3600.04/3609.50 c LP other issue count 0
3600.04/3609.50 c LP Gomory cuts 0
3600.04/3609.50 c LP learned cuts 1
3600.04/3609.50 c LP deleted cuts 0
3600.04/3609.50 c LP encountered Gomory constraints 0
3600.04/3609.50 c LP encountered Farkas constraints 289175
3600.04/3609.50 c LP encountered learned Farkas constraints 661
3600.04/3609.50 c CG auxiliary variables introduced 0
3600.04/3609.50 c CG solutions found 0
3600.04/3609.50 c CG cores constructed 0
3600.04/3609.50 c CG core cardinality constraints returned 0
3600.04/3609.50 c CG unit cores 0
3600.04/3609.50 c CG single cores 0
3600.04/3609.50 c CG blocks removed during cardinality reduction 0
3600.04/3609.50 c CG first core best 0
3600.04/3609.50 c CG decision core best 0
3600.04/3609.50 c CG core reduction tie 0
3600.04/3609.50 c CG core degree average 0.00
3600.04/3609.50 c CG core slack average 0.00
3600.04/3609.50 c CG core upper bound improvements 0
3600.04/3609.50 c STR number of successful calls 0
3600.04/3609.50 c STR number of unsuccessful calls 0
3600.04/3609.50 c STR number of inconclusive calls 0
3600.04/3609.50 c STR number of successful attempts 0
3600.04/3609.50 c STR number of unsuccessful attempts 0
3600.04/3609.50 c STR number of inconclusive attempts 0
3600.04/3609.50 c STR average degree increase per successful call inf
3600.04/3609.50 c STR average degree increase per successful attempt inf
3600.04/3609.50 c STR total number of conflicts for successful attempts 0
3600.04/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.04/3609.50 c STR average number of conflicts per successful attempt inf
3600.04/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.04/3609.50 c AVG.sumWPerc 80.76
3600.04/3609.50 c bigint constraints 1
3600.04/3609.50 s UNKNOWN
3600.04/3609.50 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 (61758 MiB free)
memory of node 1: 64465 MiB (63608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541528-1753198973/watcher-4541528-1753198973 -o /tmp/evaluation-result-4541528-1753198973/solver-4541528-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171406 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541528-1753198973.opb /tmp/proof-4541528-1753198973
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=171448, runsolver pid=171442
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.07 0.08 0.09 2/266 171463
/proc/meminfo: memFree=128372728/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=67196 memory=23692 CPUtime=0.04 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 3914 0 0 0 3 1 0 0 20 0 1 0 235576811 68808704 5923 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 16799 5923 2272 1147 0 4226 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 71388 KiB
Current children cumulated memory: 26636 KiB
[startup+0.205152 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128352988/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=69140 memory=25612 CPUtime=0.14 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 4355 0 0 0 13 1 0 0 20 0 1 0 235576811 70799360 6403 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 17285 6403 2336 1147 0 4712 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 73332 KiB
Current children cumulated memory: 28556 KiB
[startup+0.305419 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128334968/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=69536 memory=25996 CPUtime=0.25 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 4455 0 0 0 23 2 0 0 20 0 1 0 235576811 71204864 6499 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 17384 6499 2336 1147 0 4811 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 73728 KiB
Current children cumulated memory: 28940 KiB
[startup+0.700159 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128324132/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=72556 memory=28684 CPUtime=0.63 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 5122 0 0 0 61 2 0 0 20 0 1 0 235576811 74297344 7171 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 18139 7171 2336 1147 0 5566 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 76748 KiB
Current children cumulated memory: 31628 KiB
[startup+1.50014 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128278444/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=72556 memory=28940 CPUtime=1.44 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 5190 0 0 0 140 4 0 0 20 0 1 0 235576811 74297344 7235 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 18139 7235 2336 1147 0 5566 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 76748 KiB
Current children cumulated memory: 31884 KiB
[startup+3.10529 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128171128/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=76820 memory=35132 CPUtime=3.04 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 6231 0 0 0 296 8 0 0 20 0 1 0 235576811 78663680 8783 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 19205 8783 2336 1147 0 6632 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 81012 KiB
Current children cumulated memory: 38076 KiB
[startup+6.30014 s]
/proc/loadavg: 0.46 0.16 0.11 5/269 171469
/proc/meminfo: memFree=128034108/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=77480 memory=35900 CPUtime=6.22 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 6423 0 0 0 611 11 0 0 20 0 1 0 235576811 79339520 8975 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 19370 8975 2336 1147 0 6797 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 81672 KiB
Current children cumulated memory: 38844 KiB
[startup+12.7002 s]
/proc/loadavg: 0.75 0.22 0.13 5/269 171469
/proc/meminfo: memFree=127788948/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=84208 memory=40380 CPUtime=12.61 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 7536 0 0 0 1241 20 0 0 20 0 1 0 235576811 86228992 10095 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 21052 10095 2336 1147 0 8479 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 88400 KiB
Current children cumulated memory: 43324 KiB
[startup+25.5002 s]
/proc/loadavg: 1.54 0.43 0.20 5/271 171471
/proc/meminfo: memFree=127297964/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=103908 memory=61836 CPUtime=25.36 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 12280 0 0 0 2504 32 0 0 20 0 1 0 235576811 106401792 15459 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 25977 15459 2464 1147 0 13404 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 108100 KiB
Current children cumulated memory: 64780 KiB
[startup+51.1054 s]
/proc/loadavg: 2.54 0.75 0.32 5/271 171472
/proc/meminfo: memFree=126524564/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=140132 memory=88368 CPUtime=50.91 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 17404 0 0 0 5040 51 0 0 20 0 1 0 235576811 143495168 22092 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 35033 22092 2464 1147 0 22460 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 144324 KiB
Current children cumulated memory: 91312 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.30 0.53 5/271 171473
/proc/meminfo: memFree=125091284/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=154196 memory=108736 CPUtime=101.97 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 20903 0 0 0 10113 84 0 0 20 0 1 0 235576811 157896704 27184 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 38549 27184 2464 1147 0 25976 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 158388 KiB
Current children cumulated memory: 111680 KiB
[startup+162.3 s]
/proc/loadavg: 4.50 2.00 0.82 5/271 171476
/proc/meminfo: memFree=123636656/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=184416 memory=127704 CPUtime=161.8 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 24106 0 0 0 16064 116 0 0 20 0 1 0 235576811 188841984 31926 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 46104 31926 2464 1147 0 33531 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 188608 KiB
Current children cumulated memory: 130648 KiB
[startup+222.3 s]
/proc/loadavg: 4.45 2.44 1.05 5/271 171478
/proc/meminfo: memFree=122356104/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=191156 memory=133336 CPUtime=221.65 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 25513 0 0 0 22016 149 0 0 20 0 1 0 235576811 195743744 33334 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
################
# More data... #
################
/proc/171452/statm: 133931 115312 2464 1147 0 121358 0
Current children cumulated CPU time: 3094.11 s
Current children cumulated vsize: 539916 KiB
Current children cumulated memory: 464192 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.08 5/269 171643
/proc/meminfo: memFree=88591620/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=535724 memory=461248 CPUtime=3153.96 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 79580 0 0 0 314319 1077 0 0 20 0 1 0 235576811 548581376 115312 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 133931 115312 2464 1147 0 121358 0
Current children cumulated CPU time: 3153.96 s
Current children cumulated vsize: 539916 KiB
Current children cumulated memory: 464192 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/269 171646
/proc/meminfo: memFree=88123512/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=535724 memory=461248 CPUtime=3213.81 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 79587 0 0 0 320292 1089 0 0 20 0 1 0 235576811 548581376 115312 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 133931 115312 2464 1147 0 121358 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 539916 KiB
Current children cumulated memory: 464192 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/268 171648
/proc/meminfo: memFree=87679428/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=536064 memory=461376 CPUtime=3273.66 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 79637 0 0 0 326266 1100 0 0 20 0 1 0 235576811 548929536 115344 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 134016 115344 2464 1147 0 121443 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 540256 KiB
Current children cumulated memory: 464320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/269 171651
/proc/meminfo: memFree=87342116/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=536576 memory=461760 CPUtime=3333.51 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 79726 0 0 0 332241 1110 0 0 20 0 1 0 235576811 549453824 115440 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 134144 115440 2464 1147 0 121571 0
Current children cumulated CPU time: 3333.51 s
Current children cumulated vsize: 540768 KiB
Current children cumulated memory: 464704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/269 171653
/proc/meminfo: memFree=86934172/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=540032 memory=475860 CPUtime=3393.37 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 80196 0 0 0 338216 1121 0 0 20 0 1 0 235576811 552992768 118965 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 135008 118965 2464 1147 0 122435 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 544224 KiB
Current children cumulated memory: 478804 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.19 4.10 5/271 171658
/proc/meminfo: memFree=86445004/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=547280 memory=493196 CPUtime=3453.22 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 81462 0 0 0 344190 1132 0 0 20 0 1 0 235576811 560414720 123299 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 136820 123299 2464 1147 0 124247 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 551472 KiB
Current children cumulated memory: 496140 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/270 171660
/proc/meminfo: memFree=85961256/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=555032 memory=498444 CPUtime=3513.06 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 82782 0 0 0 350158 1148 0 0 20 0 1 0 235576811 568352768 124611 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 138758 124611 2464 1147 0 126185 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 559224 KiB
Current children cumulated memory: 501388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.11 5/270 171662
/proc/meminfo: memFree=85488496/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=588508 memory=521484 CPUtime=3572.91 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 88538 0 0 0 356129 1162 0 0 20 0 1 0 235576811 602632192 130371 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 147127 130371 2464 1147 0 134554 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 592700 KiB
Current children cumulated memory: 524428 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.19 4.19 4.11 5/270 171671
/proc/meminfo: memFree=85282392/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=610012 memory=536844 CPUtime=3600.04 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 92374 0 0 0 358835 1169 0 0 20 0 1 0 235576811 624652288 134211 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 152503 134211 2464 1147 0 139930 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 614204 KiB
Current children cumulated memory: 539788 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 171448 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002382 s
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 171452 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.36 s, system=11.7013 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
[startup+3609.5 s]
/proc/loadavg: 4.19 4.19 4.11 5/270 171671
/proc/meminfo: memFree=85282392/131250000 swapFree=33009904/33010684
[pid=171448] ppid=171442 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/171448/stat : 171448 (run-dec-log.sh) S 171442 171448 171389 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576809 4292608 736 18446744073709551615 94591600279552 94591601174085 140720923465040 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94591601413136 94591601460880 94591630766080 140720923470149 140720923470306 140720923470306 140720923475910 0
/proc/171448/statm: 1048 736 672 219 0 110 0
[pid=171452] ppid=171448 vsize=610012 memory=536844 CPUtime=3600.04 cores=0,2
/proc/171452/stat : 171452 (roundingsat) R 171448 171448 171389 0 -1 4194304 92374 0 0 0 358835 1169 0 0 20 0 1 0 235576811 624652288 134211 18446744073709551615 4227072 8923433 140736860029056 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 31367168 140736860035467 140736860035622 140736860035622 140736860041194 0
/proc/171452/statm: 152503 134211 2464 1147 0 139930 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 614204 KiB
Current children cumulated memory: 539788 KiB
Child status: 2
Real time (s): 3609.51
CPU time (s): 3600.06
CPU user time (s): 3588.36
CPU system time (s): 11.7013
CPU usage (%): 99.7383
Max. virtual memory (cumulated for all children) (KiB): 614204
Max. memory (cumulated for all children) (KiB): 539788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.36
system time used= 11.7013
maximum resident set size= 536972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10852272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276
involuntary context switches= 8145
# summary of solver processes directly reported to runsolver:
# pid: 171448,171452
# total CPU time (s): 3600.06
# total CPU user time (s): 3588.36
# total CPU system time (s): 11.7013
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83599 second user time and 15.682 second system time
The end
Begin job on nodeC033 at 2025-07-22 17:42:53
IDJOB=4541528
IDBENCH=163136
IDSOLVER=3352
FILE ID=nodeC033/4541528-1753198973
RUNJOBID= nodeC033-1753198973-171406
SLURM_JOB_ID= 9687766
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq5/normalized-30array_ineq5.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541528-1753198973/watcher-4541528-1753198973 -o /tmp/evaluation-result-4541528-1753198973/solver-4541528-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1753198973-171406 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541528-1753198973.opb /tmp/proof-4541528-1753198973
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=1581860338
nodeC033 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.349
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.826
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 : 7000.13
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.063
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 : 7000.13
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 : 3635.687
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 : 7000.13
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 : 3592.849
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 : 7000.13
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 : 1434.865
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 : 7000.13
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 : 3596.525
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 : 7000.13
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 : 3600.316
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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128398300 kB
MemAvailable: 129695596 kB
Buffers: 2128 kB
Cached: 2021088 kB
SwapCached: 64 kB
Active: 1293132 kB
Inactive: 793972 kB
Active(anon): 84832 kB
Inactive(anon): 5284 kB
Active(file): 1208300 kB
Inactive(file): 788688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14868 kB
Writeback: 0 kB
AnonPages: 67036 kB
Mapped: 108724 kB
Shmem: 26228 kB
KReclaimable: 279092 kB
Slab: 382960 kB
SReclaimable: 279092 kB
SUnreclaim: 103868 kB
KernelStack: 4132 kB
PageTables: 2944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 348692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 390124 MiB
End job on nodeC033 at 2025-07-22 18:43:04