Trace number 4521266

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+pbsuma-opt 63f22adOPT-600 1469.65 1473.85

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
MD5SUM68c73bc206439bbe0d5a467b2a25edac
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-600
Best CPU time to get the best result obtained on this benchmark87.3964
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1225
Total number of constraints78400
Number of constraints which are clauses78400
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4521266-1751571912.opb'
0.08/0.13	c 	read 2.48MB  (113.80ms)
0.08/0.13	c	 [cnf: #variables 1225 #clauses 78401 #duplicates 0 #arr 236200]
0.08/0.13	c 
0.08/0.13	c make graph and approximate orbits
0.08/0.17	c	 [group: #orbits ~= 4] (42.96ms)
0.08/0.17	c 
0.08/0.17	c detect special group actions
0.08/0.17	c 	probe for Johnson action (limit=64)
0.19/0.24	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.19/0.26	c 	probe for row symmetry (limit=64, splits=16.78M)
0.19/0.28	c 	 (107.56ms)
0.19/0.28	c 
0.19/0.28	c detect symmetries on remainder
0.19/0.28	c 	[graph: #vertices 83301 #edges 479750]
0.19/0.28	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.98/1.06	c 	 [group: #symmetries 7.55*10^34 #generators 10] (778.43ms)
0.98/1.06	c 
0.98/1.06	c optimize generators (opt_passes=64, conjugate_limit=256)
0.98/1.06	c 	opt it=15, l=312, m=119, opt=20, avg=1199, b=192, gens=10
0.98/1.07	c 	opt it=31, l=584, m=209, opt=27, avg=1167, b=192, gens=10
0.98/1.07	c 	ran it=0, +gens=10 
1.07/1.14	c 	con best_support=192, best_gens=1, +gens=255
1.07/1.14	c 	(78.18ms)
1.07/1.14	c 
1.07/1.14	c finalize break order and special generators
1.07/1.14	c 
1.07/1.14	c add generic predicates (break_depth=20)
1.07/1.14	c 	added predicates for 275 generators (3.53ms)
1.07/1.14	c 
1.07/1.14	c generation finished
1.07/1.14	c 	[sbp: #constraints 15950 #add_vars 5225]
1.07/1.14	c 
1.07/1.14	c write result to 'HOME/instance-4521266-1751571912.opb.pre'
1.07/1.15	c 	wrote 3.10MB (10.52ms)
1.07/1.15	c ------------------------------------------------------------------
1.07/1.15	c                 778.43ms 68.50% detect_generic
1.07/1.15	c                 113.79ms 10.01% parse
1.07/1.15	c                 107.56ms  9.47% detect_special
1.07/1.15	c                  78.18ms  6.88% optimize_gens
1.07/1.15	c                  42.96ms  3.78% approx_orbits
1.07/1.15	c                  10.52ms  0.93% output
1.07/1.15	c                   3.53ms  0.31% break_generic
1.07/1.15	c                   0.89ms  0.08% other
1.07/1.15	c                   0.53ms  0.05% finalize_order
1.07/1.15	c         ───────────────────────────────────────────────
1.07/1.15	c                1136.41ms   100% total
1.07/1.15	c ------------------------------------------------------------------
1.07/1.18	c RoundingSat 2
1.07/1.18	c branch pb25
1.07/1.18	c commit 63f22ad
1.13/1.69	c #variables 6450 #constraints 94350
1.13/1.69	c objective is ce32 
1.13/1.69	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.13/1.69	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.13/1.69	c bounds - >= -1000 @ 0.378701
4.93/5.04	c bounds 0 >= -1000 @ 3.65167
9.79/9.91	c bounds 0 >= -999 @ 8.48227
19.05/19.29	c bounds 0 >= -998 @ 17.7909
36.18/36.41	c rational objective -666.667
36.79/37.08	c bounds 0 >= -997 @ 35.4469
36.79/37.08	c bounds 0 >= -996 @ 35.4471
36.79/37.08	c bounds 0 >= -995 @ 35.4472
36.79/37.08	c bounds 0 >= -994 @ 35.4474
36.79/37.08	c bounds 0 >= -993 @ 35.4475
36.79/37.08	c bounds 0 >= -992 @ 35.4477
36.79/37.08	c bounds 0 >= -991 @ 35.4478
36.79/37.08	c bounds 0 >= -990 @ 35.448
36.79/37.08	c bounds 0 >= -989 @ 35.4481
36.79/37.08	c bounds 0 >= -988 @ 35.4482
36.79/37.08	c bounds 0 >= -987 @ 35.4485
36.79/37.08	c bounds 0 >= -986 @ 35.4486
36.79/37.08	c bounds 0 >= -985 @ 35.4488
36.79/37.08	c bounds 0 >= -984 @ 35.4489
36.79/37.08	c bounds 0 >= -983 @ 35.449
36.79/37.08	c bounds 0 >= -982 @ 35.4492
36.79/37.08	c bounds 0 >= -981 @ 35.4493
36.79/37.08	c bounds 0 >= -980 @ 35.4495
36.79/37.08	c bounds 0 >= -979 @ 35.4497
36.79/37.08	c bounds 0 >= -978 @ 35.4498
36.79/37.08	c bounds 0 >= -977 @ 35.45
36.79/37.08	c bounds 0 >= -976 @ 35.4502
36.79/37.08	c bounds 0 >= -975 @ 35.4504
36.79/37.08	c bounds 0 >= -974 @ 35.4505
36.79/37.08	c bounds 0 >= -973 @ 35.4507
36.79/37.08	c bounds 0 >= -972 @ 35.4508
36.79/37.08	c bounds 0 >= -971 @ 35.451
36.79/37.08	c bounds 0 >= -970 @ 35.4512
36.79/37.08	c bounds 0 >= -969 @ 35.4514
36.79/37.08	c bounds 0 >= -968 @ 35.4515
36.79/37.08	c bounds 0 >= -967 @ 35.4517
36.79/37.08	c bounds 0 >= -966 @ 35.4518
36.79/37.08	c bounds 0 >= -965 @ 35.4521
36.79/37.08	c bounds 0 >= -964 @ 35.4523
36.79/37.08	c bounds 0 >= -963 @ 35.4524
36.79/37.08	c bounds 0 >= -962 @ 35.4525
36.79/37.08	c bounds 0 >= -961 @ 35.4527
36.79/37.08	c bounds 0 >= -960 @ 35.4529
36.79/37.09	c bounds 0 >= -959 @ 35.453
36.79/37.09	c bounds 0 >= -958 @ 35.4532
36.79/37.09	c bounds 0 >= -957 @ 35.4533
36.79/37.09	c bounds 0 >= -956 @ 35.4534
36.79/37.09	c bounds 0 >= -955 @ 35.4535
36.79/37.09	c bounds 0 >= -954 @ 35.4537
36.79/37.09	c bounds 0 >= -953 @ 35.4538
36.79/37.09	c bounds 0 >= -952 @ 35.454
36.79/37.09	c bounds 0 >= -951 @ 35.4541
36.79/37.09	c bounds 0 >= -950 @ 35.4541
36.79/37.09	c bounds 0 >= -949 @ 35.4541
36.79/37.09	c bounds 0 >= -948 @ 35.4541
36.79/37.09	c bounds 0 >= -947 @ 35.4541
36.79/37.09	c bounds 0 >= -946 @ 35.4541
36.79/37.09	c bounds 0 >= -945 @ 35.4541
36.79/37.09	c bounds 0 >= -944 @ 35.4541
36.79/37.09	c bounds 0 >= -943 @ 35.4542
36.79/37.09	c bounds 0 >= -942 @ 35.4544
36.79/37.09	c bounds 0 >= -941 @ 35.4545
36.79/37.09	c bounds 0 >= -940 @ 35.4547
36.79/37.09	c bounds 0 >= -939 @ 35.4548
36.79/37.09	c bounds 0 >= -938 @ 35.4549
36.79/37.09	c bounds 0 >= -937 @ 35.4551
36.79/37.09	c bounds 0 >= -936 @ 35.4552
36.79/37.09	c bounds 0 >= -935 @ 35.4554
36.79/37.09	c bounds 0 >= -934 @ 35.4555
36.79/37.09	c bounds 0 >= -933 @ 35.4556
36.79/37.09	c bounds 0 >= -932 @ 35.4558
36.79/37.09	c bounds 0 >= -931 @ 35.4559
36.79/37.09	c bounds 0 >= -930 @ 35.4561
36.79/37.09	c bounds 0 >= -929 @ 35.4563
36.79/37.09	c bounds 0 >= -928 @ 35.4565
36.79/37.09	c bounds 0 >= -927 @ 35.4566
36.79/37.09	c bounds 0 >= -926 @ 35.4568
36.79/37.09	c bounds 0 >= -925 @ 35.457
36.79/37.09	c bounds 0 >= -924 @ 35.4571
36.79/37.09	c bounds 0 >= -923 @ 35.4573
36.79/37.09	c bounds 0 >= -922 @ 35.4574
36.79/37.09	c bounds 0 >= -921 @ 35.4575
36.79/37.09	c bounds 0 >= -920 @ 35.4577
36.79/37.09	c bounds 0 >= -919 @ 35.4578
36.79/37.09	c bounds 0 >= -918 @ 35.458
36.79/37.09	c bounds 0 >= -917 @ 35.4581
36.79/37.09	c bounds 0 >= -916 @ 35.4584
36.79/37.09	c bounds 0 >= -915 @ 35.4587
36.79/37.09	c bounds 0 >= -914 @ 35.4589
36.79/37.09	c bounds 0 >= -913 @ 35.459
36.79/37.09	c bounds 0 >= -912 @ 35.4591
36.79/37.09	c bounds 0 >= -911 @ 35.4593
36.79/37.09	c bounds 0 >= -910 @ 35.4594
36.79/37.09	c bounds 0 >= -909 @ 35.4595
36.79/37.09	c bounds 0 >= -908 @ 35.4597
36.79/37.09	c bounds 0 >= -907 @ 35.4598
36.79/37.09	c bounds 0 >= -906 @ 35.46
36.79/37.09	c bounds 0 >= -905 @ 35.4601
36.79/37.09	c bounds 0 >= -904 @ 35.4603
36.79/37.09	c bounds 0 >= -903 @ 35.4604
36.79/37.09	c bounds 0 >= -902 @ 35.4606
36.79/37.09	c bounds 0 >= -901 @ 35.4607
36.79/37.09	c bounds 0 >= -900 @ 35.4609
36.79/37.09	c bounds 0 >= -899 @ 35.461
36.79/37.09	c bounds 0 >= -898 @ 35.4612
36.79/37.09	c bounds 0 >= -897 @ 35.4613
36.79/37.09	c bounds 0 >= -896 @ 35.4614
36.79/37.09	c bounds 0 >= -895 @ 35.4616
36.79/37.09	c bounds 0 >= -894 @ 35.4617
36.79/37.09	c bounds 0 >= -893 @ 35.4618
36.79/37.10	c bounds 0 >= -892 @ 35.462
36.79/37.10	c bounds 0 >= -891 @ 35.462
36.79/37.10	c bounds 0 >= -890 @ 35.462
36.79/37.10	c bounds 0 >= -889 @ 35.462
36.79/37.10	c bounds 0 >= -888 @ 35.462
36.79/37.10	c bounds 0 >= -887 @ 35.462
36.79/37.10	c bounds 0 >= -886 @ 35.462
36.79/37.10	c bounds 0 >= -885 @ 35.462
36.79/37.10	c bounds 0 >= -884 @ 35.4621
36.79/37.10	c bounds 0 >= -883 @ 35.4623
36.79/37.10	c bounds 0 >= -882 @ 35.4624
36.79/37.10	c bounds 0 >= -881 @ 35.4625
36.79/37.10	c bounds 0 >= -880 @ 35.4627
36.79/37.10	c bounds 0 >= -879 @ 35.4628
36.79/37.10	c bounds 0 >= -878 @ 35.463
36.79/37.10	c bounds 0 >= -877 @ 35.4631
36.79/37.10	c bounds 0 >= -876 @ 35.4633
36.79/37.10	c bounds 0 >= -875 @ 35.4634
36.79/37.10	c bounds 0 >= -874 @ 35.4635
36.79/37.10	c bounds 0 >= -873 @ 35.4637
36.79/37.10	c bounds 0 >= -872 @ 35.4638
36.79/37.10	c bounds 0 >= -871 @ 35.464
36.79/37.10	c bounds 0 >= -870 @ 35.4641
36.79/37.10	c bounds 0 >= -869 @ 35.4644
36.79/37.10	c bounds 0 >= -868 @ 35.4645
36.79/37.10	c bounds 0 >= -867 @ 35.4646
36.79/37.10	c bounds 0 >= -866 @ 35.4648
36.79/37.10	c bounds 0 >= -865 @ 35.4649
36.79/37.10	c bounds 0 >= -864 @ 35.465
36.79/37.10	c bounds 0 >= -863 @ 35.4652
36.79/37.10	c bounds 0 >= -862 @ 35.4653
36.79/37.10	c bounds 0 >= -861 @ 35.4654
36.79/37.10	c bounds 0 >= -860 @ 35.4656
36.79/37.10	c bounds 0 >= -859 @ 35.4657
36.79/37.10	c bounds 0 >= -858 @ 35.4658
36.79/37.10	c bounds 0 >= -857 @ 35.4662
36.79/37.10	c bounds 0 >= -856 @ 35.4663
36.79/37.10	c bounds 0 >= -855 @ 35.4665
36.79/37.10	c bounds 0 >= -854 @ 35.4666
36.79/37.10	c bounds 0 >= -853 @ 35.4667
36.79/37.10	c bounds 0 >= -852 @ 35.4669
36.79/37.10	c bounds 0 >= -851 @ 35.467
36.79/37.10	c bounds 0 >= -850 @ 35.4672
36.79/37.10	c bounds 0 >= -849 @ 35.4673
36.79/37.10	c bounds 0 >= -848 @ 35.4675
36.79/37.10	c bounds 0 >= -847 @ 35.4676
36.79/37.10	c bounds 0 >= -846 @ 35.4678
36.79/37.10	c bounds 0 >= -845 @ 35.4679
36.79/37.10	c bounds 0 >= -844 @ 35.468
36.79/37.10	c bounds 0 >= -843 @ 35.468
36.79/37.10	c bounds 0 >= -842 @ 35.468
36.79/37.10	c bounds 0 >= -841 @ 35.468
36.79/37.10	c bounds 0 >= -840 @ 35.468
36.79/37.10	c bounds 0 >= -839 @ 35.4682
36.79/37.10	c bounds 0 >= -838 @ 35.4684
36.79/37.10	c bounds 0 >= -837 @ 35.4685
36.79/37.10	c bounds 0 >= -836 @ 35.4686
36.79/37.10	c bounds 0 >= -835 @ 35.4688
36.79/37.10	c bounds 0 >= -834 @ 35.4689
36.79/37.10	c bounds 0 >= -833 @ 35.469
36.79/37.10	c bounds 0 >= -832 @ 35.4692
36.79/37.10	c bounds 0 >= -831 @ 35.4693
36.79/37.11	c bounds 0 >= -830 @ 35.47
36.79/37.11	c bounds 0 >= -829 @ 35.4702
36.79/37.11	c bounds 0 >= -828 @ 35.4704
36.79/37.11	c bounds 0 >= -827 @ 35.4705
36.79/37.11	c bounds 0 >= -826 @ 35.4707
36.79/37.11	c bounds 0 >= -825 @ 35.4708
36.79/37.11	c bounds 0 >= -824 @ 35.4709
36.79/37.11	c bounds 0 >= -823 @ 35.4712
36.79/37.11	c bounds 0 >= -822 @ 35.4714
36.79/37.11	c bounds 0 >= -821 @ 35.4715
36.79/37.11	c bounds 0 >= -820 @ 35.4716
36.79/37.11	c bounds 0 >= -819 @ 35.4718
36.79/37.11	c bounds 0 >= -818 @ 35.4719
36.79/37.11	c bounds 0 >= -817 @ 35.4721
36.79/37.11	c bounds 0 >= -816 @ 35.4722
36.79/37.11	c bounds 0 >= -815 @ 35.4723
36.79/37.11	c bounds 0 >= -814 @ 35.4725
36.79/37.11	c bounds 0 >= -813 @ 35.4727
36.79/37.11	c bounds 0 >= -812 @ 35.4729
36.79/37.11	c bounds 0 >= -811 @ 35.473
36.79/37.11	c bounds 0 >= -810 @ 35.4731
36.79/37.11	c bounds 0 >= -809 @ 35.4733
36.79/37.11	c bounds 0 >= -808 @ 35.4734
36.79/37.11	c bounds 0 >= -807 @ 35.4735
36.79/37.11	c bounds 0 >= -806 @ 35.4737
36.79/37.11	c bounds 0 >= -805 @ 35.4739
36.90/37.11	c bounds 0 >= -804 @ 35.474
36.90/37.11	c bounds 0 >= -803 @ 35.4741
36.90/37.11	c bounds 0 >= -802 @ 35.4748
36.90/37.12	c bounds -600 >= -802 @ 35.4863
36.90/37.12	c bounds -600 >= -801 @ 35.4865
36.90/37.12	c bounds -600 >= -800 @ 35.4866
36.90/37.13	c bounds -600 >= -799 @ 35.4868
36.90/37.13	c bounds -600 >= -798 @ 35.487
36.90/37.13	c bounds -600 >= -797 @ 35.4871
36.90/37.13	c bounds -600 >= -796 @ 35.4873
36.90/37.13	c bounds -600 >= -795 @ 35.4874
36.90/37.13	c bounds -600 >= -794 @ 35.4875
36.90/37.13	c bounds -600 >= -793 @ 35.4877
36.90/37.13	c bounds -600 >= -792 @ 35.488
36.90/37.13	c bounds -600 >= -791 @ 35.4881
36.90/37.13	c bounds -600 >= -790 @ 35.4883
36.90/37.13	c bounds -600 >= -789 @ 35.4884
36.90/37.13	c bounds -600 >= -788 @ 35.4886
36.90/37.13	c bounds -600 >= -787 @ 35.4887
36.90/37.13	c bounds -600 >= -786 @ 35.4889
36.90/37.13	c bounds -600 >= -785 @ 35.4889
36.90/37.13	c bounds -600 >= -784 @ 35.4893
36.90/37.13	c bounds -600 >= -783 @ 35.4895
36.90/37.13	c bounds -600 >= -782 @ 35.4896
36.90/37.13	c bounds -600 >= -781 @ 35.4898
36.90/37.13	c bounds -600 >= -780 @ 35.4901
36.90/37.13	c bounds -600 >= -779 @ 35.4907
36.90/37.13	c bounds -600 >= -778 @ 35.4908
36.90/37.13	c bounds -600 >= -777 @ 35.491
36.90/37.13	c bounds -600 >= -776 @ 35.4917
36.90/37.13	c bounds -600 >= -775 @ 35.4918
36.90/37.13	c bounds -600 >= -774 @ 35.492
36.90/37.13	c bounds -600 >= -773 @ 35.4921
36.90/37.13	c bounds -600 >= -772 @ 35.4923
36.90/37.13	c bounds -600 >= -771 @ 35.4924
36.90/37.13	c bounds -600 >= -770 @ 35.4925
36.90/37.13	c bounds -600 >= -769 @ 35.4927
36.90/37.13	c bounds -600 >= -768 @ 35.493
39.17/39.44	c #Conflicts:       1000 | #Constraints:      96068
39.17/39.44	c #Conflicts:       2000 | #Constraints:      97068
39.17/39.44	c INPROCESSING
39.17/39.44	c GARBAGE COLLECT
39.17/39.44	c bounds -600 >= -767 @ 37.7839
39.17/39.44	c bounds -600 >= -766 @ 37.784
39.17/39.45	c bounds -600 >= -765 @ 37.7842
39.17/39.45	c bounds -600 >= -764 @ 37.7843
39.17/39.45	c bounds -600 >= -763 @ 37.7845
39.17/39.45	c bounds -600 >= -762 @ 37.7847
39.17/39.45	c bounds -600 >= -761 @ 37.7849
39.17/39.45	c bounds -600 >= -760 @ 37.7853
39.17/39.45	c bounds -600 >= -759 @ 37.7855
39.17/39.45	c bounds -600 >= -758 @ 37.7859
39.17/39.45	c bounds -600 >= -757 @ 37.786
39.17/39.45	c bounds -600 >= -756 @ 37.7862
39.17/39.45	c bounds -600 >= -755 @ 37.7863
39.17/39.45	c bounds -600 >= -754 @ 37.7864
39.17/39.45	c bounds -600 >= -753 @ 37.7866
39.17/39.45	c bounds -600 >= -752 @ 37.7867
39.17/39.45	c bounds -600 >= -751 @ 37.7868
39.17/39.45	c bounds -600 >= -750 @ 37.787
39.17/39.45	c bounds -600 >= -749 @ 37.7871
39.17/39.45	c bounds -600 >= -748 @ 37.7873
39.17/39.45	c bounds -600 >= -747 @ 37.7876
39.17/39.45	c bounds -600 >= -746 @ 37.7877
39.17/39.45	c bounds -600 >= -745 @ 37.7879
39.17/39.45	c bounds -600 >= -744 @ 37.7881
39.17/39.45	c bounds -600 >= -743 @ 37.7882
39.17/39.45	c bounds -600 >= -742 @ 37.7884
39.17/39.45	c bounds -600 >= -741 @ 37.7908
39.17/39.45	c bounds -600 >= -740 @ 37.7909
39.17/39.45	c bounds -600 >= -739 @ 37.791
39.17/39.45	c bounds -600 >= -738 @ 37.7919
39.17/39.45	c bounds -600 >= -737 @ 37.7921
39.17/39.45	c bounds -600 >= -736 @ 37.7923
39.17/39.45	c bounds -600 >= -735 @ 37.7924
39.17/39.45	c bounds -600 >= -734 @ 37.7925
39.17/39.45	c bounds -600 >= -733 @ 37.7927
39.17/39.45	c bounds -600 >= -732 @ 37.7928
39.17/39.45	c bounds -600 >= -731 @ 37.793
39.17/39.45	c bounds -600 >= -730 @ 37.7932
39.17/39.45	c bounds -600 >= -729 @ 37.7935
39.17/39.45	c bounds -600 >= -728 @ 37.7936
39.17/39.45	c bounds -600 >= -727 @ 37.7937
39.17/39.45	c bounds -600 >= -726 @ 37.7938
39.17/39.46	c bounds -600 >= -725 @ 37.7941
39.17/39.46	c bounds -600 >= -724 @ 37.7943
39.17/39.46	c bounds -600 >= -723 @ 37.7945
39.17/39.46	c bounds -600 >= -722 @ 37.7946
39.17/39.46	c bounds -600 >= -721 @ 37.7948
39.17/39.46	c bounds -600 >= -720 @ 37.795
39.17/39.46	c bounds -600 >= -719 @ 37.7951
39.17/39.46	c bounds -600 >= -718 @ 37.7952
39.17/39.46	c bounds -600 >= -717 @ 37.7952
39.17/39.46	c bounds -600 >= -716 @ 37.7952
39.17/39.46	c bounds -600 >= -715 @ 37.7952
39.17/39.46	c bounds -600 >= -714 @ 37.7952
39.17/39.46	c bounds -600 >= -713 @ 37.7953
39.17/39.46	c bounds -600 >= -712 @ 37.7954
39.17/39.46	c bounds -600 >= -711 @ 37.7959
39.17/39.46	c bounds -600 >= -710 @ 37.7961
39.17/39.46	c bounds -600 >= -709 @ 37.7964
39.17/39.46	c bounds -600 >= -708 @ 37.7968
39.17/39.46	c bounds -600 >= -707 @ 37.797
39.17/39.46	c bounds -600 >= -706 @ 37.7981
39.17/39.46	c bounds -600 >= -705 @ 37.7984
39.17/39.46	c bounds -600 >= -704 @ 37.7986
39.17/39.46	c bounds -600 >= -703 @ 37.7996
39.17/39.46	c bounds -600 >= -702 @ 37.8016
39.17/39.46	c bounds -600 >= -701 @ 37.8018
39.17/39.46	c bounds -600 >= -700 @ 37.8021
39.17/39.46	c bounds -600 >= -699 @ 37.8022
39.17/39.47	c bounds -600 >= -698 @ 37.8022
39.17/39.47	c bounds -600 >= -697 @ 37.8022
39.17/39.47	c bounds -600 >= -696 @ 37.8029
39.17/39.47	c bounds -600 >= -695 @ 37.8037
39.17/39.47	c bounds -600 >= -694 @ 37.8056
39.17/39.47	c bounds -600 >= -693 @ 37.809
39.17/39.48	c bounds -600 >= -692 @ 37.8113
39.17/39.48	c bounds -600 >= -691 @ 37.8151
39.17/39.48	c bounds -600 >= -690 @ 37.8177
39.17/39.49	c bounds -600 >= -689 @ 37.8207
39.17/39.49	c bounds -600 >= -688 @ 37.8246
39.27/39.50	c bounds -600 >= -687 @ 37.8306
39.27/39.51	c bounds -600 >= -686 @ 37.8383
39.27/39.52	c bounds -600 >= -685 @ 37.8495
39.27/39.53	c bounds -600 >= -684 @ 37.8623
39.27/39.54	c bounds -600 >= -683 @ 37.8714
39.27/39.55	c bounds -600 >= -682 @ 37.8842
39.27/39.58	c bounds -600 >= -681 @ 37.9084
46.65/46.94	WSVECS04 Frhs2[1]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[6]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[11]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[16]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[21]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[26]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[31]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[36]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[41]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[46]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[73]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[87]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[97]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[99]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[100]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[103]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[104]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[109]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[110]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[113]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[114]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[119]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[124]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[125]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[129]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[133]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[135]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[138]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[139]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[143]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[191]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[194]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[198]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[201]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[203]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[208]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[213]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[216]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[218]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[219]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[224]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[226]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[229]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[233]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[234]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[238]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[239]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[242]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[244]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[247]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[248]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[249]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[252]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[254]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[257]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[259]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[264]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[268]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[272]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[273]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[274]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[278]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[298]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[312]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[322]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[365]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[368]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[370]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[371]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[373]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[375]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[378]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[380]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[383]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[385]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[386]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[388]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[390]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[396]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[398]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[400]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[403]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[408]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[413]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[414]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[418]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[423]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[426]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[428]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[429]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[434]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[436]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[438]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[439]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[443]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[444]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[498]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[512]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[522]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[524]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[525]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[528]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[529]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[534]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[539]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[540]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[543]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[544]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[548]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[550]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[553]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[554]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[558]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[596]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[598]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[599]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[603]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[608]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[611]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[613]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[614]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[619]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[621]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[623]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[624]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[628]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[629]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[632]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[633]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[634]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[637]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[642]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[644]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[649]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[653]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[657]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[658]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[659]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[663]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[673]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[687]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[697]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[698]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[699]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[704]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[709]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[710]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[714]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[718]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[720]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[723]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[724]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[728]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[733]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[735]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[738]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[740]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[743]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[745]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[751]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[753]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[755]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[758]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[763]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[768]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[771]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[773]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[774]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[779]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[781]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[783]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[784]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[788]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[789]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[823]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[837]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[847]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[849]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[854]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[855]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[858]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[859]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[863]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[865]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[868]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[869]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[873]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[903]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[906]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[908]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[909]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[914]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[916]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[918]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[919]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[923]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[924]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[926]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[931]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[936]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[939]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[941]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[946]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[949]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[962]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[974]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[975]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[978]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[979]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[983]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[985]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[988]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[989]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[993]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1016]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1018]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1019]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1024]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1026]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1028]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1029]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1033]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1034]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1039]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1043]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1047]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1048]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1049]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1053]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1062]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1072]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1074]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1078]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1083]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1084]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1088]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1090]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1098]: 6 0 1.00005 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1109]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1111]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1113]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1114]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1118]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1119]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1121]: 6 0 1.00003 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1124]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1137]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1147]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1161]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1163]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1165]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1168]: 6 0 1.00001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1172]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1177]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1182]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1183]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1184]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1188]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1197]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1198]: 6 0 1.00007 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1199]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1203]: 6 0 1.00002 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1205]: 6 0 1.0001 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1208]: 6 0 1.00009 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1213]: 6 0 1.00004 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1214]: 6 0 1.00006 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1222]: 6 0 1.00008 shouldn't be
46.65/46.94	WSVECS04 Frhs2[1223]: 6 0 1.00006 shouldn't be
66.19/66.57	WSVECS04 Frhs2[128]: 6 0 1.00007 shouldn't be
66.19/66.57	WSVECS04 Frhs2[228]: 6 0 1.00003 shouldn't be
66.19/66.57	WSVECS04 Frhs2[508]: 6 0 1.00004 shouldn't be
66.19/66.57	WSVECS04 Frhs2[713]: 6 0 1.00009 shouldn't be
66.19/66.57	WSVECS04 Frhs2[1100]: 6 0 1.00007 shouldn't be
66.19/66.57	WSVECS04 Frhs2[1134]: 6 0 1.00008 shouldn't be
77.25/77.60	c bounds -600 >= -680 @ 75.747
77.25/77.62	c bounds -600 >= -679 @ 75.7654
77.25/77.65	c bounds -600 >= -678 @ 75.7869
77.25/77.68	c bounds -600 >= -677 @ 75.8203
77.34/77.73	c bounds -600 >= -676 @ 75.8649
77.34/77.78	c bounds -600 >= -675 @ 75.9223
77.55/77.94	c #Conflicts:       3000 | #Constraints:      98390
77.55/77.94	c bounds -600 >= -674 @ 76.0711
80.93/81.36	c #Conflicts:       4000 | #Constraints:      99438
80.93/81.36	c INPROCESSING
80.93/81.36	c GARBAGE COLLECT
80.93/81.36	c #Conflicts:       5000 | #Constraints:      98348
80.93/81.36	c #Conflicts:       6000 | #Constraints:      99348
80.93/81.36	c INPROCESSING
80.93/81.36	c GARBAGE COLLECT
80.93/81.36	c #Conflicts:       7000 | #Constraints:      98183
80.93/81.36	c bounds -600 >= -673 @ 79.4635
81.03/81.45	c bounds -600 >= -672 @ 79.5595
81.13/81.59	c bounds -600 >= -671 @ 79.6943
81.33/81.77	c #Conflicts:       8000 | #Constraints:      99345
81.33/81.77	c bounds -600 >= -670 @ 79.8706
81.53/81.95	c bounds -600 >= -669 @ 80.0441
81.74/82.13	c #Conflicts:       9000 | #Constraints:     100417
81.74/82.13	c INPROCESSING
81.74/82.13	c bounds -600 >= -668 @ 80.2276
82.13/82.53	c #Conflicts:      10000 | #Constraints:      98921
82.13/82.53	c bounds -600 >= -667 @ 80.6231
84.51/85.01	c #Conflicts:      11000 | #Constraints:      99990
84.51/85.01	c #Conflicts:      12000 | #Constraints:     100990
84.51/85.01	c INPROCESSING
84.51/85.01	c GARBAGE COLLECT
84.51/85.01	c bounds -600 >= -666 @ 83.0734
84.82/85.22	c #Conflicts:      13000 | #Constraints:      99479
84.82/85.22	c bounds -600 >= -665 @ 83.2824
85.01/85.49	c #Conflicts:      14000 | #Constraints:     100512
85.01/85.49	c bounds -600 >= -664 @ 83.5464
101.17/101.69	c #Conflicts:      15000 | #Constraints:     101554
101.17/101.69	c INPROCESSING
101.17/101.69	c #Conflicts:      16000 | #Constraints:      99641
101.17/101.69	c #Conflicts:      17000 | #Constraints:     100641
101.17/101.69	c #Conflicts:      18000 | #Constraints:     101641
101.17/101.69	c INPROCESSING
101.17/101.69	c GARBAGE COLLECT
101.17/101.69	WSVECS04 Frhs2[80]: 6 0 1.00006 shouldn't be
101.17/101.69	WSVECS04 Frhs2[1086]: 6 0 1.00002 shouldn't be
101.17/101.69	WSVECS04 Frhs2[1102]: 6 0 1.00005 shouldn't be
166.57/167.27	WSVECS04 Frhs2[267]: 6 0 1.00007 shouldn't be
166.57/167.27	WSVECS04 Frhs2[306]: 6 0 1.00004 shouldn't be
166.57/167.27	WSVECS04 Frhs2[680]: 6 0 1.00003 shouldn't be
166.57/167.27	WSVECS04 Frhs2[681]: 6 0 1.00006 shouldn't be
166.57/167.27	WSVECS04 Frhs2[831]: 6 0 1.00004 shouldn't be
166.57/167.27	WSVECS04 Frhs2[1060]: 6 0 1.00005 shouldn't be
166.57/167.27	WSVECS04 Frhs2[1070]: 6 0 1.00002 shouldn't be
166.57/167.27	WSVECS04 Frhs2[1073]: 6 0 1.00002 shouldn't be
166.57/167.27	WSVECS04 Frhs2[1081]: 6 0 1.00004 shouldn't be
166.57/167.27	WSVECS04 Frhs2[1097]: 6 0 1.00003 shouldn't be
166.57/167.27	WSVECS04 Frhs2[1217]: 6 0 1.00002 shouldn't be
188.32/189.07	c bounds -600 >= -663 @ 186.672
188.70/189.49	c #Conflicts:      19000 | #Constraints:      99717
188.70/189.49	c bounds -600 >= -662 @ 187.084
189.01/189.79	c #Conflicts:      20000 | #Constraints:     100786
189.01/189.79	c bounds -600 >= -661 @ 187.384
189.32/190.10	c #Conflicts:      21000 | #Constraints:     101834
189.32/190.10	c bounds -600 >= -660 @ 187.688
189.70/190.40	c INPROCESSING
189.70/190.40	c GARBAGE COLLECT
189.70/190.40	c #Conflicts:      22000 | #Constraints:      99532
189.70/190.40	c bounds -600 >= -659 @ 187.988
190.00/190.77	c #Conflicts:      23000 | #Constraints:     100625
190.00/190.77	c bounds -600 >= -658 @ 188.351
190.32/191.10	c #Conflicts:      24000 | #Constraints:     101670
190.32/191.10	c bounds -600 >= -657 @ 188.679
236.38/237.26	c #Conflicts:      25000 | #Constraints:     102697
236.38/237.26	c #Conflicts:      26000 | #Constraints:     103697
236.38/237.26	c #Conflicts:      27000 | #Constraints:     104697
236.38/237.26	c #Conflicts:      28000 | #Constraints:     105697
236.38/237.26	c #Conflicts:      29000 | #Constraints:     106697
236.38/237.26	c #Conflicts:      30000 | #Constraints:     107697
236.38/237.26	c #Conflicts:      31000 | #Constraints:     108697
236.38/237.26	c #Conflicts:      32000 | #Constraints:     109697
236.38/237.26	c #Conflicts:      33000 | #Constraints:     110697
236.38/237.26	c INPROCESSING
236.38/237.26	c GARBAGE COLLECT
236.38/237.26	c rational objective -657
237.58/238.42	c #Conflicts:      34000 | #Constraints:     104107
237.58/238.42	c bounds -600 >= -656 @ 235.753
238.07/238.97	c #Conflicts:      35000 | #Constraints:     105164
238.07/238.97	c bounds -600 >= -655 @ 236.293
238.58/239.41	c #Conflicts:      36000 | #Constraints:     106212
238.58/239.41	c bounds -600 >= -654 @ 236.737
239.07/239.94	c #Conflicts:      37000 | #Constraints:     107239
239.07/239.94	c bounds -600 >= -653 @ 237.261
239.47/240.38	c #Conflicts:      38000 | #Constraints:     108275
239.47/240.38	c INPROCESSING
239.47/240.38	c GARBAGE COLLECT
239.47/240.38	c bounds -600 >= -652 @ 237.687
239.97/240.85	c #Conflicts:      39000 | #Constraints:     103187
239.97/240.85	c bounds -600 >= -651 @ 238.153
240.46/241.35	c #Conflicts:      40000 | #Constraints:     104244
240.46/241.35	c bounds -600 >= -650 @ 238.646
241.06/241.91	c #Conflicts:      41000 | #Constraints:     105283
241.06/241.91	c bounds -600 >= -649 @ 239.203
241.46/242.32	c #Conflicts:      42000 | #Constraints:     106325
241.46/242.32	c bounds -600 >= -648 @ 239.607
304.19/305.28	c INPROCESSING
304.19/305.28	c GARBAGE COLLECT
304.19/305.28	c rational objective -648
305.38/306.40	c #Conflicts:      43000 | #Constraints:     101812
305.38/306.40	c #Conflicts:      44000 | #Constraints:     102812
305.38/306.40	c bounds -600 >= -647 @ 303.418
306.00/307.10	c #Conflicts:      45000 | #Constraints:     103884
306.00/307.10	c bounds -600 >= -646 @ 304.113
306.88/307.94	c #Conflicts:      46000 | #Constraints:     104932
306.88/307.94	c #Conflicts:      47000 | #Constraints:     105932
306.88/307.94	c bounds -600 >= -645 @ 304.943
307.68/308.78	c #Conflicts:      48000 | #Constraints:     106977
307.68/308.78	c #Conflicts:      49000 | #Constraints:     107977
307.68/308.78	c bounds -600 >= -644 @ 305.776
315.97/317.09	c #Conflicts:      50000 | #Constraints:     109016
315.97/317.09	c bounds -600 >= -643 @ 314.056
316.86/317.98	c #Conflicts:      51000 | #Constraints:     110047
316.86/317.98	c #Conflicts:      52000 | #Constraints:     111047
316.86/317.98	c bounds -600 >= -642 @ 314.934
329.51/330.65	c #Conflicts:      53000 | #Constraints:     112089
329.51/330.65	c #Conflicts:      54000 | #Constraints:     113089
329.51/330.65	c #Conflicts:      55000 | #Constraints:     114089
329.51/330.65	c #Conflicts:      56000 | #Constraints:     115089
329.51/330.65	c #Conflicts:      57000 | #Constraints:     116091
329.51/330.65	c #Conflicts:      58000 | #Constraints:     117092
329.51/330.65	c INPROCESSING
329.51/330.65	c GARBAGE COLLECT
329.51/330.65	c #Conflicts:      59000 | #Constraints:     107380
329.51/330.65	c #Conflicts:      60000 | #Constraints:     108380
329.51/330.65	c bounds -600 >= -641 @ 327.517
335.80/336.96	WSVECS04 Frhs2[2]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[17]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[22]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[27]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[32]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[42]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[49]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[50]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[63]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[65]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[68]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[70]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[75]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[80]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[83]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[90]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[93]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[97]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[105]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[110]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[115]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[119]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[120]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[130]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[134]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[135]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[140]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[144]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[237]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[238]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[241]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[242]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[243]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[246]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[248]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[251]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[253]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[256]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[261]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[266]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[267]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[268]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[271]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[273]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[276]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[277]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[278]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[323]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[326]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[328]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[331]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[333]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[336]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[338]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[341]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[343]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[351]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[353]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[356]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[358]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[361]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[363]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[367]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[372]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[377]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[387]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[392]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[393]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[397]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[402]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[403]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[452]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[457]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[462]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[467]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[477]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[484]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[485]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[486]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[491]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[496]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[501]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[510]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[511]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[516]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[520]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[521]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[523]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[526]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[528]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[531]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[533]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[536]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[538]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[541]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[546]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[548]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[551]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[553]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[556]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[558]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[562]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[567]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[572]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[577]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[582]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[583]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[587]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[592]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[593]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[632]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[637]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[642]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[647]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[654]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[657]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[664]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[666]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[671]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[676]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[685]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[686]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[691]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[695]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[696]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[700]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[704]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[705]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[715]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[719]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[720]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[725]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[729]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[732]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[737]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[742]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[747]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[748]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[752]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[757]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[758]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[792]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[794]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[797]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[802]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[809]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[812]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[819]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[821]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[835]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[836]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[841]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[845]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[846]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[849]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[850]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[860]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[864]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[865]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[874]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[887]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[898]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[903]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[908]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[911]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[918]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[921]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[932]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[942]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[951]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[961]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[966]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[970]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[980]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[984]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[985]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[990]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[994]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[997]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1002]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1003]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1007]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1012]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1013]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1061]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1066]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1070]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1075]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1079]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1080]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1085]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1089]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1124]: 6 0 1.00001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1127]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1134]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1135]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1136]: 6 0 1.00006 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1141]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1145]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1146]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1148]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1153]: 6 0 1.00004 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1162]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1167]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1168]: 6 0 1.00005 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1173]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1176]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1182]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1189]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1191]: 6 0 1.00007 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1195]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1200]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1204]: 6 0 1.00003 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1207]: 6 0 1.00009 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1208]: 6 0 1.0001 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1219]: 6 0 1.00002 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1220]: 6 0 1.00008 shouldn't be
335.80/336.96	WSVECS04 Frhs2[1223]: 6 0 1.00006 shouldn't be
352.06/353.28	WSVECS04 Frhs2[927]: 6 0 1.00007 shouldn't be
352.06/353.28	WSVECS04 Frhs2[949]: 6 0 1.00008 shouldn't be
370.60/371.88	WSVECS04 Frhs2[368]: 6 0 1.00009 shouldn't be
394.54/395.83	c #Conflicts:      61000 | #Constraints:     109414
394.54/395.83	c bounds -600 >= -640 @ 392.396
395.34/396.66	c #Conflicts:      62000 | #Constraints:     110441
395.34/396.66	c bounds -600 >= -639 @ 393.224
396.24/397.52	c #Conflicts:      63000 | #Constraints:     111474
396.24/397.52	c bounds -600 >= -638 @ 394.074
408.82/410.16	c #Conflicts:      64000 | #Constraints:     112528
408.82/410.16	c #Conflicts:      65000 | #Constraints:     113528
408.82/410.16	c INPROCESSING
408.82/410.16	c GARBAGE COLLECT
408.82/410.16	WSVECS04 Frhs2[3]: 6 0 1.00008 shouldn't be
408.82/410.16	WSVECS04 Frhs2[6]: 6 0 1.00008 shouldn't be
408.82/410.16	WSVECS04 Frhs2[23]: 6 0 1.00005 shouldn't be
408.82/410.16	WSVECS04 Frhs2[46]: 6 0 1.00006 shouldn't be
408.82/410.16	WSVECS04 Frhs2[147]: 6 0 1.00009 shouldn't be
408.82/410.16	WSVECS04 Frhs2[223]: 6 0 1.00006 shouldn't be
408.82/410.16	WSVECS04 Frhs2[296]: 6 0 1.00009 shouldn't be
408.82/410.16	WSVECS04 Frhs2[427]: 6 0 1.00003 shouldn't be
408.82/410.16	WSVECS04 Frhs2[433]: 6 0 1.00005 shouldn't be
408.82/410.16	WSVECS04 Frhs2[1023]: 6 0 1.00007 shouldn't be
408.82/410.16	WSVECS04 Frhs2[1057]: 6 0 1.00005 shouldn't be
408.82/410.16	WSVECS04 Frhs2[1067]: 6 0 1.00003 shouldn't be
408.82/410.16	WSVECS04 Frhs2[1108]: 6 0 1.0001 shouldn't be
408.82/410.16	WSVECS04 Frhs2[1154]: 6 0 1.00003 shouldn't be
451.19/452.60	WSVECS04 Frhs2[1017]: 6 0 1.00004 shouldn't be
451.19/452.60	WSVECS04 Frhs2[1181]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[26]: 6 0 1.00003 shouldn't be
471.54/473.03	WSVECS04 Frhs2[33]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[41]: 6 0 1.0001 shouldn't be
471.54/473.03	WSVECS04 Frhs2[48]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[58]: 6 0 1.00002 shouldn't be
471.54/473.03	WSVECS04 Frhs2[71]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[73]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[81]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[96]: 6 0 1.00007 shouldn't be
471.54/473.03	WSVECS04 Frhs2[151]: 6 0 1.00007 shouldn't be
471.54/473.03	WSVECS04 Frhs2[166]: 6 0 1.00004 shouldn't be
471.54/473.03	WSVECS04 Frhs2[167]: 6 0 1.00008 shouldn't be
471.54/473.03	WSVECS04 Frhs2[181]: 6 0 1.00004 shouldn't be
471.54/473.03	WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be
471.54/473.03	WSVECS04 Frhs2[217]: 6 0 1.00008 shouldn't be
471.54/473.03	WSVECS04 Frhs2[283]: 6 0 1.00008 shouldn't be
471.54/473.03	WSVECS04 Frhs2[306]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[321]: 6 0 1.00003 shouldn't be
471.54/473.03	WSVECS04 Frhs2[468]: 6 0 1.00002 shouldn't be
471.54/473.03	WSVECS04 Frhs2[481]: 6 0 1.00003 shouldn't be
471.54/473.03	WSVECS04 Frhs2[483]: 6 0 1.00004 shouldn't be
471.54/473.03	WSVECS04 Frhs2[612]: 6 0 1.00004 shouldn't be
471.54/473.03	WSVECS04 Frhs2[877]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[891]: 6 0 1.00007 shouldn't be
471.54/473.03	WSVECS04 Frhs2[892]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[897]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[913]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[941]: 6 0 1.00008 shouldn't be
471.54/473.03	WSVECS04 Frhs2[948]: 6 0 1.00003 shouldn't be
471.54/473.03	WSVECS04 Frhs2[956]: 6 0 1.00005 shouldn't be
471.54/473.03	WSVECS04 Frhs2[963]: 6 0 1.00008 shouldn't be
471.54/473.03	WSVECS04 Frhs2[971]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1060]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1062]: 6 0 1.0001 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1096]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1097]: 6 0 1.00008 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1149]: 6 0 1.00003 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1186]: 6 0 1.00007 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1188]: 6 0 1.00009 shouldn't be
471.54/473.03	WSVECS04 Frhs2[1196]: 6 0 1.00007 shouldn't be
492.59/494.14	WSVECS04 Frhs2[298]: 6 0 1.00004 shouldn't be
492.59/494.14	WSVECS04 Frhs2[313]: 6 0 1.00004 shouldn't be
492.59/494.14	WSVECS04 Frhs2[618]: 6 0 1.00008 shouldn't be
492.59/494.14	WSVECS04 Frhs2[778]: 6 0 1.00002 shouldn't be
492.59/494.14	WSVECS04 Frhs2[933]: 6 0 1.00008 shouldn't be
492.59/494.14	WSVECS04 Frhs2[1221]: 6 0 1.00004 shouldn't be
512.22/513.89	WSVECS04 Frhs2[88]: 6 0 1.00001 shouldn't be
512.22/513.89	WSVECS04 Frhs2[187]: 6 0 1.00005 shouldn't be
512.22/513.89	WSVECS04 Frhs2[461]: 6 0 1.00002 shouldn't be
512.22/513.89	WSVECS04 Frhs2[476]: 6 0 1.00003 shouldn't be
512.22/513.89	WSVECS04 Frhs2[772]: 6 0 1.00006 shouldn't be
512.22/513.89	WSVECS04 Frhs2[876]: 6 0 1.00007 shouldn't be
512.22/513.89	WSVECS04 Frhs2[907]: 6 0 1.00008 shouldn't be
512.22/513.89	WSVECS04 Frhs2[946]: 6 0 1.00003 shouldn't be
531.38/533.02	WSVECS04 Frhs2[51]: 6 0 1.00001 shouldn't be
531.38/533.02	WSVECS04 Frhs2[1102]: 6 0 1.00006 shouldn't be
547.93/549.66	WSVECS04 Frhs2[458]: 6 0 1.00009 shouldn't be
576.26/578.06	c #Conflicts:      66000 | #Constraints:     105786
576.26/578.06	c bounds -600 >= -637 @ 573.877
577.54/579.38	c #Conflicts:      67000 | #Constraints:     106849
577.54/579.38	c #Conflicts:      68000 | #Constraints:     107849
577.54/579.38	c bounds -600 >= -636 @ 575.189
578.83/580.62	c #Conflicts:      69000 | #Constraints:     108903
578.83/580.62	c #Conflicts:      70000 | #Constraints:     109903
578.83/580.62	c bounds -600 >= -635 @ 576.415
609.65/611.51	c #Conflicts:      71000 | #Constraints:     110942
609.65/611.51	c INPROCESSING
609.65/611.51	c GARBAGE COLLECT
609.65/611.51	c #Conflicts:      72000 | #Constraints:     104593
609.65/611.51	c #Conflicts:      73000 | #Constraints:     105593
609.65/611.51	c #Conflicts:      74000 | #Constraints:     106593
609.65/611.51	c #Conflicts:      75000 | #Constraints:     107593
609.65/611.51	c #Conflicts:      76000 | #Constraints:     108593
609.65/611.51	c #Conflicts:      77000 | #Constraints:     109593
609.65/611.51	c #Conflicts:      78000 | #Constraints:     110593
609.65/611.51	c #Conflicts:      79000 | #Constraints:     111593
609.65/611.51	c #Conflicts:      80000 | #Constraints:     112593
609.65/611.51	c #Conflicts:      81000 | #Constraints:     113593
609.65/611.51	c #Conflicts:      82000 | #Constraints:     114593
609.65/611.51	c #Conflicts:      83000 | #Constraints:     115593
609.65/611.51	c #Conflicts:      84000 | #Constraints:     116593
609.65/611.51	c #Conflicts:      85000 | #Constraints:     117593
609.65/611.51	c #Conflicts:      86000 | #Constraints:     118593
609.65/611.51	c #Conflicts:      87000 | #Constraints:     119593
609.65/611.51	c #Conflicts:      88000 | #Constraints:     120593
609.65/611.51	c #Conflicts:      89000 | #Constraints:     121593
609.65/611.51	c #Conflicts:      90000 | #Constraints:     122593
609.65/611.51	c #Conflicts:      91000 | #Constraints:     123593
609.65/611.51	c INPROCESSING
609.65/611.51	c GARBAGE COLLECT
609.65/611.51	c #Conflicts:      92000 | #Constraints:     110880
609.65/611.51	c #Conflicts:      93000 | #Constraints:     111880
609.65/611.51	c bounds -600 >= -634 @ 607.12
615.15/617.04	c #Conflicts:      94000 | #Constraints:     112962
615.15/617.04	c #Conflicts:      95000 | #Constraints:     113962
615.15/617.04	c bounds -600 >= -633 @ 612.606
616.44/618.38	c #Conflicts:      96000 | #Constraints:     115001
616.44/618.38	c bounds -600 >= -632 @ 613.933
621.32/623.25	c #Conflicts:      97000 | #Constraints:     116043
621.32/623.25	c #Conflicts:      98000 | #Constraints:     117043
621.32/623.25	c #Conflicts:      99000 | #Constraints:     118044
621.32/623.25	c INPROCESSING
621.32/623.25	c GARBAGE COLLECT
621.32/623.25	c bounds -600 >= -631 @ 618.767
623.01/624.90	c #Conflicts:     100000 | #Constraints:     108183
623.01/624.90	c #Conflicts:     101000 | #Constraints:     109183
623.01/624.90	c bounds -600 >= -630 @ 620.399
628.50/630.46	c #Conflicts:     102000 | #Constraints:     110255
628.50/630.46	c #Conflicts:     103000 | #Constraints:     111255
628.50/630.46	c bounds -600 >= -629 @ 625.927
630.59/632.50	c #Conflicts:     104000 | #Constraints:     112304
630.59/632.50	c #Conflicts:     105000 | #Constraints:     113304
630.59/632.50	c bounds -600 >= -628 @ 627.948
639.67/641.69	c #Conflicts:     106000 | #Constraints:     114340
639.67/641.69	c #Conflicts:     107000 | #Constraints:     115340
639.67/641.69	c INPROCESSING
639.67/641.69	c GARBAGE COLLECT
639.67/641.69	c #Conflicts:     108000 | #Constraints:     106931
639.67/641.69	WSVECS04 Frhs2[23]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[33]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[39]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[71]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[81]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[87]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[180]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[239]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[249]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[259]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[261]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[264]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[274]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[296]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[306]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[312]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[416]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[426]: 6 0 1.0001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[441]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[458]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[468]: 6 0 1.00009 shouldn't be
639.67/641.69	WSVECS04 Frhs2[474]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[596]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[601]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[611]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[616]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[626]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[634]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[644]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[646]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[649]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[652]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[659]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[761]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[771]: 6 0 1.0001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[776]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[786]: 6 0 1.0001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[799]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[804]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[814]: 6 0 1.0001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[876]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[877]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[890]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[891]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[892]: 6 0 1.00009 shouldn't be
639.67/641.69	WSVECS04 Frhs2[897]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[900]: 6 0 1.00009 shouldn't be
639.67/641.69	WSVECS04 Frhs2[933]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[939]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[956]: 6 0 1.0001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[962]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1016]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1021]: 6 0 1.00009 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1031]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1036]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1039]: 6 0 1.00009 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1049]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1058]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1068]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1095]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1096]: 6 0 1.00006 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1102]: 6 0 1.00002 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1105]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1106]: 6 0 1.00001 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1116]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1122]: 6 0 1.00003 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1129]: 6 0 1.00004 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1155]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1171]: 6 0 1.00009 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1172]: 6 0 1.00007 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1177]: 6 0 1.00005 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1179]: 6 0 1.00008 shouldn't be
639.67/641.69	WSVECS04 Frhs2[1211]: 6 0 1.00003 shouldn't be
651.15/653.14	c #Conflicts:     109000 | #Constraints:     107932
651.15/653.14	c #Conflicts:     110000 | #Constraints:     108932
651.15/653.14	c bounds -600 >= -627 @ 648.47
654.15/656.15	c #Conflicts:     111000 | #Constraints:     110034
654.15/656.15	c #Conflicts:     112000 | #Constraints:     111034
654.15/656.15	c #Conflicts:     113000 | #Constraints:     112034
654.15/656.15	c bounds -600 >= -626 @ 651.459
656.63/658.66	c #Conflicts:     114000 | #Constraints:     113079
656.63/658.66	c #Conflicts:     115000 | #Constraints:     114079
656.63/658.66	c #Conflicts:     116000 | #Constraints:     115079
656.63/658.66	c bounds -600 >= -625 @ 653.949
659.72/661.70	c #Conflicts:     117000 | #Constraints:     116115
659.72/661.70	c #Conflicts:     118000 | #Constraints:     117115
659.72/661.70	c #Conflicts:     119000 | #Constraints:     118115
659.72/661.70	c bounds -600 >= -624 @ 656.975
663.02/665.03	c #Conflicts:     120000 | #Constraints:     119164
663.02/665.03	c #Conflicts:     121000 | #Constraints:     120164
663.02/665.03	c bounds -600 >= -623 @ 660.282
669.19/671.28	c #Conflicts:     122000 | #Constraints:     121203
669.19/671.28	c #Conflicts:     123000 | #Constraints:     122203
669.19/671.28	c #Conflicts:     124000 | #Constraints:     123204
669.19/671.28	c bounds -600 >= -622 @ 666.472
672.78/674.83	c #Conflicts:     125000 | #Constraints:     124246
672.78/674.83	c #Conflicts:     126000 | #Constraints:     125246
672.78/674.83	c #Conflicts:     127000 | #Constraints:     126246
672.78/674.83	c #Conflicts:     128000 | #Constraints:     127246
672.78/674.83	c bounds -600 >= -621 @ 669.997
776.81/779.17	c #Conflicts:     129000 | #Constraints:     128280
776.81/779.17	c #Conflicts:     130000 | #Constraints:     129280
776.81/779.17	c #Conflicts:     131000 | #Constraints:     130280
776.81/779.17	c INPROCESSING
776.81/779.17	c GARBAGE COLLECT
776.81/779.17	c rational objective -621
820.77/823.28	c #Conflicts:     132000 | #Constraints:     114398
820.77/823.28	c #Conflicts:     133000 | #Constraints:     115399
820.77/823.28	c #Conflicts:     134000 | #Constraints:     116401
820.77/823.28	c #Conflicts:     135000 | #Constraints:     117402
820.77/823.28	c #Conflicts:     136000 | #Constraints:     118403
820.77/823.28	c #Conflicts:     137000 | #Constraints:     119403
820.77/823.28	c #Conflicts:     138000 | #Constraints:     120404
820.77/823.28	c #Conflicts:     139000 | #Constraints:     121404
820.77/823.28	c #Conflicts:     140000 | #Constraints:     122406
820.77/823.28	c INPROCESSING
820.77/823.28	c GARBAGE COLLECT
820.77/823.28	c #Conflicts:     141000 | #Constraints:     110444
820.77/823.28	c #Conflicts:     142000 | #Constraints:     111444
820.77/823.28	c #Conflicts:     143000 | #Constraints:     112445
820.77/823.28	c bounds -600 >= -620 @ 817.769
822.97/825.41	c #Conflicts:     144000 | #Constraints:     113487
822.97/825.41	c #Conflicts:     145000 | #Constraints:     114487
822.97/825.41	c bounds -600 >= -619 @ 819.888
825.76/828.28	c #Conflicts:     146000 | #Constraints:     115529
825.76/828.28	c #Conflicts:     147000 | #Constraints:     116529
825.76/828.28	c #Conflicts:     148000 | #Constraints:     117529
825.76/828.28	c bounds -600 >= -618 @ 822.725
836.24/838.76	c #Conflicts:     149000 | #Constraints:     118568
836.24/838.76	c #Conflicts:     150000 | #Constraints:     119568
836.24/838.76	c INPROCESSING
836.24/838.76	c GARBAGE COLLECT
836.24/838.76	c #Conflicts:     151000 | #Constraints:     109280
836.24/838.76	c #Conflicts:     152000 | #Constraints:     110280
836.24/838.76	c #Conflicts:     153000 | #Constraints:     111281
836.24/838.76	c bounds -600 >= -617 @ 833.133
845.31/847.85	c #Conflicts:     154000 | #Constraints:     112347
845.31/847.85	c #Conflicts:     155000 | #Constraints:     113347
845.31/847.85	c #Conflicts:     156000 | #Constraints:     114347
845.31/847.85	c #Conflicts:     157000 | #Constraints:     115348
845.31/847.85	c bounds -600 >= -616 @ 842.159
999.38/1002.33	c #Conflicts:     158000 | #Constraints:     116402
999.38/1002.33	c #Conflicts:     159000 | #Constraints:     117402
999.38/1002.33	c #Conflicts:     160000 | #Constraints:     118402
999.38/1002.33	c #Conflicts:     161000 | #Constraints:     119402
999.38/1002.33	c #Conflicts:     162000 | #Constraints:     120402
999.38/1002.33	c #Conflicts:     163000 | #Constraints:     121405
999.38/1002.33	c #Conflicts:     164000 | #Constraints:     122407
999.38/1002.33	c #Conflicts:     165000 | #Constraints:     123408
999.38/1002.33	c #Conflicts:     166000 | #Constraints:     124410
999.38/1002.33	c #Conflicts:     167000 | #Constraints:     125410
999.38/1002.33	c #Conflicts:     168000 | #Constraints:     126411
999.38/1002.33	c #Conflicts:     169000 | #Constraints:     127412
999.38/1002.33	c #Conflicts:     170000 | #Constraints:     128414
999.38/1002.33	c #Conflicts:     171000 | #Constraints:     129414
999.38/1002.33	c #Conflicts:     172000 | #Constraints:     130414
999.38/1002.33	c #Conflicts:     173000 | #Constraints:     131414
999.38/1002.33	c #Conflicts:     174000 | #Constraints:     132414
999.38/1002.33	c #Conflicts:     175000 | #Constraints:     133414
999.38/1002.33	c #Conflicts:     176000 | #Constraints:     134415
999.38/1002.33	c #Conflicts:     177000 | #Constraints:     135415
999.38/1002.33	c #Conflicts:     178000 | #Constraints:     136416
999.38/1002.33	c INPROCESSING
999.38/1002.33	c GARBAGE COLLECT
999.38/1002.33	c rational objective -616
1014.54/1017.53	c #Conflicts:     179000 | #Constraints:     114519
1014.54/1017.53	c bounds -600 >= -615 @ 1011.05
1015.73/1018.70	c #Conflicts:     180000 | #Constraints:     115561
1015.73/1018.70	c bounds -600 >= -614 @ 1012.21
1016.94/1019.94	c #Conflicts:     181000 | #Constraints:     116573
1016.94/1019.94	c bounds -600 >= -613 @ 1013.45
1018.73/1021.78	c #Conflicts:     182000 | #Constraints:     117609
1018.73/1021.78	c bounds -600 >= -612 @ 1015.27
1021.03/1024.04	c #Conflicts:     183000 | #Constraints:     118633
1021.03/1024.04	c #Conflicts:     184000 | #Constraints:     119633
1021.03/1024.04	c bounds -600 >= -611 @ 1017.52
1023.72/1026.71	c bounds -600 >= -610 @ 1020.17
1024.91/1027.99	c #Conflicts:     185000 | #Constraints:     120694
1024.91/1027.99	c bounds -600 >= -609 @ 1021.45
1032.00/1035.08	c #Conflicts:     186000 | #Constraints:     121718
1032.00/1035.08	c #Conflicts:     187000 | #Constraints:     122719
1032.00/1035.08	c #Conflicts:     188000 | #Constraints:     123719
1032.00/1035.08	c bounds -600 >= -608 @ 1028.5
1043.26/1046.38	c #Conflicts:     189000 | #Constraints:     124761
1043.26/1046.38	c INPROCESSING
1043.26/1046.38	c GARBAGE COLLECT
1043.26/1046.38	WSVECS04 Frhs2[1]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[6]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[24]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[26]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[33]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[41]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[46]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[58]: 6 0 1.0001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[72]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[73]: 6 0 1.0001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[81]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[87]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[88]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[97]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[165]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[182]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[186]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[187]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[190]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[238]: 6 0 1.0001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[239]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[244]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[249]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[258]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[261]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[267]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[273]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[274]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[278]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[283]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[293]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[306]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[318]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[322]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[370]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[375]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[390]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[393]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[409]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[424]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[427]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[431]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[434]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[459]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[461]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[468]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[481]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[560]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[565]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[577]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[580]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[583]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[612]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[616]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[618]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[641]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[648]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[656]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[664]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[745]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[748]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[769]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[772]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[778]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[789]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[796]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[816]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[819]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[901]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[902]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[916]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[921]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[926]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[933]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[939]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[941]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[946]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[949]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[956]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[962]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[963]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[997]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1003]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1057]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1058]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1061]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1066]: 6 0 1.00001 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1071]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1095]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1096]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1097]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1101]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1102]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1108]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1114]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1123]: 6 0 1.00003 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1129]: 6 0 1.00004 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1133]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1148]: 6 0 1.00002 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1154]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1158]: 6 0 1.00009 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1171]: 6 0 1.00008 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1176]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1181]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1186]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1189]: 6 0 1.00007 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1193]: 6 0 1.00006 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1197]: 6 0 1.00005 shouldn't be
1043.26/1046.38	WSVECS04 Frhs2[1214]: 6 0 1.00008 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[3]: 6 0 1.00001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[68]: 6 0 1.00002 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[93]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[151]: 6 0 1.00001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[167]: 6 0 1.00002 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[243]: 6 0 1.0001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[264]: 6 0 1.00008 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[268]: 6 0 1.00001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[288]: 6 0 1.00009 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[298]: 6 0 1.00009 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[365]: 6 0 1.00008 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[391]: 6 0 1.00006 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[433]: 6 0 1.00007 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[439]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[444]: 6 0 1.00004 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[484]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[581]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[590]: 6 0 1.0001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[661]: 6 0 1.00005 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[746]: 6 0 1.00004 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[776]: 6 0 1.00007 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[779]: 6 0 1.00008 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[784]: 6 0 1.0001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[794]: 6 0 1.00006 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[803]: 6 0 1.00009 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[809]: 6 0 1.00009 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[909]: 6 0 1.00001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[922]: 6 0 1.00002 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1001]: 6 0 1.0001 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1067]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1105]: 6 0 1.00002 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1106]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1109]: 6 0 1.00002 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1119]: 6 0 1.00008 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1122]: 6 0 1.00009 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1177]: 6 0 1.00003 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1216]: 6 0 1.00006 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1219]: 6 0 1.00008 shouldn't be
1084.95/1088.16	WSVECS04 Frhs2[1222]: 6 0 1.00005 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[51]: 6 0 1.0001 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[63]: 6 0 1.0001 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[180]: 6 0 1.0001 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[181]: 6 0 1.00006 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[312]: 6 0 1.00002 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[313]: 6 0 1.00006 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[387]: 6 0 1.00007 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[609]: 6 0 1.00001 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[624]: 6 0 1.00001 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[629]: 6 0 1.00007 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[968]: 6 0 1.00002 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[1010]: 6 0 1.00003 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[1128]: 6 0 1.00007 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[1153]: 6 0 1.00002 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[1165]: 6 0 1.00008 shouldn't be
1106.80/1110.06	WSVECS04 Frhs2[1205]: 6 0 1.00007 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[166]: 6 0 1.00008 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[248]: 6 0 1.00008 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[400]: 6 0 1.00005 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[414]: 6 0 1.00005 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[474]: 6 0 1.00002 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[599]: 6 0 1.00002 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[639]: 6 0 1.00009 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[654]: 6 0 1.00004 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[742]: 6 0 1.00006 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[811]: 6 0 1.00003 shouldn't be
1128.32/1131.63	WSVECS04 Frhs2[917]: 6 0 1.00007 shouldn't be
1144.58/1148.00	WSVECS04 Frhs2[297]: 6 0 1.0001 shouldn't be
1144.58/1148.00	WSVECS04 Frhs2[476]: 6 0 1.0001 shouldn't be
1144.58/1148.00	WSVECS04 Frhs2[619]: 6 0 1.00004 shouldn't be
1144.58/1148.00	WSVECS04 Frhs2[755]: 6 0 1.00005 shouldn't be
1144.58/1148.00	WSVECS04 Frhs2[1000]: 6 0 1.00009 shouldn't be
1144.58/1148.00	WSVECS04 Frhs2[1172]: 6 0 1.0001 shouldn't be
1166.52/1169.93	WSVECS04 Frhs2[156]: 6 0 1.00009 shouldn't be
1271.34/1275.10	WSVECS04 Frhs2[161]: 6 0 1.0001 shouldn't be
1429.90/1434.02	c bounds -600 >= -607 @ 1425.83
1434.48/1438.65	c #Conflicts:     190000 | #Constraints:     111258
1434.48/1438.65	c bounds -600 >= -606 @ 1430.43
1440.06/1444.21	c #Conflicts:     191000 | #Constraints:     112318
1440.06/1444.21	c #Conflicts:     192000 | #Constraints:     113318
1440.06/1444.21	c bounds -600 >= -605 @ 1435.96
1441.75/1445.93	c #Conflicts:     193000 | #Constraints:     114361
1441.75/1445.93	c bounds -600 >= -604 @ 1437.67
1444.25/1448.47	c #Conflicts:     194000 | #Constraints:     115388
1444.25/1448.47	c #Conflicts:     195000 | #Constraints:     116388
1444.25/1448.47	c bounds -600 >= -603 @ 1440.2
1449.63/1453.80	c #Conflicts:     196000 | #Constraints:     117442
1449.63/1453.80	c bounds -600 >= -602 @ 1445.49
1454.22/1458.48	c #Conflicts:     197000 | #Constraints:     118473
1454.22/1458.48	c #Conflicts:     198000 | #Constraints:     119473
1454.22/1458.48	c #Conflicts:     199000 | #Constraints:     120473
1454.22/1458.48	c bounds -600 >= -601 @ 1450.14
1463.70/1467.98	WSVECS04 Frhs2[24]: 6 0 1.00006 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[48]: 6 0 1.00004 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[72]: 6 0 1.00007 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[96]: 6 0 1.00009 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[268]: 6 0 1.0001 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[273]: 6 0 1.00002 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[297]: 6 0 1.00006 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[409]: 6 0 1.00009 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[439]: 6 0 1.00009 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[459]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[560]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[565]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[576]: 6 0 1.0001 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[577]: 6 0 1.00006 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[580]: 6 0 1.00008 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[624]: 6 0 1.00001 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[779]: 6 0 1.00005 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[784]: 6 0 1.00004 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[875]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[902]: 6 0 1.00005 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[909]: 6 0 1.00007 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[916]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[922]: 6 0 1.00004 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[924]: 6 0 1.00006 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[948]: 6 0 1.00008 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[971]: 6 0 1.00007 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1043]: 6 0 1.00008 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1048]: 6 0 1.00008 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1066]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1109]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1114]: 6 0 1.00009 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1153]: 6 0 1.00001 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1165]: 6 0 1.00006 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1179]: 6 0 1.00003 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1188]: 6 0 1.00002 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1196]: 6 0 1.00007 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1205]: 6 0 1.00006 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1221]: 6 0 1.00002 shouldn't be
1463.70/1467.98	WSVECS04 Frhs2[1225]: 6 0 1.00004 shouldn't be
1469.58/1473.84	c #Conflicts:     200000 | #Constraints:     121501
1469.58/1473.84	c bounds -600 >= -600 @ 1465.41
1469.58/1473.84	c cpu time 1465.41 s
1469.58/1473.84	c deterministic time 6405617338 6.41e+09
1469.58/1473.84	c optimization time 0.064983 s
1469.58/1473.84	c total solve time 1464.97 s
1469.58/1473.84	c core-guided solve time 1184.58 s
1469.58/1473.84	c propagation time 437.346 s
1469.58/1473.84	c conflict analysis time 122.613 s
1469.58/1473.84	c propagations 142070746
1469.58/1473.84	c resolve steps 14456278
1469.58/1473.84	c decisions 343687
1469.58/1473.84	c conflicts 200453
1469.58/1473.84	c restarts 509
1469.58/1473.84	c inprocessing phases 22
1469.58/1473.84	c garbage collections 20 ,( 90.91 )
1469.58/1473.84	c input clauses 95928 ,( 95.79 )
1469.58/1473.84	c input cardinalities 2639 ,( 2.64 )
1469.58/1473.84	c input general constraints 1574 ,( 1.57 )
1469.58/1473.84	c input average constraint length 7.68
1469.58/1473.84	c input average constraint degree 2.18
1469.58/1473.84	c learned clauses 192529 ,( 95.99 )
1469.58/1473.84	c learned cardinalities 824 ,( 0.41 )
1469.58/1473.84	c learned general constraints 7214 ,( 3.60 )
1469.58/1473.84	c learned average constraint length 266.60
1469.58/1473.84	c learned average constraint degree 7979414.68
1469.58/1473.84	c watched  CF 32, 64, 128, Arb: 643 , 0 , 0 , 0
1469.58/1473.84	c counting CF 32, 64, 128, Arb: 8146 , 0 , 0 , 0
1469.58/1473.84	c watched   constraints 643 ,( 7.32 ) 
1469.58/1473.84	c counting  constraints 8145 ,( 92.68 ) 
1469.58/1473.84	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 620536100 , 514220185 , 218562832 ,( 671240 , 217891592 )
1469.58/1473.84	c gcd simplifications 28057
1469.58/1473.84	c detected cardinalities 1
1469.58/1473.84	c weakened non-implied lits 43567107
1469.58/1473.84	c weakened non-implying lits 270071
1469.58/1473.84	c original variables 6450
1469.58/1473.84	c clausal propagations 109940655
1469.58/1473.84	c cardinality propagations 12976791
1469.58/1473.84	c watched propagations 12686
1469.58/1473.84	c counting propagations 18619675
1469.58/1473.84	c watch lookups 1966641274
1469.58/1473.84	c watch backjump lookups 0
1469.58/1473.84	c watch checks 3468088690
1469.58/1473.84	c propagation checks 409533847
1469.58/1473.84	c constraint additions 275802130
1469.58/1473.84	c trail pops 142614734
1469.58/1473.84	c formula constraints 94350
1469.58/1473.84	c learned constraints 200460
1469.58/1473.84	c bound constraints 470
1469.58/1473.84	c core-guided constraints 5321
1469.58/1473.84	c encountered formula constraints 9650381
1469.58/1473.84	c encountered learned constraints 2311903
1469.58/1473.84	c encountered bound constraints 1251
1469.58/1473.84	c encountered core-guided constraints 2691350
1469.58/1473.84	c LP total time 1246.99 s
1469.58/1473.84	c LP solve time 1243.36 s
1469.58/1473.84	c LP constraints added 94381
1469.58/1473.84	c LP constraints removed 18
1469.58/1473.84	c LP pivots internal 208649
1469.58/1473.84	c LP pivots root 313580
1469.58/1473.84	c LP calls 63
1469.58/1473.84	c LP optimalities 5
1469.58/1473.84	c LP no pivot count 0
1469.58/1473.84	c LP infeasibilities 50
1469.58/1473.84	c LP valid Farkas constraints 50
1469.58/1473.84	c LP learned Farkas constraints 50
1469.58/1473.84	c LP basis resets 0
1469.58/1473.84	c LP cycling count 0
1469.58/1473.84	c LP singular count 0
1469.58/1473.84	c LP no primal count 0
1469.58/1473.84	c LP no farkas count 0
1469.58/1473.84	c LP other issue count 0
1469.58/1473.84	c LP Gomory cuts 7
1469.58/1473.84	c LP learned cuts 24
1469.58/1473.84	c LP deleted cuts 18
1469.58/1473.84	c LP encountered Gomory constraints 689
1469.58/1473.84	c LP encountered Farkas constraints 913
1469.58/1473.84	c LP encountered learned Farkas constraints 194
1469.58/1473.84	c CG auxiliary variables introduced 1906
1469.58/1473.84	c CG solutions found 2
1469.58/1473.84	c CG cores constructed 400
1469.58/1473.84	c CG core cardinality constraints returned 0
1469.58/1473.84	c CG unit cores 0
1469.58/1473.84	c CG single cores 399
1469.58/1473.84	c CG blocks removed during cardinality reduction 0
1469.58/1473.84	c CG first core best 0
1469.58/1473.84	c CG decision core best 0
1469.58/1473.84	c CG core reduction tie 1
1469.58/1473.84	c CG core degree average 1.00
1469.58/1473.84	c CG core slack average 6.09
1469.58/1473.84	c CG core upper bound improvements 0
1469.58/1473.84	c STR number of successful calls 0
1469.58/1473.84	c STR number of unsuccessful calls 0
1469.58/1473.84	c STR number of inconclusive calls 0
1469.58/1473.84	c STR number of successful attempts 0
1469.58/1473.84	c STR number of unsuccessful attempts 0
1469.58/1473.84	c STR number of inconclusive attempts 0
1469.58/1473.84	c STR average degree increase per successful call inf
1469.58/1473.84	c STR average degree increase per successful attempt inf
1469.58/1473.84	c STR total number of conflicts for successful attempts 0
1469.58/1473.84	c STR total number of conflicts for unsuccessful attempts 0
1469.58/1473.84	c STR total number of conflicts for inconclusive attempts 0
1469.58/1473.84	c STR average number of conflicts per successful attempt inf
1469.58/1473.84	c STR average number of conflicts per unsuccessful attempt inf
1469.58/1473.84	c STR average number of conflicts per inconclusive attempt inf
1469.58/1473.84	c AVG.sumWPerc 75.58 
1469.58/1473.84	c bigint constraints 0 
1469.58/1473.84	o -600
1469.58/1473.84	s OPTIMUM FOUND
1469.58/1473.84	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 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 x891 x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x900 x901 x902 -x903 -x904 -x905 x906 x907 -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 x921 x922 -x923 -x924 -x925 -x926 x927 x928 x929 -x930 -x931 x932 x933 x934 -x935 -x936 x937 x938 x939 -x940 -x941 x942 x943 x944 -x945 -x946 x947 x948 x949 x950 x951 x952 -x953 -x954 x955 x956 x957 -x958 -x959 x960 x961 x962 -x963 -x964 x965 x966 x967 -x968 -x969 x970 x971 x972 -x973 -x974 x975 x976 -x977 -x978 -x979 x980 x981 -x982 -x983 -x984 x985 x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 -x995 x996 x997 -x998 -x999 -x1000 x1001 x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 -x1009 -x1010 x1011 x1012 -x1013 -x1014 -x1015 x1016 x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 x1037 x1038 x1039 -x1040 -x1041 x1042 x1043 x1044 -x1045 -x1046 x1047 x1048 x1049 -x1050 -x1051 x1052 x1053 x1054 x1055 x1056 x1057 -x1058 -x1059 x1060 x1061 x1062 -x1063 -x1064 x1065 x1066 x1067 -x1068 -x1069 x1070 x1071 x1072 -x1073 -x1074 x1075 x1076 -x1077 -x1078 -x1079 x1080 x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 -x1093 -x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 -x1105 x1106 x1107 -x1108 -x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 x1122 x1123 x1124 -x1125 -x1126 x1127 x1128 x1129 -x1130 -x1131 x1132 x1133 x1134 x1135 x1136 x1137 -x1138 -x1139 x1140 x1141 x1142 -x1143 -x1144 x1145 x1146 x1147 -x1148 -x1149 x1150 x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 x1161 x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 x1172 -x1173 -x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 -x1193 -x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 -x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 x1219 x1220 x1221 x1222 -x1223 -x1224 -x1225

Verifier Data 

OK	-600

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: 63837 MiB (63143 MiB free)
  memory of node 1: 64465 MiB (63639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521266-1751571912/watcher-4521266-1751571912 -o /tmp/evaluation-result-4521266-1751571912/solver-4521266-1751571912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751571912-85313 --watchdog 3760 run-opt-break.sh HOME/instance-4521266-1751571912.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=85351, runsolver pid=85348

[startup+0.100072 s]*
/proc/loadavg: 0.32 0.92 1.85 4/244 85360
/proc/meminfo: memFree=129800460/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85354] ppid=85351 vsize=34432 memory=26836 CPUtime=0.08 cores=5,7
/proc/85354/stat : 85354 (pbsuma) R 85351 85351 85279 0 -1 4194304 3108 0 0 0 6 2 0 0 20 0 1 0 72869930 35258368 6709 18446744073709551615 4210688 4653049 140731391391664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36950016 140731391400291 140731391400498 140731391400498 140731391406063 0
/proc/85354/statm: 8608 6709 928 108 0 6016 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38624 KiB
Current children cumulated memory: 29908 KiB

[startup+0.214069 s]*
/proc/loadavg: 0.32 0.92 1.85 5/250 85370
/proc/meminfo: memFree=129758132/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85354] ppid=85351 vsize=54384 memory=39540 CPUtime=0.19 cores=5,7
/proc/85354/stat : 85354 (pbsuma) R 85351 85351 85279 0 -1 4194304 7546 0 0 0 16 3 0 0 20 0 1 0 72869930 55689216 9885 18446744073709551615 4210688 4653049 140731391391664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36950016 140731391400291 140731391400498 140731391400498 140731391406063 0
/proc/85354/statm: 13596 9885 992 108 0 11004 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58576 KiB
Current children cumulated memory: 42612 KiB

[startup+0.314426 s]*
/proc/loadavg: 0.32 0.92 1.85 5/255 85375
/proc/meminfo: memFree=129658704/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85354] ppid=85351 vsize=74400 memory=54004 CPUtime=0.29 cores=5,7
/proc/85354/stat : 85354 (pbsuma) R 85351 85351 85279 0 -1 4194304 11497 0 0 0 25 4 0 0 20 0 1 0 72869930 76185600 13501 18446744073709551615 4210688 4653049 140731391391664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36950016 140731391400291 140731391400498 140731391400498 140731391406063 0
/proc/85354/statm: 18600 13501 992 108 0 16008 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78592 KiB
Current children cumulated memory: 57076 KiB

[startup+0.700454 s]
/proc/loadavg: 0.32 0.92 1.85 5/255 85375
/proc/meminfo: memFree=129569744/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85354] ppid=85351 vsize=94204 memory=72580 CPUtime=0.66 cores=5,7
/proc/85354/stat : 85354 (pbsuma) R 85351 85351 85279 0 -1 4194304 16742 0 0 0 60 6 0 0 20 0 1 0 72869930 96464896 18145 18446744073709551615 4210688 4653049 140731391391664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 36950016 140731391400291 140731391400498 140731391400498 140731391406063 0
/proc/85354/statm: 23551 18145 992 108 0 20959 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 98396 KiB
Current children cumulated memory: 75652 KiB

[startup+1.50027 s]
/proc/loadavg: 0.32 0.92 1.85 5/255 85376
/proc/meminfo: memFree=129467460/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3.11403 s]
/proc/loadavg: 0.62 0.97 1.86 4/250 85386
/proc/meminfo: memFree=129304328/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=186740 memory=127240 CPUtime=1.92 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 15634 0 0 0 176 16 0 0 20 0 1 0 72870046 191221760 31810 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 46685 31810 2304 1147 0 34112 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 190932 KiB
Current children cumulated memory: 130312 KiB

[startup+6.30032 s]
/proc/loadavg: 0.62 0.97 1.86 5/255 85425
/proc/meminfo: memFree=128890156/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=203308 memory=138916 CPUtime=5.08 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 16518 0 0 0 489 19 0 0 20 0 1 0 72870046 208187392 34729 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 50827 34729 2336 1147 0 38254 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 207500 KiB
Current children cumulated memory: 141988 KiB

[startup+12.7003 s]
/proc/loadavg: 1.21 1.09 1.89 5/255 85473
/proc/meminfo: memFree=128838676/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=202900 memory=139080 CPUtime=11.45 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 16614 0 0 0 1124 21 0 0 20 0 1 0 72870046 207769600 34770 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 50725 34770 2368 1147 0 38152 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 207092 KiB
Current children cumulated memory: 142152 KiB

[startup+25.5004 s]
/proc/loadavg: 1.72 1.20 1.92 5/255 85567
/proc/meminfo: memFree=128819228/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=202900 memory=139080 CPUtime=24.19 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 16614 0 0 0 2393 26 0 0 20 0 1 0 72870046 207769600 34770 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 50725 34770 2368 1147 0 38152 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 207092 KiB
Current children cumulated memory: 142152 KiB

[startup+51.1137 s]
/proc/loadavg: 3.00 1.54 2.02 5/255 85567
/proc/meminfo: memFree=127876572/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=224912 memory=158572 CPUtime=49.71 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 18907 0 0 0 4937 34 0 0 20 0 1 0 72870046 230309888 39643 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 56228 39643 2400 1147 0 43655 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 229104 KiB
Current children cumulated memory: 161644 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 2.12 2.19 6/255 85616
/proc/meminfo: memFree=127933252/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=236768 memory=161644 CPUtime=100.74 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 19199 0 0 0 10027 47 0 0 20 0 1 0 72870046 242450432 40411 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 59192 40411 2400 1147 0 46619 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 240960 KiB
Current children cumulated memory: 164716 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 2.50 2.32 5/255 85664
/proc/meminfo: memFree=128409940/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=241020 memory=180916 CPUtime=160.55 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 20069 0 0 0 16000 55 0 0 20 0 1 0 72870046 246804480 45229 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 60255 45229 2400 1147 0 47682 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 245212 KiB
Current children cumulated memory: 183988 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 2.79 2.43 5/255 85666
/proc/meminfo: memFree=128298220/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=259876 memory=189880 CPUtime=220.39 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 20796 0 0 0 21970 69 0 0 20 0 1 0 72870046 266113024 47470 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 64969 47470 2400 1147 0 52396 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 264068 KiB
Current children cumulated memory: 192952 KiB


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

/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24597 0 0 0 123488 271 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1238.72 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1302.3 s]
/proc/loadavg: 4.09 4.09 3.64 5/254 85727
/proc/meminfo: memFree=127342008/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1297.42 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24597 0 0 0 129464 278 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1298.55 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1362.3 s]
/proc/loadavg: 4.14 4.10 3.67 5/254 85729
/proc/meminfo: memFree=127321836/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1357.26 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24597 0 0 0 135441 285 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1358.39 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1422.3 s]
/proc/loadavg: 4.10 4.09 3.70 5/254 85731
/proc/meminfo: memFree=127325104/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1417.09 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24648 0 0 0 141416 293 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1418.22 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1473.85 s]
# the end of solver process 85351 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1466.47 s, system=3.18028 s

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

[startup+1433.6 s]
/proc/loadavg: 4.08 4.09 3.70 5/254 85731
/proc/meminfo: memFree=127326112/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1428.36 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24648 0 0 0 142541 295 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1429.49 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1459.2 s]
/proc/loadavg: 4.11 4.10 3.72 5/253 85732
/proc/meminfo: memFree=127319560/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1453.89 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 145085 304 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1455.02 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1465.6 s]
/proc/loadavg: 4.10 4.10 3.72 5/253 85732
/proc/meminfo: memFree=127320064/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1460.27 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 145721 306 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1461.4 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1468.8 s]
/proc/loadavg: 4.09 4.09 3.72 5/253 85732
/proc/meminfo: memFree=127320064/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1463.47 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 146040 307 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1464.6 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1472 s]*
/proc/loadavg: 4.09 4.09 3.72 5/253 85732
/proc/meminfo: memFree=127362248/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1466.66 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 146359 307 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1467.79 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1472.8 s]
/proc/loadavg: 4.09 4.09 3.72 5/253 85732
/proc/meminfo: memFree=127362248/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1467.45 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 146438 307 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1468.58 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1473.6 s]
/proc/loadavg: 4.09 4.09 3.72 5/253 85732
/proc/meminfo: memFree=127362500/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1468.25 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 146517 308 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1469.38 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

[startup+1473.8 s]
/proc/loadavg: 4.09 4.09 3.72 5/253 85732
/proc/meminfo: memFree=127362500/131382120 swapFree=33010416/33010684
[pid=85351] ppid=85348 vsize=4192 memory=3072 CPUtime=1.13 cores=5,7
/proc/85351/stat : 85351 (run-opt-break.s) S 85348 85351 85279 0 -1 4194304 236 21347 0 0 0 0 104 9 20 0 1 0 72869929 4292608 768 18446744073709551615 93837797310464 93837798204997 140729593236640 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93837798444048 93837798491792 93837799170048 140729593239905 140729593240034 140729593240034 140729593245636 0
/proc/85351/statm: 1048 768 704 219 0 110 0
[pid=85377] ppid=85351 vsize=329932 memory=253372 CPUtime=1468.45 cores=5,7
/proc/85377/stat : 85377 (roundingsat) R 85351 85351 85279 0 -1 4194304 24652 0 0 0 146537 308 0 0 20 0 1 0 72870046 337850368 63343 18446744073709551615 4227072 8923433 140730660333280 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 28086272 140730660338020 140730660338216 140730660338216 140730660343786 0
/proc/85377/statm: 82483 63343 2400 1147 0 69910 0
Current children cumulated CPU time: 1469.58 s
Current children cumulated vsize: 334124 KiB
Current children cumulated memory: 256444 KiB

Child status: 0

Real time (s): 1473.85
CPU time (s): 1469.65
CPU user time (s): 1466.47
CPU system time (s): 3.18028
CPU usage (%): 99.7152
Max. virtual memory (cumulated for all children) (KiB): 334124
Max. memory (cumulated for all children) (KiB): 256444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1466.47
system time used= 3.18028
maximum resident set size= 253372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 231
involuntary context switches= 610


# summary of solver processes directly reported to runsolver:
#   pid: 85351
#   total CPU time (s): 1469.65
#   total CPU user time (s): 1466.47
#   total CPU system time (s): 3.18028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54406 second user time and 15.0781 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-03 21:45:13
IDJOB=4521266
IDBENCH=178251
IDSOLVER=3359
FILE ID=nodeC003/4521266-1751571912
RUNJOBID= nodeC003-1751571912-85313
SLURM_JOB_ID= 9598793
Free space on /tmp= 431996 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521266-1751571912/watcher-4521266-1751571912 -o /tmp/evaluation-result-4521266-1751571912/solver-4521266-1751571912 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751571912-85313 --watchdog 3760  run-opt-break.sh HOME/instance-4521266-1751571912.opb

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

MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac
RANDOM SEED=175583868

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.019
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.362
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.147
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.601
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1196.957
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.268
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
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	: 0xb00001f
cpu MHz		: 1197.162
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129832300 kB
MemAvailable:   129912696 kB
Buffers:            2736 kB
Cached:           876452 kB
SwapCached:           36 kB
Active:           570332 kB
Inactive:         384300 kB
Active(anon):      85760 kB
Inactive(anon):     7608 kB
Active(file):     484572 kB
Inactive(file):   376692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31760 kB
Writeback:            24 kB
AnonPages:         78576 kB
Mapped:           103580 kB
Shmem:             17924 kB
KReclaimable:     117516 kB
Slab:             202796 kB
SReclaimable:     117516 kB
SUnreclaim:        85280 kB
KernelStack:        3808 kB
PageTables:         2696 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     339400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 431940 MiB
End job on nodeC003 at 2025-07-03 22:09:47