Trace number 1779960

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) 8100.66 518.596

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l43_lambda.cnf
MD5SUM040db958f11a89b7e62063379f36b96a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark61.85
Satisfiable
(Un)Satisfiability was proved
Number of variables30771
Number of clauses153033
Sum of the clauses size440888
Maximum clause length9
Minimum clause length1
Number of clauses of size 14034
Number of clauses of size 238515
Number of clauses of size 389223
Number of clauses of size 414666
Number of clauses of size 56466
Number of clauses of size over 5129

Solver Data 

0.20/0.29	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779960-1244957960.cnf 
0.20/0.29	c Using SATTIMEOUT of 10000
0.20/0.29	c Using SATRAM of 2047
0.20/0.29	c Size of subset node = 16
0.20/0.29	c Variables = 30771
0.20/0.29	c Clauses = 153033
0.20/0.29	c Literals = 440888
0.20/0.29	c Reduced size:
0.20/0.29	c Variables = 30771
0.20/0.29	c Clauses = 137658
0.20/0.29	c Literals = 402281
0.20/0.29	c a2
0.50/0.53	c a1
8.82/8.82	c Independent sub-problems = 1
8.82/8.82	c Sub-problem with 25829 variables and 137658 clauses
8.82/8.82	c using permutation method 4
8.82/8.82	c count = 1
8.82/8.82	c Ordering finished 8.760 seconds
8.82/8.82	c mapped 8.810 seconds
8.82/8.82	c permuted 8.810 seconds
8.82/8.82	c about to sort
8.82/8.85	c sorted
10.68/10.80	c clauses now 137658
10.68/10.80	c init finished 9.350 seconds
10.68/10.80	c tree built 10.780 seconds
10.68/10.80	c 
10.68/10.80	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
10.68/10.80	c ---------------------------------|----------------------------------|------------------------------------------------------
10.68/10.80	c ................................ | ..........                       |                       10.8           0.0            3
10.68/10.80	c ................................ | ..........                     1 |                       10.8           0.1            3
10.68/10.80	c ****************................ | ..........                     2 | 1                     10.8           0.2            3
10.68/10.80	c ****************................ | ..........                     3 | 1                     10.8           0.3            3
10.68/10.80	c ****************................ | ..........                     4 | 1                     10.8           0.4            3
10.68/10.80	c ****************................ | ..........                     5 | 1                     10.8           0.5            3
10.68/10.80	c ****************................ | ..........                     6 | 1                     10.8           0.6            3
12.43/11.00	c ****************................ | ..........                  1000 | 3                     12.4          80.5         1185
229.09/24.73	c ****************................ | ..........                690000 | 29190                200.4        3442.4      4689677
435.17/37.77	c ****************................ | ..........               1173000 | 54778                400.0        2932.4     10332511
637.82/50.99	c ****************................ | ..........               1606000 | 79270                600.0        2676.7     15301076
840.17/63.69	c ****************................ | ..........               1915000 | 95496                800.2        2393.0     19849655
1042.46/76.37	c ****************................ | *.........               2253000 | 113942              1000.5        2251.9     23851192
1243.37/88.98	c ****************................ | *.........               2634000 | 135855              1200.2        2194.6     27612172
1445.68/101.63	c ****************................ | *.........               2892000 | 149078              1400.8        2064.6     30992179
1646.66/114.24	c ****************................ | *.........               3104000 | 160138              1601.1        1938.7     34089211
1846.05/126.80	c ****************................ | *.........               3282000 | 169027              1800.6        1822.7     36953289
2047.08/139.34	c ****************................ | **........               3516000 | 180728              2000.2        1757.8     39736795

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-1779960-1244957960/watcher-1779960-1244957960 -o /tmp/evaluation-result-1779960-1244957960/solver-1779960-1244957960 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779960-1244957960.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: 15.90 15.29 14.92 2/184 26271
/proc/meminfo: memFree=19042004/36427776 swapFree=4312/7856
[pid=26271] ppid=26269 vsize=1548 CPUtime=0
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 655102328 1585152 232 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 387 233 75 177 0 209 0

[startup+0.080865 s]
/proc/loadavg: 15.90 15.29 14.92 2/184 26271
/proc/meminfo: memFree=19042004/36427776 swapFree=4312/7856
[pid=26271] ppid=26269 vsize=5760 CPUtime=0.08
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 1327 0 0 0 8 0 0 0 20 0 1 0 655102328 5898240 1283 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 1440 1284 75 177 0 1262 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5760

[startup+0.10489 s]
/proc/loadavg: 15.90 15.29 14.92 2/184 26271
/proc/meminfo: memFree=19042004/36427776 swapFree=4312/7856
[pid=26271] ppid=26269 vsize=7260 CPUtime=0.1
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 1667 0 0 0 10 0 0 0 20 0 1 0 655102328 7434240 1623 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 1815 1624 75 177 0 1637 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7260

[startup+0.300954 s]
/proc/loadavg: 15.90 15.29 14.92 2/184 26271
/proc/meminfo: memFree=19042004/36427776 swapFree=4312/7856
[pid=26271] ppid=26269 vsize=14268 CPUtime=0.3
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 3358 0 0 0 30 0 0 0 20 0 1 0 655102328 14610432 3314 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 3600 3316 76 177 0 3422 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14268

[startup+0.700956 s]
/proc/loadavg: 15.90 15.29 14.92 2/184 26271
/proc/meminfo: memFree=19042004/36427776 swapFree=4312/7856
[pid=26271] ppid=26269 vsize=21772 CPUtime=0.7
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 5676 0 0 0 68 2 0 0 20 0 1 0 655102328 22294528 5219 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 5443 5219 77 177 0 5265 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21772

[startup+1.50103 s]
/proc/loadavg: 15.90 15.29 14.92 2/185 26272
/proc/meminfo: memFree=19016672/36427776 swapFree=4320/33500
[pid=26271] ppid=26269 vsize=26156 CPUtime=1.5
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 6802 0 0 0 146 4 0 0 20 0 1 0 655102328 26783744 6345 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 6539 6345 77 177 0 6361 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 26156

[startup+3.10119 s]
/proc/loadavg: 15.90 15.29 14.92 2/185 26272
/proc/meminfo: memFree=19014564/36427776 swapFree=4620/34444
[pid=26271] ppid=26269 vsize=26448 CPUtime=3.1
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 6868 0 0 0 306 4 0 0 20 0 1 0 655102328 27082752 6411 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134600718 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 6612 6411 77 177 0 6434 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 26448

[startup+6.30546 s]
/proc/loadavg: 14.71 15.06 14.84 2/185 26272
/proc/meminfo: memFree=19014316/36427776 swapFree=4620/34696
[pid=26271] ppid=26269 vsize=26580 CPUtime=6.3
/proc/26271/stat : 26271 (ttsth-5-0) R 26269 26271 15497 0 -1 4202496 6887 0 0 0 626 4 0 0 20 0 1 0 655102328 27217920 6430 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134600707 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 6645 6430 77 177 0 6467 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 26580

[startup+12.7063 s]
/proc/loadavg: 13.61 14.82 14.77 17/201 26288
/proc/meminfo: memFree=18709948/36427776 swapFree=4692/340352
[pid=26271] ppid=26269 vsize=462388 CPUtime=40.38
/proc/26271/stat : 26271 (ttsth-5-0) S 26269 26271 15497 0 -1 4202496 84855 0 0 0 2196 1842 0 0 20 0 17 0 655102328 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 115597 84128 95 177 0 115419 0
[pid=26271/tid=26273] ppid=26269 vsize=462388 CPUtime=1.92
/proc/26271/task/26273/stat : 26273 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 513 0 0 0 172 20 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26271/tid=26274] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26274/stat : 26274 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 170 0 0 0 66 118 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26271/tid=26275] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26275/stat : 26275 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 195 0 0 0 66 118 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26271/tid=26276] ppid=26269 vsize=462388 CPUtime=1.86
/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 176 0 0 0 74 112 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 233 0 0 0 66 118 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=462388 CPUtime=1.86
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 241 0 0 0 66 120 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 219 0 0 0 66 118 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 219 0 0 0 58 126 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 304 0 0 0 62 122 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=462388 CPUtime=1.82
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 177 0 0 0 62 120 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 283 0 0 0 66 118 0 0 20 0 17 0 655103408 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=462388 CPUtime=1.86
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 220 0 0 0 56 130 0 0 20 0 17 0 655103409 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 209 0 0 0 66 118 0 0 20 0 17 0 655103409 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 219 0 0 0 66 118 0 0 20 0 17 0 655103409 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=462388 CPUtime=1.8
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 330 0 0 0 66 114 0 0 20 0 17 0 655103409 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134680470 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=462388 CPUtime=1.84
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 272 0 0 0 72 112 0 0 20 0 17 0 655103411 473485312 84128 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 40.38
Current children cumulated vsize (KiB) 462388

[startup+25.5013 s]
/proc/loadavg: 14.14 14.88 14.79 17/201 26288
/proc/meminfo: memFree=18626856/36427776 swapFree=4692/423524
[pid=26271] ppid=26269 vsize=548816 CPUtime=241.71
/proc/26271/stat : 26271 (ttsth-5-0) S 26269 26271 15497 0 -1 4202496 105352 0 0 0 19154 5017 0 0 20 0 17 0 655102328 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 137204 104625 95 177 0 137026 0
[pid=26271/tid=26273] ppid=26269 vsize=548816 CPUtime=14.68
/proc/26271/task/26273/stat : 26273 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 5707 0 0 0 1444 24 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26271/tid=26274] ppid=26269 vsize=548816 CPUtime=14.48
/proc/26271/task/26274/stat : 26274 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 996 0 0 0 1124 324 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26271/tid=26275] ppid=26269 vsize=548816 CPUtime=14.46
/proc/26271/task/26275/stat : 26275 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1517 0 0 0 1128 318 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26271/tid=26276] ppid=26269 vsize=548816 CPUtime=14.5
/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1167 0 0 0 1156 294 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134590133 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=548816 CPUtime=14.48
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1022 0 0 0 1114 334 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=548816 CPUtime=14.52
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1892 0 0 0 1144 308 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=548816 CPUtime=14.42
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1127 0 0 0 1112 330 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134550408 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=548816 CPUtime=14.46
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1345 0 0 0 1128 318 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=548816 CPUtime=14
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2755 0 0 0 968 432 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=548816 CPUtime=14.4
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 752 0 0 0 1090 350 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=548816 CPUtime=14.48
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1372 0 0 0 1140 308 0 0 20 0 17 0 655103408 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=548816 CPUtime=14.44
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 745 0 0 0 1122 322 0 0 20 0 17 0 655103409 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=548816 CPUtime=14.44
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 962 0 0 0 1106 338 0 0 20 0 17 0 655103409 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=548816 CPUtime=14.46
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 911 0 0 0 1104 342 0 0 20 0 17 0 655103409 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=548816 CPUtime=14.12
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1022 0 0 0 1070 342 0 0 20 0 17 0 655103409 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134680499 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=548816 CPUtime=14.48
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1185 0 0 0 1156 292 0 0 20 0 17 0 655103411 561987584 104625 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134590322 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 241.71
Current children cumulated vsize (KiB) 548816

[startup+51.1064 s]
/proc/loadavg: 14.77 14.97 14.82 17/201 26293
/proc/meminfo: memFree=18463724/36427776 swapFree=4692/586740
[pid=26271] ppid=26269 vsize=725532 CPUtime=641.03
/proc/26271/stat : 26271 (ttsth-5-0) S 26269 26271 15497 0 -1 4202496 146628 0 0 0 57231 6872 0 0 20 0 17 0 655102328 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 181383 145901 95 177 0 181205 0
[pid=26271/tid=26273] ppid=26269 vsize=725532 CPUtime=40.26
/proc/26271/task/26273/stat : 26273 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18985 0 0 0 3984 42 0 0 20 0 17 0 655103408 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26271/tid=26274] ppid=26269 vsize=725532 CPUtime=39.92
/proc/26271/task/26274/stat : 26274 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2179 0 0 0 3532 460 0 0 20 0 17 0 655103408 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26271/tid=26275] ppid=26269 vsize=725532 CPUtime=39.96
/proc/26271/task/26275/stat : 26275 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 4794 0 0 0 3564 432 0 0 20 0 17 0 655103408 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26271/tid=26276] ppid=26269 vsize=725532 CPUtime=36.32
/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2015 0 0 0 3212 420 0 0 20 0 17 0 655103408 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=725532 CPUtime=39.47
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2382 0 0 0 3473 474 0 0 20 0 17 0 655103408 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=725532 CPUtime=40.03
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 4913 0 0 0 3597 406 0 0 20 0 17 0 655103408 742944768 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=725688 CPUtime=39.84
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 3488 0 0 0 3548 436 0 0 20 0 17 0 655103408 743104512 145901 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134591116 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=725688 CPUtime=39.91
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 4233 0 0 0 3557 434 0 0 20 0 17 0 655103408 743104512 145902 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=725688 CPUtime=39.24
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 5533 0 0 0 3338 586 0 0 20 0 17 0 655103408 743104512 145902 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=725688 CPUtime=39.79
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2172 0 0 0 3485 494 0 0 20 0 17 0 655103408 743104512 145902 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=725688 CPUtime=39.97
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 3678 0 0 0 3579 418 0 0 20 0 17 0 655103408 743104512 145902 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=725688 CPUtime=39.84
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1575 0 0 0 3532 452 0 0 20 0 17 0 655103409 743104512 145902 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=725688 CPUtime=39.89
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2912 0 0 0 3539 450 0 0 20 0 17 0 655103409 743104512 145902 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=725688 CPUtime=39.91
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 2597 0 0 0 3525 466 0 0 20 0 17 0 655103409 743104512 145903 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=725688 CPUtime=39.03
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 1992 0 0 0 3429 474 0 0 20 0 17 0 655103409 743104512 145903 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 7 0 0 0 0 0

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

/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 11274 0 0 0 31974 718 0 0 20 0 17 0 655103408 1762971648 379660 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=1721652 CPUtime=330.18
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 12941 0 0 0 32296 722 0 0 20 0 17 0 655103408 1762971648 379660 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=1721652 CPUtime=330.9
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 17349 0 0 0 32492 598 0 0 20 0 17 0 655103408 1762971648 379660 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=1721652 CPUtime=330.54
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 17436 0 0 0 32372 682 0 0 20 0 17 0 655103408 1762971648 379660 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562416 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=1721652 CPUtime=330.76
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 16325 0 0 0 32444 632 0 0 20 0 17 0 655103408 1762971648 379660 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=1721652 CPUtime=330.08
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 14561 0 0 0 32230 778 0 0 20 0 17 0 655103408 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=1721652 CPUtime=330.44
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 9948 0 0 0 32280 764 0 0 20 0 17 0 655103408 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=1721652 CPUtime=330.86
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 15267 0 0 0 32488 598 0 0 20 0 17 0 655103408 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=1721652 CPUtime=330.54
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 10381 0 0 0 32360 694 0 0 20 0 17 0 655103409 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=1721652 CPUtime=330.7
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 14659 0 0 0 32412 658 0 0 20 0 17 0 655103409 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=1721652 CPUtime=330.7
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 14234 0 0 0 32370 700 0 0 20 0 17 0 655103409 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=1721652 CPUtime=323.83
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 9758 0 0 0 31651 732 0 0 20 0 17 0 655103409 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=1721652 CPUtime=327.52
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 9825 0 0 0 32126 626 0 0 20 0 17 0 655103411 1762971648 379661 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 5287.86
Current children cumulated vsize (KiB) 1721652

[startup+402.303 s]
/proc/loadavg: 15.99 15.67 15.17 17/201 26298
/proc/meminfo: memFree=17407336/36427776 swapFree=4692/1641300
[pid=26271] ppid=26269 vsize=1845556 CPUtime=6245.8
/proc/26271/stat : 26271 (ttsth-5-0) S 26269 26271 15497 0 -1 4202496 409214 0 0 0 613776 10804 0 0 20 0 17 0 655102328 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 461389 408487 95 177 0 461211 0
[pid=26271/tid=26273] ppid=26269 vsize=1845556 CPUtime=391.42
/proc/26271/task/26273/stat : 26273 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 94970 0 0 0 38922 220 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26271/tid=26274] ppid=26269 vsize=1845556 CPUtime=390.65
/proc/26271/task/26274/stat : 26274 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 21001 0 0 0 38349 716 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26271/tid=26275] ppid=26269 vsize=1845556 CPUtime=390.78
/proc/26271/task/26275/stat : 26275 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 20200 0 0 0 38420 658 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562388 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26271/tid=26276] ppid=26269 vsize=1845556 CPUtime=386.85
/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 12420 0 0 0 37941 744 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=1845556 CPUtime=390.12
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 14485 0 0 0 38268 744 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=1845556 CPUtime=390.88
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18930 0 0 0 38472 616 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=1845556 CPUtime=390.47
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18806 0 0 0 38347 700 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=1845556 CPUtime=390.71
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18680 0 0 0 38419 652 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=1845556 CPUtime=390.02
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 15438 0 0 0 38212 790 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=1845556 CPUtime=390.39
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 11247 0 0 0 38253 786 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=1845556 CPUtime=390.82
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 16717 0 0 0 38470 612 0 0 20 0 17 0 655103408 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=1845556 CPUtime=390.48
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 11866 0 0 0 38334 714 0 0 20 0 17 0 655103409 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562413 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=1845556 CPUtime=390.64
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 16048 0 0 0 38380 684 0 0 20 0 17 0 655103409 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=1845556 CPUtime=390.64
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 16012 0 0 0 38340 724 0 0 20 0 17 0 655103409 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=1845556 CPUtime=382.55
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 10677 0 0 0 37503 752 0 0 20 0 17 0 655103409 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=1845556 CPUtime=387.47
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 10842 0 0 0 38097 650 0 0 20 0 17 0 655103411 1889849344 408487 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134588397 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 6245.8
Current children cumulated vsize (KiB) 1845556

[startup+462.306 s]
/proc/loadavg: 15.99 15.72 15.22 17/201 26298
/proc/meminfo: memFree=17280112/36427776 swapFree=4692/1768112
[pid=26271] ppid=26269 vsize=1978700 CPUtime=7204.16
/proc/26271/stat : 26271 (ttsth-5-0) S 26269 26271 15497 0 -1 4202496 440557 0 0 0 709309 11107 0 0 20 0 17 0 655102328 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 494675 439830 95 177 0 494497 0
[pid=26271/tid=26273] ppid=26269 vsize=1978700 CPUtime=451.41
/proc/26271/task/26273/stat : 26273 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 105614 0 0 0 44899 242 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562430 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26271/tid=26274] ppid=26269 vsize=1978700 CPUtime=450.64
/proc/26271/task/26274/stat : 26274 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 23029 0 0 0 44332 732 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26271/tid=26275] ppid=26269 vsize=1978700 CPUtime=450.76
/proc/26271/task/26275/stat : 26275 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 21222 0 0 0 44396 680 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26271/tid=26276] ppid=26269 vsize=1978700 CPUtime=446.81
/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 13239 0 0 0 43911 770 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=1978700 CPUtime=450.08
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 16043 0 0 0 44244 764 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=1978700 CPUtime=450.84
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 19974 0 0 0 44452 632 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=1978700 CPUtime=450.44
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 21040 0 0 0 44326 718 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=1978700 CPUtime=450.67
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 20815 0 0 0 44401 666 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=1978700 CPUtime=450
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 16627 0 0 0 44198 802 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=1978700 CPUtime=450.37
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 12656 0 0 0 44227 810 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=1978700 CPUtime=450.8
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18139 0 0 0 44456 624 0 0 20 0 17 0 655103408 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=1978700 CPUtime=450.45
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 12972 0 0 0 44317 728 0 0 20 0 17 0 655103409 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=1978700 CPUtime=450.61
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 17603 0 0 0 44355 706 0 0 20 0 17 0 655103409 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134549878 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=1978700 CPUtime=450.61
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 17070 0 0 0 44317 744 0 0 20 0 17 0 655103409 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=1978700 CPUtime=441.25
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 11843 0 0 0 43353 772 0 0 20 0 17 0 655103409 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=1978700 CPUtime=447.44
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 11796 0 0 0 44070 674 0 0 20 0 17 0 655103411 2026188800 439830 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 7204.16
Current children cumulated vsize (KiB) 1978700



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+518.403 s]
/proc/loadavg: 15.99 15.77 15.27 18/201 26298
/proc/meminfo: memFree=17171116/36427776 swapFree=4692/1877340
[pid=26271] ppid=26269 vsize=2096196 CPUtime=8100.33
/proc/26271/stat : 26271 (ttsth-5-0) S 26269 26271 15497 0 -1 4202496 467859 0 0 0 798685 11348 0 0 20 0 17 0 655102328 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 524049 467132 95 177 0 523871 0
[pid=26271/tid=26273] ppid=26269 vsize=2096196 CPUtime=507.53
/proc/26271/task/26273/stat : 26273 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 112801 0 0 0 50499 254 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26271/tid=26274] ppid=26269 vsize=2096196 CPUtime=506.73
/proc/26271/task/26274/stat : 26274 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 24634 0 0 0 49929 744 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562323 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26271/tid=26275] ppid=26269 vsize=2096196 CPUtime=506.85
/proc/26271/task/26275/stat : 26275 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 22572 0 0 0 49993 692 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26271/tid=26276] ppid=26269 vsize=2096196 CPUtime=502.87
/proc/26271/task/26276/stat : 26276 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 14515 0 0 0 49497 790 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26271/tid=26277] ppid=26269 vsize=2096196 CPUtime=506.19
/proc/26271/task/26277/stat : 26277 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 17377 0 0 0 49833 786 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562320 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26271/tid=26278] ppid=26269 vsize=2096196 CPUtime=506.95
/proc/26271/task/26278/stat : 26278 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 21489 0 0 0 50047 648 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26271/tid=26279] ppid=26269 vsize=2096196 CPUtime=506.51
/proc/26271/task/26279/stat : 26279 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 22701 0 0 0 49915 736 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562331 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26271/tid=26280] ppid=26269 vsize=2096196 CPUtime=506.75
/proc/26271/task/26280/stat : 26280 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 22474 0 0 0 49997 678 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26271/tid=26281] ppid=26269 vsize=2096196 CPUtime=506.09
/proc/26271/task/26281/stat : 26281 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 17934 0 0 0 49793 816 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26271/tid=26282] ppid=26269 vsize=2096196 CPUtime=506.45
/proc/26271/task/26282/stat : 26282 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 13777 0 0 0 49819 826 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26271/tid=26283] ppid=26269 vsize=2096196 CPUtime=506.91
/proc/26271/task/26283/stat : 26283 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 19256 0 0 0 50057 634 0 0 20 0 17 0 655103408 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26271/tid=26284] ppid=26269 vsize=2096196 CPUtime=506.51
/proc/26271/task/26284/stat : 26284 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 13957 0 0 0 49909 742 0 0 20 0 17 0 655103409 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26271/tid=26285] ppid=26269 vsize=2096196 CPUtime=506.71
/proc/26271/task/26285/stat : 26285 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18992 0 0 0 49945 726 0 0 20 0 17 0 655103409 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562401 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26271/tid=26286] ppid=26269 vsize=2096196 CPUtime=506.71
/proc/26271/task/26286/stat : 26286 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 18251 0 0 0 49913 758 0 0 20 0 17 0 655103409 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26271/tid=26287] ppid=26269 vsize=2096196 CPUtime=496.13
/proc/26271/task/26287/stat : 26287 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 13561 0 0 0 48825 788 0 0 20 0 17 0 655103409 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=2096196 CPUtime=503.51
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4202560 12693 0 0 0 49661 690 0 0 20 0 17 0 655103411 2146504704 467132 18446744073709551615 134512640 135237372 4289980944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 8100.33
Current children cumulated vsize (KiB) 2096196

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

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

[startup+518.527 s]
/proc/loadavg: 15.99 15.77 15.27 18/201 26298
/proc/meminfo: memFree=17171116/36427776 swapFree=4692/1877340
[pid=26271] ppid=26269 vsize=0 CPUtime=8100.59
/proc/26271/stat : 26271 (ttsth-5-0) Z 26269 26271 15497 0 -1 4203532 467860 0 0 0 798697 11362 0 0 20 0 2 0 655102328 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26271/statm: 0 0 0 0 0 0 0
[pid=26271/tid=26288] ppid=26269 vsize=0 CPUtime=503.63
/proc/26271/task/26288/stat : 26288 (ttsth-5-0) R 26269 26271 15497 0 -1 4203588 12693 0 0 0 49661 702 0 0 20 0 2 0 655103411 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) 8100.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 518.596
CPU time (s): 8100.66
CPU user time (s): 7986.98
CPU system time (s): 113.675
CPU usage (%): 1562.04
Max. virtual memory (cumulated for all children) (KiB): 2096196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7986.98
system time used= 113.675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467860
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= 148715
involuntary context switches= 19068

runsolver used 2.56416 second user time and 7.9885 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:39:20
IDJOB=1779960
IDBENCH=70943
IDSOLVER=634
FILE ID=xenhost3-49/1779960-1244957960
PBS_JOBID=
Free space on /tmp= 7021 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l43_lambda.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779960-1244957960/watcher-1779960-1244957960 -o /tmp/evaluation-result-1779960-1244957960/solver-1779960-1244957960 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779960-1244957960.cnf

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

MD5SUM BENCH= 040db958f11a89b7e62063379f36b96a
RANDOM SEED= 658698471

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:      19042448 kB
Buffers:        484460 kB
Cached:       14119260 kB
SwapCached:          0 kB
Active:        4131056 kB
Inactive:     10481868 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3344 kB
Writeback:           0 kB
AnonPages:        7856 kB
Mapped:           3648 kB
Slab:           721724 kB
SReclaimable:   694912 kB
SUnreclaim:      26812 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= 7021 MiB
End job on xenhost3-49 at 2009-06-14 07:48:00