0.00/0.08 c RoundingSat 2
0.00/0.08 c branch pb25
0.00/0.08 c commit 63f22ad
0.01/0.13 c #variables 5610 #constraints 8085
0.01/0.13 c rational objective 30
44.10/44.31 c #Conflicts: 1000 | #Constraints: 9085
44.10/44.31 c #Conflicts: 2000 | #Constraints: 10086
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 3000 | #Constraints: 9503
44.10/44.31 c #Conflicts: 4000 | #Constraints: 10503
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 5000 | #Constraints: 9944
44.10/44.31 c #Conflicts: 6000 | #Constraints: 10944
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 7000 | #Constraints: 9982
44.10/44.31 c #Conflicts: 8000 | #Constraints: 10982
44.10/44.31 c #Conflicts: 9000 | #Constraints: 11982
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 10000 | #Constraints: 10727
44.10/44.31 c #Conflicts: 11000 | #Constraints: 11727
44.10/44.31 c #Conflicts: 12000 | #Constraints: 12727
44.10/44.31 c #Conflicts: 13000 | #Constraints: 13727
44.10/44.31 c #Conflicts: 14000 | #Constraints: 14727
44.10/44.31 c #Conflicts: 15000 | #Constraints: 15727
44.10/44.31 c #Conflicts: 16000 | #Constraints: 16727
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 17000 | #Constraints: 12987
44.10/44.31 c #Conflicts: 18000 | #Constraints: 13987
44.10/44.31 c #Conflicts: 19000 | #Constraints: 14987
44.10/44.31 c #Conflicts: 20000 | #Constraints: 15987
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 21000 | #Constraints: 12735
44.10/44.31 c #Conflicts: 22000 | #Constraints: 13735
44.10/44.31 c #Conflicts: 23000 | #Constraints: 14735
44.10/44.31 c #Conflicts: 24000 | #Constraints: 15735
44.10/44.31 c #Conflicts: 25000 | #Constraints: 16735
44.10/44.31 c #Conflicts: 26000 | #Constraints: 17735
44.10/44.31 c #Conflicts: 27000 | #Constraints: 18735
44.10/44.31 c #Conflicts: 28000 | #Constraints: 19735
44.10/44.31 c #Conflicts: 29000 | #Constraints: 20735
44.10/44.31 c #Conflicts: 30000 | #Constraints: 21735
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 31000 | #Constraints: 15467
44.10/44.31 c #Conflicts: 32000 | #Constraints: 16467
44.10/44.31 c #Conflicts: 33000 | #Constraints: 17467
44.10/44.31 c #Conflicts: 34000 | #Constraints: 18467
44.10/44.31 c #Conflicts: 35000 | #Constraints: 19467
44.10/44.31 c #Conflicts: 36000 | #Constraints: 20467
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 37000 | #Constraints: 15217
44.10/44.31 c #Conflicts: 38000 | #Constraints: 16217
44.10/44.31 c #Conflicts: 39000 | #Constraints: 17217
44.10/44.31 c #Conflicts: 40000 | #Constraints: 18217
44.10/44.31 c #Conflicts: 41000 | #Constraints: 19217
44.10/44.31 c #Conflicts: 42000 | #Constraints: 20217
44.10/44.31 c #Conflicts: 43000 | #Constraints: 21217
44.10/44.31 c #Conflicts: 44000 | #Constraints: 22217
44.10/44.31 c #Conflicts: 45000 | #Constraints: 23217
44.10/44.31 c #Conflicts: 46000 | #Constraints: 24217
44.10/44.31 c #Conflicts: 47000 | #Constraints: 25217
44.10/44.31 c #Conflicts: 48000 | #Constraints: 26217
44.10/44.31 c #Conflicts: 49000 | #Constraints: 27217
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c #Conflicts: 50000 | #Constraints: 18355
44.10/44.31 c #Conflicts: 51000 | #Constraints: 19355
44.10/44.31 c #Conflicts: 52000 | #Constraints: 20355
44.10/44.31 c #Conflicts: 53000 | #Constraints: 21355
44.10/44.31 c #Conflicts: 54000 | #Constraints: 22355
44.10/44.31 c #Conflicts: 55000 | #Constraints: 23355
44.10/44.31 c #Conflicts: 56000 | #Constraints: 24355
44.10/44.31 c INPROCESSING
44.10/44.31 c GARBAGE COLLECT
44.10/44.31 c rational objective 30
164.55/165.17 c #Conflicts: 57000 | #Constraints: 17175
164.55/165.17 c #Conflicts: 58000 | #Constraints: 18175
164.55/165.17 c #Conflicts: 59000 | #Constraints: 19175
164.55/165.17 c #Conflicts: 60000 | #Constraints: 20175
164.55/165.17 c #Conflicts: 61000 | #Constraints: 21175
164.55/165.17 c #Conflicts: 62000 | #Constraints: 22175
164.55/165.17 c #Conflicts: 63000 | #Constraints: 23175
164.55/165.17 c #Conflicts: 64000 | #Constraints: 24175
164.55/165.17 c #Conflicts: 65000 | #Constraints: 25175
164.55/165.17 c #Conflicts: 66000 | #Constraints: 26175
164.55/165.17 c #Conflicts: 67000 | #Constraints: 27175
164.55/165.17 c #Conflicts: 68000 | #Constraints: 28175
164.55/165.17 c #Conflicts: 69000 | #Constraints: 29175
164.55/165.17 c #Conflicts: 70000 | #Constraints: 30175
164.55/165.17 c #Conflicts: 71000 | #Constraints: 31175
164.55/165.17 c #Conflicts: 72000 | #Constraints: 32175
164.55/165.17 c INPROCESSING
164.55/165.17 c GARBAGE COLLECT
164.55/165.17 c #Conflicts: 73000 | #Constraints: 20902
164.55/165.17 c #Conflicts: 74000 | #Constraints: 21902
164.55/165.17 c #Conflicts: 75000 | #Constraints: 22902
164.55/165.17 c #Conflicts: 76000 | #Constraints: 23902
164.55/165.17 c #Conflicts: 77000 | #Constraints: 24902
164.55/165.17 c #Conflicts: 78000 | #Constraints: 25902
164.55/165.17 c #Conflicts: 79000 | #Constraints: 26902
164.55/165.17 c #Conflicts: 80000 | #Constraints: 27902
164.55/165.17 c INPROCESSING
164.55/165.17 c GARBAGE COLLECT
164.55/165.17 c #Conflicts: 81000 | #Constraints: 18813
164.55/165.17 c #Conflicts: 82000 | #Constraints: 19813
164.55/165.17 c #Conflicts: 83000 | #Constraints: 20813
164.55/165.17 c #Conflicts: 84000 | #Constraints: 21813
164.55/165.17 c #Conflicts: 85000 | #Constraints: 22813
164.55/165.17 c #Conflicts: 86000 | #Constraints: 23813
164.55/165.17 c #Conflicts: 87000 | #Constraints: 24813
164.55/165.17 c #Conflicts: 88000 | #Constraints: 25813
164.55/165.17 c #Conflicts: 89000 | #Constraints: 26813
164.55/165.17 c #Conflicts: 90000 | #Constraints: 27813
164.55/165.17 c #Conflicts: 91000 | #Constraints: 28813
164.55/165.17 c #Conflicts: 92000 | #Constraints: 29813
164.55/165.17 c #Conflicts: 93000 | #Constraints: 30813
164.55/165.17 c #Conflicts: 94000 | #Constraints: 31813
164.55/165.17 c #Conflicts: 95000 | #Constraints: 32813
164.55/165.17 c #Conflicts: 96000 | #Constraints: 33813
164.55/165.17 c #Conflicts: 97000 | #Constraints: 34813
164.55/165.17 c #Conflicts: 98000 | #Constraints: 35813
164.55/165.17 c #Conflicts: 99000 | #Constraints: 36813
164.55/165.17 c #Conflicts: 100000 | #Constraints: 37813
164.55/165.17 c INPROCESSING
164.55/165.17 c GARBAGE COLLECT
164.55/165.17 c #Conflicts: 101000 | #Constraints: 23970
164.55/165.17 c #Conflicts: 102000 | #Constraints: 24970
164.55/165.17 c #Conflicts: 103000 | #Constraints: 25970
164.55/165.17 c #Conflicts: 104000 | #Constraints: 26970
164.55/165.17 c #Conflicts: 105000 | #Constraints: 27970
164.55/165.17 c #Conflicts: 106000 | #Constraints: 28970
164.55/165.17 c #Conflicts: 107000 | #Constraints: 29970
164.55/165.17 c #Conflicts: 108000 | #Constraints: 30970
164.55/165.17 c #Conflicts: 109000 | #Constraints: 31970
164.55/165.17 c INPROCESSING
164.55/165.17 c GARBAGE COLLECT
164.55/165.17 c #Conflicts: 110000 | #Constraints: 20979
164.55/165.17 c #Conflicts: 111000 | #Constraints: 21979
164.55/165.17 c #Conflicts: 112000 | #Constraints: 22979
164.55/165.17 c #Conflicts: 113000 | #Constraints: 23979
164.55/165.17 c #Conflicts: 114000 | #Constraints: 24979
164.55/165.17 c #Conflicts: 115000 | #Constraints: 25979
164.55/165.17 c #Conflicts: 116000 | #Constraints: 26979
164.55/165.17 c #Conflicts: 117000 | #Constraints: 27979
164.55/165.17 c #Conflicts: 118000 | #Constraints: 28979
164.55/165.17 c #Conflicts: 119000 | #Constraints: 29979
164.55/165.17 c #Conflicts: 120000 | #Constraints: 30979
164.55/165.17 c #Conflicts: 121000 | #Constraints: 31979
164.55/165.17 c #Conflicts: 122000 | #Constraints: 32979
164.55/165.17 c #Conflicts: 123000 | #Constraints: 33979
164.55/165.17 c #Conflicts: 124000 | #Constraints: 34979
164.55/165.17 c #Conflicts: 125000 | #Constraints: 35979
164.55/165.17 c #Conflicts: 126000 | #Constraints: 36979
164.55/165.17 c #Conflicts: 127000 | #Constraints: 37979
164.55/165.17 c #Conflicts: 128000 | #Constraints: 38979
164.55/165.17 c #Conflicts: 129000 | #Constraints: 39979
164.55/165.17 c #Conflicts: 130000 | #Constraints: 40979
164.55/165.17 c #Conflicts: 131000 | #Constraints: 41979
164.55/165.17 c #Conflicts: 132000 | #Constraints: 42979
164.55/165.17 c INPROCESSING
165.54/166.12 c GARBAGE COLLECT
165.54/166.12 c rational objective 30
298.83/299.82 c #Conflicts: 133000 | #Constraints: 26622
298.83/299.82 c #Conflicts: 134000 | #Constraints: 27622
298.83/299.82 c #Conflicts: 135000 | #Constraints: 28622
298.83/299.82 c #Conflicts: 136000 | #Constraints: 29622
298.83/299.82 c #Conflicts: 137000 | #Constraints: 30622
298.83/299.82 c #Conflicts: 138000 | #Constraints: 31622
298.83/299.82 c #Conflicts: 139000 | #Constraints: 32622
298.83/299.82 c #Conflicts: 140000 | #Constraints: 33622
298.83/299.82 c #Conflicts: 141000 | #Constraints: 34622
298.83/299.82 c #Conflicts: 142000 | #Constraints: 35622
298.83/299.82 c INPROCESSING
298.83/299.82 c GARBAGE COLLECT
298.83/299.82 c #Conflicts: 143000 | #Constraints: 22756
298.83/299.82 c #Conflicts: 144000 | #Constraints: 23756
298.83/299.82 c #Conflicts: 145000 | #Constraints: 24756
298.83/299.82 c #Conflicts: 146000 | #Constraints: 25756
298.83/299.82 c #Conflicts: 147000 | #Constraints: 26756
298.83/299.82 c #Conflicts: 148000 | #Constraints: 27756
298.83/299.82 c #Conflicts: 149000 | #Constraints: 28756
298.83/299.82 c #Conflicts: 150000 | #Constraints: 29756
298.83/299.82 c #Conflicts: 151000 | #Constraints: 30756
298.83/299.82 c #Conflicts: 152000 | #Constraints: 31756
298.83/299.82 c #Conflicts: 153000 | #Constraints: 32756
298.83/299.82 c #Conflicts: 154000 | #Constraints: 33756
298.83/299.82 c #Conflicts: 155000 | #Constraints: 34756
298.83/299.82 c #Conflicts: 156000 | #Constraints: 35756
298.83/299.82 c #Conflicts: 157000 | #Constraints: 36756
298.83/299.82 c #Conflicts: 158000 | #Constraints: 37756
298.83/299.82 c #Conflicts: 159000 | #Constraints: 38756
298.83/299.82 c #Conflicts: 160000 | #Constraints: 39756
298.83/299.82 c #Conflicts: 161000 | #Constraints: 40756
298.83/299.82 c #Conflicts: 162000 | #Constraints: 41756
298.83/299.82 c #Conflicts: 163000 | #Constraints: 42756
298.83/299.82 c #Conflicts: 164000 | #Constraints: 43756
298.83/299.82 c #Conflicts: 165000 | #Constraints: 44756
298.83/299.82 c #Conflicts: 166000 | #Constraints: 45756
298.83/299.82 c #Conflicts: 167000 | #Constraints: 46756
298.83/299.82 c #Conflicts: 168000 | #Constraints: 47756
298.83/299.82 c INPROCESSING
298.83/299.82 c GARBAGE COLLECT
298.83/299.82 c #Conflicts: 169000 | #Constraints: 28906
298.83/299.82 c #Conflicts: 170000 | #Constraints: 29906
298.83/299.82 c #Conflicts: 171000 | #Constraints: 30906
298.83/299.82 c #Conflicts: 172000 | #Constraints: 31906
298.83/299.82 c #Conflicts: 173000 | #Constraints: 32906
298.83/299.82 c #Conflicts: 174000 | #Constraints: 33906
298.83/299.82 c #Conflicts: 175000 | #Constraints: 34906
298.83/299.82 c #Conflicts: 176000 | #Constraints: 35906
298.83/299.82 c #Conflicts: 177000 | #Constraints: 36906
298.83/299.82 c #Conflicts: 178000 | #Constraints: 37906
298.83/299.82 c #Conflicts: 179000 | #Constraints: 38906
298.83/299.82 c #Conflicts: 180000 | #Constraints: 39906
298.83/299.82 c INPROCESSING
298.83/299.82 c GARBAGE COLLECT
298.83/299.82 c #Conflicts: 181000 | #Constraints: 25217
298.83/299.82 c #Conflicts: 182000 | #Constraints: 26217
298.83/299.82 c #Conflicts: 183000 | #Constraints: 27217
298.83/299.82 c #Conflicts: 184000 | #Constraints: 28217
298.83/299.82 c #Conflicts: 185000 | #Constraints: 29217
298.83/299.82 c #Conflicts: 186000 | #Constraints: 30217
298.83/299.82 c #Conflicts: 187000 | #Constraints: 31217
298.83/299.82 c #Conflicts: 188000 | #Constraints: 32217
298.83/299.82 c #Conflicts: 189000 | #Constraints: 33217
298.83/299.82 c #Conflicts: 190000 | #Constraints: 34217
298.83/299.82 c #Conflicts: 191000 | #Constraints: 35217
298.83/299.82 c #Conflicts: 192000 | #Constraints: 36217
298.83/299.82 c #Conflicts: 193000 | #Constraints: 37217
298.83/299.82 c #Conflicts: 194000 | #Constraints: 38217
298.83/299.82 c #Conflicts: 195000 | #Constraints: 39217
298.83/299.82 c #Conflicts: 196000 | #Constraints: 40217
298.83/299.82 c #Conflicts: 197000 | #Constraints: 41217
298.83/299.82 c #Conflicts: 198000 | #Constraints: 42217
298.83/299.82 c #Conflicts: 199000 | #Constraints: 43217
298.83/299.82 c #Conflicts: 200000 | #Constraints: 44217
298.83/299.82 c #Conflicts: 201000 | #Constraints: 45217
298.83/299.82 c #Conflicts: 202000 | #Constraints: 46217
298.83/299.82 c #Conflicts: 203000 | #Constraints: 47217
298.83/299.82 WSVECS04 Frhs2[142]: 6 -29.6667 0 shouldn't be
298.83/299.82 WSVECS04 Frhs2[1920]: 6 0 4.28527e+12 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2602]: 6 -1.875 0 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2929]: 6 0 12.0897 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2930]: 6 0 27.1795 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2931]: 6 0 59.3589 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2989]: 6 0 57.3589 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2990]: 6 0 120.718 shouldn't be
298.83/299.82 WSVECS04 Frhs2[2991]: 6 0 246.436 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3049]: 6 0 244.436 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3050]: 6 0 494.871 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3051]: 6 0 994.743 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3109]: 6 0 992.743 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3110]: 6 0 1991.49 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3111]: 6 0 3987.97 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3160]: 6 0 4.79435 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3169]: 6 0 3985.97 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3170]: 6 0 7977.94 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3171]: 6 0 15960.9 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3220]: 6 0 28.1774 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3229]: 6 0 15958.9 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3230]: 6 0 31892.9 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3280]: 6 0 121.71 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3289]: 6 0 63850.5 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3290]: 6 0 127707 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3291]: 6 0 255419 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3340]: 6 0 495.839 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3349]: 6 0 255417 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3350]: 6 0 510840 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3351]: 6 0 1.02165e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3400]: 6 0 1992.35 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3409]: 6 0 1.02168e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3410]: 6 0 2.04337e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3411]: 6 0 4.08675e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3460]: 6 0 7978.42 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3469]: 6 0 4.08675e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3470]: 6 0 8.1735e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3471]: 6 0 1.6347e+07 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3529]: 6 0 1.6347e+07 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3530]: 6 0 3.2694e+07 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3531]: 6 0 6.5388e+07 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3580]: 6 0 127661 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3589]: 6 0 6.5388e+07 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3590]: 6 0 1.30776e+08 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3591]: 6 0 2.61552e+08 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3640]: 6 0 510635 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3649]: 6 0 2.61552e+08 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3913]: 6 0 2 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3914]: 6 0 1 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3972]: 6 0 1 shouldn't be
298.83/299.82 WSVECS04 Frhs2[3999]: 6 0 4.5 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4029]: 6 0 2 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4086]: 6 0 3 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4203]: 6 0 2 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4222]: 6 0 1 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4251]: 6 0 1 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4260]: 6 0 3 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4261]: 6 0 2 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4280]: 6 0 1 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4290]: 6 0 2 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4318]: 6 0 3 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4349]: 6 0 11 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4380]: 6 0 1.5 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4407]: 6 0 11 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4436]: 6 0 1 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4463]: 6 0 13 shouldn't be
298.83/299.82 WSVECS04 Frhs2[4571]: 6 0 8.17349e+06 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5162]: 6 0 2.79155 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5222]: 6 0 26.1662 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5282]: 6 0 119.665 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5342]: 6 0 492.659 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5402]: 6 0 1989.64 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5451]: 6 0 8 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5462]: 6 0 7973.54 shouldn't be
298.83/299.82 WSVECS04 Frhs2[5470]: 6 0 4.08673e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[14]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1161]: 6 0 1.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1219]: 6 0 1.875 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1247]: 6 0 3.75 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1363]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1421]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1479]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1508]: 6 0 3.96875 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1683]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1916]: 6 0 4.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1922]: 6 -0.5 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1931]: 6 -4.25049 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1935]: 6 -1 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1964]: 6 -6 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1968]: 6 -0.187501 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1997]: 6 -2.8125 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[1999]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2000]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2001]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2003]: 6 -254.437 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2027]: 6 -3.625 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2028]: 6 -2.75 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2029]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2030]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2057]: 6 -2.25 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2063]: 6 -1001.74 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2092]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2152]: 6 -2 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2183]: 6 -15966.4 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2212]: 6 -1.99999 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2332]: 6 -1.99976 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2363]: 6 -1.02169e+06 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2395]: 6 -2.1875 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2483]: 6 -1.6347e+07 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2513]: 6 -3.2694e+07 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2542]: 6 -1.96875 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2573]: 6 -1.30776e+08 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2640]: 6 0 3.34787e+10 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2670]: 6 -48.7308 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2723]: 6 -4.18484e+09 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2815]: 6 0 88.0086 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2869]: 6 0 1.52243 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2870]: 6 0 3.79115 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2871]: 6 0 11.5823 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2875]: 6 0 247.186 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2877]: 6 0 993.739 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2933]: 6 0 246.436 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2935]: 6 0 994.743 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2937]: 6 0 3987.97 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2993]: 6 0 995.243 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2995]: 6 0 3988.72 shouldn't be
300.52/301.53 WSVECS04 Frhs2[2997]: 6 0 15960.9 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3053]: 6 0 3987.97 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3055]: 6 0 15960.9 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3113]: 6 0 15960.9 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3115]: 6 0 63852.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3117]: 6 0 255419 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3173]: 6 0 63852.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3175]: 6 0 255419 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3177]: 6 0 1.02169e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3214]: 6 -2.51303 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3215]: 6 -1.02606 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3231]: 6 0 63852.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3233]: 6 0 255419 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3235]: 6 0 1.02169e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3237]: 6 0 4.08675e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3293]: 6 0 1.02169e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3295]: 6 0 4.08675e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3297]: 6 0 1.6347e+07 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3353]: 6 0 4.08673e+06 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3355]: 6 0 1.6347e+07 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3357]: 6 0 6.53881e+07 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3413]: 6 0 1.6347e+07 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3415]: 6 0 6.53881e+07 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3417]: 6 0 2.61552e+08 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3473]: 6 0 6.53881e+07 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3475]: 6 0 2.61552e+08 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3533]: 6 0 2.61552e+08 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3535]: 6 0 1.04621e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3537]: 6 0 4.18484e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3593]: 6 0 1.04621e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3597]: 6 0 1.67393e+10 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3650]: 6 0 5.23104e+08 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3655]: 6 0 1.67393e+10 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3657]: 6 0 6.69574e+10 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3768]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3769]: 6 0 3.01484 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3771]: 6 0 3.00792 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3775]: 6 0 3.00679 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3800]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3804]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3827]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3829]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3831]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3833]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3856]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3858]: 6 0 1.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3862]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3883]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3884]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3891]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3916]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3920]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3941]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3942]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3945]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3947]: 6 0 1.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3949]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3978]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[3990]: 6 0 0.897178 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4001]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4007]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4019]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4030]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4036]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4048]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4057]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4058]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4059]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4061]: 6 0 1.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4063]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4065]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4077]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4092]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4094]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4106]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4115]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4119]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4121]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4123]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4150]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4152]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4173]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4174]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4177]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4179]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4181]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4208]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4210]: 6 0 1.5 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4231]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4232]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4233]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4268]: 6 0 2.375 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4289]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4291]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4295]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4309]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4338]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4347]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4355]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4405]: 6 0 13 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4413]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4441]: 6 0 3.75 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4442]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4464]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4469]: 6 0 8.36967e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4471]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4492]: 6 0 3 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4497]: 6 0 8.36967e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4500]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4529]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4557]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4580]: 6 0 1 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4581]: 6 0 8.36967e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[4590]: 6 0 2 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5421]: 6 0 2.09242e+09 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5483]: 6 0 3.34787e+10 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5485]: 6 0 1.33915e+11 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5487]: 6 0 5.35659e+11 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5492]: 6 -1.00857 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5501]: 6 -1.00857 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5505]: 6 -1.12857 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5508]: 6 -1.97711 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5509]: 6 -2.95422 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5510]: 6 -4.89986 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5511]: 6 -8.79973 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5512]: 6 -16.5909 0 shouldn't be
300.52/301.53 WSVECS04 Frhs2[5607]: 6 0 5.35659e+11 shouldn't be
431.30/432.69 c #Conflicts: 204000 | #Constraints: 48217
431.30/432.69 c #Conflicts: 205000 | #Constraints: 49217
431.30/432.69 c #Conflicts: 206000 | #Constraints: 50217
431.30/432.69 c #Conflicts: 207000 | #Constraints: 51217
431.30/432.69 c #Conflicts: 208000 | #Constraints: 52217
431.30/432.69 c #Conflicts: 209000 | #Constraints: 53217
431.30/432.69 c INPROCESSING
431.30/432.69 c GARBAGE COLLECT
431.30/432.69 c #Conflicts: 210000 | #Constraints: 31802
431.30/432.69 c #Conflicts: 211000 | #Constraints: 32802
431.30/432.69 c #Conflicts: 212000 | #Constraints: 33802
431.30/432.69 c #Conflicts: 213000 | #Constraints: 34802
431.30/432.69 c #Conflicts: 214000 | #Constraints: 35802
431.30/432.69 c #Conflicts: 215000 | #Constraints: 36802
431.30/432.69 c #Conflicts: 216000 | #Constraints: 37802
431.30/432.69 c #Conflicts: 217000 | #Constraints: 38802
431.30/432.69 c #Conflicts: 218000 | #Constraints: 39802
431.30/432.69 c #Conflicts: 219000 | #Constraints: 40802
431.30/432.69 c #Conflicts: 220000 | #Constraints: 41802
431.30/432.69 c #Conflicts: 221000 | #Constraints: 42802
431.30/432.69 c #Conflicts: 222000 | #Constraints: 43802
431.30/432.69 c INPROCESSING
431.30/432.69 c GARBAGE COLLECT
431.30/432.69 c #Conflicts: 223000 | #Constraints: 27120
431.30/432.69 c #Conflicts: 224000 | #Constraints: 28120
431.30/432.69 c #Conflicts: 225000 | #Constraints: 29120
431.30/432.69 c #Conflicts: 226000 | #Constraints: 30120
431.30/432.69 c #Conflicts: 227000 | #Constraints: 31120
431.30/432.69 c #Conflicts: 228000 | #Constraints: 32120
431.30/432.69 c #Conflicts: 229000 | #Constraints: 33120
431.30/432.69 c #Conflicts: 230000 | #Constraints: 34120
431.30/432.69 c #Conflicts: 231000 | #Constraints: 35120
431.30/432.69 c #Conflicts: 232000 | #Constraints: 36120
431.30/432.69 c #Conflicts: 233000 | #Constraints: 37120
431.30/432.69 c #Conflicts: 234000 | #Constraints: 38120
431.30/432.69 c #Conflicts: 235000 | #Constraints: 39120
431.30/432.69 c #Conflicts: 236000 | #Constraints: 40120
431.30/432.69 c #Conflicts: 237000 | #Constraints: 41120
431.30/432.69 c #Conflicts: 238000 | #Constraints: 42120
431.30/432.69 c #Conflicts: 239000 | #Constraints: 43120
431.30/432.69 c #Conflicts: 240000 | #Constraints: 44120
431.30/432.69 c #Conflicts: 241000 | #Constraints: 45120
431.30/432.69 c #Conflicts: 242000 | #Constraints: 46120
431.30/432.69 c #Conflicts: 243000 | #Constraints: 47120
431.30/432.69 c #Conflicts: 244000 | #Constraints: 48120
431.30/432.69 c #Conflicts: 245000 | #Constraints: 49120
431.30/432.69 c #Conflicts: 246000 | #Constraints: 50120
431.30/432.69 c #Conflicts: 247000 | #Constraints: 51120
431.30/432.69 c #Conflicts: 248000 | #Constraints: 52120
431.30/432.69 c #Conflicts: 249000 | #Constraints: 53120
431.30/432.69 c #Conflicts: 250000 | #Constraints: 54120
431.30/432.69 c #Conflicts: 251000 | #Constraints: 55120
431.30/432.69 c #Conflicts: 252000 | #Constraints: 56120
431.30/432.69 c #Conflicts: 253000 | #Constraints: 57120
431.30/432.69 c #Conflicts: 254000 | #Constraints: 58120
431.30/432.69 c INPROCESSING
431.30/432.69 c GARBAGE COLLECT
431.30/432.69 c rational objective 30
448.76/450.16 c #Conflicts: 255000 | #Constraints: 34248
448.76/450.16 c #Conflicts: 256000 | #Constraints: 35248
448.76/450.16 c #Conflicts: 257000 | #Constraints: 36248
448.76/450.16 c #Conflicts: 258000 | #Constraints: 37248
448.76/450.16 c #Conflicts: 259000 | #Constraints: 38248
448.76/450.16 c #Conflicts: 260000 | #Constraints: 39248
448.76/450.16 c #Conflicts: 261000 | #Constraints: 40248
448.76/450.16 c #Conflicts: 262000 | #Constraints: 41248
448.76/450.16 c #Conflicts: 263000 | #Constraints: 42248
448.76/450.16 c #Conflicts: 264000 | #Constraints: 43248
448.76/450.16 c #Conflicts: 265000 | #Constraints: 44248
448.76/450.16 c #Conflicts: 266000 | #Constraints: 45248
448.76/450.16 c #Conflicts: 267000 | #Constraints: 46248
448.76/450.16 c #Conflicts: 268000 | #Constraints: 47248
448.76/450.16 c INPROCESSING
448.76/450.16 c GARBAGE COLLECT
448.76/450.16 c rational objective 30
535.54/537.13 c #Conflicts: 269000 | #Constraints: 27883
535.54/537.13 c #Conflicts: 270000 | #Constraints: 28883
535.54/537.13 c #Conflicts: 271000 | #Constraints: 29883
535.54/537.13 c #Conflicts: 272000 | #Constraints: 30883
535.54/537.13 c #Conflicts: 273000 | #Constraints: 31883
535.54/537.13 c #Conflicts: 274000 | #Constraints: 32883
535.54/537.13 c #Conflicts: 275000 | #Constraints: 33883
535.54/537.13 c #Conflicts: 276000 | #Constraints: 34883
535.54/537.13 c #Conflicts: 277000 | #Constraints: 35883
535.54/537.13 c #Conflicts: 278000 | #Constraints: 36883
535.54/537.13 c #Conflicts: 279000 | #Constraints: 37883
535.54/537.13 c #Conflicts: 280000 | #Constraints: 38883
535.54/537.13 c #Conflicts: 281000 | #Constraints: 39883
535.54/537.13 c #Conflicts: 282000 | #Constraints: 40883
535.54/537.13 c #Conflicts: 283000 | #Constraints: 41883
535.54/537.13 c #Conflicts: 284000 | #Constraints: 42883
535.54/537.13 c #Conflicts: 285000 | #Constraints: 43883
535.54/537.13 c #Conflicts: 286000 | #Constraints: 44883
535.54/537.13 c #Conflicts: 287000 | #Constraints: 45883
535.54/537.13 c #Conflicts: 288000 | #Constraints: 46883
535.54/537.13 c #Conflicts: 289000 | #Constraints: 47883
535.54/537.13 c #Conflicts: 290000 | #Constraints: 48883
535.54/537.13 c #Conflicts: 291000 | #Constraints: 49883
535.54/537.13 c #Conflicts: 292000 | #Constraints: 50883
535.54/537.13 c #Conflicts: 293000 | #Constraints: 51883
535.54/537.13 c #Conflicts: 294000 | #Constraints: 52883
535.54/537.13 c #Conflicts: 295000 | #Constraints: 53883
535.54/537.13 c #Conflicts: 296000 | #Constraints: 54883
535.54/537.13 c #Conflicts: 297000 | #Constraints: 55883
535.54/537.13 c #Conflicts: 298000 | #Constraints: 56883
535.54/537.13 c #Conflicts: 299000 | #Constraints: 57883
535.54/537.13 c #Conflicts: 300000 | #Constraints: 58883
535.54/537.13 c #Conflicts: 301000 | #Constraints: 59883
535.54/537.13 c #Conflicts: 302000 | #Constraints: 60883
535.54/537.13 c #Conflicts: 303000 | #Constraints: 61883
535.54/537.13 c INPROCESSING
535.54/537.13 c GARBAGE COLLECT
535.54/537.13 c rational objective 30
561.98/563.65 c #Conflicts: 304000 | #Constraints: 35804
561.98/563.65 c #Conflicts: 305000 | #Constraints: 36804
561.98/563.65 c #Conflicts: 306000 | #Constraints: 37804
561.98/563.65 c #Conflicts: 307000 | #Constraints: 38804
561.98/563.65 c #Conflicts: 308000 | #Constraints: 39804
561.98/563.65 c #Conflicts: 309000 | #Constraints: 40804
561.98/563.65 c #Conflicts: 310000 | #Constraints: 41804
561.98/563.65 c #Conflicts: 311000 | #Constraints: 42804
561.98/563.65 c #Conflicts: 312000 | #Constraints: 43804
561.98/563.65 c #Conflicts: 313000 | #Constraints: 44804
561.98/563.65 c #Conflicts: 314000 | #Constraints: 45804
561.98/563.65 c #Conflicts: 315000 | #Constraints: 46804
561.98/563.65 c #Conflicts: 316000 | #Constraints: 47804
561.98/563.65 c #Conflicts: 317000 | #Constraints: 48804
561.98/563.65 c #Conflicts: 318000 | #Constraints: 49804
561.98/563.65 c #Conflicts: 319000 | #Constraints: 50804
561.98/563.65 c INPROCESSING
561.98/563.65 c GARBAGE COLLECT
561.98/563.65 c rational objective 30
721.88/723.90 c #Conflicts: 320000 | #Constraints: 30480
721.88/723.90 c #Conflicts: 321000 | #Constraints: 31480
721.88/723.90 c #Conflicts: 322000 | #Constraints: 32480
721.88/723.90 c #Conflicts: 323000 | #Constraints: 33480
721.88/723.90 c #Conflicts: 324000 | #Constraints: 34480
721.88/723.90 c #Conflicts: 325000 | #Constraints: 35480
721.88/723.90 c #Conflicts: 326000 | #Constraints: 36480
721.88/723.90 c #Conflicts: 327000 | #Constraints: 37480
721.88/723.90 c #Conflicts: 328000 | #Constraints: 38480
721.88/723.90 c #Conflicts: 329000 | #Constraints: 39480
721.88/723.90 c #Conflicts: 330000 | #Constraints: 40480
721.88/723.90 c #Conflicts: 331000 | #Constraints: 41480
721.88/723.90 c #Conflicts: 332000 | #Constraints: 42480
721.88/723.90 c #Conflicts: 333000 | #Constraints: 43480
721.88/723.90 c #Conflicts: 334000 | #Constraints: 44480
721.88/723.90 c #Conflicts: 335000 | #Constraints: 45480
721.88/723.90 c #Conflicts: 336000 | #Constraints: 46480
721.88/723.90 c #Conflicts: 337000 | #Constraints: 47480
721.88/723.90 c #Conflicts: 338000 | #Constraints: 48480
721.88/723.90 c #Conflicts: 339000 | #Constraints: 49480
721.88/723.90 c #Conflicts: 340000 | #Constraints: 50480
721.88/723.90 c #Conflicts: 341000 | #Constraints: 51480
721.88/723.90 c #Conflicts: 342000 | #Constraints: 52480
721.88/723.90 c #Conflicts: 343000 | #Constraints: 53480
721.88/723.90 c #Conflicts: 344000 | #Constraints: 54480
721.88/723.90 c #Conflicts: 345000 | #Constraints: 55480
721.88/723.90 c #Conflicts: 346000 | #Constraints: 56480
721.88/723.90 c #Conflicts: 347000 | #Constraints: 57480
721.88/723.90 c #Conflicts: 348000 | #Constraints: 58480
721.88/723.90 c #Conflicts: 349000 | #Constraints: 59480
721.88/723.90 c #Conflicts: 350000 | #Constraints: 60480
721.88/723.90 c #Conflicts: 351000 | #Constraints: 61480
721.88/723.90 c #Conflicts: 352000 | #Constraints: 62480
721.88/723.90 c #Conflicts: 353000 | #Constraints: 63480
721.88/723.90 c #Conflicts: 354000 | #Constraints: 64480
721.88/723.90 c #Conflicts: 355000 | #Constraints: 65480
721.88/723.90 c #Conflicts: 356000 | #Constraints: 66480
721.88/723.90 c #Conflicts: 357000 | #Constraints: 67480
721.88/723.90 c INPROCESSING
721.88/723.90 c GARBAGE COLLECT
721.88/723.90 c rational objective 30
956.27/958.99 c #Conflicts: 358000 | #Constraints: 38680
956.27/958.99 c #Conflicts: 359000 | #Constraints: 39680
956.27/958.99 c #Conflicts: 360000 | #Constraints: 40680
956.27/958.99 c #Conflicts: 361000 | #Constraints: 41680
956.27/958.99 c #Conflicts: 362000 | #Constraints: 42680
956.27/958.99 c #Conflicts: 363000 | #Constraints: 43680
956.27/958.99 c #Conflicts: 364000 | #Constraints: 44680
956.27/958.99 c #Conflicts: 365000 | #Constraints: 45680
956.27/958.99 c #Conflicts: 366000 | #Constraints: 46680
956.27/958.99 c #Conflicts: 367000 | #Constraints: 47680
956.27/958.99 c #Conflicts: 368000 | #Constraints: 48680
956.27/958.99 c #Conflicts: 369000 | #Constraints: 49680
956.27/958.99 c #Conflicts: 370000 | #Constraints: 50680
956.27/958.99 c #Conflicts: 371000 | #Constraints: 51680
956.27/958.99 c #Conflicts: 372000 | #Constraints: 52680
956.27/958.99 c #Conflicts: 373000 | #Constraints: 53681
956.27/958.99 c #Conflicts: 374000 | #Constraints: 54681
956.27/958.99 c INPROCESSING
956.27/958.99 c GARBAGE COLLECT
956.27/958.99 c #Conflicts: 375000 | #Constraints: 32328
956.27/958.99 c #Conflicts: 376000 | #Constraints: 33329
956.27/958.99 c #Conflicts: 377000 | #Constraints: 34329
956.27/958.99 c #Conflicts: 378000 | #Constraints: 35329
956.27/958.99 c #Conflicts: 379000 | #Constraints: 36329
956.27/958.99 c #Conflicts: 380000 | #Constraints: 37329
956.27/958.99 c #Conflicts: 381000 | #Constraints: 38329
956.27/958.99 c #Conflicts: 382000 | #Constraints: 39329
956.27/958.99 c #Conflicts: 383000 | #Constraints: 40329
956.27/958.99 c #Conflicts: 384000 | #Constraints: 41329
956.27/958.99 c #Conflicts: 385000 | #Constraints: 42329
956.27/958.99 c #Conflicts: 386000 | #Constraints: 43329
956.27/958.99 c #Conflicts: 387000 | #Constraints: 44329
956.27/958.99 c #Conflicts: 388000 | #Constraints: 45329
956.27/958.99 c #Conflicts: 389000 | #Constraints: 46329
956.27/958.99 c #Conflicts: 390000 | #Constraints: 47329
956.27/958.99 c #Conflicts: 391000 | #Constraints: 48329
956.27/958.99 c #Conflicts: 392000 | #Constraints: 49329
956.27/958.99 c #Conflicts: 393000 | #Constraints: 50329
956.27/958.99 c #Conflicts: 394000 | #Constraints: 51329
956.27/958.99 c #Conflicts: 395000 | #Constraints: 52329
956.27/958.99 c #Conflicts: 396000 | #Constraints: 53329
956.27/958.99 c #Conflicts: 397000 | #Constraints: 54329
956.27/958.99 c #Conflicts: 398000 | #Constraints: 55329
956.27/958.99 c #Conflicts: 399000 | #Constraints: 56329
956.27/958.99 c #Conflicts: 400000 | #Constraints: 57329
956.27/958.99 c #Conflicts: 401000 | #Constraints: 58329
956.27/958.99 c #Conflicts: 402000 | #Constraints: 59329
956.27/958.99 c #Conflicts: 403000 | #Constraints: 60329
956.27/958.99 c #Conflicts: 404000 | #Constraints: 61329
956.27/958.99 c #Conflicts: 405000 | #Constraints: 62329
956.27/958.99 c #Conflicts: 406000 | #Constraints: 63329
956.27/958.99 c #Conflicts: 407000 | #Constraints: 64330
956.27/958.99 c #Conflicts: 408000 | #Constraints: 65330
956.27/958.99 c #Conflicts: 409000 | #Constraints: 66330
956.27/958.99 c #Conflicts: 410000 | #Constraints: 67330
956.27/958.99 c #Conflicts: 411000 | #Constraints: 68330
956.27/958.99 c #Conflicts: 412000 | #Constraints: 69330
956.27/958.99 c #Conflicts: 413000 | #Constraints: 70330
956.27/958.99 c #Conflicts: 414000 | #Constraints: 71330
956.27/958.99 c #Conflicts: 415000 | #Constraints: 72330
956.27/958.99 c INPROCESSING
956.27/958.99 c GARBAGE COLLECT
956.27/958.99 c #Conflicts: 416000 | #Constraints: 40915
956.27/958.99 c #Conflicts: 417000 | #Constraints: 41915
956.27/958.99 c #Conflicts: 418000 | #Constraints: 42915
956.27/958.99 c #Conflicts: 419000 | #Constraints: 43915
956.27/958.99 c #Conflicts: 420000 | #Constraints: 44915
956.27/958.99 c #Conflicts: 421000 | #Constraints: 45915
956.27/958.99 c #Conflicts: 422000 | #Constraints: 46915
956.27/958.99 c #Conflicts: 423000 | #Constraints: 47915
956.27/958.99 c #Conflicts: 424000 | #Constraints: 48915
956.27/958.99 c #Conflicts: 425000 | #Constraints: 49915
956.27/958.99 c #Conflicts: 426000 | #Constraints: 50915
956.27/958.99 c #Conflicts: 427000 | #Constraints: 51915
956.27/958.99 c #Conflicts: 428000 | #Constraints: 52915
956.27/958.99 c #Conflicts: 429000 | #Constraints: 53915
956.27/958.99 c #Conflicts: 430000 | #Constraints: 54915
956.27/958.99 c #Conflicts: 431000 | #Constraints: 55915
956.27/958.99 c #Conflicts: 432000 | #Constraints: 56915
956.27/958.99 c #Conflicts: 433000 | #Constraints: 57915
956.27/958.99 c #Conflicts: 434000 | #Constraints: 58915
956.27/958.99 c INPROCESSING
956.27/958.99 c GARBAGE COLLECT
956.38/959.01 c rational objective 30
1140.19/1143.38 c #Conflicts: 435000 | #Constraints: 34685
1140.19/1143.38 c #Conflicts: 436000 | #Constraints: 35685
1140.19/1143.38 c #Conflicts: 437000 | #Constraints: 36685
1140.19/1143.38 c #Conflicts: 438000 | #Constraints: 37685
1140.19/1143.38 c #Conflicts: 439000 | #Constraints: 38686
1140.19/1143.38 c #Conflicts: 440000 | #Constraints: 39686
1140.19/1143.38 c #Conflicts: 441000 | #Constraints: 40686
1140.19/1143.38 c #Conflicts: 442000 | #Constraints: 41686
1140.19/1143.38 c #Conflicts: 443000 | #Constraints: 42686
1140.19/1143.38 c #Conflicts: 444000 | #Constraints: 43686
1140.19/1143.38 c #Conflicts: 445000 | #Constraints: 44686
1140.19/1143.38 c #Conflicts: 446000 | #Constraints: 45686
1140.19/1143.38 c #Conflicts: 447000 | #Constraints: 46686
1140.19/1143.38 c #Conflicts: 448000 | #Constraints: 47686
1140.19/1143.38 c #Conflicts: 449000 | #Constraints: 48686
1140.19/1143.38 c #Conflicts: 450000 | #Constraints: 49686
1140.19/1143.38 c #Conflicts: 451000 | #Constraints: 50686
1140.19/1143.38 c #Conflicts: 452000 | #Constraints: 51686
1140.19/1143.38 c #Conflicts: 453000 | #Constraints: 52686
1140.19/1143.38 c #Conflicts: 454000 | #Constraints: 53686
1140.19/1143.38 c #Conflicts: 455000 | #Constraints: 54686
1140.19/1143.38 c #Conflicts: 456000 | #Constraints: 55687
1140.19/1143.38 c #Conflicts: 457000 | #Constraints: 56687
1140.19/1143.38 c #Conflicts: 458000 | #Constraints: 57687
1140.19/1143.38 c #Conflicts: 459000 | #Constraints: 58687
1140.19/1143.38 c #Conflicts: 460000 | #Constraints: 59687
1140.19/1143.38 c #Conflicts: 461000 | #Constraints: 60687
1140.19/1143.38 c #Conflicts: 462000 | #Constraints: 61687
1140.19/1143.38 c #Conflicts: 463000 | #Constraints: 62687
1140.19/1143.38 c #Conflicts: 464000 | #Constraints: 63687
1140.19/1143.38 c #Conflicts: 465000 | #Constraints: 64687
1140.19/1143.38 c #Conflicts: 466000 | #Constraints: 65687
1140.19/1143.38 c #Conflicts: 467000 | #Constraints: 66687
1140.19/1143.38 c #Conflicts: 468000 | #Constraints: 67687
1140.19/1143.38 c #Conflicts: 469000 | #Constraints: 68687
1140.19/1143.38 c #Conflicts: 470000 | #Constraints: 69687
1140.19/1143.38 c #Conflicts: 471000 | #Constraints: 70687
1140.19/1143.38 c #Conflicts: 472000 | #Constraints: 71687
1140.19/1143.38 c #Conflicts: 473000 | #Constraints: 72687
1140.19/1143.38 c #Conflicts: 474000 | #Constraints: 73687
1140.19/1143.38 c #Conflicts: 475000 | #Constraints: 74687
1140.19/1143.38 c #Conflicts: 476000 | #Constraints: 75687
1140.19/1143.38 c #Conflicts: 477000 | #Constraints: 76687
1140.19/1143.38 c #Conflicts: 478000 | #Constraints: 77687
1140.19/1143.38 c INPROCESSING
1140.19/1143.38 c GARBAGE COLLECT
1140.19/1143.38 c rational objective 30
1309.76/1313.30 c #Conflicts: 479000 | #Constraints: 43837
1309.76/1313.30 c #Conflicts: 480000 | #Constraints: 44837
1309.76/1313.30 c #Conflicts: 481000 | #Constraints: 45837
1309.76/1313.30 c #Conflicts: 482000 | #Constraints: 46837
1309.76/1313.30 c #Conflicts: 483000 | #Constraints: 47837
1309.76/1313.30 c #Conflicts: 484000 | #Constraints: 48837
1309.76/1313.30 c #Conflicts: 485000 | #Constraints: 49837
1309.76/1313.30 c #Conflicts: 486000 | #Constraints: 50837
1309.76/1313.30 c #Conflicts: 487000 | #Constraints: 51837
1309.76/1313.30 c #Conflicts: 488000 | #Constraints: 52837
1309.76/1313.30 c #Conflicts: 489000 | #Constraints: 53837
1309.76/1313.30 c #Conflicts: 490000 | #Constraints: 54837
1309.76/1313.30 c #Conflicts: 491000 | #Constraints: 55837
1309.76/1313.30 c #Conflicts: 492000 | #Constraints: 56837
1309.76/1313.30 c #Conflicts: 493000 | #Constraints: 57837
1309.76/1313.30 c #Conflicts: 494000 | #Constraints: 58837
1309.76/1313.30 c #Conflicts: 495000 | #Constraints: 59837
1309.76/1313.30 c #Conflicts: 496000 | #Constraints: 60837
1309.76/1313.30 c #Conflicts: 497000 | #Constraints: 61837
1309.76/1313.30 c #Conflicts: 498000 | #Constraints: 62837
1309.76/1313.30 c INPROCESSING
1309.76/1313.30 c GARBAGE COLLECT
1309.76/1313.30 c #Conflicts: 499000 | #Constraints: 36612
1309.76/1313.30 c #Conflicts: 500000 | #Constraints: 37612
1309.76/1313.30 c #Conflicts: 501000 | #Constraints: 38612
1309.76/1313.30 c #Conflicts: 502000 | #Constraints: 39612
1309.76/1313.30 c #Conflicts: 503000 | #Constraints: 40612
1309.76/1313.30 c #Conflicts: 504000 | #Constraints: 41612
1309.76/1313.30 c #Conflicts: 505000 | #Constraints: 42612
1309.76/1313.30 c #Conflicts: 506000 | #Constraints: 43612
1309.76/1313.30 c #Conflicts: 507000 | #Constraints: 44612
1309.76/1313.30 c #Conflicts: 508000 | #Constraints: 45612
1309.76/1313.30 c #Conflicts: 509000 | #Constraints: 46612
1309.76/1313.30 c #Conflicts: 510000 | #Constraints: 47612
1309.76/1313.30 c #Conflicts: 511000 | #Constraints: 48612
1309.76/1313.30 c #Conflicts: 512000 | #Constraints: 49612
1309.76/1313.30 c #Conflicts: 513000 | #Constraints: 50612
1309.76/1313.30 c #Conflicts: 514000 | #Constraints: 51612
1309.76/1313.30 c #Conflicts: 515000 | #Constraints: 52612
1309.76/1313.30 c #Conflicts: 516000 | #Constraints: 53612
1309.76/1313.30 c #Conflicts: 517000 | #Constraints: 54612
1309.76/1313.30 c #Conflicts: 518000 | #Constraints: 55612
1309.76/1313.30 c #Conflicts: 519000 | #Constraints: 56612
1309.76/1313.30 c #Conflicts: 520000 | #Constraints: 57612
1309.76/1313.30 c #Conflicts: 521000 | #Constraints: 58612
1309.76/1313.30 c #Conflicts: 522000 | #Constraints: 59612
1309.76/1313.30 WSVECS04 Frhs2[86]: 6 -0.241856 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[564]: 6 -2821.8 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[621]: 6 -1412.46 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[624]: 6 -11281.2 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[738]: 6 -2825.05 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[799]: 6 -22585.4 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[973]: 6 -1.00009 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1324]: 6 0 2.00003 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1330]: 6 0 1.96879 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1352]: 6 0 3.99992 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1393]: 6 0 1.00002 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1394]: 6 -21.4493 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1456]: 6 0 2.00115 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1504]: 6 0 2.00005 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1562]: 6 0 1.00006 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1563]: 6 -22.7599 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1623]: 6 -5.21633 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1677]: 6 -61.0397 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1680]: 6 0 361812 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1683]: 6 0 0.250076 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1708]: 6 0 361815 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1736]: 6 0 361817 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1742]: 6 -18.0001 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1745]: 6 -7.78163e+08 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1763]: 6 0 3.50004 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1791]: 6 0 4.50009 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1796]: 6 0 1.00006 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1819]: 6 0 5.50007 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1820]: 6 0 361821 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1821]: 6 0 723639 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1824]: 6 0 0.500076 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1845]: 6 -45219 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1852]: 6 0 21504.6 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[1904]: 6 0 2.00008 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2278]: 6 0 11306 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2516]: 6 -0.625042 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2602]: 6 -361802 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2604]: 6 -1.00002 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2607]: 6 -14.0001 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2610]: 6 0 9.26169e+07 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2661]: 6 -1.75005 0 shouldn't be
1309.76/1313.30 WSVECS04 Frhs2[2668]: 6 -7.62082e+08 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2690]: 6 -1.0001 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2722]: 6 -0.500029 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2727]: 6 -1.00008 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2756]: 6 -1.00009 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2757]: 6 -1.00002 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2782]: 6 -2.00004 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2786]: 6 -1.00002 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2819]: 6 -1.00001 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2878]: 6 0 7.04079 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2880]: 6 0 41.6633 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2937]: 6 0 18.0816 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2938]: 6 0 41.6632 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2940]: 6 0 173.653 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2992]: 6 0 0.260333 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2995]: 6 0 21.0811 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2997]: 6 0 84.3264 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[2998]: 6 0 174.528 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3000]: 6 0 703.611 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3052]: 6 0 8.04105 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3055]: 6 0 87.3242 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3057]: 6 0 350.555 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3058]: 6 0 704.11 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3060]: 6 0 2824.19 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3110]: 6 0 8.0408 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3112]: 6 0 41.914 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3115]: 6 0 351.797 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3118]: 6 0 2823.44 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3120]: 6 0 11302.8 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3167]: 6 0 3.0204 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3170]: 6 0 41.163 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3172]: 6 0 173.656 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3175]: 6 0 1412.19 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3177]: 6 0 5648.88 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3178]: 6 0 11302.8 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3180]: 6 0 45220.1 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3224]: 6 0 0.260242 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3230]: 6 0 174.152 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3232]: 6 0 704.373 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3235]: 6 0 5650 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3238]: 6 0 45220.1 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3240]: 6 0 180890 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3284]: 6 0 8.04066 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3287]: 6 0 85.8257 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3290]: 6 0 703.607 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3292]: 6 0 2823.49 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3297]: 6 0 90443.1 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3298]: 6 0 180889 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3300]: 6 0 723567 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3350]: 6 0 2823.43 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3352]: 6 0 11303 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3355]: 6 0 90442.9 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3358]: 6 0 723566 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3360]: 6 0 2.89428e+06 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3404]: 6 0 174.4 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3410]: 6 0 11302.7 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3412]: 6 0 45221.8 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3415]: 6 0 361781 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3419]: 6 -1.24618 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3464]: 6 0 703.599 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3470]: 6 0 45219.8 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3472]: 6 0 180889 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3475]: 6 0 1.44713e+06 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3479]: 6 -5.12252 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3524]: 6 0 2823.9 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3527]: 6 0 22608.9 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3530]: 6 0 180888 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3532]: 6 0 723565 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3536]: 6 -1.99229 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3539]: 6 -1.43753 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3584]: 6 0 11302.6 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3587]: 6 0 90442.4 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3590]: 6 0 723563 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3592]: 6 0 2.89426e+06 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3593]: 6 -1.00001 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3596]: 6 -1.96883 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3599]: 6 -1.62502 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3647]: 6 0 361779 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3650]: 6 0 2.89426e+06 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3653]: 6 -1.00007 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3656]: 6 -1.87507 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3659]: 6 -0.500034 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3704]: 6 0 180886 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3710]: 6 0 1.1577e+07 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3711]: 6 -1.00004 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3716]: 6 -1.50007 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3775]: 6 0 1.00002 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3776]: 6 0 3.00013 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3805]: 6 0 1.50005 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3807]: 6 0 1.00002 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3833]: 6 0 3.00001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3863]: 6 0 1.87505 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3891]: 6 0 3.62505 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3915]: 6 0 1.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3942]: 6 0 1.50009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[3944]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4000]: 6 0 1.00005 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4008]: 6 0 1.00004 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4029]: 6 0 1.00009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4037]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4058]: 6 0 1.7501 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4060]: 6 0 1.00001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4065]: 6 0 2.00002 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4066]: 6 0 1.00004 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4084]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4094]: 6 0 2.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4095]: 6 0 1.00005 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4113]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4121]: 6 0 2.50004 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4123]: 6 0 2.00001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4124]: 6 0 1.00008 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4139]: 6 0 1.00006 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4142]: 6 0 1.50009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4145]: 6 0 1.00008 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4153]: 6 0 1.00008 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4155]: 6 0 1.00012 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4168]: 6 0 1.50009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4174]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4176]: 6 0 1.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4180]: 6 -2.0001 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4182]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4200]: 6 0 1.50007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4203]: 6 0 1.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4205]: 6 0 1.00002 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4210]: 6 0 2.00002 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4211]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4232]: 6 0 1.0001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4237]: 6 0 1.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4239]: 6 0 2.00009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4240]: 6 0 1.00001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4258]: 6 0 1.00002 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4261]: 6 0 1.00006 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4265]: 6 0 3.87509 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4268]: 6 0 2.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4287]: 6 0 1.50009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4290]: 6 0 1.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4293]: 6 -3.87508 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4319]: 6 0 1.00009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4342]: 6 0 1.75003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4345]: 6 0 1.00006 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4348]: 6 0 1.50003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4406]: 6 0 1.00008 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4410]: 6 -5.78853e+06 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4429]: 6 0 1.00006 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4444]: 6 -1.87502 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4458]: 6 0 1.50003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4461]: 6 0 1.0001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4464]: 6 0 1.00003 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4490]: 6 0 1.00004 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4493]: 6 0 1.00009 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4496]: 6 -3.00009 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4516]: 6 0 1.00008 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4545]: 6 0 1.00007 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4574]: 6 0 2.0001 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[4584]: 6 -15.7501 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5160]: 6 -1.00395 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5190]: 6 -2.00789 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5219]: 6 -0.5001 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5220]: 6 -4.01569 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5248]: 6 -0.500022 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5277]: 6 -0.500091 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5306]: 6 -0.500043 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5338]: 6 -0.500033 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5340]: 6 -0.250069 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5367]: 6 -1.00001 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5396]: 6 -1.00007 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5397]: 6 -1.00009 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5426]: 6 -1.00009 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5430]: 6 -2.00009 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5453]: 6 -1.00009 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5459]: 6 -2.00006 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5477]: 6 0 1.44713e+06 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5481]: 6 -1.00004 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5483]: 6 -1.00004 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5489]: 6 -1.00002 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5540]: 6 -2.31542e+07 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5544]: 6 -3.70468e+08 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5547]: 6 -1.00004 0 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5601]: 6 0 4.63085e+07 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5602]: 6 0 9.26169e+07 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5603]: 6 0 1.85234e+08 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5605]: 6 0 7.40935e+08 shouldn't be
1309.76/1313.31 WSVECS04 Frhs2[5606]: 6 0 1.48187e+09 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[24]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[139]: 6 -547446 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[145]: 6 0 9.52597e+08 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[146]: 6 -3.97133e+08 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[329]: 6 -353.225 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[389]: 6 -1406.9 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[446]: 6 -705.949 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[506]: 6 -2817.8 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[563]: 6 -1411.96 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[623]: 6 -5641.84 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[681]: 6 -33182.4 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[683]: 6 -22561.4 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[739]: 6 -5647.84 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[793]: 6 -355.318 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[853]: 6 -1415.27 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[913]: 6 -5655.09 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[973]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[989]: 6 -1.48187e+09 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1049]: 6 -5.92748e+09 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1330]: 6 0 1.96875 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1393]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1456]: 6 0 2.00111 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1565]: 6 -105.04 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1658]: 6 0 7.41162e+07 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1683]: 6 0 0.25 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1707]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1742]: 6 -18 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1763]: 6 0 3.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1770]: 6 0 2.64637e+08 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1788]: 6 0 22611.4 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1791]: 6 0 4.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1796]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1798]: 6 0 86011.2 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1816]: 6 0 22613.4 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1824]: 6 0 0.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1848]: 6 0 361824 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1854]: 6 0 86015.2 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1882]: 6 0 86016.2 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1904]: 6 0 2 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[1908]: 6 0 21504.6 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2160]: 6 -0.984378 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2277]: 6 -0.96875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2306]: 6 -0.96875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2365]: 6 -0.937501 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2395]: 6 -0.875001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2455]: 6 -0.500001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2484]: 6 -3.60814 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2487]: 6 -1.8125 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2511]: 6 -0.5 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2576]: 6 0 0.500001 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2596]: 6 -4.50496 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2631]: 6 -1.375 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2635]: 6 -0.5 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2662]: 6 -0.625001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2666]: 6 0 2.64637e+08 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2689]: 6 0 361818 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2690]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2695]: 6 -2.64637e+08 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2719]: 6 -0.25 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2722]: 6 -0.5 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2727]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2756]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2778]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2782]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2787]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2789]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[2816]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3167]: 6 0 3.02035 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3227]: 6 0 19.0814 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3237]: 6 0 22607.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3284]: 6 0 8.04061 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3287]: 6 0 85.8256 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3295]: 6 0 22610 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3344]: 6 0 41.1625 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3347]: 6 0 350.803 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3407]: 6 0 1410.21 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3419]: 6 -1.24609 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3467]: 6 0 5649.84 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3479]: 6 -5.12244 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3528]: 6 -181891 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3536]: 6 -1.99219 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3539]: 6 -1.4375 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3593]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3596]: 6 -1.96875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3599]: 6 -1.625 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3644]: 6 0 30117.8 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3653]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3654]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3656]: 6 -1.875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3659]: 6 -0.5 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3711]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3716]: 6 -1.5 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3775]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3804]: 6 0 4.00006 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3805]: 6 0 1.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3891]: 6 0 3.625 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3915]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3942]: 6 0 1.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3944]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3973]: 6 0 1.75 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3978]: 6 0 2.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[3979]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4000]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4008]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4029]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4037]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4058]: 6 0 1.75 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4060]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4066]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4089]: 6 0 1.75 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4095]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4124]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4139]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4145]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4152]: 6 0 3 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4153]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4168]: 6 0 1.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4174]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4176]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4180]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4182]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4203]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4205]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4210]: 6 0 2 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4211]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4232]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4237]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4240]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4255]: 6 0 1.75 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4258]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4261]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4266]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4287]: 6 0 1.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4290]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4293]: 6 -3.875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4295]: 6 0 2.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4319]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4348]: 6 0 1.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4432]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4444]: 6 -1.875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4458]: 6 0 1.5 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4461]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4490]: 6 0 1 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4496]: 6 -3 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4574]: 6 0 2 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4584]: 6 -15.75 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[4590]: 6 0 2.37099e+10 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5160]: 6 -1.00391 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5189]: 6 -0.75 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5190]: 6 -2.00781 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5219]: 6 -0.500001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5220]: 6 -4.01563 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5248]: 6 -0.500001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5277]: 6 -0.500001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5306]: 6 -0.500001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5334]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5338]: 6 -0.500001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5340]: 6 -0.250001 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5365]: 6 -2.98438 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5367]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5396]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5397]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5398]: 6 -0.875 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5426]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5428]: 6 -0.75 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5430]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5453]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5456]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5457]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5459]: 6 -2 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5481]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5485]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5486]: 6 -1 0 shouldn't be
1311.16/1314.73 WSVECS04 Frhs2[5547]: 6 -1.00002 0 shouldn't be
1487.22/1491.29 c #Conflicts: 523000 | #Constraints: 60612
1487.22/1491.29 c #Conflicts: 524000 | #Constraints: 61612
1487.22/1491.29 c #Conflicts: 525000 | #Constraints: 62612
1487.22/1491.29 c #Conflicts: 526000 | #Constraints: 63612
1487.22/1491.29 c #Conflicts: 527000 | #Constraints: 64612
1487.22/1491.29 c #Conflicts: 528000 | #Constraints: 65612
1487.22/1491.29 c #Conflicts: 529000 | #Constraints: 66612
1487.22/1491.29 c #Conflicts: 530000 | #Constraints: 67612
1487.22/1491.29 c #Conflicts: 531000 | #Constraints: 68612
1487.22/1491.29 c #Conflicts: 532000 | #Constraints: 69612
1487.22/1491.29 c #Conflicts: 533000 | #Constraints: 70612
1487.22/1491.29 c #Conflicts: 534000 | #Constraints: 71612
1487.22/1491.29 c #Conflicts: 535000 | #Constraints: 72612
1487.22/1491.29 c #Conflicts: 536000 | #Constraints: 73612
1487.22/1491.29 c #Conflicts: 537000 | #Constraints: 74612
1487.22/1491.29 c #Conflicts: 538000 | #Constraints: 75612
1487.22/1491.29 c #Conflicts: 539000 | #Constraints: 76612
1487.22/1491.29 c #Conflicts: 540000 | #Constraints: 77612
1487.22/1491.29 c #Conflicts: 541000 | #Constraints: 78612
1487.22/1491.29 c #Conflicts: 542000 | #Constraints: 79612
1487.22/1491.29 c #Conflicts: 543000 | #Constraints: 80612
1487.22/1491.29 c #Conflicts: 544000 | #Constraints: 81612
1487.22/1491.29 c #Conflicts: 545000 | #Constraints: 82612
1487.22/1491.29 c INPROCESSING
1487.22/1491.29 c GARBAGE COLLECT
1487.22/1491.29 c rational objective 30
1561.53/1565.73 c #Conflicts: 546000 | #Constraints: 46195
1561.53/1565.73 c #Conflicts: 547000 | #Constraints: 47195
1561.53/1565.73 c #Conflicts: 548000 | #Constraints: 48195
1561.53/1565.73 c #Conflicts: 549000 | #Constraints: 49195
1561.53/1565.73 c #Conflicts: 550000 | #Constraints: 50195
1561.53/1565.73 c #Conflicts: 551000 | #Constraints: 51195
1561.53/1565.73 c #Conflicts: 552000 | #Constraints: 52195
1561.53/1565.73 c #Conflicts: 553000 | #Constraints: 53195
1561.53/1565.73 c #Conflicts: 554000 | #Constraints: 54195
1561.53/1565.73 c #Conflicts: 555000 | #Constraints: 55195
1561.53/1565.73 c #Conflicts: 556000 | #Constraints: 56195
1561.53/1565.73 c #Conflicts: 557000 | #Constraints: 57195
1561.53/1565.73 c #Conflicts: 558000 | #Constraints: 58195
1561.53/1565.73 c #Conflicts: 559000 | #Constraints: 59195
1561.53/1565.73 c #Conflicts: 560000 | #Constraints: 60195
1561.53/1565.73 c #Conflicts: 561000 | #Constraints: 61195
1561.53/1565.73 c #Conflicts: 562000 | #Constraints: 62195
1561.53/1565.73 c #Conflicts: 563000 | #Constraints: 63195
1561.53/1565.73 c #Conflicts: 564000 | #Constraints: 64195
1561.53/1565.73 c #Conflicts: 565000 | #Constraints: 65195
1561.53/1565.73 c #Conflicts: 566000 | #Constraints: 66195
1561.53/1565.73 c INPROCESSING
1561.53/1565.73 c GARBAGE COLLECT
1561.53/1565.73 c rational objective 30
1788.23/1793.03 c #Conflicts: 567000 | #Constraints: 38152
1788.23/1793.03 c #Conflicts: 568000 | #Constraints: 39152
1788.23/1793.03 c #Conflicts: 569000 | #Constraints: 40152
1788.23/1793.03 c #Conflicts: 570000 | #Constraints: 41152
1788.23/1793.03 c #Conflicts: 571000 | #Constraints: 42152
1788.23/1793.03 c #Conflicts: 572000 | #Constraints: 43152
1788.23/1793.03 c #Conflicts: 573000 | #Constraints: 44152
1788.23/1793.03 c #Conflicts: 574000 | #Constraints: 45152
1788.23/1793.03 c #Conflicts: 575000 | #Constraints: 46152
1788.23/1793.03 c #Conflicts: 576000 | #Constraints: 47152
1788.23/1793.03 c #Conflicts: 577000 | #Constraints: 48152
1788.23/1793.03 c #Conflicts: 578000 | #Constraints: 49152
1788.23/1793.03 c #Conflicts: 579000 | #Constraints: 50152
1788.23/1793.03 c #Conflicts: 580000 | #Constraints: 51152
1788.23/1793.03 c #Conflicts: 581000 | #Constraints: 52152
1788.23/1793.03 c #Conflicts: 582000 | #Constraints: 53152
1788.23/1793.03 c #Conflicts: 583000 | #Constraints: 54152
1788.23/1793.03 c #Conflicts: 584000 | #Constraints: 55152
1788.23/1793.03 c #Conflicts: 585000 | #Constraints: 56152
1788.23/1793.03 c #Conflicts: 586000 | #Constraints: 57152
1788.23/1793.03 c #Conflicts: 587000 | #Constraints: 58152
1788.23/1793.03 c #Conflicts: 588000 | #Constraints: 59152
1788.23/1793.03 c #Conflicts: 589000 | #Constraints: 60152
1788.23/1793.03 c #Conflicts: 590000 | #Constraints: 61152
1788.23/1793.03 c #Conflicts: 591000 | #Constraints: 62152
1788.23/1793.03 c #Conflicts: 592000 | #Constraints: 63152
1788.23/1793.03 c #Conflicts: 593000 | #Constraints: 64152
1788.23/1793.03 c #Conflicts: 594000 | #Constraints: 65152
1788.23/1793.03 c #Conflicts: 595000 | #Constraints: 66152
1788.23/1793.03 c #Conflicts: 596000 | #Constraints: 67152
1788.23/1793.03 c #Conflicts: 597000 | #Constraints: 68152
1788.23/1793.03 c #Conflicts: 598000 | #Constraints: 69152
1788.23/1793.03 c #Conflicts: 599000 | #Constraints: 70152
1788.23/1793.03 c #Conflicts: 600000 | #Constraints: 71152
1788.23/1793.03 c #Conflicts: 601000 | #Constraints: 72152
1788.23/1793.03 c #Conflicts: 602000 | #Constraints: 73152
1788.23/1793.03 c #Conflicts: 603000 | #Constraints: 74152
1788.23/1793.03 c #Conflicts: 604000 | #Constraints: 75152
1788.23/1793.03 c #Conflicts: 605000 | #Constraints: 76152
1788.23/1793.03 c #Conflicts: 606000 | #Constraints: 77152
1788.23/1793.03 c #Conflicts: 607000 | #Constraints: 78152
1788.23/1793.03 c #Conflicts: 608000 | #Constraints: 79152
1788.23/1793.03 c #Conflicts: 609000 | #Constraints: 80152
1788.23/1793.03 c #Conflicts: 610000 | #Constraints: 81152
1788.23/1793.03 c #Conflicts: 611000 | #Constraints: 82152
1788.23/1793.03 c #Conflicts: 612000 | #Constraints: 83152
1788.23/1793.03 c #Conflicts: 613000 | #Constraints: 84152
1788.23/1793.03 c #Conflicts: 614000 | #Constraints: 85152
1788.23/1793.03 c #Conflicts: 615000 | #Constraints: 86152
1788.23/1793.03 c #Conflicts: 616000 | #Constraints: 87152
1788.23/1793.03 c #Conflicts: 617000 | #Constraints: 88152
1788.23/1793.03 c INPROCESSING
1788.23/1793.03 c GARBAGE COLLECT
1788.23/1793.03 c rational objective 30
1855.24/1860.23 c #Conflicts: 618000 | #Constraints: 49250
1855.24/1860.23 c #Conflicts: 619000 | #Constraints: 50250
1855.24/1860.23 c #Conflicts: 620000 | #Constraints: 51250
1855.24/1860.23 c #Conflicts: 621000 | #Constraints: 52250
1855.24/1860.23 c #Conflicts: 622000 | #Constraints: 53250
1855.24/1860.23 c #Conflicts: 623000 | #Constraints: 54250
1855.24/1860.23 c #Conflicts: 624000 | #Constraints: 55250
1855.24/1860.23 c #Conflicts: 625000 | #Constraints: 56250
1855.24/1860.23 c #Conflicts: 626000 | #Constraints: 57250
1855.24/1860.23 c #Conflicts: 627000 | #Constraints: 58250
1855.24/1860.23 c #Conflicts: 628000 | #Constraints: 59250
1855.24/1860.23 c #Conflicts: 629000 | #Constraints: 60250
1855.24/1860.23 c #Conflicts: 630000 | #Constraints: 61250
1855.24/1860.23 c #Conflicts: 631000 | #Constraints: 62250
1855.24/1860.23 c #Conflicts: 632000 | #Constraints: 63250
1855.24/1860.23 c #Conflicts: 633000 | #Constraints: 64250
1855.24/1860.23 c #Conflicts: 634000 | #Constraints: 65250
1855.24/1860.23 c #Conflicts: 635000 | #Constraints: 66250
1855.24/1860.23 c #Conflicts: 636000 | #Constraints: 67250
1855.24/1860.23 c #Conflicts: 637000 | #Constraints: 68250
1855.24/1860.23 c #Conflicts: 638000 | #Constraints: 69250
1855.24/1860.23 c #Conflicts: 639000 | #Constraints: 70250
1855.24/1860.23 c INPROCESSING
1855.24/1860.23 c GARBAGE COLLECT
1855.24/1860.23 c rational objective 30
2165.90/2171.77 c #Conflicts: 640000 | #Constraints: 40269
2165.90/2171.77 c #Conflicts: 641000 | #Constraints: 41269
2165.90/2171.77 c #Conflicts: 642000 | #Constraints: 42269
2165.90/2171.77 c #Conflicts: 643000 | #Constraints: 43269
2165.90/2171.77 c #Conflicts: 644000 | #Constraints: 44269
2165.90/2171.77 c #Conflicts: 645000 | #Constraints: 45269
2165.90/2171.77 c #Conflicts: 646000 | #Constraints: 46269
2165.90/2171.77 c #Conflicts: 647000 | #Constraints: 47269
2165.90/2171.77 c #Conflicts: 648000 | #Constraints: 48269
2165.90/2171.77 c #Conflicts: 649000 | #Constraints: 49269
2165.90/2171.77 c #Conflicts: 650000 | #Constraints: 50269
2165.90/2171.77 c #Conflicts: 651000 | #Constraints: 51269
2165.90/2171.77 c #Conflicts: 652000 | #Constraints: 52269
2165.90/2171.77 c #Conflicts: 653000 | #Constraints: 53269
2165.90/2171.77 c #Conflicts: 654000 | #Constraints: 54269
2165.90/2171.77 c #Conflicts: 655000 | #Constraints: 55269
2165.90/2171.77 c #Conflicts: 656000 | #Constraints: 56269
2165.90/2171.77 c #Conflicts: 657000 | #Constraints: 57269
2165.90/2171.77 c #Conflicts: 658000 | #Constraints: 58270
2165.90/2171.77 c #Conflicts: 659000 | #Constraints: 59270
2165.90/2171.77 c #Conflicts: 660000 | #Constraints: 60270
2165.90/2171.77 c #Conflicts: 661000 | #Constraints: 61270
2165.90/2171.77 c #Conflicts: 662000 | #Constraints: 62270
2165.90/2171.77 c #Conflicts: 663000 | #Constraints: 63270
2165.90/2171.77 c #Conflicts: 664000 | #Constraints: 64270
2165.90/2171.77 c #Conflicts: 665000 | #Constraints: 65270
2165.90/2171.77 c #Conflicts: 666000 | #Constraints: 66270
2165.90/2171.77 c #Conflicts: 667000 | #Constraints: 67270
2165.90/2171.77 c #Conflicts: 668000 | #Constraints: 68270
2165.90/2171.77 c #Conflicts: 669000 | #Constraints: 69270
2165.90/2171.77 c #Conflicts: 670000 | #Constraints: 70270
2165.90/2171.77 c #Conflicts: 671000 | #Constraints: 71270
2165.90/2171.77 c #Conflicts: 672000 | #Constraints: 72270
2165.90/2171.77 c #Conflicts: 673000 | #Constraints: 73270
2165.90/2171.77 c #Conflicts: 674000 | #Constraints: 74270
2165.90/2171.77 c #Conflicts: 675000 | #Constraints: 75270
2165.90/2171.77 c #Conflicts: 676000 | #Constraints: 76270
2165.90/2171.77 c #Conflicts: 677000 | #Constraints: 77270
2165.90/2171.77 c #Conflicts: 678000 | #Constraints: 78270
2165.90/2171.77 c #Conflicts: 679000 | #Constraints: 79270
2165.90/2171.77 c #Conflicts: 680000 | #Constraints: 80270
2165.90/2171.77 c #Conflicts: 681000 | #Constraints: 81270
2165.90/2171.77 c #Conflicts: 682000 | #Constraints: 82270
2165.90/2171.77 c #Conflicts: 683000 | #Constraints: 83270
2165.90/2171.77 c #Conflicts: 684000 | #Constraints: 84270
2165.90/2171.77 c #Conflicts: 685000 | #Constraints: 85270
2165.90/2171.77 c #Conflicts: 686000 | #Constraints: 86270
2165.90/2171.77 c #Conflicts: 687000 | #Constraints: 87270
2165.90/2171.77 c #Conflicts: 688000 | #Constraints: 88270
2165.90/2171.77 c #Conflicts: 689000 | #Constraints: 89270
2165.90/2171.77 c #Conflicts: 690000 | #Constraints: 90270
2165.90/2171.77 c #Conflicts: 691000 | #Constraints: 91270
2165.90/2171.77 c #Conflicts: 692000 | #Constraints: 92270
2165.90/2171.77 c #Conflicts: 693000 | #Constraints: 93270
2165.90/2171.77 c INPROCESSING
2165.90/2171.77 c GARBAGE COLLECT
2165.90/2171.77 c rational objective 30
2231.44/2237.49 c #Conflicts: 694000 | #Constraints: 51838
2231.44/2237.49 c #Conflicts: 695000 | #Constraints: 52838
2231.44/2237.49 c #Conflicts: 696000 | #Constraints: 53838
2231.44/2237.49 c #Conflicts: 697000 | #Constraints: 54838
2231.44/2237.49 c #Conflicts: 698000 | #Constraints: 55838
2231.44/2237.49 c #Conflicts: 699000 | #Constraints: 56838
2231.44/2237.49 c #Conflicts: 700000 | #Constraints: 57838
2231.44/2237.49 c #Conflicts: 701000 | #Constraints: 58838
2231.44/2237.49 c #Conflicts: 702000 | #Constraints: 59838
2231.44/2237.49 c #Conflicts: 703000 | #Constraints: 60838
2231.44/2237.49 c #Conflicts: 704000 | #Constraints: 61838
2231.44/2237.49 c #Conflicts: 705000 | #Constraints: 62838
2231.44/2237.49 c #Conflicts: 706000 | #Constraints: 63838
2231.44/2237.49 c #Conflicts: 707000 | #Constraints: 64838
2231.44/2237.49 c #Conflicts: 708000 | #Constraints: 65839
2231.44/2237.49 c #Conflicts: 709000 | #Constraints: 66839
2231.44/2237.49 c #Conflicts: 710000 | #Constraints: 67839
2231.44/2237.49 c #Conflicts: 711000 | #Constraints: 68839
2231.44/2237.49 c #Conflicts: 712000 | #Constraints: 69839
2231.44/2237.49 c #Conflicts: 713000 | #Constraints: 70839
2231.44/2237.49 c #Conflicts: 714000 | #Constraints: 71839
2231.44/2237.49 c #Conflicts: 715000 | #Constraints: 72839
2231.44/2237.49 WSVECS04 Frhs2[18]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[78]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[82]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[142]: 6 -6.75 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[172]: 6 -2.0625 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[202]: 6 -2.125 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[262]: 6 -2.5 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[322]: 6 -4 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[382]: 6 -10 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[442]: 6 -34 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[502]: 6 -131 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[561]: 6 -264 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[562]: 6 -527 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[622]: 6 -7.94675e+07 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[682]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[741]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[742]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[802]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[922]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[982]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1042]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1252]: 6 0 3.8125 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1280]: 6 0 4.8125 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1308]: 6 0 5.8125 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1425]: 6 0 3.5 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1451]: 6 0 3.1787e+08 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1455]: 6 0 5.08592e+09 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1468]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1472]: 6 0 71 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1483]: 6 0 5.08592e+09 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1526]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1531]: 6 0 531 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1532]: 6 -1 0 shouldn't be
2231.44/2237.49 WSVECS04 Frhs2[1533]: 6 0 2105 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1534]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1535]: 6 0 3.1787e+08 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1648]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1656]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1680]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1709]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1734]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1743]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1765]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1792]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1821]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1824]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1851]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1854]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1880]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[1912]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2322]: 6 -1.75 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2351]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2365]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2380]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2382]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2394]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2395]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2411]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2415]: 6 -38 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2423]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2424]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2428]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2440]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2448]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2450]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2452]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2453]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2455]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2458]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2482]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2508]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2510]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2511]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2513]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2516]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2541]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2542]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2545]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2569]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2574]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2575]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2576]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2578]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2598]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2599]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2600]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2603]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2605]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2607]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2632]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2633]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2634]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2638]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2657]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2659]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2662]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2663]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2666]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2692]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2695]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2719]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2720]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2724]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2753]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2777]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2781]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2784]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2813]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[2999]: 6 0 5 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3292]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3333]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3339]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3343]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3344]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3348]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3352]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3357]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3411]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3412]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3453]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3459]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3463]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3464]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3472]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3477]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3532]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3592]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3652]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3712]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3835]: 6 0 1 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3931]: 6 0 1 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[3979]: 6 0 2 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4022]: 6 0 1 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4036]: 6 0 7.35417 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4051]: 6 0 4.18457 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4081]: 6 0 5.73828 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4084]: 6 0 4.90625 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4086]: 6 0 4.625 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4112]: 6 0 6.90625 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4118]: 6 0 23 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4146]: 6 0 25 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4163]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4197]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4205]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4221]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4255]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4257]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4292]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4315]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4326]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4337]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4341]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4342]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4350]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4355]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4373]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4379]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4402]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4406]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4435]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4491]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4521]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4524]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4550]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4582]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4931]: 6 -1 0 shouldn't be
2231.44/2237.50 WSVECS04 Frhs2[4945]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4958]: 6 -4.16202 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4960]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4974]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4978]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4987]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4989]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4992]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[4994]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5003]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5016]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5021]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5032]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5035]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5036]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5039]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5040]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5045]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5050]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5052]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5064]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5065]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5074]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5078]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5079]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5081]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5093]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5094]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5096]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5098]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5103]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5107]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5110]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5114]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5119]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5122]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5123]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5125]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5136]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5139]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5149]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5154]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5165]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5172]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5174]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5175]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5179]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5183]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5194]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5201]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5204]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5209]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5210]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5215]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5216]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5223]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5230]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5235]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5238]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5244]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5245]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5259]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5263]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5264]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5268]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5269]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5270]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5273]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5275]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5302]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5303]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5304]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5327]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5328]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5332]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5333]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5336]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5360]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5362]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5365]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5368]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5387]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5390]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5423]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5425]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5427]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5447]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5451]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5452]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5454]: 6 -1 0 shouldn't be
2231.54/2237.50 WSVECS04 Frhs2[5483]: 6 -1 0 shouldn't be
2239.12/2245.19 c #Conflicts: 716000 | #Constraints: 73839
2239.12/2245.19 c INPROCESSING
2239.12/2245.19 c GARBAGE COLLECT
2239.12/2245.19 c rational objective 30
2567.07/2573.92 c #Conflicts: 717000 | #Constraints: 42335
2567.07/2573.92 c #Conflicts: 718000 | #Constraints: 43335
2567.07/2573.92 c #Conflicts: 719000 | #Constraints: 44335
2567.07/2573.92 c #Conflicts: 720000 | #Constraints: 45335
2567.07/2573.92 c #Conflicts: 721000 | #Constraints: 46335
2567.07/2573.92 c #Conflicts: 722000 | #Constraints: 47335
2567.07/2573.92 c #Conflicts: 723000 | #Constraints: 48335
2567.07/2573.92 c #Conflicts: 724000 | #Constraints: 49335
2567.07/2573.92 c #Conflicts: 725000 | #Constraints: 50335
2567.07/2573.92 c #Conflicts: 726000 | #Constraints: 51335
2567.07/2573.92 c #Conflicts: 727000 | #Constraints: 52335
2567.07/2573.92 c #Conflicts: 728000 | #Constraints: 53335
2567.07/2573.92 c #Conflicts: 729000 | #Constraints: 54335
2567.07/2573.92 c #Conflicts: 730000 | #Constraints: 55335
2567.07/2573.92 c #Conflicts: 731000 | #Constraints: 56335
2567.07/2573.92 c #Conflicts: 732000 | #Constraints: 57335
2567.07/2573.92 c #Conflicts: 733000 | #Constraints: 58335
2567.07/2573.92 c #Conflicts: 734000 | #Constraints: 59335
2567.07/2573.92 c #Conflicts: 735000 | #Constraints: 60335
2567.07/2573.92 c #Conflicts: 736000 | #Constraints: 61335
2567.07/2573.92 c #Conflicts: 737000 | #Constraints: 62335
2567.07/2573.92 c #Conflicts: 738000 | #Constraints: 63335
2567.07/2573.92 c #Conflicts: 739000 | #Constraints: 64335
2567.07/2573.92 c #Conflicts: 740000 | #Constraints: 65335
2567.07/2573.92 c #Conflicts: 741000 | #Constraints: 66335
2567.07/2573.92 c #Conflicts: 742000 | #Constraints: 67335
2567.07/2573.92 c #Conflicts: 743000 | #Constraints: 68335
2567.07/2573.92 c #Conflicts: 744000 | #Constraints: 69335
2567.07/2573.92 c #Conflicts: 745000 | #Constraints: 70335
2567.07/2573.92 c #Conflicts: 746000 | #Constraints: 71335
2567.07/2573.92 c #Conflicts: 747000 | #Constraints: 72335
2567.07/2573.92 c #Conflicts: 748000 | #Constraints: 73335
2567.07/2573.92 c #Conflicts: 749000 | #Constraints: 74335
2567.07/2573.92 c #Conflicts: 750000 | #Constraints: 75335
2567.07/2573.92 c #Conflicts: 751000 | #Constraints: 76335
2567.07/2573.92 c #Conflicts: 752000 | #Constraints: 77335
2567.07/2573.92 c #Conflicts: 753000 | #Constraints: 78335
2567.07/2573.92 c #Conflicts: 754000 | #Constraints: 79335
2567.07/2573.92 c #Conflicts: 755000 | #Constraints: 80335
2567.07/2573.92 c #Conflicts: 756000 | #Constraints: 81335
2567.07/2573.92 c #Conflicts: 757000 | #Constraints: 82335
2567.07/2573.92 c #Conflicts: 758000 | #Constraints: 83335
2567.07/2573.92 c #Conflicts: 759000 | #Constraints: 84335
2567.07/2573.92 c #Conflicts: 760000 | #Constraints: 85335
2567.07/2573.92 c #Conflicts: 761000 | #Constraints: 86335
2567.07/2573.92 c #Conflicts: 762000 | #Constraints: 87335
2567.07/2573.92 c #Conflicts: 763000 | #Constraints: 88335
2567.07/2573.92 c #Conflicts: 764000 | #Constraints: 89335
2567.07/2573.92 c #Conflicts: 765000 | #Constraints: 90335
2567.07/2573.92 c #Conflicts: 766000 | #Constraints: 91335
2567.07/2573.92 c #Conflicts: 767000 | #Constraints: 92335
2567.07/2573.92 c #Conflicts: 768000 | #Constraints: 93335
2567.07/2573.92 c #Conflicts: 769000 | #Constraints: 94335
2567.07/2573.92 c #Conflicts: 770000 | #Constraints: 95335
2567.07/2573.92 c #Conflicts: 771000 | #Constraints: 96335
2567.07/2573.92 c #Conflicts: 772000 | #Constraints: 97335
2567.07/2573.92 c #Conflicts: 773000 | #Constraints: 98335
2567.07/2573.92 c INPROCESSING
2567.07/2573.92 c GARBAGE COLLECT
2567.07/2573.92 c rational objective 30
2666.94/2674.07 c #Conflicts: 774000 | #Constraints: 54264
2666.94/2674.07 c #Conflicts: 775000 | #Constraints: 55264
2666.94/2674.07 c #Conflicts: 776000 | #Constraints: 56264
2666.94/2674.07 c #Conflicts: 777000 | #Constraints: 57264
2666.94/2674.07 c #Conflicts: 778000 | #Constraints: 58264
2666.94/2674.07 c #Conflicts: 779000 | #Constraints: 59264
2666.94/2674.07 c #Conflicts: 780000 | #Constraints: 60264
2666.94/2674.07 c #Conflicts: 781000 | #Constraints: 61264
2666.94/2674.07 c #Conflicts: 782000 | #Constraints: 62264
2666.94/2674.07 c #Conflicts: 783000 | #Constraints: 63264
2666.94/2674.07 c #Conflicts: 784000 | #Constraints: 64264
2666.94/2674.07 c #Conflicts: 785000 | #Constraints: 65264
2666.94/2674.07 c #Conflicts: 786000 | #Constraints: 66264
2666.94/2674.07 c #Conflicts: 787000 | #Constraints: 67264
2666.94/2674.07 c #Conflicts: 788000 | #Constraints: 68264
2666.94/2674.07 c #Conflicts: 789000 | #Constraints: 69264
2666.94/2674.07 c #Conflicts: 790000 | #Constraints: 70264
2666.94/2674.07 c #Conflicts: 791000 | #Constraints: 71264
2666.94/2674.07 c #Conflicts: 792000 | #Constraints: 72264
2666.94/2674.07 c #Conflicts: 793000 | #Constraints: 73264
2666.94/2674.07 c #Conflicts: 794000 | #Constraints: 74264
2666.94/2674.07 c #Conflicts: 795000 | #Constraints: 75264
2666.94/2674.07 c #Conflicts: 796000 | #Constraints: 76264
2666.94/2674.07 c #Conflicts: 797000 | #Constraints: 77264
2666.94/2674.07 c #Conflicts: 798000 | #Constraints: 78264
2666.94/2674.07 c INPROCESSING
2666.94/2674.07 c GARBAGE COLLECT
2666.94/2674.07 c rational objective 30
3007.67/3015.60 c #Conflicts: 799000 | #Constraints: 45415
3007.67/3015.60 c #Conflicts: 800000 | #Constraints: 46415
3007.67/3015.60 c #Conflicts: 801000 | #Constraints: 47415
3007.67/3015.60 c #Conflicts: 802000 | #Constraints: 48416
3007.67/3015.60 c #Conflicts: 803000 | #Constraints: 49416
3007.67/3015.60 c #Conflicts: 804000 | #Constraints: 50416
3007.67/3015.60 c #Conflicts: 805000 | #Constraints: 51416
3007.67/3015.60 c #Conflicts: 806000 | #Constraints: 52416
3007.67/3015.60 c #Conflicts: 807000 | #Constraints: 53416
3007.67/3015.60 c #Conflicts: 808000 | #Constraints: 54416
3007.67/3015.60 c #Conflicts: 809000 | #Constraints: 55416
3007.67/3015.60 c #Conflicts: 810000 | #Constraints: 56416
3007.67/3015.60 c #Conflicts: 811000 | #Constraints: 57416
3007.67/3015.60 c #Conflicts: 812000 | #Constraints: 58416
3007.67/3015.60 c #Conflicts: 813000 | #Constraints: 59416
3007.67/3015.60 c #Conflicts: 814000 | #Constraints: 60416
3007.67/3015.60 c #Conflicts: 815000 | #Constraints: 61416
3007.67/3015.60 c #Conflicts: 816000 | #Constraints: 62416
3007.67/3015.60 c #Conflicts: 817000 | #Constraints: 63416
3007.67/3015.60 c #Conflicts: 818000 | #Constraints: 64416
3007.67/3015.60 c #Conflicts: 819000 | #Constraints: 65416
3007.67/3015.60 c #Conflicts: 820000 | #Constraints: 66417
3007.67/3015.60 c #Conflicts: 821000 | #Constraints: 67417
3007.67/3015.60 c #Conflicts: 822000 | #Constraints: 68417
3007.67/3015.60 c #Conflicts: 823000 | #Constraints: 69417
3007.67/3015.60 c #Conflicts: 824000 | #Constraints: 70417
3007.67/3015.60 c #Conflicts: 825000 | #Constraints: 71417
3007.67/3015.60 c #Conflicts: 826000 | #Constraints: 72417
3007.67/3015.60 c #Conflicts: 827000 | #Constraints: 73417
3007.67/3015.60 c #Conflicts: 828000 | #Constraints: 74417
3007.67/3015.60 c #Conflicts: 829000 | #Constraints: 75417
3007.67/3015.60 c #Conflicts: 830000 | #Constraints: 76417
3007.67/3015.60 c #Conflicts: 831000 | #Constraints: 77417
3007.67/3015.60 c #Conflicts: 832000 | #Constraints: 78417
3007.67/3015.60 c #Conflicts: 833000 | #Constraints: 79417
3007.67/3015.60 c #Conflicts: 834000 | #Constraints: 80417
3007.67/3015.60 c #Conflicts: 835000 | #Constraints: 81417
3007.67/3015.60 c #Conflicts: 836000 | #Constraints: 82417
3007.67/3015.60 c #Conflicts: 837000 | #Constraints: 83417
3007.67/3015.60 c #Conflicts: 838000 | #Constraints: 84417
3007.67/3015.60 c #Conflicts: 839000 | #Constraints: 85417
3007.67/3015.60 c #Conflicts: 840000 | #Constraints: 86417
3007.67/3015.60 c #Conflicts: 841000 | #Constraints: 87417
3007.67/3015.60 c #Conflicts: 842000 | #Constraints: 88417
3007.67/3015.60 c #Conflicts: 843000 | #Constraints: 89417
3007.67/3015.60 c #Conflicts: 844000 | #Constraints: 90417
3007.67/3015.60 c #Conflicts: 845000 | #Constraints: 91417
3007.67/3015.60 c #Conflicts: 846000 | #Constraints: 92417
3007.67/3015.60 c #Conflicts: 847000 | #Constraints: 93417
3007.67/3015.60 c #Conflicts: 848000 | #Constraints: 94417
3007.67/3015.60 c #Conflicts: 849000 | #Constraints: 95417
3007.67/3015.60 c #Conflicts: 850000 | #Constraints: 96417
3007.67/3015.60 c #Conflicts: 851000 | #Constraints: 97417
3007.67/3015.60 c #Conflicts: 852000 | #Constraints: 98417
3007.67/3015.60 c #Conflicts: 853000 | #Constraints: 99417
3007.67/3015.60 c #Conflicts: 854000 | #Constraints: 100417
3007.67/3015.60 c #Conflicts: 855000 | #Constraints: 101417
3007.67/3015.60 c #Conflicts: 856000 | #Constraints: 102417
3007.67/3015.60 c #Conflicts: 857000 | #Constraints: 103417
3007.67/3015.60 c #Conflicts: 858000 | #Constraints: 104417
3007.67/3015.60 c INPROCESSING
3007.67/3015.60 c GARBAGE COLLECT
3007.67/3015.60 c rational objective 30
3087.56/3095.73 c #Conflicts: 859000 | #Constraints: 57519
3087.56/3095.73 c #Conflicts: 860000 | #Constraints: 58519
3087.56/3095.73 c #Conflicts: 861000 | #Constraints: 59519
3087.56/3095.73 c #Conflicts: 862000 | #Constraints: 60519
3087.56/3095.73 c #Conflicts: 863000 | #Constraints: 61519
3087.56/3095.73 c #Conflicts: 864000 | #Constraints: 62519
3087.56/3095.73 c #Conflicts: 865000 | #Constraints: 63519
3087.56/3095.73 c #Conflicts: 866000 | #Constraints: 64519
3087.56/3095.73 c #Conflicts: 867000 | #Constraints: 65519
3087.56/3095.73 c #Conflicts: 868000 | #Constraints: 66519
3087.56/3095.73 c #Conflicts: 869000 | #Constraints: 67519
3087.56/3095.73 c #Conflicts: 870000 | #Constraints: 68519
3087.56/3095.73 c #Conflicts: 871000 | #Constraints: 69519
3087.56/3095.73 c #Conflicts: 872000 | #Constraints: 70519
3087.56/3095.73 c #Conflicts: 873000 | #Constraints: 71519
3087.56/3095.73 c #Conflicts: 874000 | #Constraints: 72519
3087.56/3095.73 c #Conflicts: 875000 | #Constraints: 73519
3087.56/3095.73 c #Conflicts: 876000 | #Constraints: 74519
3087.56/3095.73 c #Conflicts: 877000 | #Constraints: 75519
3087.56/3095.73 c #Conflicts: 878000 | #Constraints: 76519
3087.56/3095.73 c #Conflicts: 879000 | #Constraints: 77519
3087.56/3095.73 c #Conflicts: 880000 | #Constraints: 78519
3087.56/3095.73 c #Conflicts: 881000 | #Constraints: 79519
3087.56/3095.73 c #Conflicts: 882000 | #Constraints: 80519
3087.56/3095.73 c #Conflicts: 883000 | #Constraints: 81519
3087.56/3095.73 c #Conflicts: 884000 | #Constraints: 82519
3087.56/3095.73 c INPROCESSING
3087.56/3095.73 c GARBAGE COLLECT
3087.56/3095.73 c rational objective 30
3557.33/3566.79 c #Conflicts: 885000 | #Constraints: 47981
3557.33/3566.79 c #Conflicts: 886000 | #Constraints: 48981
3557.33/3566.79 c #Conflicts: 887000 | #Constraints: 49981
3557.33/3566.79 c #Conflicts: 888000 | #Constraints: 50981
3557.33/3566.79 c #Conflicts: 889000 | #Constraints: 51981
3557.33/3566.79 c #Conflicts: 890000 | #Constraints: 52982
3557.33/3566.79 c #Conflicts: 891000 | #Constraints: 53982
3557.33/3566.79 c #Conflicts: 892000 | #Constraints: 54982
3557.33/3566.79 c #Conflicts: 893000 | #Constraints: 55982
3557.33/3566.79 c #Conflicts: 894000 | #Constraints: 56982
3557.33/3566.79 c #Conflicts: 895000 | #Constraints: 57982
3557.33/3566.79 c #Conflicts: 896000 | #Constraints: 58982
3557.33/3566.79 c #Conflicts: 897000 | #Constraints: 59982
3557.33/3566.79 c #Conflicts: 898000 | #Constraints: 60982
3557.33/3566.79 c #Conflicts: 899000 | #Constraints: 61982
3557.33/3566.79 c #Conflicts: 900000 | #Constraints: 62982
3557.33/3566.79 c #Conflicts: 901000 | #Constraints: 63982
3557.33/3566.79 c #Conflicts: 902000 | #Constraints: 64982
3557.33/3566.79 c #Conflicts: 903000 | #Constraints: 65982
3557.33/3566.79 c #Conflicts: 904000 | #Constraints: 66982
3557.33/3566.79 c #Conflicts: 905000 | #Constraints: 67983
3557.33/3566.79 c #Conflicts: 906000 | #Constraints: 68983
3557.33/3566.79 c #Conflicts: 907000 | #Constraints: 69983
3557.33/3566.79 c #Conflicts: 908000 | #Constraints: 70983
3557.33/3566.79 c #Conflicts: 909000 | #Constraints: 71983
3557.33/3566.79 c #Conflicts: 910000 | #Constraints: 72983
3557.33/3566.79 c #Conflicts: 911000 | #Constraints: 73983
3557.33/3566.79 c #Conflicts: 912000 | #Constraints: 74983
3557.33/3566.79 c #Conflicts: 913000 | #Constraints: 75983
3557.33/3566.79 c #Conflicts: 914000 | #Constraints: 76983
3557.33/3566.79 c #Conflicts: 915000 | #Constraints: 77983
3557.33/3566.79 c #Conflicts: 916000 | #Constraints: 78983
3557.33/3566.79 c #Conflicts: 917000 | #Constraints: 79983
3557.33/3566.79 c #Conflicts: 918000 | #Constraints: 80983
3557.33/3566.79 c #Conflicts: 919000 | #Constraints: 81983
3557.33/3566.79 c #Conflicts: 920000 | #Constraints: 82983
3557.33/3566.79 c #Conflicts: 921000 | #Constraints: 83983
3557.33/3566.79 c #Conflicts: 922000 | #Constraints: 84983
3557.33/3566.79 c #Conflicts: 923000 | #Constraints: 85983
3557.33/3566.79 c #Conflicts: 924000 | #Constraints: 86983
3557.33/3566.79 c #Conflicts: 925000 | #Constraints: 87983
3557.33/3566.79 c #Conflicts: 926000 | #Constraints: 88983
3557.33/3566.79 c #Conflicts: 927000 | #Constraints: 89983
3557.33/3566.79 c #Conflicts: 928000 | #Constraints: 90983
3557.33/3566.79 c #Conflicts: 929000 | #Constraints: 91983
3557.33/3566.79 c #Conflicts: 930000 | #Constraints: 92983
3557.33/3566.79 c #Conflicts: 931000 | #Constraints: 93983
3557.33/3566.79 c #Conflicts: 932000 | #Constraints: 94983
3557.33/3566.79 c #Conflicts: 933000 | #Constraints: 95983
3557.33/3566.79 c #Conflicts: 934000 | #Constraints: 96983
3557.33/3566.79 c #Conflicts: 935000 | #Constraints: 97983
3557.33/3566.79 c #Conflicts: 936000 | #Constraints: 98983
3557.33/3566.79 c #Conflicts: 937000 | #Constraints: 99983
3557.33/3566.79 c #Conflicts: 938000 | #Constraints: 100983
3557.33/3566.79 c #Conflicts: 939000 | #Constraints: 101983
3557.33/3566.79 c #Conflicts: 940000 | #Constraints: 102983
3557.33/3566.79 c #Conflicts: 941000 | #Constraints: 103983
3557.33/3566.79 c #Conflicts: 942000 | #Constraints: 104983
3557.33/3566.79 c #Conflicts: 943000 | #Constraints: 105983
3557.33/3566.79 c #Conflicts: 944000 | #Constraints: 106983
3557.33/3566.79 c #Conflicts: 945000 | #Constraints: 107983
3557.33/3566.79 c #Conflicts: 946000 | #Constraints: 108983
3557.33/3566.79 c #Conflicts: 947000 | #Constraints: 109983
3557.33/3566.79 c INPROCESSING
3557.33/3566.79 c GARBAGE COLLECT
3557.33/3566.79 c rational objective 30
3600.02/3609.50 c #Conflicts: 948000 | #Constraints: 60246
3600.02/3609.50 c #Conflicts: 949000 | #Constraints: 61246
3600.02/3609.50 c #Conflicts: 950000 | #Constraints: 62246
3600.02/3609.50 c #Conflicts: 951000 | #Constraints: 63246
3600.02/3609.50 c #Conflicts: 952000 | #Constraints: 64246
3600.02/3609.50 c #Conflicts: 953000 | #Constraints: 65246
3600.02/3609.50 c #Conflicts: 954000 | #Constraints: 66246
3600.02/3609.50 c #Conflicts: 955000 | #Constraints: 67246
3600.02/3609.50 c #Conflicts: 956000 | #Constraints: 68246
3600.02/3609.50 c #Conflicts: 957000 | #Constraints: 69246
3600.02/3609.50 c cpu time 3587.92 s
3600.02/3609.50 c deterministic time 173644212999 1.74e+11
3600.02/3609.50 c optimization time 42.3667 s
3600.02/3609.50 c total solve time 3545.52 s
3600.02/3609.50 c core-guided solve time 0 s
3600.02/3609.50 c propagation time 2339.67 s
3600.02/3609.50 c conflict analysis time 1191.41 s
3600.02/3609.50 c propagations 415352767
3600.02/3609.50 c resolve steps 116161799
3600.02/3609.50 c decisions 1479851
3600.02/3609.50 c conflicts 957307
3600.02/3609.50 c restarts 2044
3600.02/3609.50 c inprocessing phases 41
3600.02/3609.50 c garbage collections 41 ,( 100.00 )
3600.02/3609.50 c input clauses 4662 ,( 57.66 )
3600.02/3609.50 c input cardinalities 0 ,( 0.00 )
3600.02/3609.50 c input general constraints 3423 ,( 42.34 )
3600.02/3609.50 c input average constraint length 3.22
3600.02/3609.50 c input average constraint degree 142600062412722.53
3600.02/3609.50 c learned clauses 535827 ,( 55.97 )
3600.02/3609.50 c learned cardinalities 237 ,( 0.02 )
3600.02/3609.50 c learned general constraints 421256 ,( 44.00 )
3600.02/3609.50 c learned average constraint length 258.34
3600.02/3609.50 c learned average constraint degree 136439117.74
3600.02/3609.50 c watched CF 32, 64, 128, Arb: 53853 , 0 , 0 , 0
3600.02/3609.50 c counting CF 32, 64, 128, Arb: 370825 , 1 , 0 , 0
3600.02/3609.50 c watched constraints 53853 ,( 12.68 )
3600.02/3609.50 c counting constraints 370826 ,( 87.32 )
3600.02/3609.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 674984524 , 4223505 , 62999389415 ,( 128091337 , 62871298078 )
3600.02/3609.50 c gcd simplifications 35862
3600.02/3609.50 c detected cardinalities 116
3600.02/3609.50 c weakened non-implied lits 42889823
3600.02/3609.50 c weakened non-implying lits 589227
3600.02/3609.50 c original variables 5610
3600.02/3609.50 c clausal propagations 154528179
3600.02/3609.50 c cardinality propagations 163782
3600.02/3609.50 c watched propagations 1922628
3600.02/3609.50 c counting propagations 257772411
3600.02/3609.50 c watch lookups 107337659231
3600.02/3609.50 c watch backjump lookups 0
3600.02/3609.50 c watch checks 3898002477
3600.02/3609.50 c propagation checks 60513534766
3600.02/3609.50 c constraint additions 1060226536
3600.02/3609.50 c trail pops 417786384
3600.02/3609.50 c formula constraints 8085
3600.02/3609.50 c learned constraints 957298
3600.02/3609.50 c bound constraints 0
3600.02/3609.50 c core-guided constraints 0
3600.02/3609.50 c encountered formula constraints 82599842
3600.02/3609.50 c encountered learned constraints 34232817
3600.02/3609.50 c encountered bound constraints 0
3600.02/3609.50 c encountered core-guided constraints 0
3600.02/3609.50 c LP total time 33.2115 s
3600.02/3609.50 c LP solve time 31.56 s
3600.02/3609.50 c LP constraints added 8086
3600.02/3609.50 c LP constraints removed 0
3600.02/3609.50 c LP pivots internal 97232
3600.02/3609.50 c LP pivots root 73754
3600.02/3609.50 c LP calls 66
3600.02/3609.50 c LP optimalities 35
3600.02/3609.50 c LP no pivot count 17
3600.02/3609.50 c LP infeasibilities 16
3600.02/3609.50 c LP valid Farkas constraints 14
3600.02/3609.50 c LP learned Farkas constraints 8
3600.02/3609.50 c LP basis resets 12
3600.02/3609.50 c LP cycling count 2
3600.02/3609.50 c LP singular count 9
3600.02/3609.50 c LP no primal count 0
3600.02/3609.50 c LP no farkas count 1
3600.02/3609.50 c LP other issue count 0
3600.02/3609.50 c LP Gomory cuts 0
3600.02/3609.50 c LP learned cuts 1
3600.02/3609.50 c LP deleted cuts 0
3600.02/3609.50 c LP encountered Gomory constraints 0
3600.02/3609.50 c LP encountered Farkas constraints 285778
3600.02/3609.50 c LP encountered learned Farkas constraints 661
3600.02/3609.50 c CG auxiliary variables introduced 0
3600.02/3609.50 c CG solutions found 0
3600.02/3609.50 c CG cores constructed 0
3600.02/3609.50 c CG core cardinality constraints returned 0
3600.02/3609.50 c CG unit cores 0
3600.02/3609.50 c CG single cores 0
3600.02/3609.50 c CG blocks removed during cardinality reduction 0
3600.02/3609.50 c CG first core best 0
3600.02/3609.50 c CG decision core best 0
3600.02/3609.50 c CG core reduction tie 0
3600.02/3609.50 c CG core degree average 0.00
3600.02/3609.50 c CG core slack average 0.00
3600.02/3609.50 c CG core upper bound improvements 0
3600.02/3609.50 c STR number of successful calls 0
3600.02/3609.50 c STR number of unsuccessful calls 0
3600.02/3609.50 c STR number of inconclusive calls 0
3600.02/3609.50 c STR number of successful attempts 0
3600.02/3609.50 c STR number of unsuccessful attempts 0
3600.02/3609.50 c STR number of inconclusive attempts 0
3600.02/3609.50 c STR average degree increase per successful call inf
3600.02/3609.50 c STR average degree increase per successful attempt inf
3600.02/3609.50 c STR total number of conflicts for successful attempts 0
3600.02/3609.50 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.50 c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.50 c STR average number of conflicts per successful attempt inf
3600.02/3609.50 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.50 c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.50 c AVG.sumWPerc 80.70
3600.02/3609.50 c bigint constraints 1
3600.02/3609.50 s UNKNOWN
3600.02/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 (62260 MiB free)
memory of node 1: 64465 MiB (61463 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541530-1753198973/watcher-4541530-1753198973 -o /tmp/evaluation-result-4541530-1753198973/solver-4541530-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541530-1753198973.opb /tmp/proof-4541530-1753198973
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183361, runsolver pid=183347
[startup+0.100057 s]*
/proc/loadavg: 0.13 0.10 0.09 5/264 183366
/proc/meminfo: memFree=126686644/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=58504 memory=14044 CPUtime=0.01 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 1160 0 0 0 1 0 0 0 20 0 1 0 235575838 59908096 3511 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 14626 3511 2048 1147 0 2053 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 62696 KiB
Current children cumulated memory: 17116 KiB
[startup+0.205383 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126660704/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=71152 memory=27216 CPUtime=0.12 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 4718 0 0 0 11 1 0 0 20 0 1 0 235575838 72859648 6804 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 17788 6804 2368 1147 0 5215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 75344 KiB
Current children cumulated memory: 30288 KiB
[startup+0.305485 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126655416/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=71320 memory=27728 CPUtime=0.21 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 4857 0 0 0 20 1 0 0 20 0 1 0 235575838 73031680 6932 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 17830 6932 2368 1147 0 5257 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75512 KiB
Current children cumulated memory: 30800 KiB
[startup+0.700153 s]
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126645088/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=74168 memory=30160 CPUtime=0.61 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 5457 0 0 0 58 3 0 0 20 0 1 0 235575838 75948032 7540 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 18542 7540 2368 1147 0 5969 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 78360 KiB
Current children cumulated memory: 33232 KiB
[startup+1.50015 s]
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126622912/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=74688 memory=31056 CPUtime=1.4 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 5691 0 0 0 136 4 0 0 20 0 1 0 235575838 76480512 7764 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 18672 7764 2368 1147 0 6099 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 78880 KiB
Current children cumulated memory: 34128 KiB
[startup+3.10536 s]
/proc/loadavg: 0.44 0.17 0.11 5/267 183372
/proc/meminfo: memFree=126502788/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=77880 memory=36296 CPUtime=3 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 6491 0 0 0 294 6 0 0 20 0 1 0 235575838 79749120 9074 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 19470 9074 2368 1147 0 6897 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 82072 KiB
Current children cumulated memory: 39368 KiB
[startup+6.30014 s]
/proc/loadavg: 0.44 0.17 0.11 5/267 183372
/proc/meminfo: memFree=126381624/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=79384 memory=37960 CPUtime=6.19 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 6903 0 0 0 608 11 0 0 20 0 1 0 235575838 81289216 9490 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 19846 9490 2368 1147 0 7273 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 83576 KiB
Current children cumulated memory: 41032 KiB
[startup+12.7001 s]
/proc/loadavg: 0.72 0.23 0.13 5/267 183372
/proc/meminfo: memFree=126136448/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=85836 memory=41800 CPUtime=12.58 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 7850 0 0 0 1239 19 0 0 20 0 1 0 235575838 87896064 10450 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 21459 10450 2368 1147 0 8886 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 90028 KiB
Current children cumulated memory: 44872 KiB
[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 5/267 183372
/proc/meminfo: memFree=125676664/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=105208 memory=62344 CPUtime=25.35 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 11853 0 0 0 2504 31 0 0 20 0 1 0 235575838 107732992 15586 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 26302 15586 2496 1147 0 13729 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 109400 KiB
Current children cumulated memory: 65416 KiB
[startup+51.1055 s]
/proc/loadavg: 2.51 0.75 0.31 5/267 183372
/proc/meminfo: memFree=125006788/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=142260 memory=89060 CPUtime=50.89 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 17021 0 0 0 5038 51 0 0 20 0 1 0 235575838 145674240 22265 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 35565 22265 2496 1147 0 22992 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 146452 KiB
Current children cumulated memory: 92132 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 1.32 0.53 5/267 183374
/proc/meminfo: memFree=123695872/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=156112 memory=109592 CPUtime=101.94 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 20618 0 0 0 10105 89 0 0 20 0 1 0 235575838 159858688 27398 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 39028 27398 2496 1147 0 26455 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 160304 KiB
Current children cumulated memory: 112664 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 1.87 0.77 6/267 183376
/proc/meminfo: memFree=122288868/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=185756 memory=125900 CPUtime=161.75 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 23691 0 0 0 16054 121 0 0 20 0 1 0 235575838 190214144 31475 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 46439 31475 2496 1147 0 33866 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 189948 KiB
Current children cumulated memory: 128972 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 2.31 0.99 5/268 183379
/proc/meminfo: memFree=121149948/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=190680 memory=130764 CPUtime=221.57 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 24901 0 0 0 22000 157 0 0 20 0 1 0 235575838 195256320 32691 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
################
# More data... #
################
/proc/183366/statm: 134521 112218 2496 1147 0 121948 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 542276 KiB
Current children cumulated memory: 451944 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/268 183537
/proc/meminfo: memFree=90481272/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=538084 memory=448872 CPUtime=3153.99 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 78304 0 0 0 314288 1111 0 0 20 0 1 0 235575838 550998016 112218 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 134521 112218 2496 1147 0 121948 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 542276 KiB
Current children cumulated memory: 451944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.06 5/268 183539
/proc/meminfo: memFree=89980496/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=538084 memory=448872 CPUtime=3213.83 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 78307 0 0 0 320252 1131 0 0 20 0 1 0 235575838 550998016 112218 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 134521 112218 2496 1147 0 121948 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 542276 KiB
Current children cumulated memory: 451944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/267 183541
/proc/meminfo: memFree=89530660/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=538084 memory=448872 CPUtime=3273.67 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 78321 0 0 0 326222 1145 0 0 20 0 1 0 235575838 550998016 112218 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 134521 112218 2496 1147 0 121948 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 542276 KiB
Current children cumulated memory: 451944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/266 183543
/proc/meminfo: memFree=89111352/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=538084 memory=449000 CPUtime=3333.52 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 78336 0 0 0 332195 1157 0 0 20 0 1 0 235575838 550998016 112250 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 134521 112250 2496 1147 0 121948 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 542276 KiB
Current children cumulated memory: 452072 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.08 5/266 183545
/proc/meminfo: memFree=88661936/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=538084 memory=452584 CPUtime=3393.35 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 78358 0 0 0 338167 1168 0 0 20 0 1 0 235575838 550998016 113146 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 134521 113146 2496 1147 0 121948 0
Current children cumulated CPU time: 3393.35 s
Current children cumulated vsize: 542276 KiB
Current children cumulated memory: 455656 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.08 5/266 183547
/proc/meminfo: memFree=88303516/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=539576 memory=467716 CPUtime=3453.2 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 78589 0 0 0 344139 1181 0 0 20 0 1 0 235575838 552525824 116929 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 134894 116929 2496 1147 0 122321 0
Current children cumulated CPU time: 3453.2 s
Current children cumulated vsize: 543768 KiB
Current children cumulated memory: 470788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/267 183550
/proc/meminfo: memFree=87910868/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=543352 memory=482080 CPUtime=3513.03 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 79127 0 0 0 350114 1189 0 0 20 0 1 0 235575838 556392448 120520 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 135838 120520 2496 1147 0 123265 0
Current children cumulated CPU time: 3513.03 s
Current children cumulated vsize: 547544 KiB
Current children cumulated memory: 485152 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.09 6/267 183552
/proc/meminfo: memFree=87416540/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=549444 memory=494788 CPUtime=3572.89 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 80292 0 0 0 356086 1203 0 0 20 0 1 0 235575838 562630656 123697 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 137361 123697 2496 1147 0 124788 0
Current children cumulated CPU time: 3572.89 s
Current children cumulated vsize: 553636 KiB
Current children cumulated memory: 497860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.25 4.18 4.10 5/268 183560
/proc/meminfo: memFree=87231164/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=549604 memory=494916 CPUtime=3600.02 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 80337 0 0 0 358791 1211 0 0 20 0 1 0 235575838 562794496 123729 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 137401 123729 2496 1147 0 124828 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 553796 KiB
Current children cumulated memory: 497988 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 183361 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001906 s, system=0.001492 s
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 183366 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3587.93 s, system=12.115 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.25 4.18 4.10 5/268 183560
/proc/meminfo: memFree=87231164/131249996 swapFree=33010160/33010684
[pid=183361] ppid=183347 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/183361/stat : 183361 (run-dec-ls-log.) S 183347 183361 183292 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235575833 4292608 768 18446744073709551615 93834021638144 93834022532677 140734564727872 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93834022771728 93834022819472 93834031013888 140734564735295 140734564735455 140734564735455 140734564741059 0
/proc/183361/statm: 1048 768 704 219 0 110 0
[pid=183366] ppid=183361 vsize=549604 memory=494916 CPUtime=3600.02 cores=5,7
/proc/183366/stat : 183366 (roundingsat) R 183361 183361 183292 0 -1 4194304 80337 0 0 0 358791 1211 0 0 20 0 1 0 235575838 562794496 123729 18446744073709551615 4227072 8923433 140734577755408 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 24920064 140734577760628 140734577760806 140734577760806 140734577766378 0
/proc/183366/statm: 137401 123729 2496 1147 0 124828 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 553796 KiB
Current children cumulated memory: 497988 KiB
Child status: 2
Real time (s): 3609.51
CPU time (s): 3600.04
CPU user time (s): 3587.93
CPU system time (s): 12.115
CPU usage (%): 99.7377
Max. virtual memory (cumulated for all children) (KiB): 553796
Max. memory (cumulated for all children) (KiB): 497988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.93
system time used= 12.115
maximum resident set size= 495044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10618536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 345
involuntary context switches= 5259
# summary of solver processes directly reported to runsolver:
# pid: 183361,183366
# total CPU time (s): 3600.04
# total CPU user time (s): 3587.93
# total CPU system time (s): 12.115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.77107 second user time and 17.6573 second system time
The end
Begin job on nodeC029 at 2025-07-22 17:42:53
IDJOB=4541530
IDBENCH=163136
IDSOLVER=3354
FILE ID=nodeC029/4541530-1753198973
RUNJOBID= nodeC029-1753198973-183312
SLURM_JOB_ID= 9687762
Free space on /tmp= 433020 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq5/normalized-30array_ineq5.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541530-1753198973/watcher-4541530-1753198973 -o /tmp/evaluation-result-4541530-1753198973/solver-4541530-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1753198973-183312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541530-1753198973.opb /tmp/proof-4541530-1753198973
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c057026a3dee35393963218173951f41
RANDOM SEED=1581860338
nodeC029 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 : 1199.889
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3600.776
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 1199.421
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.030
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 1198.632
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 3574.260
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
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 : 1199.931
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.721
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126713916 kB
MemAvailable: 129731084 kB
Buffers: 2128 kB
Cached: 3778540 kB
SwapCached: 36 kB
Active: 1306108 kB
Inactive: 2538768 kB
Active(anon): 85708 kB
Inactive(anon): 4716 kB
Active(file): 1220400 kB
Inactive(file): 2534052 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 15128 kB
Writeback: 0 kB
AnonPages: 67376 kB
Mapped: 109496 kB
Shmem: 26216 kB
KReclaimable: 203908 kB
Slab: 300632 kB
SReclaimable: 203908 kB
SUnreclaim: 96724 kB
KernelStack: 4064 kB
PageTables: 2936 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 341900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 390944 MiB
End job on nodeC029 at 2025-07-22 18:43:04