Trace number 1780572

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 3071.7 567.947

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-15-10p0.cnf
MD5SUMabc6c44b372f4addd18c6a7b2eac59f5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark392.2
Satisfiable
(Un)Satisfiability was proved
Number of variables199586
Number of clauses1006679
Sum of the clauses size2394657
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2757762
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

3071.53/567.85	c Benchmark name    : HOME/instance-1780572-1244832568.cnf
3071.53/567.85	c Thread Num        :           16
3071.53/567.85	c restarts          :           14
3071.53/567.85	c conflicts         :        58160
3071.53/567.85	c decisions         :       410279           (      727 / sec      )
3071.53/567.85	c propagations      :    160303975           (   284095 / sec      )
3071.53/567.85	c inspects          :    526533865           (   933137 / sec      )
3071.53/567.85	c conflict literals :     12669401           (    29.15 % deleted  )
3071.53/567.85	c cpu time          :       564.26           
3071.53/567.85	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-1780572-1244832568/watcher-1780572-1244832568 -o /tmp/evaluation-result-1780572-1244832568/solver-1780572-1244832568 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780572-1244832568.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: 12.89 11.10 10.36 2/184 10250
/proc/meminfo: memFree=19112304/36427776 swapFree=4324/8416
[pid=10250] ppid=10248 vsize=6944 CPUtime=0
/proc/10250/stat : 10250 (satake) D 10248 10250 27791 0 -1 4202496 377 0 0 0 0 0 0 0 20 0 15 0 642563269 7110656 334 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 1752 336 63 164 0 1587 0
[pid=10250/tid=10251] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10251/stat : 10251 (satake) S 10248 10250 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 383 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10252] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10252/stat : 10252 (satake) R 10248 10250 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 384 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10253/stat : 10253 (satake) R 10248 10250 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 385 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10254/stat : 10254 (satake) R 10248 10250 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 387 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10255/stat : 10255 (satake) R 10248 10250 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10256/stat : 10256 (satake) S 10248 10250 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10257/stat : 10257 (satake) R 10248 10250 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10258/stat : 10258 (satake) S 10248 10250 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10259/stat : 10259 (satake) S 10248 10250 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=7076 CPUtime=0
/proc/10250/task/10260/stat : 10260 (satake) R 10248 10250 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 642563269 7245824 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=9124 CPUtime=0
/proc/10250/task/10261/stat : 10261 (satake) S 10248 10250 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 642563270 9342976 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=9124 CPUtime=0
/proc/10250/task/10262/stat : 10262 (satake) R 10248 10250 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 642563270 9342976 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=9124 CPUtime=0
/proc/10250/task/10263/stat : 10263 (satake) D 10248 10250 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 642563270 9342976 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=9124 CPUtime=0
/proc/10250/task/10264/stat : 10264 (satake) R 10248 10250 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 642563270 9342976 388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=9124 CPUtime=0
/proc/10250/task/10265/stat : 10265 (satake) R 10248 10250 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 16 0 642563270 9342976 391 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.088035 s]
/proc/loadavg: 12.89 11.10 10.36 2/184 10250
/proc/meminfo: memFree=19112304/36427776 swapFree=4324/8416
[pid=10250] ppid=10248 vsize=66840 CPUtime=0.52
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 10900 0 0 0 1 51 0 0 20 0 17 0 642563269 68444160 10840 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 16710 10840 63 164 0 16545 0
[pid=10250/tid=10251] ppid=10248 vsize=66840 CPUtime=0
/proc/10250/task/10251/stat : 10251 (satake) S 10248 10250 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642563269 68444160 10840 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10252] ppid=10248 vsize=66840 CPUtime=0.04
/proc/10250/task/10252/stat : 10252 (satake) D 10248 10250 27791 0 -1 4202560 1047 0 0 0 0 4 0 0 20 0 17 0 642563269 68444160 10840 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=67864 CPUtime=0.02
/proc/10250/task/10253/stat : 10253 (satake) D 10248 10250 27791 0 -1 4202560 347 0 0 0 0 2 0 0 20 0 17 0 642563269 69492736 10840 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10254/stat : 10254 (satake) R 10248 10250 27791 0 -1 4202560 935 0 0 0 0 4 0 0 20 0 17 0 642563269 69492736 10844 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10255/stat : 10255 (satake) R 10248 10250 27791 0 -1 4202560 1059 0 0 0 0 4 0 0 20 0 17 0 642563269 69492736 10848 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10256/stat : 10256 (satake) R 10248 10250 27791 0 -1 4202560 805 0 0 0 0 4 0 0 20 0 17 0 642563269 69492736 10849 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10257/stat : 10257 (satake) R 10248 10250 27791 0 -1 4202560 946 0 0 0 0 4 0 0 20 0 17 0 642563269 69492736 10849 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10258/stat : 10258 (satake) R 10248 10250 27791 0 -1 4202560 1029 0 0 0 0 4 0 0 20 0 17 0 642563269 69492736 10849 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10259/stat : 10259 (satake) R 10248 10250 27791 0 -1 4202560 848 0 0 0 0 4 0 0 20 0 17 0 642563269 69492736 10849 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=67864 CPUtime=0.06
/proc/10250/task/10260/stat : 10260 (satake) R 10248 10250 27791 0 -1 4202560 1191 0 0 0 0 6 0 0 20 0 17 0 642563269 69492736 10850 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=67864 CPUtime=0
/proc/10250/task/10261/stat : 10261 (satake) R 10248 10250 27791 0 -1 4202560 275 0 0 0 0 0 0 0 20 0 17 0 642563270 69492736 10851 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=67864 CPUtime=0
/proc/10250/task/10262/stat : 10262 (satake) R 10248 10250 27791 0 -1 4202560 251 0 0 0 0 0 0 0 20 0 17 0 642563270 69492736 10855 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10263/stat : 10263 (satake) R 10248 10250 27791 0 -1 4202560 937 0 0 0 0 4 0 0 20 0 17 0 642563270 69492736 10856 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=67864 CPUtime=0
/proc/10250/task/10264/stat : 10264 (satake) R 10248 10250 27791 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 17 0 642563270 69492736 10857 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=67864 CPUtime=0.04
/proc/10250/task/10265/stat : 10265 (satake) R 10248 10250 27791 0 -1 4202560 752 0 0 0 0 4 0 0 20 0 17 0 642563270 69492736 10858 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 66840

[startup+0.104455 s]
/proc/loadavg: 12.89 11.10 10.36 2/184 10250
/proc/meminfo: memFree=19112304/36427776 swapFree=4324/8416
[pid=10250] ppid=10248 vsize=87320 CPUtime=0.67
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 13480 0 0 0 2 65 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 21830 13420 63 164 0 21665 0
[pid=10250/tid=10251] ppid=10248 vsize=87320 CPUtime=0
/proc/10250/task/10251/stat : 10251 (satake) S 10248 10250 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10252] ppid=10248 vsize=87320 CPUtime=0.04
/proc/10250/task/10252/stat : 10252 (satake) D 10248 10250 27791 0 -1 4202560 1123 0 0 0 0 4 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=87320 CPUtime=0.02
/proc/10250/task/10253/stat : 10253 (satake) D 10248 10250 27791 0 -1 4202560 354 0 0 0 0 2 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=87320 CPUtime=0.06
/proc/10250/task/10254/stat : 10254 (satake) D 10248 10250 27791 0 -1 4202560 1158 0 0 0 0 6 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=87320 CPUtime=0.06
/proc/10250/task/10255/stat : 10255 (satake) D 10248 10250 27791 0 -1 4202560 1301 0 0 0 0 6 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=87320 CPUtime=0.04
/proc/10250/task/10256/stat : 10256 (satake) D 10248 10250 27791 0 -1 4202560 1014 0 0 0 0 4 0 0 20 0 17 0 642563269 89415680 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=89368 CPUtime=0.06
/proc/10250/task/10257/stat : 10257 (satake) D 10248 10250 27791 0 -1 4202560 1163 0 0 0 0 6 0 0 20 0 17 0 642563269 91512832 13420 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=89368 CPUtime=0.04
/proc/10250/task/10258/stat : 10258 (satake) R 10248 10250 27791 0 -1 4202560 1036 0 0 0 0 4 0 0 20 0 17 0 642563269 91512832 13424 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=89368 CPUtime=0.06
/proc/10250/task/10259/stat : 10259 (satake) R 10248 10250 27791 0 -1 4202560 1149 0 0 0 0 6 0 0 20 0 17 0 642563269 91512832 13426 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=89368 CPUtime=0.06
/proc/10250/task/10260/stat : 10260 (satake) R 10248 10250 27791 0 -1 4202560 1393 0 0 0 0 6 0 0 20 0 17 0 642563269 91512832 13427 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=89368 CPUtime=0.02
/proc/10250/task/10261/stat : 10261 (satake) R 10248 10250 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 642563270 91512832 13428 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=89368 CPUtime=0.02
/proc/10250/task/10262/stat : 10262 (satake) R 10248 10250 27791 0 -1 4202560 559 0 0 0 0 2 0 0 20 0 17 0 642563270 91512832 13429 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=89368 CPUtime=0.04
/proc/10250/task/10263/stat : 10263 (satake) R 10248 10250 27791 0 -1 4202560 1212 0 0 0 0 4 0 0 20 0 17 0 642563270 91512832 13429 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=89368 CPUtime=0
/proc/10250/task/10264/stat : 10264 (satake) R 10248 10250 27791 0 -1 4202560 204 0 0 0 0 0 0 0 20 0 17 0 642563270 91512832 13429 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=89368 CPUtime=0.06
/proc/10250/task/10265/stat : 10265 (satake) R 10248 10250 27791 0 -1 4202560 990 0 0 0 0 6 0 0 20 0 17 0 642563270 91512832 13429 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 87320

[startup+0.304044 s]
/proc/loadavg: 12.89 11.10 10.36 2/184 10250
/proc/meminfo: memFree=19112304/36427776 swapFree=4324/8416
[pid=10250] ppid=10248 vsize=273864 CPUtime=2.46
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 48444 0 0 0 2 244 0 0 20 0 17 0 642563269 280436736 48384 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 68466 48387 63 164 0 68301 0
[pid=10250/tid=10251] ppid=10248 vsize=273864 CPUtime=0
/proc/10250/task/10251/stat : 10251 (satake) S 10248 10250 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642563269 280436736 48388 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10252] ppid=10248 vsize=273864 CPUtime=0.16
/proc/10250/task/10252/stat : 10252 (satake) R 10248 10250 27791 0 -1 4202560 3315 0 0 0 0 16 0 0 20 0 17 0 642563269 280436736 48389 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=273864 CPUtime=0.1
/proc/10250/task/10253/stat : 10253 (satake) R 10248 10250 27791 0 -1 4202560 1545 0 0 0 0 10 0 0 20 0 17 0 642563269 280436736 48392 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=273864 CPUtime=0.22
/proc/10250/task/10254/stat : 10254 (satake) D 10248 10250 27791 0 -1 4202560 4150 0 0 0 0 22 0 0 20 0 17 0 642563269 280436736 48392 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=273864 CPUtime=0.22
/proc/10250/task/10255/stat : 10255 (satake) R 10248 10250 27791 0 -1 4202560 4717 0 0 0 0 22 0 0 20 0 17 0 642563269 280436736 48393 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=273864 CPUtime=0.14
/proc/10250/task/10256/stat : 10256 (satake) R 10248 10250 27791 0 -1 4202560 3027 0 0 0 0 14 0 0 20 0 17 0 642563269 280436736 48394 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=273864 CPUtime=0.22
/proc/10250/task/10257/stat : 10257 (satake) D 10248 10250 27791 0 -1 4202560 3924 0 0 0 0 22 0 0 20 0 17 0 642563269 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=273864 CPUtime=0.14
/proc/10250/task/10258/stat : 10258 (satake) D 10248 10250 27791 0 -1 4202560 2805 0 0 0 0 14 0 0 20 0 17 0 642563269 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=273864 CPUtime=0.14
/proc/10250/task/10259/stat : 10259 (satake) D 10248 10250 27791 0 -1 4202560 2825 0 0 0 0 14 0 0 20 0 17 0 642563269 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=273864 CPUtime=0.22
/proc/10250/task/10260/stat : 10260 (satake) R 10248 10250 27791 0 -1 4202560 4649 0 0 0 0 22 0 0 20 0 17 0 642563269 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134522959 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=273864 CPUtime=0.08
/proc/10250/task/10261/stat : 10261 (satake) D 10248 10250 27791 0 -1 4202560 2119 0 0 0 0 8 0 0 20 0 17 0 642563270 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=273864 CPUtime=0.18
/proc/10250/task/10262/stat : 10262 (satake) D 10248 10250 27791 0 -1 4202560 4375 0 0 0 0 18 0 0 20 0 17 0 642563270 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=273864 CPUtime=0.14
/proc/10250/task/10263/stat : 10263 (satake) D 10248 10250 27791 0 -1 4202560 2917 0 0 0 0 14 0 0 20 0 17 0 642563270 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=273864 CPUtime=0.12
/proc/10250/task/10264/stat : 10264 (satake) D 10248 10250 27791 0 -1 4202560 2198 0 0 0 0 12 0 0 20 0 17 0 642563270 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=273864 CPUtime=0.22
/proc/10250/task/10265/stat : 10265 (satake) D 10248 10250 27791 0 -1 4202560 4222 0 0 0 0 22 0 0 20 0 17 0 642563270 280436736 48397 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 273864

[startup+0.702645 s]
/proc/loadavg: 12.89 11.10 10.36 2/184 10250
/proc/meminfo: memFree=19112304/36427776 swapFree=4324/8416
[pid=10250] ppid=10248 vsize=304280 CPUtime=5.48
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 63477 0 0 0 2 546 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 76070 63417 63 164 0 75905 0
[pid=10250/tid=10251] ppid=10248 vsize=304280 CPUtime=0
/proc/10250/task/10251/stat : 10251 (satake) S 10248 10250 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10252] ppid=10248 vsize=304280 CPUtime=0.32
/proc/10250/task/10252/stat : 10252 (satake) R 10248 10250 27791 0 -1 4202560 4146 0 0 0 0 32 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=304280 CPUtime=0.24
/proc/10250/task/10253/stat : 10253 (satake) D 10248 10250 27791 0 -1 4202560 2446 0 0 0 0 24 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=304280 CPUtime=0.48
/proc/10250/task/10254/stat : 10254 (satake) D 10248 10250 27791 0 -1 4202560 5325 0 0 0 0 48 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=304280 CPUtime=0.5
/proc/10250/task/10255/stat : 10255 (satake) D 10248 10250 27791 0 -1 4202560 5788 0 0 0 0 50 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=304280 CPUtime=0.3
/proc/10250/task/10256/stat : 10256 (satake) D 10248 10250 27791 0 -1 4202560 3953 0 0 0 0 30 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=304280 CPUtime=0.48
/proc/10250/task/10257/stat : 10257 (satake) D 10248 10250 27791 0 -1 4202560 5123 0 0 0 0 48 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=304280 CPUtime=0.28
/proc/10250/task/10258/stat : 10258 (satake) D 10248 10250 27791 0 -1 4202560 3612 0 0 0 0 28 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=304280 CPUtime=0.28
/proc/10250/task/10259/stat : 10259 (satake) D 10248 10250 27791 0 -1 4202560 3737 0 0 0 0 28 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=304280 CPUtime=0.48
/proc/10250/task/10260/stat : 10260 (satake) D 10248 10250 27791 0 -1 4202560 5634 0 0 0 0 48 0 0 20 0 17 0 642563269 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=304280 CPUtime=0.24
/proc/10250/task/10261/stat : 10261 (satake) D 10248 10250 27791 0 -1 4202560 3085 0 0 0 0 24 0 0 20 0 17 0 642563270 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=304280 CPUtime=0.42
/proc/10250/task/10262/stat : 10262 (satake) D 10248 10250 27791 0 -1 4202560 5495 0 0 0 0 42 0 0 20 0 17 0 642563270 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=304280 CPUtime=0.3
/proc/10250/task/10263/stat : 10263 (satake) D 10248 10250 27791 0 -1 4202560 3813 0 0 0 0 30 0 0 20 0 17 0 642563270 311582720 63417 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=304280 CPUtime=0.38

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

[pid=10250/tid=10258] ppid=10248 vsize=1650496 CPUtime=177.85
/proc/10250/task/10258/stat : 10258 (satake) S 10248 10250 27791 0 -1 4202560 29981 0 0 0 17033 752 0 0 20 0 17 0 642563269 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=1650496 CPUtime=190.77
/proc/10250/task/10259/stat : 10259 (satake) R 10248 10250 27791 0 -1 4202560 30139 0 0 0 18409 668 0 0 20 0 17 0 642563269 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=1650496 CPUtime=192.19
/proc/10250/task/10260/stat : 10260 (satake) R 10248 10250 27791 0 -1 4202560 30792 0 0 0 18467 752 0 0 20 0 17 0 642563269 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=1650496 CPUtime=192.83
/proc/10250/task/10261/stat : 10261 (satake) S 10248 10250 27791 0 -1 4202560 29599 0 0 0 18541 742 0 0 20 0 17 0 642563270 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=1650496 CPUtime=181.17
/proc/10250/task/10262/stat : 10262 (satake) S 10248 10250 27791 0 -1 4202560 29275 0 0 0 17387 730 0 0 20 0 17 0 642563270 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=1650496 CPUtime=189.23
/proc/10250/task/10263/stat : 10263 (satake) D 10248 10250 27791 0 -1 4202560 29218 0 0 0 18241 682 0 0 20 0 17 0 642563270 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=1650496 CPUtime=173.85
/proc/10250/task/10264/stat : 10264 (satake) S 10248 10250 27791 0 -1 4202560 29566 0 0 0 16683 702 0 0 20 0 17 0 642563270 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=1650496 CPUtime=180.97
/proc/10250/task/10265/stat : 10265 (satake) R 10248 10250 27791 0 -1 4202560 30990 0 0 0 17401 696 0 0 20 0 17 0 642563270 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134528680 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10267] ppid=10248 vsize=1650496 CPUtime=192.81
/proc/10250/task/10267/stat : 10267 (satake) S 10248 10250 27791 0 -1 4202560 30408 0 0 0 18593 688 0 0 20 0 17 0 642563270 1690107904 386980 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3013.81
Current children cumulated vsize (KiB) 1650496

[startup+563.104 s]
/proc/loadavg: 7.03 7.57 8.72 4/201 10277
/proc/meminfo: memFree=17558204/36427776 swapFree=4588/1561632
[pid=10250] ppid=10248 vsize=1656156 CPUtime=3040.65
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 457615 0 0 0 273083 30982 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 414039 388090 68 164 0 413874 0
[pid=10250/tid=10251] ppid=10248 vsize=1656156 CPUtime=225.62
/proc/10250/task/10251/stat : 10251 (satake) R 10248 10250 27791 0 -1 4202560 4026 0 0 0 2372 20190 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=10250/tid=10252] ppid=10248 vsize=1656156 CPUtime=189.49
/proc/10250/task/10252/stat : 10252 (satake) S 10248 10250 27791 0 -1 4202560 29954 0 0 0 18217 732 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=1656156 CPUtime=186.39
/proc/10250/task/10253/stat : 10253 (satake) S 10248 10250 27791 0 -1 4202560 29584 0 0 0 17921 718 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=1656156 CPUtime=180.93
/proc/10250/task/10254/stat : 10254 (satake) S 10248 10250 27791 0 -1 4202560 30498 0 0 0 17411 682 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=1656156 CPUtime=184.61
/proc/10250/task/10255/stat : 10255 (satake) S 10248 10250 27791 0 -1 4202560 30906 0 0 0 17717 744 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=1656156 CPUtime=198.89
/proc/10250/task/10256/stat : 10256 (satake) S 10248 10250 27791 0 -1 4202560 30347 0 0 0 19237 652 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=1656156 CPUtime=189.29
/proc/10250/task/10257/stat : 10257 (satake) S 10248 10250 27791 0 -1 4202560 31608 0 0 0 18179 750 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=1656156 CPUtime=179.01
/proc/10250/task/10258/stat : 10258 (satake) S 10248 10250 27791 0 -1 4202560 30021 0 0 0 17137 764 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=1656156 CPUtime=192.71
/proc/10250/task/10259/stat : 10259 (satake) S 10248 10250 27791 0 -1 4202560 30222 0 0 0 18593 678 0 0 20 0 17 0 642563269 1695903744 388090 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=1656156 CPUtime=194.53
/proc/10250/task/10260/stat : 10260 (satake) S 10248 10250 27791 0 -1 4202560 30988 0 0 0 18689 764 0 0 20 0 17 0 642563269 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=1656156 CPUtime=193.71
/proc/10250/task/10261/stat : 10261 (satake) R 10248 10250 27791 0 -1 4202560 29637 0 0 0 18617 754 0 0 20 0 17 0 642563270 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=1656156 CPUtime=183.35
/proc/10250/task/10262/stat : 10262 (satake) S 10248 10250 27791 0 -1 4202560 29325 0 0 0 17595 740 0 0 20 0 17 0 642563270 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=1656156 CPUtime=190.79
/proc/10250/task/10263/stat : 10263 (satake) S 10248 10250 27791 0 -1 4202560 29244 0 0 0 18387 692 0 0 20 0 17 0 642563270 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=1656156 CPUtime=175.31
/proc/10250/task/10264/stat : 10264 (satake) S 10248 10250 27791 0 -1 4202560 29681 0 0 0 16823 708 0 0 20 0 17 0 642563270 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=1656156 CPUtime=181.97
/proc/10250/task/10265/stat : 10265 (satake) S 10248 10250 27791 0 -1 4202560 31011 0 0 0 17491 706 0 0 20 0 17 0 642563270 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10267] ppid=10248 vsize=1656156 CPUtime=193.93
/proc/10250/task/10267/stat : 10267 (satake) R 10248 10250 27791 0 -1 4202560 30436 0 0 0 18691 702 0 0 20 0 17 0 642563270 1695903744 388091 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3040.65
Current children cumulated vsize (KiB) 1656156

[startup+566.301 s]
/proc/loadavg: 7.03 7.57 8.72 13/201 10277
/proc/meminfo: memFree=17556716/36427776 swapFree=4624/1562584
[pid=10250] ppid=10248 vsize=1630964 CPUtime=3061.65
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 457854 0 0 0 274194 31971 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 407741 383067 77 164 0 407576 0
[pid=10250/tid=10252] ppid=10248 vsize=1630964 CPUtime=190.73
/proc/10250/task/10252/stat : 10252 (satake) S 10248 10250 27791 0 -1 4202560 29988 0 0 0 18291 782 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=1630964 CPUtime=187.63
/proc/10250/task/10253/stat : 10253 (satake) S 10248 10250 27791 0 -1 4202560 29606 0 0 0 17987 776 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=1630964 CPUtime=182.19
/proc/10250/task/10254/stat : 10254 (satake) S 10248 10250 27791 0 -1 4202560 30525 0 0 0 17479 740 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=1630964 CPUtime=185.77
/proc/10250/task/10255/stat : 10255 (satake) S 10248 10250 27791 0 -1 4202560 30908 0 0 0 17775 802 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=1630964 CPUtime=200.27
/proc/10250/task/10256/stat : 10256 (satake) R 10248 10250 27791 0 -1 4202560 30366 0 0 0 19311 716 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10257] ppid=10248 vsize=1630964 CPUtime=190.69
/proc/10250/task/10257/stat : 10257 (satake) S 10248 10250 27791 0 -1 4202560 31631 0 0 0 18261 808 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=1630964 CPUtime=180.25
/proc/10250/task/10258/stat : 10258 (satake) S 10248 10250 27791 0 -1 4202560 30027 0 0 0 17201 824 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=1630964 CPUtime=193.91
/proc/10250/task/10259/stat : 10259 (satake) S 10248 10250 27791 0 -1 4202560 30235 0 0 0 18657 734 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=1630964 CPUtime=195.99
/proc/10250/task/10260/stat : 10260 (satake) S 10248 10250 27791 0 -1 4202560 31017 0 0 0 18777 822 0 0 20 0 16 0 642563269 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=1630964 CPUtime=195.13
/proc/10250/task/10261/stat : 10261 (satake) S 10248 10250 27791 0 -1 4202560 29655 0 0 0 18703 810 0 0 20 0 16 0 642563270 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10262] ppid=10248 vsize=1630964 CPUtime=184.83
/proc/10250/task/10262/stat : 10262 (satake) S 10248 10250 27791 0 -1 4202560 29339 0 0 0 17685 798 0 0 20 0 16 0 642563270 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=1630964 CPUtime=191.93
/proc/10250/task/10263/stat : 10263 (satake) S 10248 10250 27791 0 -1 4202560 29256 0 0 0 18441 752 0 0 20 0 16 0 642563270 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=1630964 CPUtime=176.57
/proc/10250/task/10264/stat : 10264 (satake) S 10248 10250 27791 0 -1 4202560 29686 0 0 0 16895 762 0 0 20 0 16 0 642563270 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10265] ppid=10248 vsize=1630964 CPUtime=183.25
/proc/10250/task/10265/stat : 10265 (satake) S 10248 10250 27791 0 -1 4202560 31013 0 0 0 17561 764 0 0 20 0 16 0 642563270 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10250/tid=10267] ppid=10248 vsize=1630964 CPUtime=195.19
/proc/10250/task/10267/stat : 10267 (satake) S 10248 10250 27791 0 -1 4202560 30443 0 0 0 18761 758 0 0 20 0 16 0 642563270 1670107136 383067 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3061.65
Current children cumulated vsize (KiB) 1630964

[startup+567.105 s]
/proc/loadavg: 7.03 7.57 8.72 2/200 10277
/proc/meminfo: memFree=17579708/36427776 swapFree=4624/1536912
[pid=10250] ppid=10248 vsize=1494928 CPUtime=3067.83
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 457854 0 0 0 274507 32276 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 373732 357549 77 164 0 373567 0
[pid=10250/tid=10252] ppid=10248 vsize=1494928 CPUtime=191.17
/proc/10250/task/10252/stat : 10252 (satake) R 10248 10250 27791 0 -1 4202560 29988 0 0 0 18313 804 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=1494928 CPUtime=188.13
/proc/10250/task/10253/stat : 10253 (satake) R 10248 10250 27791 0 -1 4202560 29606 0 0 0 18011 802 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=1494928 CPUtime=182.65
/proc/10250/task/10254/stat : 10254 (satake) R 10248 10250 27791 0 -1 4202560 30525 0 0 0 17499 766 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10250/tid=10255] ppid=10248 vsize=1494928 CPUtime=186.27
/proc/10250/task/10255/stat : 10255 (satake) R 10248 10250 27791 0 -1 4202560 30908 0 0 0 17795 832 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=1494928 CPUtime=200.81
/proc/10250/task/10256/stat : 10256 (satake) R 10248 10250 27791 0 -1 4202560 30366 0 0 0 19345 736 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=1494928 CPUtime=180.71
/proc/10250/task/10258/stat : 10258 (satake) R 10248 10250 27791 0 -1 4202560 30027 0 0 0 17223 848 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10259] ppid=10248 vsize=1494928 CPUtime=194.39
/proc/10250/task/10259/stat : 10259 (satake) S 10248 10250 27791 0 -1 4202560 30235 0 0 0 18683 756 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=1494928 CPUtime=196.51
/proc/10250/task/10260/stat : 10260 (satake) R 10248 10250 27791 0 -1 4202560 31017 0 0 0 18799 852 0 0 20 0 13 0 642563269 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=1494928 CPUtime=195.63
/proc/10250/task/10261/stat : 10261 (satake) S 10248 10250 27791 0 -1 4202560 29655 0 0 0 18731 832 0 0 20 0 13 0 642563270 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=1494928 CPUtime=192.43
/proc/10250/task/10263/stat : 10263 (satake) S 10248 10250 27791 0 -1 4202560 29256 0 0 0 18471 772 0 0 20 0 13 0 642563270 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=1494928 CPUtime=177.05
/proc/10250/task/10264/stat : 10264 (satake) R 10248 10250 27791 0 -1 4202560 29686 0 0 0 16915 790 0 0 20 0 13 0 642563270 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10250/tid=10267] ppid=10248 vsize=1494928 CPUtime=195.69
/proc/10250/task/10267/stat : 10267 (satake) R 10248 10250 27791 0 -1 4202560 30443 0 0 0 18789 780 0 0 20 0 13 0 642563270 1530806272 357549 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3067.83
Current children cumulated vsize (KiB) 1494928

[startup+567.505 s]
/proc/loadavg: 7.03 7.57 8.72 7/194 10277
/proc/meminfo: memFree=17711088/36427776 swapFree=4624/1398480
[pid=10250] ppid=10248 vsize=1413916 CPUtime=3070.89
/proc/10250/stat : 10250 (satake) S 10248 10250 27791 0 -1 4202496 457854 0 0 0 274661 32428 0 0 20 0 10 0 642563269 1447849984 342097 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 353479 342096 77 164 0 353314 0
[pid=10250/tid=10252] ppid=10248 vsize=1411600 CPUtime=191.47
/proc/10250/task/10252/stat : 10252 (satake) R 10248 10250 27791 0 -1 4202560 29988 0 0 0 18327 820 0 0 20 0 10 0 642563269 1445478400 341674 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=10250/tid=10253] ppid=10248 vsize=1411600 CPUtime=188.41
/proc/10250/task/10253/stat : 10253 (satake) R 10248 10250 27791 0 -1 4202560 29606 0 0 0 18027 814 0 0 20 0 10 0 642563269 1445478400 341674 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=10250/tid=10254] ppid=10248 vsize=1411600 CPUtime=182.95
/proc/10250/task/10254/stat : 10254 (satake) R 10248 10250 27791 0 -1 4202560 30525 0 0 0 17515 780 0 0 20 0 10 0 642563269 1445478400 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=10250/tid=10256] ppid=10248 vsize=1411600 CPUtime=201.08
/proc/10250/task/10256/stat : 10256 (satake) D 10248 10250 27791 0 -1 4202564 30366 0 0 0 19358 750 0 0 20 0 10 0 642563269 1445478400 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134572356 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10250/tid=10258] ppid=10248 vsize=1410572 CPUtime=181.03
/proc/10250/task/10258/stat : 10258 (satake) R 10248 10250 27791 0 -1 4202560 30027 0 0 0 17239 864 0 0 20 0 10 0 642563269 1444425728 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10250/tid=10260] ppid=10248 vsize=1410572 CPUtime=196.79
/proc/10250/task/10260/stat : 10260 (satake) S 10248 10250 27791 0 -1 4202560 31017 0 0 0 18815 864 0 0 20 0 10 0 642563269 1444425728 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=10250/tid=10261] ppid=10248 vsize=1410572 CPUtime=195.91
/proc/10250/task/10261/stat : 10261 (satake) R 10248 10250 27791 0 -1 4202560 29655 0 0 0 18745 846 0 0 20 0 10 0 642563270 1444425728 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10250/tid=10263] ppid=10248 vsize=1410572 CPUtime=192.71
/proc/10250/task/10263/stat : 10263 (satake) R 10248 10250 27791 0 -1 4202560 29256 0 0 0 18485 786 0 0 20 0 10 0 642563270 1444425728 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10250/tid=10264] ppid=10248 vsize=1410572 CPUtime=177.35
/proc/10250/task/10264/stat : 10264 (satake) R 10248 10250 27791 0 -1 4202560 29686 0 0 0 16931 804 0 0 20 0 10 0 642563270 1444425728 341481 18446744073709551615 134512640 135180984 4289620432 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 3070.89
Current children cumulated vsize (KiB) 1413916

[startup+567.901 s]
/proc/loadavg: 7.03 7.57 8.72 7/194 10277
/proc/meminfo: memFree=17711088/36427776 swapFree=4624/1398480
[pid=10250] ppid=10248 vsize=0 CPUtime=3071.64
/proc/10250/stat : 10250 (satake) R 10248 10250 27791 0 -1 4202500 457855 0 0 0 274705 32459 0 0 20 0 1 0 642563269 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/10250/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3071.64
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 567.947
CPU time (s): 3071.7
CPU user time (s): 2747.06
CPU system time (s): 324.648
CPU usage (%): 540.843
Max. virtual memory (cumulated for all children) (KiB): 1657444


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2747.06
system time used= 324.648
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 457855
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= 27405767
involuntary context switches= 3276626

runsolver used 2.50816 second user time and 6.88043 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 20:49:28
IDJOB=1780572
IDBENCH=71025
IDSOLVER=631
FILE ID=xenhost3-49/1780572-1244832568
PBS_JOBID=
Free space on /tmp= 7011 MiB

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

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

MD5SUM BENCH= abc6c44b372f4addd18c6a7b2eac59f5
RANDOM SEED= 1463957119

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:      19112304 kB
Buffers:        435404 kB
Cached:       14130636 kB
SwapCached:          0 kB
Active:        4081364 kB
Inactive:     10493068 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           19276 kB
Writeback:           0 kB
AnonPages:        8416 kB
Mapped:           3660 kB
Slab:           689836 kB
SReclaimable:   662988 kB
SUnreclaim:      26848 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7011 MiB
End job on xenhost3-49 at 2009-06-12 20:58:57