Trace number 4429700

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat nolog (1)SAT (TO)-270 3600.08 3611.8

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-autocorr_bern50-06.lin.opb
MD5SUMb877664571262cc35a091b0e7e24e61f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-270
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables882
Total number of constraints1664
Number of constraints which are clauses832
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints832
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 882
Biggest coefficient in the objective function 34
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 13140
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 34
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 13140
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c #variables 882 #constraints 1664
0.00/0.03	c bounds 13141 >= -6570 @ 0.002689
0.00/0.03	c rational objective -3285
0.20/0.29	c bounds 0 >= -6570 @ 0.042074
0.20/0.29	c bounds 0 >= -6538 @ 0.042222
0.20/0.29	c bounds 0 >= -6506 @ 0.042303
0.20/0.29	c bounds 0 >= -6474 @ 0.042382
0.20/0.29	c bounds 0 >= -6442 @ 0.04246
0.20/0.29	c bounds 0 >= -6410 @ 0.042537
0.20/0.29	c bounds 0 >= -6378 @ 0.042611
0.20/0.29	c bounds 0 >= -6346 @ 0.042686
0.20/0.29	c bounds 0 >= -6314 @ 0.042761
0.20/0.29	c bounds 0 >= -6282 @ 0.042836
0.20/0.29	c bounds 0 >= -6250 @ 0.042909
0.20/0.29	c bounds 0 >= -6218 @ 0.042981
0.20/0.29	c bounds 0 >= -6186 @ 0.043056
0.20/0.29	c bounds 0 >= -6154 @ 0.043131
0.20/0.29	c bounds 0 >= -6122 @ 0.043206
0.20/0.29	c bounds 0 >= -6090 @ 0.043277
0.20/0.29	c bounds 0 >= -6058 @ 0.04335
0.20/0.29	c bounds 0 >= -6026 @ 0.043423
0.20/0.29	c bounds 0 >= -5994 @ 0.043495
0.20/0.29	c bounds 0 >= -5962 @ 0.043565
0.20/0.29	c bounds 0 >= -5930 @ 0.043654
0.20/0.29	c bounds -54 >= -5930 @ 0.043975
0.20/0.29	c bounds -55 >= -5930 @ 0.04437
0.20/0.29	c bounds -55 >= -5901 @ 0.044652
0.20/0.29	c bounds -56 >= -5901 @ 0.044991
0.20/0.29	c bounds -58 >= -5901 @ 0.152435
0.20/0.29	c bounds -92 >= -5901 @ 0.152986
0.20/0.29	c bounds -126 >= -5901 @ 0.153502
0.20/0.29	c bounds -160 >= -5901 @ 0.154032
0.20/0.29	c bounds -194 >= -5901 @ 0.154214
0.20/0.29	c bounds -208 >= -5901 @ 0.154214
0.20/0.29	c bounds -228 >= -5901 @ 0.154589
0.20/0.29	c bounds -258 >= -5901 @ 0.167853
0.20/0.29	c bounds -259 >= -5901 @ 0.168247
0.20/0.29	c bounds -260 >= -5901 @ 0.20993
0.20/0.29	c bounds -262 >= -5901 @ 0.263315
0.20/0.29	c bounds -262 >= -5877 @ 0.266224
0.20/0.29	c bounds -262 >= -5853 @ 0.266412
0.20/0.29	c bounds -262 >= -5829 @ 0.266568
0.20/0.29	c bounds -262 >= -5805 @ 0.266715
0.20/0.29	c bounds -262 >= -5781 @ 0.266866
0.20/0.29	c bounds -262 >= -5757 @ 0.267053
0.20/0.29	c bounds -262 >= -5733 @ 0.267196
0.20/0.29	c bounds -262 >= -5709 @ 0.26737
0.20/0.29	c bounds -262 >= -5685 @ 0.267506
0.20/0.29	c bounds -262 >= -5661 @ 0.267662
0.20/0.29	c bounds -262 >= -5637 @ 0.267795
0.20/0.29	c bounds -262 >= -5613 @ 0.267944
0.20/0.29	c bounds -262 >= -5589 @ 0.267996
0.20/0.29	c bounds -262 >= -5565 @ 0.267996
0.20/0.29	c bounds -262 >= -5541 @ 0.267996
0.20/0.29	c bounds -262 >= -5517 @ 0.267996
0.20/0.29	c bounds -262 >= -5493 @ 0.267996
0.20/0.29	c bounds -262 >= -5469 @ 0.267996
0.20/0.29	c bounds -262 >= -5445 @ 0.267996
0.20/0.29	c bounds -262 >= -5421 @ 0.267998
0.20/0.29	c bounds -262 >= -5397 @ 0.267998
0.20/0.29	c bounds -262 >= -5373 @ 0.267998
0.20/0.29	c bounds -262 >= -5349 @ 0.267998
0.20/0.29	c bounds -262 >= -5325 @ 0.267998
0.20/0.29	c bounds -262 >= -5301 @ 0.267998
0.20/0.29	c bounds -262 >= -5277 @ 0.267998
0.20/0.29	c bounds -262 >= -5253 @ 0.268108
0.20/0.29	c bounds -262 >= -5229 @ 0.268254
0.20/0.29	c bounds -262 >= -5205 @ 0.26839
0.20/0.29	c bounds -262 >= -5181 @ 0.268533
0.20/0.29	c bounds -262 >= -5157 @ 0.268651
0.20/0.29	c bounds -262 >= -5133 @ 0.268789
0.20/0.29	c bounds -262 >= -5109 @ 0.268906
0.20/0.29	c bounds -262 >= -5085 @ 0.269066
0.20/0.29	c bounds -262 >= -5061 @ 0.269184
0.20/0.29	c bounds -262 >= -5037 @ 0.26934
0.20/0.29	c bounds -262 >= -5013 @ 0.269452
0.20/0.29	c bounds -262 >= -4989 @ 0.269592
0.20/0.29	c bounds -262 >= -4965 @ 0.269704
0.20/0.29	c bounds -262 >= -4941 @ 0.269841
0.20/0.29	c bounds -262 >= -4917 @ 0.269952
0.20/0.29	c bounds -262 >= -4893 @ 0.27011
0.20/0.29	c bounds -262 >= -4869 @ 0.270229
0.20/0.29	c bounds -262 >= -4845 @ 0.27038
0.20/0.29	c bounds -262 >= -4821 @ 0.270488
0.20/0.29	c bounds -262 >= -4797 @ 0.27062
0.20/0.29	c bounds -262 >= -4773 @ 0.270726
0.20/0.29	c bounds -262 >= -4749 @ 0.270858
0.20/0.29	c bounds -262 >= -4725 @ 0.270969
0.20/0.29	c bounds -262 >= -4701 @ 0.270993
0.20/0.29	c bounds -262 >= -4677 @ 0.270993
0.20/0.29	c bounds -262 >= -4653 @ 0.270993
0.20/0.29	c bounds -262 >= -4629 @ 0.270993
0.20/0.29	c bounds -262 >= -4605 @ 0.270993
0.20/0.29	c bounds -262 >= -4581 @ 0.270993
0.20/0.29	c bounds -262 >= -4557 @ 0.270993
0.20/0.29	c bounds -262 >= -4533 @ 0.270993
0.20/0.29	c bounds -262 >= -4509 @ 0.271101
0.20/0.29	c bounds -262 >= -4485 @ 0.271201
0.20/0.29	c bounds -262 >= -4461 @ 0.271344
0.20/0.29	c bounds -262 >= -4437 @ 0.271439
0.20/0.29	c bounds -262 >= -4413 @ 0.271563
0.20/0.29	c bounds -262 >= -4389 @ 0.271657
0.20/0.29	c bounds -262 >= -4365 @ 0.27178
0.20/0.29	c bounds -262 >= -4341 @ 0.271868
0.20/0.29	c bounds -262 >= -4317 @ 0.271982
0.20/0.29	c bounds -262 >= -4293 @ 0.272094
0.20/0.29	c bounds -262 >= -4269 @ 0.272216
0.20/0.29	c bounds -262 >= -4245 @ 0.272324
0.20/0.29	c bounds -262 >= -4221 @ 0.272442
0.20/0.29	c bounds -262 >= -4197 @ 0.27253
0.20/0.29	c bounds -262 >= -4173 @ 0.272649
0.20/0.29	c bounds -262 >= -4149 @ 0.272735
0.20/0.29	c bounds -262 >= -4125 @ 0.272857
0.20/0.29	c bounds -262 >= -4101 @ 0.272942
0.20/0.29	c bounds -262 >= -4077 @ 0.27308
0.20/0.29	c bounds -262 >= -4053 @ 0.273167
0.20/0.29	c bounds -262 >= -4029 @ 0.27331
0.20/0.29	c bounds -262 >= -4005 @ 0.273393
0.20/0.29	c bounds -262 >= -3981 @ 0.273522
0.20/0.29	c bounds -262 >= -3957 @ 0.273605
0.20/0.29	c bounds -262 >= -3933 @ 0.273712
0.20/0.29	c bounds -262 >= -3909 @ 0.273791
0.20/0.29	c bounds -262 >= -3885 @ 0.273892
0.20/0.29	c bounds -262 >= -3861 @ 0.273969
0.20/0.29	c bounds -262 >= -3837 @ 0.273984
0.20/0.29	c bounds -262 >= -3813 @ 0.274025
0.79/0.82	c bounds -262 >= -3789 @ 0.277511
0.79/0.82	c bounds -262 >= -3765 @ 0.283347
0.79/0.82	c bounds -262 >= -3741 @ 0.308269
0.79/0.82	c #Conflicts:       1000 | #Constraints:       3205
0.79/0.82	c bounds -264 >= -3741 @ 0.401377
0.79/0.82	c bounds -264 >= -3717 @ 0.544416
0.79/0.82	c #Conflicts:       2000 | #Constraints:       4218
0.79/0.82	c INPROCESSING
0.79/0.82	c GARBAGE COLLECT
0.79/0.82	c rational objective -3278
1.98/2.02	c bounds -264 >= -3693 @ 1.2966
1.98/2.02	c bounds -266 >= -3693 @ 1.31539
1.98/2.02	c #Conflicts:       3000 | #Constraints:       4098
1.98/2.02	c bounds -268 >= -3693 @ 1.65933
1.98/2.02	c #Conflicts:       4000 | #Constraints:       5104
1.98/2.02	c INPROCESSING
1.98/2.02	c GARBAGE COLLECT
1.98/2.02	c rational objective -3025.75
3.09/3.14	c #Conflicts:       5000 | #Constraints:       4508
3.09/3.14	c #Conflicts:       6000 | #Constraints:       5511
3.09/3.14	c INPROCESSING
3.09/3.14	c GARBAGE COLLECT
3.09/3.14	c rational objective -2996
7.36/7.41	c #Conflicts:       7000 | #Constraints:       4508
7.36/7.41	c #Conflicts:       8000 | #Constraints:       5516
7.36/7.41	c bounds -268 >= -3669 @ 4.24917
7.36/7.41	c #Conflicts:       9000 | #Constraints:       6534
7.36/7.41	c INPROCESSING
7.36/7.41	c GARBAGE COLLECT
7.36/7.41	c #Conflicts:      10000 | #Constraints:       5273
7.36/7.41	c #Conflicts:      11000 | #Constraints:       6273
7.36/7.41	c #Conflicts:      12000 | #Constraints:       7276
7.36/7.41	c INPROCESSING
7.36/7.41	c GARBAGE COLLECT
7.36/7.41	c rational objective -2981.5
9.65/9.75	c #Conflicts:      13000 | #Constraints:       5819
9.65/9.75	c #Conflicts:      14000 | #Constraints:       7436
9.65/9.75	c #Conflicts:      15000 | #Constraints:       8760
9.65/9.75	c INPROCESSING
9.65/9.75	c GARBAGE COLLECT
9.65/9.75	c rational objective -2961.49
12.85/12.92	c #Conflicts:      16000 | #Constraints:       6453
12.85/12.92	c #Conflicts:      17000 | #Constraints:       7454
12.85/12.92	c bounds -268 >= -3645 @ 12.4421
12.85/12.92	c #Conflicts:      18000 | #Constraints:       8493
12.85/12.92	c INPROCESSING
12.85/12.92	c GARBAGE COLLECT
12.85/12.92	WSVECS04 Frhs2[772]: 6 -4.00004 0 shouldn't be
12.85/12.92	WSVECS04 Frhs2[794]: 6 -24.0001 0 shouldn't be
12.85/12.94	c rational objective -2955.06
16.04/16.18	c #Conflicts:      19000 | #Constraints:       6243
16.04/16.18	c #Conflicts:      20000 | #Constraints:       7763
16.04/16.18	c #Conflicts:      21000 | #Constraints:       9476
16.04/16.18	c INPROCESSING
16.04/16.18	c GARBAGE COLLECT
16.04/16.18	c rational objective -2937.75
21.82/21.90	c #Conflicts:      22000 | #Constraints:       6735
21.82/21.90	c #Conflicts:      23000 | #Constraints:       7736
21.82/21.90	c #Conflicts:      24000 | #Constraints:       8742
21.82/21.90	c #Conflicts:      25000 | #Constraints:       9744
21.82/21.90	c INPROCESSING
21.82/21.90	c GARBAGE COLLECT
21.82/21.90	c rational objective -2925.86
24.21/24.36	c #Conflicts:      26000 | #Constraints:       6887
24.21/24.36	c #Conflicts:      27000 | #Constraints:       8186
24.21/24.36	c bounds -269 >= -3645 @ 22.461
24.21/24.36	c #Conflicts:      28000 | #Constraints:       9237
24.21/24.36	c bounds -270 >= -3645 @ 23.2797
24.21/24.36	c #Conflicts:      29000 | #Constraints:      10471
24.21/24.36	c INPROCESSING
24.21/24.36	c GARBAGE COLLECT
24.21/24.36	c rational objective -2915.11
27.20/27.35	c #Conflicts:      30000 | #Constraints:       7526
27.20/27.35	c #Conflicts:      31000 | #Constraints:       9069
27.20/27.35	c #Conflicts:      32000 | #Constraints:      10571
27.20/27.35	c #Conflicts:      33000 | #Constraints:      12075
27.20/27.35	c INPROCESSING
27.20/27.35	c GARBAGE COLLECT
27.20/27.35	c rational objective -2899.3
35.27/35.44	c #Conflicts:      34000 | #Constraints:       8144
35.27/35.44	c #Conflicts:      35000 | #Constraints:       9144
35.27/35.44	c #Conflicts:      36000 | #Constraints:      10147
35.27/35.44	c #Conflicts:      37000 | #Constraints:      11150
35.27/35.44	c INPROCESSING
35.27/35.44	c GARBAGE COLLECT
35.27/35.44	c rational objective -2894.99
38.55/38.79	c #Conflicts:      38000 | #Constraints:       7823
38.55/38.79	c #Conflicts:      39000 | #Constraints:       8969
38.55/38.79	c #Conflicts:      40000 | #Constraints:      10463
38.55/38.79	c #Conflicts:      41000 | #Constraints:      11950
38.55/38.79	c INPROCESSING
38.55/38.79	c GARBAGE COLLECT
38.55/38.79	c rational objective -2868.04
44.13/44.30	c #Conflicts:      42000 | #Constraints:       8128
44.13/44.30	c #Conflicts:      43000 | #Constraints:       9828
44.13/44.30	c #Conflicts:      44000 | #Constraints:      11474
44.13/44.30	c #Conflicts:      45000 | #Constraints:      13128
44.13/44.30	c #Conflicts:      46000 | #Constraints:      14634
44.13/44.30	c INPROCESSING
44.13/44.30	c GARBAGE COLLECT
44.13/44.30	c rational objective -2858.95
58.79/59.05	c #Conflicts:      47000 | #Constraints:       9362
58.79/59.05	c #Conflicts:      48000 | #Constraints:      10369
58.79/59.05	c #Conflicts:      49000 | #Constraints:      11374
58.79/59.05	c #Conflicts:      50000 | #Constraints:      12385
58.79/59.05	c #Conflicts:      51000 | #Constraints:      13391
58.79/59.05	c INPROCESSING
58.79/59.05	c GARBAGE COLLECT
58.79/59.05	c #Conflicts:      52000 | #Constraints:       8826
58.79/59.05	c #Conflicts:      53000 | #Constraints:      10039
58.79/59.05	c #Conflicts:      54000 | #Constraints:      11385
58.79/59.05	c #Conflicts:      55000 | #Constraints:      12604
58.79/59.05	c #Conflicts:      56000 | #Constraints:      13901
58.79/59.05	c INPROCESSING
58.79/59.05	c GARBAGE COLLECT
58.79/59.05	c rational objective -2836.01
64.37/64.62	c #Conflicts:      57000 | #Constraints:       9072
64.37/64.62	c #Conflicts:      58000 | #Constraints:      10618
64.37/64.62	c #Conflicts:      59000 | #Constraints:      12262
64.37/64.62	c #Conflicts:      60000 | #Constraints:      13762
64.37/64.62	c #Conflicts:      61000 | #Constraints:      15257
64.37/64.62	c INPROCESSING
64.37/64.62	c GARBAGE COLLECT
64.37/64.62	c rational objective -2797.93
77.02/77.34	c #Conflicts:      62000 | #Constraints:       9696
77.02/77.34	c #Conflicts:      63000 | #Constraints:      10704
77.02/77.34	c #Conflicts:      64000 | #Constraints:      11715
77.02/77.34	c #Conflicts:      65000 | #Constraints:      12719
77.02/77.34	c #Conflicts:      66000 | #Constraints:      13723
77.02/77.34	c INPROCESSING
77.02/77.34	c GARBAGE COLLECT
77.02/77.34	c rational objective -2767.47
81.71/82.10	c #Conflicts:      67000 | #Constraints:       8698
81.71/82.10	c #Conflicts:      68000 | #Constraints:       9698
81.71/82.10	c #Conflicts:      69000 | #Constraints:      10740
81.71/82.10	c #Conflicts:      70000 | #Constraints:      12108
81.71/82.10	c #Conflicts:      71000 | #Constraints:      13622
81.71/82.10	c #Conflicts:      72000 | #Constraints:      15215
81.71/82.10	c INPROCESSING
81.71/82.10	c GARBAGE COLLECT
81.71/82.10	c rational objective -2752.48
87.58/87.94	c #Conflicts:      73000 | #Constraints:      10064
87.58/87.94	c #Conflicts:      74000 | #Constraints:      11346
87.58/87.94	c #Conflicts:      75000 | #Constraints:      12647
87.58/87.94	c #Conflicts:      76000 | #Constraints:      14212
87.58/87.94	c #Conflicts:      77000 | #Constraints:      15678
87.58/87.94	c #Conflicts:      78000 | #Constraints:      16960
87.58/87.94	c INPROCESSING
87.58/87.94	c GARBAGE COLLECT
87.58/87.94	c rational objective -2741.15
94.96/95.34	c #Conflicts:      79000 | #Constraints:      10593
94.96/95.34	c #Conflicts:      80000 | #Constraints:      11606
94.96/95.34	c #Conflicts:      81000 | #Constraints:      12619
94.96/95.34	c bounds -270 >= -3622 @ 93.8547
94.96/95.34	WSVECS04 Frhs2[114]: 6 -8 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[115]: 6 -24 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[116]: 6 -16 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[667]: 6 -4 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[723]: 6 -32 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[730]: 6 -20 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[731]: 6 -10 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[844]: 6 -24 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[845]: 6 -20 0 shouldn't be
94.96/95.34	WSVECS04 Frhs2[861]: 6 -10 0 shouldn't be
103.14/103.55	c #Conflicts:      82000 | #Constraints:      13641
103.14/103.55	c #Conflicts:      83000 | #Constraints:      14641
103.14/103.55	c #Conflicts:      84000 | #Constraints:      15641
103.14/103.55	c INPROCESSING
103.14/103.55	c GARBAGE COLLECT
103.14/103.55	c #Conflicts:      85000 | #Constraints:      10337
103.14/103.55	c #Conflicts:      86000 | #Constraints:      11838
103.14/103.55	c #Conflicts:      87000 | #Constraints:      13347
103.14/103.55	c #Conflicts:      88000 | #Constraints:      14854
103.14/103.55	c #Conflicts:      89000 | #Constraints:      16356
103.14/103.55	c #Conflicts:      90000 | #Constraints:      17856
103.14/103.55	c INPROCESSING
103.14/103.55	c GARBAGE COLLECT
103.14/103.55	c rational objective -2699.05
120.28/120.73	c #Conflicts:      91000 | #Constraints:      10978
120.28/120.73	c #Conflicts:      92000 | #Constraints:      11979
120.28/120.73	c #Conflicts:      93000 | #Constraints:      12983
120.28/120.73	c #Conflicts:      94000 | #Constraints:      13983
120.28/120.73	c #Conflicts:      95000 | #Constraints:      14986
120.28/120.73	c #Conflicts:      96000 | #Constraints:      15989
120.28/120.73	c INPROCESSING
120.28/120.73	c GARBAGE COLLECT
120.28/120.73	c rational objective -2671.79
128.25/128.78	c #Conflicts:      97000 | #Constraints:       9829
128.25/128.78	c #Conflicts:      98000 | #Constraints:      11197
128.25/128.78	c #Conflicts:      99000 | #Constraints:      12868
128.25/128.78	c #Conflicts:     100000 | #Constraints:      14400
128.25/128.78	c #Conflicts:     101000 | #Constraints:      15929
128.25/128.78	c #Conflicts:     102000 | #Constraints:      17445
128.25/128.78	c #Conflicts:     103000 | #Constraints:      19050
128.25/128.78	c INPROCESSING
128.25/128.78	c GARBAGE COLLECT
128.25/128.78	c rational objective -2649.19
138.12/138.67	c #Conflicts:     104000 | #Constraints:      12004
138.12/138.67	c #Conflicts:     105000 | #Constraints:      13542
138.12/138.67	c #Conflicts:     106000 | #Constraints:      15063
138.12/138.67	c #Conflicts:     107000 | #Constraints:      16506
138.12/138.67	c #Conflicts:     108000 | #Constraints:      17750
138.12/138.67	c #Conflicts:     109000 | #Constraints:      19270
138.12/138.67	c #Conflicts:     110000 | #Constraints:      20824
138.12/138.67	c INPROCESSING
138.12/138.67	c GARBAGE COLLECT
138.12/138.67	c rational objective -2616.08
165.53/166.16	c #Conflicts:     111000 | #Constraints:      12515
165.53/166.16	c #Conflicts:     112000 | #Constraints:      13521
165.53/166.16	c #Conflicts:     113000 | #Constraints:      14525
165.53/166.16	c #Conflicts:     114000 | #Constraints:      15530
165.53/166.16	c #Conflicts:     115000 | #Constraints:      16530
165.53/166.16	c #Conflicts:     116000 | #Constraints:      17536
165.53/166.16	c #Conflicts:     117000 | #Constraints:      18546
165.53/166.16	c INPROCESSING
165.53/166.16	c GARBAGE COLLECT
165.53/166.16	c rational objective -2558.98
176.99/177.69	c #Conflicts:     118000 | #Constraints:      11455
176.99/177.69	c #Conflicts:     119000 | #Constraints:      12695
176.99/177.69	c #Conflicts:     120000 | #Constraints:      13755
176.99/177.69	c #Conflicts:     121000 | #Constraints:      14783
176.99/177.69	c #Conflicts:     122000 | #Constraints:      16025
176.99/177.69	c #Conflicts:     123000 | #Constraints:      17181
176.99/177.69	c #Conflicts:     124000 | #Constraints:      18348
176.99/177.69	c INPROCESSING
176.99/177.69	c GARBAGE COLLECT
176.99/177.69	c rational objective -2534.13
216.36/217.17	c #Conflicts:     125000 | #Constraints:      11231
216.36/217.17	c #Conflicts:     126000 | #Constraints:      12231
216.36/217.17	c #Conflicts:     127000 | #Constraints:      13231
216.36/217.17	c #Conflicts:     128000 | #Constraints:      14231
216.36/217.17	c #Conflicts:     129000 | #Constraints:      15235
216.36/217.17	c #Conflicts:     130000 | #Constraints:      16253
216.36/217.17	c #Conflicts:     131000 | #Constraints:      17267
216.36/217.17	c INPROCESSING
216.36/217.17	c GARBAGE COLLECT
216.36/217.17	c #Conflicts:     132000 | #Constraints:      10484
216.36/217.17	c #Conflicts:     133000 | #Constraints:      11977
216.36/217.17	c #Conflicts:     134000 | #Constraints:      13592
216.36/217.17	c #Conflicts:     135000 | #Constraints:      15191
216.36/217.17	c #Conflicts:     136000 | #Constraints:      16326
216.36/217.17	c #Conflicts:     137000 | #Constraints:      17434
216.36/217.17	c #Conflicts:     138000 | #Constraints:      18878
216.36/217.17	c #Conflicts:     139000 | #Constraints:      20405
216.36/217.17	c INPROCESSING
216.36/217.17	c GARBAGE COLLECT
216.36/217.17	WSVECS04 Frhs2[5]: 6 -2.16674 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[7]: 6 -48 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[9]: 6 0 18.5001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[11]: 6 0 11.5001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[13]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[17]: 6 0 24.9167 shouldn't be
216.36/217.17	WSVECS04 Frhs2[25]: 6 0 0.210547 shouldn't be
216.36/217.17	WSVECS04 Frhs2[26]: 6 -48.5655 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[30]: 6 -13.6661 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[33]: 6 -25.4599 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[42]: 6 -5.21633 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[44]: 6 -10.55 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[45]: 6 0 31.1588 shouldn't be
216.36/217.17	WSVECS04 Frhs2[48]: 6 -3.19865 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[105]: 6 -8.00004 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[108]: 6 -16 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[154]: 6 -8.00002 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[159]: 6 -24 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[183]: 6 0 11.679 shouldn't be
216.36/217.17	WSVECS04 Frhs2[199]: 6 -24 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[200]: 6 -16 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[206]: 6 -8.00007 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[234]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[235]: 6 0 8.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[236]: 6 0 8.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[237]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[239]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[241]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[242]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[243]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[244]: 6 0 16.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[245]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[246]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[247]: 6 0 16.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[248]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[249]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[250]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[251]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[253]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[255]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[256]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[257]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[258]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[259]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[260]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[261]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[264]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[265]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[266]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[267]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[268]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[269]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[271]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[272]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[273]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[274]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[277]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[278]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[279]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[280]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[281]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[282]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[284]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[285]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[286]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[287]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[288]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[290]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[291]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[292]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[293]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[294]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[295]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[296]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[297]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[298]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[299]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[300]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[301]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[302]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[303]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[304]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[305]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[306]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[307]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[308]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[309]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[310]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[311]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[312]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[313]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[314]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[315]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[317]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[318]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[319]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[320]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[321]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[322]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[323]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[324]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[325]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[327]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[329]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[330]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[331]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[332]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[333]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[335]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[336]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[338]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[340]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[341]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[342]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[343]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[344]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[345]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[346]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[347]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[348]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[349]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[350]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[352]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[355]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[357]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[358]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[363]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[364]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[365]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[367]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[368]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[369]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[370]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[371]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[372]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[374]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[376]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[377]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[378]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[379]: 6 0 16 shouldn't be
216.36/217.17	WSVECS04 Frhs2[380]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[381]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[382]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[383]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[384]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[385]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[386]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[387]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[388]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[391]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[392]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[393]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[394]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[395]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[396]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[397]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[398]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[399]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[400]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[401]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[402]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[403]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[404]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[405]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[407]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[408]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[409]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[411]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[412]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[413]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[414]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[416]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[418]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[419]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[420]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[421]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[422]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[423]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[424]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[426]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[427]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[428]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[430]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[431]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[432]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[433]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[434]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[435]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[436]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[437]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[438]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[439]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[440]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[441]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[442]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[443]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[444]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[445]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[446]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[447]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[448]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[449]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[450]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[452]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[453]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[454]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[455]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[456]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[458]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[459]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[460]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[461]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[462]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[468]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[469]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[470]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[471]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[472]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[473]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[474]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[475]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[476]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[479]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[483]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[484]: 6 -89.193 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[485]: 6 0 12.3302 shouldn't be
216.36/217.17	WSVECS04 Frhs2[486]: 6 -36.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[487]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[489]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[491]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[492]: 6 0 22.8071 shouldn't be
216.36/217.17	WSVECS04 Frhs2[493]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[494]: 6 0 4.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[495]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[497]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[498]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[499]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[501]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[503]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[504]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[507]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[508]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[510]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[511]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[512]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[513]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[514]: 6 0 12.3159 shouldn't be
216.36/217.17	WSVECS04 Frhs2[516]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[517]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[518]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[520]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[521]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[522]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[524]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[525]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[527]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[528]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[530]: 6 0 38.1425 shouldn't be
216.36/217.17	WSVECS04 Frhs2[531]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[533]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[534]: 6 0 4.00002 shouldn't be
216.36/217.17	WSVECS04 Frhs2[535]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[536]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[537]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[539]: 6 0 4.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[540]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[541]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[542]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[543]: 6 0 4.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[544]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[545]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[546]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[547]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[548]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[549]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[550]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[558]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[559]: 6 0 18.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[561]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[562]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[563]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[566]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[572]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[574]: 6 0 4.08094 shouldn't be
216.36/217.17	WSVECS04 Frhs2[584]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[586]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[588]: 6 0 4.00008 shouldn't be
216.36/217.17	WSVECS04 Frhs2[589]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[590]: 6 0 4.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[591]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[592]: 6 0 11.1198 shouldn't be
216.36/217.17	WSVECS04 Frhs2[594]: 6 0 24.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[596]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[598]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[603]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[605]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[606]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[607]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[610]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[612]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[614]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[616]: 6 0 12.4162 shouldn't be
216.36/217.17	WSVECS04 Frhs2[618]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[619]: 6 0 11.2212 shouldn't be
216.36/217.17	WSVECS04 Frhs2[622]: 6 0 24.1388 shouldn't be
216.36/217.17	WSVECS04 Frhs2[623]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[624]: 6 0 4.00007 shouldn't be
216.36/217.17	WSVECS04 Frhs2[629]: 6 -2.00006 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[630]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[631]: 6 0 34.1318 shouldn't be
216.36/217.17	WSVECS04 Frhs2[632]: 6 0 12.0001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[634]: 6 0 24 shouldn't be
216.36/217.17	WSVECS04 Frhs2[635]: 6 0 4.00003 shouldn't be
216.36/217.17	WSVECS04 Frhs2[636]: 6 0 12 shouldn't be
216.36/217.17	WSVECS04 Frhs2[637]: 6 0 4.00006 shouldn't be
216.36/217.17	WSVECS04 Frhs2[641]: 6 0 4.00005 shouldn't be
216.36/217.17	WSVECS04 Frhs2[643]: 6 0 8.00001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[646]: 6 0 8.00009 shouldn't be
216.36/217.17	WSVECS04 Frhs2[658]: 6 -20.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[663]: 6 -16.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[665]: 6 -15 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[669]: 6 -6.50007 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[696]: 6 0 5.00004 shouldn't be
216.36/217.17	WSVECS04 Frhs2[704]: 6 -24 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[705]: 6 -20 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[706]: 6 -10.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[713]: 6 -32 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[714]: 6 -24 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[716]: 6 -10.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[717]: 6 -4.00009 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[718]: 6 -32.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[720]: 6 -20 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[721]: 6 -10 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[724]: 6 -19.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[725]: 6 -20.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[733]: 6 -32.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[736]: 6 -3.66676 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[740]: 6 -17.5001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[741]: 6 0 29.5001 shouldn't be
216.36/217.17	WSVECS04 Frhs2[756]: 6 -12.7767 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[760]: 6 0 40 shouldn't be
216.36/217.17	WSVECS04 Frhs2[774]: 6 -24 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[775]: 6 -20.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[783]: 6 -32 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[784]: 6 -16.2234 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[787]: 6 -4.00002 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[788]: 6 -28.1053 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[791]: 6 -10.0001 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[793]: 6 -28.1053 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[794]: 6 0 5.11855 shouldn't be
216.36/217.17	WSVECS04 Frhs2[799]: 6 -14 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[805]: 6 0 22.1499 shouldn't be
216.36/217.17	WSVECS04 Frhs2[809]: 6 0 76.9421 shouldn't be
216.36/217.17	WSVECS04 Frhs2[812]: 6 -11.2083 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[821]: 6 0 25.193 shouldn't be
216.36/217.17	WSVECS04 Frhs2[831]: 6 0 29.4891 shouldn't be
216.36/217.17	WSVECS04 Frhs2[835]: 6 -18.3158 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[839]: 6 -2.8695 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[859]: 6 0 2.14654 shouldn't be
216.36/217.17	WSVECS04 Frhs2[865]: 6 -15.4833 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[873]: 6 -13.3765 0 shouldn't be
216.36/217.17	WSVECS04 Frhs2[874]: 6 -14.8383 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[3]: 6 -25 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[5]: 6 -2.16667 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[7]: 6 -48 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[9]: 6 0 18.5 shouldn't be
216.45/217.22	WSVECS04 Frhs2[11]: 6 0 11.5 shouldn't be
216.45/217.22	WSVECS04 Frhs2[13]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[25]: 6 0 0.210527 shouldn't be
216.45/217.22	WSVECS04 Frhs2[30]: 6 -13.666 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[33]: 6 -25.4598 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[38]: 6 -79.6458 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[42]: 6 -5.21629 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[44]: 6 -10.55 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[45]: 6 0 31.1587 shouldn't be
216.45/217.22	WSVECS04 Frhs2[48]: 6 -3.19855 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[105]: 6 -8 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[108]: 6 -16 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[162]: 6 -8 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[183]: 6 0 11.6789 shouldn't be
216.45/217.22	WSVECS04 Frhs2[194]: 6 -8 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[199]: 6 -24 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[200]: 6 -16 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[226]: 6 -8 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[231]: 6 -16 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[235]: 6 0 8 shouldn't be
216.45/217.22	WSVECS04 Frhs2[236]: 6 0 8 shouldn't be
216.45/217.22	WSVECS04 Frhs2[237]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[243]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[244]: 6 0 16 shouldn't be
216.45/217.22	WSVECS04 Frhs2[245]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[247]: 6 0 16 shouldn't be
216.45/217.22	WSVECS04 Frhs2[248]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[251]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[253]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[256]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[257]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[258]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[261]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[263]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[265]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[266]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[267]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[271]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[272]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[274]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[275]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[279]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[280]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[281]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[282]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[285]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[286]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[288]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[290]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[291]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[292]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[294]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[297]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[298]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[299]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[300]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[301]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[303]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[304]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[305]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[306]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[307]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[308]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[309]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[310]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[311]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[312]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[313]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[314]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[315]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[316]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[317]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[318]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[319]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[321]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[322]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[324]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[325]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[326]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[330]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[333]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[334]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[335]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[341]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[342]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[343]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[344]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[346]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[348]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[349]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[352]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[355]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[357]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[360]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[363]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[364]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[365]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[367]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[369]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[370]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[371]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[372]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[377]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[378]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[379]: 6 0 16 shouldn't be
216.45/217.22	WSVECS04 Frhs2[380]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[382]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[384]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[385]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[386]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[387]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[388]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[390]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[391]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[393]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[394]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[395]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[396]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[397]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[398]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[399]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[400]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[404]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[405]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[406]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[407]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[411]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[413]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[414]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[415]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[416]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[417]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[418]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[420]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[423]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[424]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[425]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[426]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[427]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[432]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[433]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[434]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[435]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[436]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[437]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[438]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[441]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[442]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[443]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[445]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[447]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[448]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[449]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[450]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[451]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[452]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[454]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[456]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[459]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[460]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[461]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[468]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[469]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[470]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[472]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[473]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[475]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[476]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[479]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[483]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[484]: 6 -89.193 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[485]: 6 0 12.3301 shouldn't be
216.45/217.22	WSVECS04 Frhs2[486]: 6 -36 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[487]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[491]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[492]: 6 0 22.807 shouldn't be
216.45/217.22	WSVECS04 Frhs2[493]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[495]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[497]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[499]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[500]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[501]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[503]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[504]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[508]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[510]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[513]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[514]: 6 0 12.3158 shouldn't be
216.45/217.22	WSVECS04 Frhs2[517]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[521]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[522]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[524]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[525]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[527]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[528]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[531]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[533]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[534]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[535]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[536]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[537]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[540]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[541]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[542]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[544]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[546]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[547]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[548]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[550]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[558]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[559]: 6 0 18 shouldn't be
216.45/217.22	WSVECS04 Frhs2[560]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[562]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[564]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[574]: 6 0 4.08092 shouldn't be
216.45/217.22	WSVECS04 Frhs2[584]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[586]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[589]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[590]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[591]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[593]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[594]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[596]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[598]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[600]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[603]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[605]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[607]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[609]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[612]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[614]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[615]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[616]: 6 0 12.4161 shouldn't be
216.45/217.22	WSVECS04 Frhs2[618]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[619]: 6 0 11.2212 shouldn't be
216.45/217.22	WSVECS04 Frhs2[621]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[622]: 6 0 24.1387 shouldn't be
216.45/217.22	WSVECS04 Frhs2[623]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[624]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[629]: 6 -2 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[630]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[631]: 6 0 34.1318 shouldn't be
216.45/217.22	WSVECS04 Frhs2[632]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[633]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[634]: 6 0 24 shouldn't be
216.45/217.22	WSVECS04 Frhs2[636]: 6 0 12 shouldn't be
216.45/217.22	WSVECS04 Frhs2[641]: 6 0 4 shouldn't be
216.45/217.22	WSVECS04 Frhs2[643]: 6 0 8 shouldn't be
216.45/217.22	WSVECS04 Frhs2[646]: 6 0 8 shouldn't be
216.45/217.22	WSVECS04 Frhs2[648]: 6 0 81.5 shouldn't be
216.45/217.22	WSVECS04 Frhs2[663]: 6 -16 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[669]: 6 -6.5 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[696]: 6 0 5 shouldn't be
216.45/217.22	WSVECS04 Frhs2[704]: 6 -24 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[705]: 6 -20 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[706]: 6 -10 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[713]: 6 -32 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[714]: 6 -24 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[716]: 6 -10 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[717]: 6 -4 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[718]: 6 -32 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[720]: 6 -20 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[721]: 6 -10 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[724]: 6 -19 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[725]: 6 -20 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[733]: 6 -32 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[736]: 6 -3.66667 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[740]: 6 -17.5 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[756]: 6 -12.7767 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[775]: 6 -20 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[784]: 6 -16.2233 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[785]: 6 -20 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[788]: 6 -28.1053 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[793]: 6 -28.1053 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[799]: 6 -14 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[802]: 6 -4 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[805]: 6 0 22.1499 shouldn't be
216.45/217.22	WSVECS04 Frhs2[809]: 6 0 76.9421 shouldn't be
216.45/217.22	WSVECS04 Frhs2[812]: 6 -11.2082 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[821]: 6 0 25.193 shouldn't be
216.45/217.22	WSVECS04 Frhs2[832]: 6 0 20 shouldn't be
216.45/217.22	WSVECS04 Frhs2[839]: 6 -2.86943 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[849]: 6 0 31.5872 shouldn't be
216.45/217.22	WSVECS04 Frhs2[865]: 6 -15.4832 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[873]: 6 -13.3764 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[874]: 6 -14.8382 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[875]: 6 -32.5005 0 shouldn't be
216.45/217.22	WSVECS04 Frhs2[877]: 6 -20 0 shouldn't be
230.31/231.12	c #Conflicts:     140000 | #Constraints:      12282
230.31/231.12	c #Conflicts:     141000 | #Constraints:      13282
230.31/231.12	c #Conflicts:     142000 | #Constraints:      14282
230.31/231.12	c #Conflicts:     143000 | #Constraints:      15403
230.31/231.12	c #Conflicts:     144000 | #Constraints:      16923
230.31/231.12	c #Conflicts:     145000 | #Constraints:      18443
230.31/231.12	c #Conflicts:     146000 | #Constraints:      19968
230.31/231.12	c #Conflicts:     147000 | #Constraints:      21517
230.31/231.12	c INPROCESSING
230.31/231.12	c GARBAGE COLLECT
230.31/231.12	c rational objective -2481.22
260.51/261.46	c #Conflicts:     148000 | #Constraints:      12903
260.51/261.46	c #Conflicts:     149000 | #Constraints:      13913
260.51/261.46	c #Conflicts:     150000 | #Constraints:      14918
260.51/261.46	c #Conflicts:     151000 | #Constraints:      15920
260.51/261.46	c #Conflicts:     152000 | #Constraints:      16926
260.51/261.46	c #Conflicts:     153000 | #Constraints:      17928
260.51/261.46	c #Conflicts:     154000 | #Constraints:      18936
260.51/261.46	c #Conflicts:     155000 | #Constraints:      19941
260.51/261.46	c INPROCESSING
260.51/261.46	c GARBAGE COLLECT
260.51/261.46	c rational objective -2436.28
274.66/275.61	c #Conflicts:     156000 | #Constraints:      12162
274.66/275.61	c #Conflicts:     157000 | #Constraints:      13197
274.66/275.61	c #Conflicts:     158000 | #Constraints:      14771
274.66/275.61	c #Conflicts:     159000 | #Constraints:      16178
274.66/275.61	c #Conflicts:     160000 | #Constraints:      17594
274.66/275.61	c #Conflicts:     161000 | #Constraints:      19100
274.66/275.61	c #Conflicts:     162000 | #Constraints:      20634
274.66/275.61	c #Conflicts:     163000 | #Constraints:      22279
274.66/275.61	c INPROCESSING
274.66/275.61	c GARBAGE COLLECT
274.66/275.61	c rational objective -2399.52
309.94/311.02	c #Conflicts:     164000 | #Constraints:      13238
309.94/311.02	c #Conflicts:     165000 | #Constraints:      14249
309.94/311.02	c #Conflicts:     166000 | #Constraints:      15255
309.94/311.02	c #Conflicts:     167000 | #Constraints:      16260
309.94/311.02	c #Conflicts:     168000 | #Constraints:      17264
309.94/311.02	c #Conflicts:     169000 | #Constraints:      18267
309.94/311.02	c #Conflicts:     170000 | #Constraints:      19283
309.94/311.02	c #Conflicts:     171000 | #Constraints:      20292
309.94/311.02	c INPROCESSING
309.94/311.02	c GARBAGE COLLECT
309.94/311.02	c rational objective -2364.18
322.59/323.75	c #Conflicts:     172000 | #Constraints:      12014
322.59/323.75	c #Conflicts:     173000 | #Constraints:      13046
322.59/323.75	c #Conflicts:     174000 | #Constraints:      14196
322.59/323.75	c #Conflicts:     175000 | #Constraints:      15713
322.59/323.75	c #Conflicts:     176000 | #Constraints:      16892
322.59/323.75	c #Conflicts:     177000 | #Constraints:      18059
322.59/323.75	c #Conflicts:     178000 | #Constraints:      19434
322.59/323.75	c #Conflicts:     179000 | #Constraints:      20521
322.59/323.75	c #Conflicts:     180000 | #Constraints:      21601
322.59/323.75	c INPROCESSING
322.59/323.75	c GARBAGE COLLECT
322.59/323.75	WSVECS04 Frhs2[16]: 6 -199.101 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[38]: 6 -104.094 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[44]: 6 -178.152 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[45]: 6 0 233.468 shouldn't be
322.59/323.75	WSVECS04 Frhs2[46]: 6 0 17.5442 shouldn't be
322.59/323.75	WSVECS04 Frhs2[47]: 6 0 57.3845 shouldn't be
322.59/323.75	WSVECS04 Frhs2[105]: 6 -8 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[109]: 6 -8 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[135]: 6 0 366.229 shouldn't be
322.59/323.75	WSVECS04 Frhs2[159]: 6 -16 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[160]: 6 -16 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[161]: 6 -8 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[162]: 6 -8 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[164]: 6 -16 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[167]: 6 -24 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[194]: 6 -8 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[235]: 6 0 8 shouldn't be
322.59/323.75	WSVECS04 Frhs2[242]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[265]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[269]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[270]: 6 0 1568.07 shouldn't be
322.59/323.75	WSVECS04 Frhs2[271]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[275]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[283]: 6 0 3204.84 shouldn't be
322.59/323.75	WSVECS04 Frhs2[293]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[294]: 6 0 12 shouldn't be
322.59/323.75	WSVECS04 Frhs2[304]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[310]: 6 0 18.375 shouldn't be
322.59/323.75	WSVECS04 Frhs2[313]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[319]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[323]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[329]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[334]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[343]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[347]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[349]: 6 0 310.076 shouldn't be
322.59/323.75	WSVECS04 Frhs2[350]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[358]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[369]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[374]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[391]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[401]: 6 0 273.896 shouldn't be
322.59/323.75	WSVECS04 Frhs2[403]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[408]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[410]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[412]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[417]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[422]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[430]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[437]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[439]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[440]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[444]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[447]: 6 0 12 shouldn't be
322.59/323.75	WSVECS04 Frhs2[457]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[462]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[476]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[488]: 6 -6 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[489]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[502]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[505]: 6 0 1.75532 shouldn't be
322.59/323.75	WSVECS04 Frhs2[514]: 6 0 277.468 shouldn't be
322.59/323.75	WSVECS04 Frhs2[519]: 6 0 21.3482 shouldn't be
322.59/323.75	WSVECS04 Frhs2[521]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[526]: 6 0 965.906 shouldn't be
322.59/323.75	WSVECS04 Frhs2[534]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[536]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[546]: 6 0 12 shouldn't be
322.59/323.75	WSVECS04 Frhs2[559]: 6 0 18 shouldn't be
322.59/323.75	WSVECS04 Frhs2[566]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[570]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[574]: 6 0 60.3025 shouldn't be
322.59/323.75	WSVECS04 Frhs2[585]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[588]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[593]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[594]: 6 0 24 shouldn't be
322.59/323.75	WSVECS04 Frhs2[599]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[606]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[612]: 6 0 181.821 shouldn't be
322.59/323.75	WSVECS04 Frhs2[613]: 6 0 134.1 shouldn't be
322.59/323.75	WSVECS04 Frhs2[616]: 6 0 129.608 shouldn't be
322.59/323.75	WSVECS04 Frhs2[617]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[628]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[635]: 6 0 4 shouldn't be
322.59/323.75	WSVECS04 Frhs2[638]: 6 0 40.7472 shouldn't be
322.59/323.75	WSVECS04 Frhs2[646]: 6 0 8 shouldn't be
322.59/323.75	WSVECS04 Frhs2[657]: 6 0 1 shouldn't be
322.59/323.75	WSVECS04 Frhs2[659]: 6 -321.564 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[672]: 6 0 301.814 shouldn't be
322.59/323.75	WSVECS04 Frhs2[676]: 6 0 295.814 shouldn't be
322.59/323.75	WSVECS04 Frhs2[704]: 6 -110.63 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[717]: 6 -4 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[725]: 6 -12 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[733]: 6 -32 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[756]: 6 -99.1337 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[785]: 6 -24.4444 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[786]: 6 -10 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[787]: 6 -4 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[789]: 6 -57.8227 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[791]: 6 -10 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[810]: 6 -1.84309 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[821]: 6 0 33.6834 shouldn't be
322.59/323.75	WSVECS04 Frhs2[832]: 6 0 20 shouldn't be
322.59/323.75	WSVECS04 Frhs2[836]: 6 -10.4322 0 shouldn't be
322.59/323.75	WSVECS04 Frhs2[847]: 6 0 132.815 shouldn't be
322.59/323.75	WSVECS04 Frhs2[873]: 6 0 5.17024 shouldn't be
322.59/323.75	WSVECS04 Frhs2[874]: 6 0 130.605 shouldn't be
380.69/382.01	c #Conflicts:     181000 | #Constraints:      13217
380.69/382.01	c #Conflicts:     182000 | #Constraints:      14786
380.69/382.01	c #Conflicts:     183000 | #Constraints:      16338
380.69/382.01	c #Conflicts:     184000 | #Constraints:      17883
380.69/382.01	c #Conflicts:     185000 | #Constraints:      19469
380.69/382.01	c #Conflicts:     186000 | #Constraints:      21043
380.69/382.01	c #Conflicts:     187000 | #Constraints:      22687
380.69/382.01	c #Conflicts:     188000 | #Constraints:      24350
380.69/382.01	c #Conflicts:     189000 | #Constraints:      25960
380.69/382.01	c INPROCESSING
380.69/382.01	c GARBAGE COLLECT
380.69/382.01	c #Conflicts:     190000 | #Constraints:      15095
380.69/382.01	c #Conflicts:     191000 | #Constraints:      16100
380.69/382.01	c #Conflicts:     192000 | #Constraints:      17100
380.69/382.01	c #Conflicts:     193000 | #Constraints:      18145
380.69/382.01	c #Conflicts:     194000 | #Constraints:      19153
380.69/382.01	c #Conflicts:     195000 | #Constraints:      20160
380.69/382.01	c #Conflicts:     196000 | #Constraints:      21163
380.69/382.01	c #Conflicts:     197000 | #Constraints:      22167
380.69/382.01	c #Conflicts:     198000 | #Constraints:      23167
380.69/382.01	c INPROCESSING
380.69/382.01	c GARBAGE COLLECT
380.69/382.01	c rational objective -2381.75
442.08/443.60	c #Conflicts:     199000 | #Constraints:      13757
442.08/443.60	c #Conflicts:     200000 | #Constraints:      15193
442.08/443.60	c #Conflicts:     201000 | #Constraints:      16761
442.08/443.60	c #Conflicts:     202000 | #Constraints:      18277
442.08/443.60	c #Conflicts:     203000 | #Constraints:      19798
442.08/443.60	c #Conflicts:     204000 | #Constraints:      21328
442.08/443.60	c #Conflicts:     205000 | #Constraints:      22821
442.08/443.60	c #Conflicts:     206000 | #Constraints:      24332
442.08/443.60	c #Conflicts:     207000 | #Constraints:      25838
442.08/443.60	c INPROCESSING
442.08/443.60	c GARBAGE COLLECT
442.08/443.60	c #Conflicts:     208000 | #Constraints:      14998
442.08/443.60	c #Conflicts:     209000 | #Constraints:      15998
442.08/443.60	c #Conflicts:     210000 | #Constraints:      17000
442.08/443.60	c #Conflicts:     211000 | #Constraints:      18006
442.08/443.60	c #Conflicts:     212000 | #Constraints:      19008
442.08/443.60	c #Conflicts:     213000 | #Constraints:      20013
442.08/443.60	c #Conflicts:     214000 | #Constraints:      21020
442.08/443.60	c #Conflicts:     215000 | #Constraints:      22021
442.08/443.60	c #Conflicts:     216000 | #Constraints:      23021
442.08/443.60	c INPROCESSING
442.08/443.60	c GARBAGE COLLECT
442.08/443.60	c rational objective -2343.57
655.46/657.71	c #Conflicts:     217000 | #Constraints:      13372
655.46/657.71	c #Conflicts:     218000 | #Constraints:      15053
655.46/657.71	c #Conflicts:     219000 | #Constraints:      16790
655.46/657.71	c #Conflicts:     220000 | #Constraints:      18522
655.46/657.71	c #Conflicts:     221000 | #Constraints:      20253
655.46/657.71	c #Conflicts:     222000 | #Constraints:      21980
655.46/657.71	c #Conflicts:     223000 | #Constraints:      23676
655.46/657.71	c #Conflicts:     224000 | #Constraints:      25196
655.46/657.71	c #Conflicts:     225000 | #Constraints:      26724
655.46/657.71	c #Conflicts:     226000 | #Constraints:      28230
655.46/657.71	c INPROCESSING
655.46/657.71	c GARBAGE COLLECT
655.46/657.71	c #Conflicts:     227000 | #Constraints:      16273
655.46/657.71	c #Conflicts:     228000 | #Constraints:      17279
655.46/657.71	c #Conflicts:     229000 | #Constraints:      18282
655.46/657.71	c #Conflicts:     230000 | #Constraints:      19287
655.46/657.71	c #Conflicts:     231000 | #Constraints:      20294
655.46/657.71	c #Conflicts:     232000 | #Constraints:      21307
655.46/657.71	c #Conflicts:     233000 | #Constraints:      22359
655.46/657.71	c #Conflicts:     234000 | #Constraints:      23370
655.46/657.71	c #Conflicts:     235000 | #Constraints:      24374
655.46/657.71	c #Conflicts:     236000 | #Constraints:      25386
655.46/657.71	c INPROCESSING
655.46/657.71	c GARBAGE COLLECT
655.46/657.71	c #Conflicts:     237000 | #Constraints:      14859
655.46/657.71	c #Conflicts:     238000 | #Constraints:      16348
655.46/657.71	c #Conflicts:     239000 | #Constraints:      17915
655.46/657.71	c #Conflicts:     240000 | #Constraints:      19480
655.46/657.71	c #Conflicts:     241000 | #Constraints:      21071
655.46/657.71	c #Conflicts:     242000 | #Constraints:      22634
655.46/657.71	c #Conflicts:     243000 | #Constraints:      24242
655.46/657.71	c #Conflicts:     244000 | #Constraints:      25873
655.46/657.71	c #Conflicts:     245000 | #Constraints:      27440
655.46/657.71	c #Conflicts:     246000 | #Constraints:      28993
655.46/657.71	c INPROCESSING
655.46/657.71	c GARBAGE COLLECT
655.46/657.71	c #Conflicts:     247000 | #Constraints:      17318
655.46/657.71	c #Conflicts:     248000 | #Constraints:      18912
655.46/657.71	c #Conflicts:     249000 | #Constraints:      20479
655.46/657.71	c #Conflicts:     250000 | #Constraints:      22045
655.46/657.71	c #Conflicts:     251000 | #Constraints:      23650
655.46/657.71	c #Conflicts:     252000 | #Constraints:      25298
655.46/657.71	c #Conflicts:     253000 | #Constraints:      26867
655.46/657.71	c #Conflicts:     254000 | #Constraints:      28478
655.46/657.71	c #Conflicts:     255000 | #Constraints:      30093
655.46/657.71	c #Conflicts:     256000 | #Constraints:      31798
655.46/657.71	c INPROCESSING
655.46/657.71	c GARBAGE COLLECT
655.46/657.71	c #Conflicts:     257000 | #Constraints:      18025
655.46/657.71	c #Conflicts:     258000 | #Constraints:      19030
655.46/657.71	c #Conflicts:     259000 | #Constraints:      20046
655.46/657.71	c #Conflicts:     260000 | #Constraints:      21046
655.46/657.71	c #Conflicts:     261000 | #Constraints:      22050
655.46/657.71	c #Conflicts:     262000 | #Constraints:      23054
655.46/657.71	c #Conflicts:     263000 | #Constraints:      24058
655.46/657.71	c #Conflicts:     264000 | #Constraints:      25063
655.46/657.71	c #Conflicts:     265000 | #Constraints:      26067
655.46/657.71	c #Conflicts:     266000 | #Constraints:      27068
655.46/657.71	c INPROCESSING
655.46/657.71	c GARBAGE COLLECT
655.46/657.71	c #Conflicts:     267000 | #Constraints:      15415
655.46/657.71	c #Conflicts:     268000 | #Constraints:      16717
655.46/657.71	c #Conflicts:     269000 | #Constraints:      18312
655.46/657.71	c #Conflicts:     270000 | #Constraints:      19874
655.46/657.71	c #Conflicts:     271000 | #Constraints:      21418
655.46/657.71	c #Conflicts:     272000 | #Constraints:      22938
655.46/657.71	c #Conflicts:     273000 | #Constraints:      24459
655.46/657.71	c #Conflicts:     274000 | #Constraints:      25971
655.46/657.71	c #Conflicts:     275000 | #Constraints:      27452
655.46/657.71	c #Conflicts:     276000 | #Constraints:      28994
655.46/657.71	c #Conflicts:     277000 | #Constraints:      30620
655.46/657.71	c INPROCESSING
655.46/657.71	c GARBAGE COLLECT
655.46/657.71	c #Conflicts:     278000 | #Constraints:      17955
655.46/657.71	c #Conflicts:     279000 | #Constraints:      19616
655.46/657.71	WSVECS04 Frhs2[6]: 6 0 35.6112 shouldn't be
655.46/657.71	WSVECS04 Frhs2[10]: 6 0 16.6667 shouldn't be
655.46/657.71	WSVECS04 Frhs2[13]: 6 0 55.1667 shouldn't be
655.46/657.71	WSVECS04 Frhs2[26]: 6 -46.4298 0 shouldn't be
655.46/657.71	WSVECS04 Frhs2[27]: 6 0 72.8517 shouldn't be
655.46/657.71	WSVECS04 Frhs2[30]: 6 -1.40424 0 shouldn't be
655.46/657.71	WSVECS04 Frhs2[32]: 6 0 84.0836 shouldn't be
655.46/657.71	WSVECS04 Frhs2[44]: 6 -81.7665 0 shouldn't be
655.46/657.71	WSVECS04 Frhs2[45]: 6 0 76.7742 shouldn't be
655.46/657.71	WSVECS04 Frhs2[203]: 6 0 79.3269 shouldn't be
655.46/657.71	WSVECS04 Frhs2[234]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[235]: 6 0 8.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[236]: 6 0 8.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[237]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[238]: 6 0 8.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[239]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[241]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[242]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[243]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[244]: 6 0 16.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[245]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[246]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[247]: 6 0 16.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[248]: 6 0 4.00009 shouldn't be
655.46/657.71	WSVECS04 Frhs2[252]: 6 0 20 shouldn't be
655.46/657.71	WSVECS04 Frhs2[253]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[254]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[255]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[256]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[257]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[258]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[259]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[260]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[261]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[263]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[265]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[266]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[267]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[269]: 6 0 4.00009 shouldn't be
655.46/657.71	WSVECS04 Frhs2[270]: 6 0 18.8334 shouldn't be
655.46/657.71	WSVECS04 Frhs2[271]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[274]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[276]: 6 0 19.5 shouldn't be
655.46/657.71	WSVECS04 Frhs2[277]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[279]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[280]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[281]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[282]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[283]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[284]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[285]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[286]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[287]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[288]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[289]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[290]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[291]: 6 0 4.00007 shouldn't be
655.46/657.71	WSVECS04 Frhs2[294]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[295]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[296]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[297]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[298]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[299]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[303]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[305]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[306]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[308]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[309]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[311]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[312]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[315]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[317]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[318]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[319]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[321]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[322]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[323]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[324]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[325]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[326]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[327]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[328]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[329]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[330]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[331]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[332]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[333]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[334]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[335]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[336]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[338]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[340]: 6 0 4.00008 shouldn't be
655.46/657.71	WSVECS04 Frhs2[341]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[342]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[344]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[346]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[348]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[350]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[352]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[355]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[357]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[358]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[359]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[364]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[366]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[367]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[369]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[370]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[372]: 6 0 4.00007 shouldn't be
655.46/657.71	WSVECS04 Frhs2[373]: 6 0 61 shouldn't be
655.46/657.71	WSVECS04 Frhs2[374]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[376]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[377]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[378]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[379]: 6 0 36.3334 shouldn't be
655.46/657.71	WSVECS04 Frhs2[380]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[381]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[382]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[383]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[384]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[385]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[386]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[387]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[388]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[389]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[390]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[391]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[392]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[393]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[396]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[397]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[398]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[399]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[400]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[401]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[402]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[403]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[404]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[405]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[407]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[409]: 6 0 179.745 shouldn't be
655.46/657.71	WSVECS04 Frhs2[410]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[411]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[412]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[413]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[414]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[416]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[418]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[420]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[422]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[423]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[424]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[426]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[427]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[428]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[429]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[430]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[431]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[432]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[433]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[434]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[435]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[436]: 6 0 245.424 shouldn't be
655.46/657.71	WSVECS04 Frhs2[437]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[438]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[441]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[442]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[443]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[445]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[446]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[447]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[450]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[451]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[452]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[453]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[454]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[455]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[456]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[458]: 6 0 4.00009 shouldn't be
655.46/657.71	WSVECS04 Frhs2[459]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[460]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[461]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[468]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[469]: 6 0 99.9213 shouldn't be
655.46/657.71	WSVECS04 Frhs2[470]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[471]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[472]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[473]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[474]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[476]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[479]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[483]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[485]: 6 0 52.7293 shouldn't be
655.46/657.71	WSVECS04 Frhs2[486]: 6 -16.0001 0 shouldn't be
655.46/657.71	WSVECS04 Frhs2[487]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[489]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[495]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[497]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[498]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[499]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[500]: 6 0 75.8712 shouldn't be
655.46/657.71	WSVECS04 Frhs2[501]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[502]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[503]: 6 0 4.00004 shouldn't be
655.46/657.71	WSVECS04 Frhs2[504]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[506]: 6 0 1.33338 shouldn't be
655.46/657.71	WSVECS04 Frhs2[510]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[511]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[515]: 6 0 24.0327 shouldn't be
655.46/657.71	WSVECS04 Frhs2[516]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[517]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[523]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[524]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[525]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[531]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[534]: 6 0 4.00002 shouldn't be
655.46/657.71	WSVECS04 Frhs2[535]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[536]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[540]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[541]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[542]: 6 0 12 shouldn't be
655.46/657.71	WSVECS04 Frhs2[544]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[545]: 6 0 87.7646 shouldn't be
655.46/657.71	WSVECS04 Frhs2[546]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[547]: 6 0 4.00001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[548]: 6 0 4.00003 shouldn't be
655.46/657.71	WSVECS04 Frhs2[550]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[553]: 6 0 20 shouldn't be
655.46/657.71	WSVECS04 Frhs2[556]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[558]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[560]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[562]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[564]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[566]: 6 0 4.00009 shouldn't be
655.46/657.71	WSVECS04 Frhs2[567]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[568]: 6 0 20.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[569]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[570]: 6 0 4.00006 shouldn't be
655.46/657.71	WSVECS04 Frhs2[571]: 6 0 24.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[572]: 6 0 4.00005 shouldn't be
655.46/657.71	WSVECS04 Frhs2[573]: 6 0 12.0001 shouldn't be
655.46/657.71	WSVECS04 Frhs2[574]: 6 0 28.3425 shouldn't be
655.46/657.71	WSVECS04 Frhs2[575]: 6 0 6.72394 shouldn't be
655.46/657.71	WSVECS04 Frhs2[576]: 6 0 24 shouldn't be
655.46/657.71	WSVECS04 Frhs2[578]: 6 0 12.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[580]: 6 0 24.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[582]: 6 0 12.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[585]: 6 0 24 shouldn't be
655.46/657.72	WSVECS04 Frhs2[586]: 6 0 24.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[587]: 6 0 12.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[588]: 6 0 4.00003 shouldn't be
655.46/657.72	WSVECS04 Frhs2[589]: 6 0 24.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[590]: 6 0 4.00007 shouldn't be
655.46/657.72	WSVECS04 Frhs2[591]: 6 0 12 shouldn't be
655.46/657.72	WSVECS04 Frhs2[592]: 6 0 11.478 shouldn't be
655.46/657.72	WSVECS04 Frhs2[594]: 6 0 24.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[596]: 6 0 12 shouldn't be
655.46/657.72	WSVECS04 Frhs2[598]: 6 0 24 shouldn't be
655.46/657.72	WSVECS04 Frhs2[603]: 6 0 24.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[604]: 6 0 52.6243 shouldn't be
655.46/657.72	WSVECS04 Frhs2[606]: 6 0 4.00005 shouldn't be
655.46/657.72	WSVECS04 Frhs2[607]: 6 0 24.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[608]: 6 0 4.00002 shouldn't be
655.46/657.72	WSVECS04 Frhs2[610]: 6 0 4.00006 shouldn't be
655.46/657.72	WSVECS04 Frhs2[614]: 6 0 12.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[615]: 6 0 4.00007 shouldn't be
655.46/657.72	WSVECS04 Frhs2[620]: 6 0 4.00003 shouldn't be
655.46/657.72	WSVECS04 Frhs2[622]: 6 0 55.436 shouldn't be
655.46/657.72	WSVECS04 Frhs2[627]: 6 0 12.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[635]: 6 0 4.00001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[638]: 6 0 35.7208 shouldn't be
655.46/657.72	WSVECS04 Frhs2[644]: 6 0 12 shouldn't be
655.46/657.72	WSVECS04 Frhs2[646]: 6 0 8.00004 shouldn't be
655.46/657.72	WSVECS04 Frhs2[697]: 6 0 16.0001 shouldn't be
655.46/657.72	WSVECS04 Frhs2[704]: 6 -20.0001 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[705]: 6 -17.0001 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[706]: 6 -6.00007 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[713]: 6 -32.0001 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[716]: 6 -10 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[720]: 6 -20.0001 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[724]: 6 -43.8507 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[736]: 6 -60.7457 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[744]: 6 0 42.6564 shouldn't be
655.46/657.72	WSVECS04 Frhs2[768]: 6 0 0.568363 shouldn't be
655.46/657.72	WSVECS04 Frhs2[774]: 6 -24.0001 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[775]: 6 -20 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[783]: 6 -32.0001 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[784]: 6 -2.75692 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[788]: 6 -18.5664 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[791]: 6 -10 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[793]: 6 -18.5664 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[799]: 6 -15.4926 0 shouldn't be
655.46/657.72	WSVECS04 Frhs2[817]: 6 0 4.00005 shouldn't be
655.46/657.72	WSVECS04 Frhs2[842]: 6 0 3.51199 shouldn't be
849.55/852.43	c #Conflicts:     280000 | #Constraints:      21159
849.55/852.43	c #Conflicts:     281000 | #Constraints:      22426
849.55/852.43	c #Conflicts:     282000 | #Constraints:      24059
849.55/852.43	c #Conflicts:     283000 | #Constraints:      25712
849.55/852.43	c #Conflicts:     284000 | #Constraints:      27335
849.55/852.43	c #Conflicts:     285000 | #Constraints:      28749
849.55/852.43	c #Conflicts:     286000 | #Constraints:      30322
849.55/852.43	c #Conflicts:     287000 | #Constraints:      31730
849.55/852.43	c #Conflicts:     288000 | #Constraints:      33370
849.55/852.43	c INPROCESSING
849.55/852.43	c GARBAGE COLLECT
849.55/852.43	c #Conflicts:     289000 | #Constraints:      18835
849.55/852.43	c #Conflicts:     290000 | #Constraints:      19840
849.55/852.43	c #Conflicts:     291000 | #Constraints:      20854
849.55/852.43	c #Conflicts:     292000 | #Constraints:      21858
849.55/852.43	c #Conflicts:     293000 | #Constraints:      22866
849.55/852.43	c #Conflicts:     294000 | #Constraints:      23871
849.55/852.43	c #Conflicts:     295000 | #Constraints:      24878
849.55/852.43	c #Conflicts:     296000 | #Constraints:      25879
849.55/852.43	c #Conflicts:     297000 | #Constraints:      26883
849.55/852.43	c #Conflicts:     298000 | #Constraints:      27891
849.55/852.43	c #Conflicts:     299000 | #Constraints:      28896
849.55/852.43	c INPROCESSING
849.55/852.43	c GARBAGE COLLECT
849.55/852.43	c #Conflicts:     300000 | #Constraints:      16662
849.55/852.43	c #Conflicts:     301000 | #Constraints:      17794
849.55/852.43	c #Conflicts:     302000 | #Constraints:      19218
849.55/852.43	c #Conflicts:     303000 | #Constraints:      20760
849.55/852.43	c #Conflicts:     304000 | #Constraints:      22016
849.55/852.43	c #Conflicts:     305000 | #Constraints:      23059
849.55/852.43	c #Conflicts:     306000 | #Constraints:      24380
849.55/852.43	c #Conflicts:     307000 | #Constraints:      25727
849.55/852.43	c #Conflicts:     308000 | #Constraints:      27012
849.55/852.43	c #Conflicts:     309000 | #Constraints:      28622
849.55/852.43	c #Conflicts:     310000 | #Constraints:      30201
849.55/852.43	c INPROCESSING
849.55/852.43	c GARBAGE COLLECT
849.55/852.43	c #Conflicts:     311000 | #Constraints:      17183
849.55/852.43	c #Conflicts:     312000 | #Constraints:      18196
849.55/852.43	c #Conflicts:     313000 | #Constraints:      19211
849.55/852.43	c #Conflicts:     314000 | #Constraints:      20216
849.55/852.43	c #Conflicts:     315000 | #Constraints:      21221
849.55/852.43	c #Conflicts:     316000 | #Constraints:      22222
849.55/852.43	c #Conflicts:     317000 | #Constraints:      23226
849.55/852.43	c #Conflicts:     318000 | #Constraints:      24233
849.55/852.43	c #Conflicts:     319000 | #Constraints:      25237
849.55/852.43	c #Conflicts:     320000 | #Constraints:      26237
849.55/852.43	c #Conflicts:     321000 | #Constraints:      27250
849.55/852.43	c INPROCESSING
849.55/852.43	c GARBAGE COLLECT
849.55/852.43	c #Conflicts:     322000 | #Constraints:      15495
849.55/852.43	c #Conflicts:     323000 | #Constraints:      16600
849.55/852.43	c #Conflicts:     324000 | #Constraints:      18059
849.55/852.43	c #Conflicts:     325000 | #Constraints:      19602
849.55/852.43	c #Conflicts:     326000 | #Constraints:      21234
849.55/852.43	c #Conflicts:     327000 | #Constraints:      22779
849.55/852.43	c #Conflicts:     328000 | #Constraints:      24337
849.55/852.43	c #Conflicts:     329000 | #Constraints:      25906
849.55/852.43	c #Conflicts:     330000 | #Constraints:      27473
849.55/852.43	c #Conflicts:     331000 | #Constraints:      29107
849.55/852.43	c #Conflicts:     332000 | #Constraints:      30748
849.55/852.43	c #Conflicts:     333000 | #Constraints:      32351
849.55/852.43	c INPROCESSING
849.55/852.43	c GARBAGE COLLECT
849.55/852.43	c #Conflicts:     334000 | #Constraints:      18765
849.55/852.43	c #Conflicts:     335000 | #Constraints:      20378
849.55/852.43	c #Conflicts:     336000 | #Constraints:      22052
849.55/852.43	c #Conflicts:     337000 | #Constraints:      23689
849.55/852.43	c #Conflicts:     338000 | #Constraints:      25311
849.55/852.43	c #Conflicts:     339000 | #Constraints:      26961
849.55/852.43	c #Conflicts:     340000 | #Constraints:      28578
849.55/852.43	c #Conflicts:     341000 | #Constraints:      30156
849.55/852.43	WSVECS04 Frhs2[11]: 6 0 13 shouldn't be
849.55/852.43	WSVECS04 Frhs2[13]: 6 -23 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[14]: 6 -54.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[15]: 6 -19 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[17]: 6 0 4.66676 shouldn't be
849.55/852.43	WSVECS04 Frhs2[26]: 6 -58.6667 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[31]: 6 -12.2223 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[38]: 6 -22.901 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[44]: 6 -62.0427 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[99]: 6 -24.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[102]: 6 -8.00006 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[154]: 6 -8.00005 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[159]: 6 -24 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[316]: 6 0 36 shouldn't be
849.55/852.43	WSVECS04 Frhs2[328]: 6 0 6.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[332]: 6 0 4.00007 shouldn't be
849.55/852.43	WSVECS04 Frhs2[334]: 6 0 24 shouldn't be
849.55/852.43	WSVECS04 Frhs2[340]: 6 0 4.00003 shouldn't be
849.55/852.43	WSVECS04 Frhs2[355]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[364]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[366]: 6 0 12.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[369]: 6 0 24 shouldn't be
849.55/852.43	WSVECS04 Frhs2[379]: 6 0 20.3334 shouldn't be
849.55/852.43	WSVECS04 Frhs2[381]: 6 0 4.00006 shouldn't be
849.55/852.43	WSVECS04 Frhs2[389]: 6 0 12.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[394]: 6 0 4.00009 shouldn't be
849.55/852.43	WSVECS04 Frhs2[395]: 6 0 4.00005 shouldn't be
849.55/852.43	WSVECS04 Frhs2[398]: 6 0 12 shouldn't be
849.55/852.43	WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[409]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[486]: 6 -227.333 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[487]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[492]: 6 0 12 shouldn't be
849.55/852.43	WSVECS04 Frhs2[506]: 6 0 12.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[514]: 6 0 24.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[559]: 6 0 24 shouldn't be
849.55/852.43	WSVECS04 Frhs2[604]: 6 0 24 shouldn't be
849.55/852.43	WSVECS04 Frhs2[612]: 6 0 24 shouldn't be
849.55/852.43	WSVECS04 Frhs2[613]: 6 0 1.11113 shouldn't be
849.55/852.43	WSVECS04 Frhs2[616]: 6 0 80.4465 shouldn't be
849.55/852.43	WSVECS04 Frhs2[625]: 6 0 7.93751 shouldn't be
849.55/852.43	WSVECS04 Frhs2[631]: 6 0 91.0834 shouldn't be
849.55/852.43	WSVECS04 Frhs2[633]: 6 0 4.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[644]: 6 0 12.0001 shouldn't be
849.55/852.43	WSVECS04 Frhs2[659]: 6 -27 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[661]: 6 -10.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[663]: 6 -22 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[665]: 6 -16 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[669]: 6 -16 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[709]: 6 -24 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[710]: 6 -12 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[715]: 6 0 4.00009 shouldn't be
849.55/852.43	WSVECS04 Frhs2[716]: 6 -10 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[718]: 6 -8.00007 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[720]: 6 -20.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[724]: 6 -24 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[726]: 6 -10.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[727]: 6 -4.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[734]: 6 -24.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[743]: 6 -32 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[744]: 6 -24.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[748]: 6 -30.6667 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[774]: 6 -24 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[775]: 6 -20 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[777]: 6 -72.6667 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[783]: 6 -32.0001 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[784]: 6 -24 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[785]: 6 -10 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[803]: 6 0 29.7793 shouldn't be
849.55/852.43	WSVECS04 Frhs2[805]: 6 0 31.3356 shouldn't be
849.55/852.43	WSVECS04 Frhs2[812]: 6 -4.00008 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[819]: 6 0 25.9341 shouldn't be
849.55/852.43	WSVECS04 Frhs2[821]: 6 0 54.0435 shouldn't be
849.55/852.43	WSVECS04 Frhs2[828]: 6 0 13.7325 shouldn't be
849.55/852.43	WSVECS04 Frhs2[831]: 6 0 31.5209 shouldn't be
849.55/852.43	WSVECS04 Frhs2[836]: 6 -1.85418 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[840]: 6 0 23.2083 shouldn't be
849.55/852.43	WSVECS04 Frhs2[841]: 6 0 34.2952 shouldn't be
849.55/852.43	WSVECS04 Frhs2[844]: 6 -0.604265 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[846]: 6 -48.4688 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[848]: 6 -7.55388 0 shouldn't be
849.55/852.43	WSVECS04 Frhs2[871]: 6 0 26.5626 shouldn't be
849.55/852.43	WSVECS04 Frhs2[876]: 6 0 5.70836 shouldn't be
849.55/852.43	WSVECS04 Frhs2[879]: 6 0 4.33339 shouldn't be
1058.99/1062.58	c #Conflicts:     342000 | #Constraints:      31781
1058.99/1062.58	c #Conflicts:     343000 | #Constraints:      33400
1058.99/1062.58	c #Conflicts:     344000 | #Constraints:      35020
1058.99/1062.58	c #Conflicts:     345000 | #Constraints:      36662
1058.99/1062.58	c INPROCESSING
1058.99/1062.58	c GARBAGE COLLECT
1058.99/1062.58	c #Conflicts:     346000 | #Constraints:      20489
1058.99/1062.58	c #Conflicts:     347000 | #Constraints:      21489
1058.99/1062.58	c #Conflicts:     348000 | #Constraints:      22490
1058.99/1062.58	c #Conflicts:     349000 | #Constraints:      23491
1058.99/1062.58	c #Conflicts:     350000 | #Constraints:      24495
1058.99/1062.58	c #Conflicts:     351000 | #Constraints:      25496
1058.99/1062.58	c #Conflicts:     352000 | #Constraints:      26496
1058.99/1062.58	c #Conflicts:     353000 | #Constraints:      27496
1058.99/1062.58	c #Conflicts:     354000 | #Constraints:      28496
1058.99/1062.58	c #Conflicts:     355000 | #Constraints:      29503
1058.99/1062.58	c #Conflicts:     356000 | #Constraints:      30509
1058.99/1062.58	c #Conflicts:     357000 | #Constraints:      31509
1058.99/1062.58	c INPROCESSING
1058.99/1062.58	c GARBAGE COLLECT
1058.99/1062.58	c #Conflicts:     358000 | #Constraints:      17949
1058.99/1062.58	c #Conflicts:     359000 | #Constraints:      19004
1058.99/1062.58	c #Conflicts:     360000 | #Constraints:      20089
1058.99/1062.58	c #Conflicts:     361000 | #Constraints:      21165
1058.99/1062.58	c #Conflicts:     362000 | #Constraints:      22333
1058.99/1062.58	c #Conflicts:     363000 | #Constraints:      23407
1058.99/1062.58	c #Conflicts:     364000 | #Constraints:      24609
1058.99/1062.58	c #Conflicts:     365000 | #Constraints:      25884
1058.99/1062.58	c #Conflicts:     366000 | #Constraints:      27066
1058.99/1062.58	c #Conflicts:     367000 | #Constraints:      28443
1058.99/1062.58	c #Conflicts:     368000 | #Constraints:      30006
1058.99/1062.58	c #Conflicts:     369000 | #Constraints:      31331
1058.99/1062.58	c INPROCESSING
1058.99/1062.58	c GARBAGE COLLECT
1058.99/1062.58	c #Conflicts:     370000 | #Constraints:      17759
1058.99/1062.58	c #Conflicts:     371000 | #Constraints:      18769
1058.99/1062.58	c #Conflicts:     372000 | #Constraints:      19784
1058.99/1062.58	c #Conflicts:     373000 | #Constraints:      20790
1058.99/1062.58	c #Conflicts:     374000 | #Constraints:      21790
1058.99/1062.58	c #Conflicts:     375000 | #Constraints:      22793
1058.99/1062.58	c #Conflicts:     376000 | #Constraints:      23802
1058.99/1062.58	c #Conflicts:     377000 | #Constraints:      24803
1058.99/1062.58	c #Conflicts:     378000 | #Constraints:      25803
1058.99/1062.58	c #Conflicts:     379000 | #Constraints:      26807
1058.99/1062.58	c #Conflicts:     380000 | #Constraints:      27811
1058.99/1062.58	c #Conflicts:     381000 | #Constraints:      28811
1058.99/1062.58	c INPROCESSING
1058.99/1062.58	c GARBAGE COLLECT
1058.99/1062.58	c #Conflicts:     382000 | #Constraints:      16293
1058.99/1062.58	c #Conflicts:     383000 | #Constraints:      17313
1058.99/1062.58	c #Conflicts:     384000 | #Constraints:      18483
1058.99/1062.58	c #Conflicts:     385000 | #Constraints:      20097
1058.99/1062.58	c #Conflicts:     386000 | #Constraints:      21267
1058.99/1062.58	c #Conflicts:     387000 | #Constraints:      22385
1058.99/1062.58	c #Conflicts:     388000 | #Constraints:      23803
1058.99/1062.58	c #Conflicts:     389000 | #Constraints:      25389
1058.99/1062.58	c #Conflicts:     390000 | #Constraints:      26979
1058.99/1062.58	c #Conflicts:     391000 | #Constraints:      28406
1058.99/1062.58	WSVECS04 Frhs2[5]: 6 -9.93942 0 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[9]: 6 0 39.2197 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[13]: 6 0 6.14404 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[17]: 6 0 33.099 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[21]: 6 0 11.6808 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[24]: 6 0 0.899565 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[26]: 6 -14.9093 0 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[27]: 6 0 47.1767 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[33]: 6 -48.6112 0 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[34]: 6 0 54.3678 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[35]: 6 0 248.096 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[42]: 6 -11.5777 0 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[43]: 6 0 71.6667 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[46]: 6 0 91.2662 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[131]: 6 0 26.4206 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[234]: 6 0 4.00008 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[235]: 6 0 8.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[236]: 6 0 8.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[237]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[238]: 6 0 8.00009 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[239]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[241]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[242]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[245]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[254]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[256]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[258]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[261]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[264]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[265]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[266]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[273]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[275]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[278]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[280]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[281]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[282]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[286]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[287]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[292]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[294]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[295]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[306]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[308]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[312]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[313]: 6 0 4.00008 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[314]: 6 0 4.00001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[315]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[316]: 6 0 16.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[317]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[319]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[320]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[321]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[324]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[325]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[326]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[327]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[329]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[330]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[331]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[332]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[333]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[334]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[335]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[336]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[340]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[342]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[344]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[345]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[346]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[348]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[350]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[352]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[355]: 6 0 40.358 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[357]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[358]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[360]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[363]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[364]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[369]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[370]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[371]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[372]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[374]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[377]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[378]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[379]: 6 0 18.6467 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[380]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[381]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[382]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[384]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[385]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[386]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[387]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[388]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[389]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[390]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[391]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[393]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[394]: 6 0 1.1414 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[395]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[396]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[397]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[398]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[399]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[400]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[401]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[402]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[403]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[404]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[405]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[406]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[407]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[408]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[410]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[411]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[412]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[414]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[416]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[418]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[419]: 6 0 4.00003 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[420]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[421]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[422]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[423]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[424]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[425]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[426]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[427]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[429]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[431]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[432]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[433]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[434]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[435]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[436]: 6 0 13.132 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[437]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[438]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[439]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[440]: 6 0 4.00001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[441]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[442]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[443]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[444]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[445]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[446]: 6 0 4.00002 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[447]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[448]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[449]: 6 0 4.00008 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[450]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[451]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[452]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[453]: 6 0 4.00006 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[454]: 6 0 24.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[455]: 6 0 4.00007 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[456]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[458]: 6 0 53.1319 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[461]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[462]: 6 0 4.00004 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[468]: 6 0 24 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[470]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[471]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[472]: 6 0 13.7143 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[473]: 6 0 4.00005 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[474]: 6 0 12.0001 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[479]: 6 0 12 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[490]: 6 0 151.318 shouldn't be
1058.99/1062.58	WSVECS04 Frhs2[493]: 6 0 4.00002 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[495]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[498]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[499]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[501]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[502]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[503]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[504]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[505]: 6 0 70.7283 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[506]: 6 0 5.52036 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[507]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[508]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[509]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[510]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[513]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[514]: 6 0 155.586 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[517]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[519]: 6 0 93.7239 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[520]: 6 0 4.00004 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[521]: 6 0 4.00005 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[522]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[523]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[524]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[526]: 6 0 648.655 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[527]: 6 0 4.00004 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[528]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[530]: 6 0 31.3832 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[531]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[532]: 6 0 440.437 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[533]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[534]: 6 0 4.00003 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[535]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[536]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[537]: 6 0 160.035 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[538]: 6 0 4.00005 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[539]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[540]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[541]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[542]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[543]: 6 0 4.00003 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[544]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[545]: 6 0 4.00008 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[546]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[547]: 6 0 4.00003 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[548]: 6 0 4.00008 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[549]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[550]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[551]: 6 0 25.0256 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[556]: 6 0 4.00005 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[557]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[558]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[559]: 6 0 18.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[561]: 6 0 4.00007 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[562]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[563]: 6 0 4.00004 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[566]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[567]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[569]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[570]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[572]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[576]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[577]: 6 0 7.29359 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[578]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[579]: 6 0 4.00007 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[580]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[581]: 6 0 4.00002 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[582]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[584]: 6 0 4.00002 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[586]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[589]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[590]: 6 0 4.00003 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[593]: 6 0 4.00007 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[594]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[596]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[597]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[598]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[599]: 6 0 4.00001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[602]: 6 0 4.00007 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[603]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[605]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[606]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[607]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[609]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[614]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[615]: 6 0 4.00002 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[618]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[620]: 6 0 4.00007 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[621]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[623]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[625]: 6 0 1.2539 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[626]: 6 0 4.00008 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[627]: 6 0 12.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[628]: 6 0 4.00004 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[629]: 6 0 4.00005 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[630]: 6 0 24 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[631]: 6 0 21.6694 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[632]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[633]: 6 0 4.00002 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[634]: 6 0 24.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[635]: 6 0 4.00008 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[636]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[640]: 6 0 16.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[641]: 6 0 4.00006 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[642]: 6 0 16.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[643]: 6 0 8.00005 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[644]: 6 0 12 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[645]: 6 0 62.2188 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[646]: 6 0 8.0001 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[647]: 6 0 4.00008 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[653]: 6 -1.83339 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[655]: 6 -7.20461 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[658]: 6 -20 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[663]: 6 -10.144 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[664]: 6 0 0.931891 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[665]: 6 0 0.348521 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[671]: 6 0 2.85994 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[672]: 6 0 8.93187 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[680]: 6 0 11.1983 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[691]: 6 0 0.666745 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[695]: 6 0 21.6991 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[704]: 6 -20.0001 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[705]: 6 -19.1509 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[706]: 6 -25.9072 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[713]: 6 -32 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[714]: 6 -7.47107 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[718]: 6 -32.0001 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[721]: 6 -10 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[759]: 6 0 10.2791 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[769]: 6 0 71.7985 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[772]: 6 0 27.9557 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[783]: 6 -29.7144 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[788]: 6 -75.862 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[789]: 6 -53.1953 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[793]: 6 -75.8619 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[799]: 6 -77.1333 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[811]: 6 0 16.1609 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[826]: 6 0 12.2555 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[831]: 6 0 71.3689 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[832]: 6 0 20 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[840]: 6 0 12.3604 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[848]: 6 -27.2599 0 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[865]: 6 0 7.90121 shouldn't be
1058.99/1062.59	WSVECS04 Frhs2[873]: 6 0 23.619 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[44]: 6 -46.3491 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[55]: 6 -16.0001 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[105]: 6 -8.00005 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[108]: 6 -16.0001 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[154]: 6 -8.0001 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[159]: 6 -20.5715 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[162]: 6 -8.00004 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[251]: 6 0 4.00004 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[293]: 6 0 4.00005 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[309]: 6 0 4.00006 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[311]: 6 0 4.00003 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[322]: 6 0 4.00004 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[323]: 6 0 4.00003 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[341]: 6 0 4.00006 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[367]: 6 0 4.00003 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[588]: 6 0 4.00004 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[604]: 6 0 18.2626 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[612]: 6 0 37.2189 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[624]: 6 0 4.00005 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[637]: 6 0 4.00004 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[659]: 6 -4.09853 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[676]: 6 0 2.93185 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[699]: 6 0 7.15091 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[720]: 6 -20 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[725]: 6 -12 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[733]: 6 -32.0001 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[785]: 6 -18.4445 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[791]: 6 -10.0001 0 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[853]: 6 0 1.86553 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[863]: 6 0 2.58417 shouldn't be
1059.09/1062.65	WSVECS04 Frhs2[867]: 6 -4.00003 0 shouldn't be
1932.80/1939.11	c #Conflicts:     392000 | #Constraints:      29661
1932.80/1939.11	c #Conflicts:     393000 | #Constraints:      30661
1932.80/1939.11	c #Conflicts:     394000 | #Constraints:      31669
1932.80/1939.11	c #Conflicts:     395000 | #Constraints:      32739
1932.80/1939.11	c #Conflicts:     396000 | #Constraints:      33994
1932.80/1939.11	c #Conflicts:     397000 | #Constraints:      35509
1932.80/1939.11	c #Conflicts:     398000 | #Constraints:      37026
1932.80/1939.11	c #Conflicts:     399000 | #Constraints:      38254
1932.80/1939.11	c #Conflicts:     400000 | #Constraints:      39815
1932.80/1939.11	c #Conflicts:     401000 | #Constraints:      41204
1932.80/1939.11	c #Conflicts:     402000 | #Constraints:      42668
1932.80/1939.11	c #Conflicts:     403000 | #Constraints:      43767
1932.80/1939.11	c #Conflicts:     404000 | #Constraints:      45257
1932.80/1939.11	c #Conflicts:     405000 | #Constraints:      46664
1932.80/1939.11	c #Conflicts:     406000 | #Constraints:      48330
1932.80/1939.11	c #Conflicts:     407000 | #Constraints:      49870
1932.80/1939.11	c #Conflicts:     408000 | #Constraints:      50973
1932.80/1939.11	c #Conflicts:     409000 | #Constraints:      52646
1932.80/1939.11	c #Conflicts:     410000 | #Constraints:      54274
1932.80/1939.11	c #Conflicts:     411000 | #Constraints:      55694
1932.80/1939.11	c #Conflicts:     412000 | #Constraints:      56703
1932.80/1939.11	c #Conflicts:     413000 | #Constraints:      57746
1932.80/1939.11	c #Conflicts:     414000 | #Constraints:      58818
1932.80/1939.11	c #Conflicts:     415000 | #Constraints:      59996
1932.80/1939.11	c #Conflicts:     416000 | #Constraints:      61516
1932.80/1939.11	c #Conflicts:     417000 | #Constraints:      63205
1932.80/1939.11	c #Conflicts:     418000 | #Constraints:      64901
1932.80/1939.11	c #Conflicts:     419000 | #Constraints:      66590
1932.80/1939.11	c #Conflicts:     420000 | #Constraints:      68308
1932.80/1939.11	c #Conflicts:     421000 | #Constraints:      69970
1932.80/1939.11	c #Conflicts:     422000 | #Constraints:      71641
1932.80/1939.11	c #Conflicts:     423000 | #Constraints:      73277
1932.80/1939.11	c #Conflicts:     424000 | #Constraints:      74892
1932.80/1939.11	c #Conflicts:     425000 | #Constraints:      76492
1932.80/1939.11	c #Conflicts:     426000 | #Constraints:      78104
1932.80/1939.11	c #Conflicts:     427000 | #Constraints:      79670
1932.80/1939.11	c #Conflicts:     428000 | #Constraints:      81255
1932.80/1939.11	c #Conflicts:     429000 | #Constraints:      82837
1932.80/1939.11	c #Conflicts:     430000 | #Constraints:      84512
1932.80/1939.11	c #Conflicts:     431000 | #Constraints:      86182
1932.80/1939.11	c #Conflicts:     432000 | #Constraints:      87810
1932.80/1939.11	c #Conflicts:     433000 | #Constraints:      89517
1932.80/1939.11	c #Conflicts:     434000 | #Constraints:      91146
1932.80/1939.11	c #Conflicts:     435000 | #Constraints:      92780
1932.80/1939.11	c #Conflicts:     436000 | #Constraints:      94415
1932.80/1939.11	c #Conflicts:     437000 | #Constraints:      96057
1932.80/1939.11	c #Conflicts:     438000 | #Constraints:      97720
1932.80/1939.11	c #Conflicts:     439000 | #Constraints:      99391
1932.80/1939.11	c #Conflicts:     440000 | #Constraints:     101022
1932.80/1939.11	c #Conflicts:     441000 | #Constraints:     102722
1932.80/1939.11	c #Conflicts:     442000 | #Constraints:     104424
1932.80/1939.11	c INPROCESSING
1932.80/1939.11	c GARBAGE COLLECT
1932.80/1939.11	c #Conflicts:     443000 | #Constraints:      54297
1932.80/1939.11	c #Conflicts:     444000 | #Constraints:      55373
1932.80/1939.11	c #Conflicts:     445000 | #Constraints:      56373
1932.80/1939.11	c #Conflicts:     446000 | #Constraints:      57383
1932.80/1939.11	c #Conflicts:     447000 | #Constraints:      58388
1932.80/1939.11	c #Conflicts:     448000 | #Constraints:      59397
1932.80/1939.11	c #Conflicts:     449000 | #Constraints:      60404
1932.80/1939.11	c #Conflicts:     450000 | #Constraints:      61431
1932.80/1939.11	c #Conflicts:     451000 | #Constraints:      62439
1932.80/1939.11	c #Conflicts:     452000 | #Constraints:      63444
1932.80/1939.11	c #Conflicts:     453000 | #Constraints:      64444
1932.80/1939.11	c #Conflicts:     454000 | #Constraints:      65444
1932.80/1939.11	c #Conflicts:     455000 | #Constraints:      66444
1932.80/1939.11	c #Conflicts:     456000 | #Constraints:      67445
1932.80/1939.11	c INPROCESSING
1932.80/1939.11	c GARBAGE COLLECT
1932.80/1939.11	c #Conflicts:     457000 | #Constraints:      35648
1932.80/1939.11	c #Conflicts:     458000 | #Constraints:      36648
1932.80/1939.11	c #Conflicts:     459000 | #Constraints:      37656
1932.80/1939.11	c #Conflicts:     460000 | #Constraints:      38658
1932.80/1939.11	c #Conflicts:     461000 | #Constraints:      39658
1932.80/1939.11	c #Conflicts:     462000 | #Constraints:      40659
1932.80/1939.11	c #Conflicts:     463000 | #Constraints:      41663
1932.80/1939.11	c #Conflicts:     464000 | #Constraints:      42667
1932.80/1939.11	c #Conflicts:     465000 | #Constraints:      43669
1932.80/1939.11	c #Conflicts:     466000 | #Constraints:      44674
1932.80/1939.11	c #Conflicts:     467000 | #Constraints:      45675
1932.80/1939.11	c #Conflicts:     468000 | #Constraints:      46682
1932.80/1939.11	c #Conflicts:     469000 | #Constraints:      47684
2539.66/2547.90	c #Conflicts:     470000 | #Constraints:      48687
2539.66/2547.90	c INPROCESSING
2539.66/2547.90	c GARBAGE COLLECT
2539.66/2547.90	c #Conflicts:     471000 | #Constraints:      26335
2539.66/2547.90	c #Conflicts:     472000 | #Constraints:      27345
2539.66/2547.90	c #Conflicts:     473000 | #Constraints:      28362
2539.66/2547.90	c #Conflicts:     474000 | #Constraints:      29366
2539.66/2547.90	c #Conflicts:     475000 | #Constraints:      30372
2539.66/2547.90	c #Conflicts:     476000 | #Constraints:      31377
2539.66/2547.90	c #Conflicts:     477000 | #Constraints:      32384
2539.66/2547.90	c #Conflicts:     478000 | #Constraints:      33390
2539.66/2547.90	c #Conflicts:     479000 | #Constraints:      34393
2539.66/2547.90	c #Conflicts:     480000 | #Constraints:      35398
2539.66/2547.90	c #Conflicts:     481000 | #Constraints:      36405
2539.66/2547.90	c #Conflicts:     482000 | #Constraints:      37420
2539.66/2547.90	c #Conflicts:     483000 | #Constraints:      38422
2539.66/2547.90	c #Conflicts:     484000 | #Constraints:      39431
2539.66/2547.90	c INPROCESSING
2539.66/2547.90	c GARBAGE COLLECT
2539.66/2547.90	c #Conflicts:     485000 | #Constraints:      21672
2539.66/2547.90	c #Conflicts:     486000 | #Constraints:      22678
2539.66/2547.90	c #Conflicts:     487000 | #Constraints:      23678
2539.66/2547.90	c #Conflicts:     488000 | #Constraints:      24678
2539.66/2547.90	c #Conflicts:     489000 | #Constraints:      25678
2539.66/2547.90	c #Conflicts:     490000 | #Constraints:      26680
2539.66/2547.90	c #Conflicts:     491000 | #Constraints:      27686
2539.66/2547.90	c #Conflicts:     492000 | #Constraints:      28690
2539.66/2547.90	c #Conflicts:     493000 | #Constraints:      29695
2539.66/2547.90	c #Conflicts:     494000 | #Constraints:      30708
2539.66/2547.90	c #Conflicts:     495000 | #Constraints:      31731
2539.66/2547.90	c #Conflicts:     496000 | #Constraints:      32749
2539.66/2547.90	c #Conflicts:     497000 | #Constraints:      33752
2539.66/2547.90	c #Conflicts:     498000 | #Constraints:      34752
2539.66/2547.90	c INPROCESSING
2539.66/2547.90	c GARBAGE COLLECT
2539.66/2547.90	c #Conflicts:     499000 | #Constraints:      19167
2539.66/2547.90	c #Conflicts:     500000 | #Constraints:      20170
2539.66/2547.90	c #Conflicts:     501000 | #Constraints:      21175
2539.66/2547.90	c #Conflicts:     502000 | #Constraints:      22193
2539.66/2547.90	c #Conflicts:     503000 | #Constraints:      23203
2539.66/2547.90	c #Conflicts:     504000 | #Constraints:      24217
2539.66/2547.90	c #Conflicts:     505000 | #Constraints:      25222
2539.66/2547.90	c #Conflicts:     506000 | #Constraints:      26283
2539.66/2547.90	c #Conflicts:     507000 | #Constraints:      27289
2539.66/2547.90	c #Conflicts:     508000 | #Constraints:      28304
2539.66/2547.90	c #Conflicts:     509000 | #Constraints:      29312
2539.66/2547.90	c #Conflicts:     510000 | #Constraints:      30331
2539.66/2547.90	c #Conflicts:     511000 | #Constraints:      31338
2539.66/2547.90	c #Conflicts:     512000 | #Constraints:      32355
2539.66/2547.90	c #Conflicts:     513000 | #Constraints:      33359
2539.66/2547.90	c INPROCESSING
2539.66/2547.90	c GARBAGE COLLECT
2539.66/2547.90	c #Conflicts:     514000 | #Constraints:      18867
2539.66/2547.90	c #Conflicts:     515000 | #Constraints:      20290
2539.66/2547.90	c #Conflicts:     516000 | #Constraints:      21376
2539.66/2547.90	c #Conflicts:     517000 | #Constraints:      22502
2539.66/2547.90	c #Conflicts:     518000 | #Constraints:      23819
2539.66/2547.90	c #Conflicts:     519000 | #Constraints:      25146
2539.66/2547.90	c #Conflicts:     520000 | #Constraints:      26775
2539.66/2547.90	c #Conflicts:     521000 | #Constraints:      28334
2539.66/2547.90	c #Conflicts:     522000 | #Constraints:      29844
2539.66/2547.90	c #Conflicts:     523000 | #Constraints:      31010
2539.66/2547.90	c #Conflicts:     524000 | #Constraints:      32100
2539.66/2547.90	c #Conflicts:     525000 | #Constraints:      33308
2539.66/2547.90	c #Conflicts:     526000 | #Constraints:      34642
2539.66/2547.90	c #Conflicts:     527000 | #Constraints:      35939
2539.66/2547.90	c #Conflicts:     528000 | #Constraints:      37641
2539.66/2547.90	c #Conflicts:     529000 | #Constraints:      39331
2539.66/2547.90	c #Conflicts:     530000 | #Constraints:      41026
2539.66/2547.90	c #Conflicts:     531000 | #Constraints:      42690
2539.66/2547.90	c #Conflicts:     532000 | #Constraints:      44270
2539.66/2547.90	c #Conflicts:     533000 | #Constraints:      45473
2539.66/2547.90	c #Conflicts:     534000 | #Constraints:      46599
2539.66/2547.90	c #Conflicts:     535000 | #Constraints:      47683
2539.66/2547.90	c #Conflicts:     536000 | #Constraints:      49071
2539.66/2547.90	c #Conflicts:     537000 | #Constraints:      50752
2539.66/2547.90	c #Conflicts:     538000 | #Constraints:      52438
2539.66/2547.90	c #Conflicts:     539000 | #Constraints:      53891
2539.66/2547.90	c #Conflicts:     540000 | #Constraints:      54963
2539.66/2547.90	c #Conflicts:     541000 | #Constraints:      56095
2539.66/2547.90	c #Conflicts:     542000 | #Constraints:      57348
2539.66/2547.90	c #Conflicts:     543000 | #Constraints:      58617
2539.66/2547.90	c #Conflicts:     544000 | #Constraints:      59798
2539.66/2547.90	c #Conflicts:     545000 | #Constraintc
3600.06/3611.80	s SATISFIABLE
3600.06/3611.80	v x1 ~x2 x3 x4 x5 ~x6 x7 ~x8 ~x9 ~x10 ~x11 x12 ~x13 x14 x15 x16 ~x17 x18 ~x19 ~x20 ~x21 x22 ~x23 ~x24 ~x25 x26 ~x27 x28 x29 x30 x31 ~x32 x33 ~x34 ~x35 ~x36 ~x37 x38 ~x39 x40 x41 x42 ~x43 x44 ~x45 ~x46 ~x47 ~x48 x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 ~x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 x154 ~x155 ~x156 ~x157 ~x158 x159 ~x160 ~x161 x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 ~x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 x238 ~x239 x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 x252 ~x253 x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 ~x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 ~x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 x337 ~x338 x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 x351 ~x352 x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 ~x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 ~x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 x463 x464 x465 x466 x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 x477 x478 ~x479 x480 x481 x482 ~x483 x484 ~x485 x486 ~x487 x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 ~x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 x571 ~x572 x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 x585 ~x586 x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 ~x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 x649 x650 x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 x658 x659 ~x660 x661 ~x662 x663 ~x664 x665 ~x666 ~x667 ~x668 x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 ~x700 ~x701 ~x702 ~x703 x704 x705 x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 x713 x714 ~x715 x716 ~x717 x718 ~x719 x720 ~x721 ~x722 ~x723 x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 ~x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 x774 x775 x776 x777 ~x778 ~x779 ~x780 ~x781 ~x782 x783 x784 x785 ~x786 x787 x788 x789 ~x790 x791 ~x792 x793 ~x794 x795 ~x796 ~x797 ~x798 x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 x834 x835 x836 ~x837 ~x838 ~x839 ~x840 ~x841 ~x842 x843 x844 ~x845 x846 ~x847 x848 ~x849 x850 ~x851 ~x852 ~x853 x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 x867 ~x868 ~x869 ~x870 ~x871 ~x872 ~x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882
3600.06/3611.80	s:      60948
3600.06/3611.80	c #Conflicts:     546000 | #Constraints:      62319
3600.06/3611.80	c #Conflicts:     547000 | #Constraints:      63572
3600.06/3611.80	c #Conflicts:     548000 | #Constraints:      65118
3600.06/3611.80	c #Conflicts:     549000 | #Constraints:      66779
3600.06/3611.80	c #Conflicts:     550000 | #Constraints:      68642
3600.06/3611.80	c #Conflicts:     551000 | #Constraints:      70458
3600.06/3611.80	c #Conflicts:     552000 | #Constraints:      72160
3600.06/3611.80	c #Conflicts:     553000 | #Constraints:      73838
3600.06/3611.80	c #Conflicts:     554000 | #Constraints:      75541
3600.06/3611.80	c #Conflicts:     555000 | #Constraints:      77268
3600.06/3611.80	c #Conflicts:     556000 | #Constraints:      78831
3600.06/3611.80	c #Conflicts:     557000 | #Constraints:      80179
3600.06/3611.80	c #Conflicts:     558000 | #Constraints:      81290
3600.06/3611.80	c #Conflicts:     559000 | #Constraints:      82864
3600.06/3611.80	c #Conflicts:     560000 | #Constraints:      84026
3600.06/3611.80	c #Conflicts:     561000 | #Constraints:      85222
3600.06/3611.80	c #Conflicts:     562000 | #Constraints:      86270
3600.06/3611.80	c #Conflicts:     563000 | #Constraints:      87376
3600.06/3611.80	c #Conflicts:     564000 | #Constraints:      89057
3600.06/3611.80	c #Conflicts:     565000 | #Constraints:      90265
3600.06/3611.80	c #Conflicts:     566000 | #Constraints:      91358
3600.06/3611.80	c #Conflicts:     567000 | #Constraints:      92511
3600.06/3611.80	c #Conflicts:     568000 | #Constraints:      93573
3600.06/3611.80	c #Conflicts:     569000 | #Constraints:      94733
3600.06/3611.80	c #Conflicts:     570000 | #Constraints:      95815
3600.06/3611.80	c #Conflicts:     571000 | #Constraints:      97180
3600.06/3611.80	c #Conflicts:     572000 | #Constraints:      98542
3600.06/3611.80	c #Conflicts:     573000 | #Constraints:      99649
3600.06/3611.80	c #Conflicts:     574000 | #Constraints:     100752
3600.06/3611.80	c #Conflicts:     575000 | #Constraints:     102475
3600.06/3611.80	c #Conflicts:     576000 | #Constraints:     104317
3600.06/3611.80	c #Conflicts:     577000 | #Constraints:     106108
3600.06/3611.80	c #Conflicts:     578000 | #Constraints:     107272
3600.06/3611.80	c #Conflicts:     579000 | #Constraints:     108600
3600.06/3611.80	c #Conflicts:     580000 | #Constraints:     109671
3600.06/3611.80	c #Conflicts:     581000 | #Constraints:     110848
3600.06/3611.80	c #Conflicts:     582000 | #Constraints:     112101
3600.06/3611.80	c INPROCESSING
3600.06/3611.80	c GARBAGE COLLECT
3600.06/3611.80	c #Conflicts:     583000 | #Constraints:      58208
3600.06/3611.80	c #Conflicts:     584000 | #Constraints:      59212
3600.06/3611.80	c #Conflicts:     585000 | #Constraints:      60214
3600.06/3611.80	c #Conflicts:     586000 | #Constraints:      61221
3600.06/3611.80	c #Conflicts:     587000 | #Constraints:      62224
3600.06/3611.80	c #Conflicts:     588000 | #Constraints:      63224
3600.06/3611.80	c #Conflicts:     589000 | #Constraints:      64227
3600.06/3611.80	c #Conflicts:     590000 | #Constraints:      65233
3600.06/3611.80	c #Conflicts:     591000 | #Constraints:      66250
3600.06/3611.80	c #Conflicts:     592000 | #Constraints:      67250
3600.06/3611.80	c #Conflicts:     593000 | #Constraints:      68253
3600.06/3611.80	c #Conflicts:     594000 | #Constraints:      69262
3600.06/3611.80	c #Conflicts:     595000 | #Constraints:      70264
3600.06/3611.80	c #Conflicts:     596000 | #Constraints:      71277
3600.06/3611.80	c #Conflicts:     597000 | #Constraints:      72282
3600.06/3611.80	c INPROCESSING
3600.06/3611.80	c GARBAGE COLLECT
3600.06/3611.80	c #Conflicts:     598000 | #Constraints:      37942
3600.06/3611.80	c #Conflicts:     599000 | #Constraints:      38943
3600.06/3611.80	c #Conflicts:     600000 | #Constraints:      39952
3600.06/3611.80	c #Conflicts:     601000 | #Constraints:      40957

Verifier Data 

OK	-270

Watcher Data 

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: 63968 MiB (47999 MiB free)
  memory of node 1: 64473 MiB (56940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429700-1721052400/watcher-4429700-1721052400 -o /tmp/evaluation-result-4429700-1721052400/solver-4429700-1721052400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721048404-802538 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429700-1721052400.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=804863, runsolver pid=804860

[startup+0.100917 s]*
/proc/loadavg: 4.15 4.16 4.11 5/255 804864
/proc/meminfo: memFree=107453524/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=39852 memory=11276 CPUtime=0.09 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 1178 0 0 0 9 0 0 0 20 0 1 0 157406723 40808448 2819 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 9963 2819 1881 922 0 1915 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39852 KiB
Current children cumulated memory: 11276 KiB

[startup+0.205757 s]*
/proc/loadavg: 4.15 4.16 4.11 5/255 804864
/proc/meminfo: memFree=107449180/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=40016 memory=12068 CPUtime=0.2 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 1381 0 0 0 19 1 0 0 20 0 1 0 157406723 40976384 3017 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 10004 3017 1881 922 0 1956 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40016 KiB
Current children cumulated memory: 12068 KiB

[startup+0.305615 s]*
/proc/loadavg: 4.15 4.16 4.11 5/255 804864
/proc/meminfo: memFree=107445564/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=40152 memory=14380 CPUtime=0.29 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 1483 0 0 0 28 1 0 0 20 0 1 0 157406723 41115648 3595 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 10038 3595 1881 922 0 1990 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40152 KiB
Current children cumulated memory: 14380 KiB

[startup+0.70025 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 804864
/proc/meminfo: memFree=107437716/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=44428 memory=16680 CPUtime=0.69 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 2062 0 0 0 66 3 0 0 20 0 1 0 157406723 45494272 4170 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 11107 4170 1881 922 0 3059 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44428 KiB
Current children cumulated memory: 16680 KiB

[startup+1.50022 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 804864
/proc/meminfo: memFree=107421672/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=45544 memory=20040 CPUtime=1.48 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 2375 0 0 0 143 5 0 0 20 0 1 0 157406723 46637056 5010 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 11386 5010 1881 922 0 3338 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45544 KiB
Current children cumulated memory: 20040 KiB

[startup+3.10564 s]
/proc/loadavg: 4.13 4.16 4.11 5/255 804866
/proc/meminfo: memFree=107198020/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=50928 memory=21504 CPUtime=3.09 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 2749 0 0 0 300 9 0 0 20 0 1 0 157406723 52150272 5376 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 12732 5376 1881 922 0 4684 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50928 KiB
Current children cumulated memory: 21504 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 804867
/proc/meminfo: memFree=107063796/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=52596 memory=23608 CPUtime=6.26 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 3223 0 0 0 613 13 0 0 20 0 1 0 157406723 53858304 5902 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 13149 5902 1958 922 0 5101 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 52596 KiB
Current children cumulated memory: 23608 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 804868
/proc/meminfo: memFree=106868848/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=53548 memory=27236 CPUtime=12.65 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 3624 0 0 0 1241 24 0 0 20 0 1 0 157406723 54833152 6809 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 13387 6809 1958 922 0 5339 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53548 KiB
Current children cumulated memory: 27236 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.11 5/256 804870
/proc/meminfo: memFree=106552344/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=64856 memory=35508 CPUtime=25.41 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 5148 0 0 0 2498 43 0 0 20 0 1 0 157406723 66412544 8877 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 16214 8877 2006 922 0 8166 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64856 KiB
Current children cumulated memory: 35508 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 4.14 4.10 5/255 804874
/proc/meminfo: memFree=106177096/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=67396 memory=42048 CPUtime=50.92 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 5870 0 0 0 5024 68 0 0 20 0 1 0 157406723 69013504 10512 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 16849 10512 2006 922 0 8801 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 67396 KiB
Current children cumulated memory: 42048 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/255 804884
/proc/meminfo: memFree=105671896/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=82280 memory=48928 CPUtime=101.94 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 7821 0 0 0 10080 114 0 0 20 0 1 0 157406723 84254720 12232 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 20570 12232 2006 922 0 12522 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 82280 KiB
Current children cumulated memory: 48928 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 804894
/proc/meminfo: memFree=104628588/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=89836 memory=62096 CPUtime=161.74 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 10043 0 0 0 16017 157 0 0 20 0 1 0 157406723 91992064 15524 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 22459 15524 2006 922 0 14411 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 89836 KiB
Current children cumulated memory: 62096 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 804908
/proc/meminfo: memFree=103442540/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=95736 memory=70148 CPUtime=221.54 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 12101 0 0 0 21962 192 0 0 20 0 1 0 157406723 98033664 17537 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 23934 17537 2006 922 0 15886 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 95736 KiB
Current children cumulated memory: 70148 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/257 804919
/proc/meminfo: memFree=102243820/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=96336 memory=70828 CPUtime=281.33 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 12533 0 0 0 27910 223 0 0 20 0 1 0 157406723 98648064 17707 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 24084 17707 2006 922 0 16036 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 96336 KiB
Current children cumulated memory: 70828 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 804929
/proc/meminfo: memFree=101029164/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=116308 memory=75932 CPUtime=341.12 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 13398 0 0 0 33859 253 0 0 20 0 1 0 157406723 119099392 18983 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 29077 18983 2006 922 0 21029 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 116308 KiB
Current children cumulated memory: 75932 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/256 804940
/proc/meminfo: memFree=95382092/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=117056 memory=76828 CPUtime=400.91 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 13723 0 0 0 39810 281 0 0 20 0 1 0 157406723 119865344 19207 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 29264 19207 2006 922 0 21216 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 117056 KiB
Current children cumulated memory: 76828 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/256 804951
/proc/meminfo: memFree=93999604/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=117672 memory=77348 CPUtime=460.71 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 13881 0 0 0 45760 311 0 0 20 0 1 0 157406723 120496128 19337 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 29418 19337 2006 922 0 21370 0

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

Current children cumulated memory: 359388 KiB

[startup+2862.3 s]
/proc/loadavg: 3.07 3.11 3.20 4/249 806028
/proc/meminfo: memFree=118966684/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=535496 memory=366336 CPUtime=2853.03 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 44128 0 0 0 284472 831 0 0 20 0 1 0 157406723 548347904 91584 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 133874 91584 2006 922 0 125826 0
Current children cumulated CPU time: 2853.03 s
Current children cumulated vsize: 535496 KiB
Current children cumulated memory: 366336 KiB

[startup+2922.3 s]
/proc/loadavg: 3.08 3.10 3.19 4/248 806421
/proc/meminfo: memFree=118936104/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=542196 memory=387064 CPUtime=2912.84 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 45731 0 0 0 290446 838 0 0 20 0 1 0 157406723 555208704 96766 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 135549 96766 2006 922 0 127501 0
Current children cumulated CPU time: 2912.84 s
Current children cumulated vsize: 542196 KiB
Current children cumulated memory: 387064 KiB

[startup+2982.3 s]
/proc/loadavg: 3.07 3.10 3.18 4/248 806431
/proc/meminfo: memFree=118920852/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=546812 memory=403608 CPUtime=2972.63 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 46843 0 0 0 296418 845 0 0 20 0 1 0 157406723 559935488 100902 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 136703 100902 2006 922 0 128655 0
Current children cumulated CPU time: 2972.63 s
Current children cumulated vsize: 546812 KiB
Current children cumulated memory: 403608 KiB

[startup+3042.3 s]
/proc/loadavg: 3.12 3.11 3.18 4/248 806443
/proc/meminfo: memFree=118910260/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=548760 memory=413400 CPUtime=3032.43 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 47316 0 0 0 302394 849 0 0 20 0 1 0 157406723 561930240 103350 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 137190 103350 2006 922 0 129142 0
Current children cumulated CPU time: 3032.43 s
Current children cumulated vsize: 548760 KiB
Current children cumulated memory: 413400 KiB

[startup+3102.3 s]
/proc/loadavg: 3.08 3.10 3.17 4/252 806627
/proc/meminfo: memFree=118839612/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=564564 memory=436308 CPUtime=3092.23 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 50544 0 0 0 308366 857 0 0 20 0 1 0 157406723 578113536 109077 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 141141 109077 2006 922 0 133093 0
Current children cumulated CPU time: 3092.23 s
Current children cumulated vsize: 564564 KiB
Current children cumulated memory: 436308 KiB

[startup+3162.3 s]
/proc/loadavg: 3.14 3.11 3.17 4/252 806637
/proc/meminfo: memFree=118820952/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=571716 memory=455180 CPUtime=3152.04 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 52295 0 0 0 314339 865 0 0 20 0 1 0 157406723 585437184 113795 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 142929 113795 2006 922 0 134881 0
Current children cumulated CPU time: 3152.04 s
Current children cumulated vsize: 571716 KiB
Current children cumulated memory: 455180 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.10 3.17 3/244 806696
/proc/meminfo: memFree=129070768/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=458992 CPUtime=3211.83 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53051 0 0 0 320313 870 0 0 20 0 1 0 157406723 587177984 114748 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 114748 2006 922 0 135306 0
Current children cumulated CPU time: 3211.83 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 458992 KiB

[startup+3282.3 s]
/proc/loadavg: 1.85 2.75 3.04 2/240 806735
/proc/meminfo: memFree=129202216/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=459720 CPUtime=3271.61 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53121 0 0 0 326286 875 0 0 20 0 1 0 157406723 587177984 114930 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 114930 2006 922 0 135306 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 459720 KiB

[startup+3342.3 s]
/proc/loadavg: 1.37 2.44 2.91 2/240 806746
/proc/meminfo: memFree=129177776/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=483436 CPUtime=3331.4 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53236 0 0 0 332261 879 0 0 20 0 1 0 157406723 587177984 120859 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 120859 2006 922 0 135306 0
Current children cumulated CPU time: 3331.4 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 483436 KiB

[startup+3402.3 s]
/proc/loadavg: 1.18 2.19 2.80 2/238 806757
/proc/meminfo: memFree=129177328/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=483436 CPUtime=3391.17 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53407 0 0 0 338234 883 0 0 20 0 1 0 157406723 587177984 120859 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 120859 2006 922 0 135306 0
Current children cumulated CPU time: 3391.17 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 483436 KiB

[startup+3462.3 s]
/proc/loadavg: 1.18 2.00 2.69 2/236 806769
/proc/meminfo: memFree=129177880/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=483436 CPUtime=3450.99 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53450 0 0 0 344213 886 0 0 20 0 1 0 157406723 587177984 120859 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 120859 2006 922 0 135306 0
Current children cumulated CPU time: 3450.99 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 483436 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.82 2.58 2/236 806779
/proc/meminfo: memFree=129177640/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=483436 CPUtime=3510.82 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53626 0 0 0 350191 891 0 0 20 0 1 0 157406723 587177984 120859 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 120859 2006 922 0 135306 0
Current children cumulated CPU time: 3510.82 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 483436 KiB

[startup+3582.3 s]
/proc/loadavg: 1.06 1.68 2.49 2/233 806789
/proc/meminfo: memFree=129177532/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=483436 CPUtime=3570.65 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53755 0 0 0 356169 896 0 0 20 0 1 0 157406723 587177984 120859 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 120859 2006 922 0 135306 0
Current children cumulated CPU time: 3570.65 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 483436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 1.09 1.63 2.44 2/234 806794
/proc/meminfo: memFree=129177328/131524600 swapFree=131071996/131071996
[pid=804863] ppid=804860 vsize=573416 memory=483436 CPUtime=3600.06 cores=0,2
/proc/804863/stat : 804863 (roundingsat) R 804860 804863 802527 0 -1 4194304 53755 0 0 0 359108 898 0 0 20 0 1 0 157406723 587177984 120859 134679101440 4194304 7968869 140729014426896 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 8652288 8659944 31432704 140729014432702 140729014432866 140729014432866 140729014439881 0
/proc/804863/statm: 143354 120859 2006 922 0 135306 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 573416 KiB
Current children cumulated memory: 483436 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.8 s]
# the end of solver process 804863 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3591.09 s, system=8.98927 s

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

Child status: 1

Real time (s): 3611.8
CPU time (s): 3600.08
CPU user time (s): 3591.09
CPU system time (s): 8.98927
CPU usage (%): 99.6754
Max. virtual memory (cumulated for all children) (KiB): 574400
Max. memory (cumulated for all children) (KiB): 483436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.09
system time used= 8.98927
maximum resident set size= 483436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 25354


# summary of solver processes directly reported to runsolver:
#   pid: 804863
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.09
#   total CPU system time (s): 8.98927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68757 second user time and 16.8661 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-15 16:06:53
IDJOB=4429700
IDBENCH=158491
IDSOLVER=3051
FILE ID=nodeC027/4429700-1721052400
RUNJOBID= nodeC027-1721048404-802538
SLURM_JOB_ID= 7505462
Free space on /tmp= 889656 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429700-1721052400/watcher-4429700-1721052400 -o /tmp/evaluation-result-4429700-1721052400/solver-4429700-1721052400 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721048404-802538 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429700-1721052400.opb

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

MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=968696586

nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3655.558
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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		: 3684.441
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
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		: 3641.411
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.399
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
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		: 3669.270
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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		: 3684.549
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
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		: 3616.667
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.36
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.391
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107458252 kB
MemAvailable:   108009416 kB
Buffers:          360908 kB
Cached:          1030428 kB
SwapCached:            0 kB
Active:           987096 kB
Inactive:       22456256 kB
Active(anon):       1552 kB
Inactive(anon): 22088200 kB
Active(file):     985544 kB
Inactive(file):   368056 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5220 kB
Writeback:             4 kB
AnonPages:      22048128 kB
Mapped:           112696 kB
Shmem:             37720 kB
KReclaimable:      74776 kB
Slab:             176816 kB
SReclaimable:      74776 kB
SUnreclaim:       102040 kB
KernelStack:        4128 kB
PageTables:        52480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   25498464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6279168 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:    13215744 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC027 at 2024-07-15 17:07:05