Trace number 1063690

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 NameAnswerCPU timeWall clock time
galac M? (problem) 2.04969 2.08828

General information on the benchmark

Namecsp/pseudo/mpsReduced/
normalized-mps-red-beaconfd.xml
MD5SUMa7c1e1fef1b12f08b569db119b8ca75f
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark73.0519
Satisfiable
(Un)Satisfiability was proved
Number of variables7860
Number of constraints313
Maximum constraint arity4620
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension313
Global constraints used (with number of constraints)

Solver Data (download as text)

0.00/0.03	c --- Preproc Stats ---
1.90/1.94	Exception in thread "main" java.lang.StackOverflowError
1.90/1.95		at java.lang.Character.digit(Unknown Source)
1.90/1.95		at java.lang.Integer.parseInt(Unknown Source)
1.90/1.95		at java.lang.Integer.parseInt(Unknown Source)
1.90/1.95		at abscon.instance.intension.Toolkit.isInteger(Toolkit.java:174)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:91)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.95		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.96		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.97		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.98		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.90/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.98/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)

Verifier Data (download as text)

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063690-1215138495/watcher-1063690-1215138495 -o /tmp/evaluation-result-1063690-1215138495/solver-1063690-1215138495 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacM.sh HOME/instance-1063690-1215138495.xml 

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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 4/81 6209
/proc/meminfo: memFree=690412/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=18572 CPUtime=0
/proc/6209/stat : 6209 (runsolver) R 6207 6209 3763 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 1992821981 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 258936471026 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6209/statm: 4643 292 257 25 0 2626 0

[startup+0.0643841 s]
/proc/loadavg: 1.92 2.00 1.99 4/81 6209
/proc/meminfo: memFree=690412/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.102372 s]
/proc/loadavg: 1.92 2.00 1.99 4/81 6209
/proc/meminfo: memFree=690412/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.301407 s]
/proc/loadavg: 1.92 2.00 1.99 4/81 6209
/proc/meminfo: memFree=690412/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.701479 s]
/proc/loadavg: 1.92 2.00 1.99 4/81 6209
/proc/meminfo: memFree=690412/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+1.50264 s]
/proc/loadavg: 1.92 2.00 1.99 3/91 6231
/proc/meminfo: memFree=650012/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
[pid=6223] ppid=6209 vsize=813032 CPUtime=1.49
/proc/6223/stat : 6223 (java) S 6209 6209 3763 0 -1 0 19952 0 1 0 138 11 0 0 18 0 9 0 1992821985 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6223/statm: 203258 19368 1918 9 0 197292 0
[pid=6223/tid=6224] ppid=6209 vsize=813032 CPUtime=1.23
/proc/6223/task/6224/stat : 6224 (java) R 6209 6209 3763 0 -1 64 14651 0 1 0 115 8 0 0 24 0 9 0 1992821986 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 102888118 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6225] ppid=6209 vsize=813032 CPUtime=0.03
/proc/6223/task/6225/stat : 6225 (java) S 6209 6209 3763 0 -1 64 3814 0 0 0 2 1 0 0 16 0 9 0 1992821987 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6226] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6226/stat : 6226 (java) S 6209 6209 3763 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992821988 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6227] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6227/stat : 6227 (java) S 6209 6209 3763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992821988 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6228] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6228/stat : 6228 (java) S 6209 6209 3763 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1992821990 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6223/tid=6229] ppid=6209 vsize=813032 CPUtime=0.2
/proc/6223/task/6229/stat : 6229 (java) S 6209 6209 3763 0 -1 64 787 0 0 0 20 0 0 0 16 0 9 0 1992821990 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6230] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6230/stat : 6230 (java) S 6209 6209 3763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992821990 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6223/tid=6231] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6231/stat : 6231 (java) S 6209 6209 3763 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992821990 832544768 19368 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 860596

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

[startup+1.9017 s]
/proc/loadavg: 1.92 2.00 1.99 3/91 6231
/proc/meminfo: memFree=650012/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
[pid=6223] ppid=6209 vsize=813032 CPUtime=1.89
/proc/6223/stat : 6223 (java) S 6209 6209 3763 0 -1 0 19975 0 1 0 178 11 0 0 18 0 9 0 1992821985 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6223/statm: 203258 19391 1918 9 0 197292 0
[pid=6223/tid=6224] ppid=6209 vsize=813032 CPUtime=1.63
/proc/6223/task/6224/stat : 6224 (java) R 6209 6209 3763 0 -1 64 14674 0 1 0 155 8 0 0 25 0 9 0 1992821986 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 102902514 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6225] ppid=6209 vsize=813032 CPUtime=0.03
/proc/6223/task/6225/stat : 6225 (java) S 6209 6209 3763 0 -1 64 3814 0 0 0 2 1 0 0 16 0 9 0 1992821987 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6226] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6226/stat : 6226 (java) S 6209 6209 3763 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992821988 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6227] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6227/stat : 6227 (java) S 6209 6209 3763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992821988 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6228] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6228/stat : 6228 (java) S 6209 6209 3763 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1992821990 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6223/tid=6229] ppid=6209 vsize=813032 CPUtime=0.2
/proc/6223/task/6229/stat : 6229 (java) S 6209 6209 3763 0 -1 64 787 0 0 0 20 0 0 0 16 0 9 0 1992821990 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6230] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6230/stat : 6230 (java) S 6209 6209 3763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992821990 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6223/tid=6231] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6231/stat : 6231 (java) S 6209 6209 3763 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992821990 832544768 19391 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 860596

[startup+2.00172 s]
/proc/loadavg: 1.92 2.00 1.99 3/91 6231
/proc/meminfo: memFree=650012/2055920 swapFree=4179760/4192956
[pid=6209] ppid=6207 vsize=47564 CPUtime=0.01
/proc/6209/stat : 6209 (galacM.sh) S 6207 6209 3763 0 -1 4194304 764 1698 0 0 0 0 0 1 18 0 1 0 1992821981 48705536 363 996147200 4194304 4520092 548682068832 18446744073709551615 258938694490 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/6209/statm: 11891 363 244 79 0 219 0
[pid=6223] ppid=6209 vsize=813032 CPUtime=1.97
/proc/6223/stat : 6223 (java) S 6209 6209 3763 0 -1 0 19982 0 1 0 185 12 0 0 18 0 9 0 1992821985 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6223/statm: 203258 19397 1918 9 0 197292 0
[pid=6223/tid=6224] ppid=6209 vsize=813032 CPUtime=1.71
/proc/6223/task/6224/stat : 6224 (java) R 6209 6209 3763 0 -1 64 14678 0 1 0 162 9 0 0 25 0 9 0 1992821986 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6225] ppid=6209 vsize=813032 CPUtime=0.03
/proc/6223/task/6225/stat : 6225 (java) S 6209 6209 3763 0 -1 64 3814 0 0 0 2 1 0 0 16 0 9 0 1992821987 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6226] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6226/stat : 6226 (java) S 6209 6209 3763 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992821988 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6227] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6227/stat : 6227 (java) S 6209 6209 3763 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992821988 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6228] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6228/stat : 6228 (java) S 6209 6209 3763 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1992821990 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6223/tid=6229] ppid=6209 vsize=813032 CPUtime=0.2
/proc/6223/task/6229/stat : 6229 (java) S 6209 6209 3763 0 -1 64 790 0 0 0 20 0 0 0 16 0 9 0 1992821990 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6223/tid=6230] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6230/stat : 6230 (java) S 6209 6209 3763 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992821990 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6223/tid=6231] ppid=6209 vsize=813032 CPUtime=0
/proc/6223/task/6231/stat : 6231 (java) S 6209 6209 3763 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992821990 832544768 19397 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 860596

Child status: 0
Real time (s): 2.08828
CPU time (s): 2.04969
CPU user time (s): 1.88971
CPU system time (s): 0.159975
CPU usage (%): 98.1521
Max. virtual memory (cumulated for all children) (KiB): 860596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.88971
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22485
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 945
involuntary context switches= 2899

runsolver used 0.018997 second user time and 0.038994 second system time

The end

Launcher Data (download as text)

Begin job on node45 at 2008-07-04 04:28:16
IDJOB=1063690
IDBENCH=54829
IDSOLVER=350
FILE ID=node45/1063690-1215138495
PBS_JOBID= 7877243
Free space on /tmp= 66552 MiB

SOLVER NAME= galac M
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-beaconfd.xml
COMMAND LINE= HOME/galacM.sh BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063690-1215138495/watcher-1063690-1215138495 -o /tmp/evaluation-result-1063690-1215138495/solver-1063690-1215138495 -C 1800 -W 2200 -M 900 --output-limit 1,15  HOME/galacM.sh HOME/instance-1063690-1215138495.xml 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7c1e1fef1b12f08b569db119b8ca75f
RANDOM SEED=1493724883

node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.268
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        690892 kB
Buffers:         72924 kB
Cached:         518204 kB
SwapCached:       6932 kB
Active:         945304 kB
Inactive:       346088 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        690892 kB
SwapTotal:     4192956 kB
SwapFree:      4179760 kB
Dirty:           12060 kB
Writeback:           0 kB
Mapped:         716244 kB
Slab:            57300 kB
Committed_AS:  4424684 kB
PageTables:       3284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66548 MiB
End job on node45 at 2008-07-04 04:28:18