Trace number 1063691

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 E? (problem) 2.04469 2.14508

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.84/1.99	Exception in thread "main" java.lang.StackOverflowError
1.84/1.99		at java.lang.Character.digit(Unknown Source)
1.84/1.99		at java.lang.Integer.parseInt(Unknown Source)
1.84/1.99		at java.lang.Integer.parseInt(Unknown Source)
1.84/1.99		at abscon.instance.intension.Toolkit.isInteger(Toolkit.java:174)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:91)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/1.99		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.84/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.00		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.01		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.02		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.03		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.04		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.05		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.06		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.07		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.08		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.09		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
1.94/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.10		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		at abscon.instance.intension.PredicateManager.buildUniversalPostfixExpression(PredicateManager.java:101)
2.00/2.11		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-1063691-1215138496/watcher-1063691-1215138496 -o /tmp/evaluation-result-1063691-1215138496/solver-1063691-1215138496 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1063691-1215138496.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: 2.01 2.17 2.17 3/81 19347
/proc/meminfo: memFree=1725368/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=5224 CPUtime=0
/proc/19347/stat : 19347 (galacE.sh) R 19345 19347 15537 0 -1 4194304 59 0 0 0 0 0 0 0 20 0 1 0 1992824274 5349376 44 996147200 4194304 4520092 548682068832 18446744073709551615 240469973777 0 0 4096 0 0 0 0 17 1 0 0
/proc/19347/statm: 1306 44 33 79 0 104 0

[startup+0.0762819 s]
/proc/loadavg: 2.01 2.17 2.17 3/81 19347
/proc/meminfo: memFree=1725368/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.101468 s]
/proc/loadavg: 2.01 2.17 2.17 3/81 19347
/proc/meminfo: memFree=1725368/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.302486 s]
/proc/loadavg: 2.01 2.17 2.17 3/81 19347
/proc/meminfo: memFree=1725368/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.70252 s]
/proc/loadavg: 2.01 2.17 2.17 3/81 19347
/proc/meminfo: memFree=1725368/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+1.5026 s]
/proc/loadavg: 2.01 2.17 2.17 3/91 19369
/proc/meminfo: memFree=1684008/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
[pid=19361] ppid=19347 vsize=812552 CPUtime=1.43
/proc/19361/stat : 19361 (java) S 19347 19347 15537 0 -1 0 19944 0 1 0 131 12 0 0 19 0 9 0 1992824278 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19361/statm: 203138 19361 1922 9 0 197171 0
[pid=19361/tid=19362] ppid=19347 vsize=812552 CPUtime=1.14
/proc/19361/task/19362/stat : 19362 (java) R 19347 19347 15537 0 -1 64 14594 0 1 0 105 9 0 0 25 0 9 0 1992824279 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 102307482 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19363] ppid=19347 vsize=812552 CPUtime=0.03
/proc/19361/task/19363/stat : 19363 (java) S 19347 19347 15537 0 -1 64 3811 0 0 0 2 1 0 0 16 0 9 0 1992824281 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19364] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19364/stat : 19364 (java) S 19347 19347 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992824281 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19365] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19365/stat : 19365 (java) S 19347 19347 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992824281 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19366] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19366/stat : 19366 (java) S 19347 19347 15537 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1992824283 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19367] ppid=19347 vsize=812552 CPUtime=0.23
/proc/19361/task/19367/stat : 19367 (java) S 19347 19347 15537 0 -1 64 839 0 0 0 23 0 0 0 16 0 9 0 1992824283 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19368] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19368/stat : 19368 (java) S 19347 19347 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992824283 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19369] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19369/stat : 19369 (java) S 19347 19347 15537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992824283 832053248 19361 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 860116

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

[startup+1.90163 s]
/proc/loadavg: 2.01 2.17 2.17 3/91 19369
/proc/meminfo: memFree=1684008/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
[pid=19361] ppid=19347 vsize=812552 CPUtime=1.83
/proc/19361/stat : 19361 (java) S 19347 19347 15537 0 -1 0 19966 0 1 0 171 12 0 0 19 0 9 0 1992824278 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19361/statm: 203138 19383 1922 9 0 197171 0
[pid=19361/tid=19362] ppid=19347 vsize=812552 CPUtime=1.54
/proc/19361/task/19362/stat : 19362 (java) R 19347 19347 15537 0 -1 64 14616 0 1 0 145 9 0 0 25 0 9 0 1992824279 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4126414950 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19363] ppid=19347 vsize=812552 CPUtime=0.03
/proc/19361/task/19363/stat : 19363 (java) S 19347 19347 15537 0 -1 64 3811 0 0 0 2 1 0 0 16 0 9 0 1992824281 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19364] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19364/stat : 19364 (java) S 19347 19347 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992824281 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19365] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19365/stat : 19365 (java) S 19347 19347 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992824281 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19366] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19366/stat : 19366 (java) S 19347 19347 15537 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1992824283 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19367] ppid=19347 vsize=812552 CPUtime=0.23
/proc/19361/task/19367/stat : 19367 (java) S 19347 19347 15537 0 -1 64 839 0 0 0 23 0 0 0 16 0 9 0 1992824283 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19368] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19368/stat : 19368 (java) S 19347 19347 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992824283 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19369] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19369/stat : 19369 (java) S 19347 19347 15537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992824283 832053248 19383 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 860116

[startup+2.10164 s]
/proc/loadavg: 2.01 2.17 2.17 3/91 19369
/proc/meminfo: memFree=1654184/2055920 swapFree=4180972/4192956
[pid=19347] ppid=19345 vsize=47564 CPUtime=0.01
/proc/19347/stat : 19347 (galacE.sh) S 19345 19347 15537 0 -1 4194304 767 1697 0 0 0 0 0 1 18 0 1 0 1992824274 48705536 366 996147200 4194304 4520092 548682068832 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/19347/statm: 11891 366 247 79 0 219 0
[pid=19361] ppid=19347 vsize=812552 CPUtime=1.99
/proc/19361/stat : 19361 (java) S 19347 19347 15537 0 -1 0 19982 0 1 0 185 14 0 0 19 0 9 0 1992824278 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19361/statm: 203138 19398 1922 9 0 197171 0
[pid=19361/tid=19362] ppid=19347 vsize=812552 CPUtime=1.67
/proc/19361/task/19362/stat : 19362 (java) R 19347 19347 15537 0 -1 64 14623 0 1 0 157 10 0 0 25 0 9 0 1992824279 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4160655535 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19363] ppid=19347 vsize=812552 CPUtime=0.03
/proc/19361/task/19363/stat : 19363 (java) S 19347 19347 15537 0 -1 64 3811 0 0 0 2 1 0 0 16 0 9 0 1992824281 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19364] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19364/stat : 19364 (java) S 19347 19347 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992824281 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19365] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19365/stat : 19365 (java) S 19347 19347 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992824281 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19366] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19366/stat : 19366 (java) S 19347 19347 15537 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 1992824283 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19367] ppid=19347 vsize=812552 CPUtime=0.25
/proc/19361/task/19367/stat : 19367 (java) S 19347 19347 15537 0 -1 64 848 0 0 0 24 1 0 0 16 0 9 0 1992824283 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19368] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19368/stat : 19368 (java) S 19347 19347 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992824283 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19361/tid=19369] ppid=19347 vsize=812552 CPUtime=0
/proc/19361/task/19369/stat : 19369 (java) S 19347 19347 15537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992824283 832053248 19398 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 860116

Child status: 0
Real time (s): 2.14508
CPU time (s): 2.04469
CPU user time (s): 1.86272
CPU system time (s): 0.181972
CPU usage (%): 95.3198
Max. virtual memory (cumulated for all children) (KiB): 860116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.86272
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22481
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= 1003
involuntary context switches= 3065

runsolver used 0.016997 second user time and 0.052991 second system time

The end

Launcher Data (download as text)

Begin job on node15 at 2008-07-04 04:28:16
IDJOB=1063691
IDBENCH=54829
IDSOLVER=351
FILE ID=node15/1063691-1215138496
PBS_JOBID= 7877204
Free space on /tmp= 66544 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a7c1e1fef1b12f08b569db119b8ca75f
RANDOM SEED=89659848

node15.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.229
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.229
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:       1725848 kB
Buffers:         11200 kB
Cached:         141628 kB
SwapCached:       6020 kB
Active:         224888 kB
Inactive:        44012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1725848 kB
SwapTotal:     4192956 kB
SwapFree:      4180972 kB
Dirty:           12352 kB
Writeback:           0 kB
Mapped:         129936 kB
Slab:            46116 kB
Committed_AS:  4222004 kB
PageTables:       2212 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= 66540 MiB
End job on node15 at 2008-07-04 04:28:19