Trace number 1779072

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 426.503 138.352

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxand/maxand064.cnf
MD5SUMb2d2617ddc348aef0d35df3c8f228dcb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.94
Satisfiable
(Un)Satisfiability was proved
Number of variables14578
Number of clauses42581
Sum of the clauses size99353
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 228386
Number of clauses of size 314193
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

426.43/138.34	c Benchmark name    : HOME/instance-1779072-1244780386.cnf
426.43/138.34	c Thread Num        :           16
426.43/138.34	c restarts          :           13
426.43/138.34	c conflicts         :        29623
426.43/138.34	c decisions         :        73163           (      532 / sec      )
426.43/138.34	c propagations      :     27842388           (   202294 / sec      )
426.43/138.34	c inspects          :     89399095           (   649546 / sec      )
426.43/138.34	c conflict literals :      4256298           (    21.47 % deleted  )
426.43/138.34	c cpu time          :       137.63           
426.43/138.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-1779072-1244780386/watcher-1779072-1244780386 -o /tmp/evaluation-result-1779072-1244780386/solver-1779072-1244780386 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779072-1244780386.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: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=7864 CPUtime=0
/proc/3592/stat : 3592 (satake) R 3590 3592 27791 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 15 0 637344983 8052736 299 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 1966 299 63 164 0 1801 0
[pid=3592/tid=3593] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 360 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3595/stat : 3595 (satake) R 3590 3592 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 363 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3596/stat : 3596 (satake) R 3590 3592 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 367 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=7940 CPUtime=0
/proc/3592/task/3597/stat : 3597 (satake) D 3590 3592 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 637344983 8130560 375 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3598/stat : 3598 (satake) D 3590 3592 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 378 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 382 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3601/stat : 3601 (satake) D 3590 3592 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 383 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3602/stat : 3602 (satake) D 3590 3592 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=7944 CPUtime=0
/proc/3592/task/3607/stat : 3607 (satake) D 3590 3592 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 637344983 8134656 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=8076 CPUtime=0
/proc/3592/task/3609/stat : 3609 (satake) D 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 8269824 384 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=8076 CPUtime=0
/proc/3592/task/3610/stat : 3610 (satake) D 3590 3592 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 637344984 8269824 389 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=8076 CPUtime=0
/proc/3592/task/3611/stat : 3611 (satake) D 3590 3592 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 637344984 8269824 391 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0

[startup+0.060065 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=18116 CPUtime=0.25
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 2887 0 0 0 4 21 0 0 20 0 17 0 637344983 18550784 2844 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 4529 2848 63 164 0 4364 0
[pid=3592/tid=3593] ppid=3590 vsize=18116 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 18550784 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=18116 CPUtime=0.02
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 186 0 0 0 0 2 0 0 20 0 17 0 637344983 18550784 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=19144 CPUtime=0.02
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 224 0 0 0 0 2 0 0 20 0 17 0 637344983 19603456 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 188 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2848 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3598/stat : 3598 (satake) D 3590 3592 27791 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2851 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 182 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2852 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3601/stat : 3601 (satake) D 3590 3592 27791 0 -1 4202560 204 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2852 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2856 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3603/stat : 3603 (satake) D 3590 3592 27791 0 -1 4202560 203 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2857 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=18628 CPUtime=0
/proc/3592/task/3604/stat : 3604 (satake) D 3590 3592 27791 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 17 0 637344983 19075072 2857 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 198 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2859 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=18628 CPUtime=0.02
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 228 0 0 0 0 2 0 0 20 0 17 0 637344983 19075072 2859 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3607/stat : 3607 (satake) D 3590 3592 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 637344983 18669568 2859 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3609/stat : 3609 (satake) D 3590 3592 27791 0 -1 4202560 139 0 0 0 0 0 0 0 20 0 17 0 637344983 18669568 2861 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3610/stat : 3610 (satake) D 3590 3592 27791 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 17 0 637344984 18669568 2864 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=18232 CPUtime=0
/proc/3592/task/3611/stat : 3611 (satake) R 3590 3592 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 637344984 18669568 2864 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 18116

[startup+0.10395 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=24692 CPUtime=0.35
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 4336 0 0 0 7 28 0 0 20 0 17 0 637344983 25284608 4293 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 6173 4297 63 164 0 6008 0
[pid=3592/tid=3593] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4297 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 230 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4297 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3596/stat : 3596 (satake) D 3590 3592 27791 0 -1 4202560 265 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4298 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 227 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4298 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4300 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=24692 CPUtime=0.04
/proc/3592/task/3599/stat : 3599 (satake) R 3590 3592 27791 0 -1 4202560 862 0 0 0 2 2 0 0 20 0 17 0 637344983 25284608 4302 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 289 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4303 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4304 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 246 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4306 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 206 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4308 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 233 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4308 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=24692 CPUtime=0.04
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 294 0 0 0 0 4 0 0 20 0 17 0 637344983 25284608 4308 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3607/stat : 3607 (satake) R 3590 3592 27791 0 -1 4202560 246 0 0 0 0 2 0 0 20 0 17 0 637344983 25284608 4309 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=24692 CPUtime=0
/proc/3592/task/3609/stat : 3609 (satake) R 3590 3592 27791 0 -1 4202560 212 0 0 0 0 0 0 0 20 0 17 0 637344983 25284608 4310 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3610/stat : 3610 (satake) R 3590 3592 27791 0 -1 4202560 236 0 0 0 0 2 0 0 20 0 17 0 637344984 25284608 4310 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=24692 CPUtime=0.02
/proc/3592/task/3611/stat : 3611 (satake) R 3590 3592 27791 0 -1 4202560 213 0 0 0 2 0 0 0 20 0 17 0 637344984 25284608 4314 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134665171 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 24692

[startup+0.303969 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=52868 CPUtime=1.13
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 10879 0 0 0 39 74 0 0 20 0 17 0 637344983 54136832 10520 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 13217 10523 66 164 0 13052 0
[pid=3592/tid=3593] ppid=3590 vsize=52868 CPUtime=0
/proc/3592/task/3593/stat : 3593 (satake) S 3590 3592 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 637344983 54136832 10523 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 762 0 0 0 2 6 0 0 20 0 17 0 637344983 54136832 10524 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3596/stat : 3596 (satake) R 3590 3592 27791 0 -1 4202560 735 0 0 0 2 6 0 0 20 0 17 0 637344983 54136832 10524 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 631 0 0 0 2 4 0 0 20 0 17 0 637344983 54136832 10529 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 715 0 0 0 6 0 0 0 20 0 17 0 637344983 54136832 10531 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=52868 CPUtime=0.1
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 895 0 0 0 8 2 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3601/stat : 3601 (satake) R 3590 3592 27791 0 -1 4202560 808 0 0 0 4 4 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=52868 CPUtime=0.04
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 686 0 0 0 0 4 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3603/stat : 3603 (satake) D 3590 3592 27791 0 -1 4202560 694 0 0 0 0 6 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=52868 CPUtime=0.04
/proc/3592/task/3604/stat : 3604 (satake) D 3590 3592 27791 0 -1 4202560 502 0 0 0 4 0 0 0 20 0 17 0 637344983 54136832 10533 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=52868 CPUtime=0.08
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 711 0 0 0 0 8 0 0 20 0 17 0 637344983 54136832 10535 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=52868 CPUtime=0.1
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 865 0 0 0 2 8 0 0 20 0 17 0 637344983 54136832 10537 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 703 0 0 0 0 6 0 0 20 0 17 0 637344983 54136832 10541 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 674 0 0 0 0 6 0 0 20 0 17 0 637344983 54136832 10541 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3610/stat : 3610 (satake) D 3590 3592 27791 0 -1 4202560 745 0 0 0 2 4 0 0 20 0 17 0 637344984 54136832 10542 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=52868 CPUtime=0.06
/proc/3592/task/3611/stat : 3611 (satake) D 3590 3592 27791 0 -1 4202560 636 0 0 0 2 4 0 0 20 0 17 0 637344984 54136832 10542 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 52868

[startup+0.70397 s]
/proc/loadavg: 3.95 4.24 6.05 2/184 3592
/proc/meminfo: memFree=19141416/36427776 swapFree=3652/7076
[pid=3592] ppid=3590 vsize=55728 CPUtime=2.62
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 13910 0 0 0 161 101 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 13932 11497 68 164 0 13767 0
[pid=3592/tid=3593] ppid=3590 vsize=55728 CPUtime=0.12
/proc/3592/task/3593/stat : 3593 (satake) R 3590 3592 27791 0 -1 4202560 270 0 0 0 2 10 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=55728 CPUtime=0.18
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 851 0 0 0 12 6 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=55728 CPUtime=0.2
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 899 0 0 0 12 8 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=55728 CPUtime=0.14
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 872 0 0 0 8 6 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=55728 CPUtime=0.12
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 957 0 0 0 8 4 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=55728 CPUtime=0.14
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 905 0 0 0 12 2 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=55728 CPUtime=0.16
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 900 0 0 0 12 4 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=55728 CPUtime=0.1
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 951 0 0 0 4 6 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=55728 CPUtime=0.14
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 916 0 0 0 6 8 0 0 20 0 17 0 637344983 57065472 11497 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=55728 CPUtime=0.1

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

/proc/3592/statm: 80688 77056 68 164 0 80523 0
[pid=3592/tid=3593] ppid=3590 vsize=322752 CPUtime=56.77
/proc/3592/task/3593/stat : 3593 (satake) R 3590 3592 27791 0 -1 4202560 1420 0 0 0 728 4949 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=322752 CPUtime=22.92
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 5441 0 0 0 2108 184 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=322752 CPUtime=23.94
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 5218 0 0 0 2202 192 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=322752 CPUtime=24.7
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 5220 0 0 0 2282 188 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=322752 CPUtime=23.18
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 5236 0 0 0 2108 210 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=322752 CPUtime=24.08
/proc/3592/task/3599/stat : 3599 (satake) R 3590 3592 27791 0 -1 4202560 5486 0 0 0 2212 196 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134527257 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=322752 CPUtime=23.92
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 5182 0 0 0 2190 202 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=322752 CPUtime=24.96
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 5112 0 0 0 2312 184 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=322752 CPUtime=22.9
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 4684 0 0 0 2078 212 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=322752 CPUtime=22.58
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 4735 0 0 0 2064 194 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=322752 CPUtime=24.54
/proc/3592/task/3605/stat : 3605 (satake) S 3590 3592 27791 0 -1 4202560 4841 0 0 0 2236 218 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=322752 CPUtime=22.28
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 5342 0 0 0 2074 154 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=322752 CPUtime=23.88
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 5228 0 0 0 2174 214 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=322752 CPUtime=24.86
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2274 212 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=322752 CPUtime=23.58
/proc/3592/task/3610/stat : 3610 (satake) S 3590 3592 27791 0 -1 4202560 5078 0 0 0 2156 202 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=322752 CPUtime=25.88
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2356 232 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 415.08
Current children cumulated vsize (KiB) 322752

[startup+135.903 s]
/proc/loadavg: 4.56 4.18 5.77 4/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317892
[pid=3592] ppid=3590 vsize=322752 CPUtime=418.19
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79469 0 0 0 33755 8064 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 80688 77056 68 164 0 80523 0
[pid=3592/tid=3593] ppid=3590 vsize=322752 CPUtime=57.5
/proc/3592/task/3593/stat : 3593 (satake) D 3590 3592 27791 0 -1 4202560 1420 0 0 0 734 5016 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=322752 CPUtime=23.12
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 5441 0 0 0 2124 188 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=322752 CPUtime=24.08
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 5218 0 0 0 2212 196 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=322752 CPUtime=24.86
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 5220 0 0 0 2296 190 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=322752 CPUtime=23.38
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 5236 0 0 0 2124 214 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=322752 CPUtime=24.24
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 5486 0 0 0 2224 200 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=322752 CPUtime=24.08
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 5182 0 0 0 2204 204 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=322752 CPUtime=25.08
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 5112 0 0 0 2322 186 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=322752 CPUtime=23.04
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 4684 0 0 0 2088 216 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=322752 CPUtime=22.74
/proc/3592/task/3604/stat : 3604 (satake) S 3590 3592 27791 0 -1 4202560 4735 0 0 0 2078 196 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=322752 CPUtime=24.74
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 4841 0 0 0 2248 226 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=322752 CPUtime=22.4
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 5342 0 0 0 2084 156 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=322752 CPUtime=24.02
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 5228 0 0 0 2186 216 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=322752 CPUtime=24.98
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2284 214 0 0 20 0 17 0 637344983 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=322752 CPUtime=23.7
/proc/3592/task/3610/stat : 3610 (satake) S 3590 3592 27791 0 -1 4202560 5078 0 0 0 2166 204 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=322752 CPUtime=26.08
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2372 236 0 0 20 0 17 0 637344984 330498048 77056 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 418.19
Current children cumulated vsize (KiB) 322752

[startup+137.512 s]
/proc/loadavg: 4.56 4.18 5.77 3/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317896
[pid=3592] ppid=3590 vsize=322752 CPUtime=421.54
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79470 0 0 0 33986 8168 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 80688 77057 68 164 0 80523 0
[pid=3592/tid=3593] ppid=3590 vsize=322752 CPUtime=58.23
/proc/3592/task/3593/stat : 3593 (satake) D 3590 3592 27791 0 -1 4202560 1421 0 0 0 744 5079 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=322752 CPUtime=23.28
/proc/3592/task/3595/stat : 3595 (satake) S 3590 3592 27791 0 -1 4202560 5441 0 0 0 2138 190 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=322752 CPUtime=24.22
/proc/3592/task/3596/stat : 3596 (satake) S 3590 3592 27791 0 -1 4202560 5218 0 0 0 2224 198 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=322752 CPUtime=24.96
/proc/3592/task/3597/stat : 3597 (satake) S 3590 3592 27791 0 -1 4202560 5220 0 0 0 2306 190 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=322752 CPUtime=23.58
/proc/3592/task/3598/stat : 3598 (satake) S 3590 3592 27791 0 -1 4202560 5236 0 0 0 2140 218 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=322752 CPUtime=24.42
/proc/3592/task/3599/stat : 3599 (satake) S 3590 3592 27791 0 -1 4202560 5486 0 0 0 2238 204 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=322752 CPUtime=24.24
/proc/3592/task/3601/stat : 3601 (satake) S 3590 3592 27791 0 -1 4202560 5182 0 0 0 2220 204 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=322752 CPUtime=25.24
/proc/3592/task/3602/stat : 3602 (satake) S 3590 3592 27791 0 -1 4202560 5112 0 0 0 2336 188 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=322752 CPUtime=23.2
/proc/3592/task/3603/stat : 3603 (satake) S 3590 3592 27791 0 -1 4202560 4684 0 0 0 2102 218 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=322752 CPUtime=22.86
/proc/3592/task/3604/stat : 3604 (satake) S 3590 3592 27791 0 -1 4202560 4735 0 0 0 2088 198 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=322752 CPUtime=24.96
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 4841 0 0 0 2268 228 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=322752 CPUtime=22.58
/proc/3592/task/3606/stat : 3606 (satake) S 3590 3592 27791 0 -1 4202560 5342 0 0 0 2098 160 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=322752 CPUtime=24.22
/proc/3592/task/3607/stat : 3607 (satake) S 3590 3592 27791 0 -1 4202560 5228 0 0 0 2202 220 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=322752 CPUtime=25.2
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2302 218 0 0 20 0 17 0 637344983 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=322752 CPUtime=23.9
/proc/3592/task/3610/stat : 3610 (satake) S 3590 3592 27791 0 -1 4202560 5078 0 0 0 2182 208 0 0 20 0 17 0 637344984 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=322752 CPUtime=26.34
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2392 242 0 0 20 0 17 0 637344984 330498048 77057 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 421.54
Current children cumulated vsize (KiB) 322752

[startup+137.902 s]
/proc/loadavg: 4.56 4.18 5.77 3/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317896
[pid=3592] ppid=3590 vsize=321940 CPUtime=424.26
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79479 0 0 0 34082 8344 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 80485 76941 77 164 0 80320 0
[pid=3592/tid=3593] ppid=3590 vsize=321940 CPUtime=58.42
/proc/3592/task/3593/stat : 3593 (satake) R 3590 3592 27791 0 -1 4202560 1421 0 0 0 746 5096 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3592/tid=3595] ppid=3590 vsize=321940 CPUtime=23.46
/proc/3592/task/3595/stat : 3595 (satake) R 3590 3592 27791 0 -1 4202560 5441 0 0 0 2142 204 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3592/tid=3596] ppid=3590 vsize=321940 CPUtime=24.4
/proc/3592/task/3596/stat : 3596 (satake) R 3590 3592 27791 0 -1 4202560 5218 0 0 0 2230 210 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3592/tid=3597] ppid=3590 vsize=321940 CPUtime=25.16
/proc/3592/task/3597/stat : 3597 (satake) R 3590 3592 27791 0 -1 4202560 5229 0 0 0 2314 202 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3592/tid=3598] ppid=3590 vsize=321940 CPUtime=23.72
/proc/3592/task/3598/stat : 3598 (satake) R 3590 3592 27791 0 -1 4202560 5236 0 0 0 2144 228 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3592/tid=3599] ppid=3590 vsize=321940 CPUtime=24.62
/proc/3592/task/3599/stat : 3599 (satake) R 3590 3592 27791 0 -1 4202560 5486 0 0 0 2244 218 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3592/tid=3601] ppid=3590 vsize=321940 CPUtime=24.36
/proc/3592/task/3601/stat : 3601 (satake) R 3590 3592 27791 0 -1 4202560 5182 0 0 0 2224 212 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3602] ppid=3590 vsize=321940 CPUtime=25.42
/proc/3592/task/3602/stat : 3602 (satake) R 3590 3592 27791 0 -1 4202560 5112 0 0 0 2342 200 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3592/tid=3603] ppid=3590 vsize=321940 CPUtime=23.36
/proc/3592/task/3603/stat : 3603 (satake) R 3590 3592 27791 0 -1 4202560 4684 0 0 0 2108 228 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3592/tid=3604] ppid=3590 vsize=321940 CPUtime=23
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 4735 0 0 0 2094 206 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3605] ppid=3590 vsize=321940 CPUtime=25.16
/proc/3592/task/3605/stat : 3605 (satake) R 3590 3592 27791 0 -1 4202560 4841 0 0 0 2276 240 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3592/tid=3606] ppid=3590 vsize=321940 CPUtime=22.66
/proc/3592/task/3606/stat : 3606 (satake) R 3590 3592 27791 0 -1 4202560 5342 0 0 0 2104 162 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3592/tid=3607] ppid=3590 vsize=321940 CPUtime=24.4
/proc/3592/task/3607/stat : 3607 (satake) R 3590 3592 27791 0 -1 4202560 5228 0 0 0 2208 232 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3592/tid=3609] ppid=3590 vsize=321940 CPUtime=25.38
/proc/3592/task/3609/stat : 3609 (satake) S 3590 3592 27791 0 -1 4202560 5639 0 0 0 2310 228 0 0 20 0 17 0 637344983 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=3592/tid=3610] ppid=3590 vsize=321940 CPUtime=24.12
/proc/3592/task/3610/stat : 3610 (satake) R 3590 3592 27791 0 -1 4202560 5078 0 0 0 2192 220 0 0 20 0 17 0 637344984 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3592/tid=3611] ppid=3590 vsize=321940 CPUtime=26.5
/proc/3592/task/3611/stat : 3611 (satake) S 3590 3592 27791 0 -1 4202560 5482 0 0 0 2398 252 0 0 20 0 17 0 637344984 329666560 76941 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 424.26
Current children cumulated vsize (KiB) 321940

[startup+138.304 s]
/proc/loadavg: 4.56 4.18 5.77 3/201 3618
/proc/meminfo: memFree=18832956/36427776 swapFree=4588/317896
[pid=3592] ppid=3590 vsize=176384 CPUtime=426.43
/proc/3592/stat : 3592 (satake) S 3590 3592 27791 0 -1 4202496 79479 0 0 0 34186 8457 0 0 20 0 2 0 637344983 180617216 42415 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3592/statm: 44096 42415 77 164 0 43931 0
[pid=3592/tid=3604] ppid=3590 vsize=176384 CPUtime=23.16
/proc/3592/task/3604/stat : 3604 (satake) R 3590 3592 27791 0 -1 4202560 4735 0 0 0 2102 214 0 0 20 0 2 0 637344983 180617216 42415 18446744073709551615 134512640 135180984 4292736192 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 426.43
Current children cumulated vsize (KiB) 176384

Child status: 16
Real time (s): 138.352
CPU time (s): 426.503
CPU user time (s): 341.869
CPU system time (s): 84.6333
CPU usage (%): 308.273
Max. virtual memory (cumulated for all children) (KiB): 322752


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 341.869
system time used= 84.6333
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79480
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= 7029020
involuntary context switches= 1049645

runsolver used 0.64404 second user time and 1.6121 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 06:19:46
IDJOB=1779072
IDBENCH=70803
IDSOLVER=631
FILE ID=xenhost3-49/1779072-1244780386
PBS_JOBID=
Free space on /tmp= 7036 MiB

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

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

MD5SUM BENCH= b2d2617ddc348aef0d35df3c8f228dcb
RANDOM SEED= 266118019

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:      19141860 kB
Buffers:        433712 kB
Cached:       14104232 kB
SwapCached:          0 kB
Active:        4078428 kB
Inactive:     10467260 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1344 kB
Writeback:           0 kB
AnonPages:        7076 kB
Mapped:           2988 kB
Slab:           688128 kB
SReclaimable:   661368 kB
SUnreclaim:      26760 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= 7036 MiB
End job on xenhost3-49 at 2009-06-12 06:22:05