0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.03	c #variables 1562 #constraints 2511
0.00/0.03	c rational objective 1.13687e-13
1.56/1.65	c #Conflicts:       1000 | #Constraints:       3511
1.56/1.65	c #Conflicts:       2000 | #Constraints:       4511
1.56/1.65	c INPROCESSING
1.56/1.65	c GARBAGE COLLECT
1.56/1.65	c rational objective 4.01454
28.01/28.18	c #Conflicts:       3000 | #Constraints:       4517
28.01/28.18	c #Conflicts:       4000 | #Constraints:       5517
28.01/28.18	c INPROCESSING
28.01/28.18	c GARBAGE COLLECT
28.01/28.18	c #Conflicts:       5000 | #Constraints:       4921
28.01/28.18	c #Conflicts:       6000 | #Constraints:       5921
28.01/28.18	c INPROCESSING
28.01/28.18	c GARBAGE COLLECT
28.01/28.18	c #Conflicts:       7000 | #Constraints:       4919
28.01/28.18	c #Conflicts:       8000 | #Constraints:       5919
28.01/28.18	c #Conflicts:       9000 | #Constraints:       6919
28.01/28.18	c INPROCESSING
28.01/28.18	c GARBAGE COLLECT
28.01/28.18	c #Conflicts:      10000 | #Constraints:       5619
28.01/28.18	c #Conflicts:      11000 | #Constraints:       6619
28.01/28.18	c #Conflicts:      12000 | #Constraints:       7619
28.01/28.18	c INPROCESSING
28.01/28.18	c GARBAGE COLLECT
28.01/28.18	c #Conflicts:      13000 | #Constraints:       6069
28.01/28.18	c #Conflicts:      14000 | #Constraints:       7069
28.01/28.18	c #Conflicts:      15000 | #Constraints:       8069
28.01/28.18	c INPROCESSING
28.01/28.18	c GARBAGE COLLECT
28.01/28.18	c #Conflicts:      16000 | #Constraints:       6295
28.01/28.18	c #Conflicts:      17000 | #Constraints:       7295
28.01/28.18	c #Conflicts:      18000 | #Constraints:       8295
28.01/28.18	c INPROCESSING
28.01/28.18	c GARBAGE COLLECT
28.01/28.18	c rational objective 4.16602
282.89/283.66	c #Conflicts:      19000 | #Constraints:       6310
282.89/283.66	c #Conflicts:      20000 | #Constraints:       7310
282.89/283.66	c #Conflicts:      21000 | #Constraints:       8310
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      22000 | #Constraints:       6116
282.89/283.66	c #Conflicts:      23000 | #Constraints:       7116
282.89/283.66	c #Conflicts:      24000 | #Constraints:       8116
282.89/283.66	c #Conflicts:      25000 | #Constraints:       9116
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      26000 | #Constraints:       6723
282.89/283.66	c #Conflicts:      27000 | #Constraints:       7723
282.89/283.66	c #Conflicts:      28000 | #Constraints:       8723
282.89/283.66	c #Conflicts:      29000 | #Constraints:       9723
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      30000 | #Constraints:       7123
282.89/283.66	c #Conflicts:      31000 | #Constraints:       8123
282.89/283.66	c #Conflicts:      32000 | #Constraints:       9124
282.89/283.66	c #Conflicts:      33000 | #Constraints:      10124
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      34000 | #Constraints:       7325
282.89/283.66	c #Conflicts:      35000 | #Constraints:       8325
282.89/283.66	c #Conflicts:      36000 | #Constraints:       9325
282.89/283.66	c #Conflicts:      37000 | #Constraints:      10325
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      38000 | #Constraints:       7326
282.89/283.66	c #Conflicts:      39000 | #Constraints:       8326
282.89/283.66	c #Conflicts:      40000 | #Constraints:       9326
282.89/283.66	c #Conflicts:      41000 | #Constraints:      10326
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      42000 | #Constraints:       7130
282.89/283.66	c #Conflicts:      43000 | #Constraints:       8130
282.89/283.66	c #Conflicts:      44000 | #Constraints:       9130
282.89/283.66	c #Conflicts:      45000 | #Constraints:      10130
282.89/283.66	c #Conflicts:      46000 | #Constraints:      11130
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      47000 | #Constraints:       7726
282.89/283.66	c #Conflicts:      48000 | #Constraints:       8726
282.89/283.66	c #Conflicts:      49000 | #Constraints:       9726
282.89/283.66	c #Conflicts:      50000 | #Constraints:      10726
282.89/283.66	c #Conflicts:      51000 | #Constraints:      11726
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      52000 | #Constraints:       8133
282.89/283.66	c #Conflicts:      53000 | #Constraints:       9133
282.89/283.66	c #Conflicts:      54000 | #Constraints:      10133
282.89/283.66	c #Conflicts:      55000 | #Constraints:      11133
282.89/283.66	c #Conflicts:      56000 | #Constraints:      12133
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      57000 | #Constraints:       8334
282.89/283.66	c #Conflicts:      58000 | #Constraints:       9334
282.89/283.66	c #Conflicts:      59000 | #Constraints:      10334
282.89/283.66	c #Conflicts:      60000 | #Constraints:      11334
282.89/283.66	c #Conflicts:      61000 | #Constraints:      12334
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      62000 | #Constraints:       8333
282.89/283.66	c #Conflicts:      63000 | #Constraints:       9333
282.89/283.66	c #Conflicts:      64000 | #Constraints:      10333
282.89/283.66	c #Conflicts:      65000 | #Constraints:      11333
282.89/283.66	c #Conflicts:      66000 | #Constraints:      12333
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c #Conflicts:      67000 | #Constraints:       8133
282.89/283.66	c #Conflicts:      68000 | #Constraints:       9134
282.89/283.66	c #Conflicts:      69000 | #Constraints:      10134
282.89/283.66	c #Conflicts:      70000 | #Constraints:      11134
282.89/283.66	c #Conflicts:      71000 | #Constraints:      12134
282.89/283.66	c #Conflicts:      72000 | #Constraints:      13134
282.89/283.66	c INPROCESSING
282.89/283.66	c GARBAGE COLLECT
282.89/283.66	c rational objective 4.44234
344.32/345.29	c #Conflicts:      73000 | #Constraints:       8731
344.32/345.29	c #Conflicts:      74000 | #Constraints:       9731
344.32/345.29	c #Conflicts:      75000 | #Constraints:      10731
344.32/345.29	c #Conflicts:      76000 | #Constraints:      11733
344.32/345.29	c #Conflicts:      77000 | #Constraints:      12733
344.32/345.29	c #Conflicts:      78000 | #Constraints:      13735
344.32/345.29	c INPROCESSING
344.32/345.29	c GARBAGE COLLECT
344.32/345.29	c #Conflicts:      79000 | #Constraints:       9129
344.32/345.29	c #Conflicts:      80000 | #Constraints:      10130
344.32/345.29	c #Conflicts:      81000 | #Constraints:      11130
344.32/345.29	c #Conflicts:      82000 | #Constraints:      12130
344.32/345.29	c #Conflicts:      83000 | #Constraints:      13132
344.32/345.29	c #Conflicts:      84000 | #Constraints:      14132
344.32/345.29	c INPROCESSING
344.32/345.29	c GARBAGE COLLECT
344.32/345.29	c #Conflicts:      85000 | #Constraints:       9330
344.32/345.29	c #Conflicts:      86000 | #Constraints:      10330
344.32/345.29	c #Conflicts:      87000 | #Constraints:      11331
344.32/345.29	c #Conflicts:      88000 | #Constraints:      12331
344.32/345.29	c #Conflicts:      89000 | #Constraints:      13332
344.32/345.29	c #Conflicts:      90000 | #Constraints:      14332
344.32/345.29	c INPROCESSING
344.32/345.29	c GARBAGE COLLECT
344.32/345.29	c rational objective 4.52534
365.36/366.31	c #Conflicts:      91000 | #Constraints:       9329
365.36/366.31	c #Conflicts:      92000 | #Constraints:      10329
365.36/366.31	c #Conflicts:      93000 | #Constraints:      11329
365.36/366.31	c #Conflicts:      94000 | #Constraints:      12329
365.36/366.31	c #Conflicts:      95000 | #Constraints:      13329
365.36/366.31	c #Conflicts:      96000 | #Constraints:      14329
365.36/366.31	c INPROCESSING
365.36/366.31	c GARBAGE COLLECT
365.36/366.31	c rational objective 4.56413
414.74/415.85	c #Conflicts:      97000 | #Constraints:       9126
414.74/415.85	c #Conflicts:      98000 | #Constraints:      10127
414.74/415.85	c #Conflicts:      99000 | #Constraints:      11127
414.74/415.85	c #Conflicts:     100000 | #Constraints:      12128
414.74/415.85	c #Conflicts:     101000 | #Constraints:      13128
414.74/415.85	c #Conflicts:     102000 | #Constraints:      14128
414.74/415.85	c #Conflicts:     103000 | #Constraints:      15128
414.74/415.85	c INPROCESSING
414.74/415.85	c GARBAGE COLLECT
414.74/415.85	c #Conflicts:     104000 | #Constraints:       9726
414.74/415.85	c #Conflicts:     105000 | #Constraints:      10726
414.74/415.85	c #Conflicts:     106000 | #Constraints:      11726
414.74/415.85	c #Conflicts:     107000 | #Constraints:      12726
414.74/415.85	c #Conflicts:     108000 | #Constraints:      13727
414.74/415.85	c #Conflicts:     109000 | #Constraints:      14731
414.74/415.85	c #Conflicts:     110000 | #Constraints:      15731
414.74/415.85	c INPROCESSING
414.74/415.85	c GARBAGE COLLECT
414.74/415.85	c rational objective 4.84009
442.67/443.81	c #Conflicts:     111000 | #Constraints:      10131
442.67/443.81	c #Conflicts:     112000 | #Constraints:      11131
442.67/443.81	c #Conflicts:     113000 | #Constraints:      12131
442.67/443.81	c #Conflicts:     114000 | #Constraints:      13131
442.67/443.81	c #Conflicts:     115000 | #Constraints:      14131
442.67/443.81	c #Conflicts:     116000 | #Constraints:      15131
442.67/443.81	c #Conflicts:     117000 | #Constraints:      16131
442.67/443.81	c INPROCESSING
442.67/443.81	c GARBAGE COLLECT
442.67/443.81	c rational objective 4.91093
471.30/472.52	c #Conflicts:     118000 | #Constraints:      10332
471.30/472.52	c #Conflicts:     119000 | #Constraints:      11332
471.30/472.52	c #Conflicts:     120000 | #Constraints:      12333
471.30/472.52	c #Conflicts:     121000 | #Constraints:      13333
471.30/472.52	c #Conflicts:     122000 | #Constraints:      14334
471.30/472.52	c #Conflicts:     123000 | #Constraints:      15334
471.30/472.52	c #Conflicts:     124000 | #Constraints:      16334
471.30/472.52	c INPROCESSING
471.30/472.52	c GARBAGE COLLECT
471.30/472.52	WSVECS04 Frhs2[1]: 6 0 39.8355 shouldn't be
471.30/472.52	WSVECS04 Frhs2[2]: 6 0 46.0964 shouldn't be
471.30/472.52	WSVECS04 Frhs2[4]: 6 0 41.3079 shouldn't be
471.30/472.52	WSVECS04 Frhs2[17]: 6 0 39.3709 shouldn't be
471.30/472.52	WSVECS04 Frhs2[18]: 6 0 39.8355 shouldn't be
471.30/472.52	WSVECS04 Frhs2[20]: 6 0 22.7814 shouldn't be
471.30/472.52	WSVECS04 Frhs2[23]: 6 0 41.3078 shouldn't be
471.30/472.52	WSVECS04 Frhs2[28]: 6 0 40.2536 shouldn't be
471.30/472.52	WSVECS04 Frhs2[31]: 6 0 42.9147 shouldn't be
471.30/472.52	WSVECS04 Frhs2[32]: 6 0 42.0605 shouldn't be
471.30/472.52	WSVECS04 Frhs2[33]: 6 0 40.2536 shouldn't be
471.30/472.52	WSVECS04 Frhs2[35]: 6 0 12.1734 shouldn't be
471.30/472.52	WSVECS04 Frhs2[36]: 6 0 15.3182 shouldn't be
471.30/472.52	WSVECS04 Frhs2[37]: 6 0 16.8761 shouldn't be
471.30/472.52	WSVECS04 Frhs2[38]: 6 0 21.2006 shouldn't be
471.30/472.52	WSVECS04 Frhs2[45]: 6 -26.4853 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[46]: 6 -26.4899 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[47]: 6 0 0.307545 shouldn't be
471.30/472.52	WSVECS04 Frhs2[69]: 6 0 11.7449 shouldn't be
471.30/472.52	WSVECS04 Frhs2[71]: 6 0 13.1449 shouldn't be
471.30/472.52	WSVECS04 Frhs2[72]: 6 0 9.90369 shouldn't be
471.30/472.52	WSVECS04 Frhs2[75]: 6 0 14.7722 shouldn't be
471.30/472.52	WSVECS04 Frhs2[76]: 6 0 7.81056 shouldn't be
471.30/472.52	WSVECS04 Frhs2[89]: 6 0 35.471 shouldn't be
471.30/472.52	WSVECS04 Frhs2[91]: 6 0 34.9353 shouldn't be
471.30/472.52	WSVECS04 Frhs2[92]: 6 0 27.1772 shouldn't be
471.30/472.52	WSVECS04 Frhs2[94]: 6 0 23.9687 shouldn't be
471.30/472.52	WSVECS04 Frhs2[95]: 6 0 25.0252 shouldn't be
471.30/472.52	WSVECS04 Frhs2[96]: 6 0 24.9795 shouldn't be
471.30/472.52	WSVECS04 Frhs2[97]: 6 0 22.0288 shouldn't be
471.30/472.52	WSVECS04 Frhs2[98]: 6 0 22.3231 shouldn't be
471.30/472.52	WSVECS04 Frhs2[99]: 6 0 8.56933 shouldn't be
471.30/472.52	WSVECS04 Frhs2[111]: 6 0 29.8929 shouldn't be
471.30/472.52	WSVECS04 Frhs2[133]: 6 -1.07334 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[134]: 6 -1.6466 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[137]: 6 -2.9195 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[177]: 6 -1.29305 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[178]: 6 -1.58615 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[181]: 6 -6.43862 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[199]: 6 -1.58613 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[200]: 6 -2.9222 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[201]: 6 0 14.5762 shouldn't be
471.30/472.52	WSVECS04 Frhs2[203]: 6 -10.8772 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[221]: 6 -2.17224 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[225]: 6 -19.7544 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[576]: 6 0 11.0341 shouldn't be
471.30/472.52	WSVECS04 Frhs2[579]: 6 0 8.39878 shouldn't be
471.30/472.52	WSVECS04 Frhs2[585]: 6 0 4.76863 shouldn't be
471.30/472.52	WSVECS04 Frhs2[589]: 6 0 1.34857 shouldn't be
471.30/472.52	WSVECS04 Frhs2[592]: 6 0 49.0601 shouldn't be
471.30/472.52	WSVECS04 Frhs2[596]: 6 0 10.6218 shouldn't be
471.30/472.52	WSVECS04 Frhs2[598]: 6 0 29.1412 shouldn't be
471.30/472.52	WSVECS04 Frhs2[608]: 6 0 39.0891 shouldn't be
471.30/472.52	WSVECS04 Frhs2[614]: 6 0 5.51665 shouldn't be
471.30/472.52	WSVECS04 Frhs2[638]: 6 0 2.55146 shouldn't be
471.30/472.52	WSVECS04 Frhs2[642]: 6 0 1.00006 shouldn't be
471.30/472.52	WSVECS04 Frhs2[648]: 6 0 1.16586 shouldn't be
471.30/472.52	WSVECS04 Frhs2[659]: 6 0 3.18987 shouldn't be
471.30/472.52	WSVECS04 Frhs2[678]: 6 0 1.00006 shouldn't be
471.30/472.52	WSVECS04 Frhs2[685]: 6 0 3.09904 shouldn't be
471.30/472.52	WSVECS04 Frhs2[694]: 6 0 8.36387 shouldn't be
471.30/472.52	WSVECS04 Frhs2[698]: 6 0 1.00835 shouldn't be
471.30/472.52	WSVECS04 Frhs2[699]: 6 0 2.00009 shouldn't be
471.30/472.52	WSVECS04 Frhs2[700]: 6 -5.50008 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[719]: 6 0 4.00005 shouldn't be
471.30/472.52	WSVECS04 Frhs2[736]: 6 0 5.52116 shouldn't be
471.30/472.52	WSVECS04 Frhs2[756]: 6 0 22.2314 shouldn't be
471.30/472.52	WSVECS04 Frhs2[757]: 6 0 23.9087 shouldn't be
471.30/472.52	WSVECS04 Frhs2[777]: 6 0 57.1357 shouldn't be
471.30/472.52	WSVECS04 Frhs2[883]: 6 0 5.16195 shouldn't be
471.30/472.52	WSVECS04 Frhs2[906]: 6 0 0.478957 shouldn't be
471.30/472.52	WSVECS04 Frhs2[945]: 6 0 27.619 shouldn't be
471.30/472.52	WSVECS04 Frhs2[969]: 6 0 19.4093 shouldn't be
471.30/472.52	WSVECS04 Frhs2[989]: 6 0 2.07172 shouldn't be
471.30/472.52	WSVECS04 Frhs2[991]: 6 -2.00296 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[992]: 6 0 1.75832 shouldn't be
471.30/472.52	WSVECS04 Frhs2[993]: 6 -1.32589 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[996]: 6 -1.32586 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[998]: 6 0 1.75836 shouldn't be
471.30/472.52	WSVECS04 Frhs2[999]: 6 0 1.75832 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1004]: 6 -6.93729 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1014]: 6 0 3.68015 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1015]: 6 0 1.75838 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1016]: 6 0 0.200777 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1017]: 6 0 4.15102 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1018]: 6 0 2.72577 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1028]: 6 0 1.56375 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1029]: 6 0 7.20361 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1031]: 6 0 1.75834 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1035]: 6 0 8.80999 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1036]: 6 0 14.6306 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1037]: 6 0 10.3737 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1038]: 6 0 16.3537 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1039]: 6 0 5.79079 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1040]: 6 0 18.3179 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1042]: 6 0 20.1787 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1043]: 6 0 17.5577 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1044]: 6 0 12.234 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1045]: 6 0 19.1565 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1049]: 6 0 8.22767 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1051]: 6 0 17.4204 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1052]: 6 0 18.3179 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1054]: 6 0 18.2497 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1059]: 6 0 27.5355 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1061]: 6 0 27.9131 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1063]: 6 0 27.3238 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1065]: 6 0 36.9316 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1066]: 6 0 27.3237 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1069]: 6 0 39.2959 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1070]: 6 0 29.3024 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1071]: 6 0 26.5907 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1072]: 6 0 30.082 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1073]: 6 0 31.733 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1074]: 6 0 27.525 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1075]: 6 0 25.0613 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1076]: 6 0 17.4205 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1083]: 6 0 3.85824 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1088]: 6 -0.0528927 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1092]: 6 0 1.75836 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1096]: 6 0 3.47339 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1097]: 6 0 31.7107 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1098]: 6 0 19.9089 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1109]: 6 -1.00003 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1119]: 6 0 27.5249 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1120]: 6 0 19.875 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1122]: 6 0 1.75839 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1130]: 6 -1.00004 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1141]: 6 0 26.7395 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1142]: 6 0 19.8752 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1145]: 6 -1.00009 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1159]: 6 0 1.16599 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1163]: 6 0 26.7394 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1181]: 6 0 2.55175 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1186]: 6 0 19.8764 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1188]: 6 0 1.75832 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1207]: 6 0 27.5231 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1208]: 6 0 17.1195 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1232]: 6 0 1.75839 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1253]: 6 0 18.4456 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1274]: 6 0 8.7572 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1275]: 6 0 2.26396 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1295]: 6 0 15.0166 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1296]: 6 0 15.0862 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1297]: 6 0 2.25579 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1298]: 6 0 1.75837 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1317]: 6 0 31.7155 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1320]: 6 0 1.75831 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1339]: 6 0 28.3078 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1361]: 6 0 33.4686 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1383]: 6 0 26.5086 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1385]: 6 0 0.00949895 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1427]: 6 0 15.2852 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1448]: 6 0 2.1772 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1471]: 6 0 1.29337 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1474]: 6 0 3.10784 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1476]: 6 -1.0059 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1477]: 6 -1.01176 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1478]: 6 -1.02349 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1480]: 6 -1.09379 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1481]: 6 -1.18755 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1482]: 6 -1.37505 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1483]: 6 -1.74996 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1484]: 6 -2.49996 0 shouldn't be
471.30/472.52	WSVECS04 Frhs2[1485]: 6 -3.99978 0 shouldn't be
502.82/504.17	c #Conflicts:     125000 | #Constraints:      10331
502.82/504.17	c #Conflicts:     126000 | #Constraints:      11332
502.82/504.17	c #Conflicts:     127000 | #Constraints:      12333
502.82/504.17	c #Conflicts:     128000 | #Constraints:      13333
502.82/504.17	c #Conflicts:     129000 | #Constraints:      14335
502.82/504.17	c #Conflicts:     130000 | #Constraints:      15335
502.82/504.17	c #Conflicts:     131000 | #Constraints:      16335
502.82/504.17	c INPROCESSING
502.82/504.17	c GARBAGE COLLECT
502.82/504.17	c rational objective 4.91454
567.66/569.14	c #Conflicts:     132000 | #Constraints:      10132
567.66/569.14	c #Conflicts:     133000 | #Constraints:      11132
567.66/569.14	c #Conflicts:     134000 | #Constraints:      12132
567.66/569.14	c #Conflicts:     135000 | #Constraints:      13132
567.66/569.14	c #Conflicts:     136000 | #Constraints:      14132
567.66/569.14	c #Conflicts:     137000 | #Constraints:      15132
567.66/569.14	c #Conflicts:     138000 | #Constraints:      16132
567.66/569.14	c #Conflicts:     139000 | #Constraints:      17133
567.66/569.14	c INPROCESSING
567.66/569.14	c GARBAGE COLLECT
567.66/569.14	c #Conflicts:     140000 | #Constraints:      10734
567.66/569.14	c #Conflicts:     141000 | #Constraints:      11739
567.66/569.14	c #Conflicts:     142000 | #Constraints:      12740
567.66/569.14	c #Conflicts:     143000 | #Constraints:      13742
567.66/569.14	c #Conflicts:     144000 | #Constraints:      14745
567.66/569.14	c #Conflicts:     145000 | #Constraints:      15746
567.66/569.14	c #Conflicts:     146000 | #Constraints:      16746
567.66/569.14	c #Conflicts:     147000 | #Constraints:      17747
567.66/569.14	c INPROCESSING
567.66/569.14	c GARBAGE COLLECT
567.66/569.14	c rational objective 4.92811
838.48/840.67	c #Conflicts:     148000 | #Constraints:      11139
838.48/840.67	c #Conflicts:     149000 | #Constraints:      12139
838.48/840.67	c #Conflicts:     150000 | #Constraints:      13139
838.48/840.67	c #Conflicts:     151000 | #Constraints:      14140
838.48/840.67	c #Conflicts:     152000 | #Constraints:      15141
838.48/840.67	c #Conflicts:     153000 | #Constraints:      16141
838.48/840.67	c #Conflicts:     154000 | #Constraints:      17144
838.48/840.67	c #Conflicts:     155000 | #Constraints:      18144
838.48/840.67	c INPROCESSING
838.48/840.67	c GARBAGE COLLECT
838.48/840.67	c #Conflicts:     156000 | #Constraints:      11341
838.48/840.67	c #Conflicts:     157000 | #Constraints:      12341
838.48/840.67	c #Conflicts:     158000 | #Constraints:      13341
838.48/840.67	c #Conflicts:     159000 | #Constraints:      14341
838.48/840.67	c #Conflicts:     160000 | #Constraints:      15342
838.48/840.67	c #Conflicts:     161000 | #Constraints:      16342
838.48/840.67	c #Conflicts:     162000 | #Constraints:      17342
838.48/840.67	c #Conflicts:     163000 | #Constraints:      18342
838.48/840.67	c INPROCESSING
838.48/840.67	c GARBAGE COLLECT
838.48/840.67	c #Conflicts:     164000 | #Constraints:      11336
838.48/840.67	c #Conflicts:     165000 | #Constraints:      12336
838.48/840.67	c #Conflicts:     166000 | #Constraints:      13336
838.48/840.67	c #Conflicts:     167000 | #Constraints:      14336
838.48/840.67	c #Conflicts:     168000 | #Constraints:      15336
838.48/840.67	c #Conflicts:     169000 | #Constraints:      16336
838.48/840.67	c #Conflicts:     170000 | #Constraints:      17336
838.48/840.67	c #Conflicts:     171000 | #Constraints:      18336
838.48/840.67	c INPROCESSING
838.48/840.67	c GARBAGE COLLECT
838.48/840.67	c #Conflicts:     172000 | #Constraints:      11130
838.48/840.67	c #Conflicts:     173000 | #Constraints:      12130
838.48/840.67	c #Conflicts:     174000 | #Constraints:      13131
838.48/840.67	c #Conflicts:     175000 | #Constraints:      14131
838.48/840.67	c #Conflicts:     176000 | #Constraints:      15132
838.48/840.67	c #Conflicts:     177000 | #Constraints:      16133
838.48/840.67	c #Conflicts:     178000 | #Constraints:      17133
838.48/840.67	c #Conflicts:     179000 | #Constraints:      18133
838.48/840.67	c #Conflicts:     180000 | #Constraints:      19133
838.48/840.67	c INPROCESSING
838.48/840.67	c GARBAGE COLLECT
838.48/840.67	c #Conflicts:     181000 | #Constraints:      11735
838.48/840.67	c #Conflicts:     182000 | #Constraints:      12735
838.48/840.67	c #Conflicts:     183000 | #Constraints:      13735
838.48/840.67	c #Conflicts:     184000 | #Constraints:      14736
838.48/840.67	c #Conflicts:     185000 | #Constraints:      15736
838.48/840.67	c #Conflicts:     186000 | #Constraints:      16736
838.48/840.67	c #Conflicts:     187000 | #Constraints:      17736
838.48/840.67	c #Conflicts:     188000 | #Constraints:      18737
838.48/840.67	c #Conflicts:     189000 | #Constraints:      19738
838.48/840.67	c INPROCESSING
838.48/840.67	c GARBAGE COLLECT
838.48/840.67	c #Conflicts:     190000 | #Constraints:      12144
838.48/840.67	c #Conflicts:     191000 | #Constraints:      13144
838.48/840.67	c #Conflicts:     192000 | #Constraints:      14144
838.48/840.67	c #Conflicts:     193000 | #Constraints:      15145
838.48/840.67	c #Conflicts:     194000 | #Constraints:      16145
838.48/840.67	c #Conflicts:     195000 | #Constraints:      17145
838.48/840.67	c #Conflicts:     196000 | #Constraints:      18146
838.48/840.67	c #Conflicts:     197000 | #Constraints:      19146
838.48/840.67	c #Conflicts:     198000 | #Constraints:      20146
838.48/840.67	c INPROCESSING
838.48/840.67	c GARBAGE COLLECT
838.48/840.67	WSVECS04 Frhs2[2]: 6 0 35.4135 shouldn't be
838.48/840.67	WSVECS04 Frhs2[18]: 6 0 28.1633 shouldn't be
838.48/840.67	WSVECS04 Frhs2[21]: 6 0 40.2235 shouldn't be
838.48/840.67	WSVECS04 Frhs2[28]: 6 0 35.3902 shouldn't be
838.48/840.67	WSVECS04 Frhs2[39]: 6 0 5.41712 shouldn't be
838.48/840.67	WSVECS04 Frhs2[44]: 6 0 19.5453 shouldn't be
838.48/840.67	WSVECS04 Frhs2[45]: 6 0 4.12069 shouldn't be
838.48/840.67	WSVECS04 Frhs2[46]: 6 0 6.12227 shouldn't be
838.48/840.67	WSVECS04 Frhs2[47]: 6 0 0.961922 shouldn't be
838.48/840.67	WSVECS04 Frhs2[50]: 6 -2.19344 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[51]: 6 -4.91609 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[55]: 6 0 6.78504 shouldn't be
838.48/840.67	WSVECS04 Frhs2[56]: 6 0 7.66595 shouldn't be
838.48/840.67	WSVECS04 Frhs2[58]: 6 -6.26917 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[60]: 6 -14.1671 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[62]: 6 0 2.59049 shouldn't be
838.48/840.67	WSVECS04 Frhs2[65]: 6 0 807.518 shouldn't be
838.48/840.67	WSVECS04 Frhs2[66]: 6 0 1616.27 shouldn't be
838.48/840.67	WSVECS04 Frhs2[72]: 6 0 7.68318 shouldn't be
838.48/840.67	WSVECS04 Frhs2[74]: 6 0 20.8055 shouldn't be
838.48/840.67	WSVECS04 Frhs2[80]: 6 0 23.7933 shouldn't be
838.48/840.67	WSVECS04 Frhs2[88]: 6 0 3171.13 shouldn't be
838.48/840.67	WSVECS04 Frhs2[90]: 6 0 45.6151 shouldn't be
838.48/840.67	WSVECS04 Frhs2[92]: 6 0 22.325 shouldn't be
838.48/840.67	WSVECS04 Frhs2[94]: 6 0 33.3886 shouldn't be
838.48/840.67	WSVECS04 Frhs2[99]: 6 0 32.4249 shouldn't be
838.48/840.67	WSVECS04 Frhs2[108]: 6 0 1613.47 shouldn't be
838.48/840.67	WSVECS04 Frhs2[109]: 6 0 3169.89 shouldn't be
838.48/840.67	WSVECS04 Frhs2[110]: 6 0 6335.09 shouldn't be
838.48/840.67	WSVECS04 Frhs2[119]: 6 -8.90824 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[127]: 6 0 2.80759 shouldn't be
838.48/840.67	WSVECS04 Frhs2[130]: 6 0 3210.36 shouldn't be
838.48/840.67	WSVECS04 Frhs2[132]: 6 0 12664.1 shouldn't be
838.48/840.67	WSVECS04 Frhs2[134]: 6 0 4.36444 shouldn't be
838.48/840.67	WSVECS04 Frhs2[136]: 6 0 3.02156 shouldn't be
838.48/840.67	WSVECS04 Frhs2[150]: 6 0 1581.24 shouldn't be
838.48/840.67	WSVECS04 Frhs2[151]: 6 0 3163.48 shouldn't be
838.48/840.67	WSVECS04 Frhs2[169]: 6 0 123.77 shouldn't be
838.48/840.67	WSVECS04 Frhs2[172]: 6 0 3163.48 shouldn't be
838.48/840.67	WSVECS04 Frhs2[174]: 6 0 12684.9 shouldn't be
838.48/840.67	WSVECS04 Frhs2[181]: 6 -0.727515 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[182]: 6 0 4.9903 shouldn't be
838.48/840.67	WSVECS04 Frhs2[204]: 6 0 12.4121 shouldn't be
838.48/840.67	WSVECS04 Frhs2[214]: 6 0 3163.48 shouldn't be
838.48/840.67	WSVECS04 Frhs2[225]: 6 0 2.09039 shouldn't be
838.48/840.67	WSVECS04 Frhs2[230]: 6 0 97.8902 shouldn't be
838.48/840.67	WSVECS04 Frhs2[252]: 6 0 196.78 shouldn't be
838.48/840.67	WSVECS04 Frhs2[277]: 6 0 3183.27 shouldn't be
838.48/840.67	WSVECS04 Frhs2[579]: 6 0 140.857 shouldn't be
838.48/840.67	WSVECS04 Frhs2[589]: 6 0 7.52594 shouldn't be
838.48/840.67	WSVECS04 Frhs2[603]: 6 0 27.0767 shouldn't be
838.48/840.67	WSVECS04 Frhs2[614]: 6 0 1.99412 shouldn't be
838.48/840.67	WSVECS04 Frhs2[617]: 6 -5.4802 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[624]: 6 0 11.3299 shouldn't be
838.48/840.67	WSVECS04 Frhs2[639]: 6 0 30.5826 shouldn't be
838.48/840.67	WSVECS04 Frhs2[640]: 6 -4.81913 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[644]: 6 0 4.33123 shouldn't be
838.48/840.67	WSVECS04 Frhs2[645]: 6 0 1.13707 shouldn't be
838.48/840.67	WSVECS04 Frhs2[654]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[665]: 6 0 11.1283 shouldn't be
838.48/840.67	WSVECS04 Frhs2[667]: 6 -1.00002 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[668]: 6 -1.00003 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[669]: 6 -1.00001 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[690]: 6 0 29.0104 shouldn't be
838.48/840.67	WSVECS04 Frhs2[694]: 6 0 18.5762 shouldn't be
838.48/840.67	WSVECS04 Frhs2[706]: 6 0 23.3612 shouldn't be
838.48/840.67	WSVECS04 Frhs2[735]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[759]: 6 0 20.1702 shouldn't be
838.48/840.67	WSVECS04 Frhs2[799]: 6 0 60.7926 shouldn't be
838.48/840.67	WSVECS04 Frhs2[843]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[884]: 6 0 9.19952 shouldn't be
838.48/840.67	WSVECS04 Frhs2[885]: 6 0 20.4034 shouldn't be
838.48/840.67	WSVECS04 Frhs2[903]: 6 0 30.4075 shouldn't be
838.48/840.67	WSVECS04 Frhs2[926]: 6 0 20.5905 shouldn't be
838.48/840.67	WSVECS04 Frhs2[927]: 6 0 0.642917 shouldn't be
838.48/840.67	WSVECS04 Frhs2[948]: 6 0 6.71084 shouldn't be
838.48/840.67	WSVECS04 Frhs2[965]: 6 0 21.5167 shouldn't be
838.48/840.67	WSVECS04 Frhs2[989]: 6 0 10.0889 shouldn't be
838.48/840.67	WSVECS04 Frhs2[992]: 6 0 19.1684 shouldn't be
838.48/840.67	WSVECS04 Frhs2[994]: 6 0 3.95588 shouldn't be
838.48/840.67	WSVECS04 Frhs2[995]: 6 0 19.1561 shouldn't be
838.48/840.67	WSVECS04 Frhs2[996]: 6 0 6.62225 shouldn't be
838.48/840.67	WSVECS04 Frhs2[997]: 6 0 9.02898 shouldn't be
838.48/840.67	WSVECS04 Frhs2[998]: 6 0 19.058 shouldn't be
838.48/840.67	WSVECS04 Frhs2[999]: 6 0 18.4127 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1001]: 6 0 18.6929 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1003]: 6 -2.59778 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1004]: 6 0 2.86747 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1007]: 6 0 6.12429 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1009]: 6 0 9.07529 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1011]: 6 -1.00004 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1014]: 6 0 3.50769 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1015]: 6 0 14.0353 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1016]: 6 -3.45086 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1017]: 6 0 8.43482 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1018]: 6 -0.634669 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1019]: 6 -1.98539 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1022]: 6 0 29.9885 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1023]: 6 -3.45805 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1024]: 6 0 20.2869 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1025]: 6 0 8.54246 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1026]: 6 -7.19862 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1027]: 6 -1.89492 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1033]: 6 0 16.1233 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1034]: 6 -1.00008 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1036]: 6 0 2.21325 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1042]: 6 0 34.4115 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1043]: 6 -6.16981 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1044]: 6 0 83.0399 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1045]: 6 0 17.7251 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1046]: 6 0 7.90407 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1047]: 6 0 17.4032 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1049]: 6 -14.3723 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1057]: 6 0 45.6091 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1059]: 6 0 34.6229 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1060]: 6 0 28.2626 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1061]: 6 0 28.8894 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1063]: 6 0 27.1062 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1066]: 6 0 29.3346 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1075]: 6 0 31.2259 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1077]: 6 0 16.1232 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1080]: 6 0 20.3438 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1082]: 6 0 11.3503 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1095]: 6 -1.00004 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1101]: 6 0 4.34037 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1118]: 6 -1.00009 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1119]: 6 0 25.0931 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1121]: 6 0 16.1231 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1122]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1135]: 6 -87.6446 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1139]: 6 -1.00007 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1158]: 6 -1.00005 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1163]: 6 0 19.0672 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1165]: 6 0 16.1226 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1184]: 6 0 5.02553 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1188]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1190]: 6 0 9.12029 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1207]: 6 0 25.0928 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1232]: 6 0 20.1702 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1250]: 6 0 20.1675 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1252]: 6 0 25.1723 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1274]: 6 0 35.5354 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1275]: 6 0 19.1521 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1294]: 6 0 19.7475 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1295]: 6 0 9.63646 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1296]: 6 0 2.55066 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1298]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1320]: 6 0 20.1701 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1361]: 6 0 25.9523 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1364]: 6 0 20.1702 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1384]: 6 0 27.007 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1406]: 6 0 28.4997 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1427]: 6 0 44.3983 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1450]: 6 0 44.8755 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1477]: 6 0 13.1609 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1484]: 6 0 13.6745 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1489]: 6 0 1.76199 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1495]: 6 -920.121 0 shouldn't be
838.48/840.67	WSVECS04 Frhs2[1497]: 6 -3677.48 0 shouldn't be
838.78/840.95	c rational objective 4.92811
996.58/999.12	c #Conflicts:     199000 | #Constraints:      12345
996.58/999.12	c #Conflicts:     200000 | #Constraints:      13345
996.58/999.12	c #Conflicts:     201000 | #Constraints:      14345
996.58/999.12	c #Conflicts:     202000 | #Constraints:      15346
996.58/999.12	c #Conflicts:     203000 | #Constraints:      16346
996.58/999.12	c #Conflicts:     204000 | #Constraints:      17346
996.58/999.12	c #Conflicts:     205000 | #Constraints:      18346
996.58/999.12	c #Conflicts:     206000 | #Constraints:      19346
996.58/999.12	c #Conflicts:     207000 | #Constraints:      20347
996.58/999.12	c INPROCESSING
996.58/999.12	c GARBAGE COLLECT
996.58/999.12	c #Conflicts:     208000 | #Constraints:      12342
996.58/999.12	c #Conflicts:     209000 | #Constraints:      13342
996.58/999.12	c #Conflicts:     210000 | #Constraints:      14346
996.58/999.12	c #Conflicts:     211000 | #Constraints:      15347
996.58/999.12	c #Conflicts:     212000 | #Constraints:      16347
996.58/999.12	c #Conflicts:     213000 | #Constraints:      17348
996.58/999.12	c #Conflicts:     214000 | #Constraints:      18348
996.58/999.12	c #Conflicts:     215000 | #Constraints:      19349
996.58/999.12	c #Conflicts:     216000 | #Constraints:      20349
996.58/999.12	c INPROCESSING
996.58/999.12	c GARBAGE COLLECT
996.58/999.12	c #Conflicts:     217000 | #Constraints:      12142
996.58/999.12	c #Conflicts:     218000 | #Constraints:      13144
996.58/999.12	c #Conflicts:     219000 | #Constraints:      14145
996.58/999.12	c #Conflicts:     220000 | #Constraints:      15147
996.58/999.12	c #Conflicts:     221000 | #Constraints:      16148
996.58/999.12	c #Conflicts:     222000 | #Constraints:      17148
996.58/999.12	c #Conflicts:     223000 | #Constraints:      18150
996.58/999.12	c #Conflicts:     224000 | #Constraints:      19151
996.58/999.12	c #Conflicts:     225000 | #Constraints:      20151
996.58/999.12	c #Conflicts:     226000 | #Constraints:      21152
996.58/999.12	c INPROCESSING
996.58/999.12	c GARBAGE COLLECT
996.58/999.12	WSVECS04 Frhs2[8]: 6 -28.8272 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[29]: 6 -28.4795 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[49]: 6 0 7.75263 shouldn't be
996.58/999.12	WSVECS04 Frhs2[51]: 6 -26.0087 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[54]: 6 0 29.8534 shouldn't be
996.58/999.12	WSVECS04 Frhs2[55]: 6 0 27.736 shouldn't be
996.58/999.12	WSVECS04 Frhs2[57]: 6 0 13.4238 shouldn't be
996.58/999.12	WSVECS04 Frhs2[58]: 6 0 28.2818 shouldn't be
996.58/999.12	WSVECS04 Frhs2[60]: 6 0 2.57288 shouldn't be
996.58/999.12	WSVECS04 Frhs2[63]: 6 0 12.7059 shouldn't be
996.58/999.12	WSVECS04 Frhs2[65]: 6 0 6.9038 shouldn't be
996.58/999.12	WSVECS04 Frhs2[66]: 6 0 1.88488 shouldn't be
996.58/999.12	WSVECS04 Frhs2[76]: 6 0 0.281318 shouldn't be
996.58/999.12	WSVECS04 Frhs2[141]: 6 0 3.37321 shouldn't be
996.58/999.12	WSVECS04 Frhs2[277]: 6 0 0.877989 shouldn't be
996.58/999.12	WSVECS04 Frhs2[531]: 6 0 7.33928 shouldn't be
996.58/999.12	WSVECS04 Frhs2[565]: 6 0 26.6974 shouldn't be
996.58/999.12	WSVECS04 Frhs2[580]: 6 0 2.74673 shouldn't be
996.58/999.12	WSVECS04 Frhs2[613]: 6 -1.40122 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[646]: 6 0 2.42554 shouldn't be
996.58/999.12	WSVECS04 Frhs2[658]: 6 0 0.500011 shouldn't be
996.58/999.12	WSVECS04 Frhs2[660]: 6 0 7.25944 shouldn't be
996.58/999.12	WSVECS04 Frhs2[674]: 6 0 13.3308 shouldn't be
996.58/999.12	WSVECS04 Frhs2[690]: 6 0 2.42552 shouldn't be
996.58/999.12	WSVECS04 Frhs2[903]: 6 0 2.96682 shouldn't be
996.58/999.12	WSVECS04 Frhs2[948]: 6 0 1.82497 shouldn't be
996.58/999.12	WSVECS04 Frhs2[965]: 6 0 0.680232 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1002]: 6 -1.59479 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1004]: 6 -29.6609 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1005]: 6 -1.23201 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1013]: 6 -0.154383 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1026]: 6 -8.04567 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1047]: 6 -9.39777 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1089]: 6 -1.00003 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1109]: 6 -1.00003 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1110]: 6 -1.00003 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1126]: 6 -1.25007 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1131]: 6 -1.00004 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1173]: 6 -0.500022 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1253]: 6 0 1.20821 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1478]: 6 -0.99844 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1480]: 6 -0.99373 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1481]: 6 -0.987425 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1483]: 6 -0.949434 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1489]: 6 -11.6317 0 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1491]: 6 0 11.9678 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1492]: 6 0 24.9356 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1493]: 6 0 50.8712 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1494]: 6 0 102.742 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1495]: 6 0 206.485 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1496]: 6 0 413.969 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1497]: 6 0 828.938 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1498]: 6 0 1658.88 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1499]: 6 0 3318.75 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1500]: 6 0 6638.5 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1501]: 6 0 13278 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1502]: 6 0 26557 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1503]: 6 0 53115 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1504]: 6 0 106231 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1505]: 6 0 212463 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1506]: 6 0 424927 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1507]: 6 0 849855 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1508]: 6 0 1.69971e+06 shouldn't be
996.58/999.12	WSVECS04 Frhs2[1512]: 6 0 2.71954e+07 shouldn't be
996.78/999.32	c rational objective 4.96423
1175.83/1178.82	c #Conflicts:     227000 | #Constraints:      12745
1175.83/1178.82	c #Conflicts:     228000 | #Constraints:      13745
1175.83/1178.82	c #Conflicts:     229000 | #Constraints:      14745
1175.83/1178.82	c #Conflicts:     230000 | #Constraints:      15746
1175.83/1178.82	c #Conflicts:     231000 | #Constraints:      16747
1175.83/1178.82	c #Conflicts:     232000 | #Constraints:      17748
1175.83/1178.82	c #Conflicts:     233000 | #Constraints:      18749
1175.83/1178.82	c #Conflicts:     234000 | #Constraints:      19749
1175.83/1178.82	c #Conflicts:     235000 | #Constraints:      20749
1175.83/1178.82	c #Conflicts:     236000 | #Constraints:      21751
1175.83/1178.82	c INPROCESSING
1175.83/1178.82	c GARBAGE COLLECT
1175.83/1178.82	c #Conflicts:     237000 | #Constraints:      13143
1175.83/1178.82	c #Conflicts:     238000 | #Constraints:      14146
1175.83/1178.82	c #Conflicts:     239000 | #Constraints:      15147
1175.83/1178.82	c #Conflicts:     240000 | #Constraints:      16147
1175.83/1178.82	c #Conflicts:     241000 | #Constraints:      17148
1175.83/1178.82	c #Conflicts:     242000 | #Constraints:      18148
1175.83/1178.82	c #Conflicts:     243000 | #Constraints:      19148
1175.83/1178.82	c #Conflicts:     244000 | #Constraints:      20149
1175.83/1178.82	c #Conflicts:     245000 | #Constraints:      21150
1175.83/1178.82	c #Conflicts:     246000 | #Constraints:      22150
1175.83/1178.82	c INPROCESSING
1175.83/1178.82	c GARBAGE COLLECT
1175.83/1178.82	c #Conflicts:     247000 | #Constraints:      13344
1175.83/1178.82	c #Conflicts:     248000 | #Constraints:      14344
1175.83/1178.82	c #Conflicts:     249000 | #Constraints:      15344
1175.83/1178.82	c #Conflicts:     250000 | #Constraints:      16345
1175.83/1178.82	c #Conflicts:     251000 | #Constraints:      17346
1175.83/1178.82	c #Conflicts:     252000 | #Constraints:      18346
1175.83/1178.82	c #Conflicts:     253000 | #Constraints:      19348
1175.83/1178.82	c #Conflicts:     254000 | #Constraints:      20349
1175.83/1178.82	c #Conflicts:     255000 | #Constraints:      21349
1175.83/1178.82	c #Conflicts:     256000 | #Constraints:      22349
1175.83/1178.82	c INPROCESSING
1175.83/1178.82	c GARBAGE COLLECT
1175.83/1178.82	c rational objective 4.99844
1286.25/1289.52	c #Conflicts:     257000 | #Constraints:      13343
1286.25/1289.52	c #Conflicts:     258000 | #Constraints:      14343
1286.25/1289.52	c #Conflicts:     259000 | #Constraints:      15343
1286.25/1289.52	c #Conflicts:     260000 | #Constraints:      16343
1286.25/1289.52	c #Conflicts:     261000 | #Constraints:      17343
1286.25/1289.52	c #Conflicts:     262000 | #Constraints:      18343
1286.25/1289.52	c #Conflicts:     263000 | #Constraints:      19343
1286.25/1289.52	c #Conflicts:     264000 | #Constraints:      20343
1286.25/1289.52	c #Conflicts:     265000 | #Constraints:      21343
1286.25/1289.52	c #Conflicts:     266000 | #Constraints:      22343
1286.25/1289.52	c INPROCESSING
1286.25/1289.52	c GARBAGE COLLECT
1286.25/1289.52	c #Conflicts:     267000 | #Constraints:      13142
1286.25/1289.52	c #Conflicts:     268000 | #Constraints:      14142
1286.25/1289.52	c #Conflicts:     269000 | #Constraints:      15142
1286.25/1289.52	c #Conflicts:     270000 | #Constraints:      16142
1286.25/1289.52	c #Conflicts:     271000 | #Constraints:      17142
1286.25/1289.52	c #Conflicts:     272000 | #Constraints:      18142
1286.25/1289.52	c #Conflicts:     273000 | #Constraints:      19142
1286.25/1289.52	c #Conflicts:     274000 | #Constraints:      20142
1286.25/1289.52	c #Conflicts:     275000 | #Constraints:      21142
1286.25/1289.52	WSVECS04 Frhs2[12]: 6 0 0.224653 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[18]: 6 0 27.308 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[21]: 6 0 1.5118 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[24]: 6 -6 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[34]: 6 0 0.255899 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[40]: 6 0 0.255899 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[80]: 6 0 1.20501 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[93]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[95]: 6 0 19.0521 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[97]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[99]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[100]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[101]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[156]: 6 -1.75 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[550]: 6 0 3.5 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[556]: 6 0 0.5 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[559]: 6 0 0.500001 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[560]: 6 0 6.19626 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[561]: 6 0 0.5 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[578]: 6 0 26.308 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[581]: 6 0 7.512 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[637]: 6 0 3 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[701]: 6 0 1 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1005]: 6 -10.9404 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1007]: 6 0 17.0519 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1017]: 6 -8.94036 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1050]: 6 0 0.255899 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1052]: 6 0 0.255899 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1058]: 6 0 24.933 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1064]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1069]: 6 0 27.308 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1071]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1074]: 6 0 18.796 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1098]: 6 0 8.19632 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1107]: 6 0 25.308 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1110]: 6 -1 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1119]: 6 0 18.7959 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1131]: 6 -1 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1142]: 6 0 0.00026084 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1152]: 6 -1 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1173]: 6 -1 0 shouldn't be
1286.25/1289.52	WSVECS04 Frhs2[1194]: 6 -1 0 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[23]: 6 -5 0 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[531]: 6 0 0.625 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[557]: 6 0 7.68446 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[576]: 6 0 4 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[594]: 6 0 36.0801 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[604]: 6 0 36.0801 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[995]: 6 -3.625 0 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1036]: 6 0 0.568399 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1038]: 6 0 9.20215 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1039]: 6 0 1.2559 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1040]: 6 0 0.255899 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1057]: 6 0 18.296 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1061]: 6 0 17.796 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1089]: 6 -1 0 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1093]: 6 0 17.796 shouldn't be
1286.46/1289.77	WSVECS04 Frhs2[1141]: 6 0 26.9922 shouldn't be
1606.07/1610.10	c #Conflicts:     276000 | #Constraints:      22142
1606.07/1610.10	c #Conflicts:     277000 | #Constraints:      23142
1606.07/1610.10	c INPROCESSING
1606.07/1610.10	c GARBAGE COLLECT
1606.07/1610.10	c #Conflicts:     278000 | #Constraints:      13740
1606.07/1610.10	c #Conflicts:     279000 | #Constraints:      14740
1606.07/1610.10	c #Conflicts:     280000 | #Constraints:      15740
1606.07/1610.10	c #Conflicts:     281000 | #Constraints:      16740
1606.07/1610.10	c #Conflicts:     282000 | #Constraints:      17740
1606.07/1610.10	c #Conflicts:     283000 | #Constraints:      18740
1606.07/1610.10	c #Conflicts:     284000 | #Constraints:      19740
1606.07/1610.10	c #Conflicts:     285000 | #Constraints:      20740
1606.07/1610.10	c #Conflicts:     286000 | #Constraints:      21740
1606.07/1610.10	c #Conflicts:     287000 | #Constraints:      22740
1606.07/1610.10	c #Conflicts:     288000 | #Constraints:      23740
1606.07/1610.10	c INPROCESSING
1606.07/1610.10	c GARBAGE COLLECT
1606.07/1610.10	c #Conflicts:     289000 | #Constraints:      14138
1606.07/1610.10	c #Conflicts:     290000 | #Constraints:      15138
1606.07/1610.10	c #Conflicts:     291000 | #Constraints:      16138
1606.07/1610.10	c #Conflicts:     292000 | #Constraints:      17138
1606.07/1610.10	c #Conflicts:     293000 | #Constraints:      18138
1606.07/1610.10	c #Conflicts:     294000 | #Constraints:      19138
1606.07/1610.10	c #Conflicts:     295000 | #Constraints:      20138
1606.07/1610.10	c #Conflicts:     296000 | #Constraints:      21138
1606.07/1610.10	c #Conflicts:     297000 | #Constraints:      22138
1606.07/1610.10	c #Conflicts:     298000 | #Constraints:      23138
1606.07/1610.10	c #Conflicts:     299000 | #Constraints:      24138
1606.07/1610.10	c INPROCESSING
1606.07/1610.10	c GARBAGE COLLECT
1606.07/1610.10	c #Conflicts:     300000 | #Constraints:      14332
1606.07/1610.10	c #Conflicts:     301000 | #Constraints:      15332
1606.07/1610.10	c #Conflicts:     302000 | #Constraints:      16332
1606.07/1610.10	c #Conflicts:     303000 | #Constraints:      17332
1606.07/1610.10	c #Conflicts:     304000 | #Constraints:      18332
1606.07/1610.10	c #Conflicts:     305000 | #Constraints:      19332
1606.07/1610.10	c #Conflicts:     306000 | #Constraints:      20332
1606.07/1610.10	c #Conflicts:     307000 | #Constraints:      21332
1606.07/1610.10	c #Conflicts:     308000 | #Constraints:      22332
1606.07/1610.10	c #Conflicts:     309000 | #Constraints:      23332
1606.07/1610.10	c #Conflicts:     310000 | #Constraints:      24332
1606.07/1610.10	c INPROCESSING
1606.07/1610.10	c GARBAGE COLLECT
1606.07/1610.10	c #Conflicts:     311000 | #Constraints:      14337
1606.07/1610.10	c #Conflicts:     312000 | #Constraints:      15337
1606.07/1610.10	c #Conflicts:     313000 | #Constraints:      16337
1606.07/1610.10	c #Conflicts:     314000 | #Constraints:      17337
1606.07/1610.10	c #Conflicts:     315000 | #Constraints:      18337
1606.07/1610.10	c #Conflicts:     316000 | #Constraints:      19337
1606.07/1610.10	c #Conflicts:     317000 | #Constraints:      20337
1606.07/1610.10	c #Conflicts:     318000 | #Constraints:      21338
1606.07/1610.10	c #Conflicts:     319000 | #Constraints:      22344
1606.07/1610.10	c #Conflicts:     320000 | #Constraints:      23345
1606.07/1610.10	c #Conflicts:     321000 | #Constraints:      24345
1606.07/1610.10	c INPROCESSING
1606.07/1610.10	c GARBAGE COLLECT
1606.07/1610.10	WSVECS04 Frhs2[7]: 6 -60.7068 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[13]: 6 -51.929 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[28]: 6 -51.9117 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[31]: 6 -65.4224 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[48]: 6 0 9.3798 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[49]: 6 0 55.041 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[51]: 6 0 9.48013 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[52]: 6 0 27.8751 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[54]: 6 0 32.0517 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[55]: 6 0 8.15146 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[56]: 6 0 9.96453 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[59]: 6 0 3.00004 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[60]: 6 0 2.27942 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[61]: 6 0 15.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[62]: 6 0 32.563 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[63]: 6 0 71.4531 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[64]: 6 0 137.465 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[65]: 6 0 261.291 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[80]: 6 0 47.1476 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[87]: 6 0 459.648 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[88]: 6 0 1025.7 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[95]: 6 0 5.74011 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[103]: 6 0 5.53633 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[104]: 6 0 30.4572 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[110]: 6 0 2057.46 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[124]: 6 0 6.35162 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[128]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[132]: 6 0 4105.46 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[143]: 6 0 3.00009 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[147]: 6 0 63 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[149]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[150]: 6 0 511 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[154]: 6 0 8201.46 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[160]: 6 -0.750011 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[166]: 6 0 15.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[167]: 6 0 16.5038 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[169]: 6 0 127 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[171]: 6 0 511 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[176]: 6 0 16393.5 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[182]: 6 -7.5324 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[183]: 6 0 8.87297 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[189]: 6 0 59.2171 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[194]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[198]: 6 0 32777.5 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[212]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[217]: 6 0 8191 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[220]: 6 0 65545.5 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[231]: 6 0 38.3688 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[232]: 6 0 127 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[233]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[235]: 6 0 1023 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[236]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[241]: 6 0 65483.6 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[242]: 6 0 131081 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[245]: 6 0 0.500066 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[252]: 6 0 63.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[254]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[257]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[260]: 6 0 16383 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[261]: 6 0 32767 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[264]: 6 0 262153 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[265]: 6 -0.750054 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[266]: 6 -0.500024 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[269]: 6 0 3.00006 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[275]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[277]: 6 0 1032.73 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[278]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[280]: 6 0 8191 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[282]: 6 0 32767 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[285]: 6 0 262133 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[286]: 6 0 524292 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[287]: 6 -0.500078 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[296]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[299]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[301]: 6 0 8191 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[302]: 6 0 16383 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[304]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[305]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[307]: 6 0 524274 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[308]: 6 0 1.04859e+06 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[324]: 6 0 32767 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[325]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[326]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[327]: 6 0 262142 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[328]: 6 0 524238 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[330]: 6 0 2.09716e+06 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[338]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[345]: 6 0 32767 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[346]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[347]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[348]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[352]: 6 0 4.19431e+06 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[359]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[367]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[368]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[369]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[374]: 6 0 8.38862e+06 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[376]: 6 0 15.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[382]: 6 0 1023 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[388]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[390]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[396]: 6 0 1.67772e+07 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[400]: 6 0 127 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[401]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[403]: 6 0 1023 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[404]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[409]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[410]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[411]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[419]: 6 0 31 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[421]: 6 0 127 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[422]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[424]: 6 0 1023 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[425]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[428]: 6 0 16383 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[430]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[431]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[432]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[433]: 6 0 524287 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[440]: 6 0 6.71089e+07 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[443]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[446]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[448]: 6 0 8191 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[452]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[453]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[454]: 6 0 524287 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[461]: 6 0 6.71089e+07 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[463]: 6 0 127 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[464]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[471]: 6 0 32767 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[473]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[474]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[480]: 6 0 1.67772e+07 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[482]: 6 0 6.71088e+07 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[485]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[493]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[495]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[502]: 6 0 3.35544e+07 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[504]: 6 0 1.34218e+08 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[505]: 6 0 2.68435e+08 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[512]: 6 0 16383 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[513]: 6 0 32767 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[516]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[527]: 6 0 5.36871e+08 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[528]: 6 0 1.07374e+09 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[534]: 6 0 14.0483 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[538]: 6 0 0.56308 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[540]: 6 0 49.3914 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[542]: 6 0 23.1908 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[543]: 6 0 15.9846 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[546]: 6 0 22.3713 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[547]: 6 0 8.67518 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[548]: 6 0 8.67515 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[551]: 6 0 68.0031 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[555]: 6 0 6.07303 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[559]: 6 0 18.7335 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[564]: 6 0 43.8022 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[565]: 6 0 58.0797 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[566]: 6 0 44.9275 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[567]: 6 0 34.0959 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[576]: 6 0 13.3299 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[589]: 6 0 16.0814 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[595]: 6 0 81.5308 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[598]: 6 0 25.6364 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[604]: 6 0 59.189 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[640]: 6 0 11.3265 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[645]: 6 0 25.2919 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[646]: 6 0 16.7484 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[674]: 6 0 4.01053 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[686]: 6 0 24.1104 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[690]: 6 0 16.7484 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[698]: 6 0 26.3805 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[743]: 6 -1.00004 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[746]: 6 -1.00009 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[758]: 6 0 36.4174 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[764]: 6 -1.00006 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[767]: 6 -1.00009 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[785]: 6 -1.00009 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[788]: 6 -1.00004 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[798]: 6 0 25.2849 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[799]: 6 0 79.4146 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[802]: 6 0 1.00006 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[819]: 6 0 3.36439 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[862]: 6 0 2.67183 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[903]: 6 0 19.5533 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[904]: 6 0 25.5001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[926]: 6 0 0.563092 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[927]: 6 0 3.01754 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[948]: 6 0 15.1999 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[965]: 6 0 14.4092 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[966]: 6 0 4.92406 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[985]: 6 0 14.4092 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[989]: 6 0 1.31476 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[993]: 6 -0.436915 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1012]: 6 -1.00008 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1013]: 6 -0.182478 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1032]: 6 0 7.37195e-05 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1109]: 6 -0.500032 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1121]: 6 0 7.88693e-05 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1131]: 6 -1.00003 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1152]: 6 -1.00002 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1165]: 6 0 7.53209e-05 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1170]: 6 -1.00005 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1173]: 6 -1.00004 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1180]: 6 -1.00009 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1222]: 6 -1.00004 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1231]: 6 0 0.000495467 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1243]: 6 -1.00009 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1264]: 6 -1.00006 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1274]: 6 0 11.5596 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1285]: 6 -1.00001 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1384]: 6 0 12.3837 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1452]: 6 0 3.67897 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1482]: 6 -0.996154 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1483]: 6 -0.992208 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1484]: 6 -0.9844 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1486]: 6 -0.937593 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1487]: 6 -0.875053 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1488]: 6 -0.750081 0 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1491]: 6 0 1.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1492]: 6 0 3.00008 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1493]: 6 0 7.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1494]: 6 0 15 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1495]: 6 0 31.0001 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1497]: 6 0 127 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1498]: 6 0 255 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1499]: 6 0 511 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1500]: 6 0 1023 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1501]: 6 0 2047 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1502]: 6 0 4095 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1503]: 6 0 8191 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1504]: 6 0 16383 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1506]: 6 0 65535 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1507]: 6 0 131071 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1508]: 6 0 262143 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1509]: 6 0 524287 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1510]: 6 0 1.04857e+06 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1513]: 6 0 8.38861e+06 shouldn't be
1606.07/1610.10	WSVECS04 Frhs2[1515]: 6 0 3.35544e+07 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[13]: 6 -51.9289 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[28]: 6 -51.9117 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[31]: 6 -65.4223 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[48]: 6 0 9.37976 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[49]: 6 0 55.041 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[51]: 6 0 9.48008 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[52]: 6 0 27.875 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[54]: 6 0 32.0516 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[55]: 6 0 8.15145 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[56]: 6 0 9.96445 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[58]: 6 0 1.66147 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[59]: 6 0 3 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[60]: 6 0 2.27934 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[61]: 6 0 15 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[62]: 6 0 32.563 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[63]: 6 0 71.453 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[64]: 6 0 137.464 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[65]: 6 0 261.291 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[66]: 6 0 537.396 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[80]: 6 0 47.1476 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[84]: 6 0 11.6481 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[85]: 6 0 86.0755 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[87]: 6 0 459.648 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[88]: 6 0 1025.7 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[95]: 6 0 5.74005 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[96]: 6 0 16.4625 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[103]: 6 0 5.53625 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[104]: 6 0 30.4571 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[106]: 6 0 136.275 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[108]: 6 0 518.1 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[109]: 6 0 971.648 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[110]: 6 0 2057.46 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[124]: 6 0 6.35153 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[128]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[130]: 6 0 1032.27 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[131]: 6 0 1995.65 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[132]: 6 0 4105.46 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[149]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[150]: 6 0 511 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[154]: 6 0 8201.46 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[159]: 6 0 11.9009 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[160]: 6 -0.75 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[166]: 6 0 15 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[169]: 6 0 127 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[170]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[172]: 6 0 1023 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[173]: 6 0 2047 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[174]: 6 0 4093.53 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[175]: 6 0 8139.65 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[183]: 6 0 8.87291 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[191]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[194]: 6 0 2047 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[198]: 6 0 32777.5 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[205]: 6 0 1 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[212]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[213]: 6 0 511 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[214]: 6 0 1023 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[215]: 6 0 2047 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[217]: 6 0 8191 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[218]: 6 0 16381.5 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[229]: 6 0 15 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[231]: 6 0 38.3687 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[233]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[252]: 6 0 63 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[254]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[257]: 6 0 2047 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[265]: 6 -0.75 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[275]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[277]: 6 0 1032.73 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[278]: 6 0 2047 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[280]: 6 0 8191 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[285]: 6 0 262133 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[287]: 6 -0.500001 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[296]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[301]: 6 0 8191 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[304]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[306]: 6 0 262096 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[307]: 6 0 524274 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[308]: 6 0 1.04859e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[325]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[327]: 6 0 262142 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[328]: 6 0 524238 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[330]: 6 0 2.09716e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[338]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[346]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[348]: 6 0 262143 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[351]: 6 0 2.09711e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[359]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[364]: 6 0 8191 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[367]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[376]: 6 0 15 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[385]: 6 0 8191 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[388]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[401]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[409]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[419]: 6 0 31 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[422]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[426]: 6 0 4095 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[428]: 6 0 16383 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[429]: 6 0 32767 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[440]: 6 0 6.71089e+07 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[443]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[448]: 6 0 8191 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[449]: 6 0 16383 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[452]: 6 0 131071 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[456]: 6 0 2.09715e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[471]: 6 0 32767 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[478]: 6 0 4.1943e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[485]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[486]: 6 0 511 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[493]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[499]: 6 0 4.1943e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[512]: 6 0 16383 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[513]: 6 0 32767 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[514]: 6 0 65535 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[521]: 6 0 8.38861e+06 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[548]: 6 0 8.67511 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[576]: 6 0 13.3299 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[598]: 6 0 25.6363 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[640]: 6 0 11.3264 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[645]: 6 0 25.2919 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[665]: 6 0 22.1557 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[666]: 6 0 18.8922 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[674]: 6 0 4.01048 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[690]: 6 0 16.7484 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[716]: 6 0 0.000217528 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[743]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[746]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[758]: 6 0 36.4173 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[764]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[767]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[785]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[788]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[798]: 6 0 25.2848 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[799]: 6 0 79.4145 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[802]: 6 0 1 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[819]: 6 0 3.3643 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[862]: 6 0 2.67173 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[903]: 6 0 19.5533 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[904]: 6 0 25.5001 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[925]: 6 0 28.4094 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[926]: 6 0 0.563009 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[927]: 6 0 3.01748 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[948]: 6 0 15.1999 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[969]: 6 0 2.28477 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[985]: 6 0 14.4092 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1012]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1013]: 6 -0.182383 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1032]: 6 0 3.336e-05 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1054]: 6 -58.0151 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1058]: 6 0 1.85875 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1073]: 6 0 16.896 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1096]: 6 -9.57088 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1109]: 6 -0.500001 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1117]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1126]: 6 0 11.7759 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1131]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1152]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1170]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1177]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1180]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1215]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1222]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1243]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1264]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1285]: 6 -1 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1482]: 6 -0.996094 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1483]: 6 -0.992188 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1484]: 6 -0.984375 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1486]: 6 -0.937501 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1487]: 6 -0.875001 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1488]: 6 -0.75 0 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1491]: 6 0 1 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1492]: 6 0 3 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1493]: 6 0 7 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1494]: 6 0 15 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1495]: 6 0 31 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1497]: 6 0 127 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1498]: 6 0 255 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1499]: 6 0 511 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1500]: 6 0 1023 shouldn't be
1606.26/1610.30	WSVECS04 Frhs2[1501]: 6 0 2047 shouldn't be
1780.43/1784.98	c #Conflicts:     322000 | #Constraints:      14137
1780.43/1784.98	c #Conflicts:     323000 | #Constraints:      15137
1780.43/1784.98	c #Conflicts:     324000 | #Constraints:      16137
1780.43/1784.98	c #Conflicts:     325000 | #Constraints:      17137
1780.43/1784.98	c #Conflicts:     326000 | #Constraints:      18137
1780.43/1784.98	c #Conflicts:     327000 | #Constraints:      19137
1780.43/1784.98	c #Conflicts:     328000 | #Constraints:      20137
1780.43/1784.98	c #Conflicts:     329000 | #Constraints:      21137
1780.43/1784.98	c #Conflicts:     330000 | #Constraints:      22137
1780.43/1784.98	c #Conflicts:     331000 | #Constraints:      23137
1780.43/1784.98	c #Conflicts:     332000 | #Constraints:      24137
1780.43/1784.98	c #Conflicts:     333000 | #Constraints:      25137
1780.43/1784.98	c INPROCESSING
1780.43/1784.98	c GARBAGE COLLECT
1780.43/1784.98	c #Conflicts:     334000 | #Constraints:      14737
1780.43/1784.98	c #Conflicts:     335000 | #Constraints:      15737
1780.43/1784.98	c #Conflicts:     336000 | #Constraints:      16737
1780.43/1784.98	c #Conflicts:     337000 | #Constraints:      17738
1780.43/1784.98	c #Conflicts:     338000 | #Constraints:      18738
1780.43/1784.98	c #Conflicts:     339000 | #Constraints:      19738
1780.43/1784.98	c #Conflicts:     340000 | #Constraints:      20739
1780.43/1784.98	c #Conflicts:     341000 | #Constraints:      21739
1780.43/1784.98	c #Conflicts:     342000 | #Constraints:      22739
1780.43/1784.98	c #Conflicts:     343000 | #Constraints:      23739
1780.43/1784.98	c #Conflicts:     344000 | #Constraints:      24739
1780.43/1784.98	c #Conflicts:     345000 | #Constraints:      25739
1780.43/1784.98	c INPROCESSING
1780.43/1784.98	c GARBAGE COLLECT
1780.43/1784.98	WSVECS04 Frhs2[2]: 6 -747.122 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[4]: 6 -695.033 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[6]: 6 -747.303 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[8]: 6 -747.307 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[11]: 6 -810.119 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[28]: 6 -634.879 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[32]: 6 -775.92 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[33]: 6 -634.879 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[46]: 6 0 134.552 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[48]: 6 0 95.6823 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[53]: 6 0 97.1001 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[58]: 6 0 11.2279 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[59]: 6 0 3.00004 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[60]: 6 0 216.816 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[61]: 6 0 15 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[62]: 6 0 55.1678 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[66]: 6 0 858.591 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[72]: 6 -389.466 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[77]: 6 -440.551 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[80]: 6 0 464.365 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[87]: 6 0 86.8594 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[88]: 6 0 1038.84 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[103]: 6 0 621.677 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[104]: 6 0 33.0001 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[108]: 6 0 472.178 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[109]: 6 0 598.859 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[110]: 6 0 2145.04 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[116]: 6 -384.56 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[128]: 6 0 256 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[130]: 6 0 915.387 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[131]: 6 0 1622.86 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[132]: 6 0 4193.03 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[134]: 6 0 0.00790714 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[139]: 6 -125.629 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[149]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[150]: 6 0 511 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[152]: 6 0 1815.31 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[154]: 6 0 8289.03 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[166]: 6 0 15.0001 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[174]: 6 0 3921.92 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[176]: 6 0 16481 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[184]: 6 0 0.500047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[185]: 6 0 0.250059 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[187]: 6 0 15.0001 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[190]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[191]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[194]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[196]: 6 0 8017.92 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[197]: 6 0 15839.8 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[198]: 6 0 32865 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[211]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[214]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[215]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[217]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[218]: 6 0 16209.9 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[220]: 6 0 65633 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[232]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[233]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[236]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[238]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[240]: 6 0 32315 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[241]: 6 0 65110.8 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[252]: 6 0 62.2501 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[254]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[256]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[257]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[262]: 6 0 65400.4 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[263]: 6 0 130528 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[264]: 6 0 262241 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[278]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[280]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[285]: 6 0 261865 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[295]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[299]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[301]: 6 0 8191 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[305]: 6 0 131071 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[307]: 6 0 524040 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[308]: 6 0 1.04867e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[317]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[328]: 6 0 523722 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[329]: 6 0 1.04796e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[330]: 6 0 2.09725e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[337]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[346]: 6 0 65534.9 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[347]: 6 0 131071 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[348]: 6 0 262143 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[351]: 6 0 2.09661e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[352]: 6 0 4.1944e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[358]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[359]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[361]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[364]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[370]: 6 0 524286 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[372]: 6 0 2.09698e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[373]: 6 0 4.19376e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[374]: 6 0 8.3887e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[379]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[380]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[382]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[383]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[385]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[387]: 6 0 32767 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[389]: 6 0 131071 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[396]: 6 0 1.67773e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[398]: 6 0 31.0001 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[400]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[401]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[403]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[404]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[409]: 6 0 65534.9 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[411]: 6 0 262143 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[412]: 6 0 524286 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[421]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[422]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[424]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[425]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[430]: 6 0 65534.9 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[433]: 6 0 524287 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[438]: 6 0 1.67764e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[439]: 6 0 3.35538e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[440]: 6 0 6.71091e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[441]: 6 0 63.0001 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[443]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[446]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[448]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[450]: 6 0 32767 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[452]: 6 0 131071 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[454]: 6 0 524286 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[458]: 6 0 8.3886e+06 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[460]: 6 0 3.35538e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[461]: 6 0 6.71088e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[463]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[464]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[480]: 6 0 1.67772e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[482]: 6 0 6.71085e+07 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[483]: 6 0 1.34217e+08 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[485]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[504]: 6 0 1.34218e+08 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[505]: 6 0 2.68435e+08 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[512]: 6 0 16383 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[513]: 6 0 32767 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[526]: 6 0 2.68435e+08 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[527]: 6 0 5.36871e+08 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[529]: 6 0 36.0388 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[543]: 6 0 512.958 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[548]: 6 0 300.839 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[552]: 6 0 427.097 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[563]: 6 0 803.373 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[565]: 6 0 651.84 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[583]: 6 0 5.67203 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[599]: 6 0 71.5954 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[625]: 6 0 4.44572 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[645]: 6 0 260.375 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[646]: 6 0 277.02 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[674]: 6 0 227.771 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[682]: 6 -2.00002 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[703]: 6 0 0.500092 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[723]: 6 0 1.50009 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[748]: 6 -3.00002 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[765]: 6 0 3.00004 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[766]: 6 0 1.00008 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[798]: 6 0 391.733 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[799]: 6 0 680.977 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[903]: 6 0 320.956 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[905]: 6 0 14.1081 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[927]: 6 0 61.6158 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[948]: 6 0 252.447 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[991]: 6 -2.00004 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1012]: 6 -1.00005 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1033]: 6 -230.847 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1075]: 6 -39.822 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1096]: 6 -135.259 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1117]: 6 -1.00004 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1177]: 6 -1.00006 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1178]: 6 -1.00009 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1180]: 6 -1.00006 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1201]: 6 -1.00004 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1215]: 6 -2.37508 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1222]: 6 -1.00008 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1243]: 6 -1.0001 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1479]: 6 -0.999813 0 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1497]: 6 0 63 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1498]: 6 0 127 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1499]: 6 0 255 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1500]: 6 0 510.999 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1501]: 6 0 1023 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1502]: 6 0 2047 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1503]: 6 0 4094.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1504]: 6 0 8190.99 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1505]: 6 0 16383 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1506]: 6 0 32766.9 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1507]: 6 0 65534.9 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1508]: 6 0 131071 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1509]: 6 0 262143 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1510]: 6 0 524286 shouldn't be
1780.43/1784.98	WSVECS04 Frhs2[1511]: 6 0 1.04857e+06 shouldn't be
1780.63/1785.19	WSVECS04 Frhs2[5]: 6 -695.033 0 shouldn't be
1780.63/1785.19	WSVECS04 Frhs2[29]: 6 -718.05 0 shouldn't be
1780.63/1785.19	WSVECS04 Frhs2[30]: 6 -642.26 0 shouldn't be
1780.63/1785.19	WSVECS04 Frhs2[118]: 6 -73.3522 0 shouldn't be
1780.63/1785.19	WSVECS04 Frhs2[140]: 6 -7.63753 0 shouldn't be
1780.63/1785.19	WSVECS04 Frhs2[1138]: 6 -1.00004 0 shouldn't be
1853.85/1858.55	c #Conflicts:     346000 | #Constraints:      15139
1853.85/1858.55	c #Conflicts:     347000 | #Constraints:      16139
1853.85/1858.55	c #Conflicts:     348000 | #Constraints:      17139
1853.85/1858.55	c #Conflicts:     349000 | #Constraints:      18139
1853.85/1858.55	c #Conflicts:     350000 | #Constraints:      19139
1853.85/1858.55	c #Conflicts:     351000 | #Constraints:      20139
1853.85/1858.55	c #Conflicts:     352000 | #Constraints:      21139
1853.85/1858.55	c #Conflicts:     353000 | #Constraints:      22139
1853.85/1858.55	c #Conflicts:     354000 | #Constraints:      23139
1853.85/1858.55	c #Conflicts:     355000 | #Constraints:      24139
1853.85/1858.55	WSVECS04 Frhs2[636]: 6 0 1.00272 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[660]: 6 -2.78102 0 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[680]: 6 0 1.71898 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1000]: 6 0 0.0286 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1002]: 6 0 0.437164 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1027]: 6 0 0.831548 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1029]: 6 0 1.33124 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1051]: 6 0 0.145869 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1066]: 6 0 0.78353 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1073]: 6 0 0.669944 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1089]: 6 0 0.75 shouldn't be
1853.85/1858.55	WSVECS04 Frhs2[1130]: 6 -1 0 shouldn't be
2207.21/2212.73	c #Conflicts:     356000 | #Constraints:      25139
2207.21/2212.73	c #Conflicts:     357000 | #Constraints:      26139
2207.21/2212.73	c INPROCESSING
2207.21/2212.73	c GARBAGE COLLECT
2207.21/2212.73	c #Conflicts:     358000 | #Constraints:      15335
2207.21/2212.73	c #Conflicts:     359000 | #Constraints:      16335
2207.21/2212.73	c #Conflicts:     360000 | #Constraints:      17335
2207.21/2212.73	c #Conflicts:     361000 | #Constraints:      18335
2207.21/2212.73	c #Conflicts:     362000 | #Constraints:      19335
2207.21/2212.73	c #Conflicts:     363000 | #Constraints:      20335
2207.21/2212.73	c #Conflicts:     364000 | #Constraints:      21335
2207.21/2212.73	c #Conflicts:     365000 | #Constraints:      22335
2207.21/2212.73	c #Conflicts:     366000 | #Constraints:      23335
2207.21/2212.73	c #Conflicts:     367000 | #Constraints:      24335
2207.21/2212.73	c #Conflicts:     368000 | #Constraints:      25335
2207.21/2212.73	c #Conflicts:     369000 | #Constraints:      26335
2207.21/2212.73	c INPROCESSING
2207.21/2212.73	c GARBAGE COLLECT
2207.21/2212.73	c #Conflicts:     370000 | #Constraints:      15335
2207.21/2212.73	c #Conflicts:     371000 | #Constraints:      16335
2207.21/2212.73	c #Conflicts:     372000 | #Constraints:      17335
2207.21/2212.73	c #Conflicts:     373000 | #Constraints:      18335
2207.21/2212.73	c #Conflicts:     374000 | #Constraints:      19335
2207.21/2212.73	c #Conflicts:     375000 | #Constraints:      20335
2207.21/2212.73	c #Conflicts:     376000 | #Constraints:      21335
2207.21/2212.73	c #Conflicts:     377000 | #Constraints:      22335
2207.21/2212.73	c #Conflicts:     378000 | #Constraints:      23335
2207.21/2212.73	c #Conflicts:     379000 | #Constraints:      24335
2207.21/2212.73	c #Conflicts:     380000 | #Constraints:      25335
2207.21/2212.73	c #Conflicts:     381000 | #Constraints:      26335
2207.21/2212.73	c INPROCESSING
2207.21/2212.73	c GARBAGE COLLECT
2207.21/2212.73	c #Conflicts:     382000 | #Constraints:      15139
2207.21/2212.73	c #Conflicts:     383000 | #Constraints:      16139
2207.21/2212.73	c #Conflicts:     384000 | #Constraints:      17139
2207.21/2212.73	c #Conflicts:     385000 | #Constraints:      18139
2207.21/2212.73	c #Conflicts:     386000 | #Constraints:      19139
2207.21/2212.73	c #Conflicts:     387000 | #Constraints:      20139
2207.21/2212.73	c #Conflicts:     388000 | #Constraints:      21139
2207.21/2212.73	c #Conflicts:     389000 | #Constraints:      22139
2207.21/2212.73	c #Conflicts:     390000 | #Constraints:      23139
2207.21/2212.73	c #Conflicts:     391000 | #Constraints:      24139
2207.21/2212.73	c #Conflicts:     392000 | #Constraints:      25139
2207.21/2212.73	c #Conflicts:     393000 | #Constraints:      26139
2207.21/2212.73	c #Conflicts:     394000 | #Constraints:      27140
2207.21/2212.73	c INPROCESSING
2207.21/2212.73	c GARBAGE COLLECT
2207.21/2212.73	c #Conflicts:     395000 | #Constraints:      15743
2207.21/2212.73	c #Conflicts:     396000 | #Constraints:      16743
2207.21/2212.73	WSVECS04 Frhs2[23]: 6 -1.00009 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[24]: 6 -1.00004 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[139]: 6 -3.10942 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[142]: 6 -4.37509 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[287]: 6 -4097.25 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[288]: 6 -8193.5 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[375]: 6 -65541 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[552]: 6 0 1.00009 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[576]: 6 0 1.75004 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[613]: 6 -117 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[634]: 6 -1.00009 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[639]: 6 -8187.06 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[640]: 6 -16379.1 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[655]: 6 -1.00005 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[660]: 6 -1.00004 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[661]: 6 -1.00001 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[681]: 6 -1.00006 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[684]: 6 -262125 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[685]: 6 -1.00005 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[703]: 6 -1.00003 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[724]: 6 -1.00003 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[745]: 6 -1.00007 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[766]: 6 -1.00007 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[768]: 6 -1.00001 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[789]: 6 -1.00009 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[810]: 6 -1.00002 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[831]: 6 -1.00008 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[852]: 6 -1.00004 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1009]: 6 -1.00004 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1033]: 6 -1.00006 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1039]: 6 -1.00003 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1051]: 6 -1.00001 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1054]: 6 -1.00007 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1138]: 6 -1.00004 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1149]: 6 -1.0001 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1159]: 6 -1.00003 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1168]: 6 -1.00002 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1213]: 6 -1.00005 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1222]: 6 -1.00003 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1233]: 6 -1.00004 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1234]: 6 -1.00007 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1237]: 6 -1.00005 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1239]: 6 -1.00008 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1243]: 6 -1.00006 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1259]: 6 -1.00006 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1321]: 6 -1.00002 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1327]: 6 -1.00009 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1352]: 6 -1.00009 0 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1495]: 6 0 2.09715e+06 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1498]: 6 0 1.67772e+07 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1499]: 6 0 3.35544e+07 shouldn't be
2207.21/2212.73	WSVECS04 Frhs2[1500]: 6 0 6.71089e+07 shouldn't be
2996.64/3004.05	c #Conflicts:     397000 | #Constraints:      17743
2996.64/3004.05	c #Conflicts:     398000 | #Constraints:      18743
2996.64/3004.05	c #Conflicts:     399000 | #Constraints:      19743
2996.64/3004.05	c #Conflicts:     400000 | #Constraints:      20743
2996.64/3004.05	c #Conflicts:     401000 | #Constraints:      21743
2996.64/3004.05	c #Conflicts:     402000 | #Constraints:      22743
2996.64/3004.05	c #Conflicts:     403000 | #Constraints:      23743
2996.64/3004.05	c #Conflicts:     404000 | #Constraints:      24743
2996.64/3004.05	c #Conflicts:     405000 | #Constraints:      25743
2996.64/3004.05	c #Conflicts:     406000 | #Constraints:      26743
2996.64/3004.05	c #Conflicts:     407000 | #Constraints:      27743
2996.64/3004.05	c INPROCESSING
2996.64/3004.05	c GARBAGE COLLECT
2996.64/3004.05	c #Conflicts:     408000 | #Constraints:      16142
2996.64/3004.05	c #Conflicts:     409000 | #Constraints:      17142
2996.64/3004.05	c #Conflicts:     410000 | #Constraints:      18142
2996.64/3004.05	c #Conflicts:     411000 | #Constraints:      19142
2996.64/3004.05	c #Conflicts:     412000 | #Constraints:      20142
2996.64/3004.05	c #Conflicts:     413000 | #Constraints:      21142
2996.64/3004.05	c #Conflicts:     414000 | #Constraints:      22142
2996.64/3004.05	c #Conflicts:     415000 | #Constraints:      23142
2996.64/3004.05	c #Conflicts:     416000 | #Constraints:      24142
2996.64/3004.05	c #Conflicts:     417000 | #Constraints:      25143
2996.64/3004.05	c #Conflicts:     418000 | #Constraints:      26143
2996.64/3004.05	c #Conflicts:     419000 | #Constraints:      27143
2996.64/3004.05	c #Conflicts:     420000 | #Constraints:      28143
2996.64/3004.05	c INPROCESSING
2996.64/3004.05	c GARBAGE COLLECT
2996.64/3004.05	c #Conflicts:     421000 | #Constraints:      16344
2996.64/3004.05	c #Conflicts:     422000 | #Constraints:      17344
2996.64/3004.05	c #Conflicts:     423000 | #Constraints:      18344
2996.64/3004.05	c #Conflicts:     424000 | #Constraints:      19344
2996.64/3004.05	c #Conflicts:     425000 | #Constraints:      20344
2996.64/3004.05	c #Conflicts:     426000 | #Constraints:      21344
2996.64/3004.05	c #Conflicts:     427000 | #Constraints:      22344
2996.64/3004.05	c #Conflicts:     428000 | #Constraints:      23344
2996.64/3004.05	c #Conflicts:     429000 | #Constraints:      24344
2996.64/3004.05	c #Conflicts:     430000 | #Constraints:      25344
2996.64/3004.05	c #Conflicts:     431000 | #Constraints:      26344
2996.64/3004.05	c #Conflicts:     432000 | #Constraints:      27344
2996.64/3004.05	c #Conflicts:     433000 | #Constraints:      28344
2996.64/3004.05	c INPROCESSING
2996.64/3004.05	c GARBAGE COLLECT
2996.64/3004.05	c #Conflicts:     434000 | #Constraints:      16345
2996.64/3004.05	c #Conflicts:     435000 | #Constraints:      17345
2996.64/3004.05	c #Conflicts:     436000 | #Constraints:      18345
2996.64/3004.05	c #Conflicts:     437000 | #Constraints:      19345
2996.64/3004.05	c #Conflicts:     438000 | #Constraints:      20345
2996.64/3004.05	c #Conflicts:     439000 | #Constraints:      21345
2996.64/3004.05	c #Conflicts:     440000 | #Constraints:      22345
2996.64/3004.05	c #Conflicts:     441000 | #Constraints:      23345
2996.64/3004.05	c #Conflicts:     442000 | #Constraints:      24345
2996.64/3004.05	c #Conflicts:     443000 | #Constraints:      25345
2996.64/3004.05	c #Conflicts:     444000 | #Constraints:      26345
2996.64/3004.05	c #Conflicts:     445000 | #Constraints:      27345
2996.64/3004.05	c #Conflicts:     446000 | #Constraints:      28345
2996.64/3004.05	c INPROCESSING
2996.64/3004.05	c GARBAGE COLLECT
2996.64/3004.05	c #Conflicts:     447000 | #Constraints:      16146
2996.64/3004.05	c #Conflicts:     448000 | #Constraints:      17146
2996.64/3004.05	c #Conflicts:     449000 | #Constraints:      18146
2996.64/3004.05	c #Conflicts:     450000 | #Constraints:      19146
2996.64/3004.05	c #Conflicts:     451000 | #Constraints:      20146
2996.64/3004.05	c #Conflicts:     452000 | #Constraints:      21146
2996.64/3004.05	c #Conflicts:     453000 | #Constraints:      22146
2996.64/3004.05	c #Conflicts:     454000 | #Constraints:      23146
2996.64/3004.05	c #Conflicts:     455000 | #Constraints:      24146
2996.64/3004.05	c #Conflicts:     456000 | #Constraints:      25146
2996.64/3004.05	c #Conflicts:     457000 | #Constraints:      26146
2996.64/3004.05	c #Conflicts:     458000 | #Constraints:      27146
2996.64/3004.05	c #Conflicts:     459000 | #Constraints:      28146
2996.64/3004.05	c #Conflicts:     460000 | #Constraints:      29146
2996.64/3004.05	c INPROCESSING
2996.64/3004.05	c GARBAGE COLLECT
2996.64/3004.05	c #Conflicts:     461000 | #Constraints:      16744
2996.64/3004.05	c #Conflicts:     462000 | #Constraints:      17744
2996.64/3004.05	c #Conflicts:     463000 | #Constraints:      18744
2996.64/3004.05	c #Conflicts:     464000 | #Constraints:      19744
2996.64/3004.05	c #Conflicts:     465000 | #Constraints:      20744
2996.64/3004.05	c #Conflicts:     466000 | #Constraints:      21744
2996.64/3004.05	c #Conflicts:     467000 | #Constraints:      22744
2996.64/3004.05	c #Conflicts:     468000 | #Constraints:      23744
2996.64/3004.05	c #Conflicts:     469000 | #Constraints:      24744
2996.64/3004.05	c #Conflicts:     470000 | #Constraints:      25744
2996.64/3004.05	c #Conflicts:     471000 | #Constraints:      26744
2996.64/3004.05	c #Conflicts:     472000 | #Constraints:      27744
3600.03/3609.10	c #Conflicts:     473000 | #Constraints:      28744
3600.03/3609.10	c #Conflicts:     474000 | #Constraints:      29744
3600.03/3609.10	c INPROCESSING
3600.03/3609.10	c GARBAGE COLLECT
3600.03/3609.10	c #Conflicts:     475000 | #Constraints:      17150
3600.03/3609.10	c #Conflicts:     476000 | #Constraints:      18150
3600.03/3609.10	c #Conflicts:     477000 | #Constraints:      19150
3600.03/3609.10	c #Conflicts:     478000 | #Constraints:      20150
3600.03/3609.10	c #Conflicts:     479000 | #Constraints:      21150
3600.03/3609.10	c #Conflicts:     480000 | #Constraints:      22150
3600.03/3609.10	c #Conflicts:     481000 | #Constraints:      23150
3600.03/3609.10	c #Conflicts:     482000 | #Constraints:      24150
3600.03/3609.10	c #Conflicts:     483000 | #Constraints:      25150
3600.03/3609.10	c #Conflicts:     484000 | #Constraints:      26150
3600.03/3609.10	c #Conflicts:     485000 | #Constraints:      27150
3600.03/3609.10	c #Conflicts:     486000 | #Constraints:      28150
3600.03/3609.10	c #Conflicts:     487000 | #Constraints:      29150
3600.03/3609.10	c #Conflicts:     488000 | #Constraints:      30150
3600.03/3609.10	c INPROCESSING
3600.03/3609.10	c GARBAGE COLLECT
3600.03/3609.10	c #Conflicts:     489000 | #Constraints:      17346
3600.03/3609.10	c #Conflicts:     490000 | #Constraints:      18346
3600.03/3609.10	c #Conflicts:     491000 | #Constraints:      19346
3600.03/3609.10	c #Conflicts:     492000 | #Constraints:      20346
3600.03/3609.10	c #Conflicts:     493000 | #Constraints:      21346
3600.03/3609.10	c #Conflicts:     494000 | #Constraints:      22346
3600.03/3609.10	c #Conflicts:     495000 | #Constraints:      23346
3600.03/3609.10	c #Conflicts:     496000 | #Constraints:      24346
3600.03/3609.10	c #Conflicts:     497000 | #Constraints:      25346
3600.03/3609.10	c #Conflicts:     498000 | #Constraints:      26346
3600.03/3609.10	c #Conflicts:     499000 | #Constraints:      27346
3600.03/3609.10	c #Conflicts:     500000 | #Constraints:      28346
3600.03/3609.10	c #Conflicts:     501000 | #Constraints:      29346
3600.03/3609.10	c #Conflicts:     502000 | #Constraints:      30346
3600.03/3609.10	c INPROCESSING
3600.03/3609.10	c GARBAGE COLLECT
3600.03/3609.10	c #Conflicts:     503000 | #Constraints:      17346
3600.03/3609.10	c #Conflicts:     504000 | #Constraints:      18346
3600.03/3609.10	c #Conflicts:     505000 | #Constraints:      19346
3600.03/3609.10	c #Conflicts:     506000 | #Constraints:      20346
3600.03/3609.10	c #Conflicts:     507000 | #Constraints:      21346
3600.03/3609.10	c #Conflicts:     508000 | #Constraints:      22346
3600.03/3609.10	c #Conflicts:     509000 | #Constraints:      23346
3600.03/3609.10	c #Conflicts:     510000 | #Constraints:      24346
3600.03/3609.10	c #Conflicts:     511000 | #Constraints:      25346
3600.03/3609.10	c #Conflicts:     512000 | #Constraints:      26346
3600.03/3609.10	c #Conflicts:     513000 | #Constraints:      27346
3600.03/3609.10	c #Conflicts:     514000 | #Constraints:      28346
3600.03/3609.10	c #Conflicts:     515000 | #Constraints:      29346
3600.03/3609.10	c #Conflicts:     516000 | #Constraints:      30346
3600.03/3609.10	c INPROCESSING
3600.03/3609.10	c GARBAGE COLLECT
3600.03/3609.10	c #Conflicts:     517000 | #Constraints:      17144
3600.03/3609.10	c #Conflicts:     518000 | #Constraints:      18144
3600.03/3609.10	c cpu time 3595.92 s
3600.03/3609.10	c deterministic time 1099202556335 1.10e+12
3600.03/3609.10	c optimization time 13.0947 s
3600.03/3609.10	c total solve time 3582.82 s
3600.03/3609.10	c core-guided solve time 0 s
3600.03/3609.10	c propagation time 3119.25 s
3600.03/3609.10	c conflict analysis time 439.496 s
3600.03/3609.10	c propagations 76229605
3600.03/3609.10	c resolve steps 52704450
3600.03/3609.10	c decisions 655197
3600.03/3609.10	c conflicts 518874
3600.03/3609.10	c restarts 1052
3600.03/3609.10	c inprocessing phases 63
3600.03/3609.10	c garbage collections 63 ,( 100.00 )
3600.03/3609.10	c input clauses 1584 ,( 63.08 )
3600.03/3609.10	c input cardinalities 0 ,( 0.00 )
3600.03/3609.10	c input general constraints 927 ,( 36.92 )
3600.03/3609.10	c input average constraint length 3.73
3600.03/3609.10	c input average constraint degree 21018140083.22
3600.03/3609.10	c learned clauses 12901 ,( 2.49 )
3600.03/3609.10	c learned cardinalities 1 ,( 0.00 )
3600.03/3609.10	c learned general constraints 506096 ,( 97.51 )
3600.03/3609.10	c learned average constraint length 456.84
3600.03/3609.10	c learned average constraint degree 940439971.58
3600.03/3609.10	c watched  CF 32, 64, 128, Arb: 1821 , 0 , 0 , 0
3600.03/3609.10	c counting CF 32, 64, 128, Arb: 505199 , 3 , 0 , 0
3600.03/3609.10	c watched   constraints 1821 ,( 0.36 ) 
3600.03/3609.10	c counting  constraints 505202 ,( 99.64 ) 
3600.03/3609.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 111699041 , 2048 , 46374467215 ,( 6818273 , 46367648942 )
3600.03/3609.10	c gcd simplifications 3861
3600.03/3609.10	c detected cardinalities 0
3600.03/3609.10	c weakened non-implied lits 14545898
3600.03/3609.10	c weakened non-implying lits 610607
3600.03/3609.10	c original variables 1562
3600.03/3609.10	c clausal propagations 17363399
3600.03/3609.10	c cardinality propagations 1
3600.03/3609.10	c watched propagations 44916
3600.03/3609.10	c counting propagations 58317736
3600.03/3609.10	c watch lookups 47102813084
3600.03/3609.10	c watch backjump lookups 0
3600.03/3609.10	c watch checks 236422634
3600.03/3609.10	c propagation checks 1050550907082
3600.03/3609.10	c constraint additions 1158030973
3600.03/3609.10	c trail pops 77402114
3600.03/3609.10	c formula constraints 2511
3600.03/3609.10	c learned constraints 518873
3600.03/3609.10	c bound constraints 0
3600.03/3609.10	c core-guided constraints 0
3600.03/3609.10	c encountered formula constraints 51022467
3600.03/3609.10	c encountered learned constraints 2198844
3600.03/3609.10	c encountered bound constraints 0
3600.03/3609.10	c encountered core-guided constraints 0
3600.03/3609.10	c LP total time 16.0675 s
3600.03/3609.10	c LP solve time 12.3 s
3600.03/3609.10	c LP constraints added 2529
3600.03/3609.10	c LP constraints removed 3
3600.03/3609.10	c LP pivots internal 52323
3600.03/3609.10	c LP pivots root 43322
3600.03/3609.10	c LP calls 260
3600.03/3609.10	c LP optimalities 50
3600.03/3609.10	c LP no pivot count 3
3600.03/3609.10	c LP infeasibilities 156
3600.03/3609.10	c LP valid Farkas constraints 112
3600.03/3609.10	c LP learned Farkas constraints 0
3600.03/3609.10	c LP basis resets 51
3600.03/3609.10	c LP cycling count 1
3600.03/3609.10	c LP singular count 33
3600.03/3609.10	c LP no primal count 0
3600.03/3609.10	c LP no farkas count 0
3600.03/3609.10	c LP other issue count 17
3600.03/3609.10	c LP Gomory cuts 13
3600.03/3609.10	c LP learned cuts 5
3600.03/3609.10	c LP deleted cuts 3
3600.03/3609.10	c LP encountered Gomory constraints 1
3600.03/3609.10	c LP encountered Farkas constraints 2012
3600.03/3609.10	c LP encountered learned Farkas constraints 0
3600.03/3609.10	c CG auxiliary variables introduced 0
3600.03/3609.10	c CG solutions found 0
3600.03/3609.10	c CG cores constructed 0
3600.03/3609.10	c CG core cardinality constraints returned 0
3600.03/3609.10	c CG unit cores 0
3600.03/3609.10	c CG single cores 0
3600.03/3609.10	c CG blocks removed during cardinality reduction 0
3600.03/3609.10	c CG first core best 0
3600.03/3609.10	c CG decision core best 0
3600.03/3609.10	c CG core reduction tie 0
3600.03/3609.10	c CG core degree average 0.00
3600.03/3609.10	c CG core slack average 0.00
3600.03/3609.10	c CG core upper bound improvements 0
3600.03/3609.10	c STR number of successful calls 0
3600.03/3609.10	c STR number of unsuccessful calls 0
3600.03/3609.10	c STR number of inconclusive calls 0
3600.03/3609.10	c STR number of successful attempts 0
3600.03/3609.10	c STR number of unsuccessful attempts 0
3600.03/3609.10	c STR number of inconclusive attempts 0
3600.03/3609.10	c STR average degree increase per successful call inf
3600.03/3609.10	c STR average degree increase per successful attempt inf
3600.03/3609.10	c STR total number of conflicts for successful attempts 0
3600.03/3609.10	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.10	c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.10	c STR average number of conflicts per successful attempt inf
3600.03/3609.10	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.10	c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.10	c AVG.sumWPerc 99.13 
3600.03/3609.10	c bigint constraints 3 
3600.03/3609.10	s UNKNOWN
3600.03/3609.10	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 (58068 MiB free)
  memory of node 1: 64465 MiB (56726 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541995-1753211592/watcher-4541995-1753211592 -o /tmp/evaluation-result-4541995-1753211592/solver-4541995-1753211592 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171552 --watchdog 3760 run-dec.sh HOME/instance-4541995-1753211592.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=171595, runsolver pid=171590

[startup+0.100062 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117515892/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=61944 memory=17792 CPUtime=0.08 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 2353 0 0 0 7 1 0 0 20 0 1 0 236837812 63430656 4448 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 15486 4448 2336 1147 0 2913 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66136 KiB
Current children cumulated memory: 20736 KiB

[startup+0.205604 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117475792/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=64320 memory=20224 CPUtime=0.18 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 2966 0 0 0 17 1 0 0 20 0 1 0 236837812 65863680 5056 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 16080 5056 2336 1147 0 3507 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68512 KiB
Current children cumulated memory: 23168 KiB

[startup+0.305477 s]*
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117470752/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=65936 memory=21888 CPUtime=0.28 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 3364 0 0 0 27 1 0 0 20 0 1 0 236837812 67518464 5472 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 16484 5472 2336 1147 0 3911 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70128 KiB
Current children cumulated memory: 24832 KiB

[startup+0.70017 s]
/proc/loadavg: 1.09 1.13 1.62 5/269 171615
/proc/meminfo: memFree=117466720/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=71932 memory=29564 CPUtime=0.67 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 4795 0 0 0 65 2 0 0 20 0 1 0 236837812 73658368 7391 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 17983 7391 2336 1147 0 5410 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 76124 KiB
Current children cumulated memory: 32508 KiB

[startup+1.50019 s]
/proc/loadavg: 1.32 1.18 1.63 5/269 171615
/proc/meminfo: memFree=117447072/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=81248 memory=38012 CPUtime=1.46 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 6894 0 0 0 144 2 0 0 20 0 1 0 236837812 83197952 9503 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 20312 9503 2336 1147 0 7739 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 85440 KiB
Current children cumulated memory: 40956 KiB

[startup+3.10539 s]
/proc/loadavg: 1.32 1.18 1.63 5/269 171615
/proc/meminfo: memFree=117403496/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=101212 memory=52892 CPUtime=3.07 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 10115 0 0 0 303 4 0 0 20 0 1 0 236837812 103641088 13223 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 25303 13223 2336 1147 0 12730 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 105404 KiB
Current children cumulated memory: 55836 KiB

[startup+6.30019 s]
/proc/loadavg: 1.54 1.22 1.65 5/269 171615
/proc/meminfo: memFree=117391572/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=110604 memory=62432 CPUtime=6.25 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 11989 0 0 0 619 6 0 0 20 0 1 0 236837812 113258496 15608 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 27651 15608 2336 1147 0 15078 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 114796 KiB
Current children cumulated memory: 65376 KiB

[startup+12.7002 s]
/proc/loadavg: 1.82 1.29 1.67 5/269 171661
/proc/meminfo: memFree=115816236/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=126636 memory=75964 CPUtime=12.64 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 14866 0 0 0 1255 9 0 0 20 0 1 0 236837812 129675264 18991 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 31659 18991 2336 1147 0 19086 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 130828 KiB
Current children cumulated memory: 78908 KiB

[startup+25.5002 s]
/proc/loadavg: 2.15 1.38 1.69 5/269 171661
/proc/meminfo: memFree=114734676/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=156700 memory=92436 CPUtime=25.4 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 18481 0 0 0 2526 14 0 0 20 0 1 0 236837812 160460800 23109 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 39175 23109 2336 1147 0 26602 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 160892 KiB
Current children cumulated memory: 95380 KiB

[startup+51.1055 s]
/proc/loadavg: 2.95 1.64 1.77 5/269 171662
/proc/meminfo: memFree=114645864/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=160664 memory=104540 CPUtime=50.95 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 20340 0 0 0 5075 20 0 0 20 0 1 0 236837812 164519936 26135 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 40166 26135 2336 1147 0 27593 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 164856 KiB
Current children cumulated memory: 107484 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.03 1.90 5/268 171665
/proc/meminfo: memFree=114431004/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=170760 memory=121704 CPUtime=102.02 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 22160 0 0 0 10174 28 0 0 20 0 1 0 236837812 174858240 30426 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 42690 30426 2336 1147 0 30117 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 174952 KiB
Current children cumulated memory: 124648 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.40 2.04 5/268 171667
/proc/meminfo: memFree=114292916/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=186516 memory=133960 CPUtime=161.88 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 24722 0 0 0 16154 34 0 0 20 0 1 0 236837812 190992384 33490 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 46629 33490 2336 1147 0 34056 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 190708 KiB
Current children cumulated memory: 136904 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.71 2.17 5/268 171669
/proc/meminfo: memFree=114053544/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=221208 memory=146120 CPUtime=221.74 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 27793 0 0 0 22134 40 0 0 20 0 1 0 236837812 226516992 36530 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 55302 36530 2336 1147 0 42729 0
Current children cumulated CPU time: 221.74 s

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

/proc/171598/statm: 125459 97684 2464 1147 0 112886 0
Current children cumulated CPU time: 3094.66 s
Current children cumulated vsize: 506028 KiB
Current children cumulated memory: 393680 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/267 171873
/proc/meminfo: memFree=115009568/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=501836 memory=390736 CPUtime=3154.49 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 70155 0 0 0 315064 385 0 0 20 0 1 0 236837812 513880064 97684 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 125459 97684 2464 1147 0 112886 0
Current children cumulated CPU time: 3154.49 s
Current children cumulated vsize: 506028 KiB
Current children cumulated memory: 393680 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/267 171875
/proc/meminfo: memFree=114960488/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=501836 memory=390736 CPUtime=3214.32 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 70155 0 0 0 321043 389 0 0 20 0 1 0 236837812 513880064 97684 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 125459 97684 2464 1147 0 112886 0
Current children cumulated CPU time: 3214.32 s
Current children cumulated vsize: 506028 KiB
Current children cumulated memory: 393680 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/267 171877
/proc/meminfo: memFree=114902712/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=502636 memory=393568 CPUtime=3274.15 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 70356 0 0 0 327023 392 0 0 20 0 1 0 236837812 514699264 98392 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 125659 98392 2464 1147 0 113086 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 506828 KiB
Current children cumulated memory: 396512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 171886
/proc/meminfo: memFree=114806156/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=502860 memory=393696 CPUtime=3333.98 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 70381 0 0 0 333003 395 0 0 20 0 1 0 236837812 514928640 98424 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 125715 98424 2464 1147 0 113142 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 507052 KiB
Current children cumulated memory: 396640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 171889
/proc/meminfo: memFree=114741076/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=518988 memory=402528 CPUtime=3393.81 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 72616 0 0 0 338983 398 0 0 20 0 1 0 236837812 531443712 100632 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 129747 100632 2464 1147 0 117174 0
Current children cumulated CPU time: 3393.81 s
Current children cumulated vsize: 523180 KiB
Current children cumulated memory: 405472 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/269 171892
/proc/meminfo: memFree=114653796/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=518988 memory=405100 CPUtime=3453.64 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 72739 0 0 0 344963 401 0 0 20 0 1 0 236837812 531443712 101275 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 129747 101275 2464 1147 0 117174 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 523180 KiB
Current children cumulated memory: 408044 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 171894
/proc/meminfo: memFree=114667312/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=519788 memory=405868 CPUtime=3513.47 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 72939 0 0 0 350942 405 0 0 20 0 1 0 236837812 532262912 101467 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 129947 101467 2464 1147 0 117374 0
Current children cumulated CPU time: 3513.47 s
Current children cumulated vsize: 523980 KiB
Current children cumulated memory: 408812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 171988
/proc/meminfo: memFree=115081660/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=519788 memory=405868 CPUtime=3573.3 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 72939 0 0 0 356921 409 0 0 20 0 1 0 236837812 532262912 101467 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 129947 101467 2464 1147 0 117374 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 523980 KiB
Current children cumulated memory: 408812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 171989
/proc/meminfo: memFree=115025132/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=520300 memory=406380 CPUtime=3600.03 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 73067 0 0 0 359591 412 0 0 20 0 1 0 236837812 532787200 101595 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 130075 101595 2464 1147 0 117502 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 524492 KiB
Current children cumulated memory: 409324 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3595.92 s, system=4.12915 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.11 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 171989
/proc/meminfo: memFree=115025132/131249996 swapFree=33010160/33010684
[pid=171595] ppid=171590 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/171595/stat : 171595 (run-dec.sh) S 171590 171595 171541 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 236837812 4292608 736 18446744073709551615 94547797315584 94547798210117 140734754613504 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94547798449168 94547798496912 94547809927168 140734754621803 140734754621926 140734754621926 140734754627530 0
/proc/171595/statm: 1048 736 672 219 0 110 0
[pid=171598] ppid=171595 vsize=520300 memory=406380 CPUtime=3600.03 cores=4,6
/proc/171598/stat : 171598 (roundingsat) R 171595 171595 171541 0 -1 4194304 73067 0 0 0 359591 412 0 0 20 0 1 0 236837812 532787200 101595 18446744073709551615 4227072 8923433 140728419300272 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 33832960 140728419301813 140728419301926 140728419301926 140728419307498 0
/proc/171598/statm: 130075 101595 2464 1147 0 117502 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 524492 KiB
Current children cumulated memory: 409324 KiB

Child status: 2

Real time (s): 3609.11
CPU time (s): 3600.05
CPU user time (s): 3595.92
CPU system time (s): 4.12915
CPU usage (%): 99.7488
Max. virtual memory (cumulated for all children) (KiB): 524492
Max. memory (cumulated for all children) (KiB): 409324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.92
system time used= 4.12915
maximum resident set size= 406636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73290
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= 209
involuntary context switches= 2844


# summary of solver processes directly reported to runsolver:
#   pid: 171595,171598
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3595.92
#   total CPU system time (s): 4.12915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2493 second user time and 16.4078 second system time

The end

Begin job on nodeC032 at 2025-07-22 21:13:12
IDJOB=4541995
IDBENCH=163705
IDSOLVER=3349
FILE ID=nodeC032/4541995-1753211592
RUNJOBID= nodeC032-1753211592-171552
SLURM_JOB_ID= 9687796
Free space on /tmp= 432584 MiB

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

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

MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=1347807800

nodeC032 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.846
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.69
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.836
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.69
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		: 3602.177
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        117541008 kB
MemAvailable:   129571172 kB
Buffers:            2728 kB
Cached:         12710120 kB
SwapCached:           20 kB
Active:          1202400 kB
Inactive:       11579140 kB
Active(anon):      92132 kB
Inactive(anon):     3124 kB
Active(file):    1110268 kB
Inactive(file): 11576016 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22680 kB
Writeback:             0 kB
AnonPages:         71744 kB
Mapped:           108388 kB
Shmem:             26240 kB
KReclaimable:     366236 kB
Slab:             465232 kB
SReclaimable:     366236 kB
SUnreclaim:        98996 kB
KernelStack:        4096 kB
PageTables:         2796 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     352768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432536 MiB
End job on nodeC032 at 2025-07-22 22:13:21