Trace number 3317879

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-industrial? (MO) 2413.62 642.665

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.46/17.67	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.46/17.67	c INFO: solving HOME/instance-3317879-1304267284.cnf
0.46/17.67	c INFO: computing task features
1.60/18.85	c INFO: computed variable-clause graph statistics
1.60/18.89	c INFO: computed clause balance statistics
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.89	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.60/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.90	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.91	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.92	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.93	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.94	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.95	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.96	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
1.70/18.97	Warning: invalid value encountered in divide
7.39/24.62	c INFO: computed variable balance statistics
11.39/28.63	c INFO: computed small-clause counts
11.39/28.68	c INFO: computed Horn-clause counts
24.70/42.00	c INFO: computed variable graph statistics
24.70/42.00	c INFO: collected features for HOME/instance-3317879-1304267284.cnf in 24.28 s
24.80/42.02	c INFO: running precosat-570@0 for 97 with 4775 remaining (b = nan)
24.80/42.04	c INFO: running precosat-570@0 for 97 with 4775 remaining (b = nan)
24.80/42.06	c INFO: running precosat-570@0 for 97 with 4775 remaining (b = nan)
24.80/42.08	c INFO: running precosat-570@0 for 97 with 4775 remaining (b = nan)
424.42/142.16	c INFO: running precosat-570@0 for 97 with 4675 remaining (b = nan)
424.76/142.20	c INFO: running precosat-570@0 for 97 with 4675 remaining (b = nan)
424.76/142.23	c INFO: running precosat-570@0 for 97 with 4675 remaining (b = nan)
424.76/142.25	c INFO: running precosat-570@0 for 97 with 4675 remaining (b = nan)
819.56/241.33	c INFO: running precosat-570@0 for 97 with 4576 remaining (b = nan)
823.51/242.35	c INFO: running precosat-570@0 for 97 with 4575 remaining (b = nan)
823.86/242.41	c INFO: running precosat-570@0 for 97 with 4575 remaining (b = nan)
823.86/242.44	c INFO: running precosat-570@0 for 97 with 4575 remaining (b = nan)
1218.27/341.50	c INFO: running precosat-570@0 for 97 with 4476 remaining (b = nan)
1218.65/341.53	c INFO: running precosat-570@0 for 97 with 4476 remaining (b = nan)
1222.60/342.57	c INFO: running precosat-570@0 for 97 with 4475 remaining (b = nan)
1222.95/342.63	c INFO: running precosat-570@0 for 97 with 4475 remaining (b = nan)
1616.46/441.68	c INFO: running precosat-570@0 for 97 with 4376 remaining (b = nan)
1616.81/441.73	c INFO: running precosat-570@0 for 97 with 4375 remaining (b = nan)
1620.76/442.75	c INFO: running precosat-570@0 for 97 with 4374 remaining (b = nan)
1621.12/442.81	c INFO: running precosat-570@0 for 97 with 4374 remaining (b = nan)
2014.47/541.86	c INFO: running precosat-570@0 for 97 with 4275 remaining (b = nan)
2014.87/541.93	c INFO: running precosat-570@0 for 97 with 4275 remaining (b = nan)
2018.83/542.94	c INFO: running precosat-570@0 for 97 with 4274 remaining (b = nan)
2018.83/542.99	c INFO: running precosat-570@0 for 97 with 4274 remaining (b = nan)
2411.64/642.06	c INFO: running precosat-570@0 for 97 with 4175 remaining (b = nan)
2412.00/642.13	c INFO: running precosat-570@0 for 97 with 4175 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.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3317879-1304267284/watcher-3317879-1304267284 -o /tmp/evaluation-result-3317879-1304267284/solver-3317879-1304267284 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317879-1304267284.cnf -seed 344144970 -budget 4800 -cores 4 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.16 0.03 0.01 2/176 19671
/proc/meminfo: memFree=30313192/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=11800 CPUtime=0 cores=0,2,4,6
/proc/19671/stat : 19671 (runsolver) S 19667 19671 19634 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 538327530 12083200 54 33554432000 4194304 5434984 140736394558320 18446744073709551615 5055495 0 2147483391 4096 24578 18446744071699199166 0 0 17 0 0 0 0
/proc/19671/statm: 2950 54 34 303 0 2644 0

[startup+0.103531 s]
/proc/loadavg: 0.16 0.03 0.01 2/176 19671
/proc/meminfo: memFree=30313192/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 507 0 6 0 0 0 0 0 20 0 1 0 538327530 15175680 420 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272684901 0 2147483391 4096 0 18446744071699199166 0 0 17 6 0 0 2
/proc/19671/statm: 3705 420 259 364 0 192 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14820

[startup+1.42229 s]
/proc/loadavg: 0.16 0.03 0.01 2/176 19671
/proc/meminfo: memFree=30313192/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 922 0 6 0 0 0 0 0 16 0 1 0 538327530 16158720 807 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 6
/proc/19671/statm: 3945 807 356 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780

[startup+1.5003 s]
/proc/loadavg: 0.16 0.03 0.01 2/176 19671
/proc/meminfo: memFree=30313192/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=15780 CPUtime=0 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 930 0 6 0 0 0 0 0 16 0 1 0 538327530 16158720 814 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 6
/proc/19671/statm: 3945 814 356 364 0 432 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15780

[startup+1.60032 s]
/proc/loadavg: 0.16 0.03 0.01 2/176 19671
/proc/meminfo: memFree=30313192/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=15912 CPUtime=0 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 939 0 6 0 0 0 0 0 16 0 1 0 538327530 16293888 821 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 6
/proc/19671/statm: 3978 821 357 364 0 465 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15912

[startup+1.7003 s]
/proc/loadavg: 0.16 0.03 0.01 2/176 19671
/proc/meminfo: memFree=30313192/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=16244 CPUtime=0 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 995 0 6 0 0 0 0 0 15 0 1 0 538327530 16633856 873 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272687104 0 2147483391 16781312 2 18446744071699199166 0 0 17 6 0 0 6
/proc/19671/statm: 4061 873 371 364 0 548 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16244

[startup+3.10105 s]
/proc/loadavg: 0.16 0.03 0.01 1/178 19673
/proc/meminfo: memFree=30304836/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=16400 CPUtime=0.02 cores=0,2,4,6
/proc/19671/stat : 19671 (python) D 19667 19671 19634 0 -1 4202496 1118 0 6 0 1 1 0 0 16 0 1 0 538327530 16793600 990 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272687104 0 0 16781312 2 0 0 0 17 6 0 0 10
/proc/19671/statm: 4100 990 413 364 0 587 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16400
heavy processes:

[startup+6.30054 s]
/proc/loadavg: 0.31 0.07 0.02 1/178 19673
/proc/meminfo: memFree=30288048/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=104796 CPUtime=0.1 cores=0,2,4,6
/proc/19671/stat : 19671 (python) D 19667 19671 19634 0 -1 4202496 3212 0 33 0 7 3 0 0 15 0 1 0 538327530 107311104 2911 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272688896 0 0 16781312 2 18446744071562234166 0 0 17 4 0 0 34
/proc/19671/statm: 26199 2911 868 364 0 1947 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 104796
heavy processes:

[startup+12.7004 s]
/proc/loadavg: 0.44 0.10 0.03 1/178 19681
/proc/meminfo: memFree=30270588/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=135756 CPUtime=0.26 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 5940 925 44 8 16 10 0 0 16 0 1 0 538327530 139014144 4161 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272684980 0 2147483391 16781312 2 18446744071699945619 0 0 17 4 0 0 63
/proc/19671/statm: 33939 4161 1032 364 0 3125 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 135756
heavy processes:

[startup+25.5061 s]
/proc/loadavg: 0.79 0.19 0.06 3/178 19681
/proc/meminfo: memFree=30030748/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=356204 CPUtime=8.3 cores=0,2,4,6
/proc/19671/stat : 19671 (python) R 19667 19671 19634 0 -1 4202496 37264 925 118 8 810 20 0 0 25 0 1 0 538327530 364752896 26438 33554432000 4194304 5683644 140736564159712 18446744073709551615 4539648 0 0 16781312 2 0 0 0 17 2 0 0 114
/proc/19671/statm: 89051 26438 1829 364 0 24975 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 356204
heavy processes:

[startup+51.1014 s]
/proc/loadavg: 1.73 0.45 0.15 6/190 19694
/proc/meminfo: memFree=29581728/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=391320 CPUtime=24.87 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 39992 925 118 8 2465 22 0 0 22 0 5 0 538327530 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 114
/proc/19671/statm: 97830 25020 1875 364 0 33739 0
[pid=19683] ppid=19671 vsize=350308 CPUtime=0 cores=0,2,4,6
/proc/19683/stat : 19683 (python) S 19671 19671 19634 0 -1 4202560 944 0 0 0 0 0 0 0 18 0 1 0 538331733 358715392 23510 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709135 0 0 16781312 514 4412674692972773636 0 0 17 0 0 0 0
/proc/19683/statm: 87577 23510 381 364 0 23495 0
[pid=19685] ppid=19683 vsize=115040 CPUtime=9.05 cores=0,2,4,6
/proc/19685/stat : 19685 (precosat) R 19683 19685 19685 0 -1 4202496 29797 0 0 0 902 3 0 0 25 0 1 0 538331734 117800960 27865 33554432000 4194304 4890832 140733600043136 18446744073709551615 4238673 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/19685/statm: 28760 27865 86 171 0 28587 0
[pid=19686] ppid=19671 vsize=360564 CPUtime=0 cores=0,2,4,6
/proc/19686/stat : 19686 (python) S 19671 19671 19634 0 -1 4202560 875 0 0 0 0 0 0 0 18 0 1 0 538331735 369217536 23503 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 4412670844682076420 0 0 17 0 0 0 0
/proc/19686/statm: 90141 23503 370 364 0 26056 0
[pid=19688] ppid=19686 vsize=113968 CPUtime=8.99 cores=0,2,4,6
/proc/19688/stat : 19688 (precosat) R 19686 19688 19688 0 -1 4202496 29531 0 0 0 895 4 0 0 25 0 1 0 538331736 116703232 27598 33554432000 4194304 4890832 140733216545568 18446744073709551615 4229367 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/19688/statm: 28492 27598 86 171 0 28319 0
[pid=19689] ppid=19671 vsize=370820 CPUtime=0 cores=0,2,4,6
/proc/19689/stat : 19689 (python) S 19671 19671 19634 0 -1 4202560 886 0 0 0 0 0 0 0 18 0 1 0 538331737 379719680 23507 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 4581027240493416708 0 0 17 0 0 0 0
/proc/19689/statm: 92705 23507 370 364 0 28617 0
[pid=19691] ppid=19689 vsize=109940 CPUtime=9.02 cores=0,2,4,6
/proc/19691/stat : 19691 (precosat) R 19689 19691 19691 0 -1 4202496 28541 0 0 0 899 3 0 0 25 0 1 0 538331737 112578560 26608 33554432000 4194304 4890832 140736963097184 18446744073709551615 4238509 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/19691/statm: 27485 26608 86 171 0 27312 0
[pid=19692] ppid=19671 vsize=381076 CPUtime=0 cores=0,2,4,6
/proc/19692/stat : 19692 (python) S 19671 19671 19634 0 -1 4202560 926 0 0 0 0 0 0 0 18 0 1 0 538331739 390221824 23511 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 4381065657819562244 0 0 17 0 0 0 0
/proc/19692/statm: 95269 23511 370 364 0 31178 0
[pid=19694] ppid=19692 vsize=114496 CPUtime=8.97 cores=0,2,4,6
/proc/19694/stat : 19694 (precosat) R 19692 19694 19694 0 -1 4202496 29660 0 0 0 893 4 0 0 25 0 1 0 538331739 117243904 27729 33554432000 4194304 4890832 140734142633440 18446744073709551615 4238599 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/19694/statm: 28624 27729 86 171 0 28451 0
[pid=19671/tid=19684] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19684/stat : 19684 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 18 0 5 0 538331733 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19687] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19687/stat : 19687 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 5 0 538331735 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19690] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19690/stat : 19690 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 5 0 538331737 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 2 0 0 0
[pid=19671/tid=19693] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19693/stat : 19693 (python) S 19667 19671 19634 0 -1 4202560 23 925 0 8 0 0 0 0 22 0 5 0 538331739 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 60.9
Current children cumulated vsize (KiB) 2307532

[startup+102.301 s]
/proc/loadavg: 3.77 1.20 0.42 9/202 19751
/proc/meminfo: memFree=29471520/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=391320 CPUtime=24.87 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 39992 925 118 8 2465 22 0 0 22 0 5 0 538327530 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 114
/proc/19671/statm: 97830 25020 1875 364 0 33739 0
[pid=19683] ppid=19671 vsize=350308 CPUtime=0.07 cores=0,2,4,6
/proc/19683/stat : 19683 (python) S 19671 19671 19634 0 -1 4202560 972 0 0 0 4 3 0 0 18 0 1 0 538331733 358715392 23510 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709135 0 0 16781312 514 17926859791724937476 0 0 17 0 0 0 0
/proc/19683/statm: 87577 23510 381 364 0 23495 0
[pid=19685] ppid=19683 vsize=115040 CPUtime=60.25 cores=0,2,4,6
/proc/19685/stat : 19685 (precosat) R 19683 19685 19685 0 -1 4202496 29820 0 0 0 6021 4 0 0 25 0 1 0 538331734 117800960 27888 33554432000 4194304 4890832 140733600043136 18446744073709551615 4238777 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/19685/statm: 28760 27888 86 171 0 28587 0
[pid=19686] ppid=19671 vsize=360564 CPUtime=0.06 cores=0,2,4,6
/proc/19686/stat : 19686 (python) S 19671 19671 19634 0 -1 4202560 893 0 0 0 3 3 0 0 18 0 1 0 538331735 369217536 23503 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 17926859791724937476 0 0 17 0 0 0 0
/proc/19686/statm: 90141 23503 370 364 0 26056 0
[pid=19688] ppid=19686 vsize=113968 CPUtime=59.91 cores=0,2,4,6
/proc/19688/stat : 19688 (precosat) R 19686 19688 19688 0 -1 4202496 29551 0 0 0 5985 6 0 0 25 0 1 0 538331736 116703232 27618 33554432000 4194304 4890832 140733216545568 18446744073709551615 4238651 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/19688/statm: 28492 27618 86 171 0 28319 0
[pid=19689] ppid=19671 vsize=370820 CPUtime=0.07 cores=0,2,4,6
/proc/19689/stat : 19689 (python) S 19671 19671 19634 0 -1 4202560 915 0 0 0 4 3 0 0 18 0 1 0 538331737 379719680 23507 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 17926859791724937476 0 0 17 0 0 0 0
/proc/19689/statm: 92705 23507 370 364 0 28617 0
[pid=19691] ppid=19689 vsize=109940 CPUtime=60.22 cores=0,2,4,6
/proc/19691/stat : 19691 (precosat) R 19689 19691 19691 0 -1 4202496 28562 0 0 0 6017 5 0 0 25 0 1 0 538331737 112578560 26629 33554432000 4194304 4890832 140736963097184 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/19691/statm: 27485 26629 86 171 0 27312 0
[pid=19692] ppid=19671 vsize=381076 CPUtime=0.06 cores=0,2,4,6
/proc/19692/stat : 19692 (python) S 19671 19671 19634 0 -1 4202560 943 0 0 0 3 3 0 0 18 0 1 0 538331739 390221824 23511 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 17926859791724937476 0 0 17 0 0 0 0
/proc/19692/statm: 95269 23511 370 364 0 31178 0
[pid=19694] ppid=19692 vsize=114496 CPUtime=59.91 cores=0,2,4,6
/proc/19694/stat : 19694 (precosat) R 19692 19694 19694 0 -1 4202496 29683 0 0 0 5987 4 0 0 25 0 1 0 538331739 117243904 27752 33554432000 4194304 4890832 140734142633440 18446744073709551615 4238312 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/19694/statm: 28624 27752 86 171 0 28451 0
[pid=19671/tid=19684] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19684/stat : 19684 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 18 0 5 0 538331733 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19687] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19687/stat : 19687 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 5 0 538331735 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19690] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19690/stat : 19690 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 5 0 538331737 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 2 0 0 0
[pid=19671/tid=19693] ppid=19667 vsize=391320 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19693/stat : 19693 (python) S 19667 19671 19634 0 -1 4202560 23 925 0 8 0 0 0 0 22 0 5 0 538331739 400711680 25020 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 265.42
Current children cumulated vsize (KiB) 2307532

[startup+162.302 s]
/proc/loadavg: 6.56 2.46 0.90 9/218 19769
/proc/meminfo: memFree=27869092/32950928 swapFree=67111464/67111528
[pid=19671] ppid=19667 vsize=432344 CPUtime=24.96 cores=0,2,4,6
/proc/19671/stat : 19671 (python) S 19667 19671 19634 0 -1 4202496 43346 925 118 8 2471 25 0 0 25 0 9 0 538327530 442720256 25045 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 2 18446744073709551615 0 0 17 0 0 0 114

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

/proc/19793/task/19811/stat : 19811 (python) S 19671 19671 19634 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538371696 484741120 23577 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604444859271104 0 0 -1 2 0 0 0
[pid=19797] ppid=19671 vsize=483636 CPUtime=0.15 cores=0,2,4,6
/proc/19797/stat : 19797 (python) S 19671 19671 19634 0 -1 4202560 1162 0 0 0 8 7 0 0 19 0 2 0 538361684 495243264 23581 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19797/statm: 120909 23581 399 364 0 56788 0
[pid=19799] ppid=19797 vsize=113984 CPUtime=97.6 cores=0,2,4,6
/proc/19799/stat : 19799 (precosat) T 19797 19799 19799 0 -1 4202496 29576 0 0 0 9756 4 0 0 25 0 1 0 538361685 116719616 27631 33554432000 4194304 4890832 140735756252208 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/19799/statm: 28496 27631 86 171 0 28323 0
[pid=19797/tid=19815] ppid=19671 vsize=483636 CPUtime=0 cores=0,2,4,6
/proc/19797/task/19815/stat : 19815 (python) S 19671 19671 19634 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538371701 495243264 23581 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604453652215808 0 0 -1 0 0 0 0
[pid=19801] ppid=19671 vsize=493892 CPUtime=0.15 cores=0,2,4,6
/proc/19801/stat : 19801 (python) S 19671 19671 19634 0 -1 4202560 1189 0 0 0 9 6 0 0 19 0 2 0 538361788 505745408 23593 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/19801/statm: 123473 23593 407 364 0 59349 0
[pid=19803] ppid=19801 vsize=113312 CPUtime=99.7 cores=0,2,4,6
/proc/19803/stat : 19803 (precosat) T 19801 19803 19803 0 -1 4202496 29404 0 0 0 9964 6 0 0 25 0 1 0 538361788 116031488 27461 33554432000 4194304 4890832 140733768136048 18446744073709551615 4238683 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/19803/statm: 28328 27461 86 171 0 28155 0
[pid=19801/tid=19819] ppid=19671 vsize=493892 CPUtime=0 cores=0,2,4,6
/proc/19801/task/19819/stat : 19819 (python) S 19671 19671 19634 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538371802 505745408 23593 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604453652214016 0 0 -1 0 0 0 0
[pid=19805] ppid=19671 vsize=504148 CPUtime=0.15 cores=0,2,4,6
/proc/19805/stat : 19805 (python) S 19671 19671 19634 0 -1 4202560 1202 0 0 0 8 7 0 0 19 0 2 0 538361794 516247552 23596 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19805/statm: 126037 23596 406 364 0 61910 0
[pid=19807] ppid=19805 vsize=114592 CPUtime=99.94 cores=0,2,4,6
/proc/19807/stat : 19807 (precosat) T 19805 19807 19807 0 -1 4202496 29729 0 0 0 9990 4 0 0 25 0 1 0 538361794 117342208 27773 33554432000 4194304 4890832 140733991159280 18446744073709551615 4238265 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/19807/statm: 28648 27773 86 171 0 28475 0
[pid=19805/tid=19823] ppid=19671 vsize=504148 CPUtime=0 cores=0,2,4,6
/proc/19805/task/19823/stat : 19823 (python) S 19671 19671 19634 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538371808 516247552 23596 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604453884857344 0 0 -1 6 0 0 0
[pid=19812] ppid=19671 vsize=514404 CPUtime=0.15 cores=0,2,4,6
/proc/19812/stat : 19812 (python) S 19671 19671 19634 0 -1 4202560 1170 0 0 0 8 7 0 0 19 0 2 0 538371699 526749696 23594 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 2 0 0 0
/proc/19812/statm: 128601 23594 400 364 0 64471 0
[pid=19814] ppid=19812 vsize=113360 CPUtime=100.12 cores=0,2,4,6
/proc/19814/stat : 19814 (precosat) T 19812 19814 19814 0 -1 4202496 29414 0 0 0 10008 4 0 0 25 0 1 0 538371700 116080640 27468 33554432000 4194304 4890832 140733750772432 18446744073709551615 4293593 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/19814/statm: 28340 27468 86 171 0 28167 0
[pid=19812/tid=19832] ppid=19671 vsize=514404 CPUtime=0 cores=0,2,4,6
/proc/19812/task/19832/stat : 19832 (python) S 19671 19671 19634 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 538381714 526749696 23594 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604451167762560 0 0 -1 2 0 0 0
[pid=19816] ppid=19671 vsize=524660 CPUtime=0.15 cores=0,2,4,6
/proc/19816/stat : 19816 (python) S 19671 19671 19634 0 -1 4202560 1172 0 0 0 8 7 0 0 19 0 2 0 538371704 537251840 23598 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19816/statm: 131165 23598 400 364 0 67032 0
[pid=19818] ppid=19816 vsize=114604 CPUtime=97.51 cores=0,2,4,6
/proc/19818/stat : 19818 (precosat) T 19816 19818 19818 0 -1 4202496 29732 0 0 0 9747 4 0 0 25 0 1 0 538371704 117354496 27784 33554432000 4194304 4890832 140734719058896 18446744073709551615 4238599 0 0 16781312 17442 18446744071562691360 0 0 17 6 0 0 0
/proc/19818/statm: 28651 27784 86 171 0 28478 0
[pid=19816/tid=19836] ppid=19671 vsize=524660 CPUtime=0 cores=0,2,4,6
/proc/19816/task/19836/stat : 19836 (python) S 19671 19671 19634 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 538381720 537251840 23598 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604440278878208 0 0 -1 0 0 0 0
[pid=19820] ppid=19671 vsize=534916 CPUtime=0.15 cores=0,2,4,6
/proc/19820/stat : 19820 (python) S 19671 19671 19634 0 -1 4202560 1181 0 0 0 8 7 0 0 19 0 2 0 538371805 547753984 23602 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19820/statm: 133729 23602 400 364 0 69593 0
[pid=19822] ppid=19820 vsize=114608 CPUtime=99.68 cores=0,2,4,6
/proc/19822/stat : 19822 (precosat) T 19820 19822 19822 0 -1 4202496 29734 0 0 0 9963 5 0 0 25 0 1 0 538371806 117358592 27786 33554432000 4194304 4890832 140735217638528 18446744073709551615 4238701 0 0 16781312 17442 18446744071562691360 0 0 17 0 0 0 0
/proc/19822/statm: 28652 27786 86 171 0 28479 0
[pid=19820/tid=19840] ppid=19671 vsize=534916 CPUtime=0 cores=0,2,4,6
/proc/19820/task/19840/stat : 19840 (python) S 19671 19671 19634 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538381821 547753984 23602 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604445164484736 0 0 -1 0 0 0 0
[pid=19824] ppid=19671 vsize=545172 CPUtime=0.15 cores=0,2,4,6
/proc/19824/stat : 19824 (python) S 19671 19671 19634 0 -1 4202560 1180 0 0 0 7 8 0 0 19 0 2 0 538371811 558256128 23606 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19824/statm: 136293 23606 400 364 0 72154 0
[pid=19826] ppid=19824 vsize=114708 CPUtime=99.98 cores=0,2,4,6
/proc/19826/stat : 19826 (precosat) T 19824 19826 19826 0 -1 4202496 29754 0 0 0 9995 3 0 0 25 0 1 0 538371812 117460992 27808 33554432000 4194304 4890832 140735232162208 18446744073709551615 4295802 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/19826/statm: 28677 27808 86 171 0 28504 0
[pid=19824/tid=19844] ppid=19671 vsize=545172 CPUtime=0 cores=0,2,4,6
/proc/19824/task/19844/stat : 19844 (python) S 19671 19671 19634 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538381826 558256128 23606 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604445164482944 0 0 -1 0 0 0 0
[pid=19833] ppid=19671 vsize=555428 CPUtime=0.16 cores=0,2,4,6
/proc/19833/stat : 19833 (python) S 19671 19671 19634 0 -1 4202560 1187 0 0 0 9 7 0 0 19 0 2 0 538381717 568758272 23610 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19833/statm: 138857 23610 400 364 0 74715 0
[pid=19835] ppid=19833 vsize=114036 CPUtime=99.94 cores=0,2,4,6
/proc/19835/stat : 19835 (precosat) T 19833 19835 19835 0 -1 4202496 29594 0 0 0 9990 4 0 0 25 0 1 0 538381718 116772864 27645 33554432000 4194304 4890832 140736411151808 18446744073709551615 4295294 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/19835/statm: 28509 27645 86 171 0 28336 0
[pid=19833/tid=19855] ppid=19671 vsize=555428 CPUtime=0 cores=0,2,4,6
/proc/19833/task/19855/stat : 19855 (python) S 19671 19671 19634 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538391734 568758272 23610 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604453931711232 0 0 -1 4 0 0 0
[pid=19837] ppid=19671 vsize=565684 CPUtime=0.16 cores=0,2,4,6
/proc/19837/stat : 19837 (python) S 19671 19671 19634 0 -1 4202560 1208 0 0 0 8 8 0 0 19 0 2 0 538381723 579260416 23621 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284515787 0 0 16781312 514 18446744073709551615 0 0 17 0 0 0 0
/proc/19837/statm: 141421 23621 407 364 0 77276 0
[pid=19839] ppid=19837 vsize=114120 CPUtime=99.66 cores=0,2,4,6
/proc/19839/stat : 19839 (precosat) T 19837 19839 19839 0 -1 4202496 29614 0 0 0 9960 6 0 0 25 0 1 0 538381724 116858880 27661 33554432000 4194304 4890832 140736527969200 18446744073709551615 4238565 0 0 16781312 17442 18446744071562691360 0 0 17 4 0 0 0
/proc/19839/statm: 28530 27661 86 171 0 28357 0
[pid=19837/tid=19859] ppid=19671 vsize=565684 CPUtime=0 cores=0,2,4,6
/proc/19837/task/19859/stat : 19859 (python) S 19671 19671 19634 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538391740 579260416 23621 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 514 18446604453931708544 0 0 -1 0 0 0 0
[pid=19841] ppid=19671 vsize=575940 CPUtime=0.15 cores=0,2,4,6
/proc/19841/stat : 19841 (python) S 19671 19671 19634 0 -1 4202560 1066 0 0 0 7 8 0 0 18 0 1 0 538381824 589762560 23594 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 17926859791724937473 0 0 17 4 0 0 0
/proc/19841/statm: 143985 23594 377 364 0 79837 0
[pid=19843] ppid=19841 vsize=114844 CPUtime=95.99 cores=0,2,4,6
/proc/19843/stat : 19843 (precosat) R 19841 19843 19843 0 -1 4202496 29792 0 0 0 9594 5 0 0 25 0 1 0 538381825 117600256 27837 33554432000 4194304 4890832 140736411977632 18446744073709551615 4238265 0 0 16781312 17442 0 0 0 17 6 0 0 0
/proc/19843/statm: 28711 27837 86 171 0 28538 0
[pid=19845] ppid=19671 vsize=586196 CPUtime=0.15 cores=0,2,4,6
/proc/19845/stat : 19845 (python) S 19671 19671 19634 0 -1 4202560 1056 0 0 0 7 8 0 0 18 0 1 0 538381830 600264704 23598 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 17926859791724937473 0 0 17 0 0 0 0
/proc/19845/statm: 146549 23598 377 364 0 82398 0
[pid=19847] ppid=19845 vsize=115104 CPUtime=99.51 cores=0,2,4,6
/proc/19847/stat : 19847 (precosat) R 19845 19847 19847 0 -1 4202496 29864 0 0 0 9948 3 0 0 25 0 1 0 538381830 117866496 27910 33554432000 4194304 4890832 140736722511216 18446744073709551615 4293611 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/19847/statm: 28776 27910 86 171 0 28603 0
[pid=19856] ppid=19671 vsize=596452 CPUtime=0 cores=0,2,4,6
/proc/19856/stat : 19856 (python) S 19671 19671 19634 0 -1 4202560 910 0 0 0 0 0 0 0 19 0 1 0 538391737 610766848 23575 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 4220352517088739327 0 0 17 0 0 0 0
/proc/19856/statm: 149113 23575 350 364 0 84959 0
[pid=19858] ppid=19856 vsize=62452 CPUtime=0.42 cores=0,2,4,6
/proc/19858/stat : 19858 (precosat) R 19856 19858 19858 0 -1 4202496 15469 0 0 0 40 2 0 0 22 0 1 0 538391738 63950848 15181 33554432000 4194304 4890832 140735886651280 18446744073709551615 4454952 0 0 16781312 17442 0 0 0 17 4 0 0 0
/proc/19858/statm: 15613 15182 72 171 0 15440 0
[pid=19860] ppid=19671 vsize=606708 CPUtime=0 cores=0,2,4,6
/proc/19860/stat : 19860 (python) S 19671 19671 19634 0 -1 4202560 880 0 0 0 0 0 0 0 20 0 1 0 538391744 621268992 23574 33554432000 4194304 5683644 140736564159712 18446744073709551615 268272709190 0 0 16781312 514 2304299574061170687 0 0 17 0 0 0 0
/proc/19860/statm: 151677 23574 345 364 0 87520 0
[pid=19862] ppid=19860 vsize=60212 CPUtime=0.36 cores=0,2,4,6
/proc/19862/stat : 19862 (precosat) R 19860 19862 19862 0 -1 4202496 14933 0 0 0 34 2 0 0 22 0 1 0 538391744 61657088 14645 33554432000 4194304 4890832 140736208746752 18446744073709551615 4454610 0 0 16781312 17442 0 0 0 17 2 0 0 0
/proc/19862/statm: 15053 14645 72 171 0 14880 0
[pid=19671/tid=19684] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19684/stat : 19684 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 18 0 27 0 538331733 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19687] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19687/stat : 19687 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 27 0 538331735 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19690] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19690/stat : 19690 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 27 0 538331737 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 2 0 0 0
[pid=19671/tid=19693] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19693/stat : 19693 (python) S 19667 19671 19634 0 -1 4202560 23 925 0 8 0 0 0 0 22 0 27 0 538331739 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19756] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19756/stat : 19756 (python) S 19667 19671 19634 0 -1 4202560 19 925 0 8 0 0 0 0 20 0 27 0 538341747 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 6 0 0 0
[pid=19671/tid=19761] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19761/stat : 19761 (python) S 19667 19671 19634 0 -1 4202560 25 925 0 8 0 0 0 0 21 0 27 0 538341751 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 2 0 0 0
[pid=19671/tid=19765] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19765/stat : 19765 (python) S 19667 19671 19634 0 -1 4202560 35 925 0 8 0 0 0 0 23 0 27 0 538341754 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19768] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19768/stat : 19768 (python) S 19667 19671 19634 0 -1 4202560 25 925 0 8 0 0 0 0 25 0 27 0 538341757 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19775] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19775/stat : 19775 (python) S 19667 19671 19634 0 -1 4202560 27 925 0 8 0 0 0 0 20 0 27 0 538351664 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19779] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19779/stat : 19779 (python) S 19667 19671 19634 0 -1 4202560 27 925 0 8 0 0 0 0 20 0 27 0 538351766 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19784] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19784/stat : 19784 (python) S 19667 19671 19634 0 -1 4202560 23 925 0 8 0 0 0 0 21 0 27 0 538351772 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 2 0 0 0
[pid=19671/tid=19787] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19787/stat : 19787 (python) S 19667 19671 19634 0 -1 4202560 32 925 0 8 0 0 0 0 23 0 27 0 538351775 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19794] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19794/stat : 19794 (python) S 19667 19671 19634 0 -1 4202560 22 925 0 8 0 0 0 0 20 0 27 0 538361681 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 2 0 0 0
[pid=19671/tid=19798] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19798/stat : 19798 (python) S 19667 19671 19634 0 -1 4202560 34 925 0 8 0 0 0 0 21 0 27 0 538361685 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19802] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19802/stat : 19802 (python) S 19667 19671 19634 0 -1 4202560 28 925 0 8 0 0 0 0 20 0 27 0 538361788 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19806] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19806/stat : 19806 (python) S 19667 19671 19634 0 -1 4202560 26 925 0 8 0 0 0 0 21 0 27 0 538361794 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19813] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19813/stat : 19813 (python) S 19667 19671 19634 0 -1 4202560 26 925 0 8 0 0 0 0 20 0 27 0 538371699 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19817] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19817/stat : 19817 (python) S 19667 19671 19634 0 -1 4202560 30 925 0 8 0 0 0 0 21 0 27 0 538371704 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19821] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19821/stat : 19821 (python) S 19667 19671 19634 0 -1 4202560 25 925 0 8 0 0 0 0 20 0 27 0 538371806 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19825] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19825/stat : 19825 (python) S 19667 19671 19634 0 -1 4202560 24 925 0 8 0 0 0 0 21 0 27 0 538371812 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19834] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19834/stat : 19834 (python) S 19667 19671 19634 0 -1 4202560 26 925 0 8 0 0 0 0 20 0 27 0 538381717 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19838] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19838/stat : 19838 (python) S 19667 19671 19634 0 -1 4202560 26 925 0 8 0 0 0 0 21 0 27 0 538381724 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19842] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19842/stat : 19842 (python) S 19667 19671 19634 0 -1 4202560 24 925 0 8 0 0 0 0 20 0 27 0 538381825 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 4 0 0 0
[pid=19671/tid=19846] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19846/stat : 19846 (python) S 19667 19671 19634 0 -1 4202560 23 925 0 8 0 0 0 0 21 0 27 0 538381830 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19857] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19857/stat : 19857 (python) S 19667 19671 19634 0 -1 4202560 26 925 0 8 0 0 0 0 20 0 27 0 538391737 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
[pid=19671/tid=19861] ppid=19667 vsize=616952 CPUtime=0 cores=0,2,4,6
/proc/19671/task/19861/stat : 19861 (python) S 19667 19671 19634 0 -1 4202560 25 925 0 8 0 0 0 0 21 0 27 0 538391744 631758848 25153 33554432000 4194304 5683644 140736564159712 18446744073709551615 268284512689 0 0 16781312 2 18446604453927285888 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2413.62
Current children cumulated vsize (KiB) 15932324

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 642.665
CPU time (s): 2413.62
CPU user time (s): 2410.58
CPU system time (s): 3.04
CPU usage (%): 375.564
Max. virtual memory (cumulated for all children) (KiB): 15932324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1792
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62255
page faults= 126
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25114
involuntary context switches= 167

runsolver used 3.54346 second user time and 9.08762 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-01 18:28:04
IDJOB=3317879
IDBENCH=20406
IDSOLVER=1706
FILE ID=node122/3317879-1304267284
RUNJOBID= node122-1304267283-19652
PBS_JOBID= 13173957
Free space on /tmp= 73400 MiB

SOLVER NAME= borg-sat 11.03.02-industrial
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 -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3317879-1304267284/watcher-3317879-1304267284 -o /tmp/evaluation-result-3317879-1304267284/solver-3317879-1304267284 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3317879-1304267284.cnf -seed 344144970 -budget 4800 -cores 4

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=344144970

node122.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.820
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.64
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.820
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	: 5332.75
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.75
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30313620 kB
Buffers:        357404 kB
Cached:        1867996 kB
SwapCached:         64 kB
Active:         518932 kB
Inactive:      1771192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30313620 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           81028 kB
Writeback:           0 kB
AnonPages:       64612 kB
Mapped:          14736 kB
Slab:           282728 kB
PageTables:       4644 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187568 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 /tmp at the end= 73332 MiB
End job on node122 at 2011-05-01 18:38:52