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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541996-1753202597/watcher-4541996-1753202597 -o /tmp/evaluation-result-4541996-1753202597/solver-4541996-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753198973-149647 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4541996-1753202597.opb /tmp/proof-4541996-1753202597 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=150052, runsolver pid=150048

[startup+0.100058 s]*
/proc/loadavg: 4.31 4.17 4.07 4/256 150059
/proc/meminfo: memFree=128714440/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=61912 memory=17716 CPUtime=0.08 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 2330 0 0 0 8 0 0 0 20 0 1 0 235938312 63397888 4429 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 15478 4429 2336 1147 0 2905 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 66104 KiB
Current children cumulated memory: 20788 KiB

[startup+0.205191 s]*
/proc/loadavg: 4.31 4.17 4.07 4/261 150068
/proc/meminfo: memFree=128704176/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=64288 memory=20148 CPUtime=0.19 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 2954 0 0 0 18 1 0 0 20 0 1 0 235938312 65830912 5037 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 16072 5037 2336 1147 0 3499 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 68480 KiB
Current children cumulated memory: 23220 KiB

[startup+0.304957 s]*
/proc/loadavg: 4.31 4.17 4.07 4/264 150076
/proc/meminfo: memFree=128691888/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=65488 memory=21428 CPUtime=0.29 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 3245 0 0 0 28 1 0 0 20 0 1 0 235938312 67059712 5357 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 16372 5357 2336 1147 0 3799 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69680 KiB
Current children cumulated memory: 24500 KiB

[startup+0.700145 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128679304/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=70444 memory=28064 CPUtime=0.67 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 4407 0 0 0 66 1 0 0 20 0 1 0 235938312 72134656 7016 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 17611 7016 2336 1147 0 5038 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 74636 KiB
Current children cumulated memory: 31136 KiB

[startup+1.50019 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128652044/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=81076 memory=37280 CPUtime=1.47 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 6705 0 0 0 145 2 0 0 20 0 1 0 235938312 83021824 9320 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 20269 9320 2336 1147 0 7696 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 85268 KiB
Current children cumulated memory: 40352 KiB

[startup+3.10544 s]
/proc/loadavg: 4.31 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128557260/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=94348 memory=48100 CPUtime=3.07 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 8903 0 0 0 302 5 0 0 20 0 1 0 235938312 96612352 12025 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 23587 12025 2336 1147 0 11014 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 98540 KiB
Current children cumulated memory: 51172 KiB

[startup+6.30019 s]
/proc/loadavg: 4.29 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128461612/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=104612 memory=59236 CPUtime=6.26 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 11684 0 0 0 618 8 0 0 20 0 1 0 235938312 107122688 14809 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 26153 14809 2336 1147 0 13580 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108804 KiB
Current children cumulated memory: 62308 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.07 5/267 150083
/proc/meminfo: memFree=128324932/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=127836 memory=77220 CPUtime=12.64 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 15154 0 0 0 1251 13 0 0 20 0 1 0 235938312 130904064 19305 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 31959 19305 2336 1147 0 19386 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 132028 KiB
Current children cumulated memory: 80292 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.08 5/267 150084
/proc/meminfo: memFree=128097760/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=157564 memory=93444 CPUtime=25.41 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 18720 0 0 0 2519 22 0 0 20 0 1 0 235938312 161345536 23361 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 39391 23361 2336 1147 0 26818 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 161756 KiB
Current children cumulated memory: 96516 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.16 4.08 5/267 150085
/proc/meminfo: memFree=127741344/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=161380 memory=101988 CPUtime=50.94 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 20341 0 0 0 5055 39 0 0 20 0 1 0 235938312 165253120 25497 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 40345 25497 2336 1147 0 27772 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 165572 KiB
Current children cumulated memory: 105060 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.09 5/268 150088
/proc/meminfo: memFree=126929128/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=170348 memory=112848 CPUtime=102 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 22535 0 0 0 10130 70 0 0 20 0 1 0 235938312 174436352 28212 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 42587 28212 2336 1147 0 30014 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 174540 KiB
Current children cumulated memory: 115920 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.20 4.10 5/268 150090
/proc/meminfo: memFree=126032828/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=183776 memory=127476 CPUtime=161.84 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 25175 0 0 0 16081 103 0 0 20 0 1 0 235938312 188186624 31869 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 45944 31869 2336 1147 0 33371 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 187968 KiB
Current children cumulated memory: 130548 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 4.21 4.10 5/268 150092
/proc/meminfo: memFree=125173784/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=193036 memory=135412 CPUtime=221.67 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 27158 0 0 0 22033 134 0 0 20 0 1 0 235938312 197668864 33853 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 48259 33853 2336 1147 0 35686 0

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

/proc/150054/statm: 102146 88078 2464 1147 0 89573 0
Current children cumulated CPU time: 3033.86 s
Current children cumulated vsize: 412776 KiB
Current children cumulated memory: 355384 KiB

[startup+3102.3 s]
/proc/loadavg: 4.41 4.27 4.21 5/269 150249
/proc/meminfo: memFree=98467016/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=433872 memory=368700 CPUtime=3093.67 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 61160 0 0 0 308355 1012 0 0 20 0 1 0 235938312 444284928 92175 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 108468 92175 2464 1147 0 95895 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 438064 KiB
Current children cumulated memory: 371772 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.24 4.20 5/268 150251
/proc/meminfo: memFree=98063920/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=433872 memory=368700 CPUtime=3153.5 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 61160 0 0 0 314324 1026 0 0 20 0 1 0 235938312 444284928 92175 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 108468 92175 2464 1147 0 95895 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 438064 KiB
Current children cumulated memory: 371772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.26 4.25 4.20 5/268 150253
/proc/meminfo: memFree=97593544/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=435976 memory=369724 CPUtime=3213.33 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 61428 0 0 0 320291 1042 0 0 20 0 1 0 235938312 446439424 92431 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 108994 92431 2464 1147 0 96421 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 440168 KiB
Current children cumulated memory: 372796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.19 5/267 150255
/proc/meminfo: memFree=97137876/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=504952 memory=383052 CPUtime=3273.14 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 64251 0 0 0 326253 1061 0 0 20 0 1 0 235938312 517070848 95763 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 126238 95763 2464 1147 0 113665 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 509144 KiB
Current children cumulated memory: 386124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.22 4.19 5/266 150257
/proc/meminfo: memFree=96662004/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=504952 memory=383052 CPUtime=3332.95 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 64251 0 0 0 332222 1073 0 0 20 0 1 0 235938312 517070848 95763 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 126238 95763 2464 1147 0 113665 0
Current children cumulated CPU time: 3332.95 s
Current children cumulated vsize: 509144 KiB
Current children cumulated memory: 386124 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.21 4.18 5/266 150259
/proc/meminfo: memFree=96315540/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=504952 memory=383052 CPUtime=3392.76 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 64251 0 0 0 338191 1085 0 0 20 0 1 0 235938312 517070848 95763 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 126238 95763 2464 1147 0 113665 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 509144 KiB
Current children cumulated memory: 386124 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/267 150262
/proc/meminfo: memFree=95863232/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=505264 memory=383564 CPUtime=3452.57 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 64376 0 0 0 344162 1095 0 0 20 0 1 0 235938312 517390336 95891 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 126316 95891 2464 1147 0 113743 0
Current children cumulated CPU time: 3452.57 s
Current children cumulated vsize: 509456 KiB
Current children cumulated memory: 386636 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/267 150264
/proc/meminfo: memFree=95472256/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=507860 memory=415820 CPUtime=3512.41 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 64836 0 0 0 350128 1113 0 0 20 0 1 0 235938312 520048640 103955 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 126965 103955 2464 1147 0 114392 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 512052 KiB
Current children cumulated memory: 418892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/267 150266
/proc/meminfo: memFree=95054420/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=508080 memory=420556 CPUtime=3572.23 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 64883 0 0 0 356093 1130 0 0 20 0 1 0 235938312 520273920 105139 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 127020 105139 2464 1147 0 114447 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 512272 KiB
Current children cumulated memory: 423628 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.18 4.18 4.18 5/268 150275
/proc/meminfo: memFree=94867448/131250000 swapFree=33010672/33010684
[pid=150052] ppid=150048 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/150052/stat : 150052 (run-dec-log.sh) S 150048 150052 149629 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235938312 4292608 768 18446744073709551615 94444533895168 94444534789701 140731751706640 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94444535028752 94444535076496 94444540317696 140731751708997 140731751709154 140731751709154 140731751714758 0
/proc/150052/statm: 1048 768 704 219 0 110 0
[pid=150054] ppid=150052 vsize=510896 memory=422220 CPUtime=3600.07 cores=4,6
/proc/150054/stat : 150054 (roundingsat) R 150052 150052 149629 0 -1 4194304 65328 0 0 0 358870 1137 0 0 20 0 1 0 235938312 523157504 105555 18446744073709551615 4227072 8923433 140735233970448 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 40501248 140735233976715 140735233976870 140735233976870 140735233982442 0
/proc/150054/statm: 127724 105555 2464 1147 0 115151 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 515088 KiB
Current children cumulated memory: 425292 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

Child status: 2

Real time (s): 3610.21
CPU time (s): 3600.09
CPU user time (s): 3588.71
CPU system time (s): 11.3756
CPU usage (%): 99.7197
Max. virtual memory (cumulated for all children) (KiB): 515088
Max. memory (cumulated for all children) (KiB): 425292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.71
system time used= 11.3756
maximum resident set size= 422476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7344624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 5274


# summary of solver processes directly reported to runsolver:
#   pid: 150052,150054
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3588.71
#   total CPU system time (s): 11.3756

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74675 second user time and 16.4936 second system time

The end

Begin job on nodeC026 at 2025-07-22 18:43:17
IDJOB=4541996
IDBENCH=163705
IDSOLVER=3352
FILE ID=nodeC026/4541996-1753202597
RUNJOBID= nodeC026-1753198973-149647
SLURM_JOB_ID= 9687759
Free space on /tmp= 433020 MiB

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

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

MD5SUM BENCH= 808e9faff4b516f7872d7344d1ed451f
RANDOM SEED=1063239506

nodeC026 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.792
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.59
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		: 1199.731
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.59
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		: 3596.502
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.59
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		: 3700.000
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.59
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		: 3602.993
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.59
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		: 1199.960
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128724504 kB
MemAvailable:   129543844 kB
Buffers:            2128 kB
Cached:          1445420 kB
SwapCached:            4 kB
Active:          1216300 kB
Inactive:         303284 kB
Active(anon):      92960 kB
Inactive(anon):     5344 kB
Active(file):    1123340 kB
Inactive(file):   297940 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14616 kB
Writeback:             0 kB
AnonPages:         74872 kB
Mapped:           113156 kB
Shmem:             26268 kB
KReclaimable:     458860 kB
Slab:             563528 kB
SReclaimable:     458860 kB
SUnreclaim:       104668 kB
KernelStack:        4144 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     372216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 401988 MiB
End job on nodeC026 at 2025-07-22 19:43:27