Trace number 3749988

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
npSolver 1.0 (fixed)? (TO) 1800 1800.63

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-bley_xl1.opb
MD5SUM7eabf0872983506c1de1d05f0c0b2928
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark19.912
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5831
Total number of constraints175474
Number of constraints which are clauses4772
Number of constraints which are cardinality constraints (but not clauses)3992
Number of constraints which are nor clauses,nor cardinality constraints166710
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 126
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4851
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1000000
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1187328
Number of bits of the biggest sum of numbers21
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.77	c old isEQ: 32, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.77	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.78	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.79	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.80	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.81	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.82	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.83	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.84	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.85	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
0.00/0.86	c old isEQ: 1, new EQ is 1
10.48/10.59	c run usual solver
1800.00/1800.61	c error: unexpected solver exit code
1800.00/1800.61	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749988-1339168522/watcher-3749988-1339168522 -o /tmp/evaluation-result-3749988-1339168522/solver-3749988-1339168522 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749988-1339168522.opb 1345486786 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.72 1.92 1.93 3/177 4108
/proc/meminfo: memFree=28886312/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) R 4106 4108 4063 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 272 33554432000 4194304 5064252 140733312930960 140736846558808 259111726176 0 0 4100 65536 0 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 272 231 213 0 72 0

[startup+0.070997 s]
/proc/loadavg: 1.72 1.92 1.93 3/177 4108
/proc/meminfo: memFree=28886312/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100416 s]
/proc/loadavg: 1.72 1.92 1.93 3/177 4108
/proc/meminfo: memFree=28886312/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.301089 s]
/proc/loadavg: 1.72 1.92 1.93 3/177 4108
/proc/meminfo: memFree=28886312/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700519 s]
/proc/loadavg: 1.72 1.92 1.93 3/177 4108
/proc/meminfo: memFree=28886312/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 1.72 1.92 1.93 3/179 4110
/proc/meminfo: memFree=28697224/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=124752 CPUtime=1.48 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) R 4108 4108 4063 0 -1 4202496 23579 0 0 0 144 4 0 0 20 0 1 0 382978102 127746048 27299 33554432000 4194304 6004724 140734350067712 140734350063736 5055456 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 31188 27299 163 442 0 30742 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133900

[startup+3.10114 s]
/proc/loadavg: 1.72 1.92 1.93 3/179 4110
/proc/meminfo: memFree=28560768/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=223056 CPUtime=3.09 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) R 4108 4108 4063 0 -1 4202496 24812 0 0 0 302 7 0 0 20 0 1 0 382978102 228409344 55056 33554432000 4194304 6004724 140734350067712 140734350062520 5055511 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 55764 55056 163 442 0 55318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232204

[startup+6.3011 s]
/proc/loadavg: 1.82 1.94 1.94 3/179 4110
/proc/meminfo: memFree=28077124/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=616272 CPUtime=6.29 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) R 4108 4108 4063 0 -1 4202496 26029 0 0 0 613 16 0 0 20 0 1 0 382978102 631062528 112291 33554432000 4194304 6004724 140734350067712 140734350062520 4536263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4109/statm: 154068 112291 163 442 0 153622 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 625420

[startup+12.7006 s]
/proc/loadavg: 1.84 1.94 1.94 3/181 4112
/proc/meminfo: memFree=26492316/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=10.57 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27746 0 0 0 945 112 0 0 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350061760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4111] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4111/stat : 4111 (cp2_pre.sh) S 4109 4108 4063 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382979162 9367552 276 33554432000 4194304 5064252 140735790579856 140735790578560 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4111/statm: 2287 276 234 213 0 72 0
[pid=4112] ppid=4111 vsize=264136 CPUtime=2.08 cores=0,2,4,6
/proc/4112/stat : 4112 (coprocessor) R 4111 4108 4063 0 -1 4202496 13954 0 0 0 199 9 0 0 20 0 1 0 382979162 270475264 62673 33554432000 4194304 6586260 140737365550416 140737365547176 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/4112/statm: 66034 62673 137 584 0 65446 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 1422992

[startup+25.5002 s]
/proc/loadavg: 2.01 1.98 1.95 4/183 4114
/proc/meminfo: memFree=23846284/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=10.57 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27746 0 0 0 945 112 0 0 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350061760 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4111] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4111/stat : 4111 (cp2_pre.sh) S 4109 4108 4063 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382979162 9367552 276 33554432000 4194304 5064252 140735790579856 140735790578560 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4111/statm: 2287 276 234 213 0 72 0
[pid=4112] ppid=4111 vsize=1316976 CPUtime=14.76 cores=0,2,4,6
/proc/4112/stat : 4112 (coprocessor) R 4111 4108 4063 0 -1 4202496 20555 0 0 0 1411 65 0 0 20 0 1 0 382979162 1348583424 262447 33554432000 4194304 6586260 140737365550416 140737365546168 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 12 0 0
/proc/4112/statm: 329244 262447 158 584 0 328656 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 2475832

[startup+51.1012 s]
/proc/loadavg: 2.40 2.07 1.98 3/183 4117
/proc/meminfo: memFree=21545236/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1763516 CPUtime=12.07 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 191277 0 0 0 1155 52 0 0 20 0 1 0 382982003 1805840384 364449 33554432000 4194304 5208918 140736716106128 140736716103976 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 440879 364449 94 248 0 440628 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 2922372

[startup+102.3 s]
/proc/loadavg: 2.44 2.15 2.01 3/183 4120
/proc/meminfo: memFree=21139372/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1823468 CPUtime=63.26 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 195950 0 0 0 6273 53 0 0 20 0 1 0 382982003 1867231232 377809 33554432000 4194304 5208918 140736716106128 140736716103960 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 455867 377809 101 248 0 455616 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 2982324

[startup+162.3 s]
/proc/loadavg: 2.16 2.12 2.00 3/183 4120
/proc/meminfo: memFree=21021428/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1836616 CPUtime=123.25 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 196537 0 0 0 12272 53 0 0 20 0 1 0 382982003 1880694784 380440 33554432000 4194304 5208918 140736716106128 140736716103960 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 459154 380440 101 248 0 458903 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 2995472

[startup+222.3 s]
/proc/loadavg: 2.06 2.09 2.00 3/183 4121
/proc/meminfo: memFree=20918884/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198665 0 0 0 132242 54 0 0 20 0 1 0 382982003 1906499584 390395 33554432000 4194304 5208918 140736716106128 140736716103960 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 465454 390395 101 248 0 465203 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 3020672

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4132
/proc/meminfo: memFree=20913300/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1382.95 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198678 0 0 0 138241 54 0 0 20 0 1 0 382982003 1919262720 390408 33554432000 4194304 5208918 140736716106128 140736716103960 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 390408 101 248 0 468319 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 3033136

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4135
/proc/meminfo: memFree=20872512/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1442.95 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198725 0 0 0 144240 55 0 0 20 0 1 0 382982003 1919262720 390450 33554432000 4194304 5208918 140736716106128 140736716103960 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 390450 101 248 0 468319 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 3033136

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4135
/proc/meminfo: memFree=20833432/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1502.92 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198773 0 0 0 150237 55 0 0 20 0 1 0 382982003 1919262720 390466 33554432000 4194304 5208918 140736716106128 140736716103960 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 390466 101 248 0 468319 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 3033136

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 4135
/proc/meminfo: memFree=20773764/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1562.9 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198807 0 0 0 156235 55 0 0 20 0 1 0 382982003 1919262720 390490 33554432000 4194304 5208918 140736716106128 140736716103960 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 390490 101 248 0 468319 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 3033136

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 4135
/proc/meminfo: memFree=20730628/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1622.89 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198863 0 0 0 162234 55 0 0 20 0 1 0 382982003 1919262720 391049 33554432000 4194304 5208918 140736716106128 140736716103960 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 391049 101 248 0 468319 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 3033136

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4135
/proc/meminfo: memFree=20678520/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1682.88 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 198954 0 0 0 168233 55 0 0 20 0 1 0 382982003 1919262720 391140 33554432000 4194304 5208918 140736716106128 140736716103960 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 391140 101 248 0 468319 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 3033136

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4136
/proc/meminfo: memFree=20632412/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1742.86 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 199085 0 0 0 174231 55 0 0 20 0 1 0 382982003 1919262720 391258 33554432000 4194304 5208918 140736716106128 140736716103960 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 391258 101 248 0 468319 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 3033136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.61 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4136
/proc/meminfo: memFree=20622104/32873648 swapFree=7372/7372
[pid=4108] ppid=4106 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4108/stat : 4108 (npSolver-pbo.sh) S 4106 4108 4063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382978102 9367552 275 33554432000 4194304 5064252 140733312930960 140733312929872 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4108/statm: 2287 275 233 213 0 72 0
[pid=4109] ppid=4108 vsize=1140560 CPUtime=38.83 cores=0,2,4,6
/proc/4109/stat : 4109 (npSolver-pbo) S 4108 4108 4063 0 -1 4202496 27760 21456 0 0 945 112 2688 138 20 0 1 0 382978102 1167933440 170667 33554432000 4194304 6004724 140734350067712 140734350062848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/4109/statm: 285140 170667 171 442 0 284694 0
[pid=4116] ppid=4109 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4116/stat : 4116 (satsolver.sh) S 4109 4108 4063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382982002 9367552 267 33554432000 4194304 5064252 140734269161792 140734269160704 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4116/statm: 2287 267 226 213 0 72 0
[pid=4117] ppid=4116 vsize=1874280 CPUtime=1761.17 cores=0,2,4,6
/proc/4117/stat : 4117 (glucose) R 4116 4108 4063 0 -1 4202496 199143 0 0 0 176062 55 0 0 20 0 1 0 382982003 1919262720 391315 33554432000 4194304 5208918 140736716106128 140736716103960 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4117/statm: 468570 391315 101 248 0 468319 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3033136

Sending SIGTERM to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4108 and gives
#  childrusage.ru_utime.tv_sec=36
#  childrusage.ru_utime.tv_usec=344474
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=519616
# CPU time returned by wait4() is 38.8641
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.63
CPU time (s): 1800
CPU user time (s): 1796.95
CPU system time (s): 3.05
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 3033136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.3445
system time used= 2.51962
maximum resident set size= 1272580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50191
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2137624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 87

runsolver used 3.9314 second user time and 11.3663 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-08 17:15:22
IDJOB=3749988
IDBENCH=89880
IDSOLVER=2334
FILE ID=node124/3749988-1339168522
RUNJOBID= node124-1339168522-4079
PBS_JOBID= 14643802
Free space on /tmp= 70768 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-bley_xl1.opb
COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3749988-1339168522/watcher-3749988-1339168522 -o /tmp/evaluation-result-3749988-1339168522/solver-3749988-1339168522 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo.sh HOME/instance-3749988-1339168522.opb 1345486786 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 7eabf0872983506c1de1d05f0c0b2928
RANDOM SEED=1345486786

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5357.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28887188 kB
Buffers:          468200 kB
Cached:          2638384 kB
SwapCached:         8612 kB
Active:          1263876 kB
Inactive:        1866124 kB
Active(anon):       8200 kB
Inactive(anon):    11112 kB
Active(file):    1255676 kB
Inactive(file):  1855012 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67092344 kB
Dirty:             29264 kB
Writeback:             0 kB
AnonPages:         16592 kB
Mapped:             9288 kB
Shmem:                 0 kB
Slab:             716428 kB
SReclaimable:     158408 kB
SUnreclaim:       558020 kB
KernelStack:        1424 kB
PageTables:         4256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     132612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69120 MiB
End job on node124 at 2012-06-08 17:45:23