Trace number 1776072

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 1295.37 574.854

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
MD5SUM4211c3af8594e6cbb06d7f7e8978c614
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark39.04
Satisfiable
(Un)Satisfiability was proved
Number of variables149210
Number of clauses761906
Sum of the clauses size1988854
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2614506
Number of clauses of size 3141844
Number of clauses of size 41307
Number of clauses of size 5115
Number of clauses of size over 53858

Solver Data 

1295.22/574.78	c Benchmark name    : HOME/instance-1776072-1244735667.cnf
1295.22/574.78	c Thread Num        :           16
1295.22/574.78	c restarts          :           12
1295.22/574.78	c conflicts         :        23759
1295.22/574.78	c decisions         :        42215           (       74 / sec      )
1295.22/574.78	c propagations      :     89056449           (   155728 / sec      )
1295.22/574.78	c inspects          :    267749170           (   468198 / sec      )
1295.22/574.78	c conflict literals :       530238           (    38.05 % deleted  )
1295.22/574.78	c cpu time          :       571.87           
1295.22/574.78	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-1776072-1244735667/watcher-1776072-1244735667 -o /tmp/evaluation-result-1776072-1244735667/solver-1776072-1244735667 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776072-1244735667.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: 4.27 3.95 5.14 2/184 30538
/proc/meminfo: memFree=19129060/36427776 swapFree=4584/7360
[pid=30538] ppid=30536 vsize=8308 CPUtime=0
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 488 0 0 0 0 0 0 0 20 0 17 0 632873133 8507392 445 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 2077 449 63 164 0 1912 0
[pid=30538/tid=30539] ppid=30536 vsize=8440 CPUtime=0
/proc/30538/task/30539/stat : 30539 (satake) S 30536 30538 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632873133 8642560 454 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30540] ppid=30536 vsize=8440 CPUtime=0
/proc/30538/task/30540/stat : 30540 (satake) S 30536 30538 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 632873133 8642560 456 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=8444 CPUtime=0
/proc/30538/task/30541/stat : 30541 (satake) D 30536 30538 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 632873133 8646656 457 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30542/stat : 30542 (satake) D 30536 30538 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 458 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30543/stat : 30543 (satake) R 30536 30538 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 462 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30544/stat : 30544 (satake) R 30536 30538 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 463 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30545/stat : 30545 (satake) R 30536 30538 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 465 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30546/stat : 30546 (satake) R 30536 30538 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 469 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30547/stat : 30547 (satake) S 30536 30538 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 469 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30548/stat : 30548 (satake) R 30536 30538 27791 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 475 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30549/stat : 30549 (satake) S 30536 30538 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 475 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30550/stat : 30550 (satake) S 30536 30538 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 478 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30551/stat : 30551 (satake) R 30536 30538 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 480 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30552/stat : 30552 (satake) R 30536 30538 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 632873133 8781824 481 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30553/stat : 30553 (satake) R 30536 30538 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 632873134 8781824 482 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=8576 CPUtime=0
/proc/30538/task/30554/stat : 30554 (satake) R 30536 30538 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 632873134 8781824 486 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.054378 s]
/proc/loadavg: 4.27 3.95 5.14 2/184 30538
/proc/meminfo: memFree=19129060/36427776 swapFree=4584/7360
[pid=30538] ppid=30536 vsize=46680 CPUtime=0.16
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 8956 0 0 0 0 16 0 0 20 0 17 0 632873133 47800320 8897 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 12694 8897 63 164 0 12529 0
[pid=30538/tid=30539] ppid=30536 vsize=54872 CPUtime=0
/proc/30538/task/30539/stat : 30539 (satake) S 30536 30538 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632873133 56188928 8897 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30540] ppid=30536 vsize=54872 CPUtime=0
/proc/30538/task/30540/stat : 30540 (satake) D 30536 30538 27791 0 -1 4202560 112 0 0 0 0 0 0 0 20 0 17 0 632873133 56188928 8900 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=54872 CPUtime=0.02
/proc/30538/task/30541/stat : 30541 (satake) R 30536 30538 27791 0 -1 4202560 1046 0 0 0 0 2 0 0 20 0 17 0 632873133 56188928 8904 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=54872 CPUtime=0.02
/proc/30538/task/30542/stat : 30542 (satake) R 30536 30538 27791 0 -1 4202560 1041 0 0 0 0 2 0 0 20 0 17 0 632873133 56188928 8904 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=54872 CPUtime=0.02
/proc/30538/task/30543/stat : 30543 (satake) R 30536 30538 27791 0 -1 4202560 1004 0 0 0 0 2 0 0 20 0 17 0 632873133 56188928 8904 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=54872 CPUtime=0.02
/proc/30538/task/30544/stat : 30544 (satake) R 30536 30538 27791 0 -1 4202560 1042 0 0 0 0 2 0 0 20 0 17 0 632873133 56188928 8904 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=54872 CPUtime=0.02
/proc/30538/task/30545/stat : 30545 (satake) R 30536 30538 27791 0 -1 4202560 1034 0 0 0 0 2 0 0 20 0 17 0 632873133 56188928 8908 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=54872 CPUtime=0
/proc/30538/task/30546/stat : 30546 (satake) D 30536 30538 27791 0 -1 4202560 64 0 0 0 0 0 0 0 20 0 17 0 632873133 56188928 8926 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=54872 CPUtime=0
/proc/30538/task/30547/stat : 30547 (satake) D 30536 30538 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 632873133 56188928 8927 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=58968 CPUtime=0
/proc/30538/task/30548/stat : 30548 (satake) D 30536 30538 27791 0 -1 4202560 118 0 0 0 0 0 0 0 20 0 17 0 632873133 60383232 8927 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=58968 CPUtime=0.02
/proc/30538/task/30549/stat : 30549 (satake) R 30536 30538 27791 0 -1 4202560 1043 0 0 0 0 2 0 0 20 0 17 0 632873133 60383232 8928 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=58968 CPUtime=0
/proc/30538/task/30550/stat : 30550 (satake) R 30536 30538 27791 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 17 0 632873133 60383232 8930 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=58968 CPUtime=0.02
/proc/30538/task/30551/stat : 30551 (satake) R 30536 30538 27791 0 -1 4202560 1014 0 0 0 0 2 0 0 20 0 17 0 632873133 60383232 8931 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=58968 CPUtime=0.02
/proc/30538/task/30552/stat : 30552 (satake) R 30536 30538 27791 0 -1 4202560 996 0 0 0 0 2 0 0 20 0 17 0 632873133 60383232 8931 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=58968 CPUtime=0
/proc/30538/task/30553/stat : 30553 (satake) R 30536 30538 27791 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 17 0 632873134 60383232 8934 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=58968 CPUtime=0
/proc/30538/task/30554/stat : 30554 (satake) R 30536 30538 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 632873134 60383232 8960 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 46680

[startup+0.106407 s]
/proc/loadavg: 4.27 3.95 5.14 2/184 30538
/proc/meminfo: memFree=19129060/36427776 swapFree=4584/7360
[pid=30538] ppid=30536 vsize=132312 CPUtime=0.51
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 23167 0 0 0 3 48 0 0 20 0 17 0 632873133 135487488 23115 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 33078 23145 63 164 0 32913 0
[pid=30538/tid=30539] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30539/stat : 30539 (satake) S 30536 30538 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632873133 135487488 23158 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30540] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30540/stat : 30540 (satake) R 30536 30538 27791 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 17 0 632873133 135487488 23183 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=132312 CPUtime=0.04
/proc/30538/task/30541/stat : 30541 (satake) R 30536 30538 27791 0 -1 4202560 2673 0 0 0 0 4 0 0 20 0 17 0 632873133 135487488 23206 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=132312 CPUtime=0.06
/proc/30538/task/30542/stat : 30542 (satake) R 30536 30538 27791 0 -1 4202560 2690 0 0 0 0 6 0 0 20 0 17 0 632873133 135487488 23230 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=132312 CPUtime=0.04
/proc/30538/task/30543/stat : 30543 (satake) R 30536 30538 27791 0 -1 4202560 2049 0 0 0 0 4 0 0 20 0 17 0 632873133 135487488 23251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=132312 CPUtime=0.04
/proc/30538/task/30544/stat : 30544 (satake) R 30536 30538 27791 0 -1 4202560 2024 0 0 0 0 4 0 0 20 0 17 0 632873133 135487488 23269 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=132312 CPUtime=0.04
/proc/30538/task/30545/stat : 30545 (satake) R 30536 30538 27791 0 -1 4202560 2032 0 0 0 0 4 0 0 20 0 17 0 632873133 135487488 23291 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30546/stat : 30546 (satake) R 30536 30538 27791 0 -1 4202560 852 0 0 0 0 0 0 0 20 0 17 0 632873133 135487488 23311 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30547/stat : 30547 (satake) R 30536 30538 27791 0 -1 4202560 851 0 0 0 0 0 0 0 20 0 17 0 632873133 135487488 23333 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30548/stat : 30548 (satake) R 30536 30538 27791 0 -1 4202560 219 0 0 0 0 0 0 0 20 0 17 0 632873133 135487488 23355 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=132312 CPUtime=0.06
/proc/30538/task/30549/stat : 30549 (satake) R 30536 30538 27791 0 -1 4202560 2772 0 0 0 0 6 0 0 20 0 17 0 632873133 135487488 23378 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30550/stat : 30550 (satake) R 30536 30538 27791 0 -1 4202560 274 0 0 0 0 0 0 0 20 0 17 0 632873133 135487488 23406 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=132312 CPUtime=0.06
/proc/30538/task/30551/stat : 30551 (satake) R 30536 30538 27791 0 -1 4202560 2732 0 0 0 0 6 0 0 20 0 17 0 632873133 135487488 23432 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=132312 CPUtime=0.04
/proc/30538/task/30552/stat : 30552 (satake) R 30536 30538 27791 0 -1 4202560 2508 0 0 0 0 4 0 0 20 0 17 0 632873133 135487488 23452 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=132312 CPUtime=0.02
/proc/30538/task/30553/stat : 30553 (satake) R 30536 30538 27791 0 -1 4202560 875 0 0 0 0 2 0 0 20 0 17 0 632873134 135487488 23473 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=132312 CPUtime=0
/proc/30538/task/30554/stat : 30554 (satake) R 30536 30538 27791 0 -1 4202560 281 0 0 0 0 0 0 0 20 0 17 0 632873134 135487488 23503 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 132312

[startup+0.307161 s]
/proc/loadavg: 4.27 3.95 5.14 2/184 30538
/proc/meminfo: memFree=19129060/36427776 swapFree=4584/7360
[pid=30538] ppid=30536 vsize=187144 CPUtime=1.61
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 39474 0 0 0 4 157 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 46786 39415 63 164 0 46621 0
[pid=30538/tid=30539] ppid=30536 vsize=187144 CPUtime=0
/proc/30538/task/30539/stat : 30539 (satake) S 30536 30538 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30540] ppid=30536 vsize=187144 CPUtime=0.08
/proc/30538/task/30540/stat : 30540 (satake) R 30536 30538 27791 0 -1 4202560 1588 0 0 0 0 8 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=187144 CPUtime=0.14
/proc/30538/task/30541/stat : 30541 (satake) D 30536 30538 27791 0 -1 4202560 3743 0 0 0 0 14 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=187144 CPUtime=0.12
/proc/30538/task/30542/stat : 30542 (satake) D 30536 30538 27791 0 -1 4202560 3569 0 0 0 0 12 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=187144 CPUtime=0.12
/proc/30538/task/30543/stat : 30543 (satake) D 30536 30538 27791 0 -1 4202560 3342 0 0 0 0 12 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=187144 CPUtime=0.12
/proc/30538/task/30544/stat : 30544 (satake) D 30536 30538 27791 0 -1 4202560 3443 0 0 0 0 12 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=187144 CPUtime=0.1
/proc/30538/task/30545/stat : 30545 (satake) D 30536 30538 27791 0 -1 4202560 3033 0 0 0 0 10 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=187144 CPUtime=0.06
/proc/30538/task/30546/stat : 30546 (satake) D 30536 30538 27791 0 -1 4202560 1702 0 0 0 0 6 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=187144 CPUtime=0.08
/proc/30538/task/30547/stat : 30547 (satake) D 30536 30538 27791 0 -1 4202560 2064 0 0 0 0 8 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=187144 CPUtime=0.06
/proc/30538/task/30548/stat : 30548 (satake) D 30536 30538 27791 0 -1 4202560 1512 0 0 0 0 6 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=187144 CPUtime=0.14
/proc/30538/task/30549/stat : 30549 (satake) D 30536 30538 27791 0 -1 4202560 3715 0 0 0 0 14 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=187144 CPUtime=0.06
/proc/30538/task/30550/stat : 30550 (satake) D 30536 30538 27791 0 -1 4202560 1151 0 0 0 0 6 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=187144 CPUtime=0.18
/proc/30538/task/30551/stat : 30551 (satake) D 30536 30538 27791 0 -1 4202560 3861 0 0 0 0 18 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=187144 CPUtime=0.12
/proc/30538/task/30552/stat : 30552 (satake) S 30536 30538 27791 0 -1 4202560 3641 0 0 0 0 12 0 0 20 0 17 0 632873133 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=187144 CPUtime=0.08
/proc/30538/task/30553/stat : 30553 (satake) D 30536 30538 27791 0 -1 4202560 1799 0 0 0 0 8 0 0 20 0 17 0 632873134 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=187144 CPUtime=0.06
/proc/30538/task/30554/stat : 30554 (satake) D 30536 30538 27791 0 -1 4202560 1181 0 0 0 0 6 0 0 20 0 17 0 632873134 191635456 39415 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 187144

[startup+0.700984 s]
/proc/loadavg: 4.27 3.95 5.14 2/184 30538
/proc/meminfo: memFree=19129060/36427776 swapFree=4584/7360
[pid=30538] ppid=30536 vsize=245164 CPUtime=3.32
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 58547 0 0 0 22 310 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 61291 58488 63 164 0 61126 0
[pid=30538/tid=30539] ppid=30536 vsize=245164 CPUtime=0
/proc/30538/task/30539/stat : 30539 (satake) S 30536 30538 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30540] ppid=30536 vsize=245164 CPUtime=0.24
/proc/30538/task/30540/stat : 30540 (satake) R 30536 30538 27791 0 -1 4202560 3819 0 0 0 2 22 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=245164 CPUtime=0.24
/proc/30538/task/30541/stat : 30541 (satake) D 30536 30538 27791 0 -1 4202560 4238 0 0 0 4 20 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=245164 CPUtime=0.22
/proc/30538/task/30542/stat : 30542 (satake) D 30536 30538 27791 0 -1 4202560 3992 0 0 0 0 22 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=245164 CPUtime=0.2
/proc/30538/task/30543/stat : 30543 (satake) S 30536 30538 27791 0 -1 4202560 3845 0 0 0 2 18 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=245164 CPUtime=0.2
/proc/30538/task/30544/stat : 30544 (satake) S 30536 30538 27791 0 -1 4202560 3886 0 0 0 0 20 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=245164 CPUtime=0.18
/proc/30538/task/30545/stat : 30545 (satake) S 30536 30538 27791 0 -1 4202560 3783 0 0 0 2 16 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=245164 CPUtime=0.2
/proc/30538/task/30546/stat : 30546 (satake) D 30536 30538 27791 0 -1 4202560 3712 0 0 0 0 20 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=245164 CPUtime=0.2
/proc/30538/task/30547/stat : 30547 (satake) S 30536 30538 27791 0 -1 4202560 3698 0 0 0 0 20 0 0 20 0 17 0 632873133 251047936 58488 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=245164 CPUtime=0.18

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

[pid=30538/tid=30539] ppid=30536 vsize=1010764 CPUtime=261.76
/proc/30538/task/30539/stat : 30539 (satake) R 30536 30538 27791 0 -1 4202560 8018 0 0 0 3192 22984 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30540] ppid=30536 vsize=1010764 CPUtime=57.09
/proc/30538/task/30540/stat : 30540 (satake) S 30536 30538 27791 0 -1 4202560 16856 0 0 0 4609 1100 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=1010764 CPUtime=83.68
/proc/30538/task/30541/stat : 30541 (satake) S 30536 30538 27791 0 -1 4202560 17019 0 0 0 7318 1050 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=1010764 CPUtime=59.28
/proc/30538/task/30542/stat : 30542 (satake) S 30536 30538 27791 0 -1 4202560 16556 0 0 0 4782 1146 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=1010764 CPUtime=79.56
/proc/30538/task/30543/stat : 30543 (satake) S 30536 30538 27791 0 -1 4202560 16980 0 0 0 6800 1156 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=1010764 CPUtime=64.01
/proc/30538/task/30544/stat : 30544 (satake) S 30536 30538 27791 0 -1 4202560 16652 0 0 0 5355 1046 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=1010764 CPUtime=57.4
/proc/30538/task/30545/stat : 30545 (satake) S 30536 30538 27791 0 -1 4202560 16573 0 0 0 4638 1102 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=1010764 CPUtime=61.02
/proc/30538/task/30546/stat : 30546 (satake) S 30536 30538 27791 0 -1 4202560 16943 0 0 0 5132 970 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=1010764 CPUtime=69.97
/proc/30538/task/30547/stat : 30547 (satake) R 30536 30538 27791 0 -1 4202560 16916 0 0 0 5771 1226 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=1010764 CPUtime=60.86
/proc/30538/task/30548/stat : 30548 (satake) S 30536 30538 27791 0 -1 4202560 16947 0 0 0 4978 1108 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=1010764 CPUtime=65.43
/proc/30538/task/30549/stat : 30549 (satake) R 30536 30538 27791 0 -1 4202560 16866 0 0 0 5149 1394 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=1010764 CPUtime=66.02
/proc/30538/task/30550/stat : 30550 (satake) D 30536 30538 27791 0 -1 4202560 17134 0 0 0 5336 1266 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=1010764 CPUtime=75.16
/proc/30538/task/30551/stat : 30551 (satake) S 30536 30538 27791 0 -1 4202560 16613 0 0 0 6196 1320 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=1010764 CPUtime=70.07
/proc/30538/task/30552/stat : 30552 (satake) S 30536 30538 27791 0 -1 4202560 16678 0 0 0 5851 1156 0 0 20 0 17 0 632873133 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=1010764 CPUtime=67.6
/proc/30538/task/30553/stat : 30553 (satake) S 30536 30538 27791 0 -1 4202560 16949 0 0 0 5476 1284 0 0 20 0 17 0 632873134 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=1010764 CPUtime=71.47
/proc/30538/task/30554/stat : 30554 (satake) S 30536 30538 27791 0 -1 4202560 16774 0 0 0 5919 1228 0 0 20 0 17 0 632873134 1035022336 208955 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1270.48
Current children cumulated vsize (KiB) 1010764

[startup+572.704 s]
/proc/loadavg: 3.64 3.44 4.32 17/201 30565
/proc/meminfo: memFree=18294408/36427776 swapFree=4588/845872
[pid=30538] ppid=30536 vsize=1002004 CPUtime=1285.01
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 260620 0 0 0 87261 41240 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 250501 207251 77 164 0 250336 0
[pid=30538/tid=30540] ppid=30536 vsize=1002004 CPUtime=58.05
/proc/30538/task/30540/stat : 30540 (satake) R 30536 30538 27791 0 -1 4202560 16856 0 0 0 4663 1142 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=1002004 CPUtime=84.66
/proc/30538/task/30541/stat : 30541 (satake) R 30536 30538 27791 0 -1 4202560 17020 0 0 0 7376 1090 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=1002004 CPUtime=60.29
/proc/30538/task/30542/stat : 30542 (satake) R 30536 30538 27791 0 -1 4202560 16556 0 0 0 4835 1194 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=1002004 CPUtime=80.4
/proc/30538/task/30543/stat : 30543 (satake) R 30536 30538 27791 0 -1 4202560 16980 0 0 0 6838 1202 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=1002004 CPUtime=64.95
/proc/30538/task/30544/stat : 30544 (satake) R 30536 30538 27791 0 -1 4202560 16652 0 0 0 5407 1088 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=1002004 CPUtime=58.28
/proc/30538/task/30545/stat : 30545 (satake) S 30536 30538 27791 0 -1 4202560 16573 0 0 0 4684 1144 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=1002004 CPUtime=61.93
/proc/30538/task/30546/stat : 30546 (satake) R 30536 30538 27791 0 -1 4202560 16943 0 0 0 5181 1012 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=1002004 CPUtime=71.12
/proc/30538/task/30547/stat : 30547 (satake) R 30536 30538 27791 0 -1 4202560 16917 0 0 0 5846 1266 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=1002004 CPUtime=61.46
/proc/30538/task/30548/stat : 30548 (satake) R 30536 30538 27791 0 -1 4202560 16947 0 0 0 5006 1140 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=1002004 CPUtime=66.34
/proc/30538/task/30549/stat : 30549 (satake) R 30536 30538 27791 0 -1 4202560 16866 0 0 0 5192 1442 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=1002004 CPUtime=66.79
/proc/30538/task/30550/stat : 30550 (satake) R 30536 30538 27791 0 -1 4202560 17135 0 0 0 5389 1290 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=1002004 CPUtime=76.17
/proc/30538/task/30551/stat : 30551 (satake) R 30536 30538 27791 0 -1 4202560 16613 0 0 0 6249 1368 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=1002004 CPUtime=70.57
/proc/30538/task/30552/stat : 30552 (satake) R 30536 30538 27791 0 -1 4202560 16687 0 0 0 5871 1186 0 0 20 0 16 0 632873133 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=1002004 CPUtime=68.5
/proc/30538/task/30553/stat : 30553 (satake) R 30536 30538 27791 0 -1 4202560 16951 0 0 0 5532 1318 0 0 20 0 16 0 632873134 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=1002004 CPUtime=72.04
/proc/30538/task/30554/stat : 30554 (satake) R 30536 30538 27791 0 -1 4202560 16774 0 0 0 5954 1250 0 0 20 0 16 0 632873134 1026052096 207251 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1285.01
Current children cumulated vsize (KiB) 1002004

[startup+573.504 s]
/proc/loadavg: 3.64 3.44 4.32 15/200 30565
/proc/meminfo: memFree=18311572/36427776 swapFree=4624/827048
[pid=30538] ppid=30536 vsize=948296 CPUtime=1290.16
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 260620 0 0 0 87461 41555 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 237074 198779 77 164 0 236909 0
[pid=30538/tid=30540] ppid=30536 vsize=948296 CPUtime=58.49
/proc/30538/task/30540/stat : 30540 (satake) S 30536 30538 27791 0 -1 4202560 16856 0 0 0 4683 1166 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=948296 CPUtime=85.08
/proc/30538/task/30541/stat : 30541 (satake) S 30536 30538 27791 0 -1 4202560 17020 0 0 0 7394 1114 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=948296 CPUtime=60.72
/proc/30538/task/30542/stat : 30542 (satake) S 30536 30538 27791 0 -1 4202560 16556 0 0 0 4854 1218 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=948296 CPUtime=80.72
/proc/30538/task/30543/stat : 30543 (satake) S 30536 30538 27791 0 -1 4202560 16980 0 0 0 6848 1224 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=948296 CPUtime=65.29
/proc/30538/task/30544/stat : 30544 (satake) S 30536 30538 27791 0 -1 4202560 16652 0 0 0 5417 1112 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=948296 CPUtime=58.61
/proc/30538/task/30545/stat : 30545 (satake) S 30536 30538 27791 0 -1 4202560 16573 0 0 0 4693 1168 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30546] ppid=30536 vsize=948296 CPUtime=62.28
/proc/30538/task/30546/stat : 30546 (satake) S 30536 30538 27791 0 -1 4202560 16943 0 0 0 5192 1036 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=948296 CPUtime=71.44
/proc/30538/task/30547/stat : 30547 (satake) R 30536 30538 27791 0 -1 4202560 16917 0 0 0 5858 1286 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134666427 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=948296 CPUtime=61.85
/proc/30538/task/30548/stat : 30548 (satake) S 30536 30538 27791 0 -1 4202560 16947 0 0 0 5023 1162 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30549] ppid=30536 vsize=948296 CPUtime=66.71
/proc/30538/task/30549/stat : 30549 (satake) S 30536 30538 27791 0 -1 4202560 16866 0 0 0 5209 1462 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=948296 CPUtime=66.98
/proc/30538/task/30550/stat : 30550 (satake) S 30536 30538 27791 0 -1 4202560 17135 0 0 0 5394 1304 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30551] ppid=30536 vsize=948296 CPUtime=76.62
/proc/30538/task/30551/stat : 30551 (satake) S 30536 30538 27791 0 -1 4202560 16613 0 0 0 6274 1388 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=948296 CPUtime=70.88
/proc/30538/task/30552/stat : 30552 (satake) S 30536 30538 27791 0 -1 4202560 16687 0 0 0 5880 1208 0 0 20 0 16 0 632873133 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=948296 CPUtime=68.69
/proc/30538/task/30553/stat : 30553 (satake) S 30536 30538 27791 0 -1 4202560 16951 0 0 0 5537 1332 0 0 20 0 16 0 632873134 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=948296 CPUtime=72.35
/proc/30538/task/30554/stat : 30554 (satake) S 30536 30538 27791 0 -1 4202560 16774 0 0 0 5967 1268 0 0 20 0 16 0 632873134 971055104 198779 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1290.16
Current children cumulated vsize (KiB) 948296

[startup+574.303 s]
/proc/loadavg: 4.39 3.60 4.37 13/198 30565
/proc/meminfo: memFree=18365752/36427776 swapFree=4624/769252
[pid=30538] ppid=30536 vsize=856304 CPUtime=1293.9
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 260620 0 0 0 87645 41745 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 214076 185022 77 164 0 213911 0
[pid=30538/tid=30540] ppid=30536 vsize=856304 CPUtime=58.78
/proc/30538/task/30540/stat : 30540 (satake) S 30536 30538 27791 0 -1 4202560 16856 0 0 0 4696 1182 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30538/tid=30541] ppid=30536 vsize=856304 CPUtime=85.32
/proc/30538/task/30541/stat : 30541 (satake) R 30536 30538 27791 0 -1 4202560 17020 0 0 0 7406 1126 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30538/tid=30542] ppid=30536 vsize=856304 CPUtime=60.98
/proc/30538/task/30542/stat : 30542 (satake) R 30536 30538 27791 0 -1 4202560 16556 0 0 0 4864 1234 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30538/tid=30543] ppid=30536 vsize=856304 CPUtime=80.99
/proc/30538/task/30543/stat : 30543 (satake) R 30536 30538 27791 0 -1 4202560 16980 0 0 0 6859 1240 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30538/tid=30544] ppid=30536 vsize=856304 CPUtime=65.57
/proc/30538/task/30544/stat : 30544 (satake) S 30536 30538 27791 0 -1 4202560 16652 0 0 0 5433 1124 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=30538/tid=30545] ppid=30536 vsize=856304 CPUtime=58.93
/proc/30538/task/30545/stat : 30545 (satake) R 30536 30538 27791 0 -1 4202560 16573 0 0 0 4707 1186 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30538/tid=30547] ppid=30536 vsize=856304 CPUtime=71.71
/proc/30538/task/30547/stat : 30547 (satake) R 30536 30538 27791 0 -1 4202560 16917 0 0 0 5871 1300 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30538/tid=30548] ppid=30536 vsize=856304 CPUtime=62.09
/proc/30538/task/30548/stat : 30548 (satake) R 30536 30538 27791 0 -1 4202560 16947 0 0 0 5033 1176 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30538/tid=30550] ppid=30536 vsize=856304 CPUtime=67.23
/proc/30538/task/30550/stat : 30550 (satake) R 30536 30538 27791 0 -1 4202560 17135 0 0 0 5405 1318 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=856304 CPUtime=71.07
/proc/30538/task/30552/stat : 30552 (satake) R 30536 30538 27791 0 -1 4202560 16687 0 0 0 5887 1220 0 0 20 0 13 0 632873133 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=856304 CPUtime=68.87
/proc/30538/task/30553/stat : 30553 (satake) R 30536 30538 27791 0 -1 4202560 16951 0 0 0 5547 1340 0 0 20 0 13 0 632873134 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30554] ppid=30536 vsize=856304 CPUtime=72.7
/proc/30538/task/30554/stat : 30554 (satake) R 30536 30538 27791 0 -1 4202560 16774 0 0 0 5988 1282 0 0 20 0 13 0 632873134 876855296 185022 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1293.9
Current children cumulated vsize (KiB) 856304

[startup+574.703 s]
/proc/loadavg: 4.39 3.60 4.37 13/198 30565
/proc/meminfo: memFree=18365752/36427776 swapFree=4624/769252
[pid=30538] ppid=30536 vsize=693356 CPUtime=1295.22
/proc/30538/stat : 30538 (satake) S 30536 30538 27791 0 -1 4202496 260620 0 0 0 87733 41789 0 0 20 0 4 0 632873133 709996544 161382 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 173339 161382 77 164 0 173174 0
[pid=30538/tid=30550] ppid=30536 vsize=693356 CPUtime=67.39
/proc/30538/task/30550/stat : 30550 (satake) R 30536 30538 27791 0 -1 4202560 17135 0 0 0 5417 1322 0 0 20 0 4 0 632873133 709996544 161382 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30538/tid=30552] ppid=30536 vsize=693356 CPUtime=71.2
/proc/30538/task/30552/stat : 30552 (satake) S 30536 30538 27791 0 -1 4202560 16687 0 0 0 5898 1222 0 0 20 0 4 0 632873133 709996544 161382 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30538/tid=30553] ppid=30536 vsize=693356 CPUtime=68.96
/proc/30538/task/30553/stat : 30553 (satake) R 30536 30538 27791 0 -1 4202560 16951 0 0 0 5552 1344 0 0 20 0 4 0 632873134 709996544 161382 18446744073709551615 134512640 135180984 4288002112 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1295.22
Current children cumulated vsize (KiB) 693356

[startup+574.804 s]
/proc/loadavg: 4.39 3.60 4.37 13/198 30565
/proc/meminfo: memFree=18365752/36427776 swapFree=4624/769252
[pid=30538] ppid=30536 vsize=0 CPUtime=1295.31
/proc/30538/stat : 30538 (satake) R 30536 30538 27791 0 -1 4202500 260621 0 0 0 87737 41794 0 0 20 0 1 0 632873133 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/30538/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1295.31
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 574.854
CPU time (s): 1295.37
CPU user time (s): 877.379
CPU system time (s): 417.99
CPU usage (%): 225.339
Max. virtual memory (cumulated for all children) (KiB): 1010764


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 877.379
system time used= 417.99
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260621
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= 34426072
involuntary context switches= 3834268

runsolver used 2.47215 second user time and 6.4764 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 17:54:27
IDJOB=1776072
IDBENCH=20419
IDSOLVER=631
FILE ID=xenhost3-49/1776072-1244735667
PBS_JOBID=
Free space on /tmp= 7026 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/uts/uts-l06-ipc5-h31-unknown.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776072-1244735667/watcher-1776072-1244735667 -o /tmp/evaluation-result-1776072-1244735667/solver-1776072-1244735667 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776072-1244735667.cnf 16 10000

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

MD5SUM BENCH= 4211c3af8594e6cbb06d7f7e8978c614
RANDOM SEED= 696735902

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:      19129060 kB
Buffers:        432228 kB
Cached:       14114620 kB
SwapCached:          0 kB
Active:        4076980 kB
Inactive:     10478348 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           14680 kB
Writeback:           0 kB
AnonPages:        7360 kB
Mapped:           3920 kB
Slab:           687592 kB
SReclaimable:   660796 kB
SUnreclaim:      26796 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= 7026 MiB
End job on xenhost3-49 at 2009-06-11 18:04:03