Trace number 1780197

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 2157.57 767.138

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_L80_coli.sat.cnf
MD5SUMeb71c8cb3482ee70f1c98af8944179ca
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark268.18
Satisfiable
(Un)Satisfiability was proved
Number of variables250567
Number of clauses1183233
Sum of the clauses size3415429
Maximum clause length11
Minimum clause length1
Number of clauses of size 126677
Number of clauses of size 2325257
Number of clauses of size 3631008
Number of clauses of size 4157675
Number of clauses of size 542377
Number of clauses of size over 5239

Solver Data 

2157.43/767.05	c Benchmark name    : HOME/instance-1780197-1244819299.cnf
2157.43/767.05	c Thread Num        :           16
2157.43/767.05	c restarts          :           14
2157.43/767.05	c conflicts         :        43181
2157.43/767.05	c decisions         :        74857           (       98 / sec      )
2157.43/767.05	c propagations      :     96752972           (   126620 / sec      )
2157.43/767.05	c inspects          :    429564383           (   562168 / sec      )
2157.43/767.05	c conflict literals :      1449400           (    43.54 % deleted  )
2157.43/767.05	c cpu time          :       764.12           
2157.43/767.05	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-1780197-1244819299/watcher-1780197-1244819299 -o /tmp/evaluation-result-1780197-1244819299/solver-1780197-1244819299 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780197-1244819299.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: 9.61 7.40 5.37 2/184 8654
/proc/meminfo: memFree=19107924/36427776 swapFree=4596/7636
[pid=8654] ppid=8652 vsize=8320 CPUtime=0
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 17 0 641236342 8519680 383 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 2080 384 63 164 0 1915 0
[pid=8654/tid=8655] ppid=8652 vsize=8460 CPUtime=0
/proc/8654/task/8655/stat : 8655 (satake) S 8652 8654 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641236342 8663040 435 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=8460 CPUtime=0
/proc/8654/task/8656/stat : 8656 (satake) D 8652 8654 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 17 0 641236342 8663040 436 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=8460 CPUtime=0
/proc/8654/task/8657/stat : 8657 (satake) D 8652 8654 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 641236342 8663040 436 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8658/stat : 8658 (satake) S 8652 8654 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641236342 8794112 436 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8659/stat : 8659 (satake) R 8652 8654 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 441 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8660/stat : 8660 (satake) R 8652 8654 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 442 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8661/stat : 8661 (satake) R 8652 8654 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 444 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8662/stat : 8662 (satake) R 8652 8654 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 444 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8663/stat : 8663 (satake) S 8652 8654 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 444 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8664/stat : 8664 (satake) S 8652 8654 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 455 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8665/stat : 8665 (satake) R 8652 8654 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 482 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8666/stat : 8666 (satake) S 8652 8654 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8667/stat : 8667 (satake) R 8652 8654 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 504 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8668/stat : 8668 (satake) R 8652 8654 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 513 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8669/stat : 8669 (satake) D 8652 8654 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 514 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=8588 CPUtime=0
/proc/8654/task/8670/stat : 8670 (satake) S 8652 8654 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 641236343 8794112 514 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0

[startup+0.025833 s]
/proc/loadavg: 9.61 7.40 5.37 2/184 8654
/proc/meminfo: memFree=19107924/36427776 swapFree=4596/7636
[pid=8654] ppid=8652 vsize=12968 CPUtime=0.06
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 1384 0 0 0 3 3 0 0 20 0 17 0 641236342 13279232 1338 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 3242 1339 63 164 0 3077 0
[pid=8654/tid=8655] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8655/stat : 8655 (satake) S 8652 8654 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641236342 13279232 1340 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8656/stat : 8656 (satake) R 8652 8654 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 641236342 13279232 1340 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8657/stat : 8657 (satake) R 8652 8654 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 641236342 13279232 1340 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8658/stat : 8658 (satake) R 8652 8654 27791 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 17 0 641236342 13279232 1343 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8659/stat : 8659 (satake) R 8652 8654 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1346 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8660/stat : 8660 (satake) R 8652 8654 27791 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1346 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8661/stat : 8661 (satake) R 8652 8654 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1347 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8662/stat : 8662 (satake) R 8652 8654 27791 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1348 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8663/stat : 8663 (satake) R 8652 8654 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1348 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8664/stat : 8664 (satake) R 8652 8654 27791 0 -1 4202560 103 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1348 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8665/stat : 8665 (satake) R 8652 8654 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1348 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8666/stat : 8666 (satake) R 8652 8654 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1349 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8667/stat : 8667 (satake) R 8652 8654 27791 0 -1 4202560 97 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1349 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8668/stat : 8668 (satake) R 8652 8654 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1350 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8669/stat : 8669 (satake) R 8652 8654 27791 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1350 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=12968 CPUtime=0
/proc/8654/task/8670/stat : 8670 (satake) R 8652 8654 27791 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 17 0 641236343 13279232 1352 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12968

[startup+0.107263 s]
/proc/loadavg: 9.61 7.40 5.37 2/184 8654
/proc/meminfo: memFree=19107924/36427776 swapFree=4596/7636
[pid=8654] ppid=8652 vsize=86312 CPUtime=0.75
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 13265 0 0 0 4 71 0 0 20 0 17 0 641236342 88383488 13222 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 21578 13225 63 164 0 21413 0
[pid=8654/tid=8655] ppid=8652 vsize=86312 CPUtime=0
/proc/8654/task/8655/stat : 8655 (satake) S 8652 8654 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641236342 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=86312 CPUtime=0.02
/proc/8654/task/8656/stat : 8656 (satake) D 8652 8654 27791 0 -1 4202560 588 0 0 0 0 2 0 0 20 0 17 0 641236342 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=86312 CPUtime=0.04
/proc/8654/task/8657/stat : 8657 (satake) D 8652 8654 27791 0 -1 4202560 611 0 0 0 0 4 0 0 20 0 17 0 641236342 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=86312 CPUtime=0.04
/proc/8654/task/8658/stat : 8658 (satake) D 8652 8654 27791 0 -1 4202560 665 0 0 0 0 4 0 0 20 0 17 0 641236342 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8659/stat : 8659 (satake) D 8652 8654 27791 0 -1 4202560 1155 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8660/stat : 8660 (satake) D 8652 8654 27791 0 -1 4202560 1264 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=86312 CPUtime=0.02
/proc/8654/task/8661/stat : 8661 (satake) D 8652 8654 27791 0 -1 4202560 438 0 0 0 0 2 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=86312 CPUtime=0.04
/proc/8654/task/8662/stat : 8662 (satake) R 8652 8654 27791 0 -1 4202560 1042 0 0 0 0 4 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=86312 CPUtime=0.02
/proc/8654/task/8663/stat : 8663 (satake) D 8652 8654 27791 0 -1 4202560 434 0 0 0 0 2 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8664/stat : 8664 (satake) D 8652 8654 27791 0 -1 4202560 1120 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=86312 CPUtime=0.04
/proc/8654/task/8665/stat : 8665 (satake) R 8652 8654 27791 0 -1 4202560 1062 0 0 0 0 4 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8666/stat : 8666 (satake) D 8652 8654 27791 0 -1 4202560 1015 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8667/stat : 8667 (satake) D 8652 8654 27791 0 -1 4202560 868 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=86312 CPUtime=0
/proc/8654/task/8668/stat : 8668 (satake) D 8652 8654 27791 0 -1 4202560 193 0 0 0 0 0 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8669/stat : 8669 (satake) D 8652 8654 27791 0 -1 4202560 1397 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=86312 CPUtime=0.06
/proc/8654/task/8670/stat : 8670 (satake) D 8652 8654 27791 0 -1 4202560 1288 0 0 0 0 6 0 0 20 0 17 0 641236343 88383488 13225 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 86312

[startup+0.307068 s]
/proc/loadavg: 9.61 7.40 5.37 2/184 8654
/proc/meminfo: memFree=19107924/36427776 swapFree=4596/7636
[pid=8654] ppid=8652 vsize=342068 CPUtime=2.49
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 53353 0 0 0 4 245 0 0 20 0 17 0 641236342 350277632 53311 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 85517 53363 63 164 0 85352 0
[pid=8654/tid=8655] ppid=8652 vsize=342068 CPUtime=0
/proc/8654/task/8655/stat : 8655 (satake) S 8652 8654 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641236342 350277632 53396 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=342068 CPUtime=0.1
/proc/8654/task/8656/stat : 8656 (satake) R 8652 8654 27791 0 -1 4202560 2446 0 0 0 0 10 0 0 20 0 17 0 641236342 350277632 53426 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=342068 CPUtime=0.12
/proc/8654/task/8657/stat : 8657 (satake) R 8652 8654 27791 0 -1 4202560 2477 0 0 0 0 12 0 0 20 0 17 0 641236342 350277632 53454 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=342068 CPUtime=0.12
/proc/8654/task/8658/stat : 8658 (satake) R 8652 8654 27791 0 -1 4202560 2423 0 0 0 0 12 0 0 20 0 17 0 641236342 350277632 53470 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=342068 CPUtime=0.22
/proc/8654/task/8659/stat : 8659 (satake) D 8652 8654 27791 0 -1 4202560 4612 0 0 0 0 22 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=342068 CPUtime=0.22
/proc/8654/task/8660/stat : 8660 (satake) D 8652 8654 27791 0 -1 4202560 4784 0 0 0 0 22 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=342068 CPUtime=0.1
/proc/8654/task/8661/stat : 8661 (satake) D 8652 8654 27791 0 -1 4202560 2065 0 0 0 0 10 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=342068 CPUtime=0.14
/proc/8654/task/8662/stat : 8662 (satake) D 8652 8654 27791 0 -1 4202560 3928 0 0 0 0 14 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=342068 CPUtime=0.08
/proc/8654/task/8663/stat : 8663 (satake) D 8652 8654 27791 0 -1 4202560 2347 0 0 0 0 8 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=342068 CPUtime=0.22
/proc/8654/task/8664/stat : 8664 (satake) D 8652 8654 27791 0 -1 4202560 4253 0 0 0 0 22 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=342068 CPUtime=0.2
/proc/8654/task/8665/stat : 8665 (satake) R 8652 8654 27791 0 -1 4202560 4983 0 0 0 0 20 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=342068 CPUtime=0.22
/proc/8654/task/8666/stat : 8666 (satake) D 8652 8654 27791 0 -1 4202560 4211 0 0 0 0 22 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=342068 CPUtime=0.14
/proc/8654/task/8667/stat : 8667 (satake) D 8652 8654 27791 0 -1 4202560 2791 0 0 0 0 14 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=342068 CPUtime=0.08
/proc/8654/task/8668/stat : 8668 (satake) D 8652 8654 27791 0 -1 4202560 1438 0 0 0 0 8 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=342068 CPUtime=0.22
/proc/8654/task/8669/stat : 8669 (satake) D 8652 8654 27791 0 -1 4202560 5959 0 0 0 0 22 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=342068 CPUtime=0.22
/proc/8654/task/8670/stat : 8670 (satake) D 8652 8654 27791 0 -1 4202560 4665 0 0 0 0 22 0 0 20 0 17 0 641236343 350277632 53474 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 342068

[startup+0.70545 s]
/proc/loadavg: 9.61 7.40 5.37 2/184 8654
/proc/meminfo: memFree=19107924/36427776 swapFree=4596/7636
[pid=8654] ppid=8652 vsize=363480 CPUtime=5.48
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 75035 0 0 0 4 544 0 0 20 0 17 0 641236342 372203520 74990 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 90870 75001 63 164 0 90705 0
[pid=8654/tid=8655] ppid=8652 vsize=363480 CPUtime=0
/proc/8654/task/8655/stat : 8655 (satake) S 8652 8654 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 641236342 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=363480 CPUtime=0.26
/proc/8654/task/8656/stat : 8656 (satake) D 8652 8654 27791 0 -1 4202560 3910 0 0 0 0 26 0 0 20 0 17 0 641236342 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=363480 CPUtime=0.26
/proc/8654/task/8657/stat : 8657 (satake) D 8652 8654 27791 0 -1 4202560 3646 0 0 0 0 26 0 0 20 0 17 0 641236342 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=363480 CPUtime=0.26
/proc/8654/task/8658/stat : 8658 (satake) D 8652 8654 27791 0 -1 4202560 3647 0 0 0 0 26 0 0 20 0 17 0 641236342 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=363480 CPUtime=0.48
/proc/8654/task/8659/stat : 8659 (satake) D 8652 8654 27791 0 -1 4202560 6446 0 0 0 0 48 0 0 20 0 17 0 641236343 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=363480 CPUtime=0.46
/proc/8654/task/8660/stat : 8660 (satake) S 8652 8654 27791 0 -1 4202560 6180 0 0 0 0 46 0 0 20 0 17 0 641236343 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=363480 CPUtime=0.24
/proc/8654/task/8661/stat : 8661 (satake) D 8652 8654 27791 0 -1 4202560 3434 0 0 0 0 24 0 0 20 0 17 0 641236343 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=363480 CPUtime=0.28
/proc/8654/task/8662/stat : 8662 (satake) D 8652 8654 27791 0 -1 4202560 5023 0 0 0 0 28 0 0 20 0 17 0 641236343 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=363480 CPUtime=0.22
/proc/8654/task/8663/stat : 8663 (satake) D 8652 8654 27791 0 -1 4202560 3851 0 0 0 0 22 0 0 20 0 17 0 641236343 372203520 75001 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=363480 CPUtime=0.46

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

Current children cumulated CPU time (s) 1933.51
Current children cumulated vsize (KiB) 1336652

[startup+762.312 s]
/proc/loadavg: 4.28 4.43 4.64 5/201 8689
/proc/meminfo: memFree=17821504/36427776 swapFree=4588/1294908
[pid=8654] ppid=8652 vsize=1345400 CPUtime=2135.21
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 408087 0 0 0 159697 53824 0 0 20 0 17 0 641236342 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 336350 321214 68 164 0 336185 0
[pid=8654/tid=8655] ppid=8652 vsize=1345400 CPUtime=350.78
/proc/8654/task/8655/stat : 8655 (satake) R 8652 8654 27791 0 -1 4202560 7503 0 0 0 4391 30687 0 0 20 0 17 0 641236342 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=1345400 CPUtime=121.64
/proc/8654/task/8656/stat : 8656 (satake) S 8652 8654 27791 0 -1 4202560 27150 0 0 0 10766 1398 0 0 20 0 17 0 641236342 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=1345400 CPUtime=117.73
/proc/8654/task/8657/stat : 8657 (satake) S 8652 8654 27791 0 -1 4202560 26736 0 0 0 10349 1424 0 0 20 0 17 0 641236342 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=1345400 CPUtime=116.3
/proc/8654/task/8658/stat : 8658 (satake) S 8652 8654 27791 0 -1 4202560 26716 0 0 0 10106 1524 0 0 20 0 17 0 641236342 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=1345400 CPUtime=120.35
/proc/8654/task/8659/stat : 8659 (satake) S 8652 8654 27791 0 -1 4202560 26612 0 0 0 10549 1486 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=1345400 CPUtime=113.86
/proc/8654/task/8660/stat : 8660 (satake) S 8652 8654 27791 0 -1 4202560 26591 0 0 0 9922 1464 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=1345400 CPUtime=113.03
/proc/8654/task/8661/stat : 8661 (satake) S 8652 8654 27791 0 -1 4202560 26644 0 0 0 9857 1446 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=1345400 CPUtime=117.36
/proc/8654/task/8662/stat : 8662 (satake) R 8652 8654 27791 0 -1 4202560 26660 0 0 0 10250 1486 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=1345400 CPUtime=117.94
/proc/8654/task/8663/stat : 8663 (satake) R 8652 8654 27791 0 -1 4202560 26963 0 0 0 10464 1330 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134528433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=1345400 CPUtime=118.1
/proc/8654/task/8664/stat : 8664 (satake) S 8652 8654 27791 0 -1 4202560 26321 0 0 0 10194 1616 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=1345400 CPUtime=119.53
/proc/8654/task/8665/stat : 8665 (satake) S 8652 8654 27791 0 -1 4202560 26752 0 0 0 10329 1624 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=1345400 CPUtime=125.98
/proc/8654/task/8666/stat : 8666 (satake) S 8652 8654 27791 0 -1 4202560 26392 0 0 0 10906 1692 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=1345400 CPUtime=121.14
/proc/8654/task/8667/stat : 8667 (satake) S 8652 8654 27791 0 -1 4202560 27034 0 0 0 10390 1724 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=1345400 CPUtime=124.43
/proc/8654/task/8668/stat : 8668 (satake) S 8652 8654 27791 0 -1 4202560 26670 0 0 0 10951 1492 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=1345400 CPUtime=118.27
/proc/8654/task/8669/stat : 8669 (satake) S 8652 8654 27791 0 -1 4202560 26728 0 0 0 10105 1722 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=1345400 CPUtime=118.63
/proc/8654/task/8670/stat : 8670 (satake) R 8652 8654 27791 0 -1 4202560 26489 0 0 0 10161 1702 0 0 20 0 17 0 641236343 1377689600 321214 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2135.21
Current children cumulated vsize (KiB) 1345400

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

[startup+764.704 s]
/proc/loadavg: 4.28 4.43 4.64 17/201 8689
/proc/meminfo: memFree=17821380/36427776 swapFree=4588/1294952
[pid=8654] ppid=8652 vsize=1343304 CPUtime=2146.16
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 408104 0 0 0 160239 54377 0 0 20 0 17 0 641236342 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 335826 320862 77 164 0 335661 0
[pid=8654/tid=8655] ppid=8652 vsize=1343304 CPUtime=352.2
/proc/8654/task/8655/stat : 8655 (satake) R 8652 8654 27791 0 -1 4202560 7511 0 0 0 4421 30799 0 0 20 0 17 0 641236342 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134666416 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8654/tid=8656] ppid=8652 vsize=1343304 CPUtime=122.23
/proc/8654/task/8656/stat : 8656 (satake) S 8652 8654 27791 0 -1 4202560 27150 0 0 0 10801 1422 0 0 20 0 17 0 641236342 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=1343304 CPUtime=118.49
/proc/8654/task/8657/stat : 8657 (satake) S 8652 8654 27791 0 -1 4202560 26736 0 0 0 10397 1452 0 0 20 0 17 0 641236342 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=1343304 CPUtime=116.93
/proc/8654/task/8658/stat : 8658 (satake) S 8652 8654 27791 0 -1 4202560 26725 0 0 0 10139 1554 0 0 20 0 17 0 641236342 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=1343304 CPUtime=121.03
/proc/8654/task/8659/stat : 8659 (satake) S 8652 8654 27791 0 -1 4202560 26612 0 0 0 10583 1520 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=1343304 CPUtime=114.46
/proc/8654/task/8660/stat : 8660 (satake) S 8652 8654 27791 0 -1 4202560 26591 0 0 0 9952 1494 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=1343304 CPUtime=113.75
/proc/8654/task/8661/stat : 8661 (satake) S 8652 8654 27791 0 -1 4202560 26644 0 0 0 9895 1480 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=1343304 CPUtime=117.98
/proc/8654/task/8662/stat : 8662 (satake) S 8652 8654 27791 0 -1 4202560 26660 0 0 0 10280 1518 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=1343304 CPUtime=118.64
/proc/8654/task/8663/stat : 8663 (satake) S 8652 8654 27791 0 -1 4202560 26963 0 0 0 10506 1358 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=1343304 CPUtime=118.67
/proc/8654/task/8664/stat : 8664 (satake) S 8652 8654 27791 0 -1 4202560 26321 0 0 0 10219 1648 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=1343304 CPUtime=120.16
/proc/8654/task/8665/stat : 8665 (satake) S 8652 8654 27791 0 -1 4202560 26752 0 0 0 10364 1652 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=1343304 CPUtime=126.54
/proc/8654/task/8666/stat : 8666 (satake) S 8652 8654 27791 0 -1 4202560 26392 0 0 0 10932 1722 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=1343304 CPUtime=121.61
/proc/8654/task/8667/stat : 8667 (satake) S 8652 8654 27791 0 -1 4202560 27034 0 0 0 10411 1750 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=1343304 CPUtime=125.02
/proc/8654/task/8668/stat : 8668 (satake) S 8652 8654 27791 0 -1 4202560 26670 0 0 0 10982 1520 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=1343304 CPUtime=118.88
/proc/8654/task/8669/stat : 8669 (satake) S 8652 8654 27791 0 -1 4202560 26728 0 0 0 10138 1750 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=1343304 CPUtime=119.43
/proc/8654/task/8670/stat : 8670 (satake) S 8652 8654 27791 0 -1 4202560 26489 0 0 0 10211 1732 0 0 20 0 17 0 641236343 1375543296 320862 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2146.16
Current children cumulated vsize (KiB) 1343304

[startup+766.304 s]
/proc/loadavg: 4.28 4.43 4.64 2/200 8689
/proc/meminfo: memFree=17859188/36427776 swapFree=4624/1254820
[pid=8654] ppid=8652 vsize=1211280 CPUtime=2154.06
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 408104 0 0 0 160654 54752 0 0 20 0 16 0 641236342 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 302820 294492 77 164 0 302655 0
[pid=8654/tid=8656] ppid=8652 vsize=1211280 CPUtime=123
/proc/8654/task/8656/stat : 8656 (satake) S 8652 8654 27791 0 -1 4202560 27150 0 0 0 10860 1440 0 0 20 0 16 0 641236342 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=1211280 CPUtime=118.95
/proc/8654/task/8657/stat : 8657 (satake) S 8652 8654 27791 0 -1 4202560 26736 0 0 0 10421 1474 0 0 20 0 16 0 641236342 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=1211280 CPUtime=117.48
/proc/8654/task/8658/stat : 8658 (satake) S 8652 8654 27791 0 -1 4202560 26725 0 0 0 10166 1582 0 0 20 0 16 0 641236342 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=1211280 CPUtime=121.44
/proc/8654/task/8659/stat : 8659 (satake) S 8652 8654 27791 0 -1 4202560 26612 0 0 0 10604 1540 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=1211280 CPUtime=114.91
/proc/8654/task/8660/stat : 8660 (satake) S 8652 8654 27791 0 -1 4202560 26591 0 0 0 9975 1516 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=1211280 CPUtime=114.2
/proc/8654/task/8661/stat : 8661 (satake) R 8652 8654 27791 0 -1 4202560 26644 0 0 0 9916 1504 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134666433 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=1211280 CPUtime=118.57
/proc/8654/task/8662/stat : 8662 (satake) S 8652 8654 27791 0 -1 4202560 26660 0 0 0 10315 1542 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=1211280 CPUtime=119.11
/proc/8654/task/8663/stat : 8663 (satake) S 8652 8654 27791 0 -1 4202560 26963 0 0 0 10529 1382 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=1211280 CPUtime=119.13
/proc/8654/task/8664/stat : 8664 (satake) S 8652 8654 27791 0 -1 4202560 26321 0 0 0 10239 1674 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=1211280 CPUtime=120.6
/proc/8654/task/8665/stat : 8665 (satake) S 8652 8654 27791 0 -1 4202560 26752 0 0 0 10380 1680 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8666] ppid=8652 vsize=1211280 CPUtime=127.04
/proc/8654/task/8666/stat : 8666 (satake) S 8652 8654 27791 0 -1 4202560 26392 0 0 0 10958 1746 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=1211280 CPUtime=122.14
/proc/8654/task/8667/stat : 8667 (satake) R 8652 8654 27791 0 -1 4202560 27034 0 0 0 10438 1776 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=1211280 CPUtime=125.63
/proc/8654/task/8668/stat : 8668 (satake) S 8652 8654 27791 0 -1 4202560 26670 0 0 0 11021 1542 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8669] ppid=8652 vsize=1211280 CPUtime=119.35
/proc/8654/task/8669/stat : 8669 (satake) S 8652 8654 27791 0 -1 4202560 26728 0 0 0 10161 1774 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=1211280 CPUtime=119.9
/proc/8654/task/8670/stat : 8670 (satake) S 8652 8654 27791 0 -1 4202560 26489 0 0 0 10230 1760 0 0 20 0 16 0 641236343 1240350720 294492 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2154.06
Current children cumulated vsize (KiB) 1211280

[startup+766.718 s]
/proc/loadavg: 4.10 4.39 4.63 11/198 8689
/proc/meminfo: memFree=17960668/36427776 swapFree=4624/1148312
[pid=8654] ppid=8652 vsize=1133528 CPUtime=2156.44
/proc/8654/stat : 8654 (satake) S 8652 8654 27791 0 -1 4202496 408104 0 0 0 160809 54835 0 0 20 0 14 0 641236342 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 283382 276246 77 164 0 283217 0
[pid=8654/tid=8656] ppid=8652 vsize=1133528 CPUtime=123.14
/proc/8654/task/8656/stat : 8656 (satake) R 8652 8654 27791 0 -1 4202560 27150 0 0 0 10868 1446 0 0 20 0 14 0 641236342 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8654/tid=8657] ppid=8652 vsize=1133528 CPUtime=119.18
/proc/8654/task/8657/stat : 8657 (satake) S 8652 8654 27791 0 -1 4202560 26736 0 0 0 10436 1482 0 0 20 0 14 0 641236342 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=8654/tid=8658] ppid=8652 vsize=1133528 CPUtime=117.6
/proc/8654/task/8658/stat : 8658 (satake) S 8652 8654 27791 0 -1 4202560 26725 0 0 0 10174 1586 0 0 20 0 14 0 641236342 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=8654/tid=8659] ppid=8652 vsize=1133528 CPUtime=121.62
/proc/8654/task/8659/stat : 8659 (satake) S 8652 8654 27791 0 -1 4202560 26612 0 0 0 10616 1546 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=8654/tid=8660] ppid=8652 vsize=1133528 CPUtime=115.04
/proc/8654/task/8660/stat : 8660 (satake) R 8652 8654 27791 0 -1 4202560 26591 0 0 0 9982 1522 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8654/tid=8661] ppid=8652 vsize=1133528 CPUtime=114.59
/proc/8654/task/8661/stat : 8661 (satake) R 8652 8654 27791 0 -1 4202560 26644 0 0 0 9945 1514 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8654/tid=8662] ppid=8652 vsize=1133528 CPUtime=118.75
/proc/8654/task/8662/stat : 8662 (satake) R 8652 8654 27791 0 -1 4202560 26660 0 0 0 10327 1548 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8654/tid=8663] ppid=8652 vsize=1133528 CPUtime=119.25
/proc/8654/task/8663/stat : 8663 (satake) R 8652 8654 27791 0 -1 4202560 26963 0 0 0 10537 1388 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8654/tid=8664] ppid=8652 vsize=1133528 CPUtime=119.24
/proc/8654/task/8664/stat : 8664 (satake) S 8652 8654 27791 0 -1 4202560 26321 0 0 0 10248 1676 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=8654/tid=8665] ppid=8652 vsize=1133528 CPUtime=120.74
/proc/8654/task/8665/stat : 8665 (satake) S 8652 8654 27791 0 -1 4202560 26752 0 0 0 10388 1686 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=8654/tid=8667] ppid=8652 vsize=1133528 CPUtime=122.37
/proc/8654/task/8667/stat : 8667 (satake) S 8652 8654 27791 0 -1 4202560 27034 0 0 0 10453 1784 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=8654/tid=8668] ppid=8652 vsize=1133528 CPUtime=125.76
/proc/8654/task/8668/stat : 8668 (satake) S 8652 8654 27791 0 -1 4202560 26670 0 0 0 11030 1546 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8654/tid=8670] ppid=8652 vsize=1133528 CPUtime=120.04
/proc/8654/task/8670/stat : 8670 (satake) S 8652 8654 27791 0 -1 4202560 26489 0 0 0 10238 1766 0 0 20 0 14 0 641236343 1160732672 276246 18446744073709551615 134512640 135180984 4288620752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 2156.44
Current children cumulated vsize (KiB) 1133528

[startup+767.104 s]
/proc/loadavg: 4.10 4.39 4.63 11/198 8689
/proc/meminfo: memFree=17960668/36427776 swapFree=4624/1148312
[pid=8654] ppid=8652 vsize=0 CPUtime=2157.53
/proc/8654/stat : 8654 (satake) R 8652 8654 27791 0 -1 4202500 408105 0 0 0 160878 54875 0 0 20 0 1 0 641236342 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/8654/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2157.53
Current children cumulated vsize (KiB) 0

Child status: 16
Real time (s): 767.138
CPU time (s): 2157.57
CPU user time (s): 1608.78
CPU system time (s): 548.794
CPU usage (%): 281.25
Max. virtual memory (cumulated for all children) (KiB): 1391256


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1608.78
system time used= 548.794
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408105
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= 43917181
involuntary context switches= 5858507

runsolver used 3.2042 second user time and 8.99656 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 17:08:19
IDJOB=1780197
IDBENCH=70960
IDSOLVER=631
FILE ID=xenhost3-49/1780197-1244819299
PBS_JOBID=
Free space on /tmp= 7008 MiB

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

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

MD5SUM BENCH= eb71c8cb3482ee70f1c98af8944179ca
RANDOM SEED= 1476423692

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:      19108372 kB
Buffers:        434908 kB
Cached:       14133128 kB
SwapCached:          0 kB
Active:        4080048 kB
Inactive:     10496036 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           24228 kB
Writeback:           0 kB
AnonPages:        7636 kB
Mapped:           3932 kB
Slab:           689940 kB
SReclaimable:   663004 kB
SUnreclaim:      26936 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= 7008 MiB
End job on xenhost3-49 at 2009-06-12 17:21:07