0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.02	c #variables 1848 #constraints 2979
0.00/0.03	c rational objective 7.10543e-15
5.57/5.66	c #Conflicts:       1000 | #Constraints:       3979
5.57/5.66	c #Conflicts:       2000 | #Constraints:       4979
5.57/5.66	c INPROCESSING
5.57/5.66	c GARBAGE COLLECT
5.57/5.66	c rational objective 4.01309
17.94/18.02	c #Conflicts:       3000 | #Constraints:       4984
17.94/18.02	c #Conflicts:       4000 | #Constraints:       5984
17.94/18.02	c INPROCESSING
17.94/18.02	c GARBAGE COLLECT
17.94/18.02	c #Conflicts:       5000 | #Constraints:       5385
17.94/18.02	c #Conflicts:       6000 | #Constraints:       6386
17.94/18.02	c INPROCESSING
17.94/18.02	c GARBAGE COLLECT
17.94/18.02	c #Conflicts:       7000 | #Constraints:       5387
17.94/18.02	c #Conflicts:       8000 | #Constraints:       6387
17.94/18.02	c #Conflicts:       9000 | #Constraints:       7387
17.94/18.02	c INPROCESSING
17.94/18.02	c GARBAGE COLLECT
17.94/18.02	c rational objective 4.16602
23.81/23.99	c #Conflicts:      10000 | #Constraints:       6086
23.81/23.99	c #Conflicts:      11000 | #Constraints:       7086
23.81/23.99	c #Conflicts:      12000 | #Constraints:       8086
23.81/23.99	c INPROCESSING
23.81/23.99	c GARBAGE COLLECT
23.81/23.99	c rational objective 4.37905
97.55/97.93	c #Conflicts:      13000 | #Constraints:       6537
97.55/97.93	c #Conflicts:      14000 | #Constraints:       7537
97.55/97.93	c #Conflicts:      15000 | #Constraints:       8537
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c #Conflicts:      16000 | #Constraints:       6765
97.55/97.93	c #Conflicts:      17000 | #Constraints:       7765
97.55/97.93	c #Conflicts:      18000 | #Constraints:       8765
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c #Conflicts:      19000 | #Constraints:       6777
97.55/97.93	c #Conflicts:      20000 | #Constraints:       7778
97.55/97.93	c #Conflicts:      21000 | #Constraints:       8779
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c #Conflicts:      22000 | #Constraints:       6583
97.55/97.93	c #Conflicts:      23000 | #Constraints:       7583
97.55/97.93	c #Conflicts:      24000 | #Constraints:       8583
97.55/97.93	c #Conflicts:      25000 | #Constraints:       9583
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c #Conflicts:      26000 | #Constraints:       7185
97.55/97.93	c #Conflicts:      27000 | #Constraints:       8185
97.55/97.93	c #Conflicts:      28000 | #Constraints:       9185
97.55/97.93	c #Conflicts:      29000 | #Constraints:      10185
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c #Conflicts:      30000 | #Constraints:       7588
97.55/97.93	c #Conflicts:      31000 | #Constraints:       8591
97.55/97.93	c #Conflicts:      32000 | #Constraints:       9591
97.55/97.93	c #Conflicts:      33000 | #Constraints:      10591
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c #Conflicts:      34000 | #Constraints:       7789
97.55/97.93	c #Conflicts:      35000 | #Constraints:       8789
97.55/97.93	c #Conflicts:      36000 | #Constraints:       9791
97.55/97.93	c #Conflicts:      37000 | #Constraints:      10791
97.55/97.93	c INPROCESSING
97.55/97.93	c GARBAGE COLLECT
97.55/97.93	c rational objective 4.4728
192.33/193.06	c #Conflicts:      38000 | #Constraints:       7796
192.33/193.06	c #Conflicts:      39000 | #Constraints:       8796
192.33/193.06	c #Conflicts:      40000 | #Constraints:       9796
192.33/193.06	c #Conflicts:      41000 | #Constraints:      10797
192.33/193.06	c INPROCESSING
192.33/193.06	c GARBAGE COLLECT
192.33/193.06	c #Conflicts:      42000 | #Constraints:       7593
192.33/193.06	c #Conflicts:      43000 | #Constraints:       8593
192.33/193.06	c #Conflicts:      44000 | #Constraints:       9594
192.33/193.06	c #Conflicts:      45000 | #Constraints:      10594
192.33/193.06	c #Conflicts:      46000 | #Constraints:      11594
192.33/193.06	c INPROCESSING
192.33/193.06	c GARBAGE COLLECT
192.33/193.06	c #Conflicts:      47000 | #Constraints:       8192
192.33/193.06	c #Conflicts:      48000 | #Constraints:       9192
192.33/193.06	c #Conflicts:      49000 | #Constraints:      10192
192.33/193.06	c #Conflicts:      50000 | #Constraints:      11192
192.33/193.06	c #Conflicts:      51000 | #Constraints:      12192
192.33/193.06	c INPROCESSING
192.33/193.06	c GARBAGE COLLECT
192.33/193.06	c #Conflicts:      52000 | #Constraints:       8590
192.33/193.06	c #Conflicts:      53000 | #Constraints:       9590
192.33/193.06	c #Conflicts:      54000 | #Constraints:      10590
192.33/193.06	c #Conflicts:      55000 | #Constraints:      11590
192.33/193.06	c #Conflicts:      56000 | #Constraints:      12590
192.33/193.06	c INPROCESSING
192.33/193.06	c GARBAGE COLLECT
192.33/193.06	c #Conflicts:      57000 | #Constraints:       8793
192.33/193.06	c #Conflicts:      58000 | #Constraints:       9793
192.33/193.06	c #Conflicts:      59000 | #Constraints:      10793
192.33/193.06	c #Conflicts:      60000 | #Constraints:      11794
192.33/193.06	c #Conflicts:      61000 | #Constraints:      12794
192.33/193.06	c INPROCESSING
192.33/193.06	c GARBAGE COLLECT
192.33/193.06	WSVECS04 Frhs2[2]: 6 -71.8096 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[4]: 6 -8.76649 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[6]: 6 -8.76644 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[7]: 6 -8.76643 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[9]: 6 -8.76644 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[10]: 6 -8.76643 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[12]: 6 -8.76649 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[28]: 6 -75.4958 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[29]: 6 -75.2549 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[31]: 6 -66.2234 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[32]: 6 -66.2235 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[33]: 6 -67.7766 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[34]: 6 -66.2235 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[35]: 6 -66.2235 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[52]: 6 -0.939761 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[55]: 6 -0.517991 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[60]: 6 0 14.4266 shouldn't be
192.33/193.06	WSVECS04 Frhs2[61]: 6 0 29.8531 shouldn't be
192.33/193.06	WSVECS04 Frhs2[62]: 6 0 60.7063 shouldn't be
192.33/193.06	WSVECS04 Frhs2[63]: 6 0 122.412 shouldn't be
192.33/193.06	WSVECS04 Frhs2[64]: 6 0 245.825 shouldn't be
192.33/193.06	WSVECS04 Frhs2[65]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[66]: 6 0 986.3 shouldn't be
192.33/193.06	WSVECS04 Frhs2[67]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[68]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[69]: 6 0 7937.56 shouldn't be
192.33/193.06	WSVECS04 Frhs2[70]: 6 0 15874.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[71]: 6 0 31524.5 shouldn't be
192.33/193.06	WSVECS04 Frhs2[72]: 6 0 63118.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[76]: 6 -62.921 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[77]: 6 -62.8005 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[79]: 6 -61.9293 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[80]: 6 -60.592 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[81]: 6 -59.2869 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[82]: 6 -55.2419 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[83]: 6 -47.2414 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[86]: 6 0 57.1891 shouldn't be
192.33/193.06	WSVECS04 Frhs2[87]: 6 0 180.602 shouldn't be
192.33/193.06	WSVECS04 Frhs2[88]: 6 0 427.426 shouldn't be
192.33/193.06	WSVECS04 Frhs2[89]: 6 0 921.076 shouldn't be
192.33/193.06	WSVECS04 Frhs2[90]: 6 0 1908.38 shouldn't be
192.33/193.06	WSVECS04 Frhs2[91]: 6 0 3882.97 shouldn't be
192.33/193.06	WSVECS04 Frhs2[92]: 6 0 7871.34 shouldn't be
192.33/193.06	WSVECS04 Frhs2[93]: 6 0 15808.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[94]: 6 0 31527.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[95]: 6 0 63120.9 shouldn't be
192.33/193.06	WSVECS04 Frhs2[96]: 6 0 126306 shouldn't be
192.33/193.06	WSVECS04 Frhs2[108]: 6 0 52.9399 shouldn't be
192.33/193.06	WSVECS04 Frhs2[109]: 6 0 114.646 shouldn't be
192.33/193.06	WSVECS04 Frhs2[110]: 6 0 238.058 shouldn't be
192.33/193.06	WSVECS04 Frhs2[111]: 6 0 484.883 shouldn't be
192.33/193.06	WSVECS04 Frhs2[112]: 6 0 978.533 shouldn't be
192.33/193.06	WSVECS04 Frhs2[113]: 6 0 1965.83 shouldn't be
192.33/193.06	WSVECS04 Frhs2[114]: 6 0 3940.43 shouldn't be
192.33/193.06	WSVECS04 Frhs2[115]: 6 0 7889.63 shouldn't be
192.33/193.06	WSVECS04 Frhs2[116]: 6 0 15799.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[117]: 6 0 31584.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[118]: 6 0 63178.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[119]: 6 0 126308 shouldn't be
192.33/193.06	WSVECS04 Frhs2[121]: 6 -0.939831 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[124]: 6 -1.52234 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[125]: 6 -1.04073 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[126]: 6 0 0.928342 shouldn't be
192.33/193.06	WSVECS04 Frhs2[132]: 6 0 122.412 shouldn't be
192.33/193.06	WSVECS04 Frhs2[133]: 6 0 245.825 shouldn't be
192.33/193.06	WSVECS04 Frhs2[134]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[135]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[136]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[137]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[138]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[139]: 6 0 15798.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[140]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[141]: 6 0 63186.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[142]: 6 0 126366 shouldn't be
192.33/193.06	WSVECS04 Frhs2[143]: 6 0 252682 shouldn't be
192.33/193.06	WSVECS04 Frhs2[144]: 6 0 505429 shouldn't be
192.33/193.06	WSVECS04 Frhs2[150]: 6 0 2.83738 shouldn't be
192.33/193.06	WSVECS04 Frhs2[151]: 6 0 6.71331 shouldn't be
192.33/193.06	WSVECS04 Frhs2[152]: 6 0 14.412 shouldn't be
192.33/193.06	WSVECS04 Frhs2[153]: 6 0 28.8473 shouldn't be
192.33/193.06	WSVECS04 Frhs2[154]: 6 0 59.7024 shouldn't be
192.33/193.06	WSVECS04 Frhs2[155]: 6 0 122.405 shouldn't be
192.33/193.06	WSVECS04 Frhs2[156]: 6 0 245.825 shouldn't be
192.33/193.06	WSVECS04 Frhs2[157]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[158]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[159]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[160]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[161]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[162]: 6 0 15797.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[163]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[167]: 6 0 505431 shouldn't be
192.33/193.06	WSVECS04 Frhs2[169]: 6 -0.759044 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[170]: 6 -0.518001 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[171]: 6 -2.04462 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[172]: 6 -0.0892254 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[174]: 6 0 6.67478 shouldn't be
192.33/193.06	WSVECS04 Frhs2[180]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[181]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[182]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[183]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[184]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[185]: 6 0 15796.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[186]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[191]: 6 0 1.01093e+06 shouldn't be
192.33/193.06	WSVECS04 Frhs2[193]: 6 -0.517936 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[194]: 6 -0.035908 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[195]: 6 -0.104789 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[198]: 6 0 14.3495 shouldn't be
192.33/193.06	WSVECS04 Frhs2[204]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[205]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[206]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[207]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[208]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[209]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[218]: 6 0 0.92833 shouldn't be
192.33/193.06	WSVECS04 Frhs2[219]: 6 0 1.79051 shouldn't be
192.33/193.06	WSVECS04 Frhs2[220]: 6 0 5.64349 shouldn't be
192.33/193.06	WSVECS04 Frhs2[221]: 6 0 13.3494 shouldn't be
192.33/193.06	WSVECS04 Frhs2[222]: 6 0 29.6989 shouldn't be
192.33/193.06	WSVECS04 Frhs2[223]: 6 0 59.6477 shouldn't be
192.33/193.06	WSVECS04 Frhs2[224]: 6 0 121.358 shouldn't be
192.33/193.06	WSVECS04 Frhs2[225]: 6 0 244.778 shouldn't be
192.33/193.06	WSVECS04 Frhs2[226]: 6 0 491.618 shouldn't be
192.33/193.06	WSVECS04 Frhs2[227]: 6 0 985.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[228]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[229]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[230]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[231]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[232]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[246]: 6 0 60.3977 shouldn't be
192.33/193.06	WSVECS04 Frhs2[252]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[253]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[254]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[255]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[270]: 6 0 121.795 shouldn't be
192.33/193.06	WSVECS04 Frhs2[276]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[277]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[278]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[289]: 6 0 6.71334 shouldn't be
192.33/193.06	WSVECS04 Frhs2[290]: 6 0 13.6766 shouldn't be
192.33/193.06	WSVECS04 Frhs2[291]: 6 0 28.3239 shouldn't be
192.33/193.06	WSVECS04 Frhs2[292]: 6 0 59.1477 shouldn't be
192.33/193.06	WSVECS04 Frhs2[293]: 6 0 120.795 shouldn't be
192.33/193.06	WSVECS04 Frhs2[294]: 6 0 244.591 shouldn't be
192.33/193.06	WSVECS04 Frhs2[295]: 6 0 491.181 shouldn't be
192.33/193.06	WSVECS04 Frhs2[296]: 6 0 984.862 shouldn't be
192.33/193.06	WSVECS04 Frhs2[297]: 6 0 1972.22 shouldn't be
192.33/193.06	WSVECS04 Frhs2[298]: 6 0 3946.95 shouldn't be
192.33/193.06	WSVECS04 Frhs2[299]: 6 0 7896.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[300]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[301]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[318]: 6 0 490.181 shouldn't be
192.33/193.06	WSVECS04 Frhs2[324]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[337]: 6 0 29.8532 shouldn't be
192.33/193.06	WSVECS04 Frhs2[339]: 6 0 119.295 shouldn't be
192.33/193.06	WSVECS04 Frhs2[340]: 6 0 242.591 shouldn't be
192.33/193.06	WSVECS04 Frhs2[341]: 6 0 489.181 shouldn't be
192.33/193.06	WSVECS04 Frhs2[342]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[343]: 6 0 1970.72 shouldn't be
192.33/193.06	WSVECS04 Frhs2[344]: 6 0 3945.45 shouldn't be
192.33/193.06	WSVECS04 Frhs2[345]: 6 0 7894.9 shouldn't be
192.33/193.06	WSVECS04 Frhs2[346]: 6 0 15793.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[347]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[362]: 6 0 122.412 shouldn't be
192.33/193.06	WSVECS04 Frhs2[363]: 6 0 245.825 shouldn't be
192.33/193.06	WSVECS04 Frhs2[364]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[365]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[366]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[367]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[368]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[369]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[370]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[385]: 6 0 122.413 shouldn't be
192.33/193.06	WSVECS04 Frhs2[386]: 6 0 245.825 shouldn't be
192.33/193.06	WSVECS04 Frhs2[387]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[388]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[389]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[390]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[391]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[392]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[393]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[409]: 6 0 245.825 shouldn't be
192.33/193.06	WSVECS04 Frhs2[410]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[411]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[412]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[413]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[414]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[415]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[416]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[433]: 6 0 492.65 shouldn't be
192.33/193.06	WSVECS04 Frhs2[434]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[435]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[436]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[437]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[438]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[439]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[457]: 6 0 986.299 shouldn't be
192.33/193.06	WSVECS04 Frhs2[458]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[459]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[460]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[461]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[462]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[481]: 6 0 1973.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[482]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[483]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[484]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[485]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[503]: 6 0 8.28207e+09 shouldn't be
192.33/193.06	WSVECS04 Frhs2[505]: 6 0 3948.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[506]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[507]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[508]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[529]: 6 0 7897.4 shouldn't be
192.33/193.06	WSVECS04 Frhs2[530]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[531]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[553]: 6 0 15795.8 shouldn't be
192.33/193.06	WSVECS04 Frhs2[554]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[577]: 6 0 31592.6 shouldn't be
192.33/193.06	WSVECS04 Frhs2[705]: 6 0 2.51043 shouldn't be
192.33/193.06	WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1199]: 6 -1.00007 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1222]: 6 -1.00007 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1245]: 6 -66.2234 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1268]: 6 -8.76648 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1289]: 6 -0.744859 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1291]: 6 -1.00002 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1314]: 6 -1.00002 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1337]: 6 -1.00007 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1383]: 6 -1.00006 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1406]: 6 -1.00002 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1429]: 6 -1.00006 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1452]: 6 -1.00007 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1475]: 6 -1.0001 0 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1606]: 6 0 49.8631 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1630]: 6 0 50.9291 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1654]: 6 0 53.0611 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1727]: 6 0 2.00003 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1749]: 6 0 2.00002 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1752]: 6 0 2.00008 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1776]: 6 0 312.935 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1777]: 6 0 623.528 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1778]: 6 0 1244.71 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1779]: 6 0 2487.09 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1780]: 6 0 4971.83 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1781]: 6 0 9941.33 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1782]: 6 0 19880.3 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1783]: 6 0 39758.3 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1784]: 6 0 79514.2 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1785]: 6 0 159026 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1786]: 6 0 318050 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1787]: 6 0 636097 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1788]: 6 0 1.27219e+06 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1789]: 6 0 2.54438e+06 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1790]: 6 0 5.08876e+06 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1791]: 6 0 1.01775e+07 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1792]: 6 0 2.0355e+07 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1793]: 6 0 4.07101e+07 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1794]: 6 0 8.14202e+07 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1795]: 6 0 1.6284e+08 shouldn't be
192.33/193.06	WSVECS04 Frhs2[1797]: 6 0 6.51361e+08 shouldn't be
272.38/273.32	c #Conflicts:      62000 | #Constraints:       8793
272.38/273.32	c #Conflicts:      63000 | #Constraints:       9793
272.38/273.32	c #Conflicts:      64000 | #Constraints:      10794
272.38/273.32	c #Conflicts:      65000 | #Constraints:      11794
272.38/273.32	c #Conflicts:      66000 | #Constraints:      12794
272.38/273.32	c INPROCESSING
272.38/273.32	c GARBAGE COLLECT
272.38/273.32	c #Conflicts:      67000 | #Constraints:       8590
272.38/273.32	c #Conflicts:      68000 | #Constraints:       9591
272.38/273.32	c #Conflicts:      69000 | #Constraints:      10592
272.38/273.32	c #Conflicts:      70000 | #Constraints:      11592
272.38/273.32	c #Conflicts:      71000 | #Constraints:      12592
272.38/273.32	c #Conflicts:      72000 | #Constraints:      13594
272.38/273.32	c INPROCESSING
272.38/273.32	c GARBAGE COLLECT
272.38/273.32	c #Conflicts:      73000 | #Constraints:       9192
272.38/273.32	c #Conflicts:      74000 | #Constraints:      10193
272.38/273.32	c #Conflicts:      75000 | #Constraints:      11194
272.38/273.32	c #Conflicts:      76000 | #Constraints:      12194
272.38/273.32	c #Conflicts:      77000 | #Constraints:      13195
272.38/273.32	c #Conflicts:      78000 | #Constraints:      14195
272.38/273.32	c INPROCESSING
272.38/273.32	c GARBAGE COLLECT
272.38/273.32	WSVECS04 Frhs2[26]: 6 0 2.50002 shouldn't be
272.38/273.32	WSVECS04 Frhs2[35]: 6 0 2.50002 shouldn't be
272.38/273.32	WSVECS04 Frhs2[51]: 6 0 4.60511 shouldn't be
272.38/273.32	WSVECS04 Frhs2[56]: 6 -3.03633 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[60]: 6 -2.11009 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[61]: 6 -0.99551 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[70]: 6 0 2.06657 shouldn't be
272.38/273.32	WSVECS04 Frhs2[71]: 6 0 8.79882 shouldn't be
272.38/273.32	WSVECS04 Frhs2[72]: 6 0 13.8028 shouldn't be
272.38/273.32	WSVECS04 Frhs2[73]: 6 0 6.21939 shouldn't be
272.38/273.32	WSVECS04 Frhs2[82]: 6 0 2.50114 shouldn't be
272.38/273.32	WSVECS04 Frhs2[93]: 6 0 5.67892 shouldn't be
272.38/273.32	WSVECS04 Frhs2[94]: 6 0 2.97835 shouldn't be
272.38/273.32	WSVECS04 Frhs2[96]: 6 0 23.0006 shouldn't be
272.38/273.32	WSVECS04 Frhs2[120]: 6 0 37.3156 shouldn't be
272.38/273.32	WSVECS04 Frhs2[132]: 6 0 1.76312 shouldn't be
272.38/273.32	WSVECS04 Frhs2[144]: 6 0 78.1869 shouldn't be
272.38/273.32	WSVECS04 Frhs2[151]: 6 -0.998878 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[156]: 6 0 1.28521 shouldn't be
272.38/273.32	WSVECS04 Frhs2[168]: 6 0 147.688 shouldn't be
272.38/273.32	WSVECS04 Frhs2[192]: 6 0 293.352 shouldn't be
272.38/273.32	WSVECS04 Frhs2[198]: 6 -1.49775 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[200]: 6 -1.49102 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[204]: 6 -1.73129 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[216]: 6 0 589.179 shouldn't be
272.38/273.32	WSVECS04 Frhs2[240]: 6 0 1181.91 shouldn't be
272.38/273.32	WSVECS04 Frhs2[243]: 6 -0.998878 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[246]: 6 -2.24102 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[247]: 6 -0.482036 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[248]: 6 -1.83907 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[252]: 6 -0.925143 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[264]: 6 0 2355.14 shouldn't be
272.38/273.32	WSVECS04 Frhs2[270]: 6 -1.48204 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[271]: 6 -2.08907 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[272]: 6 -1.67814 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[288]: 6 0 4713.84 shouldn't be
272.38/273.32	WSVECS04 Frhs2[293]: 6 0 1.51797 shouldn't be
272.38/273.32	WSVECS04 Frhs2[312]: 6 0 9423.07 shouldn't be
272.38/273.32	WSVECS04 Frhs2[316]: 6 0 0.517965 shouldn't be
272.38/273.32	WSVECS04 Frhs2[336]: 6 0 18837.5 shouldn't be
272.38/273.32	WSVECS04 Frhs2[345]: 6 0 0.0247158 shouldn't be
272.38/273.32	WSVECS04 Frhs2[360]: 6 0 37674.4 shouldn't be
272.38/273.32	WSVECS04 Frhs2[361]: 6 -0.991018 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[362]: 6 -1.48204 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[363]: 6 -0.964072 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[366]: 6 -2.99382 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[367]: 6 -1.98764 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[368]: 6 -0.975285 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[384]: 6 0 75348.3 shouldn't be
272.38/273.32	WSVECS04 Frhs2[385]: 6 -2.48204 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[386]: 6 -0.964072 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[387]: 6 -0.928143 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[390]: 6 -1.44077 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[391]: 6 -1.97529 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[408]: 6 0 150696 shouldn't be
272.38/273.32	WSVECS04 Frhs2[416]: 6 0 2.09886 shouldn't be
272.38/273.32	WSVECS04 Frhs2[417]: 6 0 7.19772 shouldn't be
272.38/273.32	WSVECS04 Frhs2[432]: 6 0 301392 shouldn't be
272.38/273.32	WSVECS04 Frhs2[437]: 6 0 1.02472 shouldn't be
272.38/273.32	WSVECS04 Frhs2[438]: 6 0 0.236931 shouldn't be
272.38/273.32	WSVECS04 Frhs2[440]: 6 0 6.19772 shouldn't be
272.38/273.32	WSVECS04 Frhs2[457]: 6 -8.35629 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[458]: 6 -3.71257 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[459]: 6 -1.48764 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[460]: 6 0 0.024716 shouldn't be
272.38/273.32	WSVECS04 Frhs2[486]: 6 0 6.94772 shouldn't be
272.38/273.32	WSVECS04 Frhs2[488]: 6 0 30.7909 shouldn't be
272.38/273.32	WSVECS04 Frhs2[503]: 6 0 1.20556e+06 shouldn't be
272.38/273.32	WSVECS04 Frhs2[504]: 6 0 2.41113e+06 shouldn't be
272.38/273.32	WSVECS04 Frhs2[505]: 6 -3.48764 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[528]: 6 0 4.82225e+06 shouldn't be
272.38/273.32	WSVECS04 Frhs2[529]: 6 -2.47529 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[533]: 6 0 17.3954 shouldn't be
272.38/273.32	WSVECS04 Frhs2[552]: 6 0 9.64451e+06 shouldn't be
272.38/273.32	WSVECS04 Frhs2[557]: 6 0 35.7909 shouldn't be
272.38/273.32	WSVECS04 Frhs2[558]: 6 0 69.5818 shouldn't be
272.38/273.32	WSVECS04 Frhs2[575]: 6 0 9.64451e+06 shouldn't be
272.38/273.32	WSVECS04 Frhs2[580]: 6 0 35.7909 shouldn't be
272.38/273.32	WSVECS04 Frhs2[599]: 6 0 1.9289e+07 shouldn't be
272.38/273.32	WSVECS04 Frhs2[671]: 6 -0.420657 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[687]: 6 0 0.62051 shouldn't be
272.38/273.32	WSVECS04 Frhs2[701]: 6 0 5.87806 shouldn't be
272.38/273.32	WSVECS04 Frhs2[702]: 6 0 7.37806 shouldn't be
272.38/273.32	WSVECS04 Frhs2[704]: 6 -4.24102 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[712]: 6 0 5.87806 shouldn't be
272.38/273.32	WSVECS04 Frhs2[727]: 6 -6.43607 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[756]: 6 0 3 shouldn't be
272.38/273.32	WSVECS04 Frhs2[774]: 6 -2 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[814]: 6 -3.125 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[883]: 6 0 0.71875 shouldn't be
272.38/273.32	WSVECS04 Frhs2[956]: 6 0 3.125 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1000]: 6 0 3 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1003]: 6 0 2 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1016]: 6 0 2.9375 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1026]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1039]: 6 0 1.5 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1045]: 6 0 7.5 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1050]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1070]: 6 0 1 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1073]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1087]: 6 0 1 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1092]: 6 0 3 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1096]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1113]: 6 0 5 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1114]: 6 0 5 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1178]: 6 -3 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1183]: 6 -3.11227 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1186]: 6 -3.11234 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1190]: 6 -2.11234 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1194]: 6 -2.11234 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1199]: 6 0 1.12834 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1206]: 6 0 2.7964 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1207]: 6 0 0.576027 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1209]: 6 0 1.79647 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1233]: 6 0 2.50002 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1355]: 6 -4.375 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1392]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1405]: 6 -2 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1421]: 6 -4 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1440]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1451]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1474]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1507]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1530]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1542]: 6 -2.09375 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1553]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1565]: 6 -2.90625 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1569]: 6 0 1 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1571]: 6 -2.25 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1576]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1578]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1594]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1599]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1601]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1606]: 6 0 0.49898 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1617]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1619]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1620]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1622]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1624]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1630]: 6 0 0.446844 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1634]: 6 -0.5 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1644]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1645]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1647]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1654]: 6 0 0.404927 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1663]: 6 -0.500001 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1668]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1670]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1678]: 6 0 0.321093 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1693]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1752]: 6 0 4.87806 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1753]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1759]: 6 -1 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1764]: 6 -0.999997 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1765]: 6 -3.11233 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1766]: 6 -0.999986 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1767]: 6 -0.99997 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1768]: 6 -0.99994 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1769]: 6 -0.999878 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1770]: 6 -0.999756 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1771]: 6 -0.999512 0 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1783]: 6 0 1 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1785]: 6 0 7 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1787]: 6 0 31 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1788]: 6 0 63 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1789]: 6 0 127 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1790]: 6 0 255 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1791]: 6 0 511 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1792]: 6 0 1023 shouldn't be
272.38/273.32	WSVECS04 Frhs2[1793]: 6 0 2047 shouldn't be
816.30/818.82	c #Conflicts:      79000 | #Constraints:       9593
816.30/818.82	c #Conflicts:      80000 | #Constraints:      10593
816.30/818.82	c #Conflicts:      81000 | #Constraints:      11593
816.30/818.82	c #Conflicts:      82000 | #Constraints:      12593
816.30/818.82	c #Conflicts:      83000 | #Constraints:      13593
816.30/818.82	c #Conflicts:      84000 | #Constraints:      14593
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:      85000 | #Constraints:       9793
816.30/818.82	c #Conflicts:      86000 | #Constraints:      10793
816.30/818.82	c #Conflicts:      87000 | #Constraints:      11793
816.30/818.82	c #Conflicts:      88000 | #Constraints:      12793
816.30/818.82	c #Conflicts:      89000 | #Constraints:      13793
816.30/818.82	c #Conflicts:      90000 | #Constraints:      14793
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:      91000 | #Constraints:       9794
816.30/818.82	c #Conflicts:      92000 | #Constraints:      10794
816.30/818.82	c #Conflicts:      93000 | #Constraints:      11794
816.30/818.82	c #Conflicts:      94000 | #Constraints:      12794
816.30/818.82	c #Conflicts:      95000 | #Constraints:      13794
816.30/818.82	c #Conflicts:      96000 | #Constraints:      14794
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:      97000 | #Constraints:       9597
816.30/818.82	c #Conflicts:      98000 | #Constraints:      10597
816.30/818.82	c #Conflicts:      99000 | #Constraints:      11597
816.30/818.82	c #Conflicts:     100000 | #Constraints:      12597
816.30/818.82	c #Conflicts:     101000 | #Constraints:      13597
816.30/818.82	c #Conflicts:     102000 | #Constraints:      14597
816.30/818.82	c #Conflicts:     103000 | #Constraints:      15597
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     104000 | #Constraints:      10192
816.30/818.82	c #Conflicts:     105000 | #Constraints:      11192
816.30/818.82	c #Conflicts:     106000 | #Constraints:      12192
816.30/818.82	c #Conflicts:     107000 | #Constraints:      13192
816.30/818.82	c #Conflicts:     108000 | #Constraints:      14192
816.30/818.82	c #Conflicts:     109000 | #Constraints:      15192
816.30/818.82	c #Conflicts:     110000 | #Constraints:      16192
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     111000 | #Constraints:      10594
816.30/818.82	c #Conflicts:     112000 | #Constraints:      11594
816.30/818.82	c #Conflicts:     113000 | #Constraints:      12594
816.30/818.82	c #Conflicts:     114000 | #Constraints:      13594
816.30/818.82	c #Conflicts:     115000 | #Constraints:      14594
816.30/818.82	c #Conflicts:     116000 | #Constraints:      15594
816.30/818.82	c #Conflicts:     117000 | #Constraints:      16594
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     118000 | #Constraints:      10794
816.30/818.82	c #Conflicts:     119000 | #Constraints:      11794
816.30/818.82	c #Conflicts:     120000 | #Constraints:      12794
816.30/818.82	c #Conflicts:     121000 | #Constraints:      13794
816.30/818.82	c #Conflicts:     122000 | #Constraints:      14794
816.30/818.82	c #Conflicts:     123000 | #Constraints:      15794
816.30/818.82	c #Conflicts:     124000 | #Constraints:      16794
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     125000 | #Constraints:      10794
816.30/818.82	c #Conflicts:     126000 | #Constraints:      11794
816.30/818.82	c #Conflicts:     127000 | #Constraints:      12795
816.30/818.82	c #Conflicts:     128000 | #Constraints:      13795
816.30/818.82	c #Conflicts:     129000 | #Constraints:      14795
816.30/818.82	c #Conflicts:     130000 | #Constraints:      15795
816.30/818.82	c #Conflicts:     131000 | #Constraints:      16795
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     132000 | #Constraints:      10593
816.30/818.82	c #Conflicts:     133000 | #Constraints:      11593
816.30/818.82	c #Conflicts:     134000 | #Constraints:      12593
816.30/818.82	c #Conflicts:     135000 | #Constraints:      13593
816.30/818.82	c #Conflicts:     136000 | #Constraints:      14593
816.30/818.82	c #Conflicts:     137000 | #Constraints:      15593
816.30/818.82	c #Conflicts:     138000 | #Constraints:      16593
816.30/818.82	c #Conflicts:     139000 | #Constraints:      17593
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     140000 | #Constraints:      11199
816.30/818.82	c #Conflicts:     141000 | #Constraints:      12199
816.30/818.82	c #Conflicts:     142000 | #Constraints:      13199
816.30/818.82	c #Conflicts:     143000 | #Constraints:      14199
816.30/818.82	c #Conflicts:     144000 | #Constraints:      15199
816.30/818.82	c #Conflicts:     145000 | #Constraints:      16199
816.30/818.82	c #Conflicts:     146000 | #Constraints:      17199
816.30/818.82	c #Conflicts:     147000 | #Constraints:      18199
816.30/818.82	c INPROCESSING
816.30/818.82	c GARBAGE COLLECT
816.30/818.82	c #Conflicts:     148000 | #Constraints:      11608
816.30/818.82	c #Conflicts:     149000 | #Constraints:      12608
816.30/818.82	c #Conflicts:     150000 | #Constraints:      13608
816.30/818.82	c #Conflicts:     151000 | #Constraints:      14608
1541.88/1546.48	c #Conflicts:     152000 | #Constraints:      15608
1541.88/1546.48	c #Conflicts:     153000 | #Constraints:      16608
1541.88/1546.48	c #Conflicts:     154000 | #Constraints:      17608
1541.88/1546.48	c #Conflicts:     155000 | #Constraints:      18608
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     156000 | #Constraints:      11805
1541.88/1546.48	c #Conflicts:     157000 | #Constraints:      12806
1541.88/1546.48	c #Conflicts:     158000 | #Constraints:      13806
1541.88/1546.48	c #Conflicts:     159000 | #Constraints:      14807
1541.88/1546.48	c #Conflicts:     160000 | #Constraints:      15807
1541.88/1546.48	c #Conflicts:     161000 | #Constraints:      16807
1541.88/1546.48	c #Conflicts:     162000 | #Constraints:      17807
1541.88/1546.48	c #Conflicts:     163000 | #Constraints:      18807
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     164000 | #Constraints:      11802
1541.88/1546.48	c #Conflicts:     165000 | #Constraints:      12802
1541.88/1546.48	c #Conflicts:     166000 | #Constraints:      13802
1541.88/1546.48	c #Conflicts:     167000 | #Constraints:      14802
1541.88/1546.48	c #Conflicts:     168000 | #Constraints:      15802
1541.88/1546.48	c #Conflicts:     169000 | #Constraints:      16802
1541.88/1546.48	c #Conflicts:     170000 | #Constraints:      17802
1541.88/1546.48	c #Conflicts:     171000 | #Constraints:      18803
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     172000 | #Constraints:      11597
1541.88/1546.48	c #Conflicts:     173000 | #Constraints:      12597
1541.88/1546.48	c #Conflicts:     174000 | #Constraints:      13597
1541.88/1546.48	c #Conflicts:     175000 | #Constraints:      14597
1541.88/1546.48	c #Conflicts:     176000 | #Constraints:      15597
1541.88/1546.48	c #Conflicts:     177000 | #Constraints:      16597
1541.88/1546.48	c #Conflicts:     178000 | #Constraints:      17597
1541.88/1546.48	c #Conflicts:     179000 | #Constraints:      18597
1541.88/1546.48	c #Conflicts:     180000 | #Constraints:      19597
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     181000 | #Constraints:      12200
1541.88/1546.48	c #Conflicts:     182000 | #Constraints:      13200
1541.88/1546.48	c #Conflicts:     183000 | #Constraints:      14200
1541.88/1546.48	c #Conflicts:     184000 | #Constraints:      15200
1541.88/1546.48	c #Conflicts:     185000 | #Constraints:      16200
1541.88/1546.48	c #Conflicts:     186000 | #Constraints:      17200
1541.88/1546.48	c #Conflicts:     187000 | #Constraints:      18200
1541.88/1546.48	c #Conflicts:     188000 | #Constraints:      19200
1541.88/1546.48	c #Conflicts:     189000 | #Constraints:      20200
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     190000 | #Constraints:      12600
1541.88/1546.48	c #Conflicts:     191000 | #Constraints:      13600
1541.88/1546.48	c #Conflicts:     192000 | #Constraints:      14600
1541.88/1546.48	c #Conflicts:     193000 | #Constraints:      15600
1541.88/1546.48	c #Conflicts:     194000 | #Constraints:      16600
1541.88/1546.48	c #Conflicts:     195000 | #Constraints:      17600
1541.88/1546.48	c #Conflicts:     196000 | #Constraints:      18600
1541.88/1546.48	c #Conflicts:     197000 | #Constraints:      19600
1541.88/1546.48	c #Conflicts:     198000 | #Constraints:      20600
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     199000 | #Constraints:      12802
1541.88/1546.48	c #Conflicts:     200000 | #Constraints:      13802
1541.88/1546.48	c #Conflicts:     201000 | #Constraints:      14802
1541.88/1546.48	c #Conflicts:     202000 | #Constraints:      15802
1541.88/1546.48	c #Conflicts:     203000 | #Constraints:      16802
1541.88/1546.48	c #Conflicts:     204000 | #Constraints:      17802
1541.88/1546.48	c #Conflicts:     205000 | #Constraints:      18802
1541.88/1546.48	c #Conflicts:     206000 | #Constraints:      19802
1541.88/1546.48	c #Conflicts:     207000 | #Constraints:      20802
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     208000 | #Constraints:      12806
1541.88/1546.48	c #Conflicts:     209000 | #Constraints:      13806
1541.88/1546.48	c #Conflicts:     210000 | #Constraints:      14806
1541.88/1546.48	c #Conflicts:     211000 | #Constraints:      15806
1541.88/1546.48	c #Conflicts:     212000 | #Constraints:      16806
1541.88/1546.48	c #Conflicts:     213000 | #Constraints:      17806
1541.88/1546.48	c #Conflicts:     214000 | #Constraints:      18806
1541.88/1546.48	c #Conflicts:     215000 | #Constraints:      19806
1541.88/1546.48	c #Conflicts:     216000 | #Constraints:      20806
1541.88/1546.48	c INPROCESSING
1541.88/1546.48	c GARBAGE COLLECT
1541.88/1546.48	c #Conflicts:     217000 | #Constraints:      12607
1541.88/1546.48	c #Conflicts:     218000 | #Constraints:      13607
1541.88/1546.48	c #Conflicts:     219000 | #Constraints:      14607
1541.88/1546.48	c #Conflicts:     220000 | #Constraints:      15607
1541.88/1546.48	c #Conflicts:     221000 | #Constraints:      16608
1541.88/1546.48	c #Conflicts:     222000 | #Constraints:      17608
1541.88/1546.48	c #Conflicts:     223000 | #Constraints:      18609
1541.88/1546.48	c #Conflicts:     224000 | #Constraints:      19610
1541.88/1546.48	c #Conflicts:     225000 | #Constraints:      20610
1559.82/1564.48	c #Conflicts:     226000 | #Constraints:      21611
1559.82/1564.48	c INPROCESSING
1559.82/1564.48	c GARBAGE COLLECT
1559.82/1564.48	c rational objective 4.72978
2039.18/2045.12	c #Conflicts:     227000 | #Constraints:      13210
2039.18/2045.12	c #Conflicts:     228000 | #Constraints:      14210
2039.18/2045.12	c #Conflicts:     229000 | #Constraints:      15210
2039.18/2045.12	c #Conflicts:     230000 | #Constraints:      16210
2039.18/2045.12	c #Conflicts:     231000 | #Constraints:      17210
2039.18/2045.12	c #Conflicts:     232000 | #Constraints:      18210
2039.18/2045.12	c #Conflicts:     233000 | #Constraints:      19210
2039.18/2045.12	c #Conflicts:     234000 | #Constraints:      20210
2039.18/2045.12	c #Conflicts:     235000 | #Constraints:      21210
2039.18/2045.12	c #Conflicts:     236000 | #Constraints:      22210
2039.18/2045.12	c INPROCESSING
2039.18/2045.12	c GARBAGE COLLECT
2039.18/2045.12	c #Conflicts:     237000 | #Constraints:      13603
2039.18/2045.12	c #Conflicts:     238000 | #Constraints:      14603
2039.18/2045.12	c #Conflicts:     239000 | #Constraints:      15603
2039.18/2045.12	c #Conflicts:     240000 | #Constraints:      16603
2039.18/2045.12	c #Conflicts:     241000 | #Constraints:      17603
2039.18/2045.12	c #Conflicts:     242000 | #Constraints:      18603
2039.18/2045.12	c #Conflicts:     243000 | #Constraints:      19603
2039.18/2045.12	c #Conflicts:     244000 | #Constraints:      20603
2039.18/2045.12	c #Conflicts:     245000 | #Constraints:      21603
2039.18/2045.12	c #Conflicts:     246000 | #Constraints:      22603
2039.18/2045.12	c INPROCESSING
2039.18/2045.12	c GARBAGE COLLECT
2039.18/2045.12	c #Conflicts:     247000 | #Constraints:      13799
2039.18/2045.12	c #Conflicts:     248000 | #Constraints:      14799
2039.18/2045.12	c #Conflicts:     249000 | #Constraints:      15799
2039.18/2045.12	c #Conflicts:     250000 | #Constraints:      16800
2039.18/2045.12	c #Conflicts:     251000 | #Constraints:      17801
2039.18/2045.12	c #Conflicts:     252000 | #Constraints:      18802
2039.18/2045.12	c #Conflicts:     253000 | #Constraints:      19802
2039.18/2045.12	c #Conflicts:     254000 | #Constraints:      20802
2039.18/2045.12	c #Conflicts:     255000 | #Constraints:      21802
2039.18/2045.12	c #Conflicts:     256000 | #Constraints:      22802
2039.18/2045.12	c INPROCESSING
2039.18/2045.12	c GARBAGE COLLECT
2039.18/2045.12	c #Conflicts:     257000 | #Constraints:      13798
2039.18/2045.12	c #Conflicts:     258000 | #Constraints:      14798
2039.18/2045.12	c #Conflicts:     259000 | #Constraints:      15798
2039.18/2045.12	c #Conflicts:     260000 | #Constraints:      16798
2039.18/2045.12	c #Conflicts:     261000 | #Constraints:      17798
2039.18/2045.12	c #Conflicts:     262000 | #Constraints:      18798
2039.18/2045.12	c #Conflicts:     263000 | #Constraints:      19798
2039.18/2045.12	c #Conflicts:     264000 | #Constraints:      20798
2039.18/2045.12	c #Conflicts:     265000 | #Constraints:      21798
2039.18/2045.12	c #Conflicts:     266000 | #Constraints:      22798
2039.18/2045.12	c INPROCESSING
2039.18/2045.12	c GARBAGE COLLECT
2039.18/2045.12	c #Conflicts:     267000 | #Constraints:      13599
2039.18/2045.12	c #Conflicts:     268000 | #Constraints:      14599
2039.18/2045.12	c #Conflicts:     269000 | #Constraints:      15599
2039.18/2045.12	c #Conflicts:     270000 | #Constraints:      16599
2039.18/2045.12	c #Conflicts:     271000 | #Constraints:      17600
2039.18/2045.12	c #Conflicts:     272000 | #Constraints:      18600
2039.18/2045.12	c #Conflicts:     273000 | #Constraints:      19600
2039.18/2045.12	c #Conflicts:     274000 | #Constraints:      20600
2039.18/2045.12	c #Conflicts:     275000 | #Constraints:      21600
2039.18/2045.12	c #Conflicts:     276000 | #Constraints:      22600
2039.18/2045.12	c #Conflicts:     277000 | #Constraints:      23600
2039.18/2045.12	c INPROCESSING
2039.18/2045.12	c GARBAGE COLLECT
2039.18/2045.12	WSVECS04 Frhs2[10]: 6 -44.8787 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[11]: 6 -44.8787 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[13]: 6 -14.8864 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[14]: 6 -14.8864 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[19]: 6 -17.7531 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[26]: 6 -186.211 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[27]: 6 -132.285 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[28]: 6 -101.133 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[32]: 6 -113.855 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[35]: 6 -93.5281 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[37]: 6 -93.197 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[41]: 6 -70.1279 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[42]: 6 -68.6259 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[43]: 6 -68.6259 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[59]: 6 0 0.125194 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[71]: 6 0 506.01 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[139]: 6 0 254.646 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[146]: 6 -6.7825 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[147]: 6 -10.565 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[152]: 6 -1.24961 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[179]: 6 0 3.00619 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[194]: 6 -1.48435 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[200]: 6 -0.498452 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[225]: 6 0 2.25717 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[227]: 6 0 14.0287 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[241]: 6 -0.968702 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[242]: 6 -2.00379 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[243]: 6 -1.97634 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[244]: 6 -1.92143 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[249]: 6 0 5.51434 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[265]: 6 -0.937404 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[266]: 6 -2.00759 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[267]: 6 -1.95268 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[268]: 6 -1.84285 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[271]: 6 0 2.25717 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[273]: 6 0 12.0287 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[289]: 6 -0.874807 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[290]: 6 -2.01518 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[291]: 6 -1.90535 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[292]: 6 -1.68571 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[297]: 6 0 29.5574 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[313]: 6 -0.749613 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[314]: 6 -2.03035 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[315]: 6 -1.81071 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[316]: 6 -1.37142 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[317]: 6 0 0.257171 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[318]: 6 0 2.51434 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[319]: 6 0 10.0287 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[322]: 6 0 127.198 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[337]: 6 -0.499226 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[338]: 6 -2.06071 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[340]: 6 -0.74283 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[341]: 6 0 1.51434 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[362]: 6 -2.12141 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[363]: 6 -1.24283 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[365]: 6 0 8.02868 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[385]: 6 0 1.0031 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[394]: 6 0 1024.59 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[409]: 6 0 3.00619 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[410]: 6 0 7.01239 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[433]: 6 0 7.01239 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[434]: 6 0 15.0248 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[435]: 6 0 31.0496 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[457]: 6 0 15.0248 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[458]: 6 0 30.0496 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[503]: 6 0 1.34426e+08 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[505]: 6 0 63.0991 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[506]: 6 0 124.792 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[527]: 6 0 2.68851e+08 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[626]: 6 0 26.3522 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[627]: 6 0 23.9324 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[628]: 6 0 3.73258 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[630]: 6 0 15.076 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[633]: 6 0 53.116 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[636]: 6 0 15.076 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[637]: 6 0 53.9067 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[638]: 6 0 17.4643 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[641]: 6 0 59.0733 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[642]: 6 0 21.9289 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[643]: 6 0 3.73257 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[644]: 6 0 12.3364 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[646]: 6 0 3.73255 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[651]: 6 0 47.9871 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[652]: 6 0 37.9283 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[653]: 6 0 37.9283 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[655]: 6 0 61.787 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[656]: 6 0 34.6507 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[660]: 6 0 38.5082 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[661]: 6 0 22.9165 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[662]: 6 0 47.9871 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[666]: 6 0 30.325 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[667]: 6 0 37.0702 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[668]: 6 0 31.5254 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[689]: 6 0 16.1661 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[738]: 6 0 7.51525 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[739]: 6 0 17.4652 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[817]: 6 0 2.5 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[831]: 6 0 4.97622 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[839]: 6 0 3.5 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[863]: 6 0 2.96875 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[885]: 6 0 4.96875 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[930]: 6 -1.5 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[947]: 6 0 9.49805 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[991]: 6 0 8.46022 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1016]: 6 0 1 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1024]: 6 0 1 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1044]: 6 0 4 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1053]: 6 0 3.4375 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1066]: 6 0 6 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1068]: 6 0 5 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1071]: 6 0 3.77734 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1075]: 6 0 5.4375 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1088]: 6 0 8 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1097]: 6 0 7.4375 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1102]: 6 -3 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1109]: 6 0 7.5 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1110]: 6 0 10 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1118]: 6 0 7.21875 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1119]: 6 0 9.4375 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1129]: 6 0 18.1435 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1518]: 6 -1 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1541]: 6 -1 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1564]: 6 -1 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1584]: 6 -1 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1587]: 6 -1 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1630]: 6 -0.0325633 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1654]: 6 0 1.02503 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1658]: 6 -2.8125 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1664]: 6 -1 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1667]: 6 -2.77734 0 shouldn't be
2039.18/2045.12	WSVECS04 Frhs2[1673]: 6 -1.75 0 shouldn't be
2602.29/2609.94	c #Conflicts:     278000 | #Constraints:      14197
2602.29/2609.94	c #Conflicts:     279000 | #Constraints:      15197
2602.29/2609.94	c #Conflicts:     280000 | #Constraints:      16197
2602.29/2609.94	c #Conflicts:     281000 | #Constraints:      17197
2602.29/2609.94	c #Conflicts:     282000 | #Constraints:      18197
2602.29/2609.94	c #Conflicts:     283000 | #Constraints:      19197
2602.29/2609.94	c #Conflicts:     284000 | #Constraints:      20197
2602.29/2609.94	c #Conflicts:     285000 | #Constraints:      21197
2602.29/2609.94	c #Conflicts:     286000 | #Constraints:      22197
2602.29/2609.94	c #Conflicts:     287000 | #Constraints:      23197
2602.29/2609.94	c #Conflicts:     288000 | #Constraints:      24197
2602.29/2609.94	c INPROCESSING
2602.29/2609.94	c GARBAGE COLLECT
2602.29/2609.94	c #Conflicts:     289000 | #Constraints:      14597
2602.29/2609.94	c #Conflicts:     290000 | #Constraints:      15597
2602.29/2609.94	c #Conflicts:     291000 | #Constraints:      16597
2602.29/2609.94	c #Conflicts:     292000 | #Constraints:      17597
2602.29/2609.94	c #Conflicts:     293000 | #Constraints:      18597
2602.29/2609.94	c #Conflicts:     294000 | #Constraints:      19597
2602.29/2609.94	c #Conflicts:     295000 | #Constraints:      20597
2602.29/2609.94	c #Conflicts:     296000 | #Constraints:      21597
2602.29/2609.94	c #Conflicts:     297000 | #Constraints:      22597
2602.29/2609.94	c #Conflicts:     298000 | #Constraints:      23597
2602.29/2609.94	c #Conflicts:     299000 | #Constraints:      24597
2602.29/2609.94	c INPROCESSING
2602.29/2609.94	c GARBAGE COLLECT
2602.29/2609.94	c #Conflicts:     300000 | #Constraints:      14797
2602.29/2609.94	c #Conflicts:     301000 | #Constraints:      15797
2602.29/2609.94	c #Conflicts:     302000 | #Constraints:      16797
2602.29/2609.94	c #Conflicts:     303000 | #Constraints:      17797
2602.29/2609.94	c #Conflicts:     304000 | #Constraints:      18797
2602.29/2609.94	c #Conflicts:     305000 | #Constraints:      19797
2602.29/2609.94	c #Conflicts:     306000 | #Constraints:      20797
2602.29/2609.94	c #Conflicts:     307000 | #Constraints:      21797
2602.29/2609.94	c #Conflicts:     308000 | #Constraints:      22797
2602.29/2609.94	c #Conflicts:     309000 | #Constraints:      23797
2602.29/2609.94	c #Conflicts:     310000 | #Constraints:      24797
2602.29/2609.94	c INPROCESSING
2602.29/2609.94	c GARBAGE COLLECT
2602.29/2609.94	c #Conflicts:     311000 | #Constraints:      14800
2602.29/2609.94	c #Conflicts:     312000 | #Constraints:      15800
2602.29/2609.94	c #Conflicts:     313000 | #Constraints:      16800
2602.29/2609.94	c #Conflicts:     314000 | #Constraints:      17800
2602.29/2609.94	c #Conflicts:     315000 | #Constraints:      18801
2602.29/2609.94	c #Conflicts:     316000 | #Constraints:      19801
2602.29/2609.94	c #Conflicts:     317000 | #Constraints:      20801
2602.29/2609.94	c #Conflicts:     318000 | #Constraints:      21801
2602.29/2609.94	c #Conflicts:     319000 | #Constraints:      22802
2602.29/2609.94	c #Conflicts:     320000 | #Constraints:      23802
2602.29/2609.94	c #Conflicts:     321000 | #Constraints:      24802
2602.29/2609.94	c INPROCESSING
2602.29/2609.94	c GARBAGE COLLECT
2602.29/2609.94	WSVECS04 Frhs2[16]: 6 0 0.63317 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[17]: 6 0 0.633139 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[18]: 6 0 0.633137 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[19]: 6 0 0.638742 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[20]: 6 0 0.631027 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[21]: 6 0 0.633117 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[22]: 6 0 0.682766 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[30]: 6 -0.813143 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[44]: 6 0 0.0619271 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[45]: 6 0 0.0619343 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[47]: 6 0 2.30508 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[48]: 6 0 2.3763 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[52]: 6 -1.96337 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[55]: 6 -2.0804 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[57]: 6 -2.08605 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[121]: 6 -1.00006 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[125]: 6 -1.75007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[145]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[148]: 6 -1.75004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[151]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[153]: 6 -0.999967 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[160]: 6 0 1.20314 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[161]: 6 -0.343774 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[163]: 6 0 4.62509 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[168]: 6 0 3.35883 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[174]: 6 0 0.500122 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[179]: 6 0 0.251028 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[185]: 6 0 1.31253 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[186]: 6 0 3.62502 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[191]: 6 0 4.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[203]: 6 0 0.502009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[208]: 6 0 0.312584 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[209]: 6 0 2.62509 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[213]: 6 0 2.00004 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[221]: 6 -1.50004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[232]: 6 0 1.62502 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[236]: 6 0 1.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[237]: 6 0 3.00006 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[240]: 6 0 29.3313 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[242]: 6 -1.00006 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[244]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[245]: 6 -0.999952 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[247]: 6 -0.999606 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[248]: 6 -2.74909 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[249]: 6 -1.49808 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[255]: 6 0 0.625082 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[257]: 6 -1.50007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[259]: 6 0 1.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[260]: 6 0 3.00008 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[261]: 6 0 7.00003 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[264]: 6 0 62.9206 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[280]: 6 0 0.250018 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[282]: 6 0 1.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[283]: 6 0 3.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[284]: 6 0 7.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[285]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[288]: 6 0 125.331 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[302]: 6 0 1.25003 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[306]: 6 0 3.00008 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[307]: 6 0 7.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[308]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[309]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[311]: 6 0 128.562 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[325]: 6 0 0.250092 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[328]: 6 0 1.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[329]: 6 0 3.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[330]: 6 0 7.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[331]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[332]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[333]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[352]: 6 0 3.00001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[353]: 6 0 7.00005 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[354]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[355]: 6 0 31.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[356]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[357]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[374]: 6 0 1.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[375]: 6 0 3.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[376]: 6 0 7.00005 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[377]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[378]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[379]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[380]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[381]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[397]: 6 0 1.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[398]: 6 0 3.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[399]: 6 0 7.00003 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[400]: 6 0 15.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[401]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[402]: 6 0 63.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[403]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[404]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[405]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[408]: 6 0 4094.92 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[420]: 6 0 1.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[421]: 6 0 3.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[422]: 6 0 7.00005 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[423]: 6 0 15.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[424]: 6 0 31.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[425]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[426]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[427]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[428]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[429]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[432]: 6 0 8190.91 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[443]: 6 0 1.00004 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[444]: 6 0 3.00008 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[445]: 6 0 7.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[446]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[447]: 6 0 31.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[448]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[449]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[450]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[451]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[452]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[453]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[455]: 6 0 8192.55 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[456]: 6 0 16382.9 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[466]: 6 0 1.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[467]: 6 0 3.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[468]: 6 0 7.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[469]: 6 0 15.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[470]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[471]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[472]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[473]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[474]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[475]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[476]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[477]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[479]: 6 0 16384.5 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[489]: 6 0 1.00001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[490]: 6 0 3.00003 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[491]: 6 0 7.00006 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[492]: 6 0 15.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[493]: 6 0 31.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[494]: 6 0 63.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[495]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[496]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[497]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[498]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[499]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[500]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[501]: 6 0 8191 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[502]: 6 0 16384.5 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[504]: 6 0 65535.1 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[512]: 6 0 1.00003 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[513]: 6 0 3.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[514]: 6 0 7.00005 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[515]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[516]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[517]: 6 0 63.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[518]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[519]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[520]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[521]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[522]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[523]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[524]: 6 0 8191 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[525]: 6 0 16383 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[528]: 6 0 131071 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[535]: 6 0 1.00006 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[536]: 6 0 3.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[537]: 6 0 7.00005 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[538]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[539]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[540]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[541]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[542]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[543]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[544]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[545]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[546]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[547]: 6 0 8191 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[548]: 6 0 16383 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[552]: 6 0 262143 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[558]: 6 0 1.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[559]: 6 0 3.00007 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[560]: 6 0 7.00004 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[561]: 6 0 15.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[562]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[563]: 6 0 63.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[564]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[565]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[566]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[567]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[568]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[569]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[570]: 6 0 8191 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[571]: 6 0 16383 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[581]: 6 0 1.00008 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[582]: 6 0 3.00008 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[583]: 6 0 7.00003 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[584]: 6 0 15 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[585]: 6 0 31 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[586]: 6 0 63 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[587]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[588]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[589]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[590]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[591]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[592]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[593]: 6 0 8191 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[594]: 6 0 16383 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[601]: 6 -0.750082 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[610]: 6 0 127 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[611]: 6 0 255 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[612]: 6 0 511 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[613]: 6 0 1023 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[614]: 6 0 2047 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[615]: 6 0 4095 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[616]: 6 0 8191 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[634]: 6 0 2.99989 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[638]: 6 0 1.00004 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[648]: 6 -0.91596 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[651]: 6 -1.79095 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[662]: 6 0 1.69827 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[665]: 6 0 4.90629 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[709]: 6 -2.34377 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[710]: 6 0 2.25006 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[712]: 6 0 0.871308 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[726]: 6 0 0.250033 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[747]: 6 -1.87506 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[758]: 6 0 1.00008 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[865]: 6 0 7.00006 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[916]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[939]: 6 -1.00001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[956]: 6 0 5.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[962]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[985]: 6 -1.00001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[997]: 6 0 0.500074 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1000]: 6 0 9.00002 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1043]: 6 0 7.00009 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1044]: 6 0 13.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1309]: 6 -0.0469342 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1331]: 6 -3.60159 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1349]: 6 -0.50002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1384]: 6 -2.37506 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1408]: 6 -2.75007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1430]: 6 -3.62502 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1439]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1456]: 6 -2.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1480]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1502]: 6 -2.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1503]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1504]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1525]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1526]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1527]: 6 -1.00001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1528]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1531]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1548]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1549]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1550]: 6 -1.0001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1551]: 6 -1.00006 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1552]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1554]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1571]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1572]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1573]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1574]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1575]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1576]: 6 -1.00001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1577]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1584]: 6 -1.0001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1594]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1595]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1596]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1597]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1598]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1599]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1607]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1617]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1618]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1619]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1620]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1621]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1622]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1640]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1641]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1642]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1643]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1644]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1645]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1664]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1665]: 6 -1.00001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1666]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1667]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1668]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1676]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1678]: 6 0 0.633193 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1686]: 6 -1.00007 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1687]: 6 -1.0001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1688]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1689]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1690]: 6 -1.00001 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1691]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1699]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1709]: 6 -1.00005 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1713]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1714]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1722]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1732]: 6 -1.00002 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1735]: 6 -1.00009 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1736]: 6 -1.00008 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1745]: 6 -1.00003 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1760]: 6 -1.00004 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1764]: 6 -0.999905 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1765]: 6 -0.999685 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1766]: 6 -0.999306 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1767]: 6 -0.998593 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1768]: 6 -0.997116 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1771]: 6 -0.97666 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1773]: 6 -0.906268 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1776]: 6 -0.250028 0 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1781]: 6 0 23.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1782]: 6 0 47.0001 shouldn't be
2602.29/2609.94	WSVECS04 Frhs2[1800]: 6 0 1.25829e+07 shouldn't be
3600.05/3610.90	c #Conflicts:     322000 | #Constraints:      14599
3600.05/3610.90	c #Conflicts:     323000 | #Constraints:      15599
3600.05/3610.90	c #Conflicts:     324000 | #Constraints:      16599
3600.05/3610.90	c #Conflicts:     325000 | #Constraints:      17599
3600.05/3610.90	c #Conflicts:     326000 | #Constraints:      18599
3600.05/3610.90	c #Conflicts:     327000 | #Constraints:      19599
3600.05/3610.90	c #Conflicts:     328000 | #Constraints:      20599
3600.05/3610.90	c #Conflicts:     329000 | #Constraints:      21599
3600.05/3610.90	c #Conflicts:     330000 | #Constraints:      22599
3600.05/3610.90	c #Conflicts:     331000 | #Constraints:      23599
3600.05/3610.90	c #Conflicts:     332000 | #Constraints:      24599
3600.05/3610.90	c #Conflicts:     333000 | #Constraints:      25599
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c GARBAGE COLLECT
3600.05/3610.90	c #Conflicts:     334000 | #Constraints:      15199
3600.05/3610.90	c #Conflicts:     335000 | #Constraints:      16199
3600.05/3610.90	c #Conflicts:     336000 | #Constraints:      17199
3600.05/3610.90	c #Conflicts:     337000 | #Constraints:      18199
3600.05/3610.90	c #Conflicts:     338000 | #Constraints:      19199
3600.05/3610.90	c #Conflicts:     339000 | #Constraints:      20199
3600.05/3610.90	c #Conflicts:     340000 | #Constraints:      21199
3600.05/3610.90	c #Conflicts:     341000 | #Constraints:      22199
3600.05/3610.90	c #Conflicts:     342000 | #Constraints:      23199
3600.05/3610.90	c #Conflicts:     343000 | #Constraints:      24200
3600.05/3610.90	c #Conflicts:     344000 | #Constraints:      25201
3600.05/3610.90	c #Conflicts:     345000 | #Constraints:      26201
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c GARBAGE COLLECT
3600.05/3610.90	c #Conflicts:     346000 | #Constraints:      15601
3600.05/3610.90	c #Conflicts:     347000 | #Constraints:      16601
3600.05/3610.90	c #Conflicts:     348000 | #Constraints:      17601
3600.05/3610.90	c #Conflicts:     349000 | #Constraints:      18601
3600.05/3610.90	c #Conflicts:     350000 | #Constraints:      19601
3600.05/3610.90	c #Conflicts:     351000 | #Constraints:      20601
3600.05/3610.90	c #Conflicts:     352000 | #Constraints:      21601
3600.05/3610.90	c #Conflicts:     353000 | #Constraints:      22601
3600.05/3610.90	c #Conflicts:     354000 | #Constraints:      23601
3600.05/3610.90	c #Conflicts:     355000 | #Constraints:      24601
3600.05/3610.90	c #Conflicts:     356000 | #Constraints:      25601
3600.05/3610.90	c #Conflicts:     357000 | #Constraints:      26601
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c GARBAGE COLLECT
3600.05/3610.90	c #Conflicts:     358000 | #Constraints:      15801
3600.05/3610.90	c #Conflicts:     359000 | #Constraints:      16801
3600.05/3610.90	c #Conflicts:     360000 | #Constraints:      17801
3600.05/3610.90	c #Conflicts:     361000 | #Constraints:      18801
3600.05/3610.90	c #Conflicts:     362000 | #Constraints:      19801
3600.05/3610.90	c #Conflicts:     363000 | #Constraints:      20801
3600.05/3610.90	c #Conflicts:     364000 | #Constraints:      21801
3600.05/3610.90	c #Conflicts:     365000 | #Constraints:      22801
3600.05/3610.90	c #Conflicts:     366000 | #Constraints:      23801
3600.05/3610.90	c #Conflicts:     367000 | #Constraints:      24801
3600.05/3610.90	c #Conflicts:     368000 | #Constraints:      25801
3600.05/3610.90	c #Conflicts:     369000 | #Constraints:      26801
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c GARBAGE COLLECT
3600.05/3610.90	c #Conflicts:     370000 | #Constraints:      15803
3600.05/3610.90	c #Conflicts:     371000 | #Constraints:      16803
3600.05/3610.90	c #Conflicts:     372000 | #Constraints:      17803
3600.05/3610.90	c #Conflicts:     373000 | #Constraints:      18803
3600.05/3610.90	c #Conflicts:     374000 | #Constraints:      19803
3600.05/3610.90	c #Conflicts:     375000 | #Constraints:      20803
3600.05/3610.90	c #Conflicts:     376000 | #Constraints:      21803
3600.05/3610.90	c #Conflicts:     377000 | #Constraints:      22803
3600.05/3610.90	c #Conflicts:     378000 | #Constraints:      23803
3600.05/3610.90	c #Conflicts:     379000 | #Constraints:      24803
3600.05/3610.90	c #Conflicts:     380000 | #Constraints:      25803
3600.05/3610.90	c #Conflicts:     381000 | #Constraints:      26803
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c GARBAGE COLLECT
3600.05/3610.90	c #Conflicts:     382000 | #Constraints:      15599
3600.05/3610.90	c #Conflicts:     383000 | #Constraints:      16599
3600.05/3610.90	c #Conflicts:     384000 | #Constraints:      17599
3600.05/3610.90	c #Conflicts:     385000 | #Constraints:      18599
3600.05/3610.90	c #Conflicts:     386000 | #Constraints:      19599
3600.05/3610.90	c #Conflicts:     387000 | #Constraints:      20599
3600.05/3610.90	c #Conflicts:     388000 | #Constraints:      21599
3600.05/3610.90	c #Conflicts:     389000 | #Constraints:      22599
3600.05/3610.90	c cpu time 3597.07 s
3600.05/3610.90	c deterministic time 584899134344 5.85e+11
3600.05/3610.90	c optimization time 100.249 s
3600.05/3610.90	c total solve time 3496.81 s
3600.05/3610.90	c core-guided solve time 0 s
3600.05/3610.90	c propagation time 2810.02 s
3600.05/3610.90	c conflict analysis time 740.118 s
3600.05/3610.90	c propagations 127381006
3600.05/3610.90	c resolve steps 99858611
3600.05/3610.90	c decisions 494747
3600.05/3610.90	c conflicts 389641
3600.05/3610.90	c restarts 941
3600.05/3610.90	c inprocessing phases 53
3600.05/3610.90	c garbage collections 53 ,( 100.00 )
3600.05/3610.90	c input clauses 1872 ,( 62.84 )
3600.05/3610.90	c input cardinalities 0 ,( 0.00 )
3600.05/3610.90	c input general constraints 1107 ,( 37.16 )
3600.05/3610.90	c input average constraint length 3.74
3600.05/3610.90	c input average constraint degree 283459179786.07
3600.05/3610.90	c learned clauses 21811 ,( 5.60 )
3600.05/3610.90	c learned cardinalities 2 ,( 0.00 )
3600.05/3610.90	c learned general constraints 367879 ,( 94.40 )
3600.05/3610.90	c learned average constraint length 547.95
3600.05/3610.90	c learned average constraint degree 843995623.73
3600.05/3610.90	c watched  CF 32, 64, 128, Arb: 1526 , 0 , 0 , 0
3600.05/3610.90	c counting CF 32, 64, 128, Arb: 367457 , 3 , 0 , 0
3600.05/3610.90	c watched   constraints 1526 ,( 0.41 ) 
3600.05/3610.90	c counting  constraints 367460 ,( 99.59 ) 
3600.05/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 52314589 , 47877 , 58475232484 ,( 7166392 , 58468066092 )
3600.05/3610.90	c gcd simplifications 2336
3600.05/3610.90	c detected cardinalities 1
3600.05/3610.90	c weakened non-implied lits 22491180
3600.05/3610.90	c weakened non-implying lits 732246
3600.05/3610.90	c original variables 1848
3600.05/3610.90	c clausal propagations 18589548
3600.05/3610.90	c cardinality propagations 1
3600.05/3610.90	c watched propagations 66533
3600.05/3610.90	c counting propagations 108343928
3600.05/3610.90	c watch lookups 59445090181
3600.05/3610.90	c watch backjump lookups 0
3600.05/3610.90	c watch checks 204543204
3600.05/3610.90	c propagation checks 523500561097
3600.05/3610.90	c constraint additions 1492729196
3600.05/3610.90	c trail pops 128263546
3600.05/3610.90	c formula constraints 2979
3600.05/3610.90	c learned constraints 389640
3600.05/3610.90	c bound constraints 0
3600.05/3610.90	c core-guided constraints 0
3600.05/3610.90	c encountered formula constraints 98919649
3600.05/3610.90	c encountered learned constraints 1290257
3600.05/3610.90	c encountered bound constraints 0
3600.05/3610.90	c encountered core-guided constraints 0
3600.05/3610.90	c LP total time 6.90164 s
3600.05/3610.90	c LP solve time 5.62 s
3600.05/3610.90	c LP constraints added 2986
3600.05/3610.90	c LP constraints removed 0
3600.05/3610.90	c LP pivots internal 39320
3600.05/3610.90	c LP pivots root 32046
3600.05/3610.90	c LP calls 159
3600.05/3610.90	c LP optimalities 32
3600.05/3610.90	c LP no pivot count 1
3600.05/3610.90	c LP infeasibilities 80
3600.05/3610.90	c LP valid Farkas constraints 46
3600.05/3610.90	c LP learned Farkas constraints 0
3600.05/3610.90	c LP basis resets 44
3600.05/3610.90	c LP cycling count 6
3600.05/3610.90	c LP singular count 21
3600.05/3610.90	c LP no primal count 0
3600.05/3610.90	c LP no farkas count 0
3600.05/3610.90	c LP other issue count 17
3600.05/3610.90	c LP Gomory cuts 6
3600.05/3610.90	c LP learned cuts 1
3600.05/3610.90	c LP deleted cuts 0
3600.05/3610.90	c LP encountered Gomory constraints 1
3600.05/3610.90	c LP encountered Farkas constraints 38345
3600.05/3610.90	c LP encountered learned Farkas constraints 0
3600.05/3610.90	c CG auxiliary variables introduced 0
3600.05/3610.90	c CG solutions found 0
3600.05/3610.90	c CG cores constructed 0
3600.05/3610.90	c CG core cardinality constraints returned 0
3600.05/3610.90	c CG unit cores 0
3600.05/3610.90	c CG single cores 0
3600.05/3610.90	c CG blocks removed during cardinality reduction 0
3600.05/3610.90	c CG first core best 0
3600.05/3610.90	c CG decision core best 0
3600.05/3610.90	c CG core reduction tie 0
3600.05/3610.90	c CG core degree average 0.00
3600.05/3610.90	c CG core slack average 0.00
3600.05/3610.90	c CG core upper bound improvements 0
3600.05/3610.90	c STR number of successful calls 0
3600.05/3610.90	c STR number of unsuccessful calls 0
3600.05/3610.90	c STR number of inconclusive calls 0
3600.05/3610.90	c STR number of successful attempts 0
3600.05/3610.90	c STR number of unsuccessful attempts 0
3600.05/3610.90	c STR number of inconclusive attempts 0
3600.05/3610.90	c STR average degree increase per successful call inf
3600.05/3610.90	c STR average degree increase per successful attempt inf
3600.05/3610.90	c STR total number of conflicts for successful attempts 0
3600.05/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.90	c STR average number of conflicts per successful attempt inf
3600.05/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.90	c AVG.sumWPerc 99.00 
3600.05/3610.90	c bigint constraints 3 
3600.05/3610.90	s UNKNOWN
3600.05/3610.90	c Program interrupted by user.

ERROR: no interpretation found !

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 (62108 MiB free)
  memory of node 1: 64465 MiB (62381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541958-1753206207/watcher-4541958-1753206207 -o /tmp/evaluation-result-4541958-1753206207/solver-4541958-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157109 --watchdog 3760 run-dec-ls.sh HOME/instance-4541958-1753206207.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=157927, runsolver pid=157924

[startup+0.100059 s]*
/proc/loadavg: 4.09 4.11 4.09 5/270 157929
/proc/meminfo: memFree=127473492/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=61044 memory=15096 CPUtime=0.08 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 2213 0 0 0 8 0 0 0 20 0 1 0 236295275 62509056 3774 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 15261 3774 2304 1147 0 2688 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65236 KiB
Current children cumulated memory: 18040 KiB

[startup+0.205533 s]*
/proc/loadavg: 4.09 4.11 4.09 5/270 157929
/proc/meminfo: memFree=127473492/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=61044 memory=15096 CPUtime=0.18 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 2213 0 0 0 18 0 0 0 20 0 1 0 236295275 62509056 3774 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 15261 3774 2304 1147 0 2688 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65236 KiB
Current children cumulated memory: 18040 KiB

[startup+0.304895 s]*
/proc/loadavg: 4.09 4.11 4.09 5/270 157929
/proc/meminfo: memFree=127472988/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=62136 memory=15736 CPUtime=0.28 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 2379 0 0 0 28 0 0 0 20 0 1 0 236295275 63627264 3934 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 15534 3934 2304 1147 0 2961 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 66328 KiB
Current children cumulated memory: 18680 KiB

[startup+0.700148 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 157929
/proc/meminfo: memFree=127465176/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=65312 memory=20728 CPUtime=0.68 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 3579 0 0 0 67 1 0 0 20 0 1 0 236295275 66879488 5182 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 16328 5182 2368 1147 0 3755 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69504 KiB
Current children cumulated memory: 23672 KiB

[startup+1.50016 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 157929
/proc/meminfo: memFree=127456356/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=69360 memory=27560 CPUtime=1.47 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 4776 0 0 0 146 1 0 0 20 0 1 0 236295275 71024640 6890 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 17340 6890 2368 1147 0 4767 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 73552 KiB
Current children cumulated memory: 30504 KiB

[startup+3.10543 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 157929
/proc/meminfo: memFree=127418596/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=80344 memory=36392 CPUtime=3.08 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 6991 0 0 0 306 2 0 0 20 0 1 0 236295275 82272256 9098 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 20086 9098 2368 1147 0 7513 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84536 KiB
Current children cumulated memory: 39336 KiB

[startup+6.30018 s]
/proc/loadavg: 4.09 4.10 4.09 5/270 157929
/proc/meminfo: memFree=127395308/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=94092 memory=49048 CPUtime=6.26 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 9645 0 0 0 623 3 0 0 20 0 1 0 236295275 96350208 12262 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 23523 12262 2368 1147 0 10950 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 98284 KiB
Current children cumulated memory: 51992 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 157929
/proc/meminfo: memFree=127342072/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=126252 memory=80432 CPUtime=12.65 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 15945 0 0 0 1258 7 0 0 20 0 1 0 236295275 129282048 20108 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 31563 20108 2368 1147 0 18990 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 130444 KiB
Current children cumulated memory: 83376 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 157929
/proc/meminfo: memFree=127250600/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=164944 memory=101296 CPUtime=25.41 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 21158 0 0 0 2529 12 0 0 20 0 1 0 236295275 168902656 25324 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 41236 25324 2368 1147 0 28663 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 169136 KiB
Current children cumulated memory: 104240 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 157929
/proc/meminfo: memFree=127127136/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=175780 memory=118928 CPUtime=50.92 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 23928 0 0 0 5074 18 0 0 20 0 1 0 236295275 179998720 29732 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 43945 29732 2496 1147 0 31372 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 179972 KiB
Current children cumulated memory: 121872 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 157932
/proc/meminfo: memFree=126884492/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=201488 memory=142728 CPUtime=101.94 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 29355 0 0 0 10164 30 0 0 20 0 1 0 236295275 206323712 35682 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 50372 35682 2496 1147 0 37799 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 205680 KiB
Current children cumulated memory: 145672 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 157935
/proc/meminfo: memFree=126768284/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=230964 memory=160388 CPUtime=161.73 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 32771 0 0 0 16131 42 0 0 20 0 1 0 236295275 236507136 40097 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 57741 40097 2496 1147 0 45168 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 235156 KiB
Current children cumulated memory: 163332 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 157937
/proc/meminfo: memFree=126627648/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=235196 memory=173176 CPUtime=221.53 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 34924 0 0 0 22100 53 0 0 20 0 1 0 236295275 240840704 43294 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 58799 43294 2496 1147 0 46226 0
Current children cumulated CPU time: 221.53 s

################
# More data... #
################

/proc/157929/statm: 129182 104994 2496 1147 0 116609 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 520920 KiB
Current children cumulated memory: 422920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/268 158094
/proc/meminfo: memFree=124798448/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=518008 memory=420616 CPUtime=3152.88 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 70640 0 0 0 315024 264 0 0 20 0 1 0 236295275 530440192 105154 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 129502 105154 2496 1147 0 116929 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 522200 KiB
Current children cumulated memory: 423560 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/268 158097
/proc/meminfo: memFree=124770072/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=520148 memory=424380 CPUtime=3212.69 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71055 0 0 0 321000 269 0 0 20 0 1 0 236295275 532631552 106095 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 130037 106095 2496 1147 0 117464 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 524340 KiB
Current children cumulated memory: 427324 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/269 158100
/proc/meminfo: memFree=124745992/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=520148 memory=424380 CPUtime=3272.5 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71055 0 0 0 326976 274 0 0 20 0 1 0 236295275 532631552 106095 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 130037 106095 2496 1147 0 117464 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 524340 KiB
Current children cumulated memory: 427324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 158103
/proc/meminfo: memFree=124733696/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=520824 memory=424636 CPUtime=3332.3 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71133 0 0 0 332952 278 0 0 20 0 1 0 236295275 533323776 106159 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 130206 106159 2496 1147 0 117633 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 525016 KiB
Current children cumulated memory: 427580 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 158105
/proc/meminfo: memFree=124689548/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=521684 memory=425404 CPUtime=3392.11 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71322 0 0 0 338928 283 0 0 20 0 1 0 236295275 534204416 106351 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 130421 106351 2496 1147 0 117848 0
Current children cumulated CPU time: 3392.11 s
Current children cumulated vsize: 525876 KiB
Current children cumulated memory: 428348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 158107
/proc/meminfo: memFree=124621816/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=521684 memory=425532 CPUtime=3451.92 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71333 0 0 0 344905 287 0 0 20 0 1 0 236295275 534204416 106383 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 130421 106383 2496 1147 0 117848 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 525876 KiB
Current children cumulated memory: 428476 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/268 158109
/proc/meminfo: memFree=124604176/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=523828 memory=427452 CPUtime=3511.73 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71838 0 0 0 350881 292 0 0 20 0 1 0 236295275 536399872 106863 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 130957 106863 2496 1147 0 118384 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 528020 KiB
Current children cumulated memory: 430396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 158111
/proc/meminfo: memFree=124557316/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=524432 memory=428092 CPUtime=3571.54 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71989 0 0 0 356857 297 0 0 20 0 1 0 236295275 537018368 107023 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 131108 107023 2496 1147 0 118535 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 528624 KiB
Current children cumulated memory: 431036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.14 4.12 4.09 3/253 158143
/proc/meminfo: memFree=127037388/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=524432 memory=428092 CPUtime=3600.05 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71989 0 0 0 359706 299 0 0 20 0 1 0 236295275 537018368 107023 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 131108 107023 2496 1147 0 118535 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 528624 KiB
Current children cumulated memory: 431036 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.9 s]
# the end of solver process 157927 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.002053 s
Sleeping 2 seconds

[startup+3610.91 s]
# the end of solver process 157929 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3597.07 s, system=3.00676 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+3610.9 s]
/proc/loadavg: 4.14 4.12 4.09 3/253 158143
/proc/meminfo: memFree=127037388/131249992 swapFree=33009392/33010684
[pid=157927] ppid=157924 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/157927/stat : 157927 (run-dec-ls.sh) S 157924 157927 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 236295275 4292608 736 18446744073709551615 93852607541248 93852608435781 140731028383568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93852608674832 93852608722576 93852615409664 140731028388197 140731028388323 140731028388323 140731028393927 0
/proc/157927/statm: 1048 736 672 219 0 110 0
[pid=157929] ppid=157927 vsize=524432 memory=428092 CPUtime=3600.05 cores=5,7
/proc/157929/stat : 157929 (roundingsat) R 157927 157927 157089 0 -1 4194304 71989 0 0 0 359706 299 0 0 20 0 1 0 236295275 537018368 107023 18446744073709551615 4227072 8923433 140737249087168 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 19898368 140737249094046 140737249094182 140737249094182 140737249099754 0
/proc/157929/statm: 131108 107023 2496 1147 0 118535 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 528624 KiB
Current children cumulated memory: 431036 KiB

Child status: 2

Real time (s): 3610.91
CPU time (s): 3600.08
CPU user time (s): 3597.07
CPU system time (s): 3.00676
CPU usage (%): 99.6999
Max. virtual memory (cumulated for all children) (KiB): 528624
Max. memory (cumulated for all children) (KiB): 431036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.07
system time used= 3.00676
maximum resident set size= 428220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72212
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 20208


# summary of solver processes directly reported to runsolver:
#   pid: 157927,157929
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3597.07
#   total CPU system time (s): 3.00676

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.02184 second user time and 16.9135 second system time

The end

Begin job on nodeC035 at 2025-07-22 19:43:27
IDJOB=4541958
IDBENCH=163695
IDSOLVER=3353
FILE ID=nodeC035/4541958-1753206207
RUNJOBID= nodeC035-1753198973-157109
SLURM_JOB_ID= 9687768
Free space on /tmp= 432444 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-24diag_spec_greater.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541958-1753206207/watcher-4541958-1753206207 -o /tmp/evaluation-result-4541958-1753206207/solver-4541958-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753198973-157109 --watchdog 3760  run-dec-ls.sh HOME/instance-4541958-1753206207.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 873561b121a1050aedee7e68f97b01fd
RANDOM SEED=2091113130

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.774
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.772
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.119
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.51
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		: 3600.640
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.768
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.51
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		: 3581.096
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.51
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		: 3598.832
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.51
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.749
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127477692 kB
MemAvailable:   129671492 kB
Buffers:             664 kB
Cached:          2945156 kB
SwapCached:          336 kB
Active:           986808 kB
Inactive:        2074896 kB
Active(anon):     122884 kB
Inactive(anon):    18908 kB
Active(file):     863924 kB
Inactive(file):  2055988 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29328 kB
Writeback:             0 kB
AnonPages:        118764 kB
Mapped:           122316 kB
Shmem:             25904 kB
KReclaimable:     226252 kB
Slab:             321940 kB
SReclaimable:     226252 kB
SUnreclaim:        95688 kB
KernelStack:        4324 kB
PageTables:         3264 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     480020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432436 MiB
End job on nodeC035 at 2025-07-22 20:43:38