Trace number 1778892

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 3997.14 386.432

General information on the benchmark

NameAPPLICATIONS/
bitverif/minand/minand128.cnf
MD5SUM34e3afebec3eaf03cbcceb51b352993a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.51
Satisfiable
(Un)Satisfiability was proved
Number of variables53999
Number of clauses159692
Sum of the clauses size372612
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2106460
Number of clauses of size 353230
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

3997.00/386.34	c Benchmark name    : HOME/instance-1778892-1244771459.cnf
3997.00/386.34	c Thread Num        :           16
3997.00/386.34	c restarts          :           15
3997.00/386.34	c conflicts         :        84411
3997.00/386.34	c decisions         :       213350           (      555 / sec      )
3997.00/386.34	c propagations      :    270501862           (   703454 / sec      )
3997.00/386.34	c inspects          :    787994789           (  2049220 / sec      )
3997.00/386.34	c conflict literals :     21521313           (    23.96 % deleted  )
3997.00/386.34	c cpu time          :       384.53           
3997.00/386.34	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-1778892-1244771459/watcher-1778892-1244771459 -o /tmp/evaluation-result-1778892-1244771459/solver-1778892-1244771459 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778892-1244771459.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: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=6484 CPUtime=0
/proc/2757/stat : 2757 (satake) R 2755 2757 27791 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 12 0 636452295 6639616 232 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134664766 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 1621 232 62 164 0 1456 0
[pid=2757/tid=2758] ppid=2755 vsize=8168 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 16 0 636452296 8364032 390 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=8168 CPUtime=0
/proc/2757/task/2759/stat : 2759 (satake) D 2755 2757 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 636452296 8364032 391 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 392 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2761/stat : 2761 (satake) D 2755 2757 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 396 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2762/stat : 2762 (satake) S 2755 2757 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 397 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 398 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 398 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2765/stat : 2765 (satake) R 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 399 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 399 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2767/stat : 2767 (satake) S 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 399 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2768/stat : 2768 (satake) S 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 400 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2769/stat : 2769 (satake) S 2755 2757 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 401 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 636452296 8499200 401 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=8300 CPUtime=0
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 16 0 636452297 8499200 403 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=10348 CPUtime=0
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 636452297 10596352 403 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.088941 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=52504 CPUtime=0.56
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 7257 0 0 0 1 55 0 0 20 0 17 0 636452295 53764096 7209 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 13126 7215 63 164 0 12961 0
[pid=2757/tid=2758] ppid=2755 vsize=52504 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 53764096 7218 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=52504 CPUtime=0.04
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 519 0 0 0 0 4 0 0 20 0 17 0 636452296 53764096 7218 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=52504 CPUtime=0.06
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 598 0 0 0 0 6 0 0 20 0 17 0 636452296 53764096 7230 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=52504 CPUtime=0.02
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 425 0 0 0 0 2 0 0 20 0 17 0 636452296 53764096 7247 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=52504 CPUtime=0
/proc/2757/task/2762/stat : 2762 (satake) D 2755 2757 27791 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 17 0 636452296 53764096 7282 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=52504 CPUtime=0.02
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 399 0 0 0 0 2 0 0 20 0 17 0 636452296 53764096 7283 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 653 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7283 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2765/stat : 2765 (satake) D 2755 2757 27791 0 -1 4202560 600 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7283 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2766/stat : 2766 (satake) D 2755 2757 27791 0 -1 4202560 445 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7286 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=50976 CPUtime=0
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 17 0 636452296 52199424 7287 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 594 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7288 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2769/stat : 2769 (satake) R 2755 2757 27791 0 -1 4202560 660 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7289 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2770/stat : 2770 (satake) D 2755 2757 27791 0 -1 4202560 548 0 0 0 0 4 0 0 20 0 17 0 636452296 52199424 7291 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=50976 CPUtime=0
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 186 0 0 0 0 0 0 0 20 0 17 0 636452297 52199424 7291 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=50976 CPUtime=0.04
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 587 0 0 0 0 4 0 0 20 0 17 0 636452297 52199424 7293 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 52504

[startup+0.104941 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=47052 CPUtime=0.71
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 8033 0 0 0 1 70 0 0 20 0 17 0 636452295 48181248 7986 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 11763 7987 63 164 0 11598 0
[pid=2757/tid=2758] ppid=2755 vsize=47052 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 551 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 667 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 466 0 0 0 0 2 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 206 0 0 0 0 2 0 0 20 0 17 0 636452296 48181248 7987 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 444 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7990 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 694 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7991 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2765/stat : 2765 (satake) D 2755 2757 27791 0 -1 4202560 662 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7991 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2766/stat : 2766 (satake) D 2755 2757 27791 0 -1 4202560 490 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7992 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2767/stat : 2767 (satake) D 2755 2757 27791 0 -1 4202560 233 0 0 0 0 2 0 0 20 0 17 0 636452296 48181248 7996 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 654 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7997 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2769/stat : 2769 (satake) D 2755 2757 27791 0 -1 4202560 690 0 0 0 0 6 0 0 20 0 17 0 636452296 48181248 7998 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=47052 CPUtime=0.04
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 583 0 0 0 0 4 0 0 20 0 17 0 636452296 48181248 7999 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=47052 CPUtime=0.02
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 237 0 0 0 0 2 0 0 20 0 17 0 636452297 48181248 7999 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=47052 CPUtime=0.06
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 650 0 0 0 0 6 0 0 20 0 17 0 636452297 48181248 7999 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 47052

[startup+0.304824 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=74828 CPUtime=1.64
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 16040 0 0 0 18 146 0 0 20 0 17 0 636452295 76623872 15992 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 18707 15993 63 164 0 18542 0
[pid=2757/tid=2758] ppid=2755 vsize=74828 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 76623872 15994 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 1032 0 0 0 2 8 0 0 20 0 17 0 636452296 76623872 15997 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2760/stat : 2760 (satake) D 2755 2757 27791 0 -1 4202560 1184 0 0 0 0 14 0 0 20 0 17 0 636452296 76623872 15997 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=74828 CPUtime=0.08
/proc/2757/task/2761/stat : 2761 (satake) S 2755 2757 27791 0 -1 4202560 977 0 0 0 2 6 0 0 20 0 17 0 636452296 76623872 16001 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=74828 CPUtime=0.06
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 957 0 0 0 0 6 0 0 20 0 17 0 636452296 76623872 16004 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=74828 CPUtime=0.08
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 973 0 0 0 0 8 0 0 20 0 17 0 636452296 76623872 16008 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2764/stat : 2764 (satake) R 2755 2757 27791 0 -1 4202560 1373 0 0 0 2 12 0 0 20 0 17 0 636452296 76623872 16009 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2765/stat : 2765 (satake) D 2755 2757 27791 0 -1 4202560 1217 0 0 0 2 12 0 0 20 0 17 0 636452296 76623872 16009 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2766/stat : 2766 (satake) S 2755 2757 27791 0 -1 4202560 983 0 0 0 0 10 0 0 20 0 17 0 636452296 76623872 16009 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=74828 CPUtime=0.06
/proc/2757/task/2767/stat : 2767 (satake) S 2755 2757 27791 0 -1 4202560 903 0 0 0 0 6 0 0 20 0 17 0 636452296 76623872 16010 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2768/stat : 2768 (satake) D 2755 2757 27791 0 -1 4202560 952 0 0 0 0 10 0 0 20 0 17 0 636452296 76623872 16010 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=74828 CPUtime=0.14
/proc/2757/task/2769/stat : 2769 (satake) D 2755 2757 27791 0 -1 4202560 1207 0 0 0 4 10 0 0 20 0 17 0 636452296 76623872 16011 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2770/stat : 2770 (satake) D 2755 2757 27791 0 -1 4202560 1134 0 0 0 2 8 0 0 20 0 17 0 636452296 76623872 16011 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=74828 CPUtime=0.06
/proc/2757/task/2771/stat : 2771 (satake) S 2755 2757 27791 0 -1 4202560 903 0 0 0 0 6 0 0 20 0 17 0 636452297 76623872 16013 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=74828 CPUtime=0.1
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 912 0 0 0 0 10 0 0 20 0 17 0 636452297 76623872 16013 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 74828

[startup+0.704846 s]
/proc/loadavg: 13.65 13.95 12.93 2/184 2757
/proc/meminfo: memFree=19138856/36427776 swapFree=2988/8328
[pid=2757] ppid=2755 vsize=134184 CPUtime=3.25
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 27865 0 0 0 76 249 0 0 20 0 17 0 636452295 137404416 27817 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 33546 27818 63 164 0 33381 0
[pid=2757/tid=2758] ppid=2755 vsize=134184 CPUtime=0
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 636452296 137404416 27818 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=134184 CPUtime=0.2
/proc/2757/task/2759/stat : 2759 (satake) D 2755 2757 27791 0 -1 4202560 1780 0 0 0 4 16 0 0 20 0 17 0 636452296 137404416 27818 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=134184 CPUtime=0.26
/proc/2757/task/2760/stat : 2760 (satake) D 2755 2757 27791 0 -1 4202560 2079 0 0 0 6 20 0 0 20 0 17 0 636452296 137404416 27819 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=134184 CPUtime=0.18
/proc/2757/task/2761/stat : 2761 (satake) S 2755 2757 27791 0 -1 4202560 1734 0 0 0 4 14 0 0 20 0 17 0 636452296 137404416 27819 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=134184 CPUtime=0.16
/proc/2757/task/2762/stat : 2762 (satake) D 2755 2757 27791 0 -1 4202560 1697 0 0 0 0 16 0 0 20 0 17 0 636452296 137404416 27822 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=134184 CPUtime=0.18
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 1718 0 0 0 4 14 0 0 20 0 17 0 636452296 137404416 27822 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=134184 CPUtime=0.28
/proc/2757/task/2764/stat : 2764 (satake) D 2755 2757 27791 0 -1 4202560 2374 0 0 0 2 26 0 0 20 0 17 0 636452296 137404416 27823 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=134184 CPUtime=0.26
/proc/2757/task/2765/stat : 2765 (satake) S 2755 2757 27791 0 -1 4202560 2049 0 0 0 4 22 0 0 20 0 17 0 636452296 137404416 27824 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=134184 CPUtime=0.22
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 1814 0 0 0 2 20 0 0 20 0 17 0 636452296 137404416 27828 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=134184 CPUtime=0.16
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 1643 0 0 0 8 8 0 0 20 0 17 0 636452296 137404416 27828 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=134184 CPUtime=0.22
/proc/2757/task/2768/stat : 2768 (satake) S 2755 2757 27791 0 -1 4202560 1709 0 0 0 4 18 0 0 20 0 17 0 636452296 137404416 27829 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=134184 CPUtime=0.24
/proc/2757/task/2769/stat : 2769 (satake) R 2755 2757 27791 0 -1 4202560 1956 0 0 0 6 18 0 0 20 0 17 0 636452296 137404416 27829 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=134184 CPUtime=0.2
/proc/2757/task/2770/stat : 2770 (satake) D 2755 2757 27791 0 -1 4202560 1940 0 0 0 6 14 0 0 20 0 17 0 636452296 137404416 27829 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=134184 CPUtime=0.16

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

[startup+380.706 s]
/proc/loadavg: 14.93 13.23 12.64 16/201 2779
/proc/meminfo: memFree=17616872/36427776 swapFree=4588/1530256
[pid=2757] ppid=2755 vsize=1546916 CPUtime=3936.35
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 390218 0 0 0 377474 16161 0 0 20 0 17 0 636452295 1584041984 380525 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 386729 380525 68 164 0 386564 0
[pid=2757/tid=2758] ppid=2755 vsize=1546916 CPUtime=120.2
/proc/2757/task/2758/stat : 2758 (satake) S 2755 2757 27791 0 -1 4202560 2809 0 0 0 990 11030 0 0 20 0 17 0 636452296 1584041984 380525 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=1546916 CPUtime=246.71
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 25316 0 0 0 24331 340 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134525504 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=1546916 CPUtime=254.98
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 25832 0 0 0 25202 296 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528230 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1546916 CPUtime=253.13
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27512 0 0 0 24945 368 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1546916 CPUtime=251.25
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 26613 0 0 0 24775 350 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1546916 CPUtime=256.69
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 24687 0 0 0 25379 290 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134523985 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1546916 CPUtime=259.97
/proc/2757/task/2764/stat : 2764 (satake) R 2755 2757 27791 0 -1 4202560 25415 0 0 0 25701 296 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=1546916 CPUtime=256.64
/proc/2757/task/2765/stat : 2765 (satake) R 2755 2757 27791 0 -1 4202560 24918 0 0 0 25308 356 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134520863 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1546916 CPUtime=256.15
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 25583 0 0 0 25297 318 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134523985 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1546916 CPUtime=257.87
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24543 0 0 0 25445 342 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1546916 CPUtime=250.04
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 26675 0 0 0 24598 406 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134523791 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=1546916 CPUtime=256.38
/proc/2757/task/2769/stat : 2769 (satake) R 2755 2757 27791 0 -1 4202560 26392 0 0 0 25254 384 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1546916 CPUtime=252.64
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 28043 0 0 0 24896 368 0 0 20 0 17 0 636452296 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1546916 CPUtime=249.15
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25331 0 0 0 24595 320 0 0 20 0 17 0 636452297 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528633 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1546916 CPUtime=255.74
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24593 0 0 0 25244 330 0 0 20 0 17 0 636452297 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528470 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2757/tid=2774] ppid=2755 vsize=1546916 CPUtime=258.67
/proc/2757/task/2774/stat : 2774 (satake) R 2755 2757 27791 0 -1 4202560 25830 0 0 0 25507 360 0 0 20 0 17 0 636452297 1584041984 380526 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3936.35
Current children cumulated vsize (KiB) 1546916

[startup+383.913 s]
/proc/loadavg: 14.46 13.16 12.62 7/201 2779
/proc/meminfo: memFree=17606456/36427776 swapFree=4588/1540432
[pid=2757] ppid=2755 vsize=1559104 CPUtime=3976.13
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392519 0 0 0 381333 16280 0 0 20 0 17 0 636452295 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 389776 382826 68 164 0 389611 0
[pid=2757/tid=2758] ppid=2755 vsize=1559104 CPUtime=121.18
/proc/2757/task/2758/stat : 2758 (satake) R 2755 2757 27791 0 -1 4202560 2824 0 0 0 994 11124 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=2757/tid=2759] ppid=2755 vsize=1559104 CPUtime=249.4
/proc/2757/task/2759/stat : 2759 (satake) S 2755 2757 27791 0 -1 4202560 25482 0 0 0 24598 342 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=1559104 CPUtime=257.63
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 25948 0 0 0 25465 298 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1559104 CPUtime=255.74
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27734 0 0 0 25204 370 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1559104 CPUtime=253.91
/proc/2757/task/2762/stat : 2762 (satake) S 2755 2757 27791 0 -1 4202560 26858 0 0 0 25039 352 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1559104 CPUtime=259.26
/proc/2757/task/2763/stat : 2763 (satake) D 2755 2757 27791 0 -1 4202560 24833 0 0 0 25634 292 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1559104 CPUtime=262.7
/proc/2757/task/2764/stat : 2764 (satake) S 2755 2757 27791 0 -1 4202560 25608 0 0 0 25974 296 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=1559104 CPUtime=258.74
/proc/2757/task/2765/stat : 2765 (satake) S 2755 2757 27791 0 -1 4202560 25046 0 0 0 25506 368 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1559104 CPUtime=258.73
/proc/2757/task/2766/stat : 2766 (satake) S 2755 2757 27791 0 -1 4202560 25727 0 0 0 25555 318 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1559104 CPUtime=260.52
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24716 0 0 0 25708 344 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1559104 CPUtime=252.64
/proc/2757/task/2768/stat : 2768 (satake) S 2755 2757 27791 0 -1 4202560 26829 0 0 0 24858 406 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2769] ppid=2755 vsize=1559104 CPUtime=258.98
/proc/2757/task/2769/stat : 2769 (satake) S 2755 2757 27791 0 -1 4202560 26455 0 0 0 25514 384 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1559104 CPUtime=255.29
/proc/2757/task/2770/stat : 2770 (satake) S 2755 2757 27791 0 -1 4202560 28178 0 0 0 25161 368 0 0 20 0 17 0 636452296 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1559104 CPUtime=251.75
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25423 0 0 0 24855 320 0 0 20 0 17 0 636452297 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134525282 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1559104 CPUtime=258.35
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24770 0 0 0 25503 332 0 0 20 0 17 0 636452297 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134532624 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2757/tid=2774] ppid=2755 vsize=1559104 CPUtime=261.18
/proc/2757/task/2774/stat : 2774 (satake) R 2755 2757 27791 0 -1 4202560 25961 0 0 0 25758 360 0 0 20 0 17 0 636452297 1596522496 382826 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3976.13
Current children cumulated vsize (KiB) 1559104

[startup+385.505 s]
/proc/loadavg: 14.46 13.16 12.62 15/200 2779
/proc/meminfo: memFree=17605720/36427776 swapFree=4588/1540784
[pid=2757] ppid=2755 vsize=1551460 CPUtime=3992.14
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392931 0 0 0 382578 16636 0 0 20 0 15 0 636452295 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 387865 381350 77 164 0 387700 0
[pid=2757/tid=2759] ppid=2755 vsize=1551460 CPUtime=250.34
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 25503 0 0 0 24670 364 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2760] ppid=2755 vsize=1551460 CPUtime=258.53
/proc/2757/task/2760/stat : 2760 (satake) R 2755 2757 27791 0 -1 4202560 25957 0 0 0 25529 324 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1551460 CPUtime=256.96
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27784 0 0 0 25310 386 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1551460 CPUtime=254.9
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 26900 0 0 0 25110 380 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1551460 CPUtime=260.34
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 24864 0 0 0 25718 316 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1551460 CPUtime=263.77
/proc/2757/task/2764/stat : 2764 (satake) R 2755 2757 27791 0 -1 4202560 25634 0 0 0 26055 322 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2765] ppid=2755 vsize=1551460 CPUtime=259.84
/proc/2757/task/2765/stat : 2765 (satake) R 2755 2757 27791 0 -1 4202560 25077 0 0 0 25590 394 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1551460 CPUtime=259.88
/proc/2757/task/2766/stat : 2766 (satake) R 2755 2757 27791 0 -1 4202560 25748 0 0 0 25650 338 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1551460 CPUtime=261.78
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24753 0 0 0 25816 362 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1551460 CPUtime=253.58
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 26868 0 0 0 24928 430 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1551460 CPUtime=256.44
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 28201 0 0 0 25254 390 0 0 20 0 15 0 636452296 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1551460 CPUtime=252.97
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25461 0 0 0 24957 340 0 0 20 0 15 0 636452297 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1551460 CPUtime=259.37
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24790 0 0 0 25589 348 0 0 20 0 15 0 636452297 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=2757/tid=2774] ppid=2755 vsize=1551460 CPUtime=262.12
/proc/2757/task/2774/stat : 2774 (satake) R 2755 2757 27791 0 -1 4202560 25971 0 0 0 25826 386 0 0 20 0 15 0 636452297 1588695040 381350 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 3992.14
Current children cumulated vsize (KiB) 1551460

[startup+385.904 s]
/proc/loadavg: 14.46 13.16 12.62 15/200 2779
/proc/meminfo: memFree=17605720/36427776 swapFree=4588/1540784
[pid=2757] ppid=2755 vsize=1524604 CPUtime=3995.66
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392931 0 0 0 382748 16818 0 0 20 0 12 0 636452295 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 381151 375771 77 164 0 380986 0
[pid=2757/tid=2759] ppid=2755 vsize=1524604 CPUtime=250.62
/proc/2757/task/2759/stat : 2759 (satake) R 2755 2757 27791 0 -1 4202560 25503 0 0 0 24682 380 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=2757/tid=2761] ppid=2755 vsize=1524604 CPUtime=257.23
/proc/2757/task/2761/stat : 2761 (satake) R 2755 2757 27791 0 -1 4202560 27784 0 0 0 25321 402 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=2757/tid=2762] ppid=2755 vsize=1524604 CPUtime=255.15
/proc/2757/task/2762/stat : 2762 (satake) R 2755 2757 27791 0 -1 4202560 26900 0 0 0 25123 392 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=2757/tid=2763] ppid=2755 vsize=1524604 CPUtime=260.59
/proc/2757/task/2763/stat : 2763 (satake) R 2755 2757 27791 0 -1 4202560 24864 0 0 0 25731 328 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=2757/tid=2764] ppid=2755 vsize=1524604 CPUtime=264.04
/proc/2757/task/2764/stat : 2764 (satake) S 2755 2757 27791 0 -1 4202560 25634 0 0 0 26066 338 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=2757/tid=2766] ppid=2755 vsize=1524604 CPUtime=260.16
/proc/2757/task/2766/stat : 2766 (satake) S 2755 2757 27791 0 -1 4202560 25748 0 0 0 25664 352 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=2757/tid=2767] ppid=2755 vsize=1524604 CPUtime=262.04
/proc/2757/task/2767/stat : 2767 (satake) R 2755 2757 27791 0 -1 4202560 24753 0 0 0 25828 376 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=2757/tid=2768] ppid=2755 vsize=1524604 CPUtime=253.85
/proc/2757/task/2768/stat : 2768 (satake) R 2755 2757 27791 0 -1 4202560 26868 0 0 0 24941 444 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=2757/tid=2770] ppid=2755 vsize=1524604 CPUtime=256.71
/proc/2757/task/2770/stat : 2770 (satake) R 2755 2757 27791 0 -1 4202560 28201 0 0 0 25265 406 0 0 20 0 12 0 636452296 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=2757/tid=2771] ppid=2755 vsize=1524604 CPUtime=253.25
/proc/2757/task/2771/stat : 2771 (satake) R 2755 2757 27791 0 -1 4202560 25461 0 0 0 24973 352 0 0 20 0 12 0 636452297 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=2757/tid=2772] ppid=2755 vsize=1524604 CPUtime=259.64
/proc/2757/task/2772/stat : 2772 (satake) S 2755 2757 27791 0 -1 4202560 24790 0 0 0 25602 362 0 0 20 0 12 0 636452297 1561194496 375771 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3995.66
Current children cumulated vsize (KiB) 1524604

[startup+386.301 s]
/proc/loadavg: 14.46 13.16 12.62 7/193 2779
/proc/meminfo: memFree=17635728/36427776 swapFree=4624/1502176
[pid=2757] ppid=2755 vsize=1015820 CPUtime=3997
/proc/2757/stat : 2757 (satake) S 2755 2757 27791 0 -1 4202496 392931 0 0 0 382819 16881 0 0 20 0 2 0 636452295 1040199680 250676 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 253955 250676 77 164 0 253790 0
[pid=2757/tid=2772] ppid=2755 vsize=1015820 CPUtime=259.95
/proc/2757/task/2772/stat : 2772 (satake) R 2755 2757 27791 0 -1 4202560 24790 0 0 0 25615 380 0 0 20 0 2 0 636452297 1040199680 250676 18446744073709551615 134512640 135180984 4290343552 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3997
Current children cumulated vsize (KiB) 1015820

[startup+386.405 s]
/proc/loadavg: 14.46 13.16 12.62 7/193 2779
/proc/meminfo: memFree=17635728/36427776 swapFree=4624/1502176
[pid=2757] ppid=2755 vsize=0 CPUtime=3997.1
/proc/2757/stat : 2757 (satake) R 2755 2757 27791 0 -1 4202500 392932 0 0 0 382819 16891 0 0 20 0 1 0 636452295 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/2757/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3997.1
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 386.432
CPU time (s): 3997.14
CPU user time (s): 3828.19
CPU system time (s): 168.947
CPU usage (%): 1034.37
Max. virtual memory (cumulated for all children) (KiB): 1560392


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3828.19
system time used= 168.947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392932
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= 13348572
involuntary context switches= 4418170

runsolver used 2.00813 second user time and 4.7443 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 03:50:59
IDJOB=1778892
IDBENCH=70776
IDSOLVER=631
FILE ID=xenhost3-49/1778892-1244771459
PBS_JOBID=
Free space on /tmp= 7035 MiB

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

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

MD5SUM BENCH= 34e3afebec3eaf03cbcceb51b352993a
RANDOM SEED= 1817535703

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:      19138856 kB
Buffers:        433664 kB
Cached:       14105772 kB
SwapCached:          0 kB
Active:        4078792 kB
Inactive:     10468980 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3328 kB
Writeback:           0 kB
AnonPages:        8328 kB
Mapped:           2988 kB
Slab:           688152 kB
SReclaimable:   661380 kB
SUnreclaim:      26772 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7035 MiB
End job on xenhost3-49 at 2009-06-12 03:57:26