Trace number 1780452

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
satake 2009-03-22 (16 threads)UNSAT 6120.43 830.966

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-5p0.cnf
MD5SUMb21b299f860c56270b509900cff82599
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark997.97
Satisfiable
(Un)Satisfiability was proved
Number of variables162926
Number of clauses821689
Sum of the clauses size1954581
Maximum clause length10
Minimum clause length1
Number of clauses of size 18386
Number of clauses of size 2618514
Number of clauses of size 3153189
Number of clauses of size 44620
Number of clauses of size 518480
Number of clauses of size over 518500

Solver Data 

6120.25/830.84	c Benchmark name    : HOME/instance-1780452-1244827398.cnf
6120.25/830.84	c Thread Num        :           16
6120.25/830.84	c restarts          :           16
6120.25/830.84	c conflicts         :        90387
6120.25/830.84	c decisions         :       483044           (      584 / sec      )
6120.25/830.84	c propagations      :    222428194           (   268773 / sec      )
6120.25/830.84	c inspects          :    858007943           (  1036783 / sec      )
6120.25/830.84	c conflict literals :     18803265           (    38.52 % deleted  )
6120.25/830.84	c cpu time          :       827.57           
6120.25/830.84	s UNSATISFIABLE

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780452-1244827398/watcher-1780452-1244827398 -o /tmp/evaluation-result-1780452-1244827398/solver-1780452-1244827398 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780452-1244827398.cnf 16 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.42 10.90 10.52 2/184 9725
/proc/meminfo: memFree=19113056/36427776 swapFree=3764/7400
[pid=9725] ppid=9723 vsize=6980 CPUtime=0
/proc/9725/stat : 9725 (satake) D 9723 9725 27791 0 -1 4202496 390 0 0 0 0 0 0 0 20 0 15 0 642046204 7147520 346 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 1745 346 63 164 0 1580 0
[pid=9725/tid=9726] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9726/stat : 9726 (satake) S 9723 9725 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 642046204 8200192 377 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 15 0 642046204 8200192 378 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 378 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9729/stat : 9729 (satake) R 9723 9725 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 378 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9730/stat : 9730 (satake) R 9723 9725 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 378 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9731/stat : 9731 (satake) S 9723 9725 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 387 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9732/stat : 9732 (satake) S 9723 9725 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 392 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9733/stat : 9733 (satake) D 9723 9725 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 393 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=8008 CPUtime=0
/proc/9725/task/9734/stat : 9734 (satake) D 9723 9725 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 642046205 8200192 393 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=8136 CPUtime=0
/proc/9725/task/9735/stat : 9735 (satake) S 9723 9725 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 642046205 8331264 393 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=8136 CPUtime=0
/proc/9725/task/9736/stat : 9736 (satake) D 9723 9725 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 642046205 8331264 395 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=8136 CPUtime=0
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 15 0 642046205 8331264 398 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=8136 CPUtime=0
/proc/9725/task/9738/stat : 9738 (satake) R 9723 9725 27791 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 642046205 8331264 399 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=8136 CPUtime=0
/proc/9725/task/9739/stat : 9739 (satake) D 9723 9725 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 642046205 8331264 401 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.044092 s]
/proc/loadavg: 8.42 10.90 10.52 2/184 9725
/proc/meminfo: memFree=19113056/36427776 swapFree=3764/7400
[pid=9725] ppid=9723 vsize=21044 CPUtime=0.18
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 2894 0 0 0 5 13 0 0 20 0 17 0 642046204 21549056 2850 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 5261 2850 63 164 0 5096 0
[pid=9725/tid=9726] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9726/stat : 9726 (satake) S 9723 9725 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642046204 21811200 2850 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 293 0 0 0 0 2 0 0 20 0 17 0 642046204 21811200 2853 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 642046205 21811200 2855 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9729/stat : 9729 (satake) R 9723 9725 27791 0 -1 4202560 279 0 0 0 0 2 0 0 20 0 17 0 642046205 21811200 2856 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9730/stat : 9730 (satake) D 9723 9725 27791 0 -1 4202560 258 0 0 0 0 2 0 0 20 0 17 0 642046205 21811200 2856 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9731/stat : 9731 (satake) R 9723 9725 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 642046205 21811200 2858 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 260 0 0 0 2 0 0 0 20 0 17 0 642046205 21811200 2858 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 642046205 21811200 2858 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9734/stat : 9734 (satake) D 9723 9725 27791 0 -1 4202560 276 0 0 0 0 2 0 0 20 0 17 0 642046205 21811200 2858 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9735/stat : 9735 (satake) R 9723 9725 27791 0 -1 4202560 242 0 0 0 0 2 0 0 20 0 17 0 642046205 21811200 2859 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9736/stat : 9736 (satake) R 9723 9725 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 642046205 21811200 2859 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 642046205 21811200 2859 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=21300 CPUtime=0
/proc/9725/task/9738/stat : 9738 (satake) R 9723 9725 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 642046205 21811200 2861 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=21300 CPUtime=0.02
/proc/9725/task/9739/stat : 9739 (satake) R 9723 9725 27791 0 -1 4202560 249 0 0 0 0 2 0 0 20 0 17 0 642046205 21811200 2862 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 21044

[startup+0.104172 s]
/proc/loadavg: 8.42 10.90 10.52 2/184 9725
/proc/meminfo: memFree=19113056/36427776 swapFree=3764/7400
[pid=9725] ppid=9723 vsize=68788 CPUtime=0.68
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 11119 0 0 0 7 61 0 0 20 0 17 0 642046204 70438912 11075 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 17197 11080 63 164 0 17032 0
[pid=9725/tid=9726] ppid=9723 vsize=68788 CPUtime=0
/proc/9725/task/9726/stat : 9726 (satake) S 9723 9725 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642046204 70438912 11080 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 1133 0 0 0 0 6 0 0 20 0 17 0 642046204 70438912 11082 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=68788 CPUtime=0.02
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 474 0 0 0 0 2 0 0 20 0 17 0 642046205 70438912 11082 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9729/stat : 9729 (satake) R 9723 9725 27791 0 -1 4202560 969 0 0 0 0 6 0 0 20 0 17 0 642046205 70438912 11084 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9730/stat : 9730 (satake) R 9723 9725 27791 0 -1 4202560 809 0 0 0 0 6 0 0 20 0 17 0 642046205 70438912 11087 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=68788 CPUtime=0
/proc/9725/task/9731/stat : 9731 (satake) R 9723 9725 27791 0 -1 4202560 276 0 0 0 0 0 0 0 20 0 17 0 642046205 70438912 11088 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 928 0 0 0 2 4 0 0 20 0 17 0 642046205 70438912 11089 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=68788 CPUtime=0
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 17 0 642046205 70438912 11090 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=68788 CPUtime=0.04
/proc/9725/task/9734/stat : 9734 (satake) R 9723 9725 27791 0 -1 4202560 781 0 0 0 0 4 0 0 20 0 17 0 642046205 70438912 11091 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9735/stat : 9735 (satake) R 9723 9725 27791 0 -1 4202560 930 0 0 0 0 6 0 0 20 0 17 0 642046205 70438912 11102 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=68788 CPUtime=0
/proc/9725/task/9736/stat : 9736 (satake) R 9723 9725 27791 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 17 0 642046205 70438912 11134 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=68788 CPUtime=0.02
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 379 0 0 0 0 2 0 0 20 0 17 0 642046205 70438912 11164 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9738/stat : 9738 (satake) R 9723 9725 27791 0 -1 4202560 822 0 0 0 0 6 0 0 20 0 17 0 642046205 70438912 11181 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=68788 CPUtime=0.06
/proc/9725/task/9739/stat : 9739 (satake) R 9723 9725 27791 0 -1 4202560 1141 0 0 0 0 6 0 0 20 0 17 0 642046205 70438912 11202 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 68788

[startup+0.308388 s]
/proc/loadavg: 8.42 10.90 10.52 2/184 9725
/proc/meminfo: memFree=19113056/36427776 swapFree=3764/7400
[pid=9725] ppid=9723 vsize=210612 CPUtime=2.39
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 40415 0 0 0 7 232 0 0 20 0 17 0 642046204 215666688 40371 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 52653 40372 63 164 0 52488 0
[pid=9725/tid=9726] ppid=9723 vsize=210612 CPUtime=0
/proc/9725/task/9726/stat : 9726 (satake) S 9723 9725 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642046204 215666688 40373 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=210612 CPUtime=0.22
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 3950 0 0 0 0 22 0 0 20 0 17 0 642046204 215666688 40375 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=210612 CPUtime=0.12
/proc/9725/task/9728/stat : 9728 (satake) D 9723 9725 27791 0 -1 4202560 2748 0 0 0 0 12 0 0 20 0 17 0 642046205 215666688 40375 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=210612 CPUtime=0.24
/proc/9725/task/9729/stat : 9729 (satake) R 9723 9725 27791 0 -1 4202560 3569 0 0 0 0 24 0 0 20 0 17 0 642046205 215666688 40376 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=210612 CPUtime=0.14
/proc/9725/task/9730/stat : 9730 (satake) R 9723 9725 27791 0 -1 4202560 2271 0 0 0 0 14 0 0 20 0 17 0 642046205 215666688 40376 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=210612 CPUtime=0.1
/proc/9725/task/9731/stat : 9731 (satake) R 9723 9725 27791 0 -1 4202560 1713 0 0 0 0 10 0 0 20 0 17 0 642046205 215666688 40377 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=210612 CPUtime=0.14
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 2447 0 0 0 2 12 0 0 20 0 17 0 642046205 215666688 40379 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=210612 CPUtime=0.1
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 2043 0 0 0 0 10 0 0 20 0 17 0 642046205 215666688 40379 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=210612 CPUtime=0.14
/proc/9725/task/9734/stat : 9734 (satake) R 9723 9725 27791 0 -1 4202560 2255 0 0 0 0 14 0 0 20 0 17 0 642046205 215666688 40380 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=210612 CPUtime=0.14
/proc/9725/task/9735/stat : 9735 (satake) R 9723 9725 27791 0 -1 4202560 2639 0 0 0 0 14 0 0 20 0 17 0 642046205 215666688 40381 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=210612 CPUtime=0.08
/proc/9725/task/9736/stat : 9736 (satake) R 9723 9725 27791 0 -1 4202560 1229 0 0 0 0 8 0 0 20 0 17 0 642046205 215666688 40381 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=210612 CPUtime=0.1
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 1966 0 0 0 0 10 0 0 20 0 17 0 642046205 215666688 40383 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=210612 CPUtime=0.22
/proc/9725/task/9738/stat : 9738 (satake) R 9723 9725 27791 0 -1 4202560 3411 0 0 0 0 22 0 0 20 0 17 0 642046205 215666688 40384 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=210612 CPUtime=0.22
/proc/9725/task/9739/stat : 9739 (satake) R 9723 9725 27791 0 -1 4202560 4066 0 0 0 0 22 0 0 20 0 17 0 642046205 215666688 40385 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 210612

[startup+0.704295 s]
/proc/loadavg: 8.42 10.90 10.52 2/184 9725
/proc/meminfo: memFree=19113056/36427776 swapFree=3764/7400
[pid=9725] ppid=9723 vsize=274888 CPUtime=5.05
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 55139 0 0 0 7 498 0 0 20 0 17 0 642046204 281485312 55098 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 68722 55101 63 164 0 68557 0
[pid=9725/tid=9726] ppid=9723 vsize=274888 CPUtime=0
/proc/9725/task/9726/stat : 9726 (satake) S 9723 9725 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642046204 281485312 55101 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=274888 CPUtime=0.46
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 4965 0 0 0 0 46 0 0 20 0 17 0 642046204 281485312 55101 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=274888 CPUtime=0.26
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 3632 0 0 0 0 26 0 0 20 0 17 0 642046205 281485312 55101 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=274888 CPUtime=0.46
/proc/9725/task/9729/stat : 9729 (satake) R 9723 9725 27791 0 -1 4202560 4816 0 0 0 0 46 0 0 20 0 17 0 642046205 281485312 55101 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=274888 CPUtime=0.3
/proc/9725/task/9730/stat : 9730 (satake) R 9723 9725 27791 0 -1 4202560 3257 0 0 0 0 30 0 0 20 0 17 0 642046205 281485312 55101 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=274888 CPUtime=0.24
/proc/9725/task/9731/stat : 9731 (satake) R 9723 9725 27791 0 -1 4202560 2607 0 0 0 0 24 0 0 20 0 17 0 642046205 281485312 55102 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=274888 CPUtime=0.28
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 3429 0 0 0 2 26 0 0 20 0 17 0 642046205 281485312 55104 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=274888 CPUtime=0.24
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 2923 0 0 0 0 24 0 0 20 0 17 0 642046205 281485312 55105 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=274888 CPUtime=0.28
/proc/9725/task/9734/stat : 9734 (satake) R 9723 9725 27791 0 -1 4202560 3199 0 0 0 0 28 0 0 20 0 17 0 642046205 281485312 55109 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=274888 CPUtime=0.3
/proc/9725/task/9735/stat : 9735 (satake) R 9723 9725 27791 0 -1 4202560 3543 0 0 0 0 30 0 0 20 0 17 0 642046205 281485312 55109 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=274888 CPUtime=0.24
/proc/9725/task/9736/stat : 9736 (satake) R 9723 9725 27791 0 -1 4202560 2191 0 0 0 0 24 0 0 20 0 17 0 642046205 281485312 55125 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=274888 CPUtime=0.24
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 2880 0 0 0 0 24 0 0 20 0 17 0 642046205 281485312 55130 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=274888 CPUtime=0.46
/proc/9725/task/9738/stat : 9738 (satake) D 9723 9725 27791 0 -1 4202560 4518 0 0 0 0 46 0 0 20 0 17 0 642046205 281485312 55130 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=274888 CPUtime=0.46
/proc/9725/task/9739/stat : 9739 (satake) D 9723 9725 27791 0 -1 4202560 5072 0 0 0 0 46 0 0 20 0 17 0 642046205 281485312 55130 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 274888

[startup+1.50275 s]
/proc/loadavg: 8.42 10.90 10.52 7/201 9742
/proc/meminfo: memFree=18861900/36427776 swapFree=4364/262664
[pid=9725] ppid=9723 vsize=339544 CPUtime=9.6

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

/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 508912 0 0 0 564960 42721 0 0 20 0 17 0 642046204 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 491722 452948 68 164 0 491557 0
[pid=9725/tid=9726] ppid=9723 vsize=1966888 CPUtime=323.02
/proc/9725/task/9726/stat : 9726 (satake) D 9723 9725 27791 0 -1 4202560 5294 0 0 0 3325 28977 0 0 20 0 17 0 642046204 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=1966888 CPUtime=369
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 31799 0 0 0 36016 884 0 0 20 0 17 0 642046204 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=1966888 CPUtime=389.66
/proc/9725/task/9728/stat : 9728 (satake) S 9723 9725 27791 0 -1 4202560 34740 0 0 0 38022 944 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=1966888 CPUtime=384.77
/proc/9725/task/9729/stat : 9729 (satake) S 9723 9725 27791 0 -1 4202560 34099 0 0 0 37593 884 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=1966888 CPUtime=379.11
/proc/9725/task/9730/stat : 9730 (satake) S 9723 9725 27791 0 -1 4202560 33663 0 0 0 36999 912 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=1966888 CPUtime=397.12
/proc/9725/task/9731/stat : 9731 (satake) S 9723 9725 27791 0 -1 4202560 35853 0 0 0 38738 974 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=1966888 CPUtime=376.22
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 32072 0 0 0 36738 884 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=1966888 CPUtime=389.18
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 34577 0 0 0 38010 908 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=1966888 CPUtime=394.43
/proc/9725/task/9734/stat : 9734 (satake) S 9723 9725 27791 0 -1 4202560 34889 0 0 0 38563 880 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=1966888 CPUtime=386.99
/proc/9725/task/9735/stat : 9735 (satake) R 9723 9725 27791 0 -1 4202560 33015 0 0 0 37865 834 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=1966888 CPUtime=386.82
/proc/9725/task/9736/stat : 9736 (satake) R 9723 9725 27791 0 -1 4202560 33138 0 0 0 37742 940 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=1966888 CPUtime=381.55
/proc/9725/task/9737/stat : 9737 (satake) S 9723 9725 27791 0 -1 4202560 32810 0 0 0 37231 924 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=1966888 CPUtime=371.61
/proc/9725/task/9738/stat : 9738 (satake) R 9723 9725 27791 0 -1 4202560 34113 0 0 0 36179 982 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=1966888 CPUtime=383.52
/proc/9725/task/9739/stat : 9739 (satake) S 9723 9725 27791 0 -1 4202560 33840 0 0 0 37440 912 0 0 20 0 17 0 642046205 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9725/tid=9740] ppid=9723 vsize=1966888 CPUtime=376.01
/proc/9725/task/9740/stat : 9740 (satake) S 9723 9725 27791 0 -1 4202560 32806 0 0 0 36645 956 0 0 20 0 17 0 642046206 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=9725/tid=9742] ppid=9723 vsize=1966888 CPUtime=387.69
/proc/9725/task/9742/stat : 9742 (satake) S 9723 9725 27791 0 -1 4202560 32077 0 0 0 37851 918 0 0 20 0 17 0 642046206 2014093312 452948 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6076.81
Current children cumulated vsize (KiB) 1966888

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

[startup+825.502 s]
/proc/loadavg: 8.82 9.40 9.51 6/201 9757
/proc/meminfo: memFree=17301440/36427776 swapFree=4588/1821688
[pid=9725] ppid=9723 vsize=1966888 CPUtime=6089.59
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 508919 0 0 0 566046 42913 0 0 20 0 17 0 642046204 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 491722 452955 68 164 0 491557 0
[pid=9725/tid=9726] ppid=9723 vsize=1966888 CPUtime=324.51
/proc/9725/task/9726/stat : 9726 (satake) R 9723 9725 27791 0 -1 4202560 5295 0 0 0 3342 29109 0 0 20 0 17 0 642046204 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=1966888 CPUtime=369.92
/proc/9725/task/9727/stat : 9727 (satake) S 9723 9725 27791 0 -1 4202560 31799 0 0 0 36104 888 0 0 20 0 17 0 642046204 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=1966888 CPUtime=390.56
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 34740 0 0 0 38110 946 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=1966888 CPUtime=385.36
/proc/9725/task/9729/stat : 9729 (satake) S 9723 9725 27791 0 -1 4202560 34100 0 0 0 37646 890 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=1966888 CPUtime=379.65
/proc/9725/task/9730/stat : 9730 (satake) S 9723 9725 27791 0 -1 4202560 33663 0 0 0 37049 916 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=1966888 CPUtime=398.02
/proc/9725/task/9731/stat : 9731 (satake) S 9723 9725 27791 0 -1 4202560 35854 0 0 0 38820 982 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=1966888 CPUtime=377.01
/proc/9725/task/9732/stat : 9732 (satake) D 9723 9725 27791 0 -1 4202560 32072 0 0 0 36817 884 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=1966888 CPUtime=389.95
/proc/9725/task/9733/stat : 9733 (satake) S 9723 9725 27791 0 -1 4202560 34578 0 0 0 38087 908 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=1966888 CPUtime=395.25
/proc/9725/task/9734/stat : 9734 (satake) S 9723 9725 27791 0 -1 4202560 34890 0 0 0 38643 882 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=1966888 CPUtime=387.44
/proc/9725/task/9735/stat : 9735 (satake) S 9723 9725 27791 0 -1 4202560 33015 0 0 0 37906 838 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=1966888 CPUtime=387.69
/proc/9725/task/9736/stat : 9736 (satake) S 9723 9725 27791 0 -1 4202560 33138 0 0 0 37825 944 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=1966888 CPUtime=382.24
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 32811 0 0 0 37296 928 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=1966888 CPUtime=372.18
/proc/9725/task/9738/stat : 9738 (satake) S 9723 9725 27791 0 -1 4202560 34114 0 0 0 36232 986 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=1966888 CPUtime=384.2
/proc/9725/task/9739/stat : 9739 (satake) S 9723 9725 27791 0 -1 4202560 33840 0 0 0 37502 918 0 0 20 0 17 0 642046205 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=9725/tid=9740] ppid=9723 vsize=1966888 CPUtime=376.79
/proc/9725/task/9740/stat : 9740 (satake) R 9723 9725 27791 0 -1 4202560 32806 0 0 0 36717 962 0 0 20 0 17 0 642046206 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134523751 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9725/tid=9742] ppid=9723 vsize=1966888 CPUtime=388.71
/proc/9725/task/9742/stat : 9742 (satake) S 9723 9725 27791 0 -1 4202560 32077 0 0 0 37947 924 0 0 20 0 17 0 642046206 2014093312 452955 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6089.59
Current children cumulated vsize (KiB) 1966888

[startup+828.702 s]
/proc/loadavg: 8.82 9.40 9.51 3/201 9757
/proc/meminfo: memFree=17301316/36427776 swapFree=4588/1821736
[pid=9725] ppid=9723 vsize=1966244 CPUtime=6108.69
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 508935 0 0 0 567131 43738 0 0 20 0 17 0 642046204 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 491561 452825 77 164 0 491396 0
[pid=9725/tid=9726] ppid=9723 vsize=1966244 CPUtime=326.25
/proc/9725/task/9726/stat : 9726 (satake) R 9723 9725 27791 0 -1 4202560 5295 0 0 0 3363 29262 0 0 20 0 17 0 642046204 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=9725/tid=9727] ppid=9723 vsize=1966244 CPUtime=371.1
/proc/9725/task/9727/stat : 9727 (satake) R 9723 9725 27791 0 -1 4202560 31799 0 0 0 36176 934 0 0 20 0 17 0 642046204 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=9725/tid=9728] ppid=9723 vsize=1966244 CPUtime=391.92
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 34740 0 0 0 38198 994 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=1966244 CPUtime=386.26
/proc/9725/task/9729/stat : 9729 (satake) S 9723 9725 27791 0 -1 4202560 34110 0 0 0 37690 936 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=1966244 CPUtime=380.76
/proc/9725/task/9730/stat : 9730 (satake) S 9723 9725 27791 0 -1 4202560 33664 0 0 0 37114 962 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=1966244 CPUtime=399.08
/proc/9725/task/9731/stat : 9731 (satake) S 9723 9725 27791 0 -1 4202560 35854 0 0 0 38882 1026 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=1966244 CPUtime=378.35
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 32072 0 0 0 36899 936 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=1966244 CPUtime=391.24
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 34579 0 0 0 38178 946 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=1966244 CPUtime=396.78
/proc/9725/task/9734/stat : 9734 (satake) S 9723 9725 27791 0 -1 4202560 34892 0 0 0 38750 928 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=9725/tid=9735] ppid=9723 vsize=1966244 CPUtime=388.55
/proc/9725/task/9735/stat : 9735 (satake) S 9723 9725 27791 0 -1 4202560 33015 0 0 0 37967 888 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=1966244 CPUtime=388.78
/proc/9725/task/9736/stat : 9736 (satake) S 9723 9725 27791 0 -1 4202560 33138 0 0 0 37902 976 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=1966244 CPUtime=383.23
/proc/9725/task/9737/stat : 9737 (satake) S 9723 9725 27791 0 -1 4202560 32812 0 0 0 37351 972 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=9725/tid=9738] ppid=9723 vsize=1966244 CPUtime=373.33
/proc/9725/task/9738/stat : 9738 (satake) S 9723 9725 27791 0 -1 4202560 34115 0 0 0 36303 1030 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=9725/tid=9739] ppid=9723 vsize=1966244 CPUtime=385.19
/proc/9725/task/9739/stat : 9739 (satake) S 9723 9725 27791 0 -1 4202560 33840 0 0 0 37553 966 0 0 20 0 17 0 642046205 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=9725/tid=9740] ppid=9723 vsize=1966244 CPUtime=378
/proc/9725/task/9740/stat : 9740 (satake) R 9723 9725 27791 0 -1 4202560 32806 0 0 0 36796 1004 0 0 20 0 17 0 642046206 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134672154 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=9725/tid=9742] ppid=9723 vsize=1966244 CPUtime=389.75
/proc/9725/task/9742/stat : 9742 (satake) R 9723 9725 27791 0 -1 4202560 32077 0 0 0 38005 970 0 0 20 0 17 0 642046206 2013433856 452825 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6108.69
Current children cumulated vsize (KiB) 1966244

[startup+830.303 s]
/proc/loadavg: 8.20 9.27 9.47 2/201 9757
/proc/meminfo: memFree=17317740/36427776 swapFree=4624/1802512
[pid=9725] ppid=9723 vsize=1769204 CPUtime=6118.36
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 508935 0 0 0 567643 44193 0 0 20 0 10 0 642046204 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 442301 421050 77 164 0 442136 0
[pid=9725/tid=9728] ppid=9723 vsize=1769204 CPUtime=392.71
/proc/9725/task/9728/stat : 9728 (satake) R 9723 9725 27791 0 -1 4202560 34740 0 0 0 38241 1030 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=9725/tid=9729] ppid=9723 vsize=1769204 CPUtime=387.07
/proc/9725/task/9729/stat : 9729 (satake) S 9723 9725 27791 0 -1 4202560 34110 0 0 0 37737 970 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=9725/tid=9730] ppid=9723 vsize=1769204 CPUtime=381.52
/proc/9725/task/9730/stat : 9730 (satake) S 9723 9725 27791 0 -1 4202560 33664 0 0 0 37156 996 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9725/tid=9731] ppid=9723 vsize=1769204 CPUtime=399.79
/proc/9725/task/9731/stat : 9731 (satake) S 9723 9725 27791 0 -1 4202560 35854 0 0 0 38925 1054 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=9725/tid=9732] ppid=9723 vsize=1769204 CPUtime=379.11
/proc/9725/task/9732/stat : 9732 (satake) R 9723 9725 27791 0 -1 4202560 32072 0 0 0 36941 970 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=1769204 CPUtime=391.91
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 34579 0 0 0 38211 980 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=9725/tid=9734] ppid=9723 vsize=1769204 CPUtime=397.55
/proc/9725/task/9734/stat : 9734 (satake) R 9723 9725 27791 0 -1 4202560 34892 0 0 0 38793 962 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=9725/tid=9736] ppid=9723 vsize=1769204 CPUtime=389.43
/proc/9725/task/9736/stat : 9736 (satake) R 9723 9725 27791 0 -1 4202560 33138 0 0 0 37935 1008 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=9725/tid=9737] ppid=9723 vsize=1769204 CPUtime=383.91
/proc/9725/task/9737/stat : 9737 (satake) R 9723 9725 27791 0 -1 4202560 32812 0 0 0 37383 1008 0 0 20 0 10 0 642046205 1811664896 421050 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6118.36
Current children cumulated vsize (KiB) 1769204

[startup+830.703 s]
/proc/loadavg: 8.20 9.27 9.47 8/194 9757
/proc/meminfo: memFree=17428832/36427776 swapFree=4624/1684024
[pid=9725] ppid=9723 vsize=1559304 CPUtime=6120.16
/proc/9725/stat : 9725 (satake) S 9723 9725 27791 0 -1 4202496 508935 0 0 0 567755 44261 0 0 20 0 3 0 642046204 1596727296 381644 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 389826 381644 77 164 0 389661 0
[pid=9725/tid=9730] ppid=9723 vsize=1559304 CPUtime=381.83
/proc/9725/task/9730/stat : 9730 (satake) S 9723 9725 27791 0 -1 4202560 33664 0 0 0 37179 1004 0 0 20 0 3 0 642046205 1596727296 381644 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=9725/tid=9733] ppid=9723 vsize=1559304 CPUtime=392.22
/proc/9725/task/9733/stat : 9733 (satake) R 9723 9725 27791 0 -1 4202560 34579 0 0 0 38230 992 0 0 20 0 3 0 642046205 1596727296 381644 18446744073709551615 134512640 135180984 4289989152 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 6120.16
Current children cumulated vsize (KiB) 1559304

[startup+830.903 s]
/proc/loadavg: 8.20 9.27 9.47 8/194 9757
/proc/meminfo: memFree=17428832/36427776 swapFree=4624/1684024
[pid=9725] ppid=9723 vsize=0 CPUtime=6120.35
/proc/9725/stat : 9725 (satake) R 9723 9725 27791 0 -1 4202500 508936 0 0 0 567756 44279 0 0 20 0 1 0 642046204 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/9725/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6120.35
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 830.966
CPU time (s): 6120.43
CPU user time (s): 5677.57
CPU system time (s): 442.86
CPU usage (%): 736.544
Max. virtual memory (cumulated for all children) (KiB): 1966888


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5677.57
system time used= 442.86
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508936
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38656397
involuntary context switches= 1017600

runsolver used 3.72023 second user time and 11.0607 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 19:23:18
IDJOB=1780452
IDBENCH=71008
IDSOLVER=631
FILE ID=xenhost3-49/1780452-1244827398
PBS_JOBID=
Free space on /tmp= 7015 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-15-5p0.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780452-1244827398/watcher-1780452-1244827398 -o /tmp/evaluation-result-1780452-1244827398/solver-1780452-1244827398 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780452-1244827398.cnf 16 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= b21b299f860c56270b509900cff82599
RANDOM SEED= 1866369770

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      19113056 kB
Buffers:        435244 kB
Cached:       14125636 kB
SwapCached:          0 kB
Active:        4080368 kB
Inactive:     10488664 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           15256 kB
Writeback:           0 kB
AnonPages:        7400 kB
Mapped:           3764 kB
Slab:           689408 kB
SReclaimable:   662536 kB
SUnreclaim:      26872 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7015 MiB
End job on xenhost3-49 at 2009-06-12 19:37:09