Trace number 4458168

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 log (1)SAT (TO)0 3600.07 3613.04

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
MD5SUMf787a6cdbf9022e9105f9cdbff614d2d
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 benchmark0
Best CPU time to get the best result obtained on this benchmark3.95625
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4482
Total number of constraints6669
Number of constraints which are clauses4374
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2295
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 108
Biggest coefficient in the objective function 9007199254740992
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 36028797018963966
Number of bits of the sum of numbers in the objective function 55
Biggest number in a constraint 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963966
Number of bits of the biggest sum of numbers55
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.05/0.13	c #variables 4482 #constraints 8964
1.95/2.04	c bounds - >= -18014398509481983 @ 0.066419
1.95/2.04	c bounds 0 >= -18014398509481983 @ 0.390444
1.95/2.04	c bounds 0 >= -13510798882111487 @ 0.391076
1.95/2.04	c bounds 0 >= -9007199254740991 @ 0.392406
1.95/2.04	c #Conflicts:       1000 | #Constraints:       9974
1.95/2.04	c #Conflicts:       2000 | #Constraints:      10974
1.95/2.04	c INPROCESSING
1.95/2.04	c GARBAGE COLLECT
1.95/2.04	WSVECS04 Frhs2[21]: 6 -1.4073e+08 0 shouldn't be
1.95/2.04	WSVECS04 Frhs2[23]: 6 -5.65153e+08 0 shouldn't be
1.95/2.04	WSVECS04 Frhs2[25]: 6 -2.27848e+09 0 shouldn't be
1.95/2.04	WSVECS04 Frhs2[54]: 6 -4.91898e+11 0 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1184]: 6 0 6.29982e+10 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1186]: 6 0 2.51993e+11 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1188]: 6 0 1.09951e+12 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1213]: 6 0 5.03985e+11 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1228]: 6 0 2.46087e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1229]: 6 0 4.92173e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1230]: 6 0 9.84347e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1255]: 6 0 4.92173e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1281]: 6 0 4.92173e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1282]: 6 0 9.84347e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1284]: 6 0 3.93739e+09 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1305]: 6 0 1.23043e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1335]: 6 0 1.96869e+09 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1336]: 6 0 3.93739e+09 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1408]: 6 0 6.15217e+07 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1409]: 6 0 1.23043e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1410]: 6 0 2.46087e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1415]: 6 0 7.87477e+09 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1435]: 6 0 1.23043e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1436]: 6 0 2.46087e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1437]: 6 0 4.92173e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1462]: 6 0 2.46087e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1463]: 6 0 4.92173e+08 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1465]: 6 0 1.96869e+09 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1469]: 6 0 3.14991e+10 shouldn't be
1.95/2.04	WSVECS04 Frhs2[1902]: 6 0 2.19902e+12 shouldn't be
1.95/2.04	WSVECS04 Frhs2[4481]: 6 -4.5036e+15 0 shouldn't be
5.22/5.30	c #Conflicts:       3000 | #Constraints:      11022
5.22/5.30	c #Conflicts:       4000 | #Constraints:      12022
5.22/5.30	c INPROCESSING
5.22/5.30	c GARBAGE COLLECT
5.22/5.30	c #Conflicts:       5000 | #Constraints:      11452
5.22/5.30	c #Conflicts:       6000 | #Constraints:      12452
5.22/5.30	WSVECS04 Frhs2[1037]: 6 0 0.646548 shouldn't be
5.22/5.30	WSVECS04 Frhs2[1173]: 6 0 16.0034 shouldn't be
5.22/5.30	WSVECS04 Frhs2[1309]: 6 0 3.00366 shouldn't be
5.22/5.30	WSVECS04 Frhs2[1467]: 6 0 2.00246 shouldn't be
5.22/5.30	WSVECS04 Frhs2[2607]: 6 0 0.0938747 shouldn't be
5.22/5.30	WSVECS04 Frhs2[2662]: 6 0 2.84715 shouldn't be
5.22/5.30	WSVECS04 Frhs2[2687]: 6 0 2.84721 shouldn't be
5.22/5.30	WSVECS04 Frhs2[2922]: 6 0 6.00006 shouldn't be
5.22/5.30	WSVECS04 Frhs2[2923]: 6 0 12 shouldn't be
5.22/5.30	WSVECS04 Frhs2[3138]: 6 -4.00478 0 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4049]: 6 0 16.0035 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4076]: 6 0 32.0068 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4160]: 6 0 0.375497 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4445]: 6 0 14 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4446]: 6 0 9.00005 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4447]: 6 0 18.0001 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4448]: 6 0 17 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4449]: 6 0 15 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4452]: 6 0 6.00006 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4453]: 6 0 12.0001 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4454]: 6 0 5.00008 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4455]: 6 0 10.0001 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4456]: 6 0 1.00002 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4457]: 6 0 2.00003 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4458]: 6 0 4.00002 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4459]: 6 0 8.00008 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4460]: 6 0 16 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4461]: 6 0 13.0001 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4462]: 6 0 7 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4465]: 6 0 17.9999 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4466]: 6 0 16.9996 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4467]: 6 0 14.9992 shouldn't be
5.22/5.30	WSVECS04 Frhs2[4468]: 6 0 10.9984 shouldn't be
14.39/14.51	c INPROCESSING
14.39/14.51	c GARBAGE COLLECT
14.39/14.51	c #Conflicts:       7000 | #Constraints:      11513
14.39/14.51	c #Conflicts:       8000 | #Constraints:      12513
14.39/14.51	c #Conflicts:       9000 | #Constraints:      13513
14.39/14.51	c INPROCESSING
14.39/14.51	c GARBAGE COLLECT
14.39/14.51	c #Conflicts:      10000 | #Constraints:      12240
14.39/14.51	c #Conflicts:      11000 | #Constraints:      13240
14.39/14.51	c #Conflicts:      12000 | #Constraints:      14240
14.39/14.51	c INPROCESSING
14.39/14.51	c GARBAGE COLLECT
14.39/14.51	c #Conflicts:      13000 | #Constraints:      12722
14.39/14.51	c #Conflicts:      14000 | #Constraints:      13722
14.39/14.51	c #Conflicts:      15000 | #Constraints:      14722
14.39/14.51	c INPROCESSING
14.39/14.51	c GARBAGE COLLECT
14.39/14.51	c rational objective 0
15.68/15.82	c #Conflicts:      16000 | #Constraints:      12961
15.68/15.82	c #Conflicts:      17000 | #Constraints:      13961
15.68/15.82	c #Conflicts:      18000 | #Constraints:      14961
15.68/15.82	c INPROCESSING
15.68/15.82	c GARBAGE COLLECT
15.68/15.82	c rational objective 0.75
188.09/188.93	c #Conflicts:      19000 | #Constraints:      13036
188.09/188.93	c #Conflicts:      20000 | #Constraints:      14036
188.09/188.93	c #Conflicts:      21000 | #Constraints:      15036
188.09/188.93	c INPROCESSING
188.09/188.93	c GARBAGE COLLECT
188.09/188.93	c #Conflicts:      22000 | #Constraints:      12855
188.09/188.93	c #Conflicts:      23000 | #Constraints:      13855
188.09/188.93	c #Conflicts:      24000 | #Constraints:      14855
188.09/188.93	c #Conflicts:      25000 | #Constraints:      15855
188.09/188.93	c INPROCESSING
188.09/188.93	c GARBAGE COLLECT
188.09/188.93	c #Conflicts:      26000 | #Constraints:      13487
188.09/188.93	c #Conflicts:      27000 | #Constraints:      14487
188.09/188.93	c #Conflicts:      28000 | #Constraints:      15487
188.09/188.93	c #Conflicts:      29000 | #Constraints:      16487
188.09/188.93	c #Conflicts:      30000 | #Constraints:      17487
188.09/188.93	c #Conflicts:      31000 | #Constraints:      18488
188.09/188.93	c #Conflicts:      32000 | #Constraints:      19488
188.09/188.93	c #Conflicts:      33000 | #Constraints:      20488
188.09/188.93	c #Conflicts:      34000 | #Constraints:      21488
188.09/188.93	c #Conflicts:      35000 | #Constraints:      22488
188.09/188.93	c #Conflicts:      36000 | #Constraints:      23488
188.09/188.93	c #Conflicts:      37000 | #Constraints:      24488
188.09/188.93	c #Conflicts:      38000 | #Constraints:      25488
188.09/188.93	c INPROCESSING
188.09/188.93	c GARBAGE COLLECT
188.09/188.93	c #Conflicts:      39000 | #Constraints:      18360
188.09/188.93	c #Conflicts:      40000 | #Constraints:      19360
188.09/188.93	c #Conflicts:      41000 | #Constraints:      20360
188.09/188.93	c #Conflicts:      42000 | #Constraints:      21360
188.09/188.93	c INPROCESSING
188.09/188.93	c GARBAGE COLLECT
188.09/188.93	c #Conflicts:      43000 | #Constraints:      15960
188.09/188.93	c #Conflicts:      44000 | #Constraints:      16960
188.09/188.93	c #Conflicts:      45000 | #Constraints:      17960
188.09/188.93	c #Conflicts:      46000 | #Constraints:      18960
188.09/188.93	c #Conflicts:      47000 | #Constraints:      19960
188.09/188.93	c #Conflicts:      48000 | #Constraints:      20961
188.09/188.93	c INPROCESSING
188.09/188.93	c GARBAGE COLLECT
188.09/188.93	c #Conflicts:      49000 | #Constraints:      16175
188.09/188.93	c #Conflicts:      50000 | #Constraints:      17175
188.09/188.93	c #Conflicts:      51000 | #Constraints:      18175
188.09/188.93	c #Conflicts:      52000 | #Constraints:      19175
188.09/188.93	c #Conflicts:      53000 | #Constraints:      20175
188.09/188.93	c INPROCESSING
188.09/188.93	c GARBAGE COLLECT
188.09/188.93	c #Conflicts:      54000 | #Constraints:      15638
188.09/188.93	c #Conflicts:      55000 | #Constraints:      16638
188.09/188.93	c #Conflicts:      56000 | #Constraints:      17638
188.09/188.93	c #Conflicts:      57000 | #Constraints:      18638
188.09/188.93	c #Conflicts:      58000 | #Constraints:      19638
188.09/188.93	c #Conflicts:      59000 | #Constraints:      20638
188.09/188.93	c #Conflicts:      60000 | #Constraints:      21638
188.09/188.93	c #Conflicts:      61000 | #Constraints:      22638
188.09/188.93	c #Conflicts:      62000 | #Constraints:      23638
188.09/188.93	c #Conflicts:      63000 | #Constraints:      24638
188.09/188.93	c #Conflicts:      64000 | #Constraints:      25638
188.09/188.93	c #Conflicts:      65000 | #Constraints:      26638
188.09/188.93	c #Conflicts:      66000 | #Constraints:      27638
188.09/188.93	c #Conflicts:      67000 | #Constraints:      28638
188.09/188.93	c #Conflicts:      68000 | #Constraints:      29638
188.09/188.93	c #Conflicts:      69000 | #Constraints:      30638
188.09/188.93	c #Conflicts:      70000 | #Constraints:      31638
188.09/188.93	c #Conflicts:      71000 | #Constraints:      32638
188.09/188.93	WSVECS04 Frhs2[15]: 6 -131072 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[16]: 6 -327680 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[36]: 6 -93184 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[38]: 6 -1.024e+06 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[39]: 6 -139264 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[40]: 6 -139264 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[42]: 6 -2.17907e+06 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[414]: 6 -2.09715e+06 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[416]: 6 -8.38861e+06 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[417]: 6 -1.67772e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[418]: 6 -3.35544e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[420]: 6 -1.34218e+08 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[441]: 6 -4.1943e+06 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[443]: 6 -1.67772e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[444]: 6 -3.35544e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[445]: 6 -6.71089e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[447]: 6 -2.68435e+08 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[468]: 6 -8.38861e+06 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[470]: 6 -3.35544e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[471]: 6 -6.71089e+07 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[472]: 6 -1.34218e+08 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[474]: 6 -5.36871e+08 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[657]: 6 -1.07374e+09 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[660]: 6 -8.58993e+09 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[711]: 6 -4.29497e+09 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[738]: 6 -8.58993e+09 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[794]: 6 0 1024 shouldn't be
188.09/188.93	WSVECS04 Frhs2[795]: 6 0 2048 shouldn't be
188.09/188.93	WSVECS04 Frhs2[796]: 6 0 4096 shouldn't be
188.09/188.93	WSVECS04 Frhs2[800]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[807]: 6 0 8.38861e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[810]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[821]: 6 0 2048 shouldn't be
188.09/188.93	WSVECS04 Frhs2[822]: 6 0 4096 shouldn't be
188.09/188.93	WSVECS04 Frhs2[823]: 6 0 8192 shouldn't be
188.09/188.93	WSVECS04 Frhs2[827]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[834]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[837]: 6 0 1.34218e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[848]: 6 0 4096 shouldn't be
188.09/188.93	WSVECS04 Frhs2[849]: 6 0 8192 shouldn't be
188.09/188.93	WSVECS04 Frhs2[850]: 6 0 16384 shouldn't be
188.09/188.93	WSVECS04 Frhs2[854]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[861]: 6 0 3.35544e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[864]: 6 0 2.68435e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[875]: 6 0 8192 shouldn't be
188.09/188.93	WSVECS04 Frhs2[876]: 6 0 16384 shouldn't be
188.09/188.93	WSVECS04 Frhs2[877]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[881]: 6 0 524288 shouldn't be
188.09/188.93	WSVECS04 Frhs2[888]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[891]: 6 0 5.36871e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[902]: 6 0 16384 shouldn't be
188.09/188.93	WSVECS04 Frhs2[903]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[904]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[908]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[929]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[930]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[931]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[935]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[942]: 6 0 2.68435e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[945]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[956]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[957]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[958]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[962]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[969]: 6 0 5.36871e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[972]: 6 0 4.29497e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[974]: 6 0 256 shouldn't be
188.09/188.93	WSVECS04 Frhs2[975]: 6 0 512 shouldn't be
188.09/188.93	WSVECS04 Frhs2[976]: 6 0 1024 shouldn't be
188.09/188.93	WSVECS04 Frhs2[977]: 6 0 2048 shouldn't be
188.09/188.93	WSVECS04 Frhs2[978]: 6 0 4096 shouldn't be
188.09/188.93	WSVECS04 Frhs2[979]: 6 0 8192 shouldn't be
188.09/188.93	WSVECS04 Frhs2[980]: 6 0 16384 shouldn't be
188.09/188.93	WSVECS04 Frhs2[981]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[982]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[983]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[984]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[985]: 6 0 524288 shouldn't be
188.09/188.93	WSVECS04 Frhs2[986]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[987]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[988]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[989]: 6 0 8.38861e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[995]: 6 0 5.36871e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[996]: 6 0 1.07374e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[997]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1010]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1011]: 6 0 524288 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1012]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1016]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1023]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1026]: 6 0 1.71799e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1028]: 6 0 1024 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1029]: 6 0 2048 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1030]: 6 0 4096 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1031]: 6 0 8192 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1032]: 6 0 16384 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1033]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1034]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1035]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1036]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1037]: 6 0 524288 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1038]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1039]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1040]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1042]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1043]: 6 0 3.35544e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1049]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1050]: 6 0 4.29497e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1051]: 6 0 8.58993e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1064]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1065]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1066]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1070]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1080]: 6 0 6.87195e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1091]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1092]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1093]: 6 0 8.38861e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1097]: 6 0 1.34218e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1104]: 6 0 1.71799e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1107]: 6 0 1.37439e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1118]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1119]: 6 0 8.38861e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1120]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1124]: 6 0 2.68435e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1131]: 6 0 3.43597e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1134]: 6 0 2.74878e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1136]: 6 0 16384 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1137]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1138]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1139]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1140]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1141]: 6 0 524288 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1142]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1143]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1144]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1145]: 6 0 8.38861e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1146]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1147]: 6 0 3.35544e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1148]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1149]: 6 0 1.34218e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1150]: 6 0 2.68435e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1151]: 6 0 5.36871e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1157]: 6 0 3.43597e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1158]: 6 0 6.87195e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1159]: 6 0 1.37439e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1160]: 6 0 2.74878e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1172]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1173]: 6 0 3.35544e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1174]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1178]: 6 0 1.07374e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1185]: 6 0 1.37439e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1188]: 6 0 1.09951e+12 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1190]: 6 0 65536 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1191]: 6 0 131072 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1192]: 6 0 262144 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1193]: 6 0 524288 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1194]: 6 0 1.04858e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1195]: 6 0 2.09715e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1196]: 6 0 4.1943e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1197]: 6 0 8.38861e+06 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1198]: 6 0 1.67772e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1199]: 6 0 3.35544e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1200]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1201]: 6 0 1.34218e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1203]: 6 0 5.36871e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1204]: 6 0 1.07374e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1205]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1211]: 6 0 1.37439e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1212]: 6 0 2.74878e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1213]: 6 0 5.49756e+11 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1214]: 6 0 1.09951e+12 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1334]: 6 0 1.07374e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1335]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1336]: 6 0 4.29497e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1340]: 6 0 6.87195e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1460]: 6 0 6.71089e+07 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1461]: 6 0 1.34218e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1462]: 6 0 2.68435e+08 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1465]: 6 0 2.14748e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1466]: 6 0 4.29497e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1467]: 6 0 8.58993e+09 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1468]: 6 0 1.71799e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[1470]: 6 0 6.87195e+10 shouldn't be
188.09/188.93	WSVECS04 Frhs2[2681]: 6 -8.79609e+12 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[2704]: 6 -2.19902e+12 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[2706]: 6 -8.79609e+12 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[2827]: 6 -5.49756e+11 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[3311]: 6 -2.14748e+09 0 shouldn't be
188.09/188.93	WSVECS04 Frhs2[3835]: 6 0 128 shouldn't be
188.09/188.93	WSVECS04 Frhs2[3889]: 6 0 512 shouldn't be
188.09/188.93	WSVECS04 Frhs2[3997]: 6 0 8192 shouldn't be
188.09/188.93	WSVECS04 Frhs2[4051]: 6 0 32768 shouldn't be
188.09/188.93	WSVECS04 Frhs2[4257]: 6 0 1.09951e+12 shouldn't be
188.09/188.94	WSVECS04 Frhs2[4258]: 6 0 2.19902e+12 shouldn't be
188.09/188.94	WSVECS04 Frhs2[4334]: 6 0 5.49756e+11 shouldn't be
188.99/189.86	WSVECS04 Frhs2[14]: 6 -311296 0 shouldn't be
188.99/189.86	WSVECS04 Frhs2[1077]: 6 0 8.58993e+09 shouldn't be
191.38/192.20	WSVECS04 Frhs2[713]: 6 -1.71799e+10 0 shouldn't be
193.37/194.27	WSVECS04 Frhs2[659]: 6 -4.29497e+09 0 shouldn't be
193.37/194.27	WSVECS04 Frhs2[998]: 6 0 4.29497e+09 shouldn't be
193.37/194.27	WSVECS04 Frhs2[999]: 6 0 8.58993e+09 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1041]: 6 0 8.38861e+06 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1052]: 6 0 1.71799e+10 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1053]: 6 0 3.43597e+10 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1161]: 6 0 5.49756e+11 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1202]: 6 0 2.68435e+08 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1469]: 6 0 3.43597e+10 shouldn't be
193.37/194.27	WSVECS04 Frhs2[1969]: 6 0 8.58993e+09 shouldn't be
225.26/226.27	c INPROCESSING
225.26/226.27	c GARBAGE COLLECT
225.26/226.27	WSVECS04 Frhs2[604]: 6 0 9.17313e-07 shouldn't be
225.26/226.27	WSVECS04 Frhs2[682]: 6 0 1.77102e-06 shouldn't be
225.26/226.27	WSVECS04 Frhs2[732]: 6 0 1.06366e-06 shouldn't be
225.26/226.27	WSVECS04 Frhs2[758]: 6 0 1.46033e-06 shouldn't be
225.26/226.27	WSVECS04 Frhs2[1274]: 6 0 4.04075e-07 shouldn't be
225.26/226.27	WSVECS04 Frhs2[1486]: 6 0 1.24244e-06 shouldn't be
227.16/228.14	WSVECS04 Frhs2[889]: 6 0 1.2582e-06 shouldn't be
229.17/230.12	WSVECS04 Frhs2[912]: 6 0 1.04143e-06 shouldn't be
229.17/230.12	WSVECS04 Frhs2[939]: 6 0 5.27025e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[965]: 6 0 3.62635e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[966]: 6 0 8.38085e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[991]: 6 0 9.06644e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[1017]: 6 0 9.10273e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[1249]: 6 0 2.75656e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[1275]: 6 0 7.89483e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[1354]: 6 0 7.43311e-07 shouldn't be
229.17/230.12	WSVECS04 Frhs2[2260]: 6 0 3.81031e-07 shouldn't be
231.15/232.17	WSVECS04 Frhs2[858]: 6 0 2.0754e-07 shouldn't be
380.12/381.60	c #Conflicts:      72000 | #Constraints:      21933
380.12/381.60	c #Conflicts:      73000 | #Constraints:      22933
380.12/381.60	c #Conflicts:      74000 | #Constraints:      23933
380.12/381.60	c #Conflicts:      75000 | #Constraints:      24933
380.12/381.60	c #Conflicts:      76000 | #Constraints:      25933
380.12/381.60	c #Conflicts:      77000 | #Constraints:      26933
380.12/381.60	c #Conflicts:      78000 | #Constraints:      27933
380.12/381.60	c INPROCESSING
380.12/381.60	c GARBAGE COLLECT
380.12/381.60	c #Conflicts:      79000 | #Constraints:      19766
380.12/381.60	c #Conflicts:      80000 | #Constraints:      20766
380.12/381.60	c #Conflicts:      81000 | #Constraints:      21766
380.12/381.60	c #Conflicts:      82000 | #Constraints:      22766
380.12/381.60	c #Conflicts:      83000 | #Constraints:      23766
380.12/381.60	c #Conflicts:      84000 | #Constraints:      24766
380.12/381.60	c INPROCESSING
380.12/381.60	c GARBAGE COLLECT
380.12/381.60	c #Conflicts:      85000 | #Constraints:      17798
380.12/381.60	c #Conflicts:      86000 | #Constraints:      18798
380.12/381.60	c #Conflicts:      87000 | #Constraints:      19798
380.12/381.60	c #Conflicts:      88000 | #Constraints:      20798
380.12/381.60	c #Conflicts:      89000 | #Constraints:      21798
380.12/381.60	c #Conflicts:      90000 | #Constraints:      22798
380.12/381.60	c #Conflicts:      91000 | #Constraints:      23798
380.12/381.60	c #Conflicts:      92000 | #Constraints:      24798
380.12/381.60	c #Conflicts:      93000 | #Constraints:      25798
380.12/381.60	c #Conflicts:      94000 | #Constraints:      26798
380.12/381.60	c #Conflicts:      95000 | #Constraints:      27798
380.12/381.60	c #Conflicts:      96000 | #Constraints:      28798
380.12/381.60	c #Conflicts:      97000 | #Constraints:      29798
380.12/381.60	c #Conflicts:      98000 | #Constraints:      30798
380.12/381.60	c #Conflicts:      99000 | #Constraints:      31798
380.12/381.60	c #Conflicts:     100000 | #Constraints:      32798
380.12/381.60	c #Conflicts:     101000 | #Constraints:      33798
380.12/381.60	c #Conflicts:     102000 | #Constraints:      34798
380.12/381.60	c #Conflicts:     103000 | #Constraints:      35798
380.12/381.60	c #Conflicts:     104000 | #Constraints:      36798
380.12/381.60	c #Conflicts:     105000 | #Constraints:      37798
380.12/381.60	c #Conflicts:     106000 | #Constraints:      38798
380.12/381.60	c #Conflicts:     107000 | #Constraints:      39798
380.12/381.60	c INPROCESSING
380.12/381.60	c GARBAGE COLLECT
380.12/381.60	WSVECS04 Frhs2[351]: 6 -6.87195e+10 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1243]: 6 0 131072 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1362]: 6 -1.37439e+11 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1473]: 6 -5.49756e+11 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1486]: 6 -6.71089e+07 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1495]: 6 -3.43597e+10 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1498]: 6 -2.74878e+11 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[1499]: 6 -8.24634e+11 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[2177]: 6 0 32768 shouldn't be
380.12/381.60	WSVECS04 Frhs2[2220]: 6 -128 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[3185]: 6 -3.43597e+10 0 shouldn't be
380.12/381.60	WSVECS04 Frhs2[3610]: 6 0 1.31941e+13 shouldn't be
774.84/777.84	c #Conflicts:     108000 | #Constraints:      25664
774.84/777.84	c #Conflicts:     109000 | #Constraints:      26664
774.84/777.84	c #Conflicts:     110000 | #Constraints:      27664
774.84/777.84	c #Conflicts:     111000 | #Constraints:      28664
774.84/777.84	c #Conflicts:     112000 | #Constraints:      29664
774.84/777.84	c #Conflicts:     113000 | #Constraints:      30664
774.84/777.84	c #Conflicts:     114000 | #Constraints:      31664
774.84/777.84	c #Conflicts:     115000 | #Constraints:      32664
774.84/777.84	c INPROCESSING
774.84/777.84	c GARBAGE COLLECT
774.84/777.84	c #Conflicts:     116000 | #Constraints:      22058
774.84/777.84	c #Conflicts:     117000 | #Constraints:      23058
774.84/777.84	c #Conflicts:     118000 | #Constraints:      24058
774.84/777.84	c #Conflicts:     119000 | #Constraints:      25058
774.84/777.84	c #Conflicts:     120000 | #Constraints:      26058
774.84/777.84	c #Conflicts:     121000 | #Constraints:      27058
774.84/777.84	c #Conflicts:     122000 | #Constraints:      28058
774.84/777.84	c #Conflicts:     123000 | #Constraints:      29058
774.84/777.84	c INPROCESSING
774.84/777.84	c GARBAGE COLLECT
774.84/777.84	c #Conflicts:     124000 | #Constraints:      20081
774.84/777.84	c #Conflicts:     125000 | #Constraints:      21081
774.84/777.84	c #Conflicts:     126000 | #Constraints:      22081
774.84/777.84	c #Conflicts:     127000 | #Constraints:      23081
774.84/777.84	c #Conflicts:     128000 | #Constraints:      24081
774.84/777.84	c #Conflicts:     129000 | #Constraints:      25081
774.84/777.84	c #Conflicts:     130000 | #Constraints:      26081
774.84/777.84	c #Conflicts:     131000 | #Constraints:      27081
774.84/777.84	c #Conflicts:     132000 | #Constraints:      28081
774.84/777.84	c #Conflicts:     133000 | #Constraints:      29081
774.84/777.84	c #Conflicts:     134000 | #Constraints:      30081
774.84/777.84	c #Conflicts:     135000 | #Constraints:      31081
774.84/777.84	c #Conflicts:     136000 | #Constraints:      32081
774.84/777.84	c #Conflicts:     137000 | #Constraints:      33081
774.84/777.84	c #Conflicts:     138000 | #Constraints:      34081
774.84/777.84	c #Conflicts:     139000 | #Constraints:      35081
774.84/777.84	c #Conflicts:     140000 | #Constraints:      36081
774.84/777.84	c #Conflicts:     141000 | #Constraints:      37081
774.84/777.84	c #Conflicts:     142000 | #Constraints:      38081
774.84/777.84	c #Conflicts:     143000 | #Constraints:      39081
774.84/777.84	c #Conflicts:     144000 | #Constraints:      40081
774.84/777.84	c #Conflicts:     145000 | #Constraints:      41081
774.84/777.84	c #Conflicts:     146000 | #Constraints:      42081
774.84/777.84	c #Conflicts:     147000 | #Constraints:      43081
774.84/777.84	c #Conflicts:     148000 | #Constraints:      44081
774.84/777.84	c #Conflicts:     149000 | #Constraints:      45081
774.84/777.84	c #Conflicts:     150000 | #Constraints:      46081
774.84/777.84	c INPROCESSING
774.84/777.84	c GARBAGE COLLECT
774.84/777.84	c #Conflicts:     151000 | #Constraints:      28932
774.84/777.84	c #Conflicts:     152000 | #Constraints:      29932
774.84/777.84	c #Conflicts:     153000 | #Constraints:      30932
774.84/777.84	c #Conflicts:     154000 | #Constraints:      31932
774.84/777.84	c #Conflicts:     155000 | #Constraints:      32932
774.84/777.84	c #Conflicts:     156000 | #Constraints:      33932
774.84/777.84	c #Conflicts:     157000 | #Constraints:      34932
774.84/777.84	c #Conflicts:     158000 | #Constraints:      35932
774.84/777.84	c #Conflicts:     159000 | #Constraints:      36932
774.84/777.84	c INPROCESSING
774.84/777.84	c GARBAGE COLLECT
774.84/777.84	c #Conflicts:     160000 | #Constraints:      23886
774.84/777.84	c #Conflicts:     161000 | #Constraints:      24886
774.84/777.84	c #Conflicts:     162000 | #Constraints:      25886
774.84/777.84	c #Conflicts:     163000 | #Constraints:      26886
774.84/777.84	c #Conflicts:     164000 | #Constraints:      27886
774.84/777.84	c #Conflicts:     165000 | #Constraints:      28886
774.84/777.84	c #Conflicts:     166000 | #Constraints:      29886
774.84/777.84	c #Conflicts:     167000 | #Constraints:      30886
774.84/777.84	c #Conflicts:     168000 | #Constraints:      31886
774.84/777.84	c #Conflicts:     169000 | #Constraints:      32886
774.84/777.84	c INPROCESSING
774.84/777.84	c GARBAGE COLLECT
774.84/777.84	c #Conflicts:     170000 | #Constraints:      22149
774.84/777.84	c #Conflicts:     171000 | #Constraints:      23149
774.84/777.84	c #Conflicts:     172000 | #Constraints:      24149
774.84/777.84	c #Conflicts:     173000 | #Constraints:      25149
774.84/777.84	c #Conflicts:     174000 | #Constraints:      26149
774.84/777.84	c #Conflicts:     175000 | #Constraints:      27149
774.84/777.84	c #Conflicts:     176000 | #Constraints:      28149
774.84/777.84	c #Conflicts:     177000 | #Constraints:      29149
774.84/777.84	c #Conflicts:     178000 | #Constraints:      30149
774.84/777.84	c #Conflicts:     179000 | #Constraints:      31149
774.84/777.84	c #Conflicts:     180000 | #Constraints:      32149
774.84/777.84	c #Conflicts:     181000 | #Constraints:      33149
774.84/777.84	c #Conflicts:     182000 | #Constraints:      34149
774.84/777.84	c #Conflicts:     183000 | #Constraints:      35149
2719.01/2728.80	c #Conflicts:     184000 | #Constraints:      36149
2719.01/2728.80	c #Conflicts:     185000 | #Constraints:      37149
2719.01/2728.80	c #Conflicts:     186000 | #Constraints:      38149
2719.01/2728.80	c #Conflicts:     187000 | #Constraints:      39149
2719.01/2728.80	c #Conflicts:     188000 | #Constraints:      40149
2719.01/2728.80	c #Conflicts:     189000 | #Constraints:      41149
2719.01/2728.80	c #Conflicts:     190000 | #Constraints:      42149
2719.01/2728.80	c #Conflicts:     191000 | #Constraints:      43149
2719.01/2728.80	c #Conflicts:     192000 | #Constraints:      44149
2719.01/2728.80	c #Conflicts:     193000 | #Constraints:      45149
2719.01/2728.80	c #Conflicts:     194000 | #Constraints:      46149
2719.01/2728.80	c #Conflicts:     195000 | #Constraints:      47149
2719.01/2728.80	c #Conflicts:     196000 | #Constraints:      48149
2719.01/2728.80	c #Conflicts:     197000 | #Constraints:      49149
2719.01/2728.80	c #Conflicts:     198000 | #Constraints:      50149
2719.01/2728.80	c #Conflicts:     199000 | #Constraints:      51149
2719.01/2728.80	c #Conflicts:     200000 | #Constraints:      52149
2719.01/2728.80	c INPROCESSING
2719.01/2728.80	c GARBAGE COLLECT
2719.01/2728.80	c #Conflicts:     201000 | #Constraints:      31990
2719.01/2728.80	c #Conflicts:     202000 | #Constraints:      32990
2719.01/2728.80	c #Conflicts:     203000 | #Constraints:      33990
2719.01/2728.80	c #Conflicts:     204000 | #Constraints:      34990
2719.01/2728.80	c #Conflicts:     205000 | #Constraints:      35990
2719.01/2728.80	c #Conflicts:     206000 | #Constraints:      36990
2719.01/2728.80	c #Conflicts:     207000 | #Constraints:      37990
2719.01/2728.80	c #Conflicts:     208000 | #Constraints:      38990
2719.01/2728.80	c #Conflicts:     209000 | #Constraints:      39990
2719.01/2728.80	c #Conflicts:     210000 | #Constraints:      40990
2719.01/2728.80	c #Conflicts:     211000 | #Constraints:      41990
2719.01/2728.80	c INPROCESSING
2719.01/2728.80	c GARBAGE COLLECT
2719.01/2728.80	c #Conflicts:     212000 | #Constraints:      26615
2719.01/2728.80	c #Conflicts:     213000 | #Constraints:      27615
2719.01/2728.80	c #Conflicts:     214000 | #Constraints:      28615
2719.01/2728.80	c #Conflicts:     215000 | #Constraints:      29615
2719.01/2728.80	c #Conflicts:     216000 | #Constraints:      30615
2719.01/2728.80	c #Conflicts:     217000 | #Constraints:      31615
2719.01/2728.80	c #Conflicts:     218000 | #Constraints:      32615
2719.01/2728.80	c #Conflicts:     219000 | #Constraints:      33615
2719.01/2728.80	c #Conflicts:     220000 | #Constraints:      34615
2719.01/2728.80	c #Conflicts:     221000 | #Constraints:      35615
2719.01/2728.80	c #Conflicts:     222000 | #Constraints:      36615
2719.01/2728.80	c INPROCESSING
2719.01/2728.80	c GARBAGE COLLECT
2719.01/2728.80	c #Conflicts:     223000 | #Constraints:      23980
2719.01/2728.80	c #Conflicts:     224000 | #Constraints:      24980
2719.01/2728.80	c #Conflicts:     225000 | #Constraints:      25980
2719.01/2728.80	c #Conflicts:     226000 | #Constraints:      26980
2719.01/2728.80	c #Conflicts:     227000 | #Constraints:      27980
2719.01/2728.80	c #Conflicts:     228000 | #Constraints:      28980
2719.01/2728.80	c #Conflicts:     229000 | #Constraints:      29980
2719.01/2728.80	c #Conflicts:     230000 | #Constraints:      30980
2719.01/2728.80	c #Conflicts:     231000 | #Constraints:      31980
2719.01/2728.80	c #Conflicts:     232000 | #Constraints:      32980
2719.01/2728.80	c #Conflicts:     233000 | #Constraints:      33981
2719.01/2728.80	c #Conflicts:     234000 | #Constraints:      34981
2719.01/2728.80	c #Conflicts:     235000 | #Constraints:      35981
2719.01/2728.80	c #Conflicts:     236000 | #Constraints:      36981
2719.01/2728.80	c #Conflicts:     237000 | #Constraints:      37981
2719.01/2728.80	c #Conflicts:     238000 | #Constraints:      38981
2719.01/2728.80	c #Conflicts:     239000 | #Constraints:      39981
2719.01/2728.80	c #Conflicts:     240000 | #Constraints:      40981
2719.01/2728.80	c #Conflicts:     241000 | #Constraints:      41981
2719.01/2728.80	c #Conflicts:     242000 | #Constraints:      42981
2719.01/2728.80	c #Conflicts:     243000 | #Constraints:      43981
2719.01/2728.80	c #Conflicts:     244000 | #Constraints:      44981
2719.01/2728.80	c #Conflicts:     245000 | #Constraints:      45981
2719.01/2728.80	c #Conflicts:     246000 | #Constraints:      46981
2719.01/2728.80	c #Conflicts:     247000 | #Constraints:      47981
2719.01/2728.80	c #Conflicts:     248000 | #Constraints:      48981
2719.01/2728.80	c #Conflicts:     249000 | #Constraints:      49981
2719.01/2728.80	c #Conflicts:     250000 | #Constraints:      50981
2719.01/2728.80	c #Conflicts:     251000 | #Constraints:      51981
2719.01/2728.80	c #Conflicts:     252000 | #Constraints:      52981
2719.01/2728.80	c #Conflicts:     253000 | #Constraints:      53981
2719.01/2728.80	c #Conflicts:     254000 | #Constraints:      54981
2719.01/2728.80	c #Conflicts:     255000 | #Constraints:      55981
2719.01/2728.80	WSVECS04 Frhs2[17]: 6 -2.20335e+12 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[19]: 6 -8.09501e+08 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[20]: 6 -1.9126e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[21]: 6 -3.38795e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[22]: 6 -2.34042e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[23]: 6 -9.21908e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[24]: 6 -1.84549e+08 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[25]: 6 -3.7883e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[27]: 6 -2.29512e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[41]: 6 -32768 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[193]: 6 0 256 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[219]: 6 0 256 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[245]: 6 0 256 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[311]: 6 -4.1943e+06 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[338]: 6 -8.38861e+06 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[365]: 6 -1.67772e+07 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[500]: 6 -5.36871e+08 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[502]: 6 -2.14748e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[507]: 6 -6.87195e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[554]: 6 -2.14748e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[556]: 6 -8.58993e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[557]: 6 -1.71799e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[561]: 6 -2.74878e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[581]: 6 -4.29497e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[583]: 6 -1.71799e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[584]: 6 -3.43597e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[588]: 6 -5.49756e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[608]: 6 -8.58993e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[635]: 6 -1.71799e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[637]: 6 -6.87195e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[662]: 6 -3.43597e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[664]: 6 -1.37439e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[665]: 6 -2.74878e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[689]: 6 -6.87195e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[691]: 6 -2.74878e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[716]: 6 -1.37439e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[770]: 6 -5.49756e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[789]: 6 0 32 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[790]: 6 0 64 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[791]: 6 0 128 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[792]: 6 0 256 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[797]: 6 0 8192 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[798]: 6 0 16384 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[799]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[801]: 6 0 131072 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[816]: 6 0 64.0001 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[817]: 6 0 128 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[819]: 6 0 512 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[824]: 6 0 16384 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[825]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[826]: 6 0 65536 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[843]: 6 0 128 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[846]: 6 0 1024 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[851]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[852]: 6 0 65536 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[853]: 6 0 131072 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[855]: 6 0 524288 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[871]: 6 0 512 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[873]: 6 0 2048 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[878]: 6 0 65536 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[880]: 6 0 262144 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[897]: 6 0 512 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[898]: 6 0 1024 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[899]: 6 0 2048 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[900]: 6 0 4096 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[905]: 6 0 131072 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[906]: 6 0 262144 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[907]: 6 0 524288 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[909]: 6 0 2.09715e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[924]: 6 0 1024 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[925]: 6 0 2048 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[927]: 6 0 8192 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[932]: 6 0 262144 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[933]: 6 0 524288 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[934]: 6 0 1.04858e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[936]: 6 0 4.1943e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[954]: 6 0 16384 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[959]: 6 0 524288 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[960]: 6 0 1.04858e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[961]: 6 0 2.09715e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[978]: 6 0 4096 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[980]: 6 0 16384 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[981]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[986]: 6 0 1.04858e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[987]: 6 0 2.09715e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[988]: 6 0 4.1943e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[990]: 6 0 1.67772e+07 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1005]: 6 0 8192 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1006]: 6 0 16384 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1007]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1008]: 6 0 65536 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1013]: 6 0 2.09715e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1014]: 6 0 4.1943e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1015]: 6 0 8.38861e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1032]: 6 0 16384 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1033]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1035]: 6 0 131072 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1040]: 6 0 4.1943e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1041]: 6 0 8.38861e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1042]: 6 0 1.67772e+07 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1059]: 6 0 32768 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1060]: 6 0 65536 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1061]: 6 0 131072 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1062]: 6 0 262144 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1067]: 6 0 8.38861e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1068]: 6 0 1.67772e+07 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1071]: 6 0 1.34218e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1086]: 6 0 65536 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1087]: 6 0 131072 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1088]: 6 0 262144 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1089]: 6 0 524288 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1094]: 6 0 1.67772e+07 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1098]: 6 0 2.68435e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1119]: 6 0 8.38861e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1123]: 6 0 1.34218e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1124]: 6 0 2.68435e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1125]: 6 0 5.36871e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1126]: 6 0 1.07374e+09 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1127]: 6 0 2.14748e+09 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1130]: 6 0 1.71799e+10 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1131]: 6 0 3.43597e+10 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1140]: 6 0 262144 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1141]: 6 0 524288 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1142]: 6 0 1.04858e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1143]: 6 0 2.09715e+06 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1149]: 6 0 1.34218e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1150]: 6 0 2.68435e+08 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1152]: 6 0 1.07374e+09 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1204]: 6 0 1.07374e+09 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[1230]: 6 0 1.07374e+09 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[2578]: 6 -1.09951e+12 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[2594]: 6 -2.14748e+09 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[2628]: 6 -1.09951e+12 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[2651]: 6 -2.74878e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[2674]: 6 -6.87195e+10 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[2675]: 6 -1.37439e+11 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[3373]: 6 -2.19902e+12 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[3400]: 6 -4.39805e+12 0 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[3425]: 6 0 2.19902e+12 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[3633]: 6 0 2.19902e+12 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[3931]: 6 0 6.71089e+07 shouldn't be
2719.01/2728.80	WSVECS04 Frhs2[4427]: 6 0 4.5036e+15 shouldn't be
2812.10/2822.27	c #Conflicts:     256000 | #Constraints:      56981
2812.10/2822.27	c #Conflicts:     257000 | #Constraints:      57981
2812.10/2822.27	c INPROCESSING
2812.10/2822.27	c GARBAGE COLLECT
2812.10/2822.27	c #Conflicts:     258000 | #Constraints:      34778
2812.10/2822.27	c #Conflicts:     259000 | #Constraints:      35778
2812.10/2822.27	c #Conflicts:     260000 | #Constraints:      36778
2812.10/2822.27	c #Conflicts:     261000 | #Constraints:      37778
2812.10/2822.27	c #Conflicts:     262000 | #Constraints:      38778
2812.10/2822.27	c #Conflicts:     263000 | #Constraints:      39778
2812.10/2822.27	c #Conflicts:     264000 | #Constraints:      40778
2812.10/2822.27	c #Conflicts:     265000 | #Constraints:      41778
2812.10/2822.27	c #Conflicts:     266000 | #Constraints:      42778
2812.10/2822.27	c #Conflicts:     267000 | #Constraints:      43778
2812.10/2822.27	c #Conflicts:     268000 | #Constraints:      44778
2812.10/2822.27	c #Conflicts:     269000 | #Constraints:      45778
2812.10/2822.27	c #Conflicts:     270000 | #Constraints:      46778
2812.10/2822.27	c INPROCESSING
2812.10/2822.27	c GARBAGE COLLECT
2812.10/2822.27	WSVECS04 Frhs2[52]: 6 -8.65651e+12 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[54]: 6 -2.1706e+13 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[85]: 6 0 1.67059e+10 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[93]: 6 0 4.02842e+10 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[99]: 6 0 6.11605e+12 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[100]: 6 -2.45304e+10 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[127]: 6 -1.41234e+13 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[193]: 6 0 3.7539e+08 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[400]: 6 -4.1943e+06 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[402]: 6 -1.67772e+07 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[403]: 6 -3.35544e+07 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[405]: 6 -1.34218e+08 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[430]: 6 -6.71089e+07 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[454]: 6 -1.67772e+07 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[456]: 6 -6.71089e+07 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[457]: 6 -1.34218e+08 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[463]: 6 0 262144 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[545]: 6 -2.72998e+13 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[562]: 6 -2.68435e+08 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[564]: 6 -1.07374e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[565]: 6 -2.14748e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[589]: 6 -5.36871e+08 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[591]: 6 -2.14748e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[592]: 6 -4.29497e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[594]: 6 -3.73321e+11 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[670]: 6 -4.29497e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[672]: 6 -1.71799e+10 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[697]: 6 -8.58993e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[699]: 6 -3.43597e+10 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[700]: 6 -6.87195e+10 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[748]: 6 -1.32884e+12 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[754]: 6 -2.74878e+11 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[800]: 6 0 65536 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[801]: 6 0 131072 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[827]: 6 0 131072 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[828]: 6 0 262144 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[855]: 6 0 524288 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[908]: 6 0 1.04858e+06 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[962]: 6 0 4.1943e+06 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[989]: 6 0 8.38861e+06 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1102]: 6 0 4.29497e+09 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1341]: 6 0 6.71089e+07 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1349]: 6 -9.50345e+10 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1368]: 6 0 1.34218e+08 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1384]: 6 0 5.12465e+12 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1452]: 6 0 1.75922e+13 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1746]: 6 -1.67772e+07 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1760]: 6 0 7.70304e+11 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[1906]: 6 -4.4089e+09 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[2058]: 6 0 6.87195e+10 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[2083]: 6 0 6.87195e+10 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[2211]: 6 0 5.49756e+11 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[2410]: 6 -4.1943e+06 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[3183]: 6 0 4.1943e+06 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[3199]: 6 -3.85152e+11 0 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[3589]: 6 0 2.74878e+11 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[3616]: 6 0 5.49756e+11 shouldn't be
2812.10/2822.27	WSVECS04 Frhs2[3679]: 6 0 256 shouldn't be
2813.40/2823.51	WSVECS04 Frhs2[935]: 6 0 2.09715e+06 shouldn't be
2813.40/2823.51	WSVECS04 Frhs2[940]: 6 0 6.71089e+07 shouldn't be
2813.40/2823.51	WSVECS04 Frhs2[963]: 6 0 8.38861e+06 shouldn't be
2813.40/2823.51	WSVECS04 Frhs2[1767]: 6 -1.04858e+06 0 shouldn't be
2813.40/2823.51	WSVECS04 Frhs2[3423]: 6 -2.68435e+08 0 shouldn't be
2813.40/2823.51	WSVECS04 Frhs2[3450]: 6 -5.36871e+08 0 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[2]: 6 -6.16339e+12 0 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[432]: 6 -2.68435e+08 0 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[1016]: 6 0 1.67772e+07 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[1043]: 6 0 3.35544e+07 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[1541]: 6 0 1.10779e+09 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[1669]: 6 0 8.8623e+09 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[3121]: 6 -7.33417e+09 0 shouldn't be
2815.09/2825.29	WSVECS04 Frhs2[3234]: 6 -2.09715e+06 0 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[58]: 6 0 8.35296e+09 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[60]: 6 0 3.45196e+10 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[479]: 6 0 1.19537e+13 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[611]: 6 0 6.87195e+10 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[617]: 6 0 4.3959e+12 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[637]: 6 0 6.87195e+10 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[671]: 6 0 1.75836e+13 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[689]: 6 0 6.87195e+10 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[723]: 6 0 1.75922e+13 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[753]: 6 -1.75921e+13 0 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[1558]: 6 0 1.96243e+11 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[1607]: 6 0 7.2802e+12 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[2831]: 6 -8.79609e+12 0 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[2988]: 6 0 3.6401e+12 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[3032]: 6 -1.88062e+08 0 shouldn't be
2816.59/2826.72	WSVECS04 Frhs2[3288]: 6 -8.38861e+06 0 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[621]: 6 0 4.22088e+12 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[701]: 6 0 5.50024e+11 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[729]: 6 0 1.74547e+13 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[1431]: 6 0 1.74547e+13 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[1735]: 6 0 7.70304e+11 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[2935]: 6 0 1.22652e+10 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[3755]: 6 -6.90393e+10 0 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[4149]: 6 0 3.35544e+07 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[4255]: 6 0 1.34218e+08 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[4476]: 6 -1.40737e+14 0 shouldn't be
2818.00/2828.15	WSVECS04 Frhs2[4477]: 6 -2.81475e+14 0 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[804]: 6 0 1.04858e+06 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[805]: 6 0 2.09715e+06 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[831]: 6 0 2.09715e+06 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[832]: 6 0 4.1943e+06 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[966]: 6 0 6.71089e+07 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[1075]: 6 0 2.14748e+09 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[1743]: 6 -2.09715e+06 0 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[1796]: 6 -1.67772e+07 0 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[2106]: 6 0 1.71799e+10 shouldn't be
2819.78/2829.92	WSVECS04 Frhs2[3477]: 6 -1.07374e+09 0 shouldn't be
3015.81/3026.69	c #Conflicts:     271000 | #Constraints:      29366
3015.81/3026.69	c #Conflicts:     272000 | #Constraints:      30366
3015.81/3026.69	c #Conflicts:     273000 | #Constraints:      31366
3015.81/3026.69	c #Conflicts:     274000 | #Constraints:      32366
3015.81/3026.69	c #Conflicts:     275000 | #Constraints:      33366
3015.81/3026.69	c #Conflicts:     276000 | #Constraints:      34366
3015.81/3026.69	c #Conflicts:     277000 | #Constraints:      35366
3015.81/3026.69	c #Conflicts:     278000 | #Constraints:      36366
3015.81/3026.69	c #Conflicts:     279000 | #Constraints:      37366
3015.81/3026.69	c #Conflicts:     280000 | #Constraints:      38366
3015.81/3026.69	c #Conflicts:     281000 | #Constraints:      39366
3015.81/3026.69	c #Conflicts:     282000 | #Constraints:      40366
3015.81/3026.69	c INPROCESSING
3015.81/3026.69	c GARBAGE COLLECT
3015.81/3026.69	c #Conflicts:     283000 | #Constraints:      25755
3015.81/3026.69	c #Conflicts:     284000 | #Constraints:      26755
3015.81/3026.69	c #Conflicts:     285000 | #Constraints:      27755
3015.81/3026.69	c #Conflicts:     286000 | #Constraints:      28755
3015.81/3026.69	c #Conflicts:     287000 | #Constraints:      29755
3015.81/3026.69	c #Conflicts:     288000 | #Constraints:      30755
3015.81/3026.69	c #Conflicts:     289000 | #Constraints:      31755
3015.81/3026.69	c #Conflicts:     290000 | #Constraints:      32755
3015.81/3026.69	c #Conflicts:     291000 | #Constraints:      33755
3015.81/3026.69	c #Conflicts:     292000 | #Constraints:      34755
3015.81/3026.69	c #Conflicts:     293000 | #Constraints:      35755
3015.81/3026.69	c #Conflicts:     294000 | #Constraints:      36755
3015.81/3026.69	c #Conflicts:     295000 | #Constraints:      37755
3015.81/3026.69	c #Conflicts:     296000 | #Constraints:      38755
3015.81/3026.69	c #Conflicts:     297000 | #Constraints:      39755
3015.81/3026.69	c #Conflicts:     298000 | #Constraints:      40755
3015.81/3026.69	c #Conflicts:     299000 | #Constraints:      41755
3015.81/3026.69	c #Conflicts:     300000 | #Constraints:      42755
3015.81/3026.69	c #Conflicts:     301000 | #Constraints:      43755
3015.81/3026.69	c #Conflicts:     302000 | #Constraints:      44755
3015.81/3026.69	c #Conflicts:     303000 | #Constraints:      45755
3015.81/3026.69	c #Conflicts:     304000 | #Constraints:      46755
3015.81/3026.69	c #Conflicts:     305000 | #Constraints:      47755
3015.81/3026.69	c #Conflicts:     306000 | #Constraints:      48755
3015.81/3026.69	c #Conflicts:     307000 | #Constraints:      49755
3015.81/3026.69	c #Conflicts:     308000 | #Constraints:      50755
3015.81/3026.69	c #Conflicts:     309000 | #Constraints:      51755
3015.81/3026.69	c #Conflicts:     310000 | #Constraints:      52755
3015.81/3026.69	WSVECS04 Frhs2[23]: 6 -3.35544e+07 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[24]: 6 -3.43597e+10 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[36]: 6 -1.52381e+07 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[45]: 6 -7.29888e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[49]: 6 -7.08774e+10 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[51]: 6 -4.75701e+11 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[225]: 6 -16384 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[226]: 6 -32768 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[230]: 6 -524288 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[231]: 6 -1.04858e+06 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[234]: 6 -8.38861e+06 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[238]: 6 -1.34218e+08 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[240]: 6 -5.36871e+08 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[241]: 6 -1.07374e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[243]: 6 -4.29497e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[306]: 6 -131072 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[307]: 6 -262144 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[311]: 6 -4.1943e+06 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[312]: 6 -8.38861e+06 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[315]: 6 -6.71089e+07 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[319]: 6 -1.07374e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[321]: 6 -4.29497e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[322]: 6 -8.58993e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[324]: 6 -3.43597e+10 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[657]: 6 -1.07374e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[658]: 6 -2.14748e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[662]: 6 -3.43597e+10 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[663]: 6 -6.87195e+10 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[666]: 6 -5.49756e+11 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[685]: 6 -4.29497e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[693]: 6 -1.09951e+12 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[738]: 6 -8.58993e+09 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[787]: 6 0 8.00003 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[788]: 6 0 16 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[789]: 6 0 32 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[800]: 6 0 65536 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[803]: 6 0 524288 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[805]: 6 0 2.09715e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[814]: 6 0 16.0001 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[815]: 6 0 32.0001 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[816]: 6 0 64 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[827]: 6 0 131072 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[829]: 6 0 524288 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[830]: 6 0 1.04858e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[832]: 6 0 4.1943e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[841]: 6 0 32.0001 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[842]: 6 0 64 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[854]: 6 0 262144 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[857]: 6 0 2.09715e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[859]: 6 0 8.38861e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[868]: 6 0 64.0001 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[870]: 6 0 256 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[881]: 6 0 524288 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[886]: 6 0 1.67772e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[908]: 6 0 1.04858e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[910]: 6 0 4.1943e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[911]: 6 0 8.38861e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[913]: 6 0 3.35544e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[922]: 6 0 256 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[935]: 6 0 2.09715e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[936]: 6 0 4.1943e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[938]: 6 0 1.67772e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[940]: 6 0 6.71089e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[951]: 6 0 2048 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[962]: 6 0 4.1943e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[967]: 6 0 1.34218e+08 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1003]: 6 0 2048 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1016]: 6 0 1.67772e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1045]: 6 0 1.34218e+08 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1048]: 6 0 1.07374e+09 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1070]: 6 0 6.71089e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1075]: 6 0 2.14748e+09 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1097]: 6 0 1.34218e+08 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1102]: 6 0 4.29497e+09 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1138]: 6 0 65536 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1140]: 6 0 262144 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1153]: 6 0 2.14748e+09 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1156]: 6 0 1.71799e+10 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1167]: 6 0 524288 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1180]: 6 0 4.29497e+09 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1183]: 6 0 3.43597e+10 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1221]: 6 0 2.09715e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1237]: 6 0 1.37439e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1248]: 6 0 4.1943e+06 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1259]: 6 0 8.58993e+09 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1261]: 6 0 3.43597e+10 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1264]: 6 0 2.74878e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1330]: 6 0 6.71089e+07 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1333]: 6 0 5.36871e+08 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1345]: 6 0 2.19902e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1367]: 6 0 1.37439e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1372]: 6 0 4.39805e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1390]: 6 0 1.71799e+10 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1391]: 6 0 3.43597e+10 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1392]: 6 0 6.87195e+10 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1393]: 6 0 1.37439e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1399]: 6 0 8.79609e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1400]: 6 0 1.75922e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1421]: 6 0 5.49756e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1426]: 6 0 1.75922e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1448]: 6 0 1.09951e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1453]: 6 0 3.51844e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1471]: 6 0 1.37439e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1472]: 6 0 2.74878e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1473]: 6 0 5.49756e+11 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1475]: 6 0 2.19902e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1929]: 6 0 262144 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1954]: 6 0 8.79609e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[1979]: 6 0 8.79609e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[2029]: 6 0 8.79609e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[2054]: 6 0 8.79609e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[2104]: 6 0 8.79609e+12 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[2733]: 6 -3.51844e+13 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[2783]: 6 -3.51844e+13 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[2834]: 6 -7.03687e+13 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[3610]: 6 0 1.75922e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[3628]: 6 -6.87195e+10 0 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[4313]: 6 0 1.75922e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[4340]: 6 0 3.51844e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[4367]: 6 0 7.03687e+13 shouldn't be
3015.81/3026.69	WSVECS04 Frhs2[4479]: 6 -1.1259e+15 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[211]: 6 0 3310.77 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[288]: 6 -1.33812e+09 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[294]: 6 0 105945 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[327]: 6 -2.23057e+06 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[329]: 6 -8.92229e+06 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[331]: 6 -3.56892e+07 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[347]: 6 -6.24112e+09 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[350]: 6 0 1.69511e+06 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[384]: 6 -7.13783e+07 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[411]: 6 -1.42757e+08 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[551]: 6 0 13243.1 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[590]: 6 0 1.08487e+08 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[653]: 6 0 6.71089e+07 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[655]: 6 0 2.68435e+08 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[671]: 6 0 8.67899e+08 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[875]: 6 -4.46115e+06 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1082]: 6 -2.23057e+06 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1463]: 6 0 26486.2 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1474]: 6 0 5.42437e+07 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1549]: 6 0 4.46115e+06 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1625]: 6 0 8.92229e+06 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1629]: 6 0 7.07717e+06 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1637]: 6 0 3310.77 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1695]: 6 -278822 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1704]: 6 0 7.07717e+06 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1755]: 6 0 1.41543e+07 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1780]: 6 0 2.85513e+08 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1788]: 6 0 6621.54 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1958]: 6 0 2.28411e+09 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[1983]: 6 0 2.28411e+09 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[2000]: 6 0 2.71218e+07 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[2228]: 6 -32768 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[2417]: 6 -5.36871e+08 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[2626]: 6 0 1.87087e+09 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[2927]: 6 -1024 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[3073]: 6 -6621.54 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[3134]: 6 0 557643 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[3229]: 6 -6621.54 0 shouldn't be
3018.70/3029.51	WSVECS04 Frhs2[3302]: 6 0 2.28411e+09 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[593]: 6 0 8.67899e+08 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[678]: 6 0 3.35544e+07 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[1385]: 6 0 26486.2 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[1525]: 6 0 16384 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[1806]: 6 0 51.7308 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[2263]: 6 0 3.35544e+07 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[2933]: 6 -65536 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[2956]: 6 -16384 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[2965]: 6 -8.38861e+06 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3192]: 6 0 3.56892e+07 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3202]: 6 -3310.77 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3356]: 6 0 827.693 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3383]: 6 0 1655.39 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3410]: 6 0 3310.77 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3437]: 6 0 6621.54 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3442]: 6 0 211889 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3469]: 6 0 423779 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3471]: 6 -1.69511e+06 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3491]: 6 0 26486.2 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3545]: 6 0 105945 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3561]: 6 -6.94319e+09 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[3705]: 6 0 256 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4137]: 6 0 8.18169e+07 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4443]: 6 -16384 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4444]: 6 -32768 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4446]: 6 -131072 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4447]: 6 -262144 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4448]: 6 -524288 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4449]: 6 -1.04858e+06 0 shouldn't be
3020.50/3031.39	WSVECS04 Frhs2[4452]: 6 -8.38861e+06 0 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[369]: 6 0 13243.1 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[376]: 6 0 1.69511e+06 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[1517]: 6 0 64 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[3100]: 6 -13243.1 0 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[3130]: 6 -211889 0 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[3157]: 6 -423779 0 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[3732]: 6 0 512 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[3759]: 6 0 1024 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[3786]: 6 0 2048 shouldn't be
3022.79/3033.62	WSVECS04 Frhs2[4453]: 6 -1.67772e+07 0 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[180]: 6 -1.07238e+09 0 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[239]: 6 0 13243.1 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[240]: 6 0 26486.2 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[377]: 6 0 3.39023e+06 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[1589]: 6 0 13243.1 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[1796]: 6 0 1.69511e+06 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[1873]: 6 -2.08955e+07 0 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[1978]: 6 0 6.68654e+08 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[2003]: 6 0 6.68654e+08 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[2560]: 6 0 2.04542e+07 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[2561]: 6 0 4.09085e+07 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[2954]: 6 -4096 0 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[3651]: 6 0 32 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[3678]: 6 0 128 shouldn't be
3024.20/3035.03	WSVECS04 Frhs2[4425]: 6 0 1.1259e+15 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[373]: 6 0 211889 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[375]: 6 0 847557 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[562]: 6 0 2.71218e+07 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[1534]: 6 0 8.38861e+06 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[1763]: 6 0 6621.54 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[2943]: 6 -6.71089e+07 0 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[2970]: 6 -1.34218e+08 0 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[3024]: 6 -5.36871e+08 0 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[3749]: 6 0 6.71089e+07 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[3813]: 6 0 4096 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[4424]: 6 0 5.6295e+14 shouldn't be
3026.19/3037.03	WSVECS04 Frhs2[4450]: 6 -2.09715e+06 0 shouldn't be
3028.57/3039.46	WSVECS04 Frhs2[10]: 6 0 2.91511e+07 shouldn't be
3028.57/3039.46	WSVECS04 Frhs2[1679]: 6 0 7.07717e+06 shouldn't be
3028.57/3039.46	WSVECS04 Frhs2[3275]: 6 0 1.14205e+09 shouldn't be
3028.57/3039.46	WSVECS04 Frhs2[4056]: 6 0 1.02271e+07 shouldn't be
3028.57/3039.46	WSVECS04 Frhs2[4423]: 6 0 2.81475e+14 shouldn't be
3028.57/3039.46	WSVECS04 Frhs2[4478]: 6 -5.6295e+14 0 shouldn't be
3030.57/3041.46	WSVECS04 Frhs2[213]: 6 0 13243.1 shouldn't be
3030.57/3041.46	WSVECS04 Frhs2[378]: 6 0 6.78046e+06 shouldn't be
3030.57/3041.46	WSVECS04 Frhs2[539]: 6 0 2.16975e+08 shouldn't be
3030.57/3041.46	WSVECS04 Frhs2[1369]: 6 0 7.35629e+08 shouldn't be
3030.57/3041.46	WSVECS04 Frhs2[2558]: 6 0 5.11356e+06 shouldn't be
3030.57/3041.46	WSVECS04 Frhs2[3803]: 6 0 2.68435e+08 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[161]: 6 0 13243.1 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[1354]: 6 0 8.18169e+07 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[1380]: 6 0 8.18169e+07 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[1929]: 6 -1.11051e+09 0 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[2712]: 6 0 8.18169e+07 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[2737]: 6 0 8.18169e+07 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[2787]: 6 0 8.18169e+07 shouldn't be
3031.96/3042.84	WSVECS04 Frhs2[3647]: 6 0 2.00003 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[374]: 6 0 423779 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[536]: 6 0 2.71218e+07 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[566]: 6 0 4.33949e+08 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[1432]: 6 0 8.18169e+07 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[2762]: 6 0 8.18169e+07 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[3274]: 6 0 5.71027e+08 shouldn't be
3033.46/3044.35	WSVECS04 Frhs2[4210]: 6 0 3.51844e+13 shouldn't be
3034.96/3045.89	WSVECS04 Frhs2[565]: 6 0 2.16975e+08 shouldn't be
3034.96/3045.89	WSVECS04 Frhs2[1956]: 6 0 5.71027e+08 shouldn't be
3034.96/3045.89	WSVECS04 Frhs2[2253]: 6 -32768 0 shouldn't be
3034.96/3045.89	WSVECS04 Frhs2[4245]: 6 0 1.30907e+09 shouldn't be
3036.75/3047.60	WSVECS04 Frhs2[267]: 6 0 52972.3 shouldn't be
3036.75/3047.60	WSVECS04 Frhs2[1981]: 6 0 5.71027e+08 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[28]: 6 -3.55684e+07 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[288]: 6 -1.33812e+09 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[294]: 6 0 105945 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[327]: 6 -2.23057e+06 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[329]: 6 -8.92229e+06 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[331]: 6 -3.56892e+07 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[347]: 6 -6.24112e+09 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[384]: 6 -7.13783e+07 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[411]: 6 -1.42757e+08 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[590]: 6 0 1.08487e+08 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[671]: 6 0 8.67899e+08 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[875]: 6 -4.46115e+06 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1082]: 6 -2.23057e+06 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1637]: 6 0 3310.77 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1650]: 6 0 8.92229e+06 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1664]: 6 0 13243.1 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1679]: 6 0 7.07717e+06 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1704]: 6 0 7.07717e+06 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1755]: 6 0 1.41543e+07 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1780]: 6 0 2.85513e+08 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1788]: 6 0 6621.54 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1933]: 6 0 2.28411e+09 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[1956]: 6 0 5.71027e+08 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2000]: 6 0 2.71218e+07 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2228]: 6 -32768 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2253]: 6 -32768 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2392]: 6 -5.36871e+08 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2923]: 6 -64 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2925]: 6 -256 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2965]: 6 -8.38861e+06 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[2979]: 6 0 1.11529e+06 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[3274]: 6 0 5.71027e+08 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[3275]: 6 0 1.14205e+09 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[3302]: 6 0 2.28411e+09 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[3545]: 6 0 105945 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[4056]: 6 0 1.02271e+07 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[4110]: 6 0 4.09085e+07 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[4137]: 6 0 8.18169e+07 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[4448]: 6 -524288 0 shouldn't be
3038.44/3049.39	WSVECS04 Frhs2[4452]: 6 -8.38861e+06 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[10]: 6 0 2.91511e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[161]: 6 0 13243.1 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[211]: 6 0 3310.77 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[213]: 6 0 13243.1 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[239]: 6 0 13243.1 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[240]: 6 0 26486.2 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[267]: 6 0 52972.3 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[350]: 6 0 1.69511e+06 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[369]: 6 0 13243.1 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[373]: 6 0 211889 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[374]: 6 0 423779 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[375]: 6 0 847557 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[536]: 6 0 2.71218e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[551]: 6 0 13243.1 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[562]: 6 0 2.71218e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[565]: 6 0 2.16975e+08 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[593]: 6 0 8.67899e+08 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[653]: 6 0 6.71089e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[655]: 6 0 2.68435e+08 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[678]: 6 0 3.35544e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1385]: 6 0 26486.2 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1463]: 6 0 26486.2 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1474]: 6 0 5.42437e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1525]: 6 0 16384 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1542]: 6 0 64 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1695]: 6 -278822 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[1796]: 6 0 1.69511e+06 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2003]: 6 0 6.68654e+08 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2263]: 6 0 3.35544e+07 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2417]: 6 -5.36871e+08 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2601]: 6 0 1.87087e+09 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2626]: 6 0 1.87087e+09 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2921]: 6 -16 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2927]: 6 -1024 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2943]: 6 -6.71089e+07 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[2970]: 6 -1.34218e+08 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3077]: 6 -105945 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3130]: 6 -211889 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3157]: 6 -423779 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3229]: 6 -6621.54 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3356]: 6 0 827.693 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3410]: 6 0 3310.77 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3442]: 6 0 211889 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3469]: 6 0 423779 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3471]: 6 -1.69511e+06 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3561]: 6 -6.94319e+09 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3678]: 6 0 128 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3705]: 6 0 256 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[3732]: 6 0 512 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[4032]: 6 -4.09085e+07 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[4099]: 6 -1.87087e+09 0 shouldn't be
3039.83/3050.71	WSVECS04 Frhs2[4479]: 6 -1.1259e+15 0 shouldn't be
3041.53/3052.49	WSVECS04 Frhs2[180]: 6 -1.07238e+09 0 shouldn't be
3041.53/3052.49	WSVECS04 Frhs2[1589]: 6 0 13243.1 shouldn't be
3041.53/3052.49	WSVECS04 Frhs2[2687]: 6 0 8.18169e+07 shouldn't be
3041.53/3052.49	WSVECS04 Frhs2[2712]: 6 0 8.18169e+07 shouldn't be
3043.62/3054.59	WSVECS04 Frhs2[539]: 6 0 2.16975e+08 shouldn't be
3043.62/3054.59	WSVECS04 Frhs2[566]: 6 0 4.33949e+08 shouldn't be
3043.62/3054.59	WSVECS04 Frhs2[3491]: 6 0 26486.2 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[323]: 6 0 847557 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[376]: 6 0 1.69511e+06 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[377]: 6 0 3.39023e+06 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[378]: 6 0 6.78046e+06 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[1369]: 6 0 7.35629e+08 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[1517]: 6 0 64 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[3050]: 6 -52972.3 0 shouldn't be
3045.52/3056.48	WSVECS04 Frhs2[3202]: 6 -3310.77 0 shouldn't be
3050.31/3061.20	WSVECS04 Frhs2[1432]: 6 0 8.18169e+07 shouldn't be
3052.12/3063.03	WSVECS04 Frhs2[1806]: 6 0 51.7308 shouldn't be
3053.80/3064.72	WSVECS04 Frhs2[1625]: 6 0 8.92229e+06 shouldn't be
3053.80/3064.72	WSVECS04 Frhs2[3023]: 6 -26486.2 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[1]: 6 0 46955.9 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[75]: 6 0 0.000122006 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[76]: 6 0 0.000243412 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[78]: 6 0 0.000973389 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[104]: 6 0 0.000973153 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[322]: 6 0 0.996182 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[362]: 6 0 38505.1 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[701]: 6 0 32642.9 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[1462]: 6 0 0.0311315 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[1564]: 6 0 0.0311316 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[1589]: 6 0 0.0311311 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[1905]: 6 0 1.73453e+07 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[2236]: 6 0 0.000973788 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[2954]: 6 -75.2052 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3193]: 6 0 4.33873e+06 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3220]: 6 0 8.67745e+06 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3238]: 6 0 1.88662e+07 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3247]: 6 0 1.78696e+07 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3386]: 6 0 2.63507e+08 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3888]: 6 -1.99236 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3915]: 6 -3.98473 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3942]: 6 -7.96945 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3969]: 6 -15.9389 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[3996]: 6 -31.8778 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[4023]: 6 -63.7556 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[4050]: 6 -127.511 0 shouldn't be
3057.29/3068.24	WSVECS04 Frhs2[4104]: 6 -510.045 0 shouldn't be
3600.05/3613.01	c #Conflicts:     311000 | #Constraints:      53755
3600.05/3613.01	c #Conflicts:     312000 | #Constraints:      54755
3600.05/3613.01	c #Conflicts:     313000 | #Constraints:      55755
3600.05/3613.01	c #Conflicts:     314000 | #Constraints:      56755
3600.05/3613.01	c #Conflicts:     315000 | #Constraints:      57755
3600.05/3613.01	c #Conflicts:     316000 | #Constraints:      58755
3600.05/3613.01	c #Conflicts:     317000 | #Constraints:      59755
3600.05/3613.01	c #Conflicts:     318000 | #Constraints:      60755
3600.05/3613.01	c #Conflicts:     319000 | #Constraints:      61755
3600.05/3613.01	c #Conflicts:     320000 | #Constraints:      62755
3600.05/3613.01	c #Conflicts:     321000 | #Constraints:      63755
3600.05/3613.01	c INPROCESSING
3600.05/3613.01	c GARBAGE COLLECT
3600.05/3613.01	c #Conflicts:     322000 | #Constraints:      37447
3600.05/3613.01	c #Conflicts:     323000 | #Constraints:      38447
3600.05/3613.01	c #Conflicts:     324000 | #Constraints:      39447
3600.05/3613.01	c #Conflicts:     325000 | #Constraints:      40447
3600.05/3613.01	c #Conflicts:     326000 | #Constraints:      41447
3600.05/3613.01	c #Conflicts:     327000 | #Constraints:      42447
3600.05/3613.01	c #Conflicts:     328000 | #Constraints:      43447
3600.05/3613.01	c #Conflicts:     329000 | #Constraints:      44447
3600.05/3613.01	c #Conflicts:     330000 | #Constraints:      45447
3600.05/3613.01	c #Conflicts:     331000 | #Constraints:      46447
3600.05/3613.01	c #Conflicts:     332000 | #Constraints:      47447
3600.05/3613.01	c #Conflicts:     333000 | #Constraints:      48447
3600.05/3613.01	c #Conflicts:     334000 | #Constraints:      49447
3600.05/3613.01	c #Conflicts:     335000 | #Constraints:      50447
3600.05/3613.01	c #Conflicts:     336000 | #Constraints:      51447
3600.05/3613.01	c INPROCESSING
3600.05/3613.01	c GARBAGE COLLECT
3600.05/3613.01	c #Conflicts:     337000 | #Constraints:      31529
3600.05/3613.01	c #Conflicts:     338000 | #Constraints:      32529
3600.05/3613.01	c #Conflicts:     339000 | #Constraints:      33529
3600.05/3613.01	c #Conflicts:     340000 | #Constraints:      34529
3600.05/3613.01	c #Conflicts:     341000 | #Constraints:      35529
3600.05/3613.01	c #Conflicts:     342000 | #Constraints:      36529
3600.05/3613.01	c #Conflicts:     343000 | #Constraints:      37529
3600.05/3613.01	c #Conflicts:     344000 | #Constraints:      38529
3600.05/3613.01	c Program interrupted by user.
3600.05/3613.01	c cpu time 3588.11 s
3600.05/3613.01	c deterministic time 262844470076 2.63e+11
3600.05/3613.01	c optimization time 34.4733 s
3600.05/3613.01	c total solve time 3553.57 s
3600.05/3613.01	c core-guided solve time 1295.02 s
3600.05/3613.01	c propagation time 3229.92 s
3600.05/3613.01	c conflict analysis time 252.233 s
3600.05/3613.01	c propagations 175740736
3600.05/3613.01	c resolve steps 14417636
3600.05/3613.01	c decisions 3873196
3600.05/3613.01	c conflicts 344971
3600.05/3613.01	c restarts 818
3600.05/3613.01	c inprocessing phases 30
3600.05/3613.01	c input clauses 6157
3600.05/3613.01	c input cardinalities 3
3600.05/3613.01	c input general constraints 2814
3600.05/3613.01	c input average constraint length 3.13
3600.05/3613.01	c input average constraint degree 3512948227279.70
3600.05/3613.01	c learned clauses 94595
3600.05/3613.01	c learned cardinalities 104
3600.05/3613.01	c learned general constraints 250276
3600.05/3613.01	c learned average constraint length 400.52
3600.05/3613.01	c learned average constraint degree 175296821.51
3600.05/3613.01	c watched constraints 242267
3600.05/3613.01	c counting constraints 10823
3600.05/3613.01	c gcd simplifications 22326
3600.05/3613.01	c detected cardinalities 13
3600.05/3613.01	c weakened non-implied lits 6977691
3600.05/3613.01	c weakened non-implying lits 390420
3600.05/3613.01	c original variables 4482
3600.05/3613.01	c clausal propagations 66088762
3600.05/3613.01	c cardinality propagations 4113
3600.05/3613.01	c watched propagations 23838808
3600.05/3613.01	c counting propagations 85634525
3600.05/3613.01	c watch lookups 56823998110
3600.05/3613.01	c watch backjump lookups 52063557192
3600.05/3613.01	c watch checks 120252731214
3600.05/3613.01	c propagation checks 32933721774
3600.05/3613.01	c constraint additions 410279469
3600.05/3613.01	c trail pops 179957009
3600.05/3613.01	c formula constraints 8964
3600.05/3613.01	c learned constraints 344969
3600.05/3613.01	c bound constraints 3
3600.05/3613.01	c core-guided constraints 7
3600.05/3613.01	c encountered formula constraints 10482125
3600.05/3613.01	c encountered learned constraints 4267431
3600.05/3613.01	c encountered bound constraints 11768
3600.05/3613.01	c encountered core-guided constraints 1107
3600.05/3613.01	c LP total time 235.6 s
3600.05/3613.01	c LP solve time 235.26 s
3600.05/3613.01	c LP constraints added 8997
3600.05/3613.01	c LP constraints removed 19
3600.05/3613.01	c LP pivots internal 416723
3600.05/3613.01	c LP pivots root 194652
3600.05/3613.01	c LP calls 46
3600.05/3613.01	c LP optimalities 13
3600.05/3613.01	c LP no pivot count 0
3600.05/3613.01	c LP infeasibilities 3
3600.05/3613.01	c LP valid Farkas constraints 3
3600.05/3613.01	c LP learned Farkas constraints 3
3600.05/3613.01	c LP basis resets 22
3600.05/3613.01	c LP cycling count 12
3600.05/3613.01	c LP singular count 9
3600.05/3613.01	c LP no primal count 0
3600.05/3613.01	c LP no farkas count 0
3600.05/3613.01	c LP other issue count 1
3600.05/3613.01	c LP Gomory cuts 0
3600.05/3613.01	c LP learned cuts 33
3600.05/3613.01	c LP deleted cuts 19
3600.05/3613.01	c LP encountered Gomory constraints 0
3600.05/3613.01	c LP encountered Farkas constraints 91
3600.05/3613.01	c LP encountered learned Farkas constraints 82
3600.05/3613.01	c CG auxiliary variables introduced 3
3600.05/3613.01	c CG solutions found 1
3600.05/3613.01	c CG cores constructed 2
3600.05/3613.01	c CG core cardinality constraints returned 0
3600.05/3613.01	c CG unit cores 0
3600.05/3613.01	c CG single cores 2
3600.05/3613.01	c CG blocks removed during cardinality reduction 0
3600.05/3613.01	c CG first core best 0
3600.05/3613.01	c CG decision core best 0
3600.05/3613.01	c CG core reduction tie 0
3600.05/3613.01	c CG core degree average 1.00
3600.05/3613.01	c CG core slack average 2.50
3600.05/3613.01	s SATISFIABLE
3600.05/3613.01	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 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482

Verifier Data 

OK	0

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: 64096 MiB (48719 MiB free)
  memory of node 1: 64473 MiB (58474 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458168-1721877658/watcher-4458168-1721877658 -o /tmp/evaluation-result-4458168-1721877658/solver-4458168-1721877658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216649 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458168-1721877658 --lp-cut-gomory=0 HOME/instance-4458168-1721877658.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100086 s]*
/proc/loadavg: 4.19 3.62 2.80 5/265 217487
/proc/meminfo: memFree=109761256/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=39056 memory=7308 CPUtime=0.05 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 741 0 0 0 4 1 0 0 20 0 1 0 23754715 39993344 1827 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 9764 1827 1355 992 0 1622 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 39056 KiB
Current children cumulated memory: 7308 KiB

[startup+0.208306 s]*
/proc/loadavg: 4.19 3.62 2.80 9/265 217487
/proc/meminfo: memFree=109758528/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=45764 memory=15456 CPUtime=0.16 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 2848 0 0 0 13 3 0 0 20 0 1 0 23754715 46862336 3864 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 11441 3864 1769 992 0 3299 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 45764 KiB
Current children cumulated memory: 15456 KiB

[startup+0.308396 s]*
/proc/loadavg: 4.19 3.62 2.80 7/265 217487
/proc/meminfo: memFree=109752420/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=46588 memory=16236 CPUtime=0.26 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 3107 0 0 0 22 4 0 0 20 0 1 0 23754715 47706112 4059 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 11647 4059 1769 992 0 3505 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 46588 KiB
Current children cumulated memory: 16236 KiB

[startup+0.70034 s]
/proc/loadavg: 4.42 3.67 2.83 5/265 217487
/proc/meminfo: memFree=109757632/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=47068 memory=17700 CPUtime=0.64 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 3329 0 0 0 58 6 0 0 20 0 1 0 23754715 48197632 4425 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 11767 4425 1878 992 0 3625 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 47068 KiB
Current children cumulated memory: 17700 KiB

[startup+1.50034 s]
/proc/loadavg: 4.42 3.67 2.83 5/265 217487
/proc/meminfo: memFree=109758972/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=48672 memory=19548 CPUtime=1.44 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 3821 0 0 0 134 10 0 0 20 0 1 0 23754715 49840128 4887 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 12168 4887 1878 992 0 4026 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 48672 KiB
Current children cumulated memory: 19548 KiB

[startup+3.11428 s]
/proc/loadavg: 4.42 3.67 2.83 5/265 217487
/proc/meminfo: memFree=109706956/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=50820 memory=23444 CPUtime=3.04 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 4296 0 0 0 288 16 0 0 20 0 1 0 23754715 52039680 5861 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 12705 5861 1878 992 0 4563 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 50820 KiB
Current children cumulated memory: 23444 KiB

[startup+6.30025 s]
/proc/loadavg: 4.38 3.68 2.83 5/265 217489
/proc/meminfo: memFree=109650132/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=55400 memory=28196 CPUtime=6.22 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 4946 0 0 0 598 24 0 0 20 0 1 0 23754715 56729600 7049 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 13850 7049 1878 992 0 5708 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 55400 KiB
Current children cumulated memory: 28196 KiB

[startup+12.7003 s]
/proc/loadavg: 4.43 3.70 2.85 5/265 217489
/proc/meminfo: memFree=109411820/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=63648 memory=33468 CPUtime=12.59 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 6164 0 0 0 1220 39 0 0 20 0 1 0 23754715 65175552 8367 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 15912 8367 1961 992 0 7770 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 33468 KiB

[startup+25.5003 s]
/proc/loadavg: 4.37 3.71 2.86 5/265 217493
/proc/meminfo: memFree=108969440/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=79440 memory=50132 CPUtime=25.34 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 8830 0 0 0 2472 62 0 0 20 0 1 0 23754715 81346560 12533 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 19860 12533 1961 992 0 11718 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 79440 KiB
Current children cumulated memory: 50132 KiB

[startup+51.1145 s]
/proc/loadavg: 4.27 3.75 2.90 5/265 217497
/proc/meminfo: memFree=108348532/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=126108 memory=92172 CPUtime=50.86 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 13717 0 0 0 5000 86 0 0 20 0 1 0 23754715 129134592 23043 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 31527 23043 1977 992 0 23385 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 126108 KiB
Current children cumulated memory: 92172 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 3.81 2.97 5/262 217505
/proc/meminfo: memFree=107820164/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=183536 memory=151088 CPUtime=101.83 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 20573 0 0 0 10071 112 0 0 20 0 1 0 23754715 187940864 37772 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 45884 37772 1977 992 0 37742 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 183536 KiB
Current children cumulated memory: 151088 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.86 3.04 5/262 217515
/proc/meminfo: memFree=107455116/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=248500 memory=185116 CPUtime=161.59 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 24389 0 0 0 16013 146 0 0 20 0 1 0 23754715 254464000 46279 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 62125 46279 1993 992 0 53983 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 248500 KiB
Current children cumulated memory: 185116 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.90 3.11 5/258 217528
/proc/meminfo: memFree=105860144/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=250504 memory=187272 CPUtime=221.37 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 24951 0 0 0 21922 215 0 0 20 0 1 0 23754715 256516096 46818 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 62626 46818 1993 992 0 54484 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 250504 KiB
Current children cumulated memory: 187272 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.94 3.17 6/261 217630
/proc/meminfo: memFree=104861840/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=251636 memory=188256 CPUtime=281.16 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 25301 0 0 0 27852 264 0 0 20 0 1 0 23754715 257675264 47064 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 62909 47064 1993 992 0 54767 0
Current children cumulated CPU time: 281.16 s
Current children cumulated vsize: 251636 KiB
Current children cumulated memory: 188256 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.98 3.24 6/260 217937
/proc/meminfo: memFree=104125072/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=257536 memory=193476 CPUtime=340.95 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 26607 0 0 0 33785 310 0 0 20 0 1 0 23754715 263716864 48369 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 64384 48369 1993 992 0 56242 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 257536 KiB
Current children cumulated memory: 193476 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.03 3.30 5/260 217948
/proc/meminfo: memFree=103865780/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=259804 memory=195412 CPUtime=400.75 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 27156 0 0 0 39708 367 0 0 20 0 1 0 23754715 266039296 48853 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 64951 48853 1993 992 0 56809 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 259804 KiB
Current children cumulated memory: 195412 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.04 3.35 6/263 218052
/proc/meminfo: memFree=103555068/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=259804 memory=195576 CPUtime=460.55 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 27271 0 0 0 45637 418 0 0 20 0 1 0 23754715 266039296 48894 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 64951 48894 1993 992 0 56809 0

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

Current children cumulated memory: 384940 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/246 219199
/proc/meminfo: memFree=94603932/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=472548 memory=384948 CPUtime=2852.07 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 58398 0 0 0 284231 976 0 0 20 0 1 0 23754715 483889152 96237 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118137 96237 1993 992 0 109995 0
Current children cumulated CPU time: 2852.07 s
Current children cumulated vsize: 472548 KiB
Current children cumulated memory: 384948 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/246 219209
/proc/meminfo: memFree=94345592/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=472548 memory=384948 CPUtime=2911.86 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 58530 0 0 0 290179 1007 0 0 20 0 1 0 23754715 483889152 96237 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118137 96237 1993 992 0 109995 0
Current children cumulated CPU time: 2911.86 s
Current children cumulated vsize: 472548 KiB
Current children cumulated memory: 384948 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.14 4.10 5/247 219224
/proc/meminfo: memFree=94153924/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=472548 memory=384948 CPUtime=2971.66 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 58671 0 0 0 296143 1023 0 0 20 0 1 0 23754715 483889152 96237 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118137 96237 1993 992 0 109995 0
Current children cumulated CPU time: 2971.66 s
Current children cumulated vsize: 472548 KiB
Current children cumulated memory: 384948 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/246 219235
/proc/meminfo: memFree=93977064/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=472548 memory=384948 CPUtime=3031.47 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 58715 0 0 0 302094 1053 0 0 20 0 1 0 23754715 483889152 96237 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118137 96237 1993 992 0 109995 0
Current children cumulated CPU time: 3031.47 s
Current children cumulated vsize: 472548 KiB
Current children cumulated memory: 384948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/246 219245
/proc/meminfo: memFree=93817144/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=472548 memory=384948 CPUtime=3091.27 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 58958 0 0 0 308035 1092 0 0 20 0 1 0 23754715 483889152 96237 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118137 96237 1993 992 0 109995 0
Current children cumulated CPU time: 3091.27 s
Current children cumulated vsize: 472548 KiB
Current children cumulated memory: 384948 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/247 219302
/proc/meminfo: memFree=117510112/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=472788 memory=385000 CPUtime=3151.07 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 59140 0 0 0 314004 1103 0 0 20 0 1 0 23754715 484134912 96250 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118197 96250 1993 992 0 110055 0
Current children cumulated CPU time: 3151.07 s
Current children cumulated vsize: 472788 KiB
Current children cumulated memory: 385000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/247 219312
/proc/meminfo: memFree=117396188/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=475028 memory=386564 CPUtime=3210.85 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 59669 0 0 0 319973 1112 0 0 20 0 1 0 23754715 486428672 96641 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 118757 96641 1993 992 0 110615 0
Current children cumulated CPU time: 3210.85 s
Current children cumulated vsize: 475028 KiB
Current children cumulated memory: 386564 KiB

[startup+3282.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/247 219461
/proc/meminfo: memFree=118813520/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=387988 CPUtime=3270.63 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60152 0 0 0 325935 1128 0 0 20 0 1 0 23754715 488103936 96997 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 96997 1993 992 0 111024 0
Current children cumulated CPU time: 3270.63 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 387988 KiB

[startup+3342.3 s]
/proc/loadavg: 5.38 4.54 4.24 5/245 219472
/proc/meminfo: memFree=118559316/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=387988 CPUtime=3330.41 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60307 0 0 0 331899 1142 0 0 20 0 1 0 23754715 488103936 96997 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 96997 1993 992 0 111024 0
Current children cumulated CPU time: 3330.41 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 387988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.58 4.47 4.24 5/245 219482
/proc/meminfo: memFree=118440076/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=387988 CPUtime=3390.17 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60463 0 0 0 337864 1153 0 0 20 0 1 0 23754715 488103936 96997 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 96997 1993 992 0 111024 0
Current children cumulated CPU time: 3390.17 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 387988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.41 4.23 5/244 219493
/proc/meminfo: memFree=118400668/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=387988 CPUtime=3449.94 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60620 0 0 0 343832 1162 0 0 20 0 1 0 23754715 488103936 96997 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 96997 1993 992 0 111024 0
Current children cumulated CPU time: 3449.94 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 387988 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.36 4.22 5/244 219503
/proc/meminfo: memFree=118346436/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=387988 CPUtime=3509.71 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60655 0 0 0 349801 1170 0 0 20 0 1 0 23754715 488103936 96997 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 96997 1993 992 0 111024 0
Current children cumulated CPU time: 3509.71 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 387988 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.30 4.21 5/244 219558
/proc/meminfo: memFree=119677992/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=389512 CPUtime=3569.47 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60821 0 0 0 355766 1181 0 0 20 0 1 0 23754715 488103936 97378 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 97378 1993 992 0 111024 0
Current children cumulated CPU time: 3569.47 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 389512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613 s]*
/proc/loadavg: 4.06 4.27 4.20 5/246 219568
/proc/meminfo: memFree=119564272/131655788 swapFree=131071472/131071996
[pid=217486] ppid=217483 vsize=476664 memory=389516 CPUtime=3600.05 cores=0,2
/proc/217486/stat : 217486 (roundingsat) R 217483 217486 216639 0 -1 4194304 60946 0 0 0 358811 1194 0 0 20 0 1 0 23754715 488103936 97379 134679101440 4194304 8254037 140733935535200 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 17850368 140733935543132 140733935543394 140733935543394 140733935550409 0
/proc/217486/statm: 119166 97379 1993 992 0 111024 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 476664 KiB
Current children cumulated memory: 389516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.12 s, system=11.9532 s

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

Child status: 0

Real time (s): 3613.04
CPU time (s): 3600.07
CPU user time (s): 3588.12
CPU system time (s): 11.9532
CPU usage (%): 99.6409
Max. virtual memory (cumulated for all children) (KiB): 476664
Max. memory (cumulated for all children) (KiB): 389516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.12
system time used= 11.9532
maximum resident set size= 389524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2647288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 680
involuntary context switches= 25318


# summary of solver processes directly reported to runsolver:
#   pid: 217486
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3588.12
#   total CPU system time (s): 11.9532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3071 second user time and 37.2775 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-25 05:20:58
IDJOB=4458168
IDBENCH=177166
IDSOLVER=3085
FILE ID=nodeC004/4458168-1721877658
RUNJOBID= nodeC004-1721877159-216649
SLURM_JOB_ID= 8089264
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458168-1721877658/watcher-4458168-1721877658 -o /tmp/evaluation-result-4458168-1721877658/solver-4458168-1721877658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721877159-216649 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4458168-1721877658 --lp-cut-gomory=0 HOME/instance-4458168-1721877658.opb

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

MD5SUM BENCH= f787a6cdbf9022e9105f9cdbff614d2d
RANDOM SEED=274184470

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.285
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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		: 3493.294
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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		: 3492.087
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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.279
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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		: 3615.498
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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		: 3532.415
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.596
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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.281
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        109768476 kB
MemAvailable:   129389692 kB
Buffers:          298912 kB
Cached:         20103024 kB
SwapCached:           60 kB
Active:          2624512 kB
Inactive:       18577572 kB
Active(anon):       1444 kB
Inactive(anon):   852736 kB
Active(file):    2623068 kB
Inactive(file): 17724836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            235236 kB
Writeback:        386212 kB
AnonPages:        797480 kB
Mapped:           125744 kB
Shmem:             53860 kB
KReclaimable:     227024 kB
Slab:             359252 kB
SReclaimable:     227024 kB
SUnreclaim:       132228 kB
KernelStack:        4236 kB
PageTables:        11360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1308432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC004 at 2024-07-25 06:21:11