Trace number 1779252

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 238.763 33.8586

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-06.cnf
MD5SUM54bbde63bf0c9b14dd4e32426eab0a42
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark55.42
Satisfiable
(Un)Satisfiability was proved
Number of variables68953
Number of clauses224868
Sum of the clauses size582796
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 291550
Number of clauses of size 3133189
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

238.69/33.83	c Benchmark name    : HOME/instance-1779252-1244790140.cnf
238.69/33.83	c Thread Num        :           16
238.69/33.83	c restarts          :            5
238.69/33.83	c conflicts         :         1026
238.69/33.83	c decisions         :         4215           (      130 / sec      )
238.69/33.83	c propagations      :     20699643           (   636632 / sec      )
238.69/33.83	c inspects          :     53585849           (  1648071 / sec      )
238.69/33.83	c conflict literals :        28438           (    74.51 % deleted  )
238.69/33.83	c cpu time          :        32.51           
238.69/33.83	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-1779252-1244790140/watcher-1779252-1244790140 -o /tmp/evaluation-result-1779252-1244790140/solver-1779252-1244790140 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1779252-1244790140.cnf 16 10000 

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


[startup+0 s]
/proc/loadavg: 8.31 8.53 7.97 2/184 4548
/proc/meminfo: memFree=19137516/36427776 swapFree=3676/7584
[pid=4548] ppid=4546 vsize=6612 CPUtime=0
/proc/4548/stat : 4548 (satake) R 4546 4548 27791 0 -1 4202496 341 0 0 0 0 0 0 0 20 0 14 0 638320418 6770688 294 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 1653 294 62 164 0 1488 0
[pid=4548/tid=4549] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4549/stat : 4549 (satake) S 4546 4548 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 376 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4550/stat : 4550 (satake) R 4546 4548 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 376 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4551/stat : 4551 (satake) R 4546 4548 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 381 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4552/stat : 4552 (satake) S 4546 4548 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 382 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4553/stat : 4553 (satake) R 4546 4548 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 383 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 384 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4555/stat : 4555 (satake) D 4546 4548 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 384 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4556/stat : 4556 (satake) R 4546 4548 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 384 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4557/stat : 4557 (satake) S 4546 4548 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 385 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4558/stat : 4558 (satake) D 4546 4548 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 385 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4559/stat : 4559 (satake) D 4546 4548 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 386 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4560/stat : 4560 (satake) D 4546 4548 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 638320418 8503296 388 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 638320419 8503296 392 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4562/stat : 4562 (satake) R 4546 4548 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638320419 8503296 394 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4563/stat : 4563 (satake) D 4546 4548 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 638320419 8503296 394 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=8304 CPUtime=0
/proc/4548/task/4564/stat : 4564 (satake) R 4546 4548 27791 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 17 0 638320419 8503296 394 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.081319 s]
/proc/loadavg: 8.31 8.53 7.97 2/184 4548
/proc/meminfo: memFree=19137516/36427776 swapFree=3676/7584
[pid=4548] ppid=4546 vsize=45592 CPUtime=0.52
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 6737 0 0 0 0 52 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 11398 6689 63 164 0 11233 0
[pid=4548/tid=4549] ppid=4546 vsize=45592 CPUtime=0
/proc/4548/task/4549/stat : 4549 (satake) S 4546 4548 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=45592 CPUtime=0.04
/proc/4548/task/4550/stat : 4550 (satake) D 4546 4548 27791 0 -1 4202560 685 0 0 0 0 4 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=45592 CPUtime=0.04
/proc/4548/task/4551/stat : 4551 (satake) D 4546 4548 27791 0 -1 4202560 718 0 0 0 0 4 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=45592 CPUtime=0
/proc/4548/task/4552/stat : 4552 (satake) D 4546 4548 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=45592 CPUtime=0.04
/proc/4548/task/4553/stat : 4553 (satake) D 4546 4548 27791 0 -1 4202560 557 0 0 0 0 4 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=45592 CPUtime=0.04
/proc/4548/task/4554/stat : 4554 (satake) D 4546 4548 27791 0 -1 4202560 559 0 0 0 0 4 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=45592 CPUtime=0.04
/proc/4548/task/4555/stat : 4555 (satake) D 4546 4548 27791 0 -1 4202560 476 0 0 0 0 4 0 0 20 0 17 0 638320418 46686208 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=47640 CPUtime=0
/proc/4548/task/4556/stat : 4556 (satake) D 4546 4548 27791 0 -1 4202560 94 0 0 0 0 0 0 0 20 0 17 0 638320418 48783360 6689 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=47640 CPUtime=0.04
/proc/4548/task/4557/stat : 4557 (satake) D 4546 4548 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 638320418 48783360 6981 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=47640 CPUtime=0.04
/proc/4548/task/4558/stat : 4558 (satake) D 4546 4548 27791 0 -1 4202560 613 0 0 0 0 4 0 0 20 0 17 0 638320418 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=47640 CPUtime=0.04
/proc/4548/task/4559/stat : 4559 (satake) D 4546 4548 27791 0 -1 4202560 571 0 0 0 0 4 0 0 20 0 17 0 638320418 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=47640 CPUtime=0.02
/proc/4548/task/4560/stat : 4560 (satake) D 4546 4548 27791 0 -1 4202560 329 0 0 0 0 2 0 0 20 0 17 0 638320418 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=47640 CPUtime=0.04
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 531 0 0 0 0 4 0 0 20 0 17 0 638320419 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=47640 CPUtime=0.04
/proc/4548/task/4562/stat : 4562 (satake) D 4546 4548 27791 0 -1 4202560 562 0 0 0 0 4 0 0 20 0 17 0 638320419 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=47640 CPUtime=0
/proc/4548/task/4563/stat : 4563 (satake) D 4546 4548 27791 0 -1 4202560 82 0 0 0 0 0 0 0 20 0 17 0 638320419 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=47640 CPUtime=0.02
/proc/4548/task/4564/stat : 4564 (satake) D 4546 4548 27791 0 -1 4202560 369 0 0 0 0 2 0 0 20 0 17 0 638320419 48783360 6982 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 45592

[startup+0.10966 s]
/proc/loadavg: 8.31 8.53 7.97 2/184 4548
/proc/meminfo: memFree=19137516/36427776 swapFree=3676/7584
[pid=4548] ppid=4546 vsize=58096 CPUtime=0.77
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 10986 0 0 0 0 77 0 0 20 0 17 0 638320418 59490304 10938 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 14524 10942 63 164 0 14359 0
[pid=4548/tid=4549] ppid=4546 vsize=58096 CPUtime=0
/proc/4548/task/4549/stat : 4549 (satake) S 4546 4548 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638320418 59490304 10942 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4550/stat : 4550 (satake) R 4546 4548 27791 0 -1 4202560 1001 0 0 0 0 6 0 0 20 0 17 0 638320418 59490304 10942 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4551/stat : 4551 (satake) R 4546 4548 27791 0 -1 4202560 1049 0 0 0 0 6 0 0 20 0 17 0 638320418 59490304 10943 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522408 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=58096 CPUtime=0
/proc/4548/task/4552/stat : 4552 (satake) R 4546 4548 27791 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 638320418 59490304 10946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=58096 CPUtime=0.08
/proc/4548/task/4553/stat : 4553 (satake) R 4546 4548 27791 0 -1 4202560 874 0 0 0 0 8 0 0 20 0 17 0 638320418 59490304 10948 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=58096 CPUtime=0.04
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 616 0 0 0 0 4 0 0 20 0 17 0 638320418 59490304 10950 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4555/stat : 4555 (satake) R 4546 4548 27791 0 -1 4202560 782 0 0 0 0 6 0 0 20 0 17 0 638320418 59490304 10953 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=58096 CPUtime=0
/proc/4548/task/4556/stat : 4556 (satake) R 4546 4548 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 638320418 59490304 10953 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4557/stat : 4557 (satake) R 4546 4548 27791 0 -1 4202560 902 0 0 0 0 6 0 0 20 0 17 0 638320418 59490304 10973 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 1002 0 0 0 0 6 0 0 20 0 17 0 638320418 59490304 10996 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4559/stat : 4559 (satake) R 4546 4548 27791 0 -1 4202560 1028 0 0 0 0 6 0 0 20 0 17 0 638320418 59490304 11018 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=58096 CPUtime=0.04
/proc/4548/task/4560/stat : 4560 (satake) R 4546 4548 27791 0 -1 4202560 695 0 0 0 0 4 0 0 20 0 17 0 638320418 59490304 11036 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 887 0 0 0 0 6 0 0 20 0 17 0 638320419 59490304 11057 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=58096 CPUtime=0.06
/proc/4548/task/4562/stat : 4562 (satake) R 4546 4548 27791 0 -1 4202560 935 0 0 0 0 6 0 0 20 0 17 0 638320419 59490304 11078 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=58096 CPUtime=0.02
/proc/4548/task/4563/stat : 4563 (satake) D 4546 4548 27791 0 -1 4202560 473 0 0 0 0 2 0 0 20 0 17 0 638320419 59490304 11105 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=58096 CPUtime=0.02
/proc/4548/task/4564/stat : 4564 (satake) D 4546 4548 27791 0 -1 4202560 394 0 0 0 0 2 0 0 20 0 17 0 638320419 59490304 11106 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 58096

[startup+0.304437 s]
/proc/loadavg: 8.31 8.53 7.97 2/184 4548
/proc/meminfo: memFree=19137516/36427776 swapFree=3676/7584
[pid=4548] ppid=4546 vsize=152096 CPUtime=2.08
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 17029 0 0 0 0 208 0 0 20 0 17 0 638320418 155746304 16937 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 38024 16939 63 164 0 37859 0
[pid=4548/tid=4549] ppid=4546 vsize=152096 CPUtime=0
/proc/4548/task/4549/stat : 4549 (satake) S 4546 4548 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638320418 155746304 16943 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=152096 CPUtime=0.12
/proc/4548/task/4550/stat : 4550 (satake) R 4546 4548 27791 0 -1 4202560 1270 0 0 0 0 12 0 0 20 0 17 0 638320418 155746304 16945 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=152096 CPUtime=0.18
/proc/4548/task/4551/stat : 4551 (satake) R 4546 4548 27791 0 -1 4202560 1463 0 0 0 0 18 0 0 20 0 17 0 638320418 155746304 16946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=152096 CPUtime=0.08
/proc/4548/task/4552/stat : 4552 (satake) R 4546 4548 27791 0 -1 4202560 596 0 0 0 0 8 0 0 20 0 17 0 638320418 155746304 16946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=152096 CPUtime=0.18
/proc/4548/task/4553/stat : 4553 (satake) R 4546 4548 27791 0 -1 4202560 1305 0 0 0 0 18 0 0 20 0 17 0 638320418 155746304 16946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=152096 CPUtime=0.12
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 1031 0 0 0 0 12 0 0 20 0 17 0 638320418 155746304 16946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=152096 CPUtime=0.14
/proc/4548/task/4555/stat : 4555 (satake) R 4546 4548 27791 0 -1 4202560 1148 0 0 0 0 14 0 0 20 0 17 0 638320418 155746304 16946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=152096 CPUtime=0.06
/proc/4548/task/4556/stat : 4556 (satake) R 4546 4548 27791 0 -1 4202560 533 0 0 0 0 6 0 0 20 0 17 0 638320418 155746304 16946 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=152096 CPUtime=0.18
/proc/4548/task/4557/stat : 4557 (satake) R 4546 4548 27791 0 -1 4202560 1358 0 0 0 0 18 0 0 20 0 17 0 638320418 155746304 16947 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=152096 CPUtime=0.18
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 1445 0 0 0 0 18 0 0 20 0 17 0 638320418 155746304 16948 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=152096 CPUtime=0.18
/proc/4548/task/4559/stat : 4559 (satake) R 4546 4548 27791 0 -1 4202560 1437 0 0 0 0 18 0 0 20 0 17 0 638320418 155746304 16950 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=152096 CPUtime=0.1
/proc/4548/task/4560/stat : 4560 (satake) R 4546 4548 27791 0 -1 4202560 1057 0 0 0 0 10 0 0 20 0 17 0 638320418 155746304 16952 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=152096 CPUtime=0.16
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 1276 0 0 0 0 16 0 0 20 0 17 0 638320419 155746304 16953 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=152096 CPUtime=0.18
/proc/4548/task/4562/stat : 4562 (satake) R 4546 4548 27791 0 -1 4202560 1346 0 0 0 0 18 0 0 20 0 17 0 638320419 155746304 16955 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=152096 CPUtime=0.08
/proc/4548/task/4563/stat : 4563 (satake) R 4546 4548 27791 0 -1 4202560 845 0 0 0 0 8 0 0 20 0 17 0 638320419 155746304 16957 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=152096 CPUtime=0.1
/proc/4548/task/4564/stat : 4564 (satake) D 4546 4548 27791 0 -1 4202560 802 0 0 0 0 10 0 0 20 0 17 0 638320419 155746304 16960 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 152096

[startup+0.703588 s]
/proc/loadavg: 8.31 8.53 7.97 2/184 4548
/proc/meminfo: memFree=19137516/36427776 swapFree=3676/7584
[pid=4548] ppid=4546 vsize=228296 CPUtime=4.12
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 26728 0 0 0 0 412 0 0 20 0 17 0 638320418 233775104 26636 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 57074 26640 63 164 0 56909 0
[pid=4548/tid=4549] ppid=4546 vsize=228296 CPUtime=0
/proc/4548/task/4549/stat : 4549 (satake) S 4546 4548 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 638320418 233775104 26642 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=228296 CPUtime=0.22
/proc/4548/task/4550/stat : 4550 (satake) D 4546 4548 27791 0 -1 4202560 1869 0 0 0 0 22 0 0 20 0 17 0 638320418 233775104 26642 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=228296 CPUtime=0.34
/proc/4548/task/4551/stat : 4551 (satake) D 4546 4548 27791 0 -1 4202560 2115 0 0 0 0 34 0 0 20 0 17 0 638320418 233775104 26643 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=228296 CPUtime=0.2
/proc/4548/task/4552/stat : 4552 (satake) D 4546 4548 27791 0 -1 4202560 1305 0 0 0 0 20 0 0 20 0 17 0 638320418 233775104 26643 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=228296 CPUtime=0.34
/proc/4548/task/4553/stat : 4553 (satake) R 4546 4548 27791 0 -1 4202560 1962 0 0 0 0 34 0 0 20 0 17 0 638320418 233775104 26646 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=228296 CPUtime=0.22
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 1633 0 0 0 0 22 0 0 20 0 17 0 638320418 233775104 26649 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=228296 CPUtime=0.22
/proc/4548/task/4555/stat : 4555 (satake) D 4546 4548 27791 0 -1 4202560 1696 0 0 0 0 22 0 0 20 0 17 0 638320418 233775104 26649 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134522312 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=228296 CPUtime=0.2
/proc/4548/task/4556/stat : 4556 (satake) D 4546 4548 27791 0 -1 4202560 1257 0 0 0 0 20 0 0 20 0 17 0 638320418 233775104 26649 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=228296 CPUtime=0.36
/proc/4548/task/4557/stat : 4557 (satake) D 4546 4548 27791 0 -1 4202560 2060 0 0 0 0 36 0 0 20 0 17 0 638320418 233775104 26649 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=228296 CPUtime=0.36

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

/proc/4548/task/4559/stat : 4559 (satake) R 4546 4548 27791 0 -1 4202560 4988 0 0 0 1154 80 0 0 20 0 17 0 638320418 336560128 61136 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134528869 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=328672 CPUtime=12.58
/proc/4548/task/4560/stat : 4560 (satake) R 4546 4548 27791 0 -1 4202560 5059 0 0 0 1212 46 0 0 20 0 17 0 638320418 336560128 61136 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134520871 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=328672 CPUtime=13.52
/proc/4548/task/4561/stat : 4561 (satake) S 4546 4548 27791 0 -1 4202560 4963 0 0 0 1274 78 0 0 20 0 17 0 638320419 336560128 61136 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=328672 CPUtime=12.3
/proc/4548/task/4562/stat : 4562 (satake) S 4546 4548 27791 0 -1 4202560 5015 0 0 0 1142 88 0 0 20 0 17 0 638320419 336560128 61136 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=328672 CPUtime=11.56
/proc/4548/task/4563/stat : 4563 (satake) S 4546 4548 27791 0 -1 4202560 5016 0 0 0 1096 60 0 0 20 0 17 0 638320419 336560128 61136 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=328672 CPUtime=12.44
/proc/4548/task/4564/stat : 4564 (satake) D 4546 4548 27791 0 -1 4202560 5030 0 0 0 1182 62 0 0 20 0 17 0 638320419 336560128 61136 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 189.22
Current children cumulated vsize (KiB) 328672

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

[startup+28.7042 s]
/proc/loadavg: 9.32 8.76 8.06 9/201 4565
/proc/meminfo: memFree=18892600/36427776 swapFree=4588/254900
[pid=4548] ppid=4546 vsize=328804 CPUtime=210.19
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 76686 0 0 0 18969 2050 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 82201 61305 68 164 0 82036 0
[pid=4548/tid=4549] ppid=4546 vsize=328804 CPUtime=10.54
/proc/4548/task/4549/stat : 4549 (satake) R 4546 4548 27791 0 -1 4202560 1286 0 0 0 94 960 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=328804 CPUtime=12.74
/proc/4548/task/4550/stat : 4550 (satake) S 4546 4548 27791 0 -1 4202560 5000 0 0 0 1210 64 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=328804 CPUtime=13.18
/proc/4548/task/4551/stat : 4551 (satake) R 4546 4548 27791 0 -1 4202560 4992 0 0 0 1242 76 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134518246 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=328804 CPUtime=12.08
/proc/4548/task/4552/stat : 4552 (satake) S 4546 4548 27791 0 -1 4202560 4970 0 0 0 1146 62 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=328804 CPUtime=14.32
/proc/4548/task/4553/stat : 4553 (satake) R 4546 4548 27791 0 -1 4202560 5079 0 0 0 1356 76 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134528211 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=328804 CPUtime=11.84
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 5082 0 0 0 1122 62 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=328804 CPUtime=12.4
/proc/4548/task/4555/stat : 4555 (satake) S 4546 4548 27791 0 -1 4202560 4969 0 0 0 1180 60 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=328804 CPUtime=11.3
/proc/4548/task/4556/stat : 4556 (satake) R 4546 4548 27791 0 -1 4202560 5044 0 0 0 1054 76 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134526206 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=328804 CPUtime=12.44
/proc/4548/task/4557/stat : 4557 (satake) R 4546 4548 27791 0 -1 4202560 4995 0 0 0 1166 78 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=328804 CPUtime=15.36
/proc/4548/task/4558/stat : 4558 (satake) S 4546 4548 27791 0 -1 4202560 5008 0 0 0 1456 80 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=328804 CPUtime=12.86
/proc/4548/task/4559/stat : 4559 (satake) R 4546 4548 27791 0 -1 4202560 4992 0 0 0 1202 84 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134518208 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=328804 CPUtime=13.96
/proc/4548/task/4560/stat : 4560 (satake) S 4546 4548 27791 0 -1 4202560 5065 0 0 0 1350 46 0 0 20 0 17 0 638320418 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=328804 CPUtime=14.8
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 4969 0 0 0 1392 88 0 0 20 0 17 0 638320419 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134528552 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=328804 CPUtime=14.02
/proc/4548/task/4562/stat : 4562 (satake) R 4546 4548 27791 0 -1 4202560 5030 0 0 0 1308 94 0 0 20 0 17 0 638320419 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134526315 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=328804 CPUtime=13.66
/proc/4548/task/4563/stat : 4563 (satake) S 4546 4548 27791 0 -1 4202560 5037 0 0 0 1300 66 0 0 20 0 17 0 638320419 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=328804 CPUtime=14.56
/proc/4548/task/4564/stat : 4564 (satake) S 4546 4548 27791 0 -1 4202560 5044 0 0 0 1384 72 0 0 20 0 17 0 638320419 336695296 61305 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 210.19
Current children cumulated vsize (KiB) 328804

[startup+31.9155 s]
/proc/loadavg: 9.13 8.73 8.05 8/201 4565
/proc/meminfo: memFree=18892228/36427776 swapFree=4588/254888
[pid=4548] ppid=4546 vsize=328804 CPUtime=232.8
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 76724 0 0 0 21054 2226 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 82201 61343 68 164 0 82036 0
[pid=4548/tid=4549] ppid=4546 vsize=328804 CPUtime=12.08
/proc/4548/task/4549/stat : 4549 (satake) R 4546 4548 27791 0 -1 4202560 1290 0 0 0 102 1106 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4550] ppid=4546 vsize=328804 CPUtime=14.72
/proc/4548/task/4550/stat : 4550 (satake) S 4546 4548 27791 0 -1 4202560 5003 0 0 0 1408 64 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=328804 CPUtime=14.64
/proc/4548/task/4551/stat : 4551 (satake) R 4546 4548 27791 0 -1 4202560 4992 0 0 0 1388 76 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134526964 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=328804 CPUtime=13.78
/proc/4548/task/4552/stat : 4552 (satake) R 4546 4548 27791 0 -1 4202560 4971 0 0 0 1314 64 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134528881 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=328804 CPUtime=14.88
/proc/4548/task/4553/stat : 4553 (satake) S 4546 4548 27791 0 -1 4202560 5084 0 0 0 1412 76 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=328804 CPUtime=13.12
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 5082 0 0 0 1250 62 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=328804 CPUtime=14.02
/proc/4548/task/4555/stat : 4555 (satake) S 4546 4548 27791 0 -1 4202560 4969 0 0 0 1326 76 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=328804 CPUtime=12.6
/proc/4548/task/4556/stat : 4556 (satake) S 4546 4548 27791 0 -1 4202560 5047 0 0 0 1184 76 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=328804 CPUtime=14.52
/proc/4548/task/4557/stat : 4557 (satake) S 4546 4548 27791 0 -1 4202560 4997 0 0 0 1374 78 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=328804 CPUtime=16.22
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 5011 0 0 0 1542 80 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134532622 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=328804 CPUtime=14.6
/proc/4548/task/4559/stat : 4559 (satake) S 4546 4548 27791 0 -1 4202560 4997 0 0 0 1368 92 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=328804 CPUtime=15.78
/proc/4548/task/4560/stat : 4560 (satake) S 4546 4548 27791 0 -1 4202560 5074 0 0 0 1532 46 0 0 20 0 17 0 638320418 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=328804 CPUtime=15.74
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 4969 0 0 0 1486 88 0 0 20 0 17 0 638320419 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=328804 CPUtime=14.78
/proc/4548/task/4562/stat : 4562 (satake) S 4546 4548 27791 0 -1 4202560 5031 0 0 0 1384 94 0 0 20 0 17 0 638320419 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=328804 CPUtime=15.02
/proc/4548/task/4563/stat : 4563 (satake) S 4546 4548 27791 0 -1 4202560 5037 0 0 0 1436 66 0 0 20 0 17 0 638320419 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=328804 CPUtime=16.18
/proc/4548/task/4564/stat : 4564 (satake) S 4546 4548 27791 0 -1 4202560 5046 0 0 0 1544 74 0 0 20 0 17 0 638320419 336695296 61343 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 232.8
Current children cumulated vsize (KiB) 328804

[startup+32.7019 s]
/proc/loadavg: 9.13 8.73 8.05 8/201 4565
/proc/meminfo: memFree=18892228/36427776 swapFree=4588/254888
[pid=4548] ppid=4546 vsize=309796 CPUtime=236.92
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 76736 0 0 0 21364 2328 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 77449 57873 77 164 0 77284 0
[pid=4548/tid=4550] ppid=4546 vsize=309796 CPUtime=14.86
/proc/4548/task/4550/stat : 4550 (satake) R 4546 4548 27791 0 -1 4202560 5003 0 0 0 1414 72 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=4548/tid=4551] ppid=4546 vsize=309796 CPUtime=14.96
/proc/4548/task/4551/stat : 4551 (satake) R 4546 4548 27791 0 -1 4202560 4992 0 0 0 1420 76 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=4548/tid=4552] ppid=4546 vsize=309796 CPUtime=14.26
/proc/4548/task/4552/stat : 4552 (satake) R 4546 4548 27791 0 -1 4202560 4971 0 0 0 1356 70 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=4548/tid=4553] ppid=4546 vsize=309796 CPUtime=14.98
/proc/4548/task/4553/stat : 4553 (satake) R 4546 4548 27791 0 -1 4202560 5093 0 0 0 1418 80 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=4548/tid=4554] ppid=4546 vsize=309796 CPUtime=13.56
/proc/4548/task/4554/stat : 4554 (satake) R 4546 4548 27791 0 -1 4202560 5082 0 0 0 1290 66 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=4548/tid=4555] ppid=4546 vsize=309796 CPUtime=14.2
/proc/4548/task/4555/stat : 4555 (satake) R 4546 4548 27791 0 -1 4202560 4971 0 0 0 1338 82 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4548/tid=4556] ppid=4546 vsize=309796 CPUtime=12.98
/proc/4548/task/4556/stat : 4556 (satake) R 4546 4548 27791 0 -1 4202560 5048 0 0 0 1218 80 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=4548/tid=4557] ppid=4546 vsize=309796 CPUtime=14.74
/proc/4548/task/4557/stat : 4557 (satake) R 4546 4548 27791 0 -1 4202560 4997 0 0 0 1392 82 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=4548/tid=4558] ppid=4546 vsize=309796 CPUtime=16.9
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 5011 0 0 0 1610 80 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=4548/tid=4559] ppid=4546 vsize=309796 CPUtime=14.78
/proc/4548/task/4559/stat : 4559 (satake) R 4546 4548 27791 0 -1 4202560 4997 0 0 0 1382 96 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=4548/tid=4560] ppid=4546 vsize=309796 CPUtime=15.92
/proc/4548/task/4560/stat : 4560 (satake) R 4546 4548 27791 0 -1 4202560 5074 0 0 0 1538 54 0 0 20 0 16 0 638320418 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=4548/tid=4561] ppid=4546 vsize=309796 CPUtime=15.9
/proc/4548/task/4561/stat : 4561 (satake) R 4546 4548 27791 0 -1 4202560 4969 0 0 0 1498 92 0 0 20 0 16 0 638320419 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=4548/tid=4562] ppid=4546 vsize=309796 CPUtime=14.92
/proc/4548/task/4562/stat : 4562 (satake) R 4546 4548 27791 0 -1 4202560 5031 0 0 0 1390 102 0 0 20 0 16 0 638320419 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=4548/tid=4563] ppid=4546 vsize=309796 CPUtime=15.14
/proc/4548/task/4563/stat : 4563 (satake) R 4546 4548 27791 0 -1 4202560 5037 0 0 0 1440 74 0 0 20 0 16 0 638320419 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=4548/tid=4564] ppid=4546 vsize=309796 CPUtime=16.3
/proc/4548/task/4564/stat : 4564 (satake) R 4546 4548 27791 0 -1 4202560 5046 0 0 0 1548 82 0 0 20 0 16 0 638320419 317231104 57873 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134702225 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 236.92
Current children cumulated vsize (KiB) 309796

[startup+33.5032 s]
/proc/loadavg: 9.13 8.73 8.05 2/186 4565
/proc/meminfo: memFree=18966872/36427776 swapFree=4588/171768
[pid=4548] ppid=4546 vsize=183188 CPUtime=238.39
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 76736 0 0 0 21490 2349 0 0 20 0 2 0 638320418 187584512 40790 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 45797 40790 77 164 0 45632 0
[pid=4548/tid=4558] ppid=4546 vsize=183188 CPUtime=17.7
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 5011 0 0 0 1690 80 0 0 20 0 2 0 638320418 187584512 40790 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134666377 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 238.39
Current children cumulated vsize (KiB) 183188

[startup+33.7032 s]
/proc/loadavg: 9.13 8.73 8.05 2/186 4565
/proc/meminfo: memFree=18966872/36427776 swapFree=4588/171768
[pid=4548] ppid=4546 vsize=183188 CPUtime=238.59
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 76736 0 0 0 21510 2349 0 0 20 0 2 0 638320418 187584512 40790 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 45797 40790 77 164 0 45632 0
[pid=4548/tid=4558] ppid=4546 vsize=183188 CPUtime=17.9
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 5011 0 0 0 1710 80 0 0 20 0 2 0 638320418 187584512 40790 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134526368 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 238.59
Current children cumulated vsize (KiB) 183188

[startup+33.8033 s]
/proc/loadavg: 9.13 8.73 8.05 2/186 4565
/proc/meminfo: memFree=18966872/36427776 swapFree=4588/171768
[pid=4548] ppid=4546 vsize=183188 CPUtime=238.69
/proc/4548/stat : 4548 (satake) S 4546 4548 27791 0 -1 4202496 76736 0 0 0 21520 2349 0 0 20 0 2 0 638320418 187584512 40790 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/4548/statm: 45797 40790 77 164 0 45632 0
[pid=4548/tid=4558] ppid=4546 vsize=183188 CPUtime=18
/proc/4548/task/4558/stat : 4558 (satake) R 4546 4548 27791 0 -1 4202560 5011 0 0 0 1720 80 0 0 20 0 2 0 638320418 187584512 40790 18446744073709551615 134512640 135180984 4288684272 18446744073709551615 134523005 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 238.69
Current children cumulated vsize (KiB) 183188

Child status: 16
Real time (s): 33.8586
CPU time (s): 238.763
CPU user time (s): 215.237
CPU system time (s): 23.5255
CPU usage (%): 705.176
Max. virtual memory (cumulated for all children) (KiB): 338924


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 215.237
system time used= 23.5255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76737
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= 1678127
involuntary context switches= 691651

runsolver used 0.128008 second user time and 0.440027 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 09:02:20
IDJOB=1779252
IDBENCH=70825
IDSOLVER=631
FILE ID=xenhost3-49/1779252-1244790140
PBS_JOBID=
Free space on /tmp= 7033 MiB

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

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

MD5SUM BENCH= 54bbde63bf0c9b14dd4e32426eab0a42
RANDOM SEED= 200269696

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:      19137516 kB
Buffers:        433772 kB
Cached:       14108140 kB
SwapCached:          0 kB
Active:        4078632 kB
Inactive:     10470840 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4696 kB
Writeback:           0 kB
AnonPages:        7584 kB
Mapped:           3676 kB
Slab:           688232 kB
SReclaimable:   661444 kB
SUnreclaim:      26788 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7033 MiB
End job on xenhost3-49 at 2009-06-12 09:02:54