Trace number 1776240

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
ttsth-5-0 2009-03-19 (16 threads)? (MO) 726.293 52.4857

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
MD5SUM738c5d916b76338511b77dbd47cdbc16
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark110.92
Satisfiable
(Un)Satisfiability was proved
Number of variables892
Number of clauses3006
Sum of the clauses size7828
Maximum clause length17
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 21283
Number of clauses of size 31676
Number of clauses of size 418
Number of clauses of size 516
Number of clauses of size over 510

Solver Data

0.00/0.01	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776240-1244929440.cnf 
0.00/0.01	c Using SATTIMEOUT of 10000
0.00/0.01	c Using SATRAM of 2047
0.00/0.01	c Size of subset node = 16
0.00/0.01	c Variables = 892
0.00/0.01	c Clauses = 3006
0.00/0.01	c Literals = 7828
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 892
0.00/0.01	c Clauses = 2969
0.00/0.01	c Literals = 7754
0.00/0.01	c a2
0.00/0.01	c a1
0.08/0.11	c Independent sub-problems = 1
0.08/0.11	c Sub-problem with 889 variables and 2969 clauses
0.08/0.11	c using permutation method 4
0.08/0.11	c count = 3
0.08/0.11	c Ordering finished 0.110 seconds
0.08/0.11	c mapped 0.110 seconds
0.08/0.11	c permuted 0.110 seconds
0.08/0.11	c about to sort
0.08/0.11	c sorted
0.08/0.13	c clauses now 2969
0.08/0.13	c init finished 0.120 seconds
0.08/0.13	c tree built 0.130 seconds
0.08/0.13	c 
0.08/0.13	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.08/0.13	c ---------------------------------|----------------------------------|------------------------------------------------------
0.08/0.13	c ................................ | ..........                       |                        0.1           0.0             
0.08/0.13	c ................................ | ..........                     1 |                        0.1           7.7           23
0.08/0.13	c ................................ | ..........                     2 |                        0.1          15.4           25
0.08/0.13	c ................................ | ..........                     3 |                        0.1          23.1           31
0.08/0.13	c ................................ | ..........                     4 |                        0.1          30.8           36
0.08/0.13	c ................................ | ..........                     5 |                        0.1          38.5           38
0.08/0.14	c ................................ | ..........                  1000 | 5                      0.1        6666.7          370
219.88/15.16	c ................................ | ..........                416000 | 44577                200.2        2078.1     30778199
428.88/29.53	c ................................ | ..........                638000 | 70205                400.6        1592.7     60332541
632.21/45.38	c ................................ | ..........                885000 | 100681               600.0        1474.9     89441846

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-1776240-1244929440/watcher-1776240-1244929440 -o /tmp/evaluation-result-1776240-1244929440/solver-1776240-1244929440 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776240-1244929440.cnf 

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=1408 CPUtime=0
/proc/18479/stat : 18479 (ttsth-5-0) R 18477 18479 15497 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 652250318 1441792 205 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134599632 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 352 205 76 177 0 174 0

[startup+0.078342 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=1540 CPUtime=0.06
/proc/18479/stat : 18479 (ttsth-5-0) R 18477 18479 15497 0 -1 4202496 282 0 0 0 6 0 0 0 20 0 1 0 652250318 1576960 239 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134599543 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 385 239 76 177 0 207 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1540

[startup+0.102337 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=1540 CPUtime=0.08
/proc/18479/stat : 18479 (ttsth-5-0) R 18477 18479 15497 0 -1 4202496 285 0 0 0 8 0 0 0 20 0 1 0 652250318 1576960 242 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134599399 0 0 1 0 0 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 385 242 76 177 0 207 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1540

[startup+0.302444 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=149016 CPUtime=2.43
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 3627 0 0 0 47 196 0 0 20 0 17 0 652250318 152592384 3584 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 37254 3585 94 177 0 37076 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 149016

[startup+0.702583 s]
/proc/loadavg: 14.06 7.54 3.93 2/184 18479
/proc/meminfo: memFree=19062592/36427776 swapFree=4312/7552
[pid=18479] ppid=18477 vsize=155748 CPUtime=8.23
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 5432 0 0 0 239 584 0 0 20 0 17 0 652250318 159485952 5389 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 38937 5389 94 177 0 38759 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 155748

[startup+1.50543 s]
/proc/loadavg: 14.06 7.54 3.93 15/201 18496
/proc/meminfo: memFree=19038832/36427776 swapFree=5012/33636
[pid=18479] ppid=18477 vsize=175072 CPUtime=20.01
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 10263 0 0 0 716 1285 0 0 20 0 17 0 652250318 179273728 10220 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 43768 10221 94 177 0 43590 0
[pid=18479/tid=18481] ppid=18477 vsize=175072 CPUtime=1.34
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1498 0 0 0 130 4 0 0 20 0 17 0 652250332 179273728 10221 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 322 0 0 0 38 92 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) S 18477 18479 15497 0 -1 4202560 70 0 0 0 22 108 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 404 0 0 0 38 94 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=175072 CPUtime=0.62
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 180 0 0 0 18 44 0 0 20 0 17 0 652250332 179273728 10222 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) S 18477 18479 15497 0 -1 4202560 557 0 0 0 50 82 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 589 0 0 0 38 94 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 403 0 0 0 48 84 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 211 0 0 0 36 94 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 551 0 0 0 44 88 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 583 0 0 0 46 86 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 548 0 0 0 48 84 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 326 0 0 0 34 96 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134737752 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=175072 CPUtime=1.32
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 421 0 0 0 42 90 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134588904 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=175072 CPUtime=0.72
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 191 0 0 0 20 52 0 0 20 0 17 0 652250332 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=175072 CPUtime=1.3
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 628 0 0 0 44 86 0 0 20 0 17 0 652250333 179273728 10223 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 20.01
Current children cumulated vsize (KiB) 175072

[startup+3.10741 s]
/proc/loadavg: 14.06 7.54 3.93 17/201 18496
/proc/meminfo: memFree=19003396/36427776 swapFree=5012/70908
[pid=18479] ppid=18477 vsize=244552 CPUtime=43.54
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 27679 0 0 0 2488 1866 0 0 20 0 17 0 652250318 250421248 27636 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 61138 27637 94 177 0 60960 0
[pid=18479/tid=18481] ppid=18477 vsize=244552 CPUtime=2.94
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3519 0 0 0 286 8 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1107 0 0 0 154 134 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=244552 CPUtime=2.86
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2196 0 0 0 134 152 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1288 0 0 0 146 142 0 0 20 0 17 0 652250332 250421248 27639 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=244552 CPUtime=1.44
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 753 0 0 0 82 62 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1615 0 0 0 154 134 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1792 0 0 0 156 132 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1173 0 0 0 164 124 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=244552 CPUtime=2.86
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1031 0 0 0 156 130 0 0 20 0 17 0 652250332 250421248 27640 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1899 0 0 0 162 126 0 0 20 0 17 0 652250332 250421248 27642 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=244552 CPUtime=2.9
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1558 0 0 0 162 128 0 0 20 0 17 0 652250332 250421248 27643 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=244552 CPUtime=2.9
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1691 0 0 0 168 122 0 0 20 0 17 0 652250332 250421248 27643 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=244552 CPUtime=2.84
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1434 0 0 0 146 138 0 0 20 0 17 0 652250332 250421248 27643 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1399 0 0 0 156 132 0 0 20 0 17 0 652250332 250421248 27645 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=244552 CPUtime=1.52
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 452 0 0 0 78 74 0 0 20 0 17 0 652250332 250421248 27646 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=244552 CPUtime=2.88
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1994 0 0 0 166 122 0 0 20 0 17 0 652250333 250421248 27646 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 43.54
Current children cumulated vsize (KiB) 244552

[startup+6.30327 s]
/proc/loadavg: 14.21 7.68 3.99 17/201 18496
/proc/meminfo: memFree=18849060/36427776 swapFree=4688/224352
[pid=18479] ppid=18477 vsize=391536 CPUtime=90.58
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 64412 0 0 0 6467 2591 0 0 20 0 17 0 652250318 400932864 64369 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 97884 64370 94 177 0 97706 0
[pid=18479/tid=18481] ppid=18477 vsize=391536 CPUtime=5.9
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6203 0 0 0 578 12 0 0 20 0 17 0 652250332 400932864 64371 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=391536 CPUtime=6
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2941 0 0 0 410 190 0 0 20 0 17 0 652250332 400932864 64371 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562314 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=391536 CPUtime=5.98
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6864 0 0 0 396 202 0 0 20 0 17 0 652250332 400932864 64372 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=391536 CPUtime=6.04
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4072 0 0 0 406 198 0 0 20 0 17 0 652250332 400932864 64372 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134565920 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=391536 CPUtime=3.04
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2430 0 0 0 216 88 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3232 0 0 0 416 186 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=391536 CPUtime=5.76
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4183 0 0 0 386 190 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2716 0 0 0 438 164 0 0 20 0 17 0 652250332 400932864 64373 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=391536 CPUtime=6
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 2637 0 0 0 418 182 0 0 20 0 17 0 652250332 400932864 64374 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4733 0 0 0 424 178 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=391536 CPUtime=6.06
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3482 0 0 0 426 180 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=391536 CPUtime=6.04
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3733 0 0 0 436 168 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=391536 CPUtime=5.6
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4474 0 0 0 380 180 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134731583 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=391536 CPUtime=5.98
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 3343 0 0 0 408 190 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=391536 CPUtime=3.9
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 1655 0 0 0 282 108 0 0 20 0 17 0 652250332 400932864 64375 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=391536 CPUtime=6.02
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4934 0 0 0 430 172 0 0 20 0 17 0 652250333 400932864 64376 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 90.58
Current children cumulated vsize (KiB) 391536

[startup+12.7036 s]
/proc/loadavg: 14.36 7.82 4.06 17/201 18496
/proc/meminfo: memFree=18543124/36427776 swapFree=4688/529600
[pid=18479] ppid=18477 vsize=686676 CPUtime=185.01
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 138195 0 0 0 14937 3564 0 0 20 0 17 0 652250318 703156224 138152 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 171669 138154 94 177 0 171491 0
[pid=18479/tid=18481] ppid=18477 vsize=686676 CPUtime=12.24
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 11053 0 0 0 1208 16 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134551008 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=686676 CPUtime=12.28
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 5887 0 0 0 972 256 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=686676 CPUtime=12.16
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 17719 0 0 0 938 278 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7490 0 0 0 962 272 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134634609 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=686676 CPUtime=8.16
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 8927 0 0 0 678 138 0 0 20 0 17 0 652250332 703156224 138155 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=686676 CPUtime=12.32
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7846 0 0 0 970 262 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=686676 CPUtime=9
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6652 0 0 0 676 224 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=686676 CPUtime=10.42
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 4658 0 0 0 840 202 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=686676 CPUtime=12.28
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 6428 0 0 0 986 242 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=686676 CPUtime=12.3
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 11191 0 0 0 974 256 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7580 0 0 0 988 246 0 0 20 0 17 0 652250332 703156224 138156 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546001 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7255 0 0 0 1010 224 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=686676 CPUtime=11.8
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 9604 0 0 0 930 250 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=686676 CPUtime=12.26
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 7734 0 0 0 954 272 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134591214 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=686676 CPUtime=10.2
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 5575 0 0 0 834 186 0 0 20 0 17 0 652250332 703156224 138157 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=686676 CPUtime=12.34
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 9815 0 0 0 998 236 0 0 20 0 17 0 652250333 703156224 138158 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 185.01
Current children cumulated vsize (KiB) 686676

[startup+25.505 s]
/proc/loadavg: 14.72 8.22 4.25 17/201 18496
/proc/meminfo: memFree=17993888/36427776 swapFree=4688/1078920
[pid=18479] ppid=18477 vsize=1217340 CPUtime=372.76
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 270814 0 0 0 32216 5060 0 0 20 0 17 0 652250318 1246556160 270771 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 304335 270771 94 177 0 304157 0
[pid=18479/tid=18481] ppid=18477 vsize=1217340 CPUtime=24.8
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19728 0 0 0 2454 26 0 0 20 0 17 0 652250332 1246556160 270771 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=1217340 CPUtime=21.44
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 11013 0 0 0 1808 336 0 0 20 0 17 0 652250332 1246556160 270771 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=1217340 CPUtime=18.56
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27906 0 0 0 1520 336 0 0 20 0 17 0 652250332 1246556160 270772 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=1217340 CPUtime=24.8
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 16413 0 0 0 2088 392 0 0 20 0 17 0 652250332 1246556160 270774 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=1217340 CPUtime=20.58
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 23552 0 0 0 1798 260 0 0 20 0 17 0 652250332 1246556160 270774 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=1217340 CPUtime=24.84
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 16479 0 0 0 2116 368 0 0 20 0 17 0 652250332 1246556160 270774 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=1217340 CPUtime=21.48
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 15036 0 0 0 1816 332 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=1217340 CPUtime=22.92
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 8680 0 0 0 2012 280 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=1217340 CPUtime=24.36
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 13341 0 0 0 2096 340 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=1217340 CPUtime=23.46
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 23044 0 0 0 1980 366 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=1217340 CPUtime=24.88
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 13945 0 0 0 2142 346 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=1217340 CPUtime=24.92
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 12611 0 0 0 2200 292 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=1217340 CPUtime=24.02
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 21461 0 0 0 2028 374 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=1217340 CPUtime=24.72
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) S 18477 18479 15497 0 -1 4202560 15280 0 0 0 2074 398 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=1217340 CPUtime=21.84
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 10195 0 0 0 1920 264 0 0 20 0 17 0 652250332 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134588171 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=1217340 CPUtime=24.86
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19349 0 0 0 2142 344 0 0 20 0 17 0 652250333 1246556160 270775 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 372.76
Current children cumulated vsize (KiB) 1217340

[startup+51.1027 s]
/proc/loadavg: 15.16 8.84 4.56 10/201 18496
/proc/meminfo: memFree=17151768/36427776 swapFree=4688/1918816
[pid=18479] ppid=18477 vsize=2062272 CPUtime=709.6
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 482143 0 0 0 64797 6163 0 0 20 0 17 0 652250318 2111766528 482101 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 515568 482101 94 177 0 515390 0
[pid=18479/tid=18481] ppid=18477 vsize=2062272 CPUtime=48.98
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 35976 0 0 0 4846 52 0 0 20 0 17 0 652250332 2111766528 482101 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=2062272 CPUtime=38.63
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 21077 0 0 0 3465 398 0 0 20 0 17 0 652250332 2111766528 482101 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=2062272 CPUtime=33.34
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 50701 0 0 0 2920 414 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=2062272 CPUtime=46.35
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30560 0 0 0 4165 470 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=2062272 CPUtime=39.51
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 38284 0 0 0 3619 332 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=2062272 CPUtime=44.68
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30100 0 0 0 4030 438 0 0 20 0 17 0 652250332 2111766528 482102 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=2062272 CPUtime=44.2
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27208 0 0 0 4008 412 0 0 20 0 17 0 652250332 2111766528 482104 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=2062272 CPUtime=43.61
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 12970 0 0 0 4047 314 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=2062272 CPUtime=48.54
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27010 0 0 0 4428 426 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=2062272 CPUtime=45.19
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 43951 0 0 0 4065 454 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=2062272 CPUtime=43.92
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 24547 0 0 0 3970 422 0 0 20 0 17 0 652250332 2111766528 482105 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=2062272 CPUtime=49.61
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19515 0 0 0 4627 334 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=2062272 CPUtime=45.6
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 39767 0 0 0 4098 462 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=2062272 CPUtime=43.47
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 28017 0 0 0 3863 484 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=2062272 CPUtime=45.68
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 17657 0 0 0 4254 314 0 0 20 0 17 0 652250332 2111766528 482106 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=2062272 CPUtime=48.09
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 32024 0 0 0 4377 432 0 0 20 0 17 0 652250333 2111766528 482107 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 709.6
Current children cumulated vsize (KiB) 2062272



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+52.3033 s]
/proc/loadavg: 15.16 8.84 4.56 17/201 18496
/proc/meminfo: memFree=17100684/36427776 swapFree=4688/1970580
[pid=18479] ppid=18477 vsize=2097312 CPUtime=725.96
/proc/18479/stat : 18479 (ttsth-5-0) S 18477 18479 15497 0 -1 4202496 490870 0 0 0 66407 6189 0 0 20 0 17 0 652250318 2147647488 490827 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 524328 490827 94 177 0 524150 0
[pid=18479/tid=18481] ppid=18477 vsize=2097472 CPUtime=50.14
/proc/18479/task/18481/stat : 18481 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 36736 0 0 0 4962 52 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=18479/tid=18482] ppid=18477 vsize=2097472 CPUtime=39.78
/proc/18479/task/18482/stat : 18482 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 21976 0 0 0 3580 398 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=18479/tid=18483] ppid=18477 vsize=2097472 CPUtime=33.94
/proc/18479/task/18483/stat : 18483 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 51148 0 0 0 2978 416 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18484] ppid=18477 vsize=2097472 CPUtime=46.95
/proc/18479/task/18484/stat : 18484 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30858 0 0 0 4223 472 0 0 20 0 17 0 652250332 2147811328 490829 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18485] ppid=18477 vsize=2097472 CPUtime=40.67
/proc/18479/task/18485/stat : 18485 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 39153 0 0 0 3733 334 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=18479/tid=18486] ppid=18477 vsize=2097472 CPUtime=45.86
/proc/18479/task/18486/stat : 18486 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 30378 0 0 0 4146 440 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=18479/tid=18487] ppid=18477 vsize=2097472 CPUtime=45.34
/proc/18479/task/18487/stat : 18487 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27520 0 0 0 4122 412 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=18479/tid=18488] ppid=18477 vsize=2097472 CPUtime=44.78
/proc/18479/task/18488/stat : 18488 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 13158 0 0 0 4164 314 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=18479/tid=18489] ppid=18477 vsize=2097472 CPUtime=49.69
/proc/18479/task/18489/stat : 18489 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 27851 0 0 0 4541 428 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=2097472 CPUtime=45.77
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 44390 0 0 0 4123 454 0 0 20 0 17 0 652250332 2147811328 490831 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=18479/tid=18491] ppid=18477 vsize=2097472 CPUtime=44.52
/proc/18479/task/18491/stat : 18491 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 24834 0 0 0 4030 422 0 0 20 0 17 0 652250332 2147811328 490832 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=18479/tid=18492] ppid=18477 vsize=2097472 CPUtime=50.8
/proc/18479/task/18492/stat : 18492 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 19758 0 0 0 4744 336 0 0 20 0 17 0 652250332 2147811328 490833 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=18479/tid=18493] ppid=18477 vsize=2097472 CPUtime=46.74
/proc/18479/task/18493/stat : 18493 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 40950 0 0 0 4208 466 0 0 20 0 17 0 652250332 2147811328 490833 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=18479/tid=18494] ppid=18477 vsize=2097472 CPUtime=44.57
/proc/18479/task/18494/stat : 18494 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 28733 0 0 0 3971 486 0 0 20 0 17 0 652250332 2147811328 490833 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=18479/tid=18495] ppid=18477 vsize=2097472 CPUtime=46.87
/proc/18479/task/18495/stat : 18495 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 18086 0 0 0 4371 316 0 0 20 0 17 0 652250332 2147811328 490834 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=18479/tid=18496] ppid=18477 vsize=2097472 CPUtime=49.28
/proc/18479/task/18496/stat : 18496 (ttsth-5-0) R 18477 18479 15497 0 -1 4202560 32561 0 0 0 4494 434 0 0 20 0 17 0 652250333 2147811328 490835 18446744073709551615 134512640 135237372 4292857040 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 725.96
Current children cumulated vsize (KiB) 2097312

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+52.4228 s]
/proc/loadavg: 15.16 8.84 4.56 17/201 18496
/proc/meminfo: memFree=17100684/36427776 swapFree=4688/1970580
[pid=18479] ppid=18477 vsize=0 CPUtime=726.22
/proc/18479/stat : 18479 (ttsth-5-0) Z 18477 18479 15497 0 -1 4203532 490951 0 0 0 66420 6202 0 0 20 0 2 0 652250318 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18479/statm: 0 0 0 0 0 0 0
[pid=18479/tid=18490] ppid=18477 vsize=0 CPUtime=45.87
/proc/18479/task/18490/stat : 18490 (ttsth-5-0) R 18477 18479 15497 0 -1 4203588 44390 0 0 0 4123 464 0 0 20 0 2 0 652250332 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 726.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 52.4857
CPU time (s): 726.293
CPU user time (s): 664.197
CPU system time (s): 62.0959
CPU usage (%): 1383.79
Max. virtual memory (cumulated for all children) (KiB): 2097312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 664.198
system time used= 62.0959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 490951
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= 71839
involuntary context switches= 3566

runsolver used 0.244015 second user time and 0.752047 second system time

The end

Launcher Data

Begin job on xenhost3-49 at 2009-06-13 23:44:00
IDJOB=1776240
IDBENCH=20471
IDSOLVER=634
FILE ID=xenhost3-49/1776240-1244929440
PBS_JOBID=
Free space on /tmp= 7026 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.9.unsat.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776240-1244929440/watcher-1776240-1244929440 -o /tmp/evaluation-result-1776240-1244929440/solver-1776240-1244929440 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776240-1244929440.cnf

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

MD5SUM BENCH= 738c5d916b76338511b77dbd47cdbc16
RANDOM SEED= 1542085658

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:      19062592 kB
Buffers:        472596 kB
Cached:       14114992 kB
SwapCached:          0 kB
Active:        4118612 kB
Inactive:     10477200 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             696 kB
Writeback:           0 kB
AnonPages:        7552 kB
Mapped:           3648 kB
Slab:           717348 kB
SReclaimable:   690532 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-13 23:44:54