Trace number 4532741

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-log 0f876b3OPT cert.-600 1618.06 1623.32

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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532741-1752597565.opb'
0.08/0.12	c 	read 2.48MB  (106.23ms)
0.08/0.12	c	 [cnf: #variables 1225 #clauses 78401 #duplicates 0 #arr 236200]
0.08/0.12	c output proof to 'PROOFDIR/proof-4532741-1752597565'
0.08/0.12	c 
0.08/0.12	c make graph and approximate orbits
0.08/0.16	c	 [group: #orbits ~= 4] (40.00ms)
0.08/0.16	c 
0.08/0.16	c detect special group actions
0.08/0.16	c 	probe for Johnson action (limit=64)
0.18/0.23	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.25	c 	probe for row symmetry (limit=64, splits=16.78M)
0.18/0.27	c 	 (107.79ms)
0.18/0.27	c 
0.18/0.27	c detect symmetries on remainder
0.18/0.27	c 	[graph: #vertices 83301 #edges 479750]
0.18/0.27	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.94/1.10	c 	 [group: #symmetries 7.55*10^34 #generators 10] (830.00ms)
0.94/1.10	c 
0.94/1.10	c optimize generators (opt_passes=64, conjugate_limit=256)
0.94/1.10	c 	opt it=15, l=312, m=119, opt=20, avg=1199, b=192, gens=10
0.94/1.11	c 	opt it=31, l=584, m=209, opt=27, avg=1167, b=192, gens=10
1.04/1.11	c 	ran it=0, +gens=10 
1.13/1.20	c 	con best_support=192, best_gens=1, +gens=255
1.13/1.20	c 	(99.13ms)
1.13/1.20	c 
1.13/1.20	c finalize break order and special generators
1.13/1.20	c 
1.13/1.20	c add generic predicates (break_depth=20)
1.13/1.20	c 	added predicates for 275 generators (1.01ms)
1.13/1.29	c 
1.13/1.29	c generation finished
1.13/1.29	c 	[sbp: #constraints 15950 #add_vars 5225]
1.13/1.29	c 
1.13/1.29	c write result to 'HOME/instance-4532741-1752597565.opb.pre'
1.23/1.30	c 	wrote 3.10MB (12.76ms)
1.23/1.30	c ------------------------------------------------------------------
1.23/1.30	c                 830.00ms 64.31% detect_generic
1.23/1.30	c                 107.79ms  8.35% detect_special
1.23/1.30	c                 106.22ms  8.23% parse
1.23/1.30	c                  99.13ms  7.68% optimize_gens
1.23/1.30	c                  93.02ms  7.21% other
1.23/1.30	c                  40.00ms  3.10% approx_orbits
1.23/1.30	c                  12.76ms  0.99% output
1.23/1.30	c                   1.01ms  0.08% break_generic
1.23/1.30	c                   0.66ms  0.05% finalize_order
1.23/1.30	c         ───────────────────────────────────────────────
1.23/1.30	c                1290.60ms   100% total
1.23/1.30	c ------------------------------------------------------------------
1.23/1.36	c RoundingSat 2
1.23/1.36	c branch pb25
1.23/1.36	c commit 0f876b3
1.90/2.05	c #variables 6450 #constraints 94350
1.90/2.05	c objective is ce32 
1.90/2.05	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.90/2.05	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.90/2.05	c bounds - >= -1000 @ 0.55722
5.27/5.48	c bounds 0 >= -1000 @ 3.95026
10.16/10.38	c bounds 0 >= -999 @ 8.82748
19.54/19.71	c bounds 0 >= -998 @ 18.1099
36.60/36.82	c rational objective -666.667
37.60/37.87	c bounds 0 >= -997 @ 36.1858
37.60/37.88	c bounds 0 >= -996 @ 36.1862
37.60/37.88	c bounds 0 >= -995 @ 36.1865
37.60/37.88	c bounds 0 >= -994 @ 36.1868
37.60/37.88	c bounds 0 >= -993 @ 36.1871
37.60/37.88	c bounds 0 >= -992 @ 36.1874
37.60/37.88	c bounds 0 >= -991 @ 36.1877
37.60/37.88	c bounds 0 >= -990 @ 36.188
37.60/37.88	c bounds 0 >= -989 @ 36.1883
37.60/37.88	c bounds 0 >= -988 @ 36.1887
37.60/37.88	c bounds 0 >= -987 @ 36.189
37.60/37.88	c bounds 0 >= -986 @ 36.1894
37.60/37.88	c bounds 0 >= -985 @ 36.1897
37.60/37.88	c bounds 0 >= -984 @ 36.19
37.60/37.88	c bounds 0 >= -983 @ 36.1903
37.60/37.88	c bounds 0 >= -982 @ 36.1906
37.60/37.88	c bounds 0 >= -981 @ 36.1909
37.60/37.88	c bounds 0 >= -980 @ 36.1912
37.60/37.88	c bounds 0 >= -979 @ 36.1916
37.60/37.88	c bounds 0 >= -978 @ 36.1919
37.60/37.88	c bounds 0 >= -977 @ 36.1922
37.60/37.88	c bounds 0 >= -976 @ 36.1926
37.60/37.88	c bounds 0 >= -975 @ 36.1929
37.60/37.88	c bounds 0 >= -974 @ 36.1932
37.60/37.88	c bounds 0 >= -973 @ 36.1935
37.60/37.88	c bounds 0 >= -972 @ 36.1939
37.60/37.88	c bounds 0 >= -971 @ 36.1943
37.60/37.88	c bounds 0 >= -970 @ 36.1946
37.60/37.88	c bounds 0 >= -969 @ 36.1949
37.60/37.88	c bounds 0 >= -968 @ 36.1953
37.60/37.88	c bounds 0 >= -967 @ 36.1956
37.60/37.88	c bounds 0 >= -966 @ 36.1959
37.60/37.89	c bounds 0 >= -965 @ 36.1963
37.60/37.89	c bounds 0 >= -964 @ 36.1967
37.60/37.89	c bounds 0 >= -963 @ 36.197
37.60/37.89	c bounds 0 >= -962 @ 36.1973
37.60/37.89	c bounds 0 >= -961 @ 36.1976
37.60/37.89	c bounds 0 >= -960 @ 36.1979
37.60/37.89	c bounds 0 >= -959 @ 36.1982
37.60/37.89	c bounds 0 >= -958 @ 36.1985
37.60/37.89	c bounds 0 >= -957 @ 36.1988
37.60/37.89	c bounds 0 >= -956 @ 36.1991
37.60/37.89	c bounds 0 >= -955 @ 36.1994
37.60/37.89	c bounds 0 >= -954 @ 36.1994
37.60/37.89	c bounds 0 >= -953 @ 36.1994
37.60/37.89	c bounds 0 >= -952 @ 36.1994
37.60/37.89	c bounds 0 >= -951 @ 36.1996
37.60/37.89	c bounds 0 >= -950 @ 36.1999
37.60/37.89	c bounds 0 >= -949 @ 36.2002
37.60/37.89	c bounds 0 >= -948 @ 36.2005
37.60/37.89	c bounds 0 >= -947 @ 36.2008
37.60/37.89	c bounds 0 >= -946 @ 36.2011
37.60/37.89	c bounds 0 >= -945 @ 36.2014
37.60/37.89	c bounds 0 >= -944 @ 36.2016
37.60/37.89	c bounds 0 >= -943 @ 36.2019
37.60/37.89	c bounds 0 >= -942 @ 36.2023
37.60/37.89	c bounds 0 >= -941 @ 36.2025
37.60/37.89	c bounds 0 >= -940 @ 36.2028
37.60/37.89	c bounds 0 >= -939 @ 36.2031
37.60/37.89	c bounds 0 >= -938 @ 36.2034
37.60/37.89	c bounds 0 >= -937 @ 36.2037
37.60/37.89	c bounds 0 >= -936 @ 36.204
37.60/37.89	c bounds 0 >= -935 @ 36.2043
37.60/37.89	c bounds 0 >= -934 @ 36.2046
37.60/37.89	c bounds 0 >= -933 @ 36.2048
37.60/37.90	c bounds 0 >= -932 @ 36.2051
37.60/37.90	c bounds 0 >= -931 @ 36.2054
37.60/37.90	c bounds 0 >= -930 @ 36.2057
37.70/37.90	c bounds 0 >= -929 @ 36.2061
37.70/37.90	c bounds 0 >= -928 @ 36.2064
37.70/37.90	c bounds 0 >= -927 @ 36.2067
37.70/37.90	c bounds 0 >= -926 @ 36.2071
37.70/37.90	c bounds 0 >= -925 @ 36.2074
37.70/37.90	c bounds 0 >= -924 @ 36.2077
37.70/37.90	c bounds 0 >= -923 @ 36.2079
37.70/37.90	c bounds 0 >= -922 @ 36.2082
37.70/37.90	c bounds 0 >= -921 @ 36.2085
37.70/37.90	c bounds 0 >= -920 @ 36.2088
37.70/37.90	c bounds 0 >= -919 @ 36.2091
37.70/37.90	c bounds 0 >= -918 @ 36.2094
37.70/37.90	c bounds 0 >= -917 @ 36.2096
37.70/37.90	c bounds 0 >= -916 @ 36.2101
37.70/37.90	c bounds 0 >= -915 @ 36.2105
37.70/37.90	c bounds 0 >= -914 @ 36.2108
37.70/37.90	c bounds 0 >= -913 @ 36.2111
37.70/37.90	c bounds 0 >= -912 @ 36.2114
37.70/37.90	c bounds 0 >= -911 @ 36.2116
37.70/37.90	c bounds 0 >= -910 @ 36.2119
37.70/37.90	c bounds 0 >= -909 @ 36.2122
37.70/37.90	c bounds 0 >= -908 @ 36.2125
37.70/37.90	c bounds 0 >= -907 @ 36.2128
37.70/37.90	c bounds 0 >= -906 @ 36.2131
37.70/37.90	c bounds 0 >= -905 @ 36.2134
37.70/37.90	c bounds 0 >= -904 @ 36.2136
37.70/37.90	c bounds 0 >= -903 @ 36.2139
37.70/37.90	c bounds 0 >= -902 @ 36.2142
37.70/37.90	c bounds 0 >= -901 @ 36.2145
37.70/37.90	c bounds 0 >= -900 @ 36.2148
37.70/37.91	c bounds 0 >= -899 @ 36.2151
37.70/37.91	c bounds 0 >= -898 @ 36.2154
37.70/37.91	c bounds 0 >= -897 @ 36.2157
37.70/37.91	c bounds 0 >= -896 @ 36.2159
37.70/37.91	c bounds 0 >= -895 @ 36.2162
37.70/37.91	c bounds 0 >= -894 @ 36.2165
37.70/37.91	c bounds 0 >= -893 @ 36.2167
37.70/37.91	c bounds 0 >= -892 @ 36.217
37.70/37.91	c bounds 0 >= -891 @ 36.2173
37.70/37.91	c bounds 0 >= -890 @ 36.2173
37.70/37.91	c bounds 0 >= -889 @ 36.2173
37.70/37.91	c bounds 0 >= -888 @ 36.2173
37.70/37.91	c bounds 0 >= -887 @ 36.2173
37.70/37.91	c bounds 0 >= -886 @ 36.2176
37.70/37.91	c bounds 0 >= -885 @ 36.2179
37.70/37.91	c bounds 0 >= -884 @ 36.2182
37.70/37.91	c bounds 0 >= -883 @ 36.2185
37.70/37.91	c bounds 0 >= -882 @ 36.2187
37.70/37.91	c bounds 0 >= -881 @ 36.219
37.70/37.91	c bounds 0 >= -880 @ 36.2192
37.70/37.91	c bounds 0 >= -879 @ 36.2195
37.70/37.91	c bounds 0 >= -878 @ 36.2198
37.70/37.91	c bounds 0 >= -877 @ 36.22
37.70/37.91	c bounds 0 >= -876 @ 36.2203
37.70/37.91	c bounds 0 >= -875 @ 36.2206
37.70/37.91	c bounds 0 >= -874 @ 36.2209
37.70/37.91	c bounds 0 >= -873 @ 36.2212
37.70/37.91	c bounds 0 >= -872 @ 36.2214
37.70/37.91	c bounds 0 >= -871 @ 36.2217
37.70/37.91	c bounds 0 >= -870 @ 36.222
37.70/37.91	c bounds 0 >= -869 @ 36.2224
37.70/37.91	c bounds 0 >= -868 @ 36.2227
37.70/37.91	c bounds 0 >= -867 @ 36.2229
37.70/37.91	c bounds 0 >= -866 @ 36.2232
37.70/37.91	c bounds 0 >= -865 @ 36.2234
37.70/37.91	c bounds 0 >= -864 @ 36.2237
37.70/37.91	c bounds 0 >= -863 @ 36.2239
37.70/37.92	c bounds 0 >= -862 @ 36.2242
37.70/37.92	c bounds 0 >= -861 @ 36.2245
37.70/37.92	c bounds 0 >= -860 @ 36.2247
37.70/37.92	c bounds 0 >= -859 @ 36.225
37.70/37.92	c bounds 0 >= -858 @ 36.2252
37.70/37.92	c bounds 0 >= -857 @ 36.2257
37.70/37.92	c bounds 0 >= -856 @ 36.226
37.70/37.92	c bounds 0 >= -855 @ 36.2262
37.70/37.92	c bounds 0 >= -854 @ 36.2265
37.70/37.92	c bounds 0 >= -853 @ 36.2268
37.70/37.92	c bounds 0 >= -852 @ 36.227
37.70/37.92	c bounds 0 >= -851 @ 36.2273
37.70/37.92	c bounds 0 >= -850 @ 36.2276
37.70/37.92	c bounds 0 >= -849 @ 36.2279
37.70/37.92	c bounds 0 >= -848 @ 36.2281
37.70/37.92	c bounds 0 >= -847 @ 36.2284
37.70/37.92	c bounds 0 >= -846 @ 36.2286
37.70/37.92	c bounds 0 >= -845 @ 36.2289
37.70/37.92	c bounds 0 >= -844 @ 36.2292
37.70/37.92	c bounds 0 >= -843 @ 36.2294
37.70/37.92	c bounds 0 >= -842 @ 36.2297
37.70/37.92	c bounds 0 >= -841 @ 36.2299
37.70/37.92	c bounds 0 >= -840 @ 36.2302
37.70/37.92	c bounds 0 >= -839 @ 36.2305
37.70/37.92	c bounds 0 >= -838 @ 36.2308
37.70/37.92	c bounds 0 >= -837 @ 36.231
37.70/37.92	c bounds 0 >= -836 @ 36.2313
37.70/37.92	c bounds 0 >= -835 @ 36.2316
37.70/37.92	c bounds 0 >= -834 @ 36.2318
37.70/37.92	c bounds 0 >= -833 @ 36.2321
37.70/37.92	c bounds 0 >= -832 @ 36.2323
37.70/37.92	c bounds 0 >= -831 @ 36.2326
37.70/37.92	c bounds 0 >= -830 @ 36.2334
37.70/37.92	c bounds 0 >= -829 @ 36.2336
37.70/37.93	c bounds 0 >= -828 @ 36.234
37.70/37.93	c bounds 0 >= -827 @ 36.2342
37.70/37.93	c bounds 0 >= -826 @ 36.2345
37.70/37.93	c bounds 0 >= -825 @ 36.2347
37.70/37.93	c bounds 0 >= -824 @ 36.235
37.70/37.93	c bounds 0 >= -823 @ 36.2354
37.70/37.93	c bounds 0 >= -822 @ 36.2357
37.70/37.93	c bounds 0 >= -821 @ 36.236
37.70/37.93	c bounds 0 >= -820 @ 36.2362
37.70/37.93	c bounds 0 >= -819 @ 36.2365
37.70/37.93	c bounds 0 >= -818 @ 36.2367
37.70/37.93	c bounds 0 >= -817 @ 36.237
37.70/37.93	c bounds 0 >= -816 @ 36.2373
37.70/37.93	c bounds 0 >= -815 @ 36.2375
37.70/37.93	c bounds 0 >= -814 @ 36.2378
37.70/37.93	c bounds 0 >= -813 @ 36.2381
37.70/37.93	c bounds 0 >= -812 @ 36.2384
37.70/37.93	c bounds 0 >= -811 @ 36.2386
37.70/37.93	c bounds 0 >= -810 @ 36.2388
37.70/37.93	c bounds 0 >= -809 @ 36.2391
37.70/37.93	c bounds 0 >= -808 @ 36.2394
37.70/37.93	c bounds 0 >= -807 @ 36.2396
37.70/37.93	c bounds 0 >= -806 @ 36.2398
37.70/37.93	c bounds 0 >= -805 @ 36.2402
37.70/37.93	c bounds 0 >= -804 @ 36.2404
37.70/37.93	c bounds 0 >= -803 @ 36.2406
37.70/37.93	c bounds 0 >= -802 @ 36.2414
37.70/37.95	c bounds -600 >= -802 @ 36.2539
37.70/37.95	c bounds -600 >= -801 @ 36.2542
37.70/37.95	c bounds -600 >= -800 @ 36.2545
37.70/37.95	c bounds -600 >= -799 @ 36.2548
37.70/37.95	c bounds -600 >= -798 @ 36.255
37.70/37.95	c bounds -600 >= -797 @ 36.2553
37.70/37.95	c bounds -600 >= -796 @ 36.2555
37.70/37.95	c bounds -600 >= -795 @ 36.2558
37.70/37.95	c bounds -600 >= -794 @ 36.256
37.70/37.95	c bounds -600 >= -793 @ 36.2563
37.70/37.95	c bounds -600 >= -792 @ 36.2567
37.70/37.95	c bounds -600 >= -791 @ 36.257
37.70/37.95	c bounds -600 >= -790 @ 36.2572
37.70/37.95	c bounds -600 >= -789 @ 36.2575
37.70/37.95	c bounds -600 >= -788 @ 36.2578
37.70/37.95	c bounds -600 >= -787 @ 36.258
37.70/37.95	c bounds -600 >= -786 @ 36.2583
37.70/37.95	c bounds -600 >= -785 @ 36.2585
37.70/37.95	c bounds -600 >= -784 @ 36.2598
37.70/37.95	c bounds -600 >= -783 @ 36.2601
37.70/37.95	c bounds -600 >= -782 @ 36.2603
37.70/37.95	c bounds -600 >= -781 @ 36.2607
37.70/37.96	c bounds -600 >= -780 @ 36.2611
37.70/37.96	c bounds -600 >= -779 @ 36.2618
37.70/37.96	c bounds -600 >= -778 @ 36.262
37.70/37.96	c bounds -600 >= -777 @ 36.2623
37.70/37.96	c bounds -600 >= -776 @ 36.2631
37.70/37.96	c bounds -600 >= -775 @ 36.2633
37.70/37.96	c bounds -600 >= -774 @ 36.2636
37.70/37.96	c bounds -600 >= -773 @ 36.2639
37.70/37.96	c bounds -600 >= -772 @ 36.2641
37.70/37.96	c bounds -600 >= -771 @ 36.2644
37.70/37.96	c bounds -600 >= -770 @ 36.2646
37.70/37.96	c bounds -600 >= -769 @ 36.2649
37.70/37.96	c bounds -600 >= -768 @ 36.2652
40.19/40.48	c #Conflicts:       1000 | #Constraints:      96068
40.19/40.48	c #Conflicts:       2000 | #Constraints:      97068
40.19/40.48	c INPROCESSING
40.19/40.48	c GARBAGE COLLECT
40.19/40.48	c bounds -600 >= -767 @ 38.7533
40.19/40.48	c bounds -600 >= -766 @ 38.7536
40.19/40.48	c bounds -600 >= -765 @ 38.7539
40.19/40.48	c bounds -600 >= -764 @ 38.7541
40.19/40.48	c bounds -600 >= -763 @ 38.7544
40.19/40.48	c bounds -600 >= -762 @ 38.7544
40.19/40.48	c bounds -600 >= -761 @ 38.7544
40.19/40.48	c bounds -600 >= -760 @ 38.7544
40.19/40.48	c bounds -600 >= -759 @ 38.7547
40.19/40.48	c bounds -600 >= -758 @ 38.7552
40.19/40.48	c bounds -600 >= -757 @ 38.7554
40.19/40.48	c bounds -600 >= -756 @ 38.7557
40.19/40.48	c bounds -600 >= -755 @ 38.7559
40.19/40.48	c bounds -600 >= -754 @ 38.7561
40.19/40.48	c bounds -600 >= -753 @ 38.7563
40.19/40.48	c bounds -600 >= -752 @ 38.7565
40.19/40.48	c bounds -600 >= -751 @ 38.7568
40.19/40.49	c bounds -600 >= -750 @ 38.757
40.19/40.49	c bounds -600 >= -749 @ 38.7573
40.19/40.49	c bounds -600 >= -748 @ 38.7576
40.19/40.49	c bounds -600 >= -747 @ 38.758
40.19/40.49	c bounds -600 >= -746 @ 38.7582
40.19/40.49	c bounds -600 >= -745 @ 38.7585
40.19/40.49	c bounds -600 >= -744 @ 38.7587
40.19/40.49	c bounds -600 >= -743 @ 38.759
40.19/40.49	c bounds -600 >= -742 @ 38.7592
40.19/40.49	c bounds -600 >= -741 @ 38.7616
40.19/40.49	c bounds -600 >= -740 @ 38.7618
40.19/40.49	c bounds -600 >= -739 @ 38.762
40.19/40.49	c bounds -600 >= -738 @ 38.763
40.19/40.49	c bounds -600 >= -737 @ 38.7632
40.19/40.49	c bounds -600 >= -736 @ 38.7635
40.19/40.49	c bounds -600 >= -735 @ 38.7637
40.19/40.49	c bounds -600 >= -734 @ 38.7639
40.19/40.49	c bounds -600 >= -733 @ 38.7641
40.19/40.49	c bounds -600 >= -732 @ 38.7644
40.19/40.49	c bounds -600 >= -731 @ 38.7646
40.19/40.49	c bounds -600 >= -730 @ 38.765
40.19/40.49	c bounds -600 >= -729 @ 38.7653
40.19/40.49	c bounds -600 >= -728 @ 38.7655
40.19/40.49	c bounds -600 >= -727 @ 38.7657
40.19/40.49	c bounds -600 >= -726 @ 38.7659
40.19/40.49	c bounds -600 >= -725 @ 38.7663
40.19/40.49	c bounds -600 >= -724 @ 38.7665
40.19/40.49	c bounds -600 >= -723 @ 38.7667
40.19/40.50	c bounds -600 >= -722 @ 38.767
40.19/40.50	c bounds -600 >= -721 @ 38.7673
40.19/40.50	c bounds -600 >= -720 @ 38.7676
40.19/40.50	c bounds -600 >= -719 @ 38.7678
40.30/40.50	c bounds -600 >= -718 @ 38.768
40.30/40.50	c bounds -600 >= -717 @ 38.7683
40.30/40.50	c bounds -600 >= -716 @ 38.7686
40.30/40.50	c bounds -600 >= -715 @ 38.7689
40.30/40.50	c bounds -600 >= -714 @ 38.7692
40.30/40.50	c bounds -600 >= -713 @ 38.7695
40.30/40.50	c bounds -600 >= -712 @ 38.7697
40.30/40.50	c bounds -600 >= -711 @ 38.7702
40.30/40.50	c bounds -600 >= -710 @ 38.7705
40.30/40.50	c bounds -600 >= -709 @ 38.7708
40.30/40.50	c bounds -600 >= -708 @ 38.7713
40.30/40.50	c bounds -600 >= -707 @ 38.7716
40.30/40.50	c bounds -600 >= -706 @ 38.7727
40.30/40.50	c bounds -600 >= -705 @ 38.7731
40.30/40.50	c bounds -600 >= -704 @ 38.7734
40.30/40.50	c bounds -600 >= -703 @ 38.7744
40.30/40.50	c bounds -600 >= -702 @ 38.7763
40.30/40.50	c bounds -600 >= -701 @ 38.7767
40.30/40.51	c bounds -600 >= -700 @ 38.7771
40.30/40.51	c bounds -600 >= -699 @ 38.7777
40.30/40.51	c bounds -600 >= -698 @ 38.7782
40.30/40.51	c bounds -600 >= -697 @ 38.7783
40.30/40.51	c bounds -600 >= -696 @ 38.7794
40.30/40.51	c bounds -600 >= -695 @ 38.7816
40.30/40.51	c bounds -600 >= -694 @ 38.7838
40.30/40.52	c bounds -600 >= -693 @ 38.7873
40.30/40.52	c bounds -600 >= -692 @ 38.7904
40.30/40.52	c bounds -600 >= -691 @ 38.7945
40.30/40.53	c bounds -600 >= -690 @ 38.7983
40.30/40.53	c bounds -600 >= -689 @ 38.8027
40.30/40.54	c bounds -600 >= -688 @ 38.8071
40.30/40.54	c bounds -600 >= -687 @ 38.8114
40.30/40.55	c bounds -600 >= -686 @ 38.8192
40.30/40.56	c bounds -600 >= -685 @ 38.8308
40.30/40.58	c bounds -600 >= -684 @ 38.8442
40.30/40.59	c bounds -600 >= -683 @ 38.8539
40.39/40.60	c bounds -600 >= -682 @ 38.8664
40.39/40.63	c bounds -600 >= -681 @ 38.8919
47.68/47.95	WSVECS04 Frhs2[1]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[6]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[11]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[16]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[21]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[26]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[31]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[36]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[41]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[46]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[73]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[87]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[97]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[99]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[100]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[103]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[104]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[109]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[110]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[113]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[114]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[119]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[124]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[125]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[129]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[133]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[135]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[138]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[139]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[143]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[191]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[194]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[198]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[201]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[203]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[204]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[208]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[213]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[216]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[218]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[219]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[224]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[226]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[229]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[233]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[234]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[238]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[239]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[242]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[244]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[247]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[248]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[249]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[252]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[254]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[257]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[259]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[264]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[268]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[272]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[273]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[274]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[278]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[298]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[312]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[322]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[365]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[368]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[370]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[371]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[373]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[375]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[378]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[380]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[383]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[385]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[386]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[388]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[390]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[396]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[398]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[400]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[403]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[408]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[413]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[414]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[418]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[423]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[426]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[428]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[429]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[434]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[436]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[438]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[439]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[443]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[444]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[498]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[512]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[522]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[524]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[525]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[528]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[529]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[534]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[539]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[540]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[543]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[544]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[548]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[550]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[553]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[554]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[558]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[596]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[598]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[599]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[603]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[608]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[611]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[613]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[614]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[619]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[621]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[623]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[624]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[628]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[629]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[632]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[633]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[634]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[637]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[642]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[644]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[649]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[653]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[657]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[658]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[659]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[663]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[673]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[687]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[697]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[698]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[699]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[704]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[709]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[710]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[714]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[718]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[720]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[723]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[724]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[728]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[733]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[735]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[738]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[740]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[741]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[743]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[745]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[751]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[753]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[755]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[758]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[763]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[768]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[771]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[773]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[774]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[779]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[781]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[783]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[784]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[788]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[789]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[823]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[837]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[847]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[849]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[854]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[855]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[858]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[859]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[863]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[865]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[868]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[869]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[873]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[903]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[906]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[908]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[909]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[914]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[916]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[918]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[919]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[923]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[924]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[926]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[931]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[936]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[939]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[941]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[946]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[949]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[962]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[974]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[975]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[978]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[979]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[983]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[985]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[988]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[989]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[993]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1016]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1018]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1019]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1024]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1026]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1028]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1029]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1033]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1034]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1039]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1043]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1047]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1048]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1049]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1053]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1062]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1072]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1074]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1078]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1083]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1084]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1088]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1090]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1098]: 6 0 1.00005 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1109]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1111]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1113]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1114]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1118]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1119]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1121]: 6 0 1.00003 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1124]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1137]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1147]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1161]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1163]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1165]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1168]: 6 0 1.00001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1172]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1177]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1182]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1183]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1184]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1188]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1197]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1198]: 6 0 1.00007 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1199]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1203]: 6 0 1.00002 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1205]: 6 0 1.0001 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1208]: 6 0 1.00009 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1213]: 6 0 1.00004 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1214]: 6 0 1.00006 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1222]: 6 0 1.00008 shouldn't be
47.68/47.95	WSVECS04 Frhs2[1223]: 6 0 1.00006 shouldn't be
67.13/67.40	WSVECS04 Frhs2[128]: 6 0 1.00007 shouldn't be
67.13/67.40	WSVECS04 Frhs2[228]: 6 0 1.00003 shouldn't be
67.13/67.40	WSVECS04 Frhs2[508]: 6 0 1.00004 shouldn't be
67.13/67.40	WSVECS04 Frhs2[713]: 6 0 1.00009 shouldn't be
67.13/67.40	WSVECS04 Frhs2[1100]: 6 0 1.00007 shouldn't be
67.13/67.40	WSVECS04 Frhs2[1134]: 6 0 1.00008 shouldn't be
78.59/78.92	c bounds -600 >= -680 @ 77.0025
78.59/78.94	c bounds -600 >= -679 @ 77.0232
78.59/78.97	c bounds -600 >= -678 @ 77.0495
78.59/79.01	c bounds -600 >= -677 @ 77.0867
78.70/79.05	c bounds -600 >= -676 @ 77.1355
78.80/79.12	c bounds -600 >= -675 @ 77.2018
78.88/79.29	c #Conflicts:       3000 | #Constraints:      98390
78.88/79.29	c bounds -600 >= -674 @ 77.3691
82.68/83.06	c #Conflicts:       4000 | #Constraints:      99438
82.68/83.06	c INPROCESSING
82.68/83.06	c GARBAGE COLLECT
82.68/83.06	c #Conflicts:       5000 | #Constraints:      98348
82.68/83.06	c #Conflicts:       6000 | #Constraints:      99348
82.68/83.06	c INPROCESSING
82.68/83.06	c GARBAGE COLLECT
82.68/83.06	c #Conflicts:       7000 | #Constraints:      98183
82.68/83.06	c bounds -600 >= -673 @ 81.1051
82.78/83.18	c bounds -600 >= -672 @ 81.224
82.97/83.35	c bounds -600 >= -671 @ 81.3884
83.17/83.56	c #Conflicts:       8000 | #Constraints:      99345
83.17/83.56	c bounds -600 >= -670 @ 81.6029
83.37/83.77	c bounds -600 >= -669 @ 81.8083
83.57/84.00	c #Conflicts:       9000 | #Constraints:     100417
83.57/84.00	c INPROCESSING
83.57/84.00	c bounds -600 >= -668 @ 82.0276
84.07/84.46	c #Conflicts:      10000 | #Constraints:      98921
84.07/84.46	c bounds -600 >= -667 @ 82.4851
86.96/87.36	c #Conflicts:      11000 | #Constraints:      99990
86.96/87.36	c #Conflicts:      12000 | #Constraints:     100990
86.96/87.36	c INPROCESSING
86.96/87.36	c GARBAGE COLLECT
86.96/87.36	c bounds -600 >= -666 @ 85.344
87.26/87.64	c #Conflicts:      13000 | #Constraints:      99479
87.26/87.64	c bounds -600 >= -665 @ 85.6173
87.55/87.98	c #Conflicts:      14000 | #Constraints:     100512
87.55/87.98	c bounds -600 >= -664 @ 85.951
105.10/105.59	c #Conflicts:      15000 | #Constraints:     101554
105.10/105.59	c INPROCESSING
105.10/105.59	c #Conflicts:      16000 | #Constraints:      99641
105.10/105.59	c #Conflicts:      17000 | #Constraints:     100641
105.10/105.59	c #Conflicts:      18000 | #Constraints:     101641
105.10/105.59	c INPROCESSING
105.10/105.59	c GARBAGE COLLECT
105.10/105.59	WSVECS04 Frhs2[80]: 6 0 1.00006 shouldn't be
105.10/105.59	WSVECS04 Frhs2[1086]: 6 0 1.00002 shouldn't be
105.10/105.59	WSVECS04 Frhs2[1102]: 6 0 1.00005 shouldn't be
174.40/175.03	WSVECS04 Frhs2[267]: 6 0 1.00007 shouldn't be
174.40/175.03	WSVECS04 Frhs2[306]: 6 0 1.00004 shouldn't be
174.40/175.03	WSVECS04 Frhs2[680]: 6 0 1.00003 shouldn't be
174.40/175.03	WSVECS04 Frhs2[681]: 6 0 1.00006 shouldn't be
174.40/175.03	WSVECS04 Frhs2[831]: 6 0 1.00004 shouldn't be
174.40/175.03	WSVECS04 Frhs2[1060]: 6 0 1.00005 shouldn't be
174.40/175.03	WSVECS04 Frhs2[1070]: 6 0 1.00002 shouldn't be
174.40/175.03	WSVECS04 Frhs2[1073]: 6 0 1.00002 shouldn't be
174.40/175.03	WSVECS04 Frhs2[1081]: 6 0 1.00004 shouldn't be
174.40/175.03	WSVECS04 Frhs2[1097]: 6 0 1.00003 shouldn't be
174.40/175.03	WSVECS04 Frhs2[1217]: 6 0 1.00002 shouldn't be
197.52/198.21	c bounds -600 >= -663 @ 195.658
198.01/198.76	c #Conflicts:      19000 | #Constraints:      99717
198.01/198.76	c bounds -600 >= -662 @ 196.2
198.43/199.19	c #Conflicts:      20000 | #Constraints:     100786
198.43/199.19	c bounds -600 >= -661 @ 196.608
198.91/199.62	c #Conflicts:      21000 | #Constraints:     101834
198.91/199.62	c bounds -600 >= -660 @ 197.032
199.32/200.03	c INPROCESSING
199.32/200.03	c GARBAGE COLLECT
199.32/200.03	c #Conflicts:      22000 | #Constraints:      99532
199.32/200.03	c bounds -600 >= -659 @ 197.438
199.81/200.54	c #Conflicts:      23000 | #Constraints:     100625
199.81/200.54	c bounds -600 >= -658 @ 197.94
200.21/200.97	c #Conflicts:      24000 | #Constraints:     101670
200.21/200.97	c bounds -600 >= -657 @ 198.366
250.56/251.47	c #Conflicts:      25000 | #Constraints:     102697
250.56/251.47	c #Conflicts:      26000 | #Constraints:     103697
250.56/251.47	c #Conflicts:      27000 | #Constraints:     104697
250.56/251.47	c #Conflicts:      28000 | #Constraints:     105697
250.56/251.47	c #Conflicts:      29000 | #Constraints:     106697
250.56/251.47	c #Conflicts:      30000 | #Constraints:     107697
250.56/251.47	c #Conflicts:      31000 | #Constraints:     108697
250.56/251.47	c #Conflicts:      32000 | #Constraints:     109697
250.56/251.47	c #Conflicts:      33000 | #Constraints:     110697
250.56/251.47	c INPROCESSING
250.56/251.47	c GARBAGE COLLECT
250.56/251.47	c rational objective -657
252.05/252.94	c #Conflicts:      34000 | #Constraints:     104107
252.05/252.94	c bounds -600 >= -656 @ 250.011
252.75/253.64	c #Conflicts:      35000 | #Constraints:     105164
252.75/253.64	c bounds -600 >= -655 @ 250.698
253.35/254.20	c #Conflicts:      36000 | #Constraints:     106212
253.35/254.20	c bounds -600 >= -654 @ 251.253
253.94/254.88	c #Conflicts:      37000 | #Constraints:     107239
253.94/254.88	c bounds -600 >= -653 @ 251.927
254.54/255.44	c #Conflicts:      38000 | #Constraints:     108275
254.54/255.44	c INPROCESSING
254.54/255.44	c GARBAGE COLLECT
254.54/255.44	c bounds -600 >= -652 @ 252.476
255.15/256.05	c #Conflicts:      39000 | #Constraints:     103187
255.15/256.05	c bounds -600 >= -651 @ 253.079
255.84/256.71	c #Conflicts:      40000 | #Constraints:     104244
255.84/256.71	c bounds -600 >= -650 @ 253.722
256.54/257.43	c #Conflicts:      41000 | #Constraints:     105283
256.54/257.43	c bounds -600 >= -649 @ 254.429
257.04/257.94	c #Conflicts:      42000 | #Constraints:     106325
257.04/257.94	c bounds -600 >= -648 @ 254.933
322.23/323.38	c INPROCESSING
322.23/323.38	c GARBAGE COLLECT
322.23/323.38	c rational objective -648
323.72/324.89	c #Conflicts:      43000 | #Constraints:     101812
323.72/324.89	c #Conflicts:      44000 | #Constraints:     102812
323.72/324.89	c bounds -600 >= -647 @ 321.544
324.62/325.77	c #Conflicts:      45000 | #Constraints:     103884
324.62/325.77	c bounds -600 >= -646 @ 322.416
325.62/326.79	c #Conflicts:      46000 | #Constraints:     104932
325.62/326.79	c #Conflicts:      47000 | #Constraints:     105932
325.62/326.79	c bounds -600 >= -645 @ 323.408
326.71/327.84	c #Conflicts:      48000 | #Constraints:     106977
326.71/327.84	c #Conflicts:      49000 | #Constraints:     107977
326.71/327.84	c bounds -600 >= -644 @ 324.448
335.39/336.50	c #Conflicts:      50000 | #Constraints:     109016
335.39/336.50	c bounds -600 >= -643 @ 333.054
336.39/337.56	c #Conflicts:      51000 | #Constraints:     110047
336.39/337.56	c #Conflicts:      52000 | #Constraints:     111047
336.39/337.56	c bounds -600 >= -642 @ 334.089
350.14/351.37	c #Conflicts:      53000 | #Constraints:     112089
350.14/351.37	c #Conflicts:      54000 | #Constraints:     113089
350.14/351.37	c #Conflicts:      55000 | #Constraints:     114089
350.14/351.37	c #Conflicts:      56000 | #Constraints:     115089
350.14/351.37	c #Conflicts:      57000 | #Constraints:     116091
350.14/351.37	c #Conflicts:      58000 | #Constraints:     117092
350.14/351.37	c INPROCESSING
350.14/351.37	c GARBAGE COLLECT
350.14/351.37	c #Conflicts:      59000 | #Constraints:     107380
350.14/351.37	c #Conflicts:      60000 | #Constraints:     108380
350.14/351.37	c bounds -600 >= -641 @ 347.76
356.83/358.05	WSVECS04 Frhs2[2]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[17]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[22]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[27]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[32]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[42]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[49]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[50]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[63]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[65]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[68]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[70]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[75]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[80]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[83]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[90]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[93]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[97]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[105]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[110]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[115]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[119]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[120]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[130]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[134]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[135]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[140]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[144]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[237]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[238]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[241]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[242]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[243]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[246]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[248]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[251]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[253]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[256]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[261]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[266]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[267]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[268]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[271]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[273]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[276]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[277]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[278]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[323]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[326]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[328]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[331]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[333]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[336]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[338]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[341]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[343]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[346]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[351]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[353]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[356]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[358]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[361]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[363]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[367]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[372]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[377]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[382]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[387]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[392]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[393]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[397]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[402]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[403]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[452]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[457]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[462]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[467]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[477]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[484]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[485]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[486]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[491]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[496]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[501]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[510]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[511]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[516]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[520]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[521]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[523]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[526]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[528]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[531]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[533]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[536]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[538]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[541]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[546]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[548]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[551]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[553]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[556]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[558]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[562]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[567]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[572]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[577]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[582]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[583]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[587]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[592]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[593]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[632]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[637]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[639]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[642]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[647]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[654]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[657]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[664]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[666]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[671]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[676]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[685]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[686]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[691]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[695]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[696]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[700]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[704]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[705]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[715]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[719]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[720]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[725]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[729]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[732]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[737]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[742]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[747]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[748]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[752]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[757]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[758]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[792]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[794]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[797]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[802]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[809]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[812]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[819]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[821]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[826]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[835]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[836]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[841]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[845]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[846]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[849]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[850]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[860]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[864]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[865]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[870]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[874]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[887]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[898]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[903]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[908]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[911]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[918]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[921]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[932]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[942]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[951]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[961]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[966]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[970]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[980]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[984]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[985]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[990]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[994]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[997]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1002]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1003]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1007]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1012]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1013]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1061]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1066]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1070]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1075]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1079]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1080]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1085]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1089]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1124]: 6 0 1.00001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1127]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1134]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1135]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1136]: 6 0 1.00006 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1141]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1145]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1146]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1148]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1153]: 6 0 1.00004 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1162]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1167]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1168]: 6 0 1.00005 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1173]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1176]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1182]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1189]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1191]: 6 0 1.00007 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1195]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1200]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1204]: 6 0 1.00003 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1207]: 6 0 1.00009 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1208]: 6 0 1.0001 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1219]: 6 0 1.00002 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1220]: 6 0 1.00008 shouldn't be
356.83/358.05	WSVECS04 Frhs2[1223]: 6 0 1.00006 shouldn't be
374.36/375.60	WSVECS04 Frhs2[927]: 6 0 1.00007 shouldn't be
374.36/375.60	WSVECS04 Frhs2[949]: 6 0 1.00008 shouldn't be
394.30/395.65	WSVECS04 Frhs2[368]: 6 0 1.00009 shouldn't be
419.82/421.27	c #Conflicts:      61000 | #Constraints:     109414
419.82/421.27	c bounds -600 >= -640 @ 417.3
420.91/422.35	c #Conflicts:      62000 | #Constraints:     110441
420.91/422.35	c bounds -600 >= -639 @ 418.371
422.11/423.52	c #Conflicts:      63000 | #Constraints:     111474
422.11/423.52	c bounds -600 >= -638 @ 419.518
435.77/437.28	c #Conflicts:      64000 | #Constraints:     112528
435.77/437.28	c #Conflicts:      65000 | #Constraints:     113528
435.77/437.28	c INPROCESSING
435.77/437.28	c GARBAGE COLLECT
435.77/437.28	WSVECS04 Frhs2[3]: 6 0 1.00008 shouldn't be
435.77/437.28	WSVECS04 Frhs2[6]: 6 0 1.00008 shouldn't be
435.77/437.28	WSVECS04 Frhs2[23]: 6 0 1.00005 shouldn't be
435.77/437.28	WSVECS04 Frhs2[46]: 6 0 1.00006 shouldn't be
435.77/437.28	WSVECS04 Frhs2[147]: 6 0 1.00009 shouldn't be
435.77/437.28	WSVECS04 Frhs2[223]: 6 0 1.00006 shouldn't be
435.77/437.28	WSVECS04 Frhs2[296]: 6 0 1.00009 shouldn't be
435.77/437.28	WSVECS04 Frhs2[427]: 6 0 1.00003 shouldn't be
435.77/437.28	WSVECS04 Frhs2[433]: 6 0 1.00005 shouldn't be
435.77/437.28	WSVECS04 Frhs2[1023]: 6 0 1.00007 shouldn't be
435.77/437.28	WSVECS04 Frhs2[1057]: 6 0 1.00005 shouldn't be
435.77/437.28	WSVECS04 Frhs2[1067]: 6 0 1.00003 shouldn't be
435.77/437.28	WSVECS04 Frhs2[1108]: 6 0 1.0001 shouldn't be
435.77/437.28	WSVECS04 Frhs2[1154]: 6 0 1.00003 shouldn't be
482.13/483.72	WSVECS04 Frhs2[1017]: 6 0 1.00004 shouldn't be
482.13/483.72	WSVECS04 Frhs2[1181]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[26]: 6 0 1.00003 shouldn't be
504.66/506.30	WSVECS04 Frhs2[33]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[41]: 6 0 1.0001 shouldn't be
504.66/506.30	WSVECS04 Frhs2[48]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[58]: 6 0 1.00002 shouldn't be
504.66/506.30	WSVECS04 Frhs2[71]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[73]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[81]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[96]: 6 0 1.00007 shouldn't be
504.66/506.30	WSVECS04 Frhs2[151]: 6 0 1.00007 shouldn't be
504.66/506.30	WSVECS04 Frhs2[166]: 6 0 1.00004 shouldn't be
504.66/506.30	WSVECS04 Frhs2[167]: 6 0 1.00008 shouldn't be
504.66/506.30	WSVECS04 Frhs2[181]: 6 0 1.00004 shouldn't be
504.66/506.30	WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be
504.66/506.30	WSVECS04 Frhs2[217]: 6 0 1.00008 shouldn't be
504.66/506.30	WSVECS04 Frhs2[283]: 6 0 1.00008 shouldn't be
504.66/506.30	WSVECS04 Frhs2[306]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[321]: 6 0 1.00003 shouldn't be
504.66/506.30	WSVECS04 Frhs2[468]: 6 0 1.00002 shouldn't be
504.66/506.30	WSVECS04 Frhs2[481]: 6 0 1.00003 shouldn't be
504.66/506.30	WSVECS04 Frhs2[483]: 6 0 1.00004 shouldn't be
504.66/506.30	WSVECS04 Frhs2[612]: 6 0 1.00004 shouldn't be
504.66/506.30	WSVECS04 Frhs2[877]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[891]: 6 0 1.00007 shouldn't be
504.66/506.30	WSVECS04 Frhs2[892]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[897]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[913]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[941]: 6 0 1.00008 shouldn't be
504.66/506.30	WSVECS04 Frhs2[948]: 6 0 1.00003 shouldn't be
504.66/506.30	WSVECS04 Frhs2[956]: 6 0 1.00005 shouldn't be
504.66/506.30	WSVECS04 Frhs2[963]: 6 0 1.00008 shouldn't be
504.66/506.30	WSVECS04 Frhs2[971]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1060]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1062]: 6 0 1.0001 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1096]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1097]: 6 0 1.00008 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1149]: 6 0 1.00003 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1186]: 6 0 1.00007 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1188]: 6 0 1.00009 shouldn't be
504.66/506.30	WSVECS04 Frhs2[1196]: 6 0 1.00007 shouldn't be
527.40/529.16	WSVECS04 Frhs2[298]: 6 0 1.00004 shouldn't be
527.40/529.16	WSVECS04 Frhs2[313]: 6 0 1.00004 shouldn't be
527.40/529.16	WSVECS04 Frhs2[618]: 6 0 1.00008 shouldn't be
527.40/529.16	WSVECS04 Frhs2[778]: 6 0 1.00002 shouldn't be
527.40/529.16	WSVECS04 Frhs2[933]: 6 0 1.00008 shouldn't be
527.40/529.16	WSVECS04 Frhs2[1221]: 6 0 1.00004 shouldn't be
549.24/551.03	WSVECS04 Frhs2[88]: 6 0 1.00001 shouldn't be
549.24/551.03	WSVECS04 Frhs2[187]: 6 0 1.00005 shouldn't be
549.24/551.03	WSVECS04 Frhs2[461]: 6 0 1.00002 shouldn't be
549.24/551.03	WSVECS04 Frhs2[476]: 6 0 1.00003 shouldn't be
549.24/551.03	WSVECS04 Frhs2[772]: 6 0 1.00006 shouldn't be
549.24/551.03	WSVECS04 Frhs2[876]: 6 0 1.00007 shouldn't be
549.24/551.03	WSVECS04 Frhs2[907]: 6 0 1.00008 shouldn't be
549.24/551.03	WSVECS04 Frhs2[946]: 6 0 1.00003 shouldn't be
570.06/571.91	WSVECS04 Frhs2[51]: 6 0 1.00001 shouldn't be
570.06/571.91	WSVECS04 Frhs2[1102]: 6 0 1.00006 shouldn't be
588.50/590.43	WSVECS04 Frhs2[458]: 6 0 1.00009 shouldn't be
619.40/621.44	c #Conflicts:      66000 | #Constraints:     105786
619.40/621.44	c bounds -600 >= -637 @ 616.501
621.20/623.21	c #Conflicts:      67000 | #Constraints:     106849
621.20/623.21	c #Conflicts:      68000 | #Constraints:     107849
621.20/623.21	c bounds -600 >= -636 @ 618.249
622.79/624.85	c #Conflicts:      69000 | #Constraints:     108903
622.79/624.85	c #Conflicts:      70000 | #Constraints:     109903
622.79/624.85	c bounds -600 >= -635 @ 619.867
660.30/662.54	c #Conflicts:      71000 | #Constraints:     110942
660.30/662.54	c INPROCESSING
660.30/662.54	c GARBAGE COLLECT
660.30/662.54	c #Conflicts:      72000 | #Constraints:     104593
660.30/662.54	c #Conflicts:      73000 | #Constraints:     105593
660.30/662.54	c #Conflicts:      74000 | #Constraints:     106593
660.30/662.54	c #Conflicts:      75000 | #Constraints:     107593
660.30/662.54	c #Conflicts:      76000 | #Constraints:     108593
660.30/662.54	c #Conflicts:      77000 | #Constraints:     109593
660.30/662.54	c #Conflicts:      78000 | #Constraints:     110593
660.30/662.54	c #Conflicts:      79000 | #Constraints:     111593
660.30/662.54	c #Conflicts:      80000 | #Constraints:     112593
660.30/662.54	c #Conflicts:      81000 | #Constraints:     113593
660.30/662.54	c #Conflicts:      82000 | #Constraints:     114593
660.30/662.54	c #Conflicts:      83000 | #Constraints:     115593
660.30/662.54	c #Conflicts:      84000 | #Constraints:     116593
660.30/662.54	c #Conflicts:      85000 | #Constraints:     117593
660.30/662.54	c #Conflicts:      86000 | #Constraints:     118593
660.30/662.54	c #Conflicts:      87000 | #Constraints:     119593
660.30/662.54	c #Conflicts:      88000 | #Constraints:     120593
660.30/662.54	c #Conflicts:      89000 | #Constraints:     121593
660.30/662.54	c #Conflicts:      90000 | #Constraints:     122593
660.30/662.54	c #Conflicts:      91000 | #Constraints:     123593
660.30/662.54	c INPROCESSING
660.30/662.54	c GARBAGE COLLECT
660.30/662.54	c #Conflicts:      92000 | #Constraints:     110880
660.30/662.54	c #Conflicts:      93000 | #Constraints:     111880
660.30/662.54	c bounds -600 >= -634 @ 657.129
666.69/668.96	c #Conflicts:      94000 | #Constraints:     112962
666.69/668.96	c #Conflicts:      95000 | #Constraints:     113962
666.69/668.96	c bounds -600 >= -633 @ 663.496
668.48/670.71	c #Conflicts:      96000 | #Constraints:     115001
668.48/670.71	c bounds -600 >= -632 @ 665.222
674.06/676.32	c #Conflicts:      97000 | #Constraints:     116043
674.06/676.32	c #Conflicts:      98000 | #Constraints:     117043
674.06/676.32	c #Conflicts:      99000 | #Constraints:     118044
674.06/676.32	c INPROCESSING
674.06/676.32	c GARBAGE COLLECT
674.06/676.32	c bounds -600 >= -631 @ 670.773
676.26/678.54	c #Conflicts:     100000 | #Constraints:     108183
676.26/678.54	c #Conflicts:     101000 | #Constraints:     109183
676.26/678.54	c bounds -600 >= -630 @ 672.973
682.64/684.99	c #Conflicts:     102000 | #Constraints:     110255
682.64/684.99	c #Conflicts:     103000 | #Constraints:     111255
682.64/684.99	c bounds -600 >= -629 @ 679.375
685.34/687.68	c #Conflicts:     104000 | #Constraints:     112304
685.34/687.68	c #Conflicts:     105000 | #Constraints:     113304
685.34/687.68	c bounds -600 >= -628 @ 682.032
695.90/698.22	c #Conflicts:     106000 | #Constraints:     114340
695.90/698.22	c #Conflicts:     107000 | #Constraints:     115340
695.90/698.22	c INPROCESSING
695.90/698.22	c GARBAGE COLLECT
695.90/698.22	c #Conflicts:     108000 | #Constraints:     106931
695.90/698.22	WSVECS04 Frhs2[23]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[33]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[39]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[71]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[81]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[87]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[180]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[239]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[249]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[259]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[261]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[264]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[274]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[296]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[306]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[312]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[411]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[416]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[426]: 6 0 1.0001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[441]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[458]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[468]: 6 0 1.00009 shouldn't be
695.90/698.22	WSVECS04 Frhs2[474]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[596]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[601]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[611]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[616]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[626]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[634]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[644]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[646]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[649]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[652]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[659]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[761]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[771]: 6 0 1.0001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[776]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[786]: 6 0 1.0001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[799]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[801]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[804]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[807]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[814]: 6 0 1.0001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[876]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[877]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[890]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[891]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[892]: 6 0 1.00009 shouldn't be
695.90/698.22	WSVECS04 Frhs2[897]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[900]: 6 0 1.00009 shouldn't be
695.90/698.22	WSVECS04 Frhs2[933]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[939]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[956]: 6 0 1.0001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[962]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1016]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1021]: 6 0 1.00009 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1031]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1036]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1039]: 6 0 1.00009 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1049]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1058]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1068]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1095]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1096]: 6 0 1.00006 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1102]: 6 0 1.00002 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1105]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1106]: 6 0 1.00001 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1116]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1122]: 6 0 1.00003 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1129]: 6 0 1.00004 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1155]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1171]: 6 0 1.00009 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1172]: 6 0 1.00007 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1177]: 6 0 1.00005 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1179]: 6 0 1.00008 shouldn't be
695.90/698.22	WSVECS04 Frhs2[1211]: 6 0 1.00003 shouldn't be
708.79/711.19	c #Conflicts:     109000 | #Constraints:     107932
708.79/711.19	c #Conflicts:     110000 | #Constraints:     108932
708.79/711.19	c bounds -600 >= -627 @ 705.387
712.77/715.14	c #Conflicts:     111000 | #Constraints:     110034
712.77/715.14	c #Conflicts:     112000 | #Constraints:     111034
712.77/715.14	c #Conflicts:     113000 | #Constraints:     112034
712.77/715.14	c bounds -600 >= -626 @ 709.292
716.00/718.53	c #Conflicts:     114000 | #Constraints:     113079
716.00/718.53	c #Conflicts:     115000 | #Constraints:     114079
716.00/718.53	c #Conflicts:     116000 | #Constraints:     115079
716.00/718.53	c bounds -600 >= -625 @ 712.502
719.80/722.32	c #Conflicts:     117000 | #Constraints:     116115
719.80/722.32	c #Conflicts:     118000 | #Constraints:     117115
719.80/722.32	c #Conflicts:     119000 | #Constraints:     118115
719.80/722.32	c bounds -600 >= -624 @ 716.253
723.88/726.48	c #Conflicts:     120000 | #Constraints:     119164
723.88/726.48	c #Conflicts:     121000 | #Constraints:     120164
723.88/726.48	c bounds -600 >= -623 @ 720.372
731.26/733.81	c #Conflicts:     122000 | #Constraints:     121203
731.26/733.81	c #Conflicts:     123000 | #Constraints:     122203
731.26/733.81	c #Conflicts:     124000 | #Constraints:     123204
731.26/733.81	c bounds -600 >= -622 @ 727.648
735.84/738.40	c #Conflicts:     125000 | #Constraints:     124246
735.84/738.40	c #Conflicts:     126000 | #Constraints:     125246
735.84/738.40	c #Conflicts:     127000 | #Constraints:     126246
735.84/738.40	c #Conflicts:     128000 | #Constraints:     127246
735.84/738.40	c bounds -600 >= -621 @ 732.182
850.30/853.21	c #Conflicts:     129000 | #Constraints:     128280
850.30/853.21	c #Conflicts:     130000 | #Constraints:     129280
850.30/853.21	c #Conflicts:     131000 | #Constraints:     130280
850.30/853.21	c INPROCESSING
850.30/853.21	c GARBAGE COLLECT
850.30/853.21	c rational objective -621
901.30/904.42	c #Conflicts:     132000 | #Constraints:     114398
901.30/904.42	c #Conflicts:     133000 | #Constraints:     115399
901.30/904.42	c #Conflicts:     134000 | #Constraints:     116401
901.30/904.42	c #Conflicts:     135000 | #Constraints:     117402
901.30/904.42	c #Conflicts:     136000 | #Constraints:     118403
901.30/904.42	c #Conflicts:     137000 | #Constraints:     119403
901.30/904.42	c #Conflicts:     138000 | #Constraints:     120404
901.30/904.42	c #Conflicts:     139000 | #Constraints:     121404
901.30/904.42	c #Conflicts:     140000 | #Constraints:     122406
901.30/904.42	c INPROCESSING
901.30/904.42	c GARBAGE COLLECT
901.30/904.42	c #Conflicts:     141000 | #Constraints:     110444
901.30/904.42	c #Conflicts:     142000 | #Constraints:     111444
901.30/904.42	c #Conflicts:     143000 | #Constraints:     112445
901.30/904.42	c bounds -600 >= -620 @ 897.21
904.00/907.17	c #Conflicts:     144000 | #Constraints:     113487
904.00/907.17	c #Conflicts:     145000 | #Constraints:     114487
904.00/907.17	c bounds -600 >= -619 @ 899.924
907.67/910.85	c #Conflicts:     146000 | #Constraints:     115529
907.67/910.85	c #Conflicts:     147000 | #Constraints:     116529
907.67/910.85	c #Conflicts:     148000 | #Constraints:     117529
907.67/910.85	c bounds -600 >= -618 @ 903.565
919.81/923.04	c #Conflicts:     149000 | #Constraints:     118568
919.81/923.04	c #Conflicts:     150000 | #Constraints:     119568
919.81/923.04	c INPROCESSING
919.81/923.04	c GARBAGE COLLECT
919.81/923.04	c #Conflicts:     151000 | #Constraints:     109280
919.81/923.04	c #Conflicts:     152000 | #Constraints:     110280
919.81/923.04	c #Conflicts:     153000 | #Constraints:     111281
919.81/923.04	c bounds -600 >= -617 @ 915.593
930.47/933.79	c #Conflicts:     154000 | #Constraints:     112347
930.47/933.79	c #Conflicts:     155000 | #Constraints:     113347
930.47/933.79	c #Conflicts:     156000 | #Constraints:     114347
930.47/933.79	c #Conflicts:     157000 | #Constraints:     115348
930.47/933.79	c bounds -600 >= -616 @ 926.266
1098.96/1102.88	c #Conflicts:     158000 | #Constraints:     116402
1098.96/1102.88	c #Conflicts:     159000 | #Constraints:     117402
1098.96/1102.88	c #Conflicts:     160000 | #Constraints:     118402
1098.96/1102.88	c #Conflicts:     161000 | #Constraints:     119402
1098.96/1102.88	c #Conflicts:     162000 | #Constraints:     120402
1098.96/1102.88	c #Conflicts:     163000 | #Constraints:     121405
1098.96/1102.88	c #Conflicts:     164000 | #Constraints:     122407
1098.96/1102.88	c #Conflicts:     165000 | #Constraints:     123408
1098.96/1102.88	c #Conflicts:     166000 | #Constraints:     124410
1098.96/1102.88	c #Conflicts:     167000 | #Constraints:     125410
1098.96/1102.88	c #Conflicts:     168000 | #Constraints:     126411
1098.96/1102.88	c #Conflicts:     169000 | #Constraints:     127412
1098.96/1102.88	c #Conflicts:     170000 | #Constraints:     128414
1098.96/1102.88	c #Conflicts:     171000 | #Constraints:     129414
1098.96/1102.88	c #Conflicts:     172000 | #Constraints:     130414
1098.96/1102.88	c #Conflicts:     173000 | #Constraints:     131414
1098.96/1102.88	c #Conflicts:     174000 | #Constraints:     132414
1098.96/1102.88	c #Conflicts:     175000 | #Constraints:     133414
1098.96/1102.88	c #Conflicts:     176000 | #Constraints:     134415
1098.96/1102.88	c #Conflicts:     177000 | #Constraints:     135415
1098.96/1102.88	c #Conflicts:     178000 | #Constraints:     136416
1098.96/1102.88	c INPROCESSING
1098.96/1102.88	c GARBAGE COLLECT
1098.96/1102.88	c rational objective -616
1116.22/1120.16	c #Conflicts:     179000 | #Constraints:     114519
1116.22/1120.16	c bounds -600 >= -615 @ 1111.44
1117.70/1121.67	c #Conflicts:     180000 | #Constraints:     115561
1117.70/1121.67	c bounds -600 >= -614 @ 1112.93
1119.40/1123.36	c #Conflicts:     181000 | #Constraints:     116573
1119.40/1123.36	c bounds -600 >= -613 @ 1114.6
1121.90/1125.85	c #Conflicts:     182000 | #Constraints:     117609
1121.90/1125.85	c bounds -600 >= -612 @ 1117.07
1124.88/1128.84	c #Conflicts:     183000 | #Constraints:     118633
1124.88/1128.84	c #Conflicts:     184000 | #Constraints:     119633
1124.88/1128.84	c bounds -600 >= -611 @ 1120.01
1127.97/1131.98	c bounds -600 >= -610 @ 1123.13
1129.67/1133.65	c #Conflicts:     185000 | #Constraints:     120694
1129.67/1133.65	c bounds -600 >= -609 @ 1124.77
1138.52/1142.57	c #Conflicts:     186000 | #Constraints:     121718
1138.52/1142.57	c #Conflicts:     187000 | #Constraints:     122719
1138.52/1142.57	c #Conflicts:     188000 | #Constraints:     123719
1138.52/1142.57	c bounds -600 >= -608 @ 1133.6
1151.19/1155.27	c #Conflicts:     189000 | #Constraints:     124761
1151.19/1155.27	c INPROCESSING
1151.19/1155.27	c GARBAGE COLLECT
1151.19/1155.27	WSVECS04 Frhs2[1]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[6]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[24]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[26]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[33]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[39]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[41]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[46]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[49]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[58]: 6 0 1.0001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[72]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[73]: 6 0 1.0001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[81]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[87]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[88]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[97]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[147]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[165]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[182]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[186]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[187]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[190]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[238]: 6 0 1.0001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[239]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[244]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[249]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[258]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[261]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[267]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[273]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[274]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[278]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[283]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[293]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[306]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[318]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[322]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[370]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[375]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[390]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[393]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[409]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[424]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[427]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[431]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[434]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[459]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[461]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[468]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[481]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[560]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[565]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[577]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[580]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[583]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[612]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[616]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[618]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[641]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[648]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[656]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[664]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[730]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[745]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[748]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[769]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[772]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[778]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[789]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[796]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[816]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[819]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[901]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[902]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[916]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[921]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[926]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[933]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[939]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[941]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[946]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[949]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[956]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[962]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[963]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[972]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[997]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1003]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1057]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1058]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1061]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1066]: 6 0 1.00001 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1071]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1095]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1096]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1097]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1101]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1102]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1108]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1114]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1123]: 6 0 1.00003 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1129]: 6 0 1.00004 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1133]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1148]: 6 0 1.00002 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1154]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1158]: 6 0 1.00009 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1171]: 6 0 1.00008 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1176]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1181]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1186]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1189]: 6 0 1.00007 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1193]: 6 0 1.00006 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1197]: 6 0 1.00005 shouldn't be
1151.19/1155.27	WSVECS04 Frhs2[1214]: 6 0 1.00008 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[3]: 6 0 1.00001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[68]: 6 0 1.00002 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[93]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[151]: 6 0 1.00001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[167]: 6 0 1.00002 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[243]: 6 0 1.0001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[264]: 6 0 1.00008 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[268]: 6 0 1.00001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[288]: 6 0 1.00009 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[298]: 6 0 1.00009 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[365]: 6 0 1.00008 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[391]: 6 0 1.00006 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[433]: 6 0 1.00007 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[439]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[444]: 6 0 1.00004 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[484]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[581]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[590]: 6 0 1.0001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[661]: 6 0 1.00005 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[746]: 6 0 1.00004 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[776]: 6 0 1.00007 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[779]: 6 0 1.00008 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[784]: 6 0 1.0001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[794]: 6 0 1.00006 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[803]: 6 0 1.00009 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[809]: 6 0 1.00009 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[909]: 6 0 1.00001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[922]: 6 0 1.00002 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1001]: 6 0 1.0001 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1067]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1105]: 6 0 1.00002 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1106]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1109]: 6 0 1.00002 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1119]: 6 0 1.00008 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1122]: 6 0 1.00009 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1177]: 6 0 1.00003 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1216]: 6 0 1.00006 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1219]: 6 0 1.00008 shouldn't be
1197.27/1201.43	WSVECS04 Frhs2[1222]: 6 0 1.00005 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[51]: 6 0 1.0001 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[63]: 6 0 1.0001 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[180]: 6 0 1.0001 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[181]: 6 0 1.00006 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[312]: 6 0 1.00002 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[313]: 6 0 1.00006 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[387]: 6 0 1.00007 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[609]: 6 0 1.00001 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[624]: 6 0 1.00001 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[629]: 6 0 1.00007 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[968]: 6 0 1.00002 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[1010]: 6 0 1.00003 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[1128]: 6 0 1.00007 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[1153]: 6 0 1.00002 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[1165]: 6 0 1.00008 shouldn't be
1220.92/1225.13	WSVECS04 Frhs2[1205]: 6 0 1.00007 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[166]: 6 0 1.00008 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[248]: 6 0 1.00008 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[400]: 6 0 1.00005 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[414]: 6 0 1.00005 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[474]: 6 0 1.00002 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[599]: 6 0 1.00002 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[639]: 6 0 1.00009 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[654]: 6 0 1.00004 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[742]: 6 0 1.00006 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[811]: 6 0 1.00003 shouldn't be
1244.55/1248.82	WSVECS04 Frhs2[917]: 6 0 1.00007 shouldn't be
1262.80/1267.17	WSVECS04 Frhs2[297]: 6 0 1.0001 shouldn't be
1262.80/1267.17	WSVECS04 Frhs2[476]: 6 0 1.0001 shouldn't be
1262.80/1267.17	WSVECS04 Frhs2[619]: 6 0 1.00004 shouldn't be
1262.80/1267.17	WSVECS04 Frhs2[755]: 6 0 1.00005 shouldn't be
1262.80/1267.17	WSVECS04 Frhs2[1000]: 6 0 1.00009 shouldn't be
1262.80/1267.17	WSVECS04 Frhs2[1172]: 6 0 1.0001 shouldn't be
1286.73/1291.12	WSVECS04 Frhs2[156]: 6 0 1.00009 shouldn't be
1399.93/1404.63	WSVECS04 Frhs2[161]: 6 0 1.0001 shouldn't be
1573.74/1579.01	c bounds -600 >= -607 @ 1568.21
1578.85/1584.07	c #Conflicts:     190000 | #Constraints:     111258
1578.85/1584.07	c bounds -600 >= -606 @ 1573.23
1584.83/1590.03	c #Conflicts:     191000 | #Constraints:     112318
1584.83/1590.03	c #Conflicts:     192000 | #Constraints:     113318
1584.83/1590.03	c bounds -600 >= -605 @ 1579.14
1586.93/1592.19	c #Conflicts:     193000 | #Constraints:     114361
1586.93/1592.19	c bounds -600 >= -604 @ 1581.28
1590.10/1595.35	c #Conflicts:     194000 | #Constraints:     115388
1590.10/1595.35	c #Conflicts:     195000 | #Constraints:     116388
1590.10/1595.35	c bounds -600 >= -603 @ 1584.4
1596.18/1601.41	c #Conflicts:     196000 | #Constraints:     117442
1596.18/1601.41	c bounds -600 >= -602 @ 1590.42
1601.87/1607.19	c #Conflicts:     197000 | #Constraints:     118473
1601.87/1607.19	c #Conflicts:     198000 | #Constraints:     119473
1601.87/1607.19	c #Conflicts:     199000 | #Constraints:     120473
1601.87/1607.19	c bounds -600 >= -601 @ 1596.13
1611.85/1617.12	WSVECS04 Frhs2[24]: 6 0 1.00006 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[48]: 6 0 1.00004 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[72]: 6 0 1.00007 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[96]: 6 0 1.00009 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[268]: 6 0 1.0001 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[273]: 6 0 1.00002 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[297]: 6 0 1.00006 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[409]: 6 0 1.00009 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[439]: 6 0 1.00009 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[459]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[483]: 6 0 1.00002 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[560]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[565]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[576]: 6 0 1.0001 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[577]: 6 0 1.00006 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[580]: 6 0 1.00008 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[624]: 6 0 1.00001 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[779]: 6 0 1.00005 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[784]: 6 0 1.00004 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[875]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[902]: 6 0 1.00005 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[909]: 6 0 1.00007 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[916]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[922]: 6 0 1.00004 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[924]: 6 0 1.00006 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[948]: 6 0 1.00008 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[971]: 6 0 1.00007 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1043]: 6 0 1.00008 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1048]: 6 0 1.00008 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1066]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1109]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1114]: 6 0 1.00009 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1153]: 6 0 1.00001 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1165]: 6 0 1.00006 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1179]: 6 0 1.00003 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1188]: 6 0 1.00002 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1196]: 6 0 1.00007 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1205]: 6 0 1.00006 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1221]: 6 0 1.00002 shouldn't be
1611.85/1617.12	WSVECS04 Frhs2[1225]: 6 0 1.00004 shouldn't be
1618.03/1623.30	c #Conflicts:     200000 | #Constraints:     121501
1618.03/1623.30	c bounds -600 >= -600 @ 1612.15
1618.03/1623.30	c cpu time 1612.15 s
1618.03/1623.30	c deterministic time 6405617338 6.41e+09
1618.03/1623.30	c optimization time 0.146269 s
1618.03/1623.30	c total solve time 1611.44 s
1618.03/1623.30	c core-guided solve time 1299.73 s
1618.03/1623.30	c propagation time 480.113 s
1618.03/1623.30	c conflict analysis time 147.992 s
1618.03/1623.30	c propagations 142070746
1618.03/1623.30	c resolve steps 14456278
1618.03/1623.30	c decisions 343687
1618.03/1623.30	c conflicts 200453
1618.03/1623.30	c restarts 509
1618.03/1623.30	c inprocessing phases 22
1618.03/1623.30	c garbage collections 20 ,( 90.91 )
1618.03/1623.30	c input clauses 95928 ,( 95.79 )
1618.03/1623.30	c input cardinalities 2639 ,( 2.64 )
1618.03/1623.30	c input general constraints 1574 ,( 1.57 )
1618.03/1623.30	c input average constraint length 7.68
1618.03/1623.30	c input average constraint degree 2.18
1618.03/1623.30	c learned clauses 192529 ,( 95.99 )
1618.03/1623.30	c learned cardinalities 824 ,( 0.41 )
1618.03/1623.30	c learned general constraints 7214 ,( 3.60 )
1618.03/1623.30	c learned average constraint length 266.60
1618.03/1623.30	c learned average constraint degree 7979414.68
1618.03/1623.30	c watched  CF 32, 64, 128, Arb: 643 , 0 , 0 , 0
1618.03/1623.30	c counting CF 32, 64, 128, Arb: 8146 , 0 , 0 , 0
1618.03/1623.30	c watched   constraints 643 ,( 7.32 ) 
1618.03/1623.30	c counting  constraints 8145 ,( 92.68 ) 
1618.03/1623.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 620536100 , 514220185 , 218562832 ,( 671240 , 217891592 )
1618.03/1623.30	c gcd simplifications 28057
1618.03/1623.30	c detected cardinalities 1
1618.03/1623.30	c weakened non-implied lits 43567107
1618.03/1623.30	c weakened non-implying lits 270071
1618.03/1623.30	c original variables 6450
1618.03/1623.30	c clausal propagations 109940655
1618.03/1623.30	c cardinality propagations 12976791
1618.03/1623.30	c watched propagations 12686
1618.03/1623.30	c counting propagations 18619675
1618.03/1623.30	c watch lookups 1966641274
1618.03/1623.30	c watch backjump lookups 0
1618.03/1623.30	c watch checks 3468088690
1618.03/1623.30	c propagation checks 409533847
1618.03/1623.30	c constraint additions 275802130
1618.03/1623.30	c trail pops 142614734
1618.03/1623.30	c formula constraints 94350
1618.03/1623.30	c learned constraints 200460
1618.03/1623.30	c bound constraints 470
1618.03/1623.30	c core-guided constraints 5321
1618.03/1623.30	c encountered formula constraints 9650381
1618.03/1623.30	c encountered learned constraints 2311903
1618.03/1623.30	c encountered bound constraints 1251
1618.03/1623.30	c encountered core-guided constraints 2691350
1618.03/1623.30	c LP total time 1345 s
1618.03/1623.30	c LP solve time 1339.55 s
1618.03/1623.30	c LP constraints added 94381
1618.03/1623.30	c LP constraints removed 18
1618.03/1623.30	c LP pivots internal 208649
1618.03/1623.30	c LP pivots root 313580
1618.03/1623.30	c LP calls 63
1618.03/1623.30	c LP optimalities 5
1618.03/1623.30	c LP no pivot count 0
1618.03/1623.30	c LP infeasibilities 50
1618.03/1623.30	c LP valid Farkas constraints 50
1618.03/1623.30	c LP learned Farkas constraints 50
1618.03/1623.30	c LP basis resets 0
1618.03/1623.30	c LP cycling count 0
1618.03/1623.30	c LP singular count 0
1618.03/1623.30	c LP no primal count 0
1618.03/1623.30	c LP no farkas count 0
1618.03/1623.30	c LP other issue count 0
1618.03/1623.30	c LP Gomory cuts 7
1618.03/1623.30	c LP learned cuts 24
1618.03/1623.30	c LP deleted cuts 18
1618.03/1623.30	c LP encountered Gomory constraints 689
1618.03/1623.30	c LP encountered Farkas constraints 913
1618.03/1623.30	c LP encountered learned Farkas constraints 194
1618.03/1623.30	c CG auxiliary variables introduced 1906
1618.03/1623.30	c CG solutions found 2
1618.03/1623.30	c CG cores constructed 400
1618.03/1623.30	c CG core cardinality constraints returned 0
1618.03/1623.30	c CG unit cores 0
1618.03/1623.30	c CG single cores 399
1618.03/1623.30	c CG blocks removed during cardinality reduction 0
1618.03/1623.30	c CG first core best 0
1618.03/1623.30	c CG decision core best 0
1618.03/1623.30	c CG core reduction tie 1
1618.03/1623.30	c CG core degree average 1.00
1618.03/1623.30	c CG core slack average 6.09
1618.03/1623.30	c CG core upper bound improvements 0
1618.03/1623.30	c STR number of successful calls 0
1618.03/1623.30	c STR number of unsuccessful calls 0
1618.03/1623.30	c STR number of inconclusive calls 0
1618.03/1623.30	c STR number of successful attempts 0
1618.03/1623.30	c STR number of unsuccessful attempts 0
1618.03/1623.30	c STR number of inconclusive attempts 0
1618.03/1623.30	c STR average degree increase per successful call inf
1618.03/1623.30	c STR average degree increase per successful attempt inf
1618.03/1623.30	c STR total number of conflicts for successful attempts 0
1618.03/1623.30	c STR total number of conflicts for unsuccessful attempts 0
1618.03/1623.30	c STR total number of conflicts for inconclusive attempts 0
1618.03/1623.30	c STR average number of conflicts per successful attempt inf
1618.03/1623.30	c STR average number of conflicts per unsuccessful attempt inf
1618.03/1623.30	c STR average number of conflicts per inconclusive attempt inf
1618.03/1623.30	c AVG.sumWPerc 75.58 
1618.03/1623.30	c bigint constraints 0 
1618.03/1623.30	o -600
1618.03/1623.30	s OPTIMUM FOUND
1618.03/1623.30	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

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul 16 15:48:03 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS -600 <= obj <= -600
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS ~600 <= obj <= ~600
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4532741-1752597565/watcher-4532741-1752597565 -o /tmp/evaluation-result-4532741-1752597565/solver-4532741-1752597565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752597301-129783 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532741-1752597565.opb PROOFDIR/proof-4532741-1752597565 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 4.12 3.27 3.71 5/254 130315
/proc/meminfo: memFree=119214608/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130315] ppid=130313 vsize=35472 memory=28104 CPUtime=0.08 cores=4,6
/proc/130315/stat : 130315 (pbsuma) R 130313 130313 129772 0 -1 4194304 3494 0 0 0 7 1 0 0 20 0 1 0 175435361 36323328 7026 18446744073709551615 4210688 4653049 140731162474928 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 18288640 140731162482913 140731162483248 140731162483248 140731162488815 0
/proc/130315/statm: 8868 7026 960 108 0 6276 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 39664 KiB
Current children cumulated memory: 31048 KiB

[startup+0.217802 s]*
/proc/loadavg: 4.12 3.27 3.71 5/254 130315
/proc/meminfo: memFree=119198988/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130315] ppid=130313 vsize=54396 memory=39900 CPUtime=0.18 cores=4,6
/proc/130315/stat : 130315 (pbsuma) R 130313 130313 129772 0 -1 4194304 7590 0 0 0 15 3 0 0 20 0 1 0 175435361 55701504 9975 18446744073709551615 4210688 4653049 140731162474928 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 18288640 140731162482913 140731162483248 140731162483248 140731162488815 0
/proc/130315/statm: 13599 9975 1024 108 0 11007 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 58588 KiB
Current children cumulated memory: 42844 KiB

[startup+0.313648 s]*
/proc/loadavg: 4.12 3.27 3.71 5/254 130315
/proc/meminfo: memFree=119183380/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130315] ppid=130313 vsize=74412 memory=54236 CPUtime=0.27 cores=4,6
/proc/130315/stat : 130315 (pbsuma) R 130313 130313 129772 0 -1 4194304 11666 0 0 0 23 4 0 0 20 0 1 0 175435361 76197888 13559 18446744073709551615 4210688 4653049 140731162474928 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 18288640 140731162482913 140731162483248 140731162483248 140731162488815 0
/proc/130315/statm: 18603 13559 1024 108 0 16011 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 78604 KiB
Current children cumulated memory: 57180 KiB

[startup+0.700299 s]
/proc/loadavg: 4.12 3.27 3.71 5/254 130315
/proc/meminfo: memFree=119167756/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130315] ppid=130313 vsize=94216 memory=73780 CPUtime=0.63 cores=4,6
/proc/130315/stat : 130315 (pbsuma) R 130313 130313 129772 0 -1 4194304 16497 0 0 0 58 5 0 0 20 0 1 0 175435361 96477184 18445 18446744073709551615 4210688 4653049 140731162474928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 18288640 140731162482913 140731162483248 140731162483248 140731162488815 0
/proc/130315/statm: 23554 18445 1024 108 0 20962 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 98408 KiB
Current children cumulated memory: 76724 KiB

[startup+1.5003 s]
/proc/loadavg: 4.12 3.27 3.71 5/254 130315
/proc/meminfo: memFree=119143564/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3.11333 s]
/proc/loadavg: 4.11 3.29 3.71 5/254 130316
/proc/meminfo: memFree=119072208/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=187600 memory=128976 CPUtime=1.74 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 17378 0 0 0 159 15 0 0 20 0 1 0 175435495 192102400 32244 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 46900 32244 2304 1147 0 34326 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 191792 KiB
Current children cumulated memory: 131920 KiB

[startup+6.30034 s]
/proc/loadavg: 4.11 3.29 3.71 5/254 130316
/proc/meminfo: memFree=119003856/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=193716 memory=135140 CPUtime=4.92 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 17902 0 0 0 476 16 0 0 20 0 1 0 175435495 198365184 33785 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 48429 33785 2336 1147 0 35855 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 197908 KiB
Current children cumulated memory: 138084 KiB

[startup+12.7004 s]
/proc/loadavg: 4.10 3.30 3.71 5/254 130316
/proc/meminfo: memFree=118889660/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=198876 memory=140652 CPUtime=11.31 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 18826 0 0 0 1113 18 0 0 20 0 1 0 175435495 203649024 35163 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 49719 35163 2368 1147 0 37145 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 203068 KiB
Current children cumulated memory: 143596 KiB

[startup+25.5004 s]
/proc/loadavg: 4.08 3.33 3.72 5/254 130316
/proc/meminfo: memFree=118556752/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=198876 memory=140652 CPUtime=24.07 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 18827 0 0 0 2387 20 0 0 20 0 1 0 175435495 203649024 35163 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 49719 35163 2368 1147 0 37145 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 203068 KiB
Current children cumulated memory: 143596 KiB

[startup+51.1134 s]
/proc/loadavg: 4.05 3.39 3.72 5/254 130317
/proc/meminfo: memFree=118150052/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=233864 memory=164860 CPUtime=49.63 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 22300 0 0 0 4932 31 0 0 20 0 1 0 175435495 239476736 41215 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 58466 41215 2400 1147 0 45892 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 238056 KiB
Current children cumulated memory: 167804 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.50 3.75 5/260 130437
/proc/meminfo: memFree=117661196/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=245704 memory=171172 CPUtime=100.66 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 22871 0 0 0 10017 49 0 0 20 0 1 0 175435495 251600896 42793 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 61426 42793 2400 1147 0 48852 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 249896 KiB
Current children cumulated memory: 174116 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 3.62 3.77 5/260 130440
/proc/meminfo: memFree=117213304/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=249988 memory=186212 CPUtime=160.48 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 23578 0 0 0 15991 57 0 0 20 0 1 0 175435495 255987712 46553 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 62497 46553 2400 1147 0 49923 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 254180 KiB
Current children cumulated memory: 189156 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.71 3.80 5/261 130445
/proc/meminfo: memFree=116354932/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=268844 memory=194468 CPUtime=220.29 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 24672 0 0 0 21951 78 0 0 20 0 1 0 175435495 275296256 48617 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 67211 48617 2400 1147 0 54637 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 273036 KiB
Current children cumulated memory: 197412 KiB


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

/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26856 0 0 0 135240 408 0 0 20 0 1 0 175435495 351305728 64154 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64154 2400 1147 0 73194 0
Current children cumulated CPU time: 1357.73 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 259560 KiB

[startup+1422.3 s]
/proc/loadavg: 4.15 4.20 4.08 5/267 130622
/proc/meminfo: memFree=102956288/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=256616 CPUtime=1416.32 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26874 0 0 0 141216 416 0 0 20 0 1 0 175435495 351305728 64154 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64154 2400 1147 0 73194 0
Current children cumulated CPU time: 1417.57 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 259560 KiB

[startup+1482.3 s]
/proc/loadavg: 4.10 4.18 4.08 5/266 130624
/proc/meminfo: memFree=102657444/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=256616 CPUtime=1476.17 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26876 0 0 0 147193 424 0 0 20 0 1 0 175435495 351305728 64154 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64154 2400 1147 0 73194 0
Current children cumulated CPU time: 1477.42 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 259560 KiB

[startup+1542.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/266 130630
/proc/meminfo: memFree=102606996/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=256616 CPUtime=1536 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26876 0 0 0 153166 434 0 0 20 0 1 0 175435495 351305728 64154 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64154 2400 1147 0 73194 0
Current children cumulated CPU time: 1537.25 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 259560 KiB

[startup+1602.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102379500/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=256616 CPUtime=1595.83 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26895 0 0 0 159129 454 0 0 20 0 1 0 175435495 351305728 64154 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64154 2400 1147 0 73194 0
Current children cumulated CPU time: 1597.08 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 259560 KiB

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

# cumulated CPU time of all completed processes:  user=1613.32 s, system=4.7345 s

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

[startup+1612.8 s]
/proc/loadavg: 4.09 4.15 4.09 5/266 130632
/proc/meminfo: memFree=102315592/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=256616 CPUtime=1606.3 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26899 0 0 0 160170 460 0 0 20 0 1 0 175435495 351305728 64154 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64154 2400 1147 0 73194 0
Current children cumulated CPU time: 1607.55 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 259560 KiB

[startup+1619.2 s]
/proc/loadavg: 4.16 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102291276/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=258280 CPUtime=1612.68 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26901 0 0 0 160807 461 0 0 20 0 1 0 175435495 351305728 64570 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64570 2400 1147 0 73194 0
Current children cumulated CPU time: 1613.93 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 261224 KiB

[startup+1620.8 s]
/proc/loadavg: 4.16 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102283212/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=258280 CPUtime=1614.28 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26901 0 0 0 160966 462 0 0 20 0 1 0 175435495 351305728 64570 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64570 2400 1147 0 73194 0
Current children cumulated CPU time: 1615.53 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 261224 KiB

[startup+1622.4 s]
/proc/loadavg: 4.16 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102282964/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=258280 CPUtime=1615.87 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26901 0 0 0 161125 462 0 0 20 0 1 0 175435495 351305728 64570 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64570 2400 1147 0 73194 0
Current children cumulated CPU time: 1617.12 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 261224 KiB

[startup+1622.8 s]
/proc/loadavg: 4.16 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102282964/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=258280 CPUtime=1616.27 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26901 0 0 0 161165 462 0 0 20 0 1 0 175435495 351305728 64570 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64570 2400 1147 0 73194 0
Current children cumulated CPU time: 1617.52 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 261224 KiB

[startup+1623.2 s]
/proc/loadavg: 4.14 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102283148/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=258280 CPUtime=1616.68 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26901 0 0 0 161205 463 0 0 20 0 1 0 175435495 351305728 64570 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64570 2400 1147 0 73194 0
Current children cumulated CPU time: 1617.93 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 261224 KiB

[startup+1623.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/266 130632
/proc/meminfo: memFree=102283148/131382120 swapFree=33010416/33010684
[pid=130313] ppid=130310 vsize=4192 memory=2944 CPUtime=1.25 cores=4,6
/proc/130313/stat : 130313 (run-opt-break-l) S 130310 130313 129772 0 -1 4194304 240 21105 0 0 0 0 116 9 20 0 1 0 175435360 4292608 736 18446744073709551615 94320997994496 94320998889029 140720420954256 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94320999128080 94320999175824 94321018454016 140720420960531 140720420960732 140720420960732 140720420966336 0
/proc/130313/statm: 1048 736 672 219 0 110 0
[pid=130316] ppid=130313 vsize=343072 memory=258280 CPUtime=1616.78 cores=4,6
/proc/130316/stat : 130316 (roundingsat) R 130313 130313 129772 0 -1 4194304 26901 0 0 0 161215 463 0 0 20 0 1 0 175435495 351305728 64570 18446744073709551615 4227072 8923577 140720341480528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 33431552 140720341485842 140720341486118 140720341486118 140720341491690 0
/proc/130316/statm: 85768 64570 2400 1147 0 73194 0
Current children cumulated CPU time: 1618.03 s
Current children cumulated vsize: 347264 KiB
Current children cumulated memory: 261224 KiB

Child status: 0

Real time (s): 1623.32
CPU time (s): 1618.06
CPU user time (s): 1613.32
CPU system time (s): 4.7345
CPU usage (%): 99.6758
Max. virtual memory (cumulated for all children) (KiB): 347264
Max. memory (cumulated for all children) (KiB): 261224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1613.32
system time used= 4.7345
maximum resident set size= 258280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48272
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2431256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 698
involuntary context switches= 1011


# summary of solver processes directly reported to runsolver:
#   pid: 130313
#   total CPU time (s): 1618.06
#   total CPU user time (s): 1613.32
#   total CPU system time (s): 4.7345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.03207 second user time and 17.2971 second system time

The end

Launcher Data

Begin job on nodeC002 at 2025-07-15 18:39:26
IDJOB=4532741
IDBENCH=178251
IDSOLVER=3393
FILE ID=nodeC002/4532741-1752597565
RUNJOBID= nodeC002-1752597301-129783
SLURM_JOB_ID= 9684392
Free space on /tmp= 431596 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532741-1752597565/watcher-4532741-1752597565 -o /tmp/evaluation-result-4532741-1752597565/solver-4532741-1752597565 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752597301-129783 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532741-1752597565.opb PROOFDIR/proof-4532741-1752597565

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

MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac
RANDOM SEED=1057134321

nodeC002 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.556
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.81
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		: 3662.721
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.81
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		: 3662.716
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.81
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.592
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.81
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		: 3491.905
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.81
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		: 3662.697
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.81
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		: 1198.086
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.81
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.904
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        119238304 kB
MemAvailable:   128335944 kB
Buffers:            2128 kB
Cached:          9878184 kB
SwapCached:           28 kB
Active:          2393748 kB
Inactive:        9081724 kB
Active(anon):    1617036 kB
Inactive(anon):     4248 kB
Active(file):     776712 kB
Inactive(file):  9077476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31248 kB
Writeback:             0 kB
AnonPages:       1598160 kB
Mapped:           118036 kB
Shmem:             26124 kB
KReclaimable:     166156 kB
Slab:             255752 kB
SReclaimable:     166156 kB
SUnreclaim:        89596 kB
KernelStack:        4080 kB
PageTables:         6392 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    2101380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149496 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431516 MiB
End job on nodeC002 at 2025-07-15 19:06:29