Trace number 3498256

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
borg-sat 11.03.02-seq-industrial (fixed)? (MO) 2529.5 2556.47

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

Solver Data 

0.51/30.39	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.51/30.39	c INFO: solving HOME/instance-3498256-1307953114.cnf
0.51/30.39	c INFO: computing task features
1.62/31.52	c INFO: computed variable-clause graph statistics
1.62/31.56	c INFO: computed clause balance statistics
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.56	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.57	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.58	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.62/31.59	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.60	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.61	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.62	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.63	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
1.72/31.64	Warning: invalid value encountered in divide
7.53/37.42	c INFO: computed variable balance statistics
11.93/41.84	c INFO: computed small-clause counts
11.93/41.89	c INFO: computed Horn-clause counts
25.22/55.19	c INFO: computed variable graph statistics
25.22/55.19	c INFO: collected features for HOME/instance-3498256-1307953114.cnf in 24.78 s
25.32/55.21	c INFO: running precosat-570@0 for 97 with 4975 remaining (b = nan)
125.52/155.34	c INFO: running precosat-570@0 for 97 with 4875 remaining (b = nan)
225.71/255.46	c INFO: running precosat-570@0 for 97 with 4775 remaining (b = nan)
325.92/355.59	c INFO: running precosat-570@0 for 97 with 4675 remaining (b = nan)
426.23/455.74	c INFO: running precosat-570@0 for 97 with 4574 remaining (b = nan)
526.43/555.88	c INFO: running precosat-570@0 for 97 with 4474 remaining (b = nan)
626.74/656.03	c INFO: running precosat-570@0 for 97 with 4374 remaining (b = nan)
726.98/756.18	c INFO: running precosat-570@0 for 97 with 4274 remaining (b = nan)
827.27/856.32	c INFO: running precosat-570@0 for 97 with 4174 remaining (b = nan)
927.49/956.47	c INFO: running precosat-570@0 for 97 with 4074 remaining (b = nan)
1027.82/1056.62	c INFO: running precosat-570@0 for 97 with 3974 remaining (b = nan)
1128.02/1156.78	c INFO: running precosat-570@0 for 97 with 3874 remaining (b = nan)
1227.35/1255.93	c INFO: running precosat-570@0 for 97 with 3775 remaining (b = nan)
1327.58/1356.09	c INFO: running precosat-570@0 for 97 with 3675 remaining (b = nan)
1427.91/1456.26	c INFO: running precosat-570@0 for 97 with 3575 remaining (b = nan)
1527.23/1555.44	c INFO: running precosat-570@0 for 97 with 3475 remaining (b = nan)
1627.57/1655.62	c INFO: running precosat-570@0 for 97 with 3375 remaining (b = nan)
1727.80/1755.79	c INFO: running precosat-570@0 for 97 with 3275 remaining (b = nan)
1828.12/1855.96	c INFO: running precosat-570@0 for 97 with 3175 remaining (b = nan)
1928.44/1956.13	c INFO: running precosat-570@0 for 97 with 3075 remaining (b = nan)
2027.78/2055.30	c INFO: running precosat-570@0 for 97 with 2976 remaining (b = nan)
2128.01/2155.48	c INFO: running precosat-570@0 for 97 with 2876 remaining (b = nan)
2228.35/2255.66	c INFO: running precosat-570@0 for 97 with 2776 remaining (b = nan)
2328.71/2355.85	c INFO: running precosat-570@0 for 97 with 2675 remaining (b = nan)
2429.04/2456.04	c INFO: running precosat-570@0 for 97 with 2575 remaining (b = nan)
2529.41/2556.23	c INFO: running precosat-570@0 for 97 with 2475 remaining (b = nan)

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498256-1307953114/watcher-3498256-1307953114 -o /var/tmp/evaluation-result-3498256-1307953114/solver-3498256-1307953114 -C 5000 -W 5100 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498256-1307953114.cnf -seed 1825549681 -budget 5000 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 1/177 26824
/proc/meminfo: memFree=16272260/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=14820 CPUtime=0 cores=1,3,5,7
/proc/26824/stat : 26824 (python) R 26822 26824 26778 0 -1 4202496 531 0 0 0 0 0 0 0 21 0 1 0 887727019 15175680 436 33554432000 4194304 5683644 140734089275280 18446744073709551615 4681492 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/26824/statm: 3705 438 267 364 0 192 0

[startup+0.0323959 s]
/proc/loadavg: 0.08 0.02 0.01 1/177 26824
/proc/meminfo: memFree=16272260/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=15184 CPUtime=0 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 726 0 0 0 0 0 0 0 17 0 1 0 887727019 15548416 615 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/26824/statm: 3796 615 321 364 0 283 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15184

[startup+0.100334 s]
/proc/loadavg: 0.08 0.02 0.01 1/177 26824
/proc/meminfo: memFree=16272260/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 793 0 0 0 0 0 0 0 17 0 1 0 887727019 15749120 679 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/26824/statm: 3845 679 322 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.300334 s]
/proc/loadavg: 0.08 0.02 0.01 1/177 26824
/proc/meminfo: memFree=16272260/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=15780 CPUtime=0 cores=1,3,5,7
/proc/26824/stat : 26824 (python) D 26822 26824 26778 0 -1 4202496 929 0 0 0 0 0 0 0 16 0 1 0 887727019 16158720 807 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 0 16781312 2 0 0 0 17 5 0 0 3
/proc/26824/statm: 3945 807 356 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780

[startup+0.700284 s]
/proc/loadavg: 0.08 0.02 0.01 1/177 26824
/proc/meminfo: memFree=16272260/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 1119 0 0 0 1 0 0 0 16 0 1 0 887727019 16793600 985 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 6
/proc/26824/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400

[startup+1.50108 s]
/proc/loadavg: 0.08 0.02 0.01 1/178 26825
/proc/meminfo: memFree=16268332/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=16540 CPUtime=0.02 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 1186 0 0 0 1 1 0 0 15 0 1 0 887727019 16936960 1046 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 7
/proc/26824/statm: 4135 1046 417 364 0 622 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16540

[startup+3.1008 s]
/proc/loadavg: 0.08 0.02 0.01 1/178 26825
/proc/meminfo: memFree=16266672/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=18892 CPUtime=0.02 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 1251 0 1 0 1 1 0 0 16 0 1 0 887727019 19345408 1105 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 18
/proc/26824/statm: 4723 1105 421 364 0 692 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18892
heavy processes:

[startup+6.30022 s]
/proc/loadavg: 0.23 0.05 0.02 1/178 26825
/proc/meminfo: memFree=16265156/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=36508 CPUtime=0.06 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 1608 0 7 0 4 2 0 0 16 0 1 0 887727019 37384192 1445 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 38
/proc/26824/statm: 9127 1445 452 364 0 944 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 36508
heavy processes:

[startup+12.701 s]
/proc/loadavg: 0.21 0.05 0.02 1/178 26826
/proc/meminfo: memFree=16256948/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=85368 CPUtime=0.08 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 2580 0 15 0 5 3 0 0 16 0 1 0 887727019 87416832 2315 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 97
/proc/26824/statm: 21342 2315 713 364 0 1559 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 85368
heavy processes:

[startup+25.5006 s]
/proc/loadavg: 0.39 0.09 0.03 1/178 26834
/proc/meminfo: memFree=16216452/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=202008 CPUtime=0.35 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 7196 924 75 10 23 12 0 0 16 0 1 0 887727019 206856192 5292 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095449088 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 289
/proc/26824/statm: 50502 5292 1490 364 0 4011 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 202008
heavy processes:

[startup+51.101 s]
/proc/loadavg: 0.95 0.25 0.08 3/181 26838
/proc/meminfo: memFree=16103804/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=356212 CPUtime=21.22 cores=1,3,5,7
/proc/26824/stat : 26824 (python) R 26822 26824 26778 0 -1 4202496 37291 924 108 10 2102 20 0 0 25 0 1 0 887727019 364761088 26446 33554432000 4194304 5683644 140734089275280 18446744073709551615 47934112934016 0 0 16781312 2 0 0 0 17 5 0 0 398
/proc/26824/statm: 89053 26446 1835 364 0 24977 0
Current children cumulated CPU time (s) 21.22
Current children cumulated vsize (KiB) 356212
heavy processes:

[startup+102.307 s]
/proc/loadavg: 1.54 0.51 0.18 3/184 26842
/proc/meminfo: memFree=15989740/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=360560 CPUtime=25.34 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 37650 924 108 10 2513 21 0 0 25 0 2 0 887727019 369213440 25004 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 398
/proc/26824/statm: 90140 25004 1869 364 0 26058 0
[pid=26839] ppid=26824 vsize=350316 CPUtime=0.05 cores=1,3,5,7
/proc/26839/stat : 26839 (python) S 26824 26824 26778 0 -1 4202560 951 0 0 0 2 3 0 0 18 0 1 0 887732541 358723584 23512 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095471119 0 0 16781312 514 9564713222674546952 0 0 17 5 0 0 0
/proc/26839/statm: 87579 23512 381 364 0 23497 0
[pid=26841] ppid=26839 vsize=114600 CPUtime=47.07 cores=1,3,5,7
/proc/26841/stat : 26841 (precosat) R 26839 26841 26841 0 -1 4202496 29714 0 0 0 4703 4 0 0 25 0 1 0 887732541 117350400 27783 33554432000 4194304 4890832 140734796871232 18446744073709551615 4293481 0 0 16781312 17442 0 0 0 17 1 0 0 0
/proc/26841/statm: 28650 27783 86 171 0 28477 0
[pid=26824/tid=26840] ppid=26822 vsize=360560 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26840/stat : 26840 (python) S 26822 26824 26778 0 -1 4202560 24 924 0 10 0 0 0 0 25 0 2 0 887732541 369213440 25004 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 72.46
Current children cumulated vsize (KiB) 825476
heavy processes:

[startup+162.301 s]
/proc/loadavg: 1.83 0.78 0.29 3/189 26849
/proc/meminfo: memFree=15868900/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=370816 CPUtime=25.36 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 38449 924 108 10 2515 21 0 0 19 0 3 0 887727019 379715584 25011 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 398
/proc/26824/statm: 92704 25011 1872 364 0 28619 0
[pid=26839] ppid=26824 vsize=360560 CPUtime=0.11 cores=1,3,5,7
/proc/26839/stat : 26839 (python) S 26824 26824 26778 0 -1 4202560 1130 0 0 0 6 5 0 0 19 0 2 0 887732541 369213440 23550 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/26839/statm: 90140 23550 414 364 0 26058 0
[pid=26841] ppid=26839 vsize=114600 CPUtime=100.1 cores=1,3,5,7
/proc/26841/stat : 26841 (precosat) T 26839 26841 26841 0 -1 4202496 29715 0 0 0 10005 5 0 0 25 0 1 0 887732541 117350400 27784 33554432000 4194304 4890832 140734796871232 18446744073709551615 4214476 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/26841/statm: 28650 27784 86 171 0 28477 0
[pid=26839/tid=26845] ppid=26824 vsize=360560 CPUtime=0 cores=1,3,5,7
/proc/26839/task/26845/stat : 26845 (python) S 26824 26824 26778 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887742552 369213440 23550 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604471104547712 0 0 -1 1 0 0 0
[pid=26846] ppid=26824 vsize=360572 CPUtime=0 cores=1,3,5,7
/proc/26846/stat : 26846 (python) S 26824 26824 26778 0 -1 4202560 885 0 0 0 0 0 0 0 18 0 1 0 887742553 369225728 23505 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095471174 0 0 16781312 514 4528546450988040456 0 0 17 3 0 0 0
/proc/26846/statm: 90143 23505 370 364 0 26058 0
[pid=26848] ppid=26846 vsize=114628 CPUtime=6.94 cores=1,3,5,7
/proc/26848/stat : 26848 (precosat) R 26846 26848 26848 0 -1 4202496 29700 0 0 0 690 4 0 0 25 0 1 0 887742554 117379072 27768 33554432000 4194304 4890832 140733707612112 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/26848/statm: 28657 27768 86 171 0 28484 0
[pid=26824/tid=26840] ppid=26822 vsize=370816 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26840/stat : 26840 (python) S 26822 26824 26778 0 -1 4202560 24 924 0 10 0 0 0 0 25 0 3 0 887732541 379715584 25011 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26847] ppid=26822 vsize=370816 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26847/stat : 26847 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 3 0 887742554 379715584 25011 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 132.51
Current children cumulated vsize (KiB) 1321176

[startup+222.301 s]
/proc/loadavg: 1.99 1.02 0.40 3/189 26850
/proc/meminfo: memFree=15862168/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=370816 CPUtime=25.36 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 38449 924 108 10 2515 21 0 0 19 0 3 0 887727019 379715584 25011 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 398
/proc/26824/statm: 92704 25011 1872 364 0 28619 0
[pid=26839] ppid=26824 vsize=360560 CPUtime=0.11 cores=1,3,5,7
/proc/26839/stat : 26839 (python) S 26824 26824 26778 0 -1 4202560 1130 0 0 0 6 5 0 0 19 0 2 0 887732541 369213440 23550 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/26839/statm: 90140 23550 414 364 0 26058 0
[pid=26841] ppid=26839 vsize=114600 CPUtime=100.1 cores=1,3,5,7
/proc/26841/stat : 26841 (precosat) T 26839 26841 26841 0 -1 4202496 29715 0 0 0 10005 5 0 0 25 0 1 0 887732541 117350400 27784 33554432000 4194304 4890832 140734796871232 18446744073709551615 4214476 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/26841/statm: 28650 27784 86 171 0 28477 0
[pid=26839/tid=26845] ppid=26824 vsize=360560 CPUtime=0 cores=1,3,5,7
/proc/26839/task/26845/stat : 26845 (python) S 26824 26824 26778 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887742552 369213440 23550 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604471104547712 0 0 -1 1 0 0 0
[pid=26846] ppid=26824 vsize=360572 CPUtime=0.07 cores=1,3,5,7
/proc/26846/stat : 26846 (python) S 26824 26824 26778 0 -1 4202560 911 0 0 0 4 3 0 0 18 0 1 0 887742553 369225728 23505 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095471174 0 0 16781312 514 9564713222674546952 0 0 17 3 0 0 0
/proc/26846/statm: 90143 23505 370 364 0 26058 0
[pid=26848] ppid=26846 vsize=114628 CPUtime=66.94 cores=1,3,5,7
/proc/26848/stat : 26848 (precosat) R 26846 26848 26848 0 -1 4202496 29724 0 0 0 6690 4 0 0 25 0 1 0 887742554 117379072 27792 33554432000 4194304 4890832 140733707612112 18446744073709551615 4239099 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/26848/statm: 28657 27792 86 171 0 28484 0
[pid=26824/tid=26840] ppid=26822 vsize=370816 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26840/stat : 26840 (python) S 26822 26824 26778 0 -1 4202560 24 924 0 10 0 0 0 0 25 0 3 0 887732541 379715584 25011 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26847] ppid=26822 vsize=370816 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26847/stat : 26847 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 3 0 887742554 379715584 25011 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 192.58
Current children cumulated vsize (KiB) 1321176

[startup+282.301 s]
/proc/loadavg: 1.99 1.19 0.50 3/196 26859
/proc/meminfo: memFree=15738964/32951124 swapFree=67053956/67111528
[pid=26824] ppid=26822 vsize=381072 CPUtime=25.38 cores=1,3,5,7
/proc/26824/stat : 26824 (python) S 26822 26824 26778 0 -1 4202496 39282 924 108 10 2516 22 0 0 19 0 4 0 887727019 390217728 25017 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 398

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

[pid=26940] ppid=26824 vsize=483644 CPUtime=0.15 cores=1,3,5,7
/proc/26940/stat : 26940 (python) S 26824 26824 26778 0 -1 4202560 1143 0 0 0 8 7 0 0 19 0 2 0 887862629 495251456 23583 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/26940/statm: 120911 23583 399 364 0 56790 0
[pid=26942] ppid=26940 vsize=115580 CPUtime=100.12 cores=1,3,5,7
/proc/26942/stat : 26942 (precosat) T 26940 26942 26942 0 -1 4202496 29964 0 0 0 10007 5 0 0 25 0 1 0 887862630 118353920 28025 33554432000 4194304 4890832 140736093581152 18446744073709551615 4238338 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/26942/statm: 28895 28025 86 171 0 28722 0
[pid=26940/tid=26946] ppid=26824 vsize=483644 CPUtime=0 cores=1,3,5,7
/proc/26940/task/26946/stat : 26946 (python) S 26824 26824 26778 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887872644 495251456 23583 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604456366720960 0 0 -1 5 0 0 0
[pid=26947] ppid=26824 vsize=493900 CPUtime=0.15 cores=1,3,5,7
/proc/26947/stat : 26947 (python) S 26824 26824 26778 0 -1 4202560 1187 0 0 0 7 8 0 0 19 0 2 0 887872646 505753600 23594 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/26947/statm: 123475 23594 406 364 0 59351 0
[pid=26949] ppid=26947 vsize=113004 CPUtime=99.14 cores=1,3,5,7
/proc/26949/stat : 26949 (precosat) T 26947 26949 26949 0 -1 4202496 29324 0 0 0 9911 3 0 0 25 0 1 0 887872647 115716096 27381 33554432000 4194304 4890832 140733537903424 18446744073709551615 4238686 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/26949/statm: 28251 27381 86 171 0 28078 0
[pid=26947/tid=26957] ppid=26824 vsize=493900 CPUtime=0 cores=1,3,5,7
/proc/26947/task/26957/stat : 26957 (python) S 26824 26824 26778 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 887882562 505753600 23594 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604471144887552 0 0 -1 7 0 0 0
[pid=26958] ppid=26824 vsize=504156 CPUtime=0.14 cores=1,3,5,7
/proc/26958/stat : 26958 (python) S 26824 26824 26778 0 -1 4202560 1189 0 0 0 8 6 0 0 19 0 2 0 887882564 516255744 23598 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/26958/statm: 126039 23598 406 364 0 61912 0
[pid=26960] ppid=26958 vsize=115296 CPUtime=100.13 cores=1,3,5,7
/proc/26960/stat : 26960 (precosat) T 26958 26960 26960 0 -1 4202496 29911 0 0 0 10009 4 0 0 25 0 1 0 887882565 118063104 27960 33554432000 4194304 4890832 140736653386064 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/26960/statm: 28824 27960 86 171 0 28651 0
[pid=26958/tid=26964] ppid=26824 vsize=504156 CPUtime=0 cores=1,3,5,7
/proc/26958/task/26964/stat : 26964 (python) S 26824 26824 26778 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887892579 516255744 23598 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604454223473344 0 0 -1 5 0 0 0
[pid=26965] ppid=26824 vsize=514412 CPUtime=0.14 cores=1,3,5,7
/proc/26965/stat : 26965 (python) S 26824 26824 26778 0 -1 4202560 1169 0 0 0 7 7 0 0 19 0 2 0 887892581 526757888 23596 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/26965/statm: 128603 23596 400 364 0 64473 0
[pid=26967] ppid=26965 vsize=113256 CPUtime=100.13 cores=1,3,5,7
/proc/26967/stat : 26967 (precosat) T 26965 26967 26967 0 -1 4202496 29388 0 0 0 10009 4 0 0 25 0 1 0 887892582 115974144 27444 33554432000 4194304 4890832 140736105976208 18446744073709551615 4229325 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/26967/statm: 28314 27444 86 171 0 28141 0
[pid=26965/tid=26971] ppid=26824 vsize=514412 CPUtime=0 cores=1,3,5,7
/proc/26965/task/26971/stat : 26971 (python) S 26824 26824 26778 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887902596 526757888 23596 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604456864457856 0 0 -1 3 0 0 0
[pid=26972] ppid=26824 vsize=524668 CPUtime=0.15 cores=1,3,5,7
/proc/26972/stat : 26972 (python) S 26824 26824 26778 0 -1 4202560 1170 0 0 0 7 8 0 0 19 0 2 0 887902598 537260032 23600 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/26972/statm: 131167 23600 400 364 0 67034 0
[pid=26974] ppid=26972 vsize=112936 CPUtime=100.13 cores=1,3,5,7
/proc/26974/stat : 26974 (precosat) T 26972 26974 26974 0 -1 4202496 29305 0 0 0 10010 3 0 0 25 0 1 0 887902599 115646464 27357 33554432000 4194304 4890832 140734394287504 18446744073709551615 4232418 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/26974/statm: 28234 27357 86 171 0 28061 0
[pid=26972/tid=26978] ppid=26824 vsize=524668 CPUtime=0 cores=1,3,5,7
/proc/26972/task/26978/stat : 26978 (python) S 26824 26824 26778 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887912613 537260032 23600 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604456864456960 0 0 -1 1 0 0 0
[pid=26979] ppid=26824 vsize=534924 CPUtime=0.15 cores=1,3,5,7
/proc/26979/stat : 26979 (python) S 26824 26824 26778 0 -1 4202560 1198 0 0 0 7 8 0 0 19 0 2 0 887912616 547762176 23604 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/26979/statm: 133731 23604 400 364 0 69595 0
[pid=26981] ppid=26979 vsize=115096 CPUtime=100.11 cores=1,3,5,7
/proc/26981/stat : 26981 (precosat) T 26979 26981 26981 0 -1 4202496 29847 0 0 0 10007 4 0 0 25 0 1 0 887912616 117858304 27903 33554432000 4194304 4890832 140734389275168 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/26981/statm: 28774 27903 86 171 0 28601 0
[pid=26979/tid=26984] ppid=26824 vsize=534924 CPUtime=0 cores=1,3,5,7
/proc/26979/task/26984/stat : 26984 (python) S 26824 26824 26778 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887922630 547762176 23604 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604459467138304 0 0 -1 5 0 0 0
[pid=26985] ppid=26824 vsize=545180 CPUtime=0.15 cores=1,3,5,7
/proc/26985/stat : 26985 (python) S 26824 26824 26778 0 -1 4202560 1190 0 0 0 7 8 0 0 16 0 2 0 887922633 558264320 23608 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/26985/statm: 136295 23608 400 364 0 72156 0
[pid=26987] ppid=26985 vsize=114060 CPUtime=99.13 cores=1,3,5,7
/proc/26987/stat : 26987 (precosat) T 26985 26987 26987 0 -1 4202496 29590 0 0 0 9909 4 0 0 25 0 1 0 887922633 116797440 27644 33554432000 4194304 4890832 140737074460592 18446744073709551615 4238904 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/26987/statm: 28515 27644 86 171 0 28342 0
[pid=26985/tid=26991] ppid=26824 vsize=545180 CPUtime=0 cores=1,3,5,7
/proc/26985/task/26991/stat : 26991 (python) S 26824 26824 26778 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 887932548 558264320 23608 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604459467137408 0 0 -1 7 0 0 0
[pid=26992] ppid=26824 vsize=555436 CPUtime=0.15 cores=1,3,5,7
/proc/26992/stat : 26992 (python) S 26824 26824 26778 0 -1 4202560 1201 0 0 0 7 8 0 0 19 0 2 0 887932550 568766464 23613 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/26992/statm: 138859 23613 401 364 0 74717 0
[pid=26994] ppid=26992 vsize=114088 CPUtime=100.13 cores=1,3,5,7
/proc/26994/stat : 26994 (precosat) T 26992 26994 26994 0 -1 4202496 29605 0 0 0 10010 3 0 0 25 0 1 0 887932551 116826112 27659 33554432000 4194304 4890832 140736701413296 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/26994/statm: 28522 27659 86 171 0 28349 0
[pid=26992/tid=26998] ppid=26824 vsize=555436 CPUtime=0 cores=1,3,5,7
/proc/26992/task/26998/stat : 26998 (python) S 26824 26824 26778 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 887942565 568766464 23613 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604470569588032 0 0 -1 3 0 0 0
[pid=26999] ppid=26824 vsize=565692 CPUtime=0.16 cores=1,3,5,7
/proc/26999/stat : 26999 (python) S 26824 26824 26778 0 -1 4202560 1225 0 0 0 8 8 0 0 19 0 2 0 887942568 579268608 23622 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/26999/statm: 141423 23622 406 364 0 77278 0
[pid=27001] ppid=26999 vsize=114628 CPUtime=100.14 cores=1,3,5,7
/proc/27001/stat : 27001 (precosat) T 26999 27001 27001 0 -1 4202496 29738 0 0 0 10011 3 0 0 25 0 1 0 887942568 117379072 27784 33554432000 4194304 4890832 140737366540464 18446744073709551615 4238242 0 0 16781312 17442 18446744071562691360 0 0 17 1 0 0 0
/proc/27001/statm: 28657 27784 86 171 0 28484 0
[pid=26999/tid=27004] ppid=26824 vsize=565692 CPUtime=0 cores=1,3,5,7
/proc/26999/task/27004/stat : 27004 (python) S 26824 26824 26778 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887952584 579268608 23622 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604470569587136 0 0 -1 1 0 0 0
[pid=27005] ppid=26824 vsize=575948 CPUtime=0.16 cores=1,3,5,7
/proc/27005/stat : 27005 (python) S 26824 26824 26778 0 -1 4202560 1240 0 0 0 8 8 0 0 19 0 2 0 887952586 589770752 23627 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/27005/statm: 143987 23627 407 364 0 79839 0
[pid=27007] ppid=27005 vsize=113844 CPUtime=100.15 cores=1,3,5,7
/proc/27007/stat : 27007 (precosat) T 27005 27007 27007 0 -1 4202496 29545 0 0 0 10011 4 0 0 25 0 1 0 887952587 116576256 27592 33554432000 4194304 4890832 140736922742272 18446744073709551615 4299200 0 0 16781312 17442 18446744071562691360 0 0 17 3 0 0 0
/proc/27007/statm: 28461 27592 86 171 0 28288 0
[pid=27005/tid=27011] ppid=26824 vsize=575948 CPUtime=0 cores=1,3,5,7
/proc/27005/task/27011/stat : 27011 (python) S 26824 26824 26778 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 887962603 589770752 23627 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604467531117504 0 0 -1 1 0 0 0
[pid=27012] ppid=26824 vsize=586204 CPUtime=0.17 cores=1,3,5,7
/proc/27012/stat : 27012 (python) S 26824 26824 26778 0 -1 4202560 1234 0 0 0 8 9 0 0 19 0 2 0 887962605 600272896 23630 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/27012/statm: 146551 23630 406 364 0 82400 0
[pid=27014] ppid=27012 vsize=115568 CPUtime=100.15 cores=1,3,5,7
/proc/27014/stat : 27014 (precosat) T 27012 27014 27014 0 -1 4202496 29977 0 0 0 10012 3 0 0 25 0 1 0 887962606 118341632 28024 33554432000 4194304 4890832 140736460667968 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/27014/statm: 28892 28024 86 171 0 28719 0
[pid=27012/tid=27018] ppid=26824 vsize=586204 CPUtime=0 cores=1,3,5,7
/proc/27012/task/27018/stat : 27018 (python) S 26824 26824 26778 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887972621 600272896 23630 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604469957060480 0 0 -1 5 0 0 0
[pid=27019] ppid=26824 vsize=596460 CPUtime=0.16 cores=1,3,5,7
/proc/27019/stat : 27019 (python) S 26824 26824 26778 0 -1 4202560 1249 0 0 0 9 7 0 0 19 0 2 0 887972624 610775040 23634 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107277771 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/27019/statm: 149115 23634 406 364 0 84961 0
[pid=27021] ppid=27019 vsize=114372 CPUtime=100.14 cores=1,3,5,7
/proc/27021/stat : 27021 (precosat) T 27019 27021 27021 0 -1 4202496 29676 0 0 0 10011 3 0 0 25 0 1 0 887972625 117116928 27721 33554432000 4194304 4890832 140734434813200 18446744073709551615 4293441 0 0 16781312 17442 18446744071562691360 0 0 17 5 0 0 0
/proc/27021/statm: 28593 27721 86 171 0 28420 0
[pid=27019/tid=27033] ppid=26824 vsize=596460 CPUtime=0 cores=1,3,5,7
/proc/27019/task/27033/stat : 27033 (python) S 26824 26824 26778 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 887982640 610775040 23634 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 514 18446604470569588928 0 0 -1 3 0 0 0
[pid=27034] ppid=26824 vsize=606716 CPUtime=0 cores=1,3,5,7
/proc/27034/stat : 27034 (python) S 26824 26824 26778 0 -1 4202560 893 0 0 0 0 0 0 0 19 0 1 0 887982643 621277184 23576 33554432000 4194304 5683644 140734089275280 18446744073709551615 228095471174 0 0 16781312 514 4347407132992208895 0 0 17 5 0 0 0
/proc/27034/statm: 151679 23576 345 364 0 87522 0
[pid=27036] ppid=27034 vsize=33812 CPUtime=0.06 cores=1,3,5,7
/proc/27036/stat : 27036 (precosat) R 27034 27036 27036 0 -1 4202496 8330 0 0 0 6 0 0 0 20 0 1 0 887982644 34623488 8046 33554432000 4194304 4890832 140736979769344 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 5 0 0 0
/proc/27036/statm: 8453 8046 65 171 0 8280 0
[pid=26824/tid=26840] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26840/stat : 26840 (python) S 26822 26824 26778 0 -1 4202560 24 924 0 10 0 0 0 0 25 0 27 0 887732541 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26847] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26847/stat : 26847 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 27 0 887742554 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26857] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26857/stat : 26857 (python) S 26822 26824 26778 0 -1 4202560 28 924 0 10 0 0 0 0 20 0 27 0 887752567 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26865] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26865/stat : 26865 (python) S 26822 26824 26778 0 -1 4202560 30 924 0 10 0 0 0 0 20 0 27 0 887762579 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=26874] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26874/stat : 26874 (python) S 26822 26824 26778 0 -1 4202560 29 924 0 10 0 0 0 0 18 0 27 0 887772594 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26881] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26881/stat : 26881 (python) S 26822 26824 26778 0 -1 4202560 23 924 0 10 0 0 0 0 20 0 27 0 887782608 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=26888] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26888/stat : 26888 (python) S 26822 26824 26778 0 -1 4202560 29 924 0 10 0 0 0 0 20 0 27 0 887792623 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26897] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26897/stat : 26897 (python) S 26822 26824 26778 0 -1 4202560 27 924 0 10 0 0 0 0 20 0 27 0 887802638 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 7 0 0 0
[pid=26824/tid=26904] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26904/stat : 26904 (python) S 26822 26824 26778 0 -1 4202560 24 924 0 10 0 0 0 0 20 0 27 0 887812653 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26911] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26911/stat : 26911 (python) S 26822 26824 26778 0 -1 4202560 29 924 0 10 0 0 0 0 20 0 27 0 887822667 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=26917] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26917/stat : 26917 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 27 0 887832683 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 7 0 0 0
[pid=26824/tid=26924] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26924/stat : 26924 (python) S 26822 26824 26778 0 -1 4202560 28 924 0 10 0 0 0 0 20 0 27 0 887842698 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 1 0 0 0
[pid=26824/tid=26932] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26932/stat : 26932 (python) S 26822 26824 26778 0 -1 4202560 27 924 0 10 0 0 0 0 20 0 27 0 887852614 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 1 0 0 0
[pid=26824/tid=26941] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26941/stat : 26941 (python) S 26822 26824 26778 0 -1 4202560 30 924 0 10 0 0 0 0 20 0 27 0 887862630 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=26948] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26948/stat : 26948 (python) S 26822 26824 26778 0 -1 4202560 29 924 0 10 0 0 0 0 20 0 27 0 887872646 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=26959] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26959/stat : 26959 (python) S 26822 26824 26778 0 -1 4202560 30 924 0 10 0 0 0 0 20 0 27 0 887882565 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=26966] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26966/stat : 26966 (python) S 26822 26824 26778 0 -1 4202560 23 924 0 10 0 0 0 0 20 0 27 0 887892582 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 1 0 0 0
[pid=26824/tid=26973] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26973/stat : 26973 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 27 0 887902599 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=26980] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26980/stat : 26980 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 27 0 887912616 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 7 0 0 0
[pid=26824/tid=26986] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26986/stat : 26986 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 27 0 887922633 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 1 0 0 0
[pid=26824/tid=26993] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/26993/stat : 26993 (python) S 26822 26824 26778 0 -1 4202560 31 924 0 10 0 0 0 0 20 0 27 0 887932551 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 1 0 0 0
[pid=26824/tid=27000] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/27000/stat : 27000 (python) S 26822 26824 26778 0 -1 4202560 25 924 0 10 0 0 0 0 20 0 27 0 887942568 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=27006] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/27006/stat : 27006 (python) S 26822 26824 26778 0 -1 4202560 26 924 0 10 0 0 0 0 20 0 27 0 887952587 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 1 0 0 0
[pid=26824/tid=27013] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/27013/stat : 27013 (python) S 26822 26824 26778 0 -1 4202560 23 924 0 10 0 0 0 0 20 0 27 0 887962605 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 3 0 0 0
[pid=26824/tid=27020] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/27020/stat : 27020 (python) S 26822 26824 26778 0 -1 4202560 25 924 0 10 0 0 0 0 20 0 27 0 887972624 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
[pid=26824/tid=27035] ppid=26822 vsize=616960 CPUtime=0 cores=1,3,5,7
/proc/26824/task/27035/stat : 27035 (python) S 26822 26824 26778 0 -1 4202560 23 924 0 10 0 0 0 0 20 0 27 0 887982643 631767040 25155 33554432000 4194304 5683644 140734089275280 18446744073709551615 228107274673 0 0 16781312 2 18446604471158414400 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2529.5
Current children cumulated vsize (KiB) 15953108

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26824 and gives
#  childrusage.ru_utime.tv_sec=25
#  childrusage.ru_utime.tv_usec=638102
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=337948
# CPU time returned by wait4() is 25.9761
# while last known CPU time is 2529.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 2556.47
CPU time (s): 2529.5
CPU user time (s): 2526.54
CPU system time (s): 2.96
CPU usage (%): 98.9452
Max. virtual memory (cumulated for all children) (KiB): 15953108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6381
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63148
page faults= 118
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16888
involuntary context switches= 140

runsolver used 15.2037 second user time and 32.0281 second system time

The end

Launcher Data 

Begin job on node142 at 2011-06-13 10:18:34
IDJOB=3498256
IDBENCH=20406
IDSOLVER=1991
FILE ID=node142/3498256-1307953114
RUNJOBID= node142-1307953113-26797
PBS_JOBID= 13559686
Free space on /var/tmp= 2888 MiB

SOLVER NAME= borg-sat 11.03.02-seq-industrial (fixed)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3498256-1307953114/watcher-3498256-1307953114 -o /var/tmp/evaluation-result-3498256-1307953114/solver-3498256-1307953114 -C 5000 -W 5100 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3498256-1307953114.cnf -seed 1825549681 -budget 5000

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=1825549681

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5131.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16273068 kB
Buffers:         71920 kB
Cached:       16004108 kB
SwapCached:      10432 kB
Active:         829040 kB
Inactive:     15267068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16273068 kB
SwapTotal:    67111528 kB
SwapFree:     67053956 kB
Dirty:           70212 kB
Writeback:           8 kB
AnonPages:       18304 kB
Mapped:          13520 kB
Slab:           517296 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   206944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2844 MiB
End job on node142 at 2011-06-13 11:01:14