0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.02 c #variables 1185 #constraints 1696
0.00/0.02 c rational objective 1.86265e-09
0.29/0.33 c #Conflicts: 1000 | #Constraints: 2696
0.29/0.33 c #Conflicts: 2000 | #Constraints: 3696
0.29/0.33 c INPROCESSING
0.29/0.33 c GARBAGE COLLECT
0.29/0.33 c rational objective 5.02486
0.68/0.71 c #Conflicts: 3000 | #Constraints: 3716
0.68/0.71 c #Conflicts: 4000 | #Constraints: 4716
0.68/0.71 c INPROCESSING
0.68/0.71 c GARBAGE COLLECT
0.68/0.71 c rational objective 5.18751
2.27/2.39 c #Conflicts: 5000 | #Constraints: 4141
2.27/2.39 c #Conflicts: 6000 | #Constraints: 5144
2.27/2.39 c INPROCESSING
2.27/2.39 c GARBAGE COLLECT
2.27/2.39 c #Conflicts: 7000 | #Constraints: 4157
2.27/2.39 c #Conflicts: 8000 | #Constraints: 5157
2.27/2.39 c #Conflicts: 9000 | #Constraints: 6159
2.27/2.39 c INPROCESSING
2.27/2.39 c GARBAGE COLLECT
2.27/2.39 c #Conflicts: 10000 | #Constraints: 4886
2.27/2.39 c #Conflicts: 11000 | #Constraints: 5887
2.27/2.39 c #Conflicts: 12000 | #Constraints: 6887
2.27/2.39 c INPROCESSING
2.27/2.39 c GARBAGE COLLECT
2.27/2.39 c rational objective 5.26563
4.97/5.06 c #Conflicts: 13000 | #Constraints: 5356
4.97/5.06 c #Conflicts: 14000 | #Constraints: 6356
4.97/5.06 c #Conflicts: 15000 | #Constraints: 7356
4.97/5.06 c INPROCESSING
4.97/5.06 c GARBAGE COLLECT
4.97/5.06 c #Conflicts: 16000 | #Constraints: 5574
4.97/5.06 c #Conflicts: 17000 | #Constraints: 6574
4.97/5.06 c #Conflicts: 18000 | #Constraints: 7574
4.97/5.06 c INPROCESSING
4.97/5.06 c GARBAGE COLLECT
4.97/5.06 c #Conflicts: 19000 | #Constraints: 5599
4.97/5.06 c #Conflicts: 20000 | #Constraints: 6599
4.97/5.06 c #Conflicts: 21000 | #Constraints: 7600
4.97/5.06 c INPROCESSING
4.97/5.06 c GARBAGE COLLECT
4.97/5.06 c rational objective 5.26954
17.73/17.85 c #Conflicts: 22000 | #Constraints: 5416
17.73/17.85 c #Conflicts: 23000 | #Constraints: 6417
17.73/17.85 c #Conflicts: 24000 | #Constraints: 7418
17.73/17.85 c #Conflicts: 25000 | #Constraints: 8418
17.73/17.85 c INPROCESSING
17.73/17.85 c GARBAGE COLLECT
17.73/17.85 c #Conflicts: 26000 | #Constraints: 6035
17.73/17.85 c #Conflicts: 27000 | #Constraints: 7035
17.73/17.85 c #Conflicts: 28000 | #Constraints: 8037
17.73/17.85 c #Conflicts: 29000 | #Constraints: 9038
17.73/17.85 c INPROCESSING
17.73/17.85 c GARBAGE COLLECT
17.73/17.85 c #Conflicts: 30000 | #Constraints: 6442
17.73/17.85 c #Conflicts: 31000 | #Constraints: 7442
17.73/17.85 c #Conflicts: 32000 | #Constraints: 8442
17.73/17.85 c #Conflicts: 33000 | #Constraints: 9442
17.73/17.85 c INPROCESSING
17.73/17.85 c GARBAGE COLLECT
17.73/17.85 c #Conflicts: 34000 | #Constraints: 6668
17.73/17.85 c #Conflicts: 35000 | #Constraints: 7668
17.73/17.85 c #Conflicts: 36000 | #Constraints: 8668
17.73/17.85 c #Conflicts: 37000 | #Constraints: 9668
17.73/17.85 c #Conflicts: 38000 | #Constraints: 10668
17.73/17.85 c #Conflicts: 39000 | #Constraints: 11668
17.73/17.85 c #Conflicts: 40000 | #Constraints: 12668
17.73/17.85 c #Conflicts: 41000 | #Constraints: 13668
17.73/17.85 c #Conflicts: 42000 | #Constraints: 14668
17.73/17.85 c #Conflicts: 43000 | #Constraints: 15668
17.73/17.85 c #Conflicts: 44000 | #Constraints: 16668
17.73/17.85 c #Conflicts: 45000 | #Constraints: 17668
17.73/17.85 c #Conflicts: 46000 | #Constraints: 18668
17.73/17.85 c #Conflicts: 47000 | #Constraints: 19668
17.73/17.85 c #Conflicts: 48000 | #Constraints: 20668
17.73/17.85 c INPROCESSING
17.73/17.85 c GARBAGE COLLECT
17.73/17.85 c #Conflicts: 49000 | #Constraints: 12279
17.73/17.85 c #Conflicts: 50000 | #Constraints: 13279
17.73/17.85 c #Conflicts: 51000 | #Constraints: 14279
17.73/17.85 c #Conflicts: 52000 | #Constraints: 15279
17.73/17.85 c #Conflicts: 53000 | #Constraints: 16279
17.73/17.85 c INPROCESSING
17.73/17.85 c GARBAGE COLLECT
17.73/17.85 c #Conflicts: 54000 | #Constraints: 9933
17.73/17.85 c #Conflicts: 55000 | #Constraints: 10933
17.73/17.85 c #Conflicts: 56000 | #Constraints: 11933
17.73/17.85 c #Conflicts: 57000 | #Constraints: 12934
17.73/17.85 c #Conflicts: 58000 | #Constraints: 13934
17.73/17.85 c INPROCESSING
17.73/17.85 c GARBAGE COLLECT
17.73/17.85 c rational objective 5.33643
28.31/28.41 c #Conflicts: 59000 | #Constraints: 8539
28.31/28.41 c #Conflicts: 60000 | #Constraints: 9540
28.31/28.41 c #Conflicts: 61000 | #Constraints: 10540
28.31/28.41 c #Conflicts: 62000 | #Constraints: 11540
28.31/28.41 c #Conflicts: 63000 | #Constraints: 12540
28.31/28.41 c #Conflicts: 64000 | #Constraints: 13542
28.31/28.41 c INPROCESSING
28.31/28.41 c GARBAGE COLLECT
28.31/28.41 c #Conflicts: 65000 | #Constraints: 8472
28.31/28.41 c #Conflicts: 66000 | #Constraints: 9472
28.31/28.41 c #Conflicts: 67000 | #Constraints: 10472
28.31/28.41 c #Conflicts: 68000 | #Constraints: 11472
28.31/28.41 c #Conflicts: 69000 | #Constraints: 12472
28.31/28.41 c #Conflicts: 70000 | #Constraints: 13472
28.31/28.41 c #Conflicts: 71000 | #Constraints: 14472
28.31/28.41 c #Conflicts: 72000 | #Constraints: 15472
28.31/28.41 c #Conflicts: 73000 | #Constraints: 16472
28.31/28.41 c #Conflicts: 74000 | #Constraints: 17472
28.31/28.41 c #Conflicts: 75000 | #Constraints: 18472
28.31/28.41 c #Conflicts: 76000 | #Constraints: 19472
28.31/28.41 c #Conflicts: 77000 | #Constraints: 20472
28.31/28.41 c #Conflicts: 78000 | #Constraints: 21472
28.31/28.41 c #Conflicts: 79000 | #Constraints: 22473
28.31/28.41 c #Conflicts: 80000 | #Constraints: 23473
28.31/28.41 c #Conflicts: 81000 | #Constraints: 24473
28.31/28.41 c #Conflicts: 82000 | #Constraints: 25473
28.31/28.41 c #Conflicts: 83000 | #Constraints: 26473
28.31/28.41 WSVECS04 Frhs2[17]: 6 -23.5969 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[197]: 6 -1.00007 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[200]: 6 -5.19344 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[201]: 6 -3.38684 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[242]: 6 -1.00009 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[276]: 6 0 3.75009 shouldn't be
28.31/28.41 WSVECS04 Frhs2[279]: 6 0 44.75 shouldn't be
28.31/28.41 WSVECS04 Frhs2[280]: 6 0 92.0001 shouldn't be
28.31/28.41 WSVECS04 Frhs2[302]: 6 0 3.00006 shouldn't be
28.31/28.41 WSVECS04 Frhs2[330]: 6 -19 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[338]: 6 -1.00007 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[380]: 6 -47109 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[384]: 6 0 88.7267 shouldn't be
28.31/28.41 WSVECS04 Frhs2[394]: 6 -1.00007 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[397]: 6 0 87.7266 shouldn't be
28.31/28.41 WSVECS04 Frhs2[398]: 6 0 1.00003 shouldn't be
28.31/28.41 WSVECS04 Frhs2[424]: 6 0 3.00004 shouldn't be
28.31/28.41 WSVECS04 Frhs2[491]: 6 0 179.003 shouldn't be
28.31/28.41 WSVECS04 Frhs2[497]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[505]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[506]: 6 -1.00005 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[521]: 6 0 2937.05 shouldn't be
28.31/28.41 WSVECS04 Frhs2[533]: 6 -1471.02 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[547]: 6 -1.00001 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[554]: 6 -48.0125 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[562]: 6 -1.00007 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[617]: 6 0 94202.5 shouldn't be
28.31/28.41 WSVECS04 Frhs2[631]: 6 -188413 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[683]: 6 -1.00006 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[684]: 6 -1.00008 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[697]: 6 -1.0001 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[720]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[724]: 6 -1.00003 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[733]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[734]: 6 -1.00009 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[762]: 6 -737 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[798]: 6 -1.00002 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[812]: 6 -1.00007 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[838]: 6 -47108 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[869]: 6 -376832 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[873]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[886]: 6 0 178.453 shouldn't be
28.31/28.41 WSVECS04 Frhs2[887]: 6 -1.00005 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[923]: 6 -1.00005 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[945]: 6 -1.00006 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[995]: 6 -15.0003 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1009]: 6 -1.00003 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1023]: 6 -1.00005 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1037]: 6 -1.00005 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1067]: 6 -1.00008 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1112]: 6 -1.00002 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1129]: 6 -0.910527 0 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1138]: 6 0 44.8445 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1140]: 6 0 182.378 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1141]: 6 0 365.756 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1146]: 6 0 11735.2 shouldn't be
28.31/28.41 WSVECS04 Frhs2[1147]: 6 0 23471.4 shouldn't be
29.81/29.95 c #Conflicts: 84000 | #Constraints: 27473
29.81/29.95 c INPROCESSING
29.81/29.95 c GARBAGE COLLECT
29.81/29.95 WSVECS04 Frhs2[2]: 6 -16.625 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[10]: 6 0 2.33333 shouldn't be
29.81/29.95 WSVECS04 Frhs2[13]: 6 -1 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[28]: 6 -1 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[59]: 6 -3.5253 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[68]: 6 -1.96893 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[74]: 6 -4.0506 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[194]: 6 -2.20833 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[209]: 6 -1.41667 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[222]: 6 -2.83333 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[253]: 6 -1.66667 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[254]: 6 -0.333334 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[278]: 6 0 10.125 shouldn't be
29.81/29.95 WSVECS04 Frhs2[307]: 6 0 1.75 shouldn't be
29.81/29.95 WSVECS04 Frhs2[309]: 6 0 6.31238 shouldn't be
29.81/29.95 WSVECS04 Frhs2[365]: 6 0 1.72917 shouldn't be
29.81/29.95 WSVECS04 Frhs2[366]: 6 0 1 shouldn't be
29.81/29.95 WSVECS04 Frhs2[380]: 6 0 3.05969 shouldn't be
29.81/29.95 WSVECS04 Frhs2[393]: 6 0 4.05969 shouldn't be
29.81/29.95 WSVECS04 Frhs2[410]: 6 0 1 shouldn't be
29.81/29.95 WSVECS04 Frhs2[423]: 6 0 1.04502 shouldn't be
29.81/29.95 WSVECS04 Frhs2[450]: 6 -8 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[466]: 6 0 2.5 shouldn't be
29.81/29.95 WSVECS04 Frhs2[515]: 6 0 2 shouldn't be
29.81/29.95 WSVECS04 Frhs2[516]: 6 0 2.99609 shouldn't be
29.81/29.95 WSVECS04 Frhs2[538]: 6 0 2 shouldn't be
29.81/29.95 WSVECS04 Frhs2[564]: 6 0 4 shouldn't be
29.81/29.95 WSVECS04 Frhs2[565]: 6 0 5.44291 shouldn't be
29.81/29.95 WSVECS04 Frhs2[583]: 6 0 1 shouldn't be
29.81/29.95 WSVECS04 Frhs2[594]: 6 0 15.3125 shouldn't be
29.81/29.95 WSVECS04 Frhs2[597]: 6 0 1 shouldn't be
29.81/29.95 WSVECS04 Frhs2[600]: 6 0 2.75 shouldn't be
29.81/29.95 WSVECS04 Frhs2[602]: 6 0 3.5 shouldn't be
29.81/29.95 WSVECS04 Frhs2[605]: 6 0 0.813339 shouldn't be
29.81/29.95 WSVECS04 Frhs2[611]: 6 0 1 shouldn't be
29.81/29.95 WSVECS04 Frhs2[627]: 6 0 1 shouldn't be
29.81/29.95 WSVECS04 Frhs2[667]: 6 0 2 shouldn't be
29.81/29.95 WSVECS04 Frhs2[702]: 6 0 0.422615 shouldn't be
29.81/29.95 WSVECS04 Frhs2[735]: 6 -0.750001 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[749]: 6 -0.75 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[810]: 6 -0.500001 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[824]: 6 -2.05969 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[839]: 6 -1.61937 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[1095]: 6 -11.2534 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[1110]: 6 -1 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[1124]: 6 -17.7567 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[1151]: 6 -0.9375 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[1152]: 6 -1 0 shouldn't be
29.81/29.95 WSVECS04 Frhs2[1153]: 6 -1 0 shouldn't be
33.39/33.57 c #Conflicts: 85000 | #Constraints: 15329
33.39/33.57 c #Conflicts: 86000 | #Constraints: 16329
33.39/33.57 c #Conflicts: 87000 | #Constraints: 17329
33.39/33.57 c #Conflicts: 88000 | #Constraints: 18329
33.39/33.57 c #Conflicts: 89000 | #Constraints: 19329
33.39/33.57 c #Conflicts: 90000 | #Constraints: 20329
33.39/33.57 c #Conflicts: 91000 | #Constraints: 21329
33.39/33.57 c INPROCESSING
33.39/33.57 c GARBAGE COLLECT
33.39/33.57 c rational objective 5.38023
60.62/60.89 c #Conflicts: 92000 | #Constraints: 12265
60.62/60.89 c #Conflicts: 93000 | #Constraints: 13265
60.62/60.89 c #Conflicts: 94000 | #Constraints: 14265
60.62/60.89 c #Conflicts: 95000 | #Constraints: 15265
60.62/60.89 c #Conflicts: 96000 | #Constraints: 16265
60.62/60.89 c #Conflicts: 97000 | #Constraints: 17265
60.62/60.89 c #Conflicts: 98000 | #Constraints: 18265
60.62/60.89 c #Conflicts: 99000 | #Constraints: 19265
60.62/60.89 c INPROCESSING
60.62/60.89 c GARBAGE COLLECT
60.62/60.89 c #Conflicts: 100000 | #Constraints: 11587
60.62/60.89 c #Conflicts: 101000 | #Constraints: 12587
60.62/60.89 c #Conflicts: 102000 | #Constraints: 13587
60.62/60.89 c #Conflicts: 103000 | #Constraints: 14587
60.62/60.89 c #Conflicts: 104000 | #Constraints: 15587
60.62/60.89 c #Conflicts: 105000 | #Constraints: 16587
60.62/60.89 c #Conflicts: 106000 | #Constraints: 17587
60.62/60.89 c INPROCESSING
60.62/60.89 c GARBAGE COLLECT
60.62/60.89 c #Conflicts: 107000 | #Constraints: 10596
60.62/60.89 c #Conflicts: 108000 | #Constraints: 11596
60.62/60.89 c #Conflicts: 109000 | #Constraints: 12596
60.62/60.89 c #Conflicts: 110000 | #Constraints: 13596
60.62/60.89 c #Conflicts: 111000 | #Constraints: 14596
60.62/60.89 c #Conflicts: 112000 | #Constraints: 15596
60.62/60.89 c #Conflicts: 113000 | #Constraints: 16596
60.62/60.89 c #Conflicts: 114000 | #Constraints: 17596
60.62/60.89 c #Conflicts: 115000 | #Constraints: 18596
60.62/60.89 c #Conflicts: 116000 | #Constraints: 19596
60.62/60.89 c #Conflicts: 117000 | #Constraints: 20596
60.62/60.89 c #Conflicts: 118000 | #Constraints: 21596
60.62/60.89 c #Conflicts: 119000 | #Constraints: 22597
60.62/60.89 c #Conflicts: 120000 | #Constraints: 23597
60.62/60.89 c #Conflicts: 121000 | #Constraints: 24597
60.62/60.89 c #Conflicts: 122000 | #Constraints: 25597
60.62/60.89 c #Conflicts: 123000 | #Constraints: 26598
60.62/60.89 c #Conflicts: 124000 | #Constraints: 27599
60.62/60.89 c #Conflicts: 125000 | #Constraints: 28600
60.62/60.89 c #Conflicts: 126000 | #Constraints: 29600
60.62/60.89 c #Conflicts: 127000 | #Constraints: 30601
60.62/60.89 c #Conflicts: 128000 | #Constraints: 31601
60.62/60.89 c #Conflicts: 129000 | #Constraints: 32601
60.62/60.89 c #Conflicts: 130000 | #Constraints: 33602
60.62/60.89 c #Conflicts: 131000 | #Constraints: 34602
60.62/60.89 c #Conflicts: 132000 | #Constraints: 35602
60.62/60.89 c INPROCESSING
60.62/60.89 c GARBAGE COLLECT
60.62/60.89 WSVECS04 Frhs2[3]: 6 -3.68151 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[18]: 6 -0.771156 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[23]: 6 -0.771144 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[26]: 6 -3.74162 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[27]: 6 -0.771182 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[29]: 6 0 238.664 shouldn't be
60.62/60.89 WSVECS04 Frhs2[36]: 6 -2.99481 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[43]: 6 -226.816 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[45]: 6 -234.523 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[46]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[53]: 6 -3.33613 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[60]: 6 -34.734 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[61]: 6 -1.00009 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[91]: 6 -1.00003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[151]: 6 -1.00003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[153]: 6 -1.00009 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[154]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[156]: 6 -1.43753 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[167]: 6 -1.00004 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[168]: 6 -1.00004 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[169]: 6 -2.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[194]: 6 0 255.002 shouldn't be
60.62/60.89 WSVECS04 Frhs2[195]: 6 0 58.638 shouldn't be
60.62/60.89 WSVECS04 Frhs2[199]: 6 0 2.50009 shouldn't be
60.62/60.89 WSVECS04 Frhs2[209]: 6 0 55.8881 shouldn't be
60.62/60.89 WSVECS04 Frhs2[210]: 6 0 120.276 shouldn't be
60.62/60.89 WSVECS04 Frhs2[211]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[212]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[224]: 6 0 106.114 shouldn't be
60.62/60.89 WSVECS04 Frhs2[240]: 6 0 56.9734 shouldn't be
60.62/60.89 WSVECS04 Frhs2[241]: 6 -1.00008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[382]: 6 -1.00007 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[383]: 6 -1.00003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[397]: 6 -1.00001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[411]: 6 -0.750029 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[413]: 6 0 2.00006 shouldn't be
60.62/60.89 WSVECS04 Frhs2[425]: 6 -2.00007 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[453]: 6 -1.54599 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[492]: 6 0 2.98578 shouldn't be
60.62/60.89 WSVECS04 Frhs2[494]: 6 -4.56252 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[519]: 6 -1.00008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[531]: 6 -1.00006 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[533]: 6 -1.50002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[539]: 6 -5.0001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[542]: 6 -1.0001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[545]: 6 -1.89675 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[552]: 6 -3.50006 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[556]: 6 -1.98443 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[576]: 6 0 1.00004 shouldn't be
60.62/60.89 WSVECS04 Frhs2[578]: 6 -1.00001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[590]: 6 0 2.06258 shouldn't be
60.62/60.89 WSVECS04 Frhs2[592]: 6 -1.00007 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[593]: 6 -1.00008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[603]: 6 0 3.93752 shouldn't be
60.62/60.89 WSVECS04 Frhs2[607]: 6 -1.00008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[608]: 6 0 1.25008 shouldn't be
60.62/60.89 WSVECS04 Frhs2[635]: 6 -3.50003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[663]: 6 -9.87509 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[678]: 6 0 0.498723 shouldn't be
60.62/60.89 WSVECS04 Frhs2[685]: 6 0 0.0836465 shouldn't be
60.62/60.89 WSVECS04 Frhs2[691]: 6 -2.74943 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[699]: 6 -1.0577 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[706]: 6 -3.26986 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[714]: 6 -1.11523 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[754]: 6 -0.500059 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[756]: 6 -1.75007 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[758]: 6 -0.750098 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[770]: 6 -1.00008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[773]: 6 -0.500039 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[782]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[796]: 6 -1.00008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[798]: 6 -1.50004 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[799]: 6 -1.50008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[803]: 6 -0.519805 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[807]: 6 0 55.0735 shouldn't be
60.62/60.89 WSVECS04 Frhs2[811]: 6 -1.00005 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[815]: 6 0 0.12502 shouldn't be
60.62/60.89 WSVECS04 Frhs2[816]: 6 -1.50008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[818]: 6 -0.0395861 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[822]: 6 0 111.147 shouldn't be
60.62/60.89 WSVECS04 Frhs2[823]: 6 -7.21834 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[825]: 6 -30.8733 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[827]: 6 -1.00001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[837]: 6 0 223.294 shouldn't be
60.62/60.89 WSVECS04 Frhs2[840]: 6 0 162.186 shouldn't be
60.62/60.89 WSVECS04 Frhs2[842]: 6 -1.00006 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[844]: 6 -3.50001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[852]: 6 0 223.246 shouldn't be
60.62/60.89 WSVECS04 Frhs2[856]: 6 -1.00009 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[857]: 6 -1.0001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[859]: 6 -2.50003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[861]: 6 -0.454204 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[867]: 6 0 223.152 shouldn't be
60.62/60.89 WSVECS04 Frhs2[869]: 6 0 6.22893 shouldn't be
60.62/60.89 WSVECS04 Frhs2[887]: 6 -1.0001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[892]: 6 -1.00005 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[903]: 6 0 0.0442945 shouldn't be
60.62/60.89 WSVECS04 Frhs2[909]: 6 0 0.0442428 shouldn't be
60.62/60.89 WSVECS04 Frhs2[910]: 6 0 0.000367975 shouldn't be
60.62/60.89 WSVECS04 Frhs2[945]: 6 0 0.0161148 shouldn't be
60.62/60.89 WSVECS04 Frhs2[952]: 6 -1.12898 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[960]: 6 0 0.0322348 shouldn't be
60.62/60.89 WSVECS04 Frhs2[963]: 6 -0.500014 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[975]: 6 0 0.0644562 shouldn't be
60.62/60.89 WSVECS04 Frhs2[979]: 6 -0.500031 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[980]: 6 -3.50008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[981]: 6 -1.49227 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[995]: 6 -1.00007 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1018]: 6 -1.0001 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1023]: 6 -1.50008 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1024]: 6 -1.98442 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1028]: 6 -0.500067 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1036]: 6 -1.00006 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1041]: 6 -1.87504 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1052]: 6 -1.00003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1056]: 6 -1.00006 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1064]: 6 -1.12504 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1067]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1070]: 6 -0.750061 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1079]: 6 -1.25005 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1081]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1082]: 6 -1.00002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1094]: 6 -1.50003 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1111]: 6 -0.75005 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1112]: 6 -2.50002 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1119]: 6 -1.00007 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1124]: 6 -1.00005 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1126]: 6 -0.749431 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1135]: 6 -0.749609 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1143]: 6 -1.15575 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1145]: 6 -0.374725 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1147]: 6 -3.63598 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1148]: 6 -2.52259 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1149]: 6 -4.2957 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1152]: 6 -28.8912 0 shouldn't be
60.62/60.89 WSVECS04 Frhs2[1153]: 6 -57.0329 0 shouldn't be
108.01/108.39 c #Conflicts: 133000 | #Constraints: 19817
108.01/108.39 c #Conflicts: 134000 | #Constraints: 20817
108.01/108.39 c #Conflicts: 135000 | #Constraints: 21817
108.01/108.39 c #Conflicts: 136000 | #Constraints: 22817
108.01/108.39 c #Conflicts: 137000 | #Constraints: 23817
108.01/108.39 c #Conflicts: 138000 | #Constraints: 24817
108.01/108.39 c #Conflicts: 139000 | #Constraints: 25817
108.01/108.39 c #Conflicts: 140000 | #Constraints: 26817
108.01/108.39 c INPROCESSING
108.01/108.39 c GARBAGE COLLECT
108.01/108.39 c #Conflicts: 141000 | #Constraints: 15077
108.01/108.39 c #Conflicts: 142000 | #Constraints: 16077
108.01/108.39 c #Conflicts: 143000 | #Constraints: 17077
108.01/108.39 c #Conflicts: 144000 | #Constraints: 18077
108.01/108.39 c #Conflicts: 145000 | #Constraints: 19077
108.01/108.39 c #Conflicts: 146000 | #Constraints: 20077
108.01/108.39 c #Conflicts: 147000 | #Constraints: 21077
108.01/108.39 c #Conflicts: 148000 | #Constraints: 22077
108.01/108.39 c #Conflicts: 149000 | #Constraints: 23077
108.01/108.39 c INPROCESSING
108.01/108.39 c GARBAGE COLLECT
108.01/108.39 c #Conflicts: 150000 | #Constraints: 13227
108.01/108.39 c #Conflicts: 151000 | #Constraints: 14227
108.01/108.39 c #Conflicts: 152000 | #Constraints: 15227
108.01/108.39 c #Conflicts: 153000 | #Constraints: 16227
108.01/108.39 c #Conflicts: 154000 | #Constraints: 17227
108.01/108.39 c #Conflicts: 155000 | #Constraints: 18227
108.01/108.39 c #Conflicts: 156000 | #Constraints: 19227
108.01/108.39 c #Conflicts: 157000 | #Constraints: 20227
108.01/108.39 c #Conflicts: 158000 | #Constraints: 21228
108.01/108.39 c #Conflicts: 159000 | #Constraints: 22228
108.01/108.39 c #Conflicts: 160000 | #Constraints: 23228
108.01/108.39 c #Conflicts: 161000 | #Constraints: 24228
108.01/108.39 c #Conflicts: 162000 | #Constraints: 25228
108.01/108.39 c #Conflicts: 163000 | #Constraints: 26228
108.01/108.39 c #Conflicts: 164000 | #Constraints: 27228
108.01/108.39 c #Conflicts: 165000 | #Constraints: 28228
108.01/108.39 c #Conflicts: 166000 | #Constraints: 29228
108.01/108.39 c #Conflicts: 167000 | #Constraints: 30228
108.01/108.39 c #Conflicts: 168000 | #Constraints: 31228
108.01/108.39 c #Conflicts: 169000 | #Constraints: 32228
108.01/108.39 c #Conflicts: 170000 | #Constraints: 33228
108.01/108.39 c #Conflicts: 171000 | #Constraints: 34228
108.01/108.39 c #Conflicts: 172000 | #Constraints: 35228
108.01/108.39 c #Conflicts: 173000 | #Constraints: 36228
108.01/108.39 c #Conflicts: 174000 | #Constraints: 37228
108.01/108.39 c #Conflicts: 175000 | #Constraints: 38228
108.01/108.39 c #Conflicts: 176000 | #Constraints: 39228
108.01/108.39 c #Conflicts: 177000 | #Constraints: 40228
108.01/108.39 c #Conflicts: 178000 | #Constraints: 41228
108.01/108.39 c #Conflicts: 179000 | #Constraints: 42228
108.01/108.39 c INPROCESSING
108.01/108.39 c GARBAGE COLLECT
108.01/108.39 c #Conflicts: 180000 | #Constraints: 22935
108.01/108.39 c #Conflicts: 181000 | #Constraints: 23935
108.01/108.39 c #Conflicts: 182000 | #Constraints: 24935
108.01/108.39 c #Conflicts: 183000 | #Constraints: 25935
108.01/108.39 c #Conflicts: 184000 | #Constraints: 26935
108.01/108.39 c #Conflicts: 185000 | #Constraints: 27935
108.01/108.39 c #Conflicts: 186000 | #Constraints: 28935
108.01/108.39 c #Conflicts: 187000 | #Constraints: 29935
108.01/108.39 c #Conflicts: 188000 | #Constraints: 30935
108.01/108.39 c #Conflicts: 189000 | #Constraints: 31935
108.01/108.39 c INPROCESSING
108.01/108.39 c GARBAGE COLLECT
108.01/108.39 c #Conflicts: 190000 | #Constraints: 17708
108.01/108.39 c #Conflicts: 191000 | #Constraints: 18708
108.01/108.39 c #Conflicts: 192000 | #Constraints: 19708
108.01/108.39 c #Conflicts: 193000 | #Constraints: 20708
108.01/108.39 c #Conflicts: 194000 | #Constraints: 21708
108.01/108.39 c #Conflicts: 195000 | #Constraints: 22708
108.01/108.39 c #Conflicts: 196000 | #Constraints: 23708
108.01/108.39 c #Conflicts: 197000 | #Constraints: 24708
108.01/108.39 c #Conflicts: 198000 | #Constraints: 25708
108.01/108.39 c #Conflicts: 199000 | #Constraints: 26708
108.01/108.39 c #Conflicts: 200000 | #Constraints: 27708
108.01/108.39 c INPROCESSING
108.01/108.39 c GARBAGE COLLECT
108.01/108.39 c #Conflicts: 201000 | #Constraints: 15879
108.01/108.39 c #Conflicts: 202000 | #Constraints: 16879
108.01/108.39 c #Conflicts: 203000 | #Constraints: 17879
108.01/108.39 c #Conflicts: 204000 | #Constraints: 18879
108.01/108.39 c #Conflicts: 205000 | #Constraints: 19879
108.01/108.39 c #Conflicts: 206000 | #Constraints: 20879
108.01/108.39 c #Conflicts: 207000 | #Constraints: 21880
108.01/108.39 c #Conflicts: 208000 | #Constraints: 22880
155.79/156.26 c #Conflicts: 209000 | #Constraints: 23880
155.79/156.26 c #Conflicts: 210000 | #Constraints: 24880
155.79/156.26 c #Conflicts: 211000 | #Constraints: 25880
155.79/156.26 c #Conflicts: 212000 | #Constraints: 26880
155.79/156.26 c #Conflicts: 213000 | #Constraints: 27880
155.79/156.26 c #Conflicts: 214000 | #Constraints: 28880
155.79/156.26 c #Conflicts: 215000 | #Constraints: 29880
155.79/156.26 c #Conflicts: 216000 | #Constraints: 30880
155.79/156.26 c #Conflicts: 217000 | #Constraints: 31880
155.79/156.26 c #Conflicts: 218000 | #Constraints: 32880
155.79/156.26 c #Conflicts: 219000 | #Constraints: 33880
155.79/156.26 c #Conflicts: 220000 | #Constraints: 34880
155.79/156.26 c #Conflicts: 221000 | #Constraints: 35880
155.79/156.26 c #Conflicts: 222000 | #Constraints: 36880
155.79/156.26 c #Conflicts: 223000 | #Constraints: 37880
155.79/156.26 c #Conflicts: 224000 | #Constraints: 38880
155.79/156.26 c #Conflicts: 225000 | #Constraints: 39880
155.79/156.26 c #Conflicts: 226000 | #Constraints: 40880
155.79/156.26 c #Conflicts: 227000 | #Constraints: 41880
155.79/156.26 c #Conflicts: 228000 | #Constraints: 42880
155.79/156.26 c #Conflicts: 229000 | #Constraints: 43880
155.79/156.26 c #Conflicts: 230000 | #Constraints: 44880
155.79/156.26 c #Conflicts: 231000 | #Constraints: 45880
155.79/156.26 c #Conflicts: 232000 | #Constraints: 46880
155.79/156.26 c #Conflicts: 233000 | #Constraints: 47881
155.79/156.26 c #Conflicts: 234000 | #Constraints: 48881
155.79/156.26 c INPROCESSING
155.79/156.26 c GARBAGE COLLECT
155.79/156.26 c #Conflicts: 235000 | #Constraints: 26452
155.79/156.26 c #Conflicts: 236000 | #Constraints: 27452
155.79/156.26 c #Conflicts: 237000 | #Constraints: 28452
155.79/156.26 c #Conflicts: 238000 | #Constraints: 29452
155.79/156.26 c #Conflicts: 239000 | #Constraints: 30452
155.79/156.26 c #Conflicts: 240000 | #Constraints: 31452
155.79/156.26 c #Conflicts: 241000 | #Constraints: 32452
155.79/156.26 c #Conflicts: 242000 | #Constraints: 33452
155.79/156.26 c #Conflicts: 243000 | #Constraints: 34452
155.79/156.26 c #Conflicts: 244000 | #Constraints: 35452
155.79/156.26 WSVECS04 Frhs2[3]: 6 -8.20042 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[72]: 6 -2.99875 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[120]: 6 -2.84202 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[271]: 6 0 5.32975 shouldn't be
155.79/156.26 WSVECS04 Frhs2[284]: 6 0 6.32975 shouldn't be
155.79/156.26 WSVECS04 Frhs2[354]: 6 0 1 shouldn't be
155.79/156.26 WSVECS04 Frhs2[368]: 6 0 3 shouldn't be
155.79/156.26 WSVECS04 Frhs2[395]: 6 -2 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[529]: 6 -15.4157 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[543]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[555]: 6 -11.4157 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[564]: 6 0 1 shouldn't be
155.79/156.26 WSVECS04 Frhs2[569]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[578]: 6 0 2.26054 shouldn't be
155.79/156.26 WSVECS04 Frhs2[620]: 6 0 1 shouldn't be
155.79/156.26 WSVECS04 Frhs2[634]: 6 0 1 shouldn't be
155.79/156.26 WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[751]: 6 0 11.6595 shouldn't be
155.79/156.26 WSVECS04 Frhs2[953]: 6 -2.30196 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[984]: 6 -3.99877 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[985]: 6 -2.24754 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[999]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[1010]: 6 -2 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[1012]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[1041]: 6 -1 0 shouldn't be
155.79/156.26 WSVECS04 Frhs2[1182]: 6 -1.125 0 shouldn't be
218.44/219.02 c #Conflicts: 245000 | #Constraints: 36452
218.44/219.02 c INPROCESSING
218.44/219.02 c GARBAGE COLLECT
218.44/219.02 c #Conflicts: 246000 | #Constraints: 19899
218.44/219.02 c #Conflicts: 247000 | #Constraints: 20899
218.44/219.02 c #Conflicts: 248000 | #Constraints: 21899
218.44/219.02 c #Conflicts: 249000 | #Constraints: 22899
218.44/219.02 c #Conflicts: 250000 | #Constraints: 23899
218.44/219.02 c #Conflicts: 251000 | #Constraints: 24899
218.44/219.02 c #Conflicts: 252000 | #Constraints: 25899
218.44/219.02 c #Conflicts: 253000 | #Constraints: 26899
218.44/219.02 c #Conflicts: 254000 | #Constraints: 27899
218.44/219.02 c #Conflicts: 255000 | #Constraints: 28899
218.44/219.02 c #Conflicts: 256000 | #Constraints: 29899
218.44/219.02 c #Conflicts: 257000 | #Constraints: 30899
218.44/219.02 c INPROCESSING
218.44/219.02 c GARBAGE COLLECT
218.44/219.02 c #Conflicts: 258000 | #Constraints: 17182
218.44/219.02 c #Conflicts: 259000 | #Constraints: 18182
218.44/219.02 c #Conflicts: 260000 | #Constraints: 19182
218.44/219.02 c #Conflicts: 261000 | #Constraints: 20182
218.44/219.02 c #Conflicts: 262000 | #Constraints: 21182
218.44/219.02 c #Conflicts: 263000 | #Constraints: 22182
218.44/219.02 c #Conflicts: 264000 | #Constraints: 23182
218.44/219.02 c #Conflicts: 265000 | #Constraints: 24182
218.44/219.02 c #Conflicts: 266000 | #Constraints: 25182
218.44/219.02 c #Conflicts: 267000 | #Constraints: 26182
218.44/219.02 c #Conflicts: 268000 | #Constraints: 27182
218.44/219.02 c #Conflicts: 269000 | #Constraints: 28182
218.44/219.02 c #Conflicts: 270000 | #Constraints: 29182
218.44/219.02 c #Conflicts: 271000 | #Constraints: 30182
218.44/219.02 c #Conflicts: 272000 | #Constraints: 31182
218.44/219.02 c #Conflicts: 273000 | #Constraints: 32182
218.44/219.02 c #Conflicts: 274000 | #Constraints: 33182
218.44/219.02 c #Conflicts: 275000 | #Constraints: 34183
218.44/219.02 c #Conflicts: 276000 | #Constraints: 35183
218.44/219.02 c #Conflicts: 277000 | #Constraints: 36184
218.44/219.02 c #Conflicts: 278000 | #Constraints: 37185
218.44/219.02 c #Conflicts: 279000 | #Constraints: 38185
218.44/219.02 c #Conflicts: 280000 | #Constraints: 39185
218.44/219.02 c #Conflicts: 281000 | #Constraints: 40185
218.44/219.02 c #Conflicts: 282000 | #Constraints: 41185
218.44/219.02 c #Conflicts: 283000 | #Constraints: 42185
218.44/219.02 c #Conflicts: 284000 | #Constraints: 43185
218.44/219.02 c #Conflicts: 285000 | #Constraints: 44185
218.44/219.02 c #Conflicts: 286000 | #Constraints: 45185
218.44/219.02 c #Conflicts: 287000 | #Constraints: 46185
218.44/219.02 c #Conflicts: 288000 | #Constraints: 47185
218.44/219.02 c #Conflicts: 289000 | #Constraints: 48185
218.44/219.02 c #Conflicts: 290000 | #Constraints: 49185
218.44/219.02 c #Conflicts: 291000 | #Constraints: 50185
218.44/219.02 c #Conflicts: 292000 | #Constraints: 51185
218.44/219.02 c #Conflicts: 293000 | #Constraints: 52185
218.44/219.02 c #Conflicts: 294000 | #Constraints: 53185
218.44/219.02 c #Conflicts: 295000 | #Constraints: 54185
218.44/219.02 c INPROCESSING
218.44/219.02 c GARBAGE COLLECT
218.44/219.02 c #Conflicts: 296000 | #Constraints: 28706
218.44/219.02 c #Conflicts: 297000 | #Constraints: 29706
218.44/219.02 c #Conflicts: 298000 | #Constraints: 30706
218.44/219.02 c #Conflicts: 299000 | #Constraints: 31706
218.44/219.02 c #Conflicts: 300000 | #Constraints: 32706
218.44/219.02 c #Conflicts: 301000 | #Constraints: 33706
218.44/219.02 c #Conflicts: 302000 | #Constraints: 34706
218.44/219.02 c #Conflicts: 303000 | #Constraints: 35706
218.44/219.02 c #Conflicts: 304000 | #Constraints: 36706
218.44/219.02 c #Conflicts: 305000 | #Constraints: 37706
218.44/219.02 c #Conflicts: 306000 | #Constraints: 38706
218.44/219.02 c #Conflicts: 307000 | #Constraints: 39706
218.44/219.02 c #Conflicts: 308000 | #Constraints: 40706
218.44/219.02 c #Conflicts: 309000 | #Constraints: 41706
218.44/219.02 c INPROCESSING
218.44/219.02 c GARBAGE COLLECT
218.44/219.02 c #Conflicts: 310000 | #Constraints: 22892
218.44/219.02 c #Conflicts: 311000 | #Constraints: 23892
218.44/219.02 c #Conflicts: 312000 | #Constraints: 24892
218.44/219.02 c #Conflicts: 313000 | #Constraints: 25892
218.44/219.02 c #Conflicts: 314000 | #Constraints: 26892
218.44/219.02 c #Conflicts: 315000 | #Constraints: 27892
218.44/219.02 c #Conflicts: 316000 | #Constraints: 28893
218.44/219.02 c #Conflicts: 317000 | #Constraints: 29893
218.44/219.02 c #Conflicts: 318000 | #Constraints: 30893
218.44/219.02 c #Conflicts: 319000 | #Constraints: 31893
218.44/219.02 c #Conflicts: 320000 | #Constraints: 32893
218.44/219.02 c #Conflicts: 321000 | #Constraints: 33893
219.63/220.22 c #Conflicts: 322000 | #Constraints: 34893
219.63/220.22 c INPROCESSING
219.63/220.22 c GARBAGE COLLECT
219.63/220.22 WSVECS04 Frhs2[18]: 6 -45.2659 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[36]: 6 0 41.2659 shouldn't be
219.63/220.22 WSVECS04 Frhs2[40]: 6 0 24.9686 shouldn't be
219.63/220.22 WSVECS04 Frhs2[42]: 6 0 41.2659 shouldn't be
219.63/220.22 WSVECS04 Frhs2[43]: 6 0 23.9686 shouldn't be
219.63/220.22 WSVECS04 Frhs2[54]: 6 -22.634 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[56]: 6 -26.6836 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[120]: 6 0 16.8942 shouldn't be
219.63/220.22 WSVECS04 Frhs2[142]: 6 -9.24599 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[189]: 6 -1.58091 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[232]: 6 -5.06348 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[257]: 6 0 2.99949 shouldn't be
219.63/220.22 WSVECS04 Frhs2[269]: 6 0 1 shouldn't be
219.63/220.22 WSVECS04 Frhs2[347]: 6 0 25.6249 shouldn't be
219.63/220.22 WSVECS04 Frhs2[350]: 6 0 43.2681 shouldn't be
219.63/220.22 WSVECS04 Frhs2[351]: 6 0 15.5843 shouldn't be
219.63/220.22 WSVECS04 Frhs2[364]: 6 0 43.1062 shouldn't be
219.63/220.22 WSVECS04 Frhs2[377]: 6 0 329.731 shouldn't be
219.63/220.22 WSVECS04 Frhs2[403]: 6 -1 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[408]: 6 -1.83429 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[423]: 6 0 82.0615 shouldn't be
219.63/220.22 WSVECS04 Frhs2[568]: 6 0 1 shouldn't be
219.63/220.22 WSVECS04 Frhs2[647]: 6 0 169.226 shouldn't be
219.63/220.22 WSVECS04 Frhs2[681]: 6 -1 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[687]: 6 -1 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[693]: 6 -3.00545 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[700]: 6 -1 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[879]: 6 -7.4027 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[881]: 6 -53.5776 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[982]: 6 -0.482097 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[997]: 6 -0.964194 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[1057]: 6 -2.5 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[1091]: 6 -2.79287 0 shouldn't be
219.63/220.22 WSVECS04 Frhs2[1184]: 6 0 6.65158 shouldn't be
219.63/220.28 WSVECS04 Frhs2[8]: 6 -120.812 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[11]: 6 -3.5109 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[14]: 6 -121.812 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[19]: 6 -43.2659 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[26]: 6 -3.5109 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[29]: 6 -133.635 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[32]: 6 0 23.9686 shouldn't be
219.63/220.28 WSVECS04 Frhs2[48]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[90]: 6 0 20.7 shouldn't be
219.63/220.28 WSVECS04 Frhs2[135]: 6 0 10.9843 shouldn't be
219.63/220.28 WSVECS04 Frhs2[138]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[139]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[140]: 6 -3.5179 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[144]: 6 -1.94761 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[146]: 6 -85.9046 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[179]: 6 0 37.6843 shouldn't be
219.63/220.28 WSVECS04 Frhs2[183]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[184]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[185]: 6 -2.14323 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[187]: 6 -1.75794 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[191]: 6 -6.77476 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[194]: 6 -116.321 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[229]: 6 -4.25794 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[230]: 6 -4.51587 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[236]: 6 -28.1763 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[239]: 6 -114.855 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[278]: 6 0 38.755 shouldn't be
219.63/220.28 WSVECS04 Frhs2[284]: 6 0 38.755 shouldn't be
219.63/220.28 WSVECS04 Frhs2[286]: 6 0 41.2659 shouldn't be
219.63/220.28 WSVECS04 Frhs2[288]: 6 0 41.2659 shouldn't be
219.63/220.28 WSVECS04 Frhs2[290]: 6 0 41.2659 shouldn't be
219.63/220.28 WSVECS04 Frhs2[373]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[387]: 6 -2.18503 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[455]: 6 0 6.48024 shouldn't be
219.63/220.28 WSVECS04 Frhs2[477]: 6 0 42.2659 shouldn't be
219.63/220.28 WSVECS04 Frhs2[542]: 6 0 0.928388 shouldn't be
219.63/220.28 WSVECS04 Frhs2[611]: 6 -3 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[613]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[627]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[688]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[741]: 6 -122.323 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[750]: 6 -0.778376 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[755]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[756]: 6 -3.0218 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[769]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[770]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[771]: 6 -4.0436 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[783]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[784]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[786]: 6 -6.08719 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[789]: 6 -1.89614 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[800]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[801]: 6 -10.1744 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[804]: 6 -1.79227 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[814]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[815]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[816]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[828]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[829]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[830]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[832]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[838]: 6 -43.9284 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[852]: 6 -99.8227 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[853]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[854]: 6 -7.8505 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[860]: 6 -0.314971 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[862]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[867]: 6 -91.656 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[870]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[873]: 6 -2.34252 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[877]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[884]: 6 -25.8506 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[905]: 6 -40.7572 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[953]: 6 -1.24105 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[994]: 6 -2.87948 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[998]: 6 -3.89714 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1008]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1009]: 6 -3.75895 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1039]: 6 -3.03581 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1042]: 6 -2.75 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1049]: 6 -111.722 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1053]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1054]: 6 -2.07161 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1058]: 6 -0.354191 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1075]: 6 -43.2659 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1077]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1079]: 6 -22.1533 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1084]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1086]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1087]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1089]: 6 -2.91648 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1092]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1098]: 6 -2.28645 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1099]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1102]: 6 -1 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1104]: 6 -3.83296 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1109]: 6 -85.613 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1135]: 6 -0.96757 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1137]: 6 -0.870278 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1139]: 6 -0.481108 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1143]: 6 -0.889188 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1145]: 6 -0.556751 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1146]: 6 -0.113502 0 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1154]: 6 0 19.6251 shouldn't be
219.63/220.28 WSVECS04 Frhs2[1160]: 6 -3.51191 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[2]: 6 -120.812 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[22]: 6 -43.2659 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[554]: 6 0 1 shouldn't be
219.74/220.37 WSVECS04 Frhs2[567]: 6 0 2 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1106]: 6 -3.5109 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1130]: 6 -0.998987 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1132]: 6 -0.995947 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1133]: 6 -0.991892 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1134]: 6 -0.983785 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1136]: 6 -0.935139 0 shouldn't be
219.74/220.37 WSVECS04 Frhs2[1138]: 6 -0.740554 0 shouldn't be
283.08/283.83 c #Conflicts: 323000 | #Constraints: 19274
283.08/283.83 c #Conflicts: 324000 | #Constraints: 20274
283.08/283.83 c #Conflicts: 325000 | #Constraints: 21274
283.08/283.83 c #Conflicts: 326000 | #Constraints: 22275
283.08/283.83 c #Conflicts: 327000 | #Constraints: 23275
283.08/283.83 c #Conflicts: 328000 | #Constraints: 24275
283.08/283.83 c #Conflicts: 329000 | #Constraints: 25275
283.08/283.83 c #Conflicts: 330000 | #Constraints: 26275
283.08/283.83 c #Conflicts: 331000 | #Constraints: 27276
283.08/283.83 c #Conflicts: 332000 | #Constraints: 28277
283.08/283.83 c #Conflicts: 333000 | #Constraints: 29278
283.08/283.83 c #Conflicts: 334000 | #Constraints: 30278
283.08/283.83 c #Conflicts: 335000 | #Constraints: 31278
283.08/283.83 c #Conflicts: 336000 | #Constraints: 32278
283.08/283.83 c #Conflicts: 337000 | #Constraints: 33278
283.08/283.83 c #Conflicts: 338000 | #Constraints: 34278
283.08/283.83 c #Conflicts: 339000 | #Constraints: 35279
283.08/283.83 c #Conflicts: 340000 | #Constraints: 36279
283.08/283.83 c #Conflicts: 341000 | #Constraints: 37279
283.08/283.83 c #Conflicts: 342000 | #Constraints: 38280
283.08/283.83 c #Conflicts: 343000 | #Constraints: 39281
283.08/283.83 c #Conflicts: 344000 | #Constraints: 40281
283.08/283.83 c #Conflicts: 345000 | #Constraints: 41282
283.08/283.83 c #Conflicts: 346000 | #Constraints: 42282
283.08/283.83 c #Conflicts: 347000 | #Constraints: 43282
283.08/283.83 c #Conflicts: 348000 | #Constraints: 44283
283.08/283.83 c #Conflicts: 349000 | #Constraints: 45283
283.08/283.83 c #Conflicts: 350000 | #Constraints: 46284
283.08/283.83 c #Conflicts: 351000 | #Constraints: 47284
283.08/283.83 c #Conflicts: 352000 | #Constraints: 48284
283.08/283.83 c #Conflicts: 353000 | #Constraints: 49284
283.08/283.83 c #Conflicts: 354000 | #Constraints: 50284
283.08/283.83 c #Conflicts: 355000 | #Constraints: 51284
283.08/283.83 c #Conflicts: 356000 | #Constraints: 52284
283.08/283.83 c #Conflicts: 357000 | #Constraints: 53284
283.08/283.83 c #Conflicts: 358000 | #Constraints: 54284
283.08/283.83 c #Conflicts: 359000 | #Constraints: 55284
283.08/283.83 c #Conflicts: 360000 | #Constraints: 56284
283.08/283.83 c #Conflicts: 361000 | #Constraints: 57284
283.08/283.83 c #Conflicts: 362000 | #Constraints: 58284
283.08/283.83 c #Conflicts: 363000 | #Constraints: 59284
283.08/283.83 c #Conflicts: 364000 | #Constraints: 60284
283.08/283.83 c INPROCESSING
283.08/283.83 c GARBAGE COLLECT
283.08/283.83 c #Conflicts: 365000 | #Constraints: 31772
283.08/283.83 c #Conflicts: 366000 | #Constraints: 32772
283.08/283.83 c #Conflicts: 367000 | #Constraints: 33772
283.08/283.83 c #Conflicts: 368000 | #Constraints: 34772
283.08/283.83 c #Conflicts: 369000 | #Constraints: 35772
283.08/283.83 c #Conflicts: 370000 | #Constraints: 36772
283.08/283.83 c #Conflicts: 371000 | #Constraints: 37772
283.08/283.83 c #Conflicts: 372000 | #Constraints: 38772
283.08/283.83 c #Conflicts: 373000 | #Constraints: 39773
283.08/283.83 c #Conflicts: 374000 | #Constraints: 40773
283.08/283.83 c #Conflicts: 375000 | #Constraints: 41773
283.08/283.83 c #Conflicts: 376000 | #Constraints: 42773
283.08/283.83 c #Conflicts: 377000 | #Constraints: 43778
283.08/283.83 c #Conflicts: 378000 | #Constraints: 44779
283.08/283.83 c #Conflicts: 379000 | #Constraints: 45780
283.08/283.83 c INPROCESSING
283.08/283.83 c GARBAGE COLLECT
283.08/283.83 WSVECS04 Frhs2[5]: 6 -4.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[6]: 6 -4.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[9]: 6 -4.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[10]: 6 -4.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[12]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[14]: 6 -4.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[15]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[16]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[21]: 6 -3.92859 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[22]: 6 -3.92857 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[25]: 6 -4.25446 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[26]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[32]: 6 0 0.379525 shouldn't be
283.08/283.83 WSVECS04 Frhs2[33]: 6 0 1.35717 shouldn't be
283.08/283.83 WSVECS04 Frhs2[38]: 6 -1.01796 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[39]: 6 0 1.92862 shouldn't be
283.08/283.83 WSVECS04 Frhs2[41]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[60]: 6 0 0.39745 shouldn't be
283.08/283.83 WSVECS04 Frhs2[90]: 6 0 2.39743 shouldn't be
283.08/283.83 WSVECS04 Frhs2[91]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[92]: 6 -2.50006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[95]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[96]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[97]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[98]: 6 -1.50003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[101]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[104]: 6 -2.92855 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[105]: 6 0 0.397427 shouldn't be
283.08/283.83 WSVECS04 Frhs2[106]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[107]: 6 -2.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[109]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[110]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[111]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[112]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[113]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[115]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[116]: 6 -5.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[119]: 6 -3.92859 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[120]: 6 0 0.397449 shouldn't be
283.08/283.83 WSVECS04 Frhs2[129]: 6 0 3.00007 shouldn't be
283.08/283.83 WSVECS04 Frhs2[135]: 6 0 0.397465 shouldn't be
283.08/283.83 WSVECS04 Frhs2[150]: 6 0 0.397469 shouldn't be
283.08/283.83 WSVECS04 Frhs2[151]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[154]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[155]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[156]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[158]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[164]: 6 -3.92855 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[165]: 6 0 0.397479 shouldn't be
283.08/283.83 WSVECS04 Frhs2[166]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[167]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[169]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[170]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[172]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[173]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[175]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[177]: 6 -3.92856 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[196]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[197]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[199]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[200]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[202]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[209]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[227]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[229]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[230]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[231]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[232]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[233]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[241]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[242]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[244]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[245]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[246]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[247]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[248]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[254]: 6 -1.07154 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[315]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[316]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[317]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[331]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[344]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[345]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[363]: 6 -3.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[368]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[371]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[373]: 6 -5.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[374]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[377]: 6 -1.50002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[378]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[380]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[382]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[385]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[386]: 6 -3.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[387]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[388]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[396]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[402]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[405]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[406]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[407]: 6 0 4.0915 shouldn't be
283.08/283.83 WSVECS04 Frhs2[410]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[412]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[414]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[416]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[419]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[420]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[422]: 6 -3.92856 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[424]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[428]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[434]: 6 -1.50008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[437]: 6 0 1.92857 shouldn't be
283.08/283.83 WSVECS04 Frhs2[442]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[443]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[444]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[446]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[452]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[454]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[455]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[458]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[460]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[461]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[462]: 6 -4.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[507]: 6 0 1.0001 shouldn't be
283.08/283.83 WSVECS04 Frhs2[524]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[525]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[526]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[527]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[539]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[541]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[545]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[554]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[555]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[559]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[569]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[573]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[581]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[583]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[584]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[587]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[588]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[590]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[592]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[595]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[596]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[601]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[602]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[604]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[606]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[612]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[615]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[616]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[618]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[620]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[622]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[623]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[624]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[626]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[629]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[630]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[632]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[634]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[638]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[644]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[650]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[652]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[653]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[654]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[656]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[658]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[659]: 6 -3.92857 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[660]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[662]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[664]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[665]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[666]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[667]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[668]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[670]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[671]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[676]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[696]: 6 -0.50004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[699]: 6 -0.651846 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[705]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[707]: 6 -1.14294 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[734]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[735]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[749]: 6 -1.00006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[750]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[751]: 6 -1.75005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[753]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[754]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[755]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[756]: 6 -1.0001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[764]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[765]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[768]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[769]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[770]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[779]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[780]: 6 -0.500092 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[782]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[785]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[786]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[792]: 6 -2.96432 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[794]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[796]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[799]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[801]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[810]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[811]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[817]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[818]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[824]: 6 -3.92856 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[831]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[835]: 6 -1.50006 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[841]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[858]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[859]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[860]: 6 -2.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[863]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[871]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[872]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[875]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[885]: 6 -3.92859 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[886]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[891]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[892]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[893]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[898]: 6 -3.92862 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[899]: 6 -3.92859 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[900]: 6 -4.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[948]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[961]: 6 -1.87501 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[962]: 6 -0.250078 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[976]: 6 -1.75003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[979]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[981]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[994]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[995]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1005]: 6 -4.42858 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1010]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1011]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1015]: 6 -1.57207 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1021]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1024]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1026]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1029]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1030]: 6 -2.14405 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1031]: 6 -1.50009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1033]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1035]: 6 -3.92857 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1036]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1039]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1042]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1043]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1045]: 6 -3.28797 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1048]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1055]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1056]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1057]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1066]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1072]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1074]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1077]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1078]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1080]: 6 -3.92858 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1083]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1084]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1085]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1094]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1096]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1097]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1100]: 6 -1.00004 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1104]: 6 -1.00002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1110]: 6 -1.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1111]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1113]: 6 -1.00005 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1119]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1122]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1123]: 6 -1.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1124]: 6 -1.00003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1125]: 6 -1.00009 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1126]: 6 -1.00001 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1142]: 6 -0.984474 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1143]: 6 -0.968805 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1144]: 6 -0.93752 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1145]: 6 -0.875049 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1146]: 6 -0.75002 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1149]: 6 0 1.00009 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1150]: 6 0 0.0715115 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1152]: 6 0 12.0715 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1169]: 6 -1.00199 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1176]: 6 -1.25003 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1178]: 6 -2.00007 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1181]: 6 -9.00008 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1183]: 6 -27.1435 0 shouldn't be
283.08/283.83 WSVECS04 Frhs2[1184]: 6 -53.287 0 shouldn't be
292.25/293.02 c #Conflicts: 380000 | #Constraints: 24691
292.25/293.02 c #Conflicts: 381000 | #Constraints: 25691
292.25/293.02 c #Conflicts: 382000 | #Constraints: 26691
292.25/293.02 c #Conflicts: 383000 | #Constraints: 27691
292.25/293.02 c #Conflicts: 384000 | #Constraints: 28691
292.25/293.02 c #Conflicts: 385000 | #Constraints: 29691
292.25/293.02 c #Conflicts: 386000 | #Constraints: 30691
292.25/293.02 c #Conflicts: 387000 | #Constraints: 31691
292.25/293.02 c #Conflicts: 388000 | #Constraints: 32691
292.25/293.02 c #Conflicts: 389000 | #Constraints: 33691
292.25/293.02 c #Conflicts: 390000 | #Constraints: 34691
292.25/293.02 c #Conflicts: 391000 | #Constraints: 35691
292.25/293.02 c #Conflicts: 392000 | #Constraints: 36691
292.25/293.02 c #Conflicts: 393000 | #Constraints: 37691
292.25/293.02 c #Conflicts: 394000 | #Constraints: 38692
292.25/293.02 c INPROCESSING
292.25/293.02 c GARBAGE COLLECT
292.25/293.02 WSVECS04 Frhs2[4]: 6 -78.2457 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[7]: 6 -79.069 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[8]: 6 -46.5882 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[10]: 6 -36.5017 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[12]: 6 -10.2574 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[14]: 6 -33.031 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[18]: 6 -10.422 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[22]: 6 -51.3211 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[23]: 6 -57.3474 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[24]: 6 -56.4119 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[27]: 6 -39.4152 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[30]: 6 -83.5347 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[31]: 6 -1.00003 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[36]: 6 -1.00198 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[37]: 6 -1.28519 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[38]: 6 -0.060574 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[39]: 6 -1.50201 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[44]: 6 0 38.3044 shouldn't be
292.25/293.02 WSVECS04 Frhs2[82]: 6 -36.9705 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[90]: 6 -17.3999 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[126]: 6 -6.89171 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[142]: 6 -2.04493 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[143]: 6 -0.0897352 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[144]: 6 -0.812582 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[150]: 6 -25.5058 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[158]: 6 0 2.88315 shouldn't be
292.25/293.02 WSVECS04 Frhs2[161]: 6 0 17 shouldn't be
292.25/293.02 WSVECS04 Frhs2[171]: 6 -2.08973 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[187]: 6 0 0.641143 shouldn't be
292.25/293.02 WSVECS04 Frhs2[210]: 6 -9.98443 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[212]: 6 0 4.20916 shouldn't be
292.25/293.02 WSVECS04 Frhs2[216]: 6 0 4.28229 shouldn't be
292.25/293.02 WSVECS04 Frhs2[217]: 6 0 11.5645 shouldn't be
292.25/293.02 WSVECS04 Frhs2[240]: 6 -17.9688 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[293]: 6 0 6.98442 shouldn't be
292.25/293.02 WSVECS04 Frhs2[417]: 6 -69 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[444]: 6 -129 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[445]: 6 -1.00006 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[454]: 6 0 4.00009 shouldn't be
292.25/293.02 WSVECS04 Frhs2[455]: 6 0 16.0001 shouldn't be
292.25/293.02 WSVECS04 Frhs2[466]: 6 0 0.250034 shouldn't be
292.25/293.02 WSVECS04 Frhs2[469]: 6 0 8.98441 shouldn't be
292.25/293.02 WSVECS04 Frhs2[482]: 6 0 9.98444 shouldn't be
292.25/293.02 WSVECS04 Frhs2[527]: 6 -4.00006 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[531]: 6 0 1.00008 shouldn't be
292.25/293.02 WSVECS04 Frhs2[545]: 6 0 1.00007 shouldn't be
292.25/293.02 WSVECS04 Frhs2[567]: 6 0 9.95531 shouldn't be
292.25/293.02 WSVECS04 Frhs2[572]: 6 0 14.7822 shouldn't be
292.25/293.02 WSVECS04 Frhs2[591]: 6 0 16.9688 shouldn't be
292.25/293.02 WSVECS04 Frhs2[603]: 6 0 2.89259 shouldn't be
292.25/293.02 WSVECS04 Frhs2[605]: 6 -5.99229 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[626]: 6 -63.5 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[667]: 6 0 2.00003 shouldn't be
292.25/293.02 WSVECS04 Frhs2[668]: 6 0 2.00003 shouldn't be
292.25/293.02 WSVECS04 Frhs2[670]: 6 0 64.8751 shouldn't be
292.25/293.02 WSVECS04 Frhs2[688]: 6 -2.00007 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[701]: 6 -0.576181 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[749]: 6 -1.25008 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[763]: 6 -14.4922 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[823]: 6 -6.4922 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[837]: 6 -2.44345 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[839]: 6 -1.00006 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[840]: 6 0 5.541 shouldn't be
292.25/293.02 WSVECS04 Frhs2[853]: 6 -1.00002 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[854]: 6 -1.00009 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[855]: 6 0 5.54106 shouldn't be
292.25/293.02 WSVECS04 Frhs2[856]: 6 0 2.21397 shouldn't be
292.25/293.02 WSVECS04 Frhs2[864]: 6 -1.00002 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[870]: 6 -1.00009 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[876]: 6 -1.00002 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[882]: 6 -42.0427 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[885]: 6 -8.98442 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[886]: 6 0 14.8558 shouldn't be
292.25/293.02 WSVECS04 Frhs2[890]: 6 0 7.00009 shouldn't be
292.25/293.02 WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[894]: 6 -1.00003 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[930]: 6 -89.8652 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1024]: 6 -5.96205 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1028]: 6 -4.82062 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1043]: 6 -8.64118 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1058]: 6 -0.500064 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1059]: 6 -33.5626 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1079]: 6 -0.875099 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1092]: 6 -0.500037 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1093]: 6 -0.750037 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1101]: 6 -1.00006 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1115]: 6 0 2.56448 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1134]: 6 -1.50001 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1146]: 6 -1.00003 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1148]: 6 -1.0001 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1152]: 6 -8.98446 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1153]: 6 -16.9688 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1171]: 6 -1.00003 0 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1184]: 6 0 30.9347 shouldn't be
292.25/293.02 WSVECS04 Frhs2[1185]: 6 0 48.3497 shouldn't be
292.35/293.11 c cpu time 290.594 s
292.35/293.11 c deterministic time 13727947479 1.37e+10
292.35/293.11 c optimization time 3.8e-05 s
292.35/293.11 c total solve time 290.592 s
292.35/293.11 c core-guided solve time 0 s
292.35/293.11 c propagation time 173.545 s
292.35/293.11 c conflict analysis time 108.794 s
292.35/293.11 c propagations 78729429
292.35/293.11 c resolve steps 29211410
292.35/293.11 c decisions 542020
292.35/293.11 c conflicts 394436
292.35/293.11 c restarts 955
292.35/293.11 c inprocessing phases 34
292.35/293.11 c garbage collections 34 ,( 100.00 )
292.35/293.11 c input clauses 855 ,( 50.41 )
292.35/293.11 c input cardinalities 0 ,( 0.00 )
292.35/293.11 c input general constraints 841 ,( 49.59 )
292.35/293.11 c input average constraint length 3.62
292.35/293.11 c input average constraint degree 633104.46
292.35/293.11 c learned clauses 302504 ,( 76.68 )
292.35/293.11 c learned cardinalities 67 ,( 0.02 )
292.35/293.11 c learned general constraints 91925 ,( 23.30 )
292.35/293.11 c learned average constraint length 119.81
292.35/293.11 c learned average constraint degree 36220684.27
292.35/293.11 c watched CF 32, 64, 128, Arb: 16275 , 0 , 0 , 0
292.35/293.11 c counting CF 32, 64, 128, Arb: 76491 , 0 , 0 , 0
292.35/293.11 c watched constraints 16275 ,( 17.54 )
292.35/293.11 c counting constraints 76491 ,( 82.46 )
292.35/293.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 202610595 , 1605367 , 3204433043 ,( 12519143 , 3191913900 )
292.35/293.11 c gcd simplifications 6527
292.35/293.11 c detected cardinalities 28
292.35/293.11 c weakened non-implied lits 11345386
292.35/293.11 c weakened non-implying lits 22502
292.35/293.11 c original variables 1185
292.35/293.11 c clausal propagations 24348760
292.35/293.11 c cardinality propagations 87388
292.35/293.11 c watched propagations 265520
292.35/293.11 c counting propagations 53630833
292.35/293.11 c watch lookups 8753779294
292.35/293.11 c watch backjump lookups 0
292.35/293.11 c watch checks 527434658
292.35/293.11 c propagation checks 4065861982
292.35/293.11 c constraint additions 221853023
292.35/293.11 c trail pops 79665884
292.35/293.11 c formula constraints 1696
292.35/293.11 c learned constraints 394434
292.35/293.11 c bound constraints 0
292.35/293.11 c core-guided constraints 0
292.35/293.11 c encountered formula constraints 20966161
292.35/293.11 c encountered learned constraints 8638494
292.35/293.11 c encountered bound constraints 0
292.35/293.11 c encountered core-guided constraints 0
292.35/293.11 c LP total time 5.74046 s
292.35/293.11 c LP solve time 5.13 s
292.35/293.11 c LP constraints added 1717
292.35/293.11 c LP constraints removed 4
292.35/293.11 c LP pivots internal 39726
292.35/293.11 c LP pivots root 41462
292.35/293.11 c LP calls 134
292.35/293.11 c LP optimalities 32
292.35/293.11 c LP no pivot count 1
292.35/293.11 c LP infeasibilities 61
292.35/293.11 c LP valid Farkas constraints 56
292.35/293.11 c LP learned Farkas constraints 0
292.35/293.11 c LP basis resets 43
292.35/293.11 c LP cycling count 9
292.35/293.11 c LP singular count 19
292.35/293.11 c LP no primal count 0
292.35/293.11 c LP no farkas count 5
292.35/293.11 c LP other issue count 10
292.35/293.11 c LP Gomory cuts 6
292.35/293.11 c LP learned cuts 15
292.35/293.11 c LP deleted cuts 4
292.35/293.11 c LP encountered Gomory constraints 1
292.35/293.11 c LP encountered Farkas constraints 1189
292.35/293.11 c LP encountered learned Farkas constraints 0
292.35/293.11 c CG auxiliary variables introduced 0
292.35/293.11 c CG solutions found 0
292.35/293.11 c CG cores constructed 0
292.35/293.11 c CG core cardinality constraints returned 0
292.35/293.11 c CG unit cores 0
292.35/293.11 c CG single cores 0
292.35/293.11 c CG blocks removed during cardinality reduction 0
292.35/293.11 c CG first core best 0
292.35/293.11 c CG decision core best 0
292.35/293.11 c CG core reduction tie 0
292.35/293.11 c CG core degree average 0.00
292.35/293.11 c CG core slack average 0.00
292.35/293.11 c CG core upper bound improvements 0
292.35/293.11 c STR number of successful calls 0
292.35/293.11 c STR number of unsuccessful calls 0
292.35/293.11 c STR number of inconclusive calls 0
292.35/293.11 c STR number of successful attempts 0
292.35/293.11 c STR number of unsuccessful attempts 0
292.35/293.11 c STR number of inconclusive attempts 0
292.35/293.11 c STR average degree increase per successful call inf
292.35/293.11 c STR average degree increase per successful attempt inf
292.35/293.11 c STR total number of conflicts for successful attempts 0
292.35/293.11 c STR total number of conflicts for unsuccessful attempts 0
292.35/293.11 c STR total number of conflicts for inconclusive attempts 0
292.35/293.11 c STR average number of conflicts per successful attempt inf
292.35/293.11 c STR average number of conflicts per unsuccessful attempt inf
292.35/293.11 c STR average number of conflicts per inconclusive attempt inf
292.35/293.11 c AVG.sumWPerc 71.90
292.35/293.11 c bigint constraints 0
292.35/293.11 s UNSATISFIABLE
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: 63665 MiB (61533 MiB free)
memory of node 1: 64507 MiB (62599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517112-1751231630/watcher-4517112-1751231630 -o /tmp/evaluation-result-4517112-1751231630/solver-4517112-1751231630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751230850-31101 --watchdog 3760 run-dec-ls.sh HOME/instance-4517112-1751231630.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=33458, runsolver pid=33455
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127111964/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=59444 memory=16080 CPUtime=0.09 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 1644 0 0 0 8 1 0 0 20 0 1 0 38843238 60870656 4020 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 14861 4020 2368 1147 0 2288 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63636 KiB
Current children cumulated memory: 19024 KiB
[startup+0.205852 s]*
/proc/loadavg: 4.10 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127111964/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=59708 memory=16208 CPUtime=0.19 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 1687 0 0 0 18 1 0 0 20 0 1 0 38843238 61140992 4052 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 14927 4052 2368 1147 0 2354 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63900 KiB
Current children cumulated memory: 19152 KiB
[startup+0.305746 s]*
/proc/loadavg: 4.10 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127111964/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=59840 memory=16336 CPUtime=0.29 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 1734 0 0 0 28 1 0 0 20 0 1 0 38843238 61276160 4084 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 14960 4084 2368 1147 0 2387 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64032 KiB
Current children cumulated memory: 19280 KiB
[startup+0.700161 s]
/proc/loadavg: 4.09 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127103996/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=60856 memory=17360 CPUtime=0.68 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 1970 0 0 0 66 2 0 0 20 0 1 0 38843238 62316544 4340 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 15214 4340 2368 1147 0 2641 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65048 KiB
Current children cumulated memory: 20304 KiB
[startup+1.50022 s]
/proc/loadavg: 4.09 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127103996/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=61796 memory=18128 CPUtime=1.47 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 2173 0 0 0 144 3 0 0 20 0 1 0 38843238 63279104 4532 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 15449 4532 2368 1147 0 2876 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65988 KiB
Current children cumulated memory: 21072 KiB
[startup+3.10559 s]
/proc/loadavg: 4.09 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127091836/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=63116 memory=19536 CPUtime=3.08 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 2529 0 0 0 302 6 0 0 20 0 1 0 38843238 64630784 4884 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 15779 4884 2368 1147 0 3206 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67308 KiB
Current children cumulated memory: 22480 KiB
[startup+6.30019 s]
/proc/loadavg: 4.08 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127059756/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=65556 memory=23896 CPUtime=6.26 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 3093 0 0 0 616 10 0 0 20 0 1 0 38843238 67129344 5974 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 16389 5974 2368 1147 0 3816 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 69748 KiB
Current children cumulated memory: 26840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.01 3.89 5/268 33460
/proc/meminfo: memFree=127059788/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=70476 memory=29016 CPUtime=12.65 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 4320 0 0 0 1248 17 0 0 20 0 1 0 38843238 72167424 7254 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 17619 7254 2464 1147 0 5046 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 74668 KiB
Current children cumulated memory: 31960 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.01 3.90 5/268 33461
/proc/meminfo: memFree=127059352/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=77472 memory=34204 CPUtime=25.42 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 5116 0 0 0 2513 29 0 0 20 0 1 0 38843238 79331328 8551 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 19368 8551 2464 1147 0 6795 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 81664 KiB
Current children cumulated memory: 37148 KiB
[startup+51.1056 s]
/proc/loadavg: 4.10 4.02 3.91 5/268 33461
/proc/meminfo: memFree=127003292/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=98124 memory=48284 CPUtime=50.96 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 8639 0 0 0 5050 46 0 0 20 0 1 0 38843238 100478976 12071 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 24531 12071 2464 1147 0 11958 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 102316 KiB
Current children cumulated memory: 51228 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.05 3.92 5/268 33463
/proc/meminfo: memFree=126915300/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=101764 memory=57880 CPUtime=102.02 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 9738 0 0 0 10123 79 0 0 20 0 1 0 38843238 104206336 14470 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 25441 14470 2464 1147 0 12868 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 105956 KiB
Current children cumulated memory: 60824 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.05 3.94 5/267 33465
/proc/meminfo: memFree=126826616/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=120820 memory=76852 CPUtime=161.88 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 12170 0 0 0 16079 109 0 0 20 0 1 0 38843238 123719680 19213 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 30205 19213 2464 1147 0 17632 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 125012 KiB
Current children cumulated memory: 79796 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.07 3.95 5/266 33472
/proc/meminfo: memFree=126829576/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=121744 memory=77780 CPUtime=221.73 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 12941 0 0 0 22030 143 0 0 20 0 1 0 38843238 124665856 19445 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 30436 19445 2464 1147 0 17863 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 125936 KiB
Current children cumulated memory: 80724 KiB
[startup+282.3 s]
/proc/loadavg: 4.59 4.19 4.00 5/266 33474
/proc/meminfo: memFree=126683840/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124112 memory=80008 CPUtime=281.58 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 13772 0 0 0 27989 169 0 0 20 0 1 0 38843238 127090688 20002 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31028 20002 2464 1147 0 18455 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 128304 KiB
Current children cumulated memory: 82952 KiB
[startup+293.119 s]
# the end of solver process 33458 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=290.598 s, system=1.78266 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+288 s]*
/proc/loadavg: 4.62 4.20 4.01 5/266 33474
/proc/meminfo: memFree=126683872/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124280 memory=80136 CPUtime=287.27 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 14036 0 0 0 28554 173 0 0 20 0 1 0 38843238 127262720 20034 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31070 20034 2464 1147 0 18497 0
Current children cumulated CPU time: 287.27 s
Current children cumulated vsize: 128472 KiB
Current children cumulated memory: 83080 KiB
[startup+291.2 s]
/proc/loadavg: 4.73 4.23 4.02 5/266 33474
/proc/meminfo: memFree=126683896/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124280 memory=80136 CPUtime=290.46 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 14036 0 0 0 28870 176 0 0 20 0 1 0 38843238 127262720 20034 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31070 20034 2464 1147 0 18497 0
Current children cumulated CPU time: 290.46 s
Current children cumulated vsize: 128472 KiB
Current children cumulated memory: 83080 KiB
[startup+292 s]*
/proc/loadavg: 4.73 4.23 4.02 5/266 33474
/proc/meminfo: memFree=126683896/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124280 memory=80136 CPUtime=291.26 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 14036 0 0 0 28950 176 0 0 20 0 1 0 38843238 127262720 20034 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31070 20034 2464 1147 0 18497 0
Current children cumulated CPU time: 291.26 s
Current children cumulated vsize: 128472 KiB
Current children cumulated memory: 83080 KiB
[startup+292.8 s]
/proc/loadavg: 4.73 4.23 4.02 5/266 33474
/proc/meminfo: memFree=126683896/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124280 memory=80136 CPUtime=292.05 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 14036 0 0 0 29028 177 0 0 20 0 1 0 38843238 127262720 20034 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31070 20034 2464 1147 0 18497 0
Current children cumulated CPU time: 292.05 s
Current children cumulated vsize: 128472 KiB
Current children cumulated memory: 83080 KiB
[startup+293 s]*
/proc/loadavg: 4.73 4.23 4.02 5/266 33474
/proc/meminfo: memFree=126683912/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124508 memory=80392 CPUtime=292.25 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 14093 0 0 0 29048 177 0 0 20 0 1 0 38843238 127496192 20098 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31127 20098 2464 1147 0 18554 0
Current children cumulated CPU time: 292.25 s
Current children cumulated vsize: 128700 KiB
Current children cumulated memory: 83336 KiB
[startup+293.106 s]
/proc/loadavg: 4.73 4.23 4.02 5/266 33474
/proc/meminfo: memFree=126683912/131250000 swapFree=33010684/33010684
[pid=33458] ppid=33455 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/33458/stat : 33458 (run-dec-ls.sh) S 33455 33458 31089 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 38843237 4292608 736 18446744073709551615 94575571894272 94575572788805 140731446627152 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94575573027856 94575573075600 94575591927808 140731446630759 140731446630885 140731446630885 140731446636487 0
/proc/33458/statm: 1048 736 672 219 0 110 0
[pid=33460] ppid=33458 vsize=124508 memory=80392 CPUtime=292.35 cores=1,3
/proc/33460/stat : 33460 (roundingsat) R 33458 33458 31089 0 -1 4194304 14093 0 0 0 29058 177 0 0 20 0 1 0 38843238 127496192 20098 18446744073709551615 4227072 8923433 140720755735968 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 42668032 140720755739040 140720755739176 140720755739176 140720755744746 0
/proc/33460/statm: 31127 20098 2464 1147 0 18554 0
Current children cumulated CPU time: 292.35 s
Current children cumulated vsize: 128700 KiB
Current children cumulated memory: 83336 KiB
Child status: 0
Real time (s): 293.119
CPU time (s): 292.381
CPU user time (s): 290.598
CPU system time (s): 1.78266
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 128700
Max. memory (cumulated for all children) (KiB): 83336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 290.598
system time used= 1.78266
maximum resident set size= 80724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14322
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 587
# summary of solver processes directly reported to runsolver:
# pid: 33458
# total CPU time (s): 292.381
# total CPU user time (s): 290.598
# total CPU system time (s): 1.78266
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.726294 second user time and 1.25318 second system time
The end
Begin job on nodeC013 at 2025-06-29 23:13:50
IDJOB=4517112
IDBENCH=176016
IDSOLVER=3353
FILE ID=nodeC013/4517112-1751231630
RUNJOBID= nodeC013-1751230850-31101
SLURM_JOB_ID= 9587703
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_diag/normalized-15array_diag_greater.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517112-1751231630/watcher-4517112-1751231630 -o /tmp/evaluation-result-4517112-1751231630/solver-4517112-1751231630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751230850-31101 --watchdog 3760 run-dec-ls.sh HOME/instance-4517112-1751231630.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d43ecb7c1452ca8da1aa915bfc6a97e8
RANDOM SEED=1431225347
nodeC013 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.829
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.271
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.869
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.854
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.548
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.67
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 : 3599.839
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.67
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 : 3569.112
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.67
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 : 3543.949
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127112044 kB
MemAvailable: 127079788 kB
Buffers: 3280 kB
Cached: 770608 kB
SwapCached: 0 kB
Active: 3005996 kB
Inactive: 527100 kB
Active(anon): 2772492 kB
Inactive(anon): 0 kB
Active(file): 233504 kB
Inactive(file): 527100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7316 kB
Writeback: 12 kB
AnonPages: 2762460 kB
Mapped: 111720 kB
Shmem: 13284 kB
KReclaimable: 92356 kB
Slab: 179468 kB
SReclaimable: 92356 kB
SUnreclaim: 87112 kB
KernelStack: 4352 kB
PageTables: 8944 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3636320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1439744 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433020 MiB
End job on nodeC013 at 2025-06-29 23:18:43