0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4541960-1753206207.opb'
0.00/0.01 c read 0.08MB (1.43ms)
0.00/0.01 c [cnf: #variables 1848 #clauses 2354 #duplicates 0 #arr 7632]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (2.30ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (0.31ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 10226 #edges 27312]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (0.56ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4541960-1753206207.opb.pre'
0.00/0.01 c wrote 0.08MB (0.24ms)
0.00/0.01 c ------------------------------------------------------------------
0.00/0.01 c 2.30ms 45.07% approx_orbits
0.00/0.01 c 1.43ms 28.02% parse
0.00/0.01 c 0.56ms 10.94% detect_generic
0.00/0.01 c 0.31ms 6.14% detect_special
0.00/0.01 c 0.24ms 4.63% output
0.00/0.01 c 0.22ms 4.23% other
0.00/0.01 c 0.05ms 0.97% finalize_order
0.00/0.01 c ───────────────────────────────────────────────
0.00/0.01 c 5.11ms 100% total
0.00/0.01 c ------------------------------------------------------------------
0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 1848 #constraints 2979
0.00/0.04 c rational objective 7.10543e-15
5.55/5.66 c #Conflicts: 1000 | #Constraints: 3979
5.55/5.66 c #Conflicts: 2000 | #Constraints: 4979
5.55/5.66 c INPROCESSING
5.55/5.66 c GARBAGE COLLECT
5.55/5.66 c rational objective 4.01309
17.62/17.77 c #Conflicts: 3000 | #Constraints: 4984
17.62/17.77 c #Conflicts: 4000 | #Constraints: 5984
17.62/17.77 c INPROCESSING
17.62/17.77 c GARBAGE COLLECT
17.62/17.77 c #Conflicts: 5000 | #Constraints: 5385
17.62/17.77 c #Conflicts: 6000 | #Constraints: 6386
17.62/17.77 c INPROCESSING
17.62/17.77 c GARBAGE COLLECT
17.62/17.77 c #Conflicts: 7000 | #Constraints: 5387
17.62/17.77 c #Conflicts: 8000 | #Constraints: 6387
17.62/17.77 c #Conflicts: 9000 | #Constraints: 7387
17.62/17.77 c INPROCESSING
17.62/17.77 c GARBAGE COLLECT
17.62/17.77 c rational objective 4.16602
23.50/23.65 c #Conflicts: 10000 | #Constraints: 6086
23.50/23.65 c #Conflicts: 11000 | #Constraints: 7086
23.50/23.65 c #Conflicts: 12000 | #Constraints: 8086
23.50/23.65 c INPROCESSING
23.50/23.65 c GARBAGE COLLECT
23.50/23.65 c rational objective 4.37905
96.57/96.97 c #Conflicts: 13000 | #Constraints: 6537
96.57/96.97 c #Conflicts: 14000 | #Constraints: 7537
96.57/96.97 c #Conflicts: 15000 | #Constraints: 8537
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c #Conflicts: 16000 | #Constraints: 6765
96.57/96.97 c #Conflicts: 17000 | #Constraints: 7765
96.57/96.97 c #Conflicts: 18000 | #Constraints: 8765
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c #Conflicts: 19000 | #Constraints: 6777
96.57/96.97 c #Conflicts: 20000 | #Constraints: 7778
96.57/96.97 c #Conflicts: 21000 | #Constraints: 8779
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c #Conflicts: 22000 | #Constraints: 6583
96.57/96.97 c #Conflicts: 23000 | #Constraints: 7583
96.57/96.97 c #Conflicts: 24000 | #Constraints: 8583
96.57/96.97 c #Conflicts: 25000 | #Constraints: 9583
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c #Conflicts: 26000 | #Constraints: 7185
96.57/96.97 c #Conflicts: 27000 | #Constraints: 8185
96.57/96.97 c #Conflicts: 28000 | #Constraints: 9185
96.57/96.97 c #Conflicts: 29000 | #Constraints: 10185
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c #Conflicts: 30000 | #Constraints: 7588
96.57/96.97 c #Conflicts: 31000 | #Constraints: 8591
96.57/96.97 c #Conflicts: 32000 | #Constraints: 9591
96.57/96.97 c #Conflicts: 33000 | #Constraints: 10591
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c #Conflicts: 34000 | #Constraints: 7789
96.57/96.97 c #Conflicts: 35000 | #Constraints: 8789
96.57/96.97 c #Conflicts: 36000 | #Constraints: 9791
96.57/96.97 c #Conflicts: 37000 | #Constraints: 10791
96.57/96.97 c INPROCESSING
96.57/96.97 c GARBAGE COLLECT
96.57/96.97 c rational objective 4.4728
188.68/189.31 c #Conflicts: 38000 | #Constraints: 7796
188.68/189.31 c #Conflicts: 39000 | #Constraints: 8796
188.68/189.31 c #Conflicts: 40000 | #Constraints: 9796
188.68/189.31 c #Conflicts: 41000 | #Constraints: 10797
188.68/189.31 c INPROCESSING
188.68/189.31 c GARBAGE COLLECT
188.68/189.31 c #Conflicts: 42000 | #Constraints: 7593
188.68/189.31 c #Conflicts: 43000 | #Constraints: 8593
188.68/189.31 c #Conflicts: 44000 | #Constraints: 9594
188.68/189.31 c #Conflicts: 45000 | #Constraints: 10594
188.68/189.31 c #Conflicts: 46000 | #Constraints: 11594
188.68/189.31 c INPROCESSING
188.68/189.31 c GARBAGE COLLECT
188.68/189.31 c #Conflicts: 47000 | #Constraints: 8192
188.68/189.31 c #Conflicts: 48000 | #Constraints: 9192
188.68/189.31 c #Conflicts: 49000 | #Constraints: 10192
188.68/189.31 c #Conflicts: 50000 | #Constraints: 11192
188.68/189.31 c #Conflicts: 51000 | #Constraints: 12192
188.68/189.31 c INPROCESSING
188.68/189.31 c GARBAGE COLLECT
188.68/189.31 c #Conflicts: 52000 | #Constraints: 8590
188.68/189.31 c #Conflicts: 53000 | #Constraints: 9590
188.68/189.31 c #Conflicts: 54000 | #Constraints: 10590
188.68/189.31 c #Conflicts: 55000 | #Constraints: 11590
188.68/189.31 c #Conflicts: 56000 | #Constraints: 12590
188.68/189.31 c INPROCESSING
188.68/189.31 c GARBAGE COLLECT
188.68/189.31 c #Conflicts: 57000 | #Constraints: 8793
188.68/189.31 c #Conflicts: 58000 | #Constraints: 9793
188.68/189.31 c #Conflicts: 59000 | #Constraints: 10793
188.68/189.31 c #Conflicts: 60000 | #Constraints: 11794
188.68/189.31 c #Conflicts: 61000 | #Constraints: 12794
188.68/189.31 c INPROCESSING
188.68/189.31 c GARBAGE COLLECT
188.68/189.31 WSVECS04 Frhs2[2]: 6 -71.8096 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[4]: 6 -8.76649 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[6]: 6 -8.76644 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[7]: 6 -8.76643 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[9]: 6 -8.76644 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[10]: 6 -8.76643 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[12]: 6 -8.76649 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[28]: 6 -75.4958 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[29]: 6 -75.2549 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[31]: 6 -66.2234 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[32]: 6 -66.2235 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[33]: 6 -67.7766 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[34]: 6 -66.2235 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[35]: 6 -66.2235 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[52]: 6 -0.939761 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[55]: 6 -0.517991 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[60]: 6 0 14.4266 shouldn't be
188.68/189.31 WSVECS04 Frhs2[61]: 6 0 29.8531 shouldn't be
188.68/189.31 WSVECS04 Frhs2[62]: 6 0 60.7063 shouldn't be
188.68/189.31 WSVECS04 Frhs2[63]: 6 0 122.412 shouldn't be
188.68/189.31 WSVECS04 Frhs2[64]: 6 0 245.825 shouldn't be
188.68/189.31 WSVECS04 Frhs2[65]: 6 0 492.65 shouldn't be
188.68/189.31 WSVECS04 Frhs2[66]: 6 0 986.3 shouldn't be
188.68/189.31 WSVECS04 Frhs2[67]: 6 0 1973.6 shouldn't be
188.68/189.31 WSVECS04 Frhs2[68]: 6 0 3948.2 shouldn't be
188.68/189.31 WSVECS04 Frhs2[69]: 6 0 7937.56 shouldn't be
188.68/189.31 WSVECS04 Frhs2[70]: 6 0 15874.8 shouldn't be
188.68/189.31 WSVECS04 Frhs2[71]: 6 0 31524.5 shouldn't be
188.68/189.31 WSVECS04 Frhs2[72]: 6 0 63118.6 shouldn't be
188.68/189.31 WSVECS04 Frhs2[76]: 6 -62.921 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[77]: 6 -62.8005 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[79]: 6 -61.9293 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[80]: 6 -60.592 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[81]: 6 -59.2869 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[82]: 6 -55.2419 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[83]: 6 -47.2414 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[86]: 6 0 57.1891 shouldn't be
188.68/189.31 WSVECS04 Frhs2[87]: 6 0 180.602 shouldn't be
188.68/189.31 WSVECS04 Frhs2[88]: 6 0 427.426 shouldn't be
188.68/189.31 WSVECS04 Frhs2[89]: 6 0 921.076 shouldn't be
188.68/189.31 WSVECS04 Frhs2[90]: 6 0 1908.38 shouldn't be
188.68/189.31 WSVECS04 Frhs2[91]: 6 0 3882.97 shouldn't be
188.68/189.31 WSVECS04 Frhs2[92]: 6 0 7871.34 shouldn't be
188.68/189.31 WSVECS04 Frhs2[93]: 6 0 15808.6 shouldn't be
188.68/189.31 WSVECS04 Frhs2[94]: 6 0 31527.4 shouldn't be
188.68/189.31 WSVECS04 Frhs2[95]: 6 0 63120.9 shouldn't be
188.68/189.31 WSVECS04 Frhs2[96]: 6 0 126306 shouldn't be
188.68/189.31 WSVECS04 Frhs2[108]: 6 0 52.9399 shouldn't be
188.68/189.31 WSVECS04 Frhs2[109]: 6 0 114.646 shouldn't be
188.68/189.31 WSVECS04 Frhs2[110]: 6 0 238.058 shouldn't be
188.68/189.31 WSVECS04 Frhs2[111]: 6 0 484.883 shouldn't be
188.68/189.31 WSVECS04 Frhs2[112]: 6 0 978.533 shouldn't be
188.68/189.31 WSVECS04 Frhs2[113]: 6 0 1965.83 shouldn't be
188.68/189.31 WSVECS04 Frhs2[114]: 6 0 3940.43 shouldn't be
188.68/189.31 WSVECS04 Frhs2[115]: 6 0 7889.63 shouldn't be
188.68/189.31 WSVECS04 Frhs2[116]: 6 0 15799.8 shouldn't be
188.68/189.31 WSVECS04 Frhs2[117]: 6 0 31584.8 shouldn't be
188.68/189.31 WSVECS04 Frhs2[118]: 6 0 63178.4 shouldn't be
188.68/189.31 WSVECS04 Frhs2[119]: 6 0 126308 shouldn't be
188.68/189.31 WSVECS04 Frhs2[121]: 6 -0.939831 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[124]: 6 -1.52234 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[125]: 6 -1.04073 0 shouldn't be
188.68/189.31 WSVECS04 Frhs2[126]: 6 0 0.928342 shouldn't be
188.68/189.31 WSVECS04 Frhs2[132]: 6 0 122.412 shouldn't be
188.68/189.31 WSVECS04 Frhs2[133]: 6 0 245.825 shouldn't be
188.68/189.31 WSVECS04 Frhs2[134]: 6 0 492.65 shouldn't be
188.68/189.31 WSVECS04 Frhs2[135]: 6 0 986.299 shouldn't be
188.68/189.31 WSVECS04 Frhs2[136]: 6 0 1973.6 shouldn't be
188.68/189.31 WSVECS04 Frhs2[137]: 6 0 3948.2 shouldn't be
188.68/189.31 WSVECS04 Frhs2[138]: 6 0 7897.4 shouldn't be
188.68/189.31 WSVECS04 Frhs2[139]: 6 0 15798.8 shouldn't be
188.68/189.31 WSVECS04 Frhs2[140]: 6 0 31592.6 shouldn't be
188.68/189.31 WSVECS04 Frhs2[141]: 6 0 63186.2 shouldn't be
188.68/189.31 WSVECS04 Frhs2[142]: 6 0 126366 shouldn't be
188.68/189.31 WSVECS04 Frhs2[143]: 6 0 252682 shouldn't be
188.68/189.31 WSVECS04 Frhs2[144]: 6 0 505429 shouldn't be
188.68/189.31 WSVECS04 Frhs2[150]: 6 0 2.83738 shouldn't be
188.68/189.31 WSVECS04 Frhs2[151]: 6 0 6.71331 shouldn't be
188.68/189.31 WSVECS04 Frhs2[152]: 6 0 14.412 shouldn't be
188.68/189.31 WSVECS04 Frhs2[153]: 6 0 28.8473 shouldn't be
188.68/189.31 WSVECS04 Frhs2[154]: 6 0 59.7024 shouldn't be
188.68/189.31 WSVECS04 Frhs2[155]: 6 0 122.405 shouldn't be
188.68/189.31 WSVECS04 Frhs2[156]: 6 0 245.825 shouldn't be
188.68/189.31 WSVECS04 Frhs2[157]: 6 0 492.65 shouldn't be
188.68/189.31 WSVECS04 Frhs2[158]: 6 0 986.299 shouldn't be
188.68/189.31 WSVECS04 Frhs2[159]: 6 0 1973.6 shouldn't be
188.68/189.31 WSVECS04 Frhs2[160]: 6 0 3948.2 shouldn't be
188.68/189.31 WSVECS04 Frhs2[161]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[162]: 6 0 15797.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[163]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[167]: 6 0 505431 shouldn't be
188.68/189.32 WSVECS04 Frhs2[169]: 6 -0.759044 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[170]: 6 -0.518001 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[171]: 6 -2.04462 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[172]: 6 -0.0892254 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[174]: 6 0 6.67478 shouldn't be
188.68/189.32 WSVECS04 Frhs2[180]: 6 0 492.65 shouldn't be
188.68/189.32 WSVECS04 Frhs2[181]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[182]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[183]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[184]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[185]: 6 0 15796.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[186]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[191]: 6 0 1.01093e+06 shouldn't be
188.68/189.32 WSVECS04 Frhs2[193]: 6 -0.517936 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[194]: 6 -0.035908 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[195]: 6 -0.104789 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[198]: 6 0 14.3495 shouldn't be
188.68/189.32 WSVECS04 Frhs2[204]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[205]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[206]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[207]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[208]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[209]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[218]: 6 0 0.92833 shouldn't be
188.68/189.32 WSVECS04 Frhs2[219]: 6 0 1.79051 shouldn't be
188.68/189.32 WSVECS04 Frhs2[220]: 6 0 5.64349 shouldn't be
188.68/189.32 WSVECS04 Frhs2[221]: 6 0 13.3494 shouldn't be
188.68/189.32 WSVECS04 Frhs2[222]: 6 0 29.6989 shouldn't be
188.68/189.32 WSVECS04 Frhs2[223]: 6 0 59.6477 shouldn't be
188.68/189.32 WSVECS04 Frhs2[224]: 6 0 121.358 shouldn't be
188.68/189.32 WSVECS04 Frhs2[225]: 6 0 244.778 shouldn't be
188.68/189.32 WSVECS04 Frhs2[226]: 6 0 491.618 shouldn't be
188.68/189.32 WSVECS04 Frhs2[227]: 6 0 985.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[228]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[229]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[230]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[231]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[232]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[246]: 6 0 60.3977 shouldn't be
188.68/189.32 WSVECS04 Frhs2[252]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[253]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[254]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[255]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[270]: 6 0 121.795 shouldn't be
188.68/189.32 WSVECS04 Frhs2[276]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[277]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[278]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[289]: 6 0 6.71334 shouldn't be
188.68/189.32 WSVECS04 Frhs2[290]: 6 0 13.6766 shouldn't be
188.68/189.32 WSVECS04 Frhs2[291]: 6 0 28.3239 shouldn't be
188.68/189.32 WSVECS04 Frhs2[292]: 6 0 59.1477 shouldn't be
188.68/189.32 WSVECS04 Frhs2[293]: 6 0 120.795 shouldn't be
188.68/189.32 WSVECS04 Frhs2[294]: 6 0 244.591 shouldn't be
188.68/189.32 WSVECS04 Frhs2[295]: 6 0 491.181 shouldn't be
188.68/189.32 WSVECS04 Frhs2[296]: 6 0 984.862 shouldn't be
188.68/189.32 WSVECS04 Frhs2[297]: 6 0 1972.22 shouldn't be
188.68/189.32 WSVECS04 Frhs2[298]: 6 0 3946.95 shouldn't be
188.68/189.32 WSVECS04 Frhs2[299]: 6 0 7896.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[300]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[301]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[318]: 6 0 490.181 shouldn't be
188.68/189.32 WSVECS04 Frhs2[324]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[337]: 6 0 29.8532 shouldn't be
188.68/189.32 WSVECS04 Frhs2[339]: 6 0 119.295 shouldn't be
188.68/189.32 WSVECS04 Frhs2[340]: 6 0 242.591 shouldn't be
188.68/189.32 WSVECS04 Frhs2[341]: 6 0 489.181 shouldn't be
188.68/189.32 WSVECS04 Frhs2[342]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[343]: 6 0 1970.72 shouldn't be
188.68/189.32 WSVECS04 Frhs2[344]: 6 0 3945.45 shouldn't be
188.68/189.32 WSVECS04 Frhs2[345]: 6 0 7894.9 shouldn't be
188.68/189.32 WSVECS04 Frhs2[346]: 6 0 15793.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[347]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[362]: 6 0 122.412 shouldn't be
188.68/189.32 WSVECS04 Frhs2[363]: 6 0 245.825 shouldn't be
188.68/189.32 WSVECS04 Frhs2[364]: 6 0 492.65 shouldn't be
188.68/189.32 WSVECS04 Frhs2[365]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[366]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[367]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[368]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[369]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[370]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[385]: 6 0 122.413 shouldn't be
188.68/189.32 WSVECS04 Frhs2[386]: 6 0 245.825 shouldn't be
188.68/189.32 WSVECS04 Frhs2[387]: 6 0 492.65 shouldn't be
188.68/189.32 WSVECS04 Frhs2[388]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[389]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[390]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[391]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[392]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[393]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[409]: 6 0 245.825 shouldn't be
188.68/189.32 WSVECS04 Frhs2[410]: 6 0 492.65 shouldn't be
188.68/189.32 WSVECS04 Frhs2[411]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[412]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[413]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[414]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[415]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[416]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[433]: 6 0 492.65 shouldn't be
188.68/189.32 WSVECS04 Frhs2[434]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[435]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[436]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[437]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[438]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[439]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[457]: 6 0 986.299 shouldn't be
188.68/189.32 WSVECS04 Frhs2[458]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[459]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[460]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[461]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[462]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[481]: 6 0 1973.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[482]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[483]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[484]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[485]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[503]: 6 0 8.28207e+09 shouldn't be
188.68/189.32 WSVECS04 Frhs2[505]: 6 0 3948.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[506]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[507]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[508]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[529]: 6 0 7897.4 shouldn't be
188.68/189.32 WSVECS04 Frhs2[530]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[531]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[553]: 6 0 15795.8 shouldn't be
188.68/189.32 WSVECS04 Frhs2[554]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[577]: 6 0 31592.6 shouldn't be
188.68/189.32 WSVECS04 Frhs2[705]: 6 0 2.51043 shouldn't be
188.68/189.32 WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1199]: 6 -1.00007 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1222]: 6 -1.00007 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1245]: 6 -66.2234 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1268]: 6 -8.76648 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1289]: 6 -0.744859 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1291]: 6 -1.00002 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1314]: 6 -1.00002 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1337]: 6 -1.00007 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1383]: 6 -1.00006 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1406]: 6 -1.00002 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1429]: 6 -1.00006 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1452]: 6 -1.00007 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1475]: 6 -1.0001 0 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1606]: 6 0 49.8631 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1630]: 6 0 50.9291 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1654]: 6 0 53.0611 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1727]: 6 0 2.00003 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1749]: 6 0 2.00002 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1752]: 6 0 2.00008 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1776]: 6 0 312.935 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1777]: 6 0 623.528 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1778]: 6 0 1244.71 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1779]: 6 0 2487.09 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1780]: 6 0 4971.83 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1781]: 6 0 9941.33 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1782]: 6 0 19880.3 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1783]: 6 0 39758.3 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1784]: 6 0 79514.2 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1785]: 6 0 159026 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1786]: 6 0 318050 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1787]: 6 0 636097 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1788]: 6 0 1.27219e+06 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1789]: 6 0 2.54438e+06 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1790]: 6 0 5.08876e+06 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1791]: 6 0 1.01775e+07 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1792]: 6 0 2.0355e+07 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1793]: 6 0 4.07101e+07 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1794]: 6 0 8.14202e+07 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1795]: 6 0 1.6284e+08 shouldn't be
188.68/189.32 WSVECS04 Frhs2[1797]: 6 0 6.51361e+08 shouldn't be
263.45/264.32 c #Conflicts: 62000 | #Constraints: 8793
263.45/264.32 c #Conflicts: 63000 | #Constraints: 9793
263.45/264.32 c #Conflicts: 64000 | #Constraints: 10794
263.45/264.32 c #Conflicts: 65000 | #Constraints: 11794
263.45/264.32 c #Conflicts: 66000 | #Constraints: 12794
263.45/264.32 c INPROCESSING
263.45/264.32 c GARBAGE COLLECT
263.45/264.32 c #Conflicts: 67000 | #Constraints: 8590
263.45/264.32 c #Conflicts: 68000 | #Constraints: 9591
263.45/264.32 c #Conflicts: 69000 | #Constraints: 10592
263.45/264.32 c #Conflicts: 70000 | #Constraints: 11592
263.45/264.32 c #Conflicts: 71000 | #Constraints: 12592
263.45/264.32 c #Conflicts: 72000 | #Constraints: 13594
263.45/264.32 c INPROCESSING
263.45/264.32 c GARBAGE COLLECT
263.45/264.32 c #Conflicts: 73000 | #Constraints: 9192
263.45/264.32 c #Conflicts: 74000 | #Constraints: 10193
263.45/264.32 c #Conflicts: 75000 | #Constraints: 11194
263.45/264.32 c #Conflicts: 76000 | #Constraints: 12194
263.45/264.32 c #Conflicts: 77000 | #Constraints: 13195
263.45/264.32 c #Conflicts: 78000 | #Constraints: 14195
263.45/264.32 c INPROCESSING
263.45/264.32 c GARBAGE COLLECT
263.45/264.32 WSVECS04 Frhs2[26]: 6 0 2.50002 shouldn't be
263.45/264.32 WSVECS04 Frhs2[35]: 6 0 2.50002 shouldn't be
263.45/264.32 WSVECS04 Frhs2[51]: 6 0 4.60511 shouldn't be
263.45/264.32 WSVECS04 Frhs2[56]: 6 -3.03633 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[60]: 6 -2.11009 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[61]: 6 -0.99551 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[70]: 6 0 2.06657 shouldn't be
263.45/264.32 WSVECS04 Frhs2[71]: 6 0 8.79882 shouldn't be
263.45/264.32 WSVECS04 Frhs2[72]: 6 0 13.8028 shouldn't be
263.45/264.32 WSVECS04 Frhs2[73]: 6 0 6.21939 shouldn't be
263.45/264.32 WSVECS04 Frhs2[82]: 6 0 2.50114 shouldn't be
263.45/264.32 WSVECS04 Frhs2[93]: 6 0 5.67892 shouldn't be
263.45/264.32 WSVECS04 Frhs2[94]: 6 0 2.97835 shouldn't be
263.45/264.32 WSVECS04 Frhs2[96]: 6 0 23.0006 shouldn't be
263.45/264.32 WSVECS04 Frhs2[120]: 6 0 37.3156 shouldn't be
263.45/264.32 WSVECS04 Frhs2[132]: 6 0 1.76312 shouldn't be
263.45/264.32 WSVECS04 Frhs2[144]: 6 0 78.1869 shouldn't be
263.45/264.32 WSVECS04 Frhs2[151]: 6 -0.998878 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[156]: 6 0 1.28521 shouldn't be
263.45/264.32 WSVECS04 Frhs2[168]: 6 0 147.688 shouldn't be
263.45/264.32 WSVECS04 Frhs2[192]: 6 0 293.352 shouldn't be
263.45/264.32 WSVECS04 Frhs2[198]: 6 -1.49775 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[200]: 6 -1.49102 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[204]: 6 -1.73129 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[216]: 6 0 589.179 shouldn't be
263.45/264.32 WSVECS04 Frhs2[240]: 6 0 1181.91 shouldn't be
263.45/264.32 WSVECS04 Frhs2[243]: 6 -0.998878 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[246]: 6 -2.24102 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[247]: 6 -0.482036 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[248]: 6 -1.83907 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[252]: 6 -0.925143 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[264]: 6 0 2355.14 shouldn't be
263.45/264.32 WSVECS04 Frhs2[270]: 6 -1.48204 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[271]: 6 -2.08907 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[272]: 6 -1.67814 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[288]: 6 0 4713.84 shouldn't be
263.45/264.32 WSVECS04 Frhs2[293]: 6 0 1.51797 shouldn't be
263.45/264.32 WSVECS04 Frhs2[312]: 6 0 9423.07 shouldn't be
263.45/264.32 WSVECS04 Frhs2[316]: 6 0 0.517965 shouldn't be
263.45/264.32 WSVECS04 Frhs2[336]: 6 0 18837.5 shouldn't be
263.45/264.32 WSVECS04 Frhs2[345]: 6 0 0.0247158 shouldn't be
263.45/264.32 WSVECS04 Frhs2[360]: 6 0 37674.4 shouldn't be
263.45/264.32 WSVECS04 Frhs2[361]: 6 -0.991018 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[362]: 6 -1.48204 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[363]: 6 -0.964072 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[366]: 6 -2.99382 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[367]: 6 -1.98764 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[368]: 6 -0.975285 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[384]: 6 0 75348.3 shouldn't be
263.45/264.32 WSVECS04 Frhs2[385]: 6 -2.48204 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[386]: 6 -0.964072 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[387]: 6 -0.928143 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[390]: 6 -1.44077 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[391]: 6 -1.97529 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[408]: 6 0 150696 shouldn't be
263.45/264.32 WSVECS04 Frhs2[416]: 6 0 2.09886 shouldn't be
263.45/264.32 WSVECS04 Frhs2[417]: 6 0 7.19772 shouldn't be
263.45/264.32 WSVECS04 Frhs2[432]: 6 0 301392 shouldn't be
263.45/264.32 WSVECS04 Frhs2[437]: 6 0 1.02472 shouldn't be
263.45/264.32 WSVECS04 Frhs2[438]: 6 0 0.236931 shouldn't be
263.45/264.32 WSVECS04 Frhs2[440]: 6 0 6.19772 shouldn't be
263.45/264.32 WSVECS04 Frhs2[457]: 6 -8.35629 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[458]: 6 -3.71257 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[459]: 6 -1.48764 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[460]: 6 0 0.024716 shouldn't be
263.45/264.32 WSVECS04 Frhs2[486]: 6 0 6.94772 shouldn't be
263.45/264.32 WSVECS04 Frhs2[488]: 6 0 30.7909 shouldn't be
263.45/264.32 WSVECS04 Frhs2[503]: 6 0 1.20556e+06 shouldn't be
263.45/264.32 WSVECS04 Frhs2[504]: 6 0 2.41113e+06 shouldn't be
263.45/264.32 WSVECS04 Frhs2[505]: 6 -3.48764 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[528]: 6 0 4.82225e+06 shouldn't be
263.45/264.32 WSVECS04 Frhs2[529]: 6 -2.47529 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[533]: 6 0 17.3954 shouldn't be
263.45/264.32 WSVECS04 Frhs2[552]: 6 0 9.64451e+06 shouldn't be
263.45/264.32 WSVECS04 Frhs2[557]: 6 0 35.7909 shouldn't be
263.45/264.32 WSVECS04 Frhs2[558]: 6 0 69.5818 shouldn't be
263.45/264.32 WSVECS04 Frhs2[575]: 6 0 9.64451e+06 shouldn't be
263.45/264.32 WSVECS04 Frhs2[580]: 6 0 35.7909 shouldn't be
263.45/264.32 WSVECS04 Frhs2[599]: 6 0 1.9289e+07 shouldn't be
263.45/264.32 WSVECS04 Frhs2[671]: 6 -0.420657 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[687]: 6 0 0.62051 shouldn't be
263.45/264.32 WSVECS04 Frhs2[701]: 6 0 5.87806 shouldn't be
263.45/264.32 WSVECS04 Frhs2[702]: 6 0 7.37806 shouldn't be
263.45/264.32 WSVECS04 Frhs2[704]: 6 -4.24102 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[712]: 6 0 5.87806 shouldn't be
263.45/264.32 WSVECS04 Frhs2[727]: 6 -6.43607 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[756]: 6 0 3 shouldn't be
263.45/264.32 WSVECS04 Frhs2[774]: 6 -2 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[814]: 6 -3.125 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[883]: 6 0 0.71875 shouldn't be
263.45/264.32 WSVECS04 Frhs2[956]: 6 0 3.125 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1000]: 6 0 3 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1003]: 6 0 2 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1016]: 6 0 2.9375 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1026]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1039]: 6 0 1.5 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1045]: 6 0 7.5 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1050]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1070]: 6 0 1 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1073]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1087]: 6 0 1 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1092]: 6 0 3 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1096]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1113]: 6 0 5 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1114]: 6 0 5 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1178]: 6 -3 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1183]: 6 -3.11227 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1186]: 6 -3.11234 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1190]: 6 -2.11234 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1194]: 6 -2.11234 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1199]: 6 0 1.12834 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1206]: 6 0 2.7964 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1207]: 6 0 0.576027 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1209]: 6 0 1.79647 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1233]: 6 0 2.50002 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1355]: 6 -4.375 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1392]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1405]: 6 -2 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1421]: 6 -4 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1440]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1451]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1474]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1507]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1530]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1542]: 6 -2.09375 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1553]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1565]: 6 -2.90625 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1569]: 6 0 1 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1571]: 6 -2.25 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1576]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1578]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1594]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1599]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1601]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1606]: 6 0 0.49898 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1617]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1619]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1620]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1622]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1624]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1630]: 6 0 0.446844 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1634]: 6 -0.5 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1644]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1645]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1647]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1654]: 6 0 0.404927 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1663]: 6 -0.500001 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1668]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1670]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1678]: 6 0 0.321093 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1693]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1752]: 6 0 4.87806 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1753]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1759]: 6 -1 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1764]: 6 -0.999997 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1765]: 6 -3.11233 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1766]: 6 -0.999986 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1767]: 6 -0.99997 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1768]: 6 -0.99994 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1769]: 6 -0.999878 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1770]: 6 -0.999756 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1771]: 6 -0.999512 0 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1783]: 6 0 1 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1785]: 6 0 7 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1787]: 6 0 31 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1788]: 6 0 63 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1789]: 6 0 127 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1790]: 6 0 255 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1791]: 6 0 511 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1792]: 6 0 1023 shouldn't be
263.45/264.32 WSVECS04 Frhs2[1793]: 6 0 2047 shouldn't be
793.29/795.73 c #Conflicts: 79000 | #Constraints: 9593
793.29/795.73 c #Conflicts: 80000 | #Constraints: 10593
793.29/795.73 c #Conflicts: 81000 | #Constraints: 11593
793.29/795.73 c #Conflicts: 82000 | #Constraints: 12593
793.29/795.73 c #Conflicts: 83000 | #Constraints: 13593
793.29/795.73 c #Conflicts: 84000 | #Constraints: 14593
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 85000 | #Constraints: 9793
793.29/795.73 c #Conflicts: 86000 | #Constraints: 10793
793.29/795.73 c #Conflicts: 87000 | #Constraints: 11793
793.29/795.73 c #Conflicts: 88000 | #Constraints: 12793
793.29/795.73 c #Conflicts: 89000 | #Constraints: 13793
793.29/795.73 c #Conflicts: 90000 | #Constraints: 14793
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 91000 | #Constraints: 9794
793.29/795.73 c #Conflicts: 92000 | #Constraints: 10794
793.29/795.73 c #Conflicts: 93000 | #Constraints: 11794
793.29/795.73 c #Conflicts: 94000 | #Constraints: 12794
793.29/795.73 c #Conflicts: 95000 | #Constraints: 13794
793.29/795.73 c #Conflicts: 96000 | #Constraints: 14794
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 97000 | #Constraints: 9597
793.29/795.73 c #Conflicts: 98000 | #Constraints: 10597
793.29/795.73 c #Conflicts: 99000 | #Constraints: 11597
793.29/795.73 c #Conflicts: 100000 | #Constraints: 12597
793.29/795.73 c #Conflicts: 101000 | #Constraints: 13597
793.29/795.73 c #Conflicts: 102000 | #Constraints: 14597
793.29/795.73 c #Conflicts: 103000 | #Constraints: 15597
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 104000 | #Constraints: 10192
793.29/795.73 c #Conflicts: 105000 | #Constraints: 11192
793.29/795.73 c #Conflicts: 106000 | #Constraints: 12192
793.29/795.73 c #Conflicts: 107000 | #Constraints: 13192
793.29/795.73 c #Conflicts: 108000 | #Constraints: 14192
793.29/795.73 c #Conflicts: 109000 | #Constraints: 15192
793.29/795.73 c #Conflicts: 110000 | #Constraints: 16192
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 111000 | #Constraints: 10594
793.29/795.73 c #Conflicts: 112000 | #Constraints: 11594
793.29/795.73 c #Conflicts: 113000 | #Constraints: 12594
793.29/795.73 c #Conflicts: 114000 | #Constraints: 13594
793.29/795.73 c #Conflicts: 115000 | #Constraints: 14594
793.29/795.73 c #Conflicts: 116000 | #Constraints: 15594
793.29/795.73 c #Conflicts: 117000 | #Constraints: 16594
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 118000 | #Constraints: 10794
793.29/795.73 c #Conflicts: 119000 | #Constraints: 11794
793.29/795.73 c #Conflicts: 120000 | #Constraints: 12794
793.29/795.73 c #Conflicts: 121000 | #Constraints: 13794
793.29/795.73 c #Conflicts: 122000 | #Constraints: 14794
793.29/795.73 c #Conflicts: 123000 | #Constraints: 15794
793.29/795.73 c #Conflicts: 124000 | #Constraints: 16794
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 125000 | #Constraints: 10794
793.29/795.73 c #Conflicts: 126000 | #Constraints: 11794
793.29/795.73 c #Conflicts: 127000 | #Constraints: 12795
793.29/795.73 c #Conflicts: 128000 | #Constraints: 13795
793.29/795.73 c #Conflicts: 129000 | #Constraints: 14795
793.29/795.73 c #Conflicts: 130000 | #Constraints: 15795
793.29/795.73 c #Conflicts: 131000 | #Constraints: 16795
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 132000 | #Constraints: 10593
793.29/795.73 c #Conflicts: 133000 | #Constraints: 11593
793.29/795.73 c #Conflicts: 134000 | #Constraints: 12593
793.29/795.73 c #Conflicts: 135000 | #Constraints: 13593
793.29/795.73 c #Conflicts: 136000 | #Constraints: 14593
793.29/795.73 c #Conflicts: 137000 | #Constraints: 15593
793.29/795.73 c #Conflicts: 138000 | #Constraints: 16593
793.29/795.73 c #Conflicts: 139000 | #Constraints: 17593
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 140000 | #Constraints: 11199
793.29/795.73 c #Conflicts: 141000 | #Constraints: 12199
793.29/795.73 c #Conflicts: 142000 | #Constraints: 13199
793.29/795.73 c #Conflicts: 143000 | #Constraints: 14199
793.29/795.73 c #Conflicts: 144000 | #Constraints: 15199
793.29/795.73 c #Conflicts: 145000 | #Constraints: 16199
793.29/795.73 c #Conflicts: 146000 | #Constraints: 17199
793.29/795.73 c #Conflicts: 147000 | #Constraints: 18199
793.29/795.73 c INPROCESSING
793.29/795.73 c GARBAGE COLLECT
793.29/795.73 c #Conflicts: 148000 | #Constraints: 11608
793.29/795.73 c #Conflicts: 149000 | #Constraints: 12608
793.29/795.73 c #Conflicts: 150000 | #Constraints: 13608
793.29/795.73 c #Conflicts: 151000 | #Constraints: 14608
1486.51/1491.00 c #Conflicts: 152000 | #Constraints: 15608
1486.51/1491.00 c #Conflicts: 153000 | #Constraints: 16608
1486.51/1491.00 c #Conflicts: 154000 | #Constraints: 17608
1486.51/1491.00 c #Conflicts: 155000 | #Constraints: 18608
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 156000 | #Constraints: 11805
1486.51/1491.00 c #Conflicts: 157000 | #Constraints: 12806
1486.51/1491.00 c #Conflicts: 158000 | #Constraints: 13806
1486.51/1491.00 c #Conflicts: 159000 | #Constraints: 14807
1486.51/1491.00 c #Conflicts: 160000 | #Constraints: 15807
1486.51/1491.00 c #Conflicts: 161000 | #Constraints: 16807
1486.51/1491.00 c #Conflicts: 162000 | #Constraints: 17807
1486.51/1491.00 c #Conflicts: 163000 | #Constraints: 18807
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 164000 | #Constraints: 11802
1486.51/1491.00 c #Conflicts: 165000 | #Constraints: 12802
1486.51/1491.00 c #Conflicts: 166000 | #Constraints: 13802
1486.51/1491.00 c #Conflicts: 167000 | #Constraints: 14802
1486.51/1491.00 c #Conflicts: 168000 | #Constraints: 15802
1486.51/1491.00 c #Conflicts: 169000 | #Constraints: 16802
1486.51/1491.00 c #Conflicts: 170000 | #Constraints: 17802
1486.51/1491.00 c #Conflicts: 171000 | #Constraints: 18803
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 172000 | #Constraints: 11597
1486.51/1491.00 c #Conflicts: 173000 | #Constraints: 12597
1486.51/1491.00 c #Conflicts: 174000 | #Constraints: 13597
1486.51/1491.00 c #Conflicts: 175000 | #Constraints: 14597
1486.51/1491.00 c #Conflicts: 176000 | #Constraints: 15597
1486.51/1491.00 c #Conflicts: 177000 | #Constraints: 16597
1486.51/1491.00 c #Conflicts: 178000 | #Constraints: 17597
1486.51/1491.00 c #Conflicts: 179000 | #Constraints: 18597
1486.51/1491.00 c #Conflicts: 180000 | #Constraints: 19597
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 181000 | #Constraints: 12200
1486.51/1491.00 c #Conflicts: 182000 | #Constraints: 13200
1486.51/1491.00 c #Conflicts: 183000 | #Constraints: 14200
1486.51/1491.00 c #Conflicts: 184000 | #Constraints: 15200
1486.51/1491.00 c #Conflicts: 185000 | #Constraints: 16200
1486.51/1491.00 c #Conflicts: 186000 | #Constraints: 17200
1486.51/1491.00 c #Conflicts: 187000 | #Constraints: 18200
1486.51/1491.00 c #Conflicts: 188000 | #Constraints: 19200
1486.51/1491.00 c #Conflicts: 189000 | #Constraints: 20200
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 190000 | #Constraints: 12600
1486.51/1491.00 c #Conflicts: 191000 | #Constraints: 13600
1486.51/1491.00 c #Conflicts: 192000 | #Constraints: 14600
1486.51/1491.00 c #Conflicts: 193000 | #Constraints: 15600
1486.51/1491.00 c #Conflicts: 194000 | #Constraints: 16600
1486.51/1491.00 c #Conflicts: 195000 | #Constraints: 17600
1486.51/1491.00 c #Conflicts: 196000 | #Constraints: 18600
1486.51/1491.00 c #Conflicts: 197000 | #Constraints: 19600
1486.51/1491.00 c #Conflicts: 198000 | #Constraints: 20600
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 199000 | #Constraints: 12802
1486.51/1491.00 c #Conflicts: 200000 | #Constraints: 13802
1486.51/1491.00 c #Conflicts: 201000 | #Constraints: 14802
1486.51/1491.00 c #Conflicts: 202000 | #Constraints: 15802
1486.51/1491.00 c #Conflicts: 203000 | #Constraints: 16802
1486.51/1491.00 c #Conflicts: 204000 | #Constraints: 17802
1486.51/1491.00 c #Conflicts: 205000 | #Constraints: 18802
1486.51/1491.00 c #Conflicts: 206000 | #Constraints: 19802
1486.51/1491.00 c #Conflicts: 207000 | #Constraints: 20802
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 208000 | #Constraints: 12806
1486.51/1491.00 c #Conflicts: 209000 | #Constraints: 13806
1486.51/1491.00 c #Conflicts: 210000 | #Constraints: 14806
1486.51/1491.00 c #Conflicts: 211000 | #Constraints: 15806
1486.51/1491.00 c #Conflicts: 212000 | #Constraints: 16806
1486.51/1491.00 c #Conflicts: 213000 | #Constraints: 17806
1486.51/1491.00 c #Conflicts: 214000 | #Constraints: 18806
1486.51/1491.00 c #Conflicts: 215000 | #Constraints: 19806
1486.51/1491.00 c #Conflicts: 216000 | #Constraints: 20806
1486.51/1491.00 c INPROCESSING
1486.51/1491.00 c GARBAGE COLLECT
1486.51/1491.00 c #Conflicts: 217000 | #Constraints: 12607
1486.51/1491.00 c #Conflicts: 218000 | #Constraints: 13607
1486.51/1491.00 c #Conflicts: 219000 | #Constraints: 14607
1486.51/1491.00 c #Conflicts: 220000 | #Constraints: 15607
1486.51/1491.00 c #Conflicts: 221000 | #Constraints: 16608
1486.51/1491.00 c #Conflicts: 222000 | #Constraints: 17608
1486.51/1491.00 c #Conflicts: 223000 | #Constraints: 18609
1486.51/1491.00 c #Conflicts: 224000 | #Constraints: 19610
1486.51/1491.00 c #Conflicts: 225000 | #Constraints: 20610
1502.76/1507.27 c #Conflicts: 226000 | #Constraints: 21611
1502.76/1507.27 c INPROCESSING
1502.76/1507.27 c GARBAGE COLLECT
1502.76/1507.27 c rational objective 4.72978
1961.10/1966.95 c #Conflicts: 227000 | #Constraints: 13210
1961.10/1966.95 c #Conflicts: 228000 | #Constraints: 14210
1961.10/1966.95 c #Conflicts: 229000 | #Constraints: 15210
1961.10/1966.95 c #Conflicts: 230000 | #Constraints: 16210
1961.10/1966.95 c #Conflicts: 231000 | #Constraints: 17210
1961.10/1966.95 c #Conflicts: 232000 | #Constraints: 18210
1961.10/1966.95 c #Conflicts: 233000 | #Constraints: 19210
1961.10/1966.95 c #Conflicts: 234000 | #Constraints: 20210
1961.10/1966.95 c #Conflicts: 235000 | #Constraints: 21210
1961.10/1966.95 c #Conflicts: 236000 | #Constraints: 22210
1961.10/1966.95 c INPROCESSING
1961.10/1966.95 c GARBAGE COLLECT
1961.10/1966.95 c #Conflicts: 237000 | #Constraints: 13603
1961.10/1966.95 c #Conflicts: 238000 | #Constraints: 14603
1961.10/1966.95 c #Conflicts: 239000 | #Constraints: 15603
1961.10/1966.95 c #Conflicts: 240000 | #Constraints: 16603
1961.10/1966.95 c #Conflicts: 241000 | #Constraints: 17603
1961.10/1966.95 c #Conflicts: 242000 | #Constraints: 18603
1961.10/1966.95 c #Conflicts: 243000 | #Constraints: 19603
1961.10/1966.95 c #Conflicts: 244000 | #Constraints: 20603
1961.10/1966.95 c #Conflicts: 245000 | #Constraints: 21603
1961.10/1966.95 c #Conflicts: 246000 | #Constraints: 22603
1961.10/1966.95 c INPROCESSING
1961.10/1966.95 c GARBAGE COLLECT
1961.10/1966.95 c #Conflicts: 247000 | #Constraints: 13799
1961.10/1966.95 c #Conflicts: 248000 | #Constraints: 14799
1961.10/1966.95 c #Conflicts: 249000 | #Constraints: 15799
1961.10/1966.95 c #Conflicts: 250000 | #Constraints: 16800
1961.10/1966.95 c #Conflicts: 251000 | #Constraints: 17801
1961.10/1966.95 c #Conflicts: 252000 | #Constraints: 18802
1961.10/1966.95 c #Conflicts: 253000 | #Constraints: 19802
1961.10/1966.95 c #Conflicts: 254000 | #Constraints: 20802
1961.10/1966.95 c #Conflicts: 255000 | #Constraints: 21802
1961.10/1966.95 c #Conflicts: 256000 | #Constraints: 22802
1961.10/1966.95 c INPROCESSING
1961.10/1966.95 c GARBAGE COLLECT
1961.10/1966.95 c #Conflicts: 257000 | #Constraints: 13798
1961.10/1966.95 c #Conflicts: 258000 | #Constraints: 14798
1961.10/1966.95 c #Conflicts: 259000 | #Constraints: 15798
1961.10/1966.95 c #Conflicts: 260000 | #Constraints: 16798
1961.10/1966.95 c #Conflicts: 261000 | #Constraints: 17798
1961.10/1966.95 c #Conflicts: 262000 | #Constraints: 18798
1961.10/1966.95 c #Conflicts: 263000 | #Constraints: 19798
1961.10/1966.95 c #Conflicts: 264000 | #Constraints: 20798
1961.10/1966.95 c #Conflicts: 265000 | #Constraints: 21798
1961.10/1966.95 c #Conflicts: 266000 | #Constraints: 22798
1961.10/1966.95 c INPROCESSING
1961.10/1966.95 c GARBAGE COLLECT
1961.10/1966.95 c #Conflicts: 267000 | #Constraints: 13599
1961.10/1966.95 c #Conflicts: 268000 | #Constraints: 14599
1961.10/1966.95 c #Conflicts: 269000 | #Constraints: 15599
1961.10/1966.95 c #Conflicts: 270000 | #Constraints: 16599
1961.10/1966.95 c #Conflicts: 271000 | #Constraints: 17600
1961.10/1966.95 c #Conflicts: 272000 | #Constraints: 18600
1961.10/1966.95 c #Conflicts: 273000 | #Constraints: 19600
1961.10/1966.95 c #Conflicts: 274000 | #Constraints: 20600
1961.10/1966.95 c #Conflicts: 275000 | #Constraints: 21600
1961.10/1966.95 c #Conflicts: 276000 | #Constraints: 22600
1961.10/1966.95 c #Conflicts: 277000 | #Constraints: 23600
1961.10/1966.95 c INPROCESSING
1961.10/1966.95 c GARBAGE COLLECT
1961.10/1966.95 WSVECS04 Frhs2[10]: 6 -44.8787 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[11]: 6 -44.8787 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[13]: 6 -14.8864 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[14]: 6 -14.8864 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[19]: 6 -17.7531 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[26]: 6 -186.211 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[27]: 6 -132.285 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[28]: 6 -101.133 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[32]: 6 -113.855 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[35]: 6 -93.5281 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[37]: 6 -93.197 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[41]: 6 -70.1279 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[42]: 6 -68.6259 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[43]: 6 -68.6259 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[59]: 6 0 0.125194 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[71]: 6 0 506.01 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[139]: 6 0 254.646 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[146]: 6 -6.7825 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[147]: 6 -10.565 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[152]: 6 -1.24961 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[179]: 6 0 3.00619 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[194]: 6 -1.48435 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[200]: 6 -0.498452 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[225]: 6 0 2.25717 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[227]: 6 0 14.0287 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[241]: 6 -0.968702 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[242]: 6 -2.00379 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[243]: 6 -1.97634 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[244]: 6 -1.92143 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[249]: 6 0 5.51434 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[265]: 6 -0.937404 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[266]: 6 -2.00759 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[267]: 6 -1.95268 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[268]: 6 -1.84285 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[271]: 6 0 2.25717 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[273]: 6 0 12.0287 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[289]: 6 -0.874807 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[290]: 6 -2.01518 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[291]: 6 -1.90535 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[292]: 6 -1.68571 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[297]: 6 0 29.5574 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[313]: 6 -0.749613 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[314]: 6 -2.03035 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[315]: 6 -1.81071 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[316]: 6 -1.37142 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[317]: 6 0 0.257171 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[318]: 6 0 2.51434 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[319]: 6 0 10.0287 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[322]: 6 0 127.198 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[337]: 6 -0.499226 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[338]: 6 -2.06071 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[340]: 6 -0.74283 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[341]: 6 0 1.51434 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[362]: 6 -2.12141 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[363]: 6 -1.24283 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[365]: 6 0 8.02868 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[385]: 6 0 1.0031 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[394]: 6 0 1024.59 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[409]: 6 0 3.00619 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[410]: 6 0 7.01239 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[433]: 6 0 7.01239 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[434]: 6 0 15.0248 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[435]: 6 0 31.0496 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[457]: 6 0 15.0248 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[458]: 6 0 30.0496 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[503]: 6 0 1.34426e+08 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[505]: 6 0 63.0991 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[506]: 6 0 124.792 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[527]: 6 0 2.68851e+08 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[626]: 6 0 26.3522 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[627]: 6 0 23.9324 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[628]: 6 0 3.73258 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[630]: 6 0 15.076 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[633]: 6 0 53.116 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[636]: 6 0 15.076 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[637]: 6 0 53.9067 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[638]: 6 0 17.4643 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[641]: 6 0 59.0733 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[642]: 6 0 21.9289 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[643]: 6 0 3.73257 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[644]: 6 0 12.3364 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[646]: 6 0 3.73255 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[651]: 6 0 47.9871 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[652]: 6 0 37.9283 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[653]: 6 0 37.9283 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[655]: 6 0 61.787 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[656]: 6 0 34.6507 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[660]: 6 0 38.5082 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[661]: 6 0 22.9165 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[662]: 6 0 47.9871 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[666]: 6 0 30.325 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[667]: 6 0 37.0702 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[668]: 6 0 31.5254 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[689]: 6 0 16.1661 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[738]: 6 0 7.51525 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[739]: 6 0 17.4652 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[817]: 6 0 2.5 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[831]: 6 0 4.97622 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[839]: 6 0 3.5 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[863]: 6 0 2.96875 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[885]: 6 0 4.96875 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[930]: 6 -1.5 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[947]: 6 0 9.49805 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[991]: 6 0 8.46022 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1016]: 6 0 1 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1024]: 6 0 1 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1044]: 6 0 4 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1053]: 6 0 3.4375 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1066]: 6 0 6 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1068]: 6 0 5 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1071]: 6 0 3.77734 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1075]: 6 0 5.4375 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1088]: 6 0 8 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1097]: 6 0 7.4375 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1102]: 6 -3 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1109]: 6 0 7.5 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1110]: 6 0 10 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1118]: 6 0 7.21875 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1119]: 6 0 9.4375 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1129]: 6 0 18.1435 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1518]: 6 -1 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1541]: 6 -1 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1564]: 6 -1 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1584]: 6 -1 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1587]: 6 -1 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1630]: 6 -0.0325633 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1654]: 6 0 1.02503 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1658]: 6 -2.8125 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1664]: 6 -1 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1667]: 6 -2.77734 0 shouldn't be
1961.10/1966.95 WSVECS04 Frhs2[1673]: 6 -1.75 0 shouldn't be
2487.21/2494.49 c #Conflicts: 278000 | #Constraints: 14197
2487.21/2494.49 c #Conflicts: 279000 | #Constraints: 15197
2487.21/2494.49 c #Conflicts: 280000 | #Constraints: 16197
2487.21/2494.49 c #Conflicts: 281000 | #Constraints: 17197
2487.21/2494.49 c #Conflicts: 282000 | #Constraints: 18197
2487.21/2494.49 c #Conflicts: 283000 | #Constraints: 19197
2487.21/2494.49 c #Conflicts: 284000 | #Constraints: 20197
2487.21/2494.49 c #Conflicts: 285000 | #Constraints: 21197
2487.21/2494.49 c #Conflicts: 286000 | #Constraints: 22197
2487.21/2494.49 c #Conflicts: 287000 | #Constraints: 23197
2487.21/2494.49 c #Conflicts: 288000 | #Constraints: 24197
2487.21/2494.49 c INPROCESSING
2487.21/2494.49 c GARBAGE COLLECT
2487.21/2494.49 c #Conflicts: 289000 | #Constraints: 14597
2487.21/2494.49 c #Conflicts: 290000 | #Constraints: 15597
2487.21/2494.49 c #Conflicts: 291000 | #Constraints: 16597
2487.21/2494.49 c #Conflicts: 292000 | #Constraints: 17597
2487.21/2494.49 c #Conflicts: 293000 | #Constraints: 18597
2487.21/2494.49 c #Conflicts: 294000 | #Constraints: 19597
2487.21/2494.49 c #Conflicts: 295000 | #Constraints: 20597
2487.21/2494.49 c #Conflicts: 296000 | #Constraints: 21597
2487.21/2494.49 c #Conflicts: 297000 | #Constraints: 22597
2487.21/2494.49 c #Conflicts: 298000 | #Constraints: 23597
2487.21/2494.49 c #Conflicts: 299000 | #Constraints: 24597
2487.21/2494.49 c INPROCESSING
2487.21/2494.49 c GARBAGE COLLECT
2487.21/2494.49 c #Conflicts: 300000 | #Constraints: 14797
2487.21/2494.49 c #Conflicts: 301000 | #Constraints: 15797
2487.21/2494.49 c #Conflicts: 302000 | #Constraints: 16797
2487.21/2494.49 c #Conflicts: 303000 | #Constraints: 17797
2487.21/2494.49 c #Conflicts: 304000 | #Constraints: 18797
2487.21/2494.49 c #Conflicts: 305000 | #Constraints: 19797
2487.21/2494.49 c #Conflicts: 306000 | #Constraints: 20797
2487.21/2494.49 c #Conflicts: 307000 | #Constraints: 21797
2487.21/2494.49 c #Conflicts: 308000 | #Constraints: 22797
2487.21/2494.49 c #Conflicts: 309000 | #Constraints: 23797
2487.21/2494.49 c #Conflicts: 310000 | #Constraints: 24797
2487.21/2494.49 c INPROCESSING
2487.21/2494.49 c GARBAGE COLLECT
2487.21/2494.49 c #Conflicts: 311000 | #Constraints: 14800
2487.21/2494.49 c #Conflicts: 312000 | #Constraints: 15800
2487.21/2494.49 c #Conflicts: 313000 | #Constraints: 16800
2487.21/2494.49 c #Conflicts: 314000 | #Constraints: 17800
2487.21/2494.49 c #Conflicts: 315000 | #Constraints: 18801
2487.21/2494.49 c #Conflicts: 316000 | #Constraints: 19801
2487.21/2494.49 c #Conflicts: 317000 | #Constraints: 20801
2487.21/2494.49 c #Conflicts: 318000 | #Constraints: 21801
2487.21/2494.49 c #Conflicts: 319000 | #Constraints: 22802
2487.21/2494.49 c #Conflicts: 320000 | #Constraints: 23802
2487.21/2494.49 c #Conflicts: 321000 | #Constraints: 24802
2487.21/2494.49 c INPROCESSING
2487.21/2494.49 c GARBAGE COLLECT
2487.21/2494.49 WSVECS04 Frhs2[16]: 6 0 0.63317 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[17]: 6 0 0.633139 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[18]: 6 0 0.633137 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[19]: 6 0 0.638742 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[20]: 6 0 0.631027 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[21]: 6 0 0.633117 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[22]: 6 0 0.682766 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[30]: 6 -0.813143 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[44]: 6 0 0.0619271 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[45]: 6 0 0.0619343 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[47]: 6 0 2.30508 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[48]: 6 0 2.3763 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[52]: 6 -1.96337 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[55]: 6 -2.0804 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[57]: 6 -2.08605 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[121]: 6 -1.00006 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[125]: 6 -1.75007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[145]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[148]: 6 -1.75004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[151]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[153]: 6 -0.999967 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[160]: 6 0 1.20314 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[161]: 6 -0.343774 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[163]: 6 0 4.62509 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[168]: 6 0 3.35883 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[174]: 6 0 0.500122 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[179]: 6 0 0.251028 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[185]: 6 0 1.31253 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[186]: 6 0 3.62502 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[191]: 6 0 4.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[203]: 6 0 0.502009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[208]: 6 0 0.312584 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[209]: 6 0 2.62509 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[213]: 6 0 2.00004 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[221]: 6 -1.50004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[232]: 6 0 1.62502 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[236]: 6 0 1.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[237]: 6 0 3.00006 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[240]: 6 0 29.3313 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[242]: 6 -1.00006 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[244]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[245]: 6 -0.999952 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[247]: 6 -0.999606 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[248]: 6 -2.74909 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[249]: 6 -1.49808 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[255]: 6 0 0.625082 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[257]: 6 -1.50007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[259]: 6 0 1.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[260]: 6 0 3.00008 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[261]: 6 0 7.00003 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[264]: 6 0 62.9206 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[280]: 6 0 0.250018 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[282]: 6 0 1.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[283]: 6 0 3.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[284]: 6 0 7.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[285]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[288]: 6 0 125.331 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[302]: 6 0 1.25003 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[306]: 6 0 3.00008 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[307]: 6 0 7.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[308]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[309]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[311]: 6 0 128.562 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[325]: 6 0 0.250092 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[328]: 6 0 1.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[329]: 6 0 3.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[330]: 6 0 7.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[331]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[332]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[333]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[352]: 6 0 3.00001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[353]: 6 0 7.00005 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[354]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[355]: 6 0 31.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[356]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[357]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[374]: 6 0 1.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[375]: 6 0 3.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[376]: 6 0 7.00005 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[377]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[378]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[379]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[380]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[381]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[397]: 6 0 1.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[398]: 6 0 3.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[399]: 6 0 7.00003 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[400]: 6 0 15.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[401]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[402]: 6 0 63.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[403]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[404]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[405]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[408]: 6 0 4094.92 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[420]: 6 0 1.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[421]: 6 0 3.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[422]: 6 0 7.00005 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[423]: 6 0 15.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[424]: 6 0 31.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[425]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[426]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[427]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[428]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[429]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[432]: 6 0 8190.91 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[443]: 6 0 1.00004 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[444]: 6 0 3.00008 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[445]: 6 0 7.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[446]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[447]: 6 0 31.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[448]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[449]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[450]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[451]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[452]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[453]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[455]: 6 0 8192.55 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[456]: 6 0 16382.9 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[466]: 6 0 1.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[467]: 6 0 3.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[468]: 6 0 7.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[469]: 6 0 15.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[470]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[471]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[472]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[473]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[474]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[475]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[476]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[477]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[479]: 6 0 16384.5 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[489]: 6 0 1.00001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[490]: 6 0 3.00003 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[491]: 6 0 7.00006 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[492]: 6 0 15.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[493]: 6 0 31.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[494]: 6 0 63.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[495]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[496]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[497]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[498]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[499]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[500]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[501]: 6 0 8191 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[502]: 6 0 16384.5 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[504]: 6 0 65535.1 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[512]: 6 0 1.00003 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[513]: 6 0 3.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[514]: 6 0 7.00005 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[515]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[516]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[517]: 6 0 63.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[518]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[519]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[520]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[521]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[522]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[523]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[524]: 6 0 8191 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[525]: 6 0 16383 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[528]: 6 0 131071 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[535]: 6 0 1.00006 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[536]: 6 0 3.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[537]: 6 0 7.00005 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[538]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[539]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[540]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[541]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[542]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[543]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[544]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[545]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[546]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[547]: 6 0 8191 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[548]: 6 0 16383 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[552]: 6 0 262143 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[558]: 6 0 1.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[559]: 6 0 3.00007 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[560]: 6 0 7.00004 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[561]: 6 0 15.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[562]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[563]: 6 0 63.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[564]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[565]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[566]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[567]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[568]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[569]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[570]: 6 0 8191 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[571]: 6 0 16383 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[581]: 6 0 1.00008 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[582]: 6 0 3.00008 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[583]: 6 0 7.00003 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[584]: 6 0 15 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[585]: 6 0 31 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[586]: 6 0 63 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[587]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[588]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[589]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[590]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[591]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[592]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[593]: 6 0 8191 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[594]: 6 0 16383 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[601]: 6 -0.750082 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[610]: 6 0 127 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[611]: 6 0 255 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[612]: 6 0 511 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[613]: 6 0 1023 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[614]: 6 0 2047 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[615]: 6 0 4095 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[616]: 6 0 8191 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[634]: 6 0 2.99989 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[638]: 6 0 1.00004 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[648]: 6 -0.91596 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[651]: 6 -1.79095 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[662]: 6 0 1.69827 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[665]: 6 0 4.90629 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[709]: 6 -2.34377 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[710]: 6 0 2.25006 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[712]: 6 0 0.871308 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[726]: 6 0 0.250033 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[747]: 6 -1.87506 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[758]: 6 0 1.00008 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[865]: 6 0 7.00006 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[916]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[939]: 6 -1.00001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[956]: 6 0 5.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[962]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[985]: 6 -1.00001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[997]: 6 0 0.500074 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1000]: 6 0 9.00002 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1043]: 6 0 7.00009 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1044]: 6 0 13.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1309]: 6 -0.0469342 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1331]: 6 -3.60159 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1349]: 6 -0.50002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1384]: 6 -2.37506 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1408]: 6 -2.75007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1430]: 6 -3.62502 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1439]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1456]: 6 -2.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1480]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1502]: 6 -2.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1503]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1504]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1525]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1526]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1527]: 6 -1.00001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1528]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1531]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1548]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1549]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1550]: 6 -1.0001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1551]: 6 -1.00006 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1552]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1554]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1571]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1572]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1573]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1574]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1575]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1576]: 6 -1.00001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1577]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1584]: 6 -1.0001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1594]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1595]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1596]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1597]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1598]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1599]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1607]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1617]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1618]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1619]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1620]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1621]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1622]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1640]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1641]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1642]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1643]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1644]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1645]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1664]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1665]: 6 -1.00001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1666]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1667]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1668]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1676]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1678]: 6 0 0.633193 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1686]: 6 -1.00007 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1687]: 6 -1.0001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1688]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1689]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1690]: 6 -1.00001 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1691]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1699]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1709]: 6 -1.00005 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1713]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1714]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1722]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1732]: 6 -1.00002 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1735]: 6 -1.00009 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1736]: 6 -1.00008 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1745]: 6 -1.00003 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1760]: 6 -1.00004 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1764]: 6 -0.999905 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1765]: 6 -0.999685 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1766]: 6 -0.999306 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1767]: 6 -0.998593 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1768]: 6 -0.997116 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1771]: 6 -0.97666 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1773]: 6 -0.906268 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1776]: 6 -0.250028 0 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1781]: 6 0 23.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1782]: 6 0 47.0001 shouldn't be
2487.21/2494.49 WSVECS04 Frhs2[1800]: 6 0 1.25829e+07 shouldn't be
3479.47/3489.30 c #Conflicts: 322000 | #Constraints: 14599
3479.47/3489.30 c #Conflicts: 323000 | #Constraints: 15599
3479.47/3489.30 c #Conflicts: 324000 | #Constraints: 16599
3479.47/3489.30 c #Conflicts: 325000 | #Constraints: 17599
3479.47/3489.30 c #Conflicts: 326000 | #Constraints: 18599
3479.47/3489.30 c #Conflicts: 327000 | #Constraints: 19599
3479.47/3489.30 c #Conflicts: 328000 | #Constraints: 20599
3479.47/3489.30 c #Conflicts: 329000 | #Constraints: 21599
3479.47/3489.30 c #Conflicts: 330000 | #Constraints: 22599
3479.47/3489.30 c #Conflicts: 331000 | #Constraints: 23599
3479.47/3489.30 c #Conflicts: 332000 | #Constraints: 24599
3479.47/3489.30 c #Conflicts: 333000 | #Constraints: 25599
3479.47/3489.30 c INPROCESSING
3479.47/3489.30 c GARBAGE COLLECT
3479.47/3489.30 c #Conflicts: 334000 | #Constraints: 15199
3479.47/3489.30 c #Conflicts: 335000 | #Constraints: 16199
3479.47/3489.30 c #Conflicts: 336000 | #Constraints: 17199
3479.47/3489.30 c #Conflicts: 337000 | #Constraints: 18199
3479.47/3489.30 c #Conflicts: 338000 | #Constraints: 19199
3479.47/3489.30 c #Conflicts: 339000 | #Constraints: 20199
3479.47/3489.30 c #Conflicts: 340000 | #Constraints: 21199
3479.47/3489.30 c #Conflicts: 341000 | #Constraints: 22199
3479.47/3489.30 c #Conflicts: 342000 | #Constraints: 23199
3479.47/3489.30 c #Conflicts: 343000 | #Constraints: 24200
3479.47/3489.30 c #Conflicts: 344000 | #Constraints: 25201
3479.47/3489.30 c #Conflicts: 345000 | #Constraints: 26201
3479.47/3489.30 c INPROCESSING
3479.47/3489.30 c GARBAGE COLLECT
3479.47/3489.30 c #Conflicts: 346000 | #Constraints: 15601
3479.47/3489.30 c #Conflicts: 347000 | #Constraints: 16601
3479.47/3489.30 c #Conflicts: 348000 | #Constraints: 17601
3479.47/3489.30 c #Conflicts: 349000 | #Constraints: 18601
3479.47/3489.30 c #Conflicts: 350000 | #Constraints: 19601
3479.47/3489.30 c #Conflicts: 351000 | #Constraints: 20601
3479.47/3489.30 c #Conflicts: 352000 | #Constraints: 21601
3479.47/3489.30 c #Conflicts: 353000 | #Constraints: 22601
3479.47/3489.30 c #Conflicts: 354000 | #Constraints: 23601
3479.47/3489.30 c #Conflicts: 355000 | #Constraints: 24601
3479.47/3489.30 c #Conflicts: 356000 | #Constraints: 25601
3479.47/3489.30 c #Conflicts: 357000 | #Constraints: 26601
3479.47/3489.30 c INPROCESSING
3479.47/3489.30 c GARBAGE COLLECT
3479.47/3489.30 c #Conflicts: 358000 | #Constraints: 15801
3479.47/3489.30 c #Conflicts: 359000 | #Constraints: 16801
3479.47/3489.30 c #Conflicts: 360000 | #Constraints: 17801
3479.47/3489.30 c #Conflicts: 361000 | #Constraints: 18801
3479.47/3489.30 c #Conflicts: 362000 | #Constraints: 19801
3479.47/3489.30 c #Conflicts: 363000 | #Constraints: 20801
3479.47/3489.30 c #Conflicts: 364000 | #Constraints: 21801
3479.47/3489.30 c #Conflicts: 365000 | #Constraints: 22801
3479.47/3489.30 c #Conflicts: 366000 | #Constraints: 23801
3479.47/3489.30 c #Conflicts: 367000 | #Constraints: 24801
3479.47/3489.30 c #Conflicts: 368000 | #Constraints: 25801
3479.47/3489.30 c #Conflicts: 369000 | #Constraints: 26801
3479.47/3489.30 c INPROCESSING
3479.47/3489.30 c GARBAGE COLLECT
3479.47/3489.30 c #Conflicts: 370000 | #Constraints: 15803
3479.47/3489.30 c #Conflicts: 371000 | #Constraints: 16803
3479.47/3489.30 c #Conflicts: 372000 | #Constraints: 17803
3479.47/3489.30 c #Conflicts: 373000 | #Constraints: 18803
3479.47/3489.30 c #Conflicts: 374000 | #Constraints: 19803
3479.47/3489.30 c #Conflicts: 375000 | #Constraints: 20803
3479.47/3489.30 c #Conflicts: 376000 | #Constraints: 21803
3479.47/3489.30 c #Conflicts: 377000 | #Constraints: 22803
3479.47/3489.30 c #Conflicts: 378000 | #Constraints: 23803
3479.47/3489.30 c #Conflicts: 379000 | #Constraints: 24803
3479.47/3489.30 c #Conflicts: 380000 | #Constraints: 25803
3479.47/3489.30 c #Conflicts: 381000 | #Constraints: 26803
3479.47/3489.30 c INPROCESSING
3479.47/3489.30 c GARBAGE COLLECT
3479.47/3489.30 c #Conflicts: 382000 | #Constraints: 15599
3479.47/3489.30 c #Conflicts: 383000 | #Constraints: 16599
3479.47/3489.30 c #Conflicts: 384000 | #Constraints: 17599
3479.47/3489.30 c #Conflicts: 385000 | #Constraints: 18599
3479.47/3489.30 c #Conflicts: 386000 | #Constraints: 19599
3479.47/3489.30 c #Conflicts: 387000 | #Constraints: 20599
3479.47/3489.30 c #Conflicts: 388000 | #Constraints: 21599
3479.47/3489.30 c #Conflicts: 389000 | #Constraints: 22599
3479.47/3489.30 c #Conflicts: 390000 | #Constraints: 23599
3479.47/3489.30 c #Conflicts: 391000 | #Constraints: 24599
3479.47/3489.30 c #Conflicts: 392000 | #Constraints: 25599
3479.47/3489.30 c #Conflicts: 393000 | #Constraints: 26599
3479.47/3489.30 c #Conflicts: 394000 | #Constraints: 27600
3479.47/3489.30 c INPROCESSING
3479.47/3489.30 c GARBAGE COLLECT
3479.47/3489.30 WSVECS04 Frhs2[1]: 6 0 139.063 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[19]: 6 0 154.386 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[50]: 6 0 66.7603 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[51]: 6 0 121.373 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[58]: 6 0 0.00186811 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[60]: 6 0 50.4373 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[63]: 6 0 50.487 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[64]: 6 0 6.35484 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[67]: 6 0 51.3382 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[68]: 6 0 52.246 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[69]: 6 0 41.8912 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[70]: 6 0 12.5045 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[125]: 6 0 2.72857 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[126]: 6 -0.999126 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[131]: 6 -1.9727 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[136]: 6 -1.09187 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[137]: 6 -0.18359 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[148]: 6 0 1.72851 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[149]: 6 0 6.45703 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[151]: 6 0 30.828 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[152]: 6 -1.99516 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[153]: 6 -1.98833 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[155]: 6 -1.94532 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[157]: 6 -1.77321 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[159]: 6 -0.592366 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[160]: 6 -0.183641 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[171]: 6 0 1.60358 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[172]: 6 0 5.457 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[173]: 6 0 13.9139 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[174]: 6 0 29.8279 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[183]: 6 0 0.815464 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[184]: 6 0 1.63292 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[185]: 6 0 5.26595 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[186]: 6 0 12.5324 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[187]: 6 0 27.0653 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[192]: 6 0 877.619 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[194]: 6 0 0.603578 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[195]: 6 0 5.20703 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[196]: 6 0 12.914 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[197]: 6 0 28.8279 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[207]: 6 0 2.63092 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[208]: 6 0 5.2657 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[209]: 6 0 12.5319 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[210]: 6 0 27.0648 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[216]: 6 0 1799.66 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[219]: 6 0 12.4139 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[220]: 6 0 27.8279 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[230]: 6 0 1.63093 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[231]: 6 0 6.26176 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[232]: 6 0 12.5314 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[233]: 6 0 27.0638 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[240]: 6 0 3669.35 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[243]: 6 0 26.8279 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[253]: 6 0 1.62898 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[254]: 6 0 5.26176 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[255]: 6 0 13.5235 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[256]: 6 0 27.0628 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[264]: 6 0 7362.53 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[276]: 6 0 1.62504 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[277]: 6 0 5.25786 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[278]: 6 0 12.5235 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[279]: 6 0 28.0469 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[288]: 6 0 14825.7 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[299]: 6 0 1.50006 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[300]: 6 0 5.25001 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[301]: 6 0 12.5157 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[302]: 6 0 27.047 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[312]: 6 0 29700.9 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[314]: 6 -0.985869 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[315]: 6 -2.01958 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[316]: 6 -2.02345 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[318]: 6 -0.773081 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[320]: 6 -1.37508 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[321]: 6 -0.500046 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[322]: 6 0 1.25008 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[345]: 6 0 1.00002 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[346]: 6 0 4.50002 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[347]: 6 0 12.0001 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[348]: 6 0 27 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[360]: 6 0 118941 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[362]: 6 -2.28915 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[363]: 6 -2.07815 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[364]: 6 -2.09385 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[367]: 6 0 0.25002 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[370]: 6 0 11.0001 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[386]: 6 -2.57815 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[387]: 6 -2.15627 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[388]: 6 -2.18753 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[390]: 6 -0.750077 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[394]: 6 0 25.0001 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[415]: 6 0 2.00006 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[416]: 6 0 9.00005 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[417]: 6 0 24 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[418]: 6 0 55.7501 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[432]: 6 0 951941 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[438]: 6 0 1.00006 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[439]: 6 0 13.5264 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[440]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[441]: 6 0 57.1055 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[456]: 6 0 1.90394e+06 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[458]: 6 -0.0921258 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[459]: 6 -3.25004 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[460]: 6 -3.50008 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[463]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[485]: 6 0 13.5264 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[486]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[505]: 6 0 0.815813 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[506]: 6 0 2.63162 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[507]: 6 0 6.26326 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[508]: 6 0 13.5265 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[509]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[528]: 6 0 1.52319e+07 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[529]: 6 0 2.63165 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[530]: 6 0 6.26325 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[531]: 6 0 13.5264 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[532]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[552]: 6 0 3.04639e+07 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[553]: 6 0 6.2632 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[554]: 6 0 13.5264 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[555]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[574]: 6 0 1.52319e+07 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[576]: 6 0 6.0928e+07 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[577]: 6 0 13.5265 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[578]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[600]: 6 0 1.21856e+08 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[601]: 6 0 28.0528 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[623]: 6 0 1.21856e+08 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[631]: 6 0 0.743606 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[637]: 6 0 2.91174 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[639]: 6 0 32.7177 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[640]: 6 0 6.33948 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[645]: 6 0 34.7177 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[652]: 6 0 37.4438 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[653]: 6 0 37.4439 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[655]: 6 -16.2237 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[661]: 6 0 21.825 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[662]: 6 -16.9766 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[664]: 6 -7.21885 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[698]: 6 0 14.9122 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[700]: 6 -86.3911 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[701]: 6 -41.5082 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[702]: 6 0 5.02394 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[712]: 6 -19.839 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[727]: 6 -5.02225 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[739]: 6 -22.3719 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[752]: 6 0 1.00009 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[808]: 6 -16.849 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[952]: 6 0 1.00008 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[974]: 6 0 2.00009 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[992]: 6 -1.59473 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[993]: 6 0 4.53291 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[996]: 6 0 3.00001 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1013]: 6 0 15.3487 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1028]: 6 0 1.00007 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1035]: 6 -419.628 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1037]: 6 0 44.1082 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1060]: 6 0 47.4747 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1083]: 6 0 60.9632 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1084]: 6 0 10.1345 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1105]: 6 0 0.599256 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1106]: 6 0 45.6443 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1129]: 6 0 65.282 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1151]: 6 0 92.9082 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1186]: 6 -6.59803 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1194]: 6 0 5.64666 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1247]: 6 0 10.2153 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1271]: 6 0 10.2153 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1277]: 6 -8.45615 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1280]: 6 0 10.8355 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1307]: 6 0 1.51503 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1344]: 6 0 0.00222674 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1346]: 6 0 5.20612 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1370]: 6 0 12.4122 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1394]: 6 0 26.8243 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1419]: 6 -2.02006 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1439]: 6 0 10.3439 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1442]: 6 -1.00003 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1463]: 6 0 10.4654 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1487]: 6 0 10.7153 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1511]: 6 0 11.2154 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1536]: 6 0 19.8646 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1569]: 6 -2.35549 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1584]: 6 -1.00007 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1586]: 6 -3.53297 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1592]: 6 -1.00005 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1593]: 6 -2.71098 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1608]: 6 -1.00006 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1623]: 6 0 3.13491 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1647]: 6 0 8.26971 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1648]: 6 0 21.5393 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1649]: 6 0 48.0786 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1650]: 6 0 101.157 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1651]: 6 0 207.314 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1704]: 6 0 21.4749 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1750]: 6 0 142.354 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1758]: 6 0 11.2154 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1775]: 6 -8.62415e-05 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1776]: 6 -5.80377e-05 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1778]: 6 -0.000203572 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1779]: 6 -0.000347304 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1782]: 6 -0.00227524 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1785]: 6 -0.14274 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1786]: 6 -0.28544 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1787]: 6 -0.570843 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1788]: 6 -0.14158 0 shouldn't be
3479.47/3489.30 WSVECS04 Frhs2[1791]: 6 0 0.594712 shouldn't be
3600.06/3610.20 c #Conflicts: 395000 | #Constraints: 16196
3600.06/3610.20 c #Conflicts: 396000 | #Constraints: 17196
3600.06/3610.20 c #Conflicts: 397000 | #Constraints: 18196
3600.06/3610.20 c #Conflicts: 398000 | #Constraints: 19196
3600.06/3610.20 c #Conflicts: 399000 | #Constraints: 20196
3600.06/3610.20 c #Conflicts: 400000 | #Constraints: 21196
3600.06/3610.20 c #Conflicts: 401000 | #Constraints: 22196
3600.06/3610.20 c #Conflicts: 402000 | #Constraints: 23196
3600.06/3610.20 c #Conflicts: 403000 | #Constraints: 24196
3600.06/3610.20 c #Conflicts: 404000 | #Constraints: 25196
3600.06/3610.20 c cpu time 3597.44 s
3600.06/3610.20 c deterministic time 618225273089 6.18e+11
3600.06/3610.20 c optimization time 120.216 s
3600.06/3610.20 c total solve time 3477.22 s
3600.06/3610.20 c core-guided solve time 0 s
3600.06/3610.20 c propagation time 2784.27 s
3600.06/3610.20 c conflict analysis time 764.893 s
3600.06/3610.20 c propagations 133090997
3600.06/3610.20 c resolve steps 104521116
3600.06/3610.20 c decisions 513982
3600.06/3610.20 c conflicts 404907
3600.06/3610.20 c restarts 986
3600.06/3610.20 c inprocessing phases 54
3600.06/3610.20 c garbage collections 54 ,( 100.00 )
3600.06/3610.20 c input clauses 1872 ,( 62.84 )
3600.06/3610.20 c input cardinalities 0 ,( 0.00 )
3600.06/3610.20 c input general constraints 1107 ,( 37.16 )
3600.06/3610.20 c input average constraint length 3.74
3600.06/3610.20 c input average constraint degree 283459179786.07
3600.06/3610.20 c learned clauses 23152 ,( 5.72 )
3600.06/3610.20 c learned cardinalities 2 ,( 0.00 )
3600.06/3610.20 c learned general constraints 381805 ,( 94.28 )
3600.06/3610.20 c learned average constraint length 548.57
3600.06/3610.20 c learned average constraint degree 843693298.65
3600.06/3610.20 c watched CF 32, 64, 128, Arb: 1541 , 0 , 0 , 0
3600.06/3610.20 c counting CF 32, 64, 128, Arb: 381368 , 3 , 0 , 0
3600.06/3610.20 c watched constraints 1541 ,( 0.40 )
3600.06/3610.20 c counting constraints 381371 ,( 99.60 )
3600.06/3610.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 54913158 , 47923 , 61580778119 ,( 7343574 , 61573434545 )
3600.06/3610.20 c gcd simplifications 2354
3600.06/3610.20 c detected cardinalities 1
3600.06/3610.20 c weakened non-implied lits 23470319
3600.06/3610.20 c weakened non-implying lits 736460
3600.06/3610.20 c original variables 1848
3600.06/3610.20 c clausal propagations 19300074
3600.06/3610.20 c cardinality propagations 1
3600.06/3610.20 c watched propagations 69005
3600.06/3610.20 c counting propagations 113326076
3600.06/3610.20 c watch lookups 62649556422
3600.06/3610.20 c watch backjump lookups 0
3600.06/3610.20 c watch checks 211322715
3600.06/3610.20 c propagation checks 553549325388
3600.06/3610.20 c constraint additions 1547376190
3600.06/3610.20 c trail pops 134008739
3600.06/3610.20 c formula constraints 2979
3600.06/3610.20 c learned constraints 404906
3600.06/3610.20 c bound constraints 0
3600.06/3610.20 c core-guided constraints 0
3600.06/3610.20 c encountered formula constraints 103531439
3600.06/3610.20 c encountered learned constraints 1352081
3600.06/3610.20 c encountered bound constraints 0
3600.06/3610.20 c encountered core-guided constraints 0
3600.06/3610.20 c LP total time 7.49043 s
3600.06/3610.20 c LP solve time 6.25 s
3600.06/3610.20 c LP constraints added 2986
3600.06/3610.20 c LP constraints removed 0
3600.06/3610.20 c LP pivots internal 40862
3600.06/3610.20 c LP pivots root 37793
3600.06/3610.20 c LP calls 162
3600.06/3610.20 c LP optimalities 32
3600.06/3610.20 c LP no pivot count 1
3600.06/3610.20 c LP infeasibilities 81
3600.06/3610.20 c LP valid Farkas constraints 47
3600.06/3610.20 c LP learned Farkas constraints 0
3600.06/3610.20 c LP basis resets 46
3600.06/3610.20 c LP cycling count 6
3600.06/3610.20 c LP singular count 23
3600.06/3610.20 c LP no primal count 0
3600.06/3610.20 c LP no farkas count 0
3600.06/3610.20 c LP other issue count 17
3600.06/3610.20 c LP Gomory cuts 6
3600.06/3610.20 c LP learned cuts 1
3600.06/3610.20 c LP deleted cuts 0
3600.06/3610.20 c LP encountered Gomory constraints 1
3600.06/3610.20 c LP encountered Farkas constraints 42502
3600.06/3610.20 c LP encountered learned Farkas constraints 0
3600.06/3610.20 c CG auxiliary variables introduced 0
3600.06/3610.20 c CG solutions found 0
3600.06/3610.20 c CG cores constructed 0
3600.06/3610.20 c CG core cardinality constraints returned 0
3600.06/3610.20 c CG unit cores 0
3600.06/3610.20 c CG single cores 0
3600.06/3610.20 c CG blocks removed during cardinality reduction 0
3600.06/3610.20 c CG first core best 0
3600.06/3610.20 c CG decision core best 0
3600.06/3610.20 c CG core reduction tie 0
3600.06/3610.20 c CG core degree average 0.00
3600.06/3610.20 c CG core slack average 0.00
3600.06/3610.20 c CG core upper bound improvements 0
3600.06/3610.20 c STR number of successful calls 0
3600.06/3610.20 c STR number of unsuccessful calls 0
3600.06/3610.20 c STR number of inconclusive calls 0
3600.06/3610.20 c STR number of successful attempts 0
3600.06/3610.20 c STR number of unsuccessful attempts 0
3600.06/3610.20 c STR number of inconclusive attempts 0
3600.06/3610.20 c STR average degree increase per successful call inf
3600.06/3610.20 c STR average degree increase per successful attempt inf
3600.06/3610.20 c STR total number of conflicts for successful attempts 0
3600.06/3610.20 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3610.20 c STR total number of conflicts for inconclusive attempts 0
3600.06/3610.20 c STR average number of conflicts per successful attempt inf
3600.06/3610.20 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3610.20 c STR average number of conflicts per inconclusive attempt inf
3600.06/3610.20 c AVG.sumWPerc 99.01
3600.06/3610.20 c bigint constraints 3
3600.06/3610.20 s UNKNOWN
3600.06/3610.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62518 MiB free)
memory of node 1: 64507 MiB (63494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541960-1753206207/watcher-4541960-1753206207 -o /tmp/evaluation-result-4541960-1753206207/solver-4541960-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164290 --watchdog 3760 run-dec-break.sh HOME/instance-4541960-1753206207.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=165098, runsolver pid=165095
[startup+0.100058 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 165101
/proc/meminfo: memFree=129028828/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=61052 memory=15228 CPUtime=0.07 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 2213 0 0 0 7 0 0 0 20 0 1 0 236299564 62517248 3807 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 15263 3807 2368 1147 0 2690 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65244 KiB
Current children cumulated memory: 18300 KiB
[startup+0.205444 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 165101
/proc/meminfo: memFree=129028368/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=61052 memory=15228 CPUtime=0.18 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 2213 0 0 0 18 0 0 0 20 0 1 0 236299564 62517248 3807 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 15263 3807 2368 1147 0 2690 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65244 KiB
Current children cumulated memory: 18300 KiB
[startup+0.304625 s]*
/proc/loadavg: 4.12 4.11 4.09 5/268 165101
/proc/meminfo: memFree=129028368/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=61052 memory=15228 CPUtime=0.28 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 2213 0 0 0 28 0 0 0 20 0 1 0 236299564 62517248 3807 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 15263 3807 2368 1147 0 2690 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 65244 KiB
Current children cumulated memory: 18300 KiB
[startup+0.700137 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 165101
/proc/meminfo: memFree=129024588/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=65204 memory=20732 CPUtime=0.67 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 3567 0 0 0 67 0 0 0 20 0 1 0 236299564 66768896 5183 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 16301 5183 2400 1147 0 3728 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 69396 KiB
Current children cumulated memory: 23804 KiB
[startup+1.50014 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 165101
/proc/meminfo: memFree=129012492/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=69380 memory=27576 CPUtime=1.46 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 4769 0 0 0 146 0 0 0 20 0 1 0 236299564 71045120 6894 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 17345 6894 2400 1147 0 4772 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 73572 KiB
Current children cumulated memory: 30648 KiB
[startup+3.10544 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 165101
/proc/meminfo: memFree=128993400/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=80464 memory=37048 CPUtime=3.07 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 7139 0 0 0 306 1 0 0 20 0 1 0 236299564 82395136 9262 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 20116 9262 2400 1147 0 7543 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 84656 KiB
Current children cumulated memory: 40120 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 165101
/proc/meminfo: memFree=128961768/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=94308 memory=49820 CPUtime=6.25 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 9833 0 0 0 623 2 0 0 20 0 1 0 236299564 96571392 12455 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 23577 12455 2400 1147 0 11004 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 98500 KiB
Current children cumulated memory: 52892 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 165102
/proc/meminfo: memFree=128885868/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=126756 memory=79392 CPUtime=12.63 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 16192 0 0 0 1258 5 0 0 20 0 1 0 236299564 129798144 19848 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 31689 19848 2400 1147 0 19116 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 130948 KiB
Current children cumulated memory: 82464 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/268 165102
/proc/meminfo: memFree=128822880/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=164880 memory=102620 CPUtime=25.39 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 21483 0 0 0 2529 10 0 0 20 0 1 0 236299564 168837120 25655 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 41220 25655 2400 1147 0 28647 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 169072 KiB
Current children cumulated memory: 105692 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 165102
/proc/meminfo: memFree=128705080/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=176780 memory=118772 CPUtime=50.92 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 24382 0 0 0 5076 16 0 0 20 0 1 0 236299564 181022720 29693 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 44195 29693 2528 1147 0 31622 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 180972 KiB
Current children cumulated memory: 121844 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 165104
/proc/meminfo: memFree=128470548/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=201704 memory=143088 CPUtime=101.96 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 29464 0 0 0 10169 27 0 0 20 0 1 0 236299564 206544896 35772 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 50426 35772 2528 1147 0 37853 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 205896 KiB
Current children cumulated memory: 146160 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 165106
/proc/meminfo: memFree=128364492/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=230072 memory=158860 CPUtime=161.76 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 32897 0 0 0 16139 37 0 0 20 0 1 0 236299564 235593728 39715 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 57518 39715 2528 1147 0 44945 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 234264 KiB
Current children cumulated memory: 161932 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 165108
/proc/meminfo: memFree=128236244/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=234644 memory=173556 CPUtime=221.58 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 35030 0 0 0 22112 46 0 0 20 0 1 0 236299564 240275456 43389 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 58661 43389 2528 1147 0 46088 0
################
# More data... #
################
/proc/165101/statm: 129855 106535 2528 1147 0 117282 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 523612 KiB
Current children cumulated memory: 429212 KiB
[startup+3102.3 s]
/proc/loadavg: 4.40 4.21 4.13 5/267 165255
/proc/meminfo: memFree=126409996/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=519420 memory=426140 CPUtime=3093.51 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 71938 0 0 0 309121 230 0 0 20 0 1 0 236299564 531886080 106535 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 129855 106535 2528 1147 0 117282 0
Current children cumulated CPU time: 3093.51 s
Current children cumulated vsize: 523612 KiB
Current children cumulated memory: 429212 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/267 165257
/proc/meminfo: memFree=126386120/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=519840 memory=426396 CPUtime=3153.35 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 71984 0 0 0 315102 233 0 0 20 0 1 0 236299564 532316160 106599 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 129960 106599 2528 1147 0 117387 0
Current children cumulated CPU time: 3153.35 s
Current children cumulated vsize: 524032 KiB
Current children cumulated memory: 429468 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/267 165259
/proc/meminfo: memFree=126366072/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=520956 memory=427420 CPUtime=3213.19 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 72235 0 0 0 321082 237 0 0 20 0 1 0 236299564 533458944 106855 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 130239 106855 2528 1147 0 117666 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 525148 KiB
Current children cumulated memory: 430492 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/267 165261
/proc/meminfo: memFree=126353832/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=520956 memory=427420 CPUtime=3273.03 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 72249 0 0 0 327063 240 0 0 20 0 1 0 236299564 533458944 106855 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 130239 106855 2528 1147 0 117666 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 525148 KiB
Current children cumulated memory: 430492 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/266 165263
/proc/meminfo: memFree=126304496/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=523608 memory=430108 CPUtime=3332.88 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 72917 0 0 0 333044 244 0 0 20 0 1 0 236299564 536174592 107527 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 130902 107527 2528 1147 0 118329 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 527800 KiB
Current children cumulated memory: 433180 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/266 165265
/proc/meminfo: memFree=126261528/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=523608 memory=430108 CPUtime=3392.71 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 72917 0 0 0 339024 247 0 0 20 0 1 0 236299564 536174592 107527 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 130902 107527 2528 1147 0 118329 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 527800 KiB
Current children cumulated memory: 433180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/266 165267
/proc/meminfo: memFree=126217868/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=524888 memory=430876 CPUtime=3452.55 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 73106 0 0 0 345004 251 0 0 20 0 1 0 236299564 537485312 107719 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 131222 107719 2528 1147 0 118649 0
Current children cumulated CPU time: 3452.55 s
Current children cumulated vsize: 529080 KiB
Current children cumulated memory: 433948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/266 165269
/proc/meminfo: memFree=126188684/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=529472 memory=435916 CPUtime=3512.39 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 73867 0 0 0 350982 257 0 0 20 0 1 0 236299564 542179328 108979 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 132368 108979 2528 1147 0 119795 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 533664 KiB
Current children cumulated memory: 438988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/266 165271
/proc/meminfo: memFree=126173940/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=530332 memory=436812 CPUtime=3572.23 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 74082 0 0 0 356962 261 0 0 20 0 1 0 236299564 543059968 109203 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 132583 109203 2528 1147 0 120010 0
Current children cumulated CPU time: 3572.23 s
Current children cumulated vsize: 534524 KiB
Current children cumulated memory: 439884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.14 4.14 4.10 2/252 165303
/proc/meminfo: memFree=128603048/131249988 swapFree=33010160/33010684
[pid=165098] ppid=165095 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165098/stat : 165098 (run-dec-break.s) S 165095 165098 164273 0 -1 4194304 235 1097 0 0 0 0 0 0 20 0 1 0 236299563 4292608 768 18446744073709551615 94474792407040 94474793301573 140728621747808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94474793540624 94474793588368 94474794340352 140728621750623 140728621750752 140728621750752 140728621756356 0
/proc/165098/statm: 1048 768 704 219 0 110 0
[pid=165101] ppid=165098 vsize=530332 memory=436812 CPUtime=3600.06 cores=0,2
/proc/165101/stat : 165101 (roundingsat) R 165098 165098 164273 0 -1 4194304 74082 0 0 0 359744 262 0 0 20 0 1 0 236299564 543059968 109203 18446744073709551615 4227072 8923433 140721267993424 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30011392 140721268001090 140721268001318 140721268001318 140721268006890 0
/proc/165101/statm: 132583 109203 2528 1147 0 120010 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 534524 KiB
Current children cumulated memory: 439884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 165098 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.006965 s, system=0.002006 s
[startup+3610.21 s]
# the end of solver process 165101 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3597.45 s, system=2.63149 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.21
CPU time (s): 3600.08
CPU user time (s): 3597.45
CPU system time (s): 2.63149
CPU usage (%): 99.7196
Max. virtual memory (cumulated for all children) (KiB): 534524
Max. memory (cumulated for all children) (KiB): 439884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.45
system time used= 2.63149
maximum resident set size= 436940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259
involuntary context switches= 8100
# summary of solver processes directly reported to runsolver:
# pid: 165098,165101
# total CPU time (s): 3600.08
# total CPU user time (s): 3597.45
# total CPU system time (s): 2.63149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42077 second user time and 16.5495 second system time
The end
Begin job on nodeC034 at 2025-07-22 19:43:27
IDJOB=4541960
IDBENCH=163695
IDSOLVER=3357
FILE ID=nodeC034/4541960-1753206207
RUNJOBID= nodeC034-1753198973-164290
SLURM_JOB_ID= 9687767
Free space on /tmp= 433016 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-24diag_spec_greater.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541960-1753206207/watcher-4541960-1753206207 -o /tmp/evaluation-result-4541960-1753206207/solver-4541960-1753206207 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164290 --watchdog 3760 run-dec-break.sh HOME/instance-4541960-1753206207.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 873561b121a1050aedee7e68f97b01fd
RANDOM SEED=2091113130
nodeC034 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.752
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.732
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.53
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 : 3598.887
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.53
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 : 3545.300
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.53
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.760
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.53
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.752
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.53
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 : 3605.254
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.53
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 : 3600.354
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129038464 kB
MemAvailable: 129655872 kB
Buffers: 2128 kB
Cached: 1356556 kB
SwapCached: 32 kB
Active: 1251896 kB
Inactive: 235912 kB
Active(anon): 153240 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 233760 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29772 kB
Writeback: 0 kB
AnonPages: 132192 kB
Mapped: 121604 kB
Shmem: 26264 kB
KReclaimable: 248064 kB
Slab: 346144 kB
SReclaimable: 248064 kB
SUnreclaim: 98080 kB
KernelStack: 4240 kB
PageTables: 3188 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 481716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-22 20:43:38