Trace number 1779990

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) 2578.79 169.798

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l39_lambda.cnf
MD5SUMcc949593da8c10735a1b7ac8b30d4e4d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.25
Satisfiable
(Un)Satisfiability was proved
Number of variables27735
Number of clauses136449
Sum of the clauses size392486
Maximum clause length9
Minimum clause length1
Number of clauses of size 13722
Number of clauses of size 235083
Number of clauses of size 378429
Number of clauses of size 413232
Number of clauses of size 55866
Number of clauses of size over 5117

Solver Data 

0.20/0.25	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779990-1244958698.cnf 
0.20/0.25	c Using SATTIMEOUT of 10000
0.20/0.25	c Using SATRAM of 2047
0.20/0.25	c Size of subset node = 16
0.20/0.25	c Variables = 27735
0.20/0.25	c Clauses = 136449
0.20/0.25	c Literals = 392486
0.20/0.25	c Reduced size:
0.20/0.25	c Variables = 27735
0.20/0.25	c Clauses = 122058
0.20/0.25	c Literals = 356327
0.20/0.25	c a2
0.40/0.46	c a1
6.52/6.55	c Independent sub-problems = 1
6.52/6.55	c Sub-problem with 23105 variables and 122058 clauses
6.52/6.55	c using permutation method 4
6.52/6.55	c count = 1
6.52/6.55	c Ordering finished 6.500 seconds
6.52/6.55	c mapped 6.540 seconds
6.52/6.55	c permuted 6.540 seconds
6.52/6.55	c about to sort
6.52/6.58	c sorted
8.08/8.15	c clauses now 122058
8.08/8.15	c init finished 7.020 seconds
8.08/8.15	c tree built 8.140 seconds
8.08/8.15	c 
8.08/8.15	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
8.08/8.15	c ---------------------------------|----------------------------------|------------------------------------------------------
8.08/8.15	c ................................ | ..........                       |                        8.2           0.0            1
8.08/8.15	c ................................ | ..........                     1 |                        8.2           0.1            2
8.08/8.16	c ****************................ | ..........                     2 | 1                      8.2           0.2            3
8.08/8.16	c ****************................ | ..........                     3 | 1                      8.2           0.4            3
8.08/8.16	c ****************................ | ..........                     4 | 1                      8.2           0.5            3
8.08/8.16	c ****************................ | ..........                     5 | 1                      8.2           0.6            3
8.08/8.16	c ****************................ | ..........                     6 | 1                      8.2           0.7            3
10.16/8.32	c ****************................ | ..........                  1000 | 3                      9.4         106.3          331
223.08/21.88	c ****************................ | ..........                289000 | 11455                201.1        1437.5     12938435
429.52/34.83	c ****************................ | ..........                447000 | 18360                400.1        1117.1     23689495
633.02/47.67	c ****************................ | ..........                588000 | 24959                600.7         978.9     33890662
835.28/60.39	c ****************................ | ..........                680000 | 28726                801.5         848.4     42342881
1037.80/73.07	c ****************................ | *.........                765000 | 32247               1002.2         763.3     49984611
1238.58/85.69	c ****************................ | *.........                845000 | 35215               1202.0         703.0     57023953
1440.98/98.31	c ****************................ | *.........                925000 | 38373               1402.2         659.7     64061003
1640.20/110.89	c ****************................ | *.........               1001000 | 41715               1601.2         625.2     70436483
1842.64/123.55	c ****************................ | *.........               1072000 | 44744               1802.1         594.9     76319832
2043.65/136.13	c ****************................ | **........               1141000 | 47587               2001.9         570.0     81755417

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-1779990-1244958698/watcher-1779990-1244958698 -o /tmp/evaluation-result-1779990-1244958698/solver-1779990-1244958698 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779990-1244958698.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.56 15.34 15.18 2/184 26396
/proc/meminfo: memFree=19043104/36427776 swapFree=4012/8100
[pid=26396] ppid=26394 vsize=1548 CPUtime=0
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 655176177 1585152 237 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 387 237 75 177 0 209 0

[startup+0.065769 s]
/proc/loadavg: 14.56 15.34 15.18 2/184 26396
/proc/meminfo: memFree=19043104/36427776 swapFree=4012/8100
[pid=26396] ppid=26394 vsize=4968 CPUtime=0.06
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 1116 0 0 0 6 0 0 0 20 0 1 0 655176177 5087232 1073 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134639534 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 1242 1076 75 177 0 1064 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4968

[startup+0.10177 s]
/proc/loadavg: 14.56 15.34 15.18 2/184 26396
/proc/meminfo: memFree=19043104/36427776 swapFree=4012/8100
[pid=26396] ppid=26394 vsize=7128 CPUtime=0.1
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 1636 0 0 0 10 0 0 0 20 0 1 0 655176177 7299072 1594 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 1782 1594 75 177 0 1604 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7128

[startup+0.301816 s]
/proc/loadavg: 14.56 15.34 15.18 2/184 26396
/proc/meminfo: memFree=19043104/36427776 swapFree=4012/8100
[pid=26396] ppid=26394 vsize=19584 CPUtime=0.3
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 4666 0 0 0 28 2 0 0 20 0 1 0 655176177 20054016 4622 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134749343 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 4896 4622 76 177 0 4718 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19584

[startup+0.701835 s]
/proc/loadavg: 14.56 15.34 15.18 2/184 26396
/proc/meminfo: memFree=19043104/36427776 swapFree=4012/8100
[pid=26396] ppid=26394 vsize=21916 CPUtime=0.7
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 5699 0 0 0 66 4 0 0 20 0 1 0 655176177 22441984 5287 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 5479 5287 77 177 0 5301 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21916

[startup+1.5019 s]
/proc/loadavg: 14.56 15.34 15.18 2/185 26397
/proc/meminfo: memFree=19020812/36427776 swapFree=4344/30368
[pid=26396] ppid=26394 vsize=23264 CPUtime=1.5
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 6037 0 0 0 146 4 0 0 20 0 1 0 655176177 23822336 5625 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134555287 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 5816 5625 77 177 0 5638 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 23264

[startup+3.10206 s]
/proc/loadavg: 14.56 15.34 15.18 2/185 26397
/proc/meminfo: memFree=19019916/36427776 swapFree=4752/31084
[pid=26396] ppid=26394 vsize=23624 CPUtime=3.1
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 6116 0 0 0 306 4 0 0 20 0 1 0 655176177 24190976 5704 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134600718 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 5906 5704 77 177 0 5728 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 23624

[startup+6.30233 s]
/proc/loadavg: 13.48 15.10 15.11 2/185 26397
/proc/meminfo: memFree=19017416/36427776 swapFree=4620/31824
[pid=26396] ppid=26394 vsize=23624 CPUtime=6.3
/proc/26396/stat : 26396 (ttsth-5-0) R 26394 26396 15497 0 -1 4202496 6122 0 0 0 626 4 0 0 20 0 1 0 655176177 24190976 5710 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134600718 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 5906 5710 77 177 0 5728 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 23624

[startup+12.701 s]
/proc/loadavg: 13.68 15.11 15.11 17/201 26413
/proc/meminfo: memFree=18684492/36427776 swapFree=4692/368276
[pid=26396] ppid=26394 vsize=499700 CPUtime=79.13
/proc/26396/stat : 26396 (ttsth-5-0) S 26394 26396 15497 0 -1 4202496 93476 0 0 0 5422 2491 0 0 20 0 17 0 655176177 511692800 92824 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 124925 92824 95 177 0 124747 0
[pid=26396/tid=26398] ppid=26394 vsize=499700 CPUtime=4.52
/proc/26396/task/26398/stat : 26398 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4324 0 0 0 438 14 0 0 20 0 17 0 655176992 511692800 92824 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26396/tid=26399] ppid=26394 vsize=499700 CPUtime=4.44
/proc/26396/task/26399/stat : 26399 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 982 0 0 0 282 162 0 0 20 0 17 0 655176992 511692800 92825 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26396/tid=26400] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26400/stat : 26400 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1100 0 0 0 274 168 0 0 20 0 17 0 655176992 511692800 92825 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26396/tid=26401] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26401/stat : 26401 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 817 0 0 0 272 170 0 0 20 0 17 0 655176992 511692800 92825 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26396/tid=26402] ppid=26394 vsize=499700 CPUtime=4.44
/proc/26396/task/26402/stat : 26402 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1387 0 0 0 278 166 0 0 20 0 17 0 655176992 511692800 92825 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26396/tid=26403] ppid=26394 vsize=499700 CPUtime=4.44
/proc/26396/task/26403/stat : 26403 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1473 0 0 0 282 162 0 0 20 0 17 0 655176992 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26396/tid=26404] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26404/stat : 26404 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 923 0 0 0 274 168 0 0 20 0 17 0 655176992 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26396/tid=26405] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26405/stat : 26405 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1459 0 0 0 286 156 0 0 20 0 17 0 655176993 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26396/tid=26406] ppid=26394 vsize=499700 CPUtime=4.44
/proc/26396/task/26406/stat : 26406 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1304 0 0 0 282 162 0 0 20 0 17 0 655176993 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26396/tid=26407] ppid=26394 vsize=499700 CPUtime=4.44
/proc/26396/task/26407/stat : 26407 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 820 0 0 0 266 178 0 0 20 0 17 0 655176993 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134519962 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26396/tid=26408] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26408/stat : 26408 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 826 0 0 0 282 160 0 0 20 0 17 0 655176993 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26396/tid=26409] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26409/stat : 26409 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1229 0 0 0 282 160 0 0 20 0 17 0 655176993 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26396/tid=26410] ppid=26394 vsize=499700 CPUtime=4.44
/proc/26396/task/26410/stat : 26410 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1411 0 0 0 284 160 0 0 20 0 17 0 655176993 511692800 92826 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134550980 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26396/tid=26411] ppid=26394 vsize=499700 CPUtime=4.34
/proc/26396/task/26411/stat : 26411 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 992 0 0 0 276 158 0 0 20 0 17 0 655176993 511692800 92827 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26396/tid=26412] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26412/stat : 26412 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1193 0 0 0 284 158 0 0 20 0 17 0 655176993 511692800 92827 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=499700 CPUtime=4.42
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 1012 0 0 0 284 158 0 0 20 0 17 0 655176994 511692800 92827 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 79.13
Current children cumulated vsize (KiB) 499700

[startup+25.504 s]
/proc/loadavg: 14.12 15.14 15.12 17/201 26413
/proc/meminfo: memFree=18467568/36427776 swapFree=4692/582868
[pid=26396] ppid=26394 vsize=721628 CPUtime=281.81
/proc/26396/stat : 26396 (ttsth-5-0) S 26394 26396 15497 0 -1 4202496 145617 0 0 0 23454 4727 0 0 20 0 17 0 655176177 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 180407 144965 95 177 0 180229 0
[pid=26396/tid=26398] ppid=26394 vsize=721628 CPUtime=17.3
/proc/26396/task/26398/stat : 26398 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 12040 0 0 0 1704 26 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134593356 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26396/tid=26399] ppid=26394 vsize=721628 CPUtime=17.14
/proc/26396/task/26399/stat : 26399 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 3782 0 0 0 1428 286 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26396/tid=26400] ppid=26394 vsize=721628 CPUtime=17.12
/proc/26396/task/26400/stat : 26400 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4847 0 0 0 1372 340 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26396/tid=26401] ppid=26394 vsize=721628 CPUtime=17.08
/proc/26396/task/26401/stat : 26401 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 2740 0 0 0 1370 338 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26396/tid=26402] ppid=26394 vsize=721628 CPUtime=17.14
/proc/26396/task/26402/stat : 26402 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4416 0 0 0 1410 304 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26396/tid=26403] ppid=26394 vsize=721628 CPUtime=17.08
/proc/26396/task/26403/stat : 26403 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 5104 0 0 0 1382 326 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26396/tid=26404] ppid=26394 vsize=721628 CPUtime=17.06
/proc/26396/task/26404/stat : 26404 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 3927 0 0 0 1368 338 0 0 20 0 17 0 655176992 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134590101 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26396/tid=26405] ppid=26394 vsize=721628 CPUtime=17.08
/proc/26396/task/26405/stat : 26405 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 5474 0 0 0 1410 298 0 0 20 0 17 0 655176993 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134593217 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26396/tid=26406] ppid=26394 vsize=721628 CPUtime=17.12
/proc/26396/task/26406/stat : 26406 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4702 0 0 0 1414 298 0 0 20 0 17 0 655176993 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26396/tid=26407] ppid=26394 vsize=721628 CPUtime=17.12
/proc/26396/task/26407/stat : 26407 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 3486 0 0 0 1394 318 0 0 20 0 17 0 655176993 738947072 144965 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26396/tid=26408] ppid=26394 vsize=721628 CPUtime=17.06
/proc/26396/task/26408/stat : 26408 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4151 0 0 0 1374 332 0 0 20 0 17 0 655176993 738947072 144966 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26396/tid=26409] ppid=26394 vsize=721628 CPUtime=17.12
/proc/26396/task/26409/stat : 26409 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4025 0 0 0 1438 274 0 0 20 0 17 0 655176993 738947072 144966 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26396/tid=26410] ppid=26394 vsize=721628 CPUtime=17.12
/proc/26396/task/26410/stat : 26410 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 4558 0 0 0 1404 308 0 0 20 0 17 0 655176993 738947072 144966 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26396/tid=26411] ppid=26394 vsize=721628 CPUtime=16.78
/proc/26396/task/26411/stat : 26411 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 3386 0 0 0 1370 308 0 0 20 0 17 0 655176993 738947072 144966 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134549963 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26396/tid=26412] ppid=26394 vsize=721628 CPUtime=17.06
/proc/26396/task/26412/stat : 26412 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 3524 0 0 0 1382 324 0 0 20 0 17 0 655176993 738947072 144966 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=721628 CPUtime=17.14
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 3229 0 0 0 1436 278 0 0 20 0 17 0 655176994 738947072 144966 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 281.81
Current children cumulated vsize (KiB) 721628

[startup+51.1023 s]
/proc/loadavg: 14.76 15.21 15.14 17/201 26413
/proc/meminfo: memFree=18135228/36427776 swapFree=4692/915488
[pid=26396] ppid=26394 vsize=1079496 CPUtime=688.74
/proc/26396/stat : 26396 (ttsth-5-0) S 26394 26396 15497 0 -1 4202496 229692 0 0 0 62290 6584 0 0 20 0 17 0 655176177 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 269874 229040 95 177 0 269696 0
[pid=26396/tid=26398] ppid=26394 vsize=1079496 CPUtime=42.89
/proc/26396/task/26398/stat : 26398 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 22290 0 0 0 4245 44 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26396/tid=26399] ppid=26394 vsize=1079496 CPUtime=42.59
/proc/26396/task/26399/stat : 26399 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 7897 0 0 0 3857 402 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26396/tid=26400] ppid=26394 vsize=1079496 CPUtime=42.56
/proc/26396/task/26400/stat : 26400 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 13296 0 0 0 3762 494 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26396/tid=26401] ppid=26394 vsize=1079496 CPUtime=42.56
/proc/26396/task/26401/stat : 26401 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 5298 0 0 0 3798 458 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134565949 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26396/tid=26402] ppid=26394 vsize=1079496 CPUtime=42.64
/proc/26396/task/26402/stat : 26402 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 8508 0 0 0 3864 400 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26396/tid=26403] ppid=26394 vsize=1079496 CPUtime=42.51
/proc/26396/task/26403/stat : 26403 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 9533 0 0 0 3795 456 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26396/tid=26404] ppid=26394 vsize=1079496 CPUtime=42.49
/proc/26396/task/26404/stat : 26404 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 8742 0 0 0 3777 472 0 0 20 0 17 0 655176992 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26396/tid=26405] ppid=26394 vsize=1079496 CPUtime=42.55
/proc/26396/task/26405/stat : 26405 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 9963 0 0 0 3845 410 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26396/tid=26406] ppid=26394 vsize=1079496 CPUtime=42.58
/proc/26396/task/26406/stat : 26406 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 11194 0 0 0 3844 414 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26396/tid=26407] ppid=26394 vsize=1079496 CPUtime=42.59
/proc/26396/task/26407/stat : 26407 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 9973 0 0 0 3819 440 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26396/tid=26408] ppid=26394 vsize=1079496 CPUtime=42.49
/proc/26396/task/26408/stat : 26408 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 8485 0 0 0 3777 472 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26396/tid=26409] ppid=26394 vsize=1079496 CPUtime=42.63
/proc/26396/task/26409/stat : 26409 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 8531 0 0 0 3901 362 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26396/tid=26410] ppid=26394 vsize=1079496 CPUtime=42.58
/proc/26396/task/26410/stat : 26410 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 12379 0 0 0 3810 448 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26396/tid=26411] ppid=26394 vsize=1079496 CPUtime=41.78
/proc/26396/task/26411/stat : 26411 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 6805 0 0 0 3768 410 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26396/tid=26412] ppid=26394 vsize=1079496 CPUtime=42.46
/proc/26396/task/26412/stat : 26412 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 7269 0 0 0 3778 468 0 0 20 0 17 0 655176993 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=1079496 CPUtime=42.6
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 7303 0 0 0 3858 402 0 0 20 0 17 0 655176994 1105403904 229040 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 688.74
Current children cumulated vsize (KiB) 1079496

[startup+102.315 s]
/proc/loadavg: 15.46 15.33 15.19 17/201 26413
/proc/meminfo: memFree=17644920/36427776 swapFree=4692/1404772
[pid=26396] ppid=26394 vsize=1594412 CPUtime=1504.97
/proc/26396/stat : 26396 (ttsth-5-0) S 26394 26396 15497 0 -1 4202496 349915 0 0 0 142367 8130 0 0 20 0 17 0 655176177 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 398603 349263 95 177 0 398425 0
[pid=26396/tid=26398] ppid=26394 vsize=1594412 CPUtime=94.08
/proc/26396/task/26398/stat : 26398 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 35572 0 0 0 9336 72 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26396/tid=26399] ppid=26394 vsize=1594412 CPUtime=93.6
/proc/26396/task/26399/stat : 26399 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 12991 0 0 0 8828 532 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26396/tid=26400] ppid=26394 vsize=1594412 CPUtime=93.6
/proc/26396/task/26400/stat : 26400 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18748 0 0 0 8768 592 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26396/tid=26401] ppid=26394 vsize=1594412 CPUtime=93.56
/proc/26396/task/26401/stat : 26401 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 12223 0 0 0 8770 586 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26396/tid=26402] ppid=26394 vsize=1594412 CPUtime=93.72
/proc/26396/task/26402/stat : 26402 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 17212 0 0 0 8856 516 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26396/tid=26403] ppid=26394 vsize=1594412 CPUtime=93.58
/proc/26396/task/26403/stat : 26403 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 15398 0 0 0 8808 550 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26396/tid=26404] ppid=26394 vsize=1594412 CPUtime=93.49
/proc/26396/task/26404/stat : 26404 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 17892 0 0 0 8739 610 0 0 20 0 17 0 655176992 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26396/tid=26405] ppid=26394 vsize=1594412 CPUtime=93.65
/proc/26396/task/26405/stat : 26405 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 20201 0 0 0 8863 502 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26396/tid=26406] ppid=26394 vsize=1594412 CPUtime=93.65
/proc/26396/task/26406/stat : 26406 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 21015 0 0 0 8841 524 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26396/tid=26407] ppid=26394 vsize=1594412 CPUtime=93.67
/proc/26396/task/26407/stat : 26407 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 16987 0 0 0 8855 512 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26396/tid=26408] ppid=26394 vsize=1594412 CPUtime=93.59
/proc/26396/task/26408/stat : 26408 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 12709 0 0 0 8801 558 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26396/tid=26409] ppid=26394 vsize=1594412 CPUtime=93.76
/proc/26396/task/26409/stat : 26409 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 14335 0 0 0 8942 434 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26396/tid=26410] ppid=26394 vsize=1594412 CPUtime=93.64
/proc/26396/task/26410/stat : 26410 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 23902 0 0 0 8822 542 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26396/tid=26411] ppid=26394 vsize=1594412 CPUtime=91.9
/proc/26396/task/26411/stat : 26411 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 13024 0 0 0 8700 490 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26396/tid=26412] ppid=26394 vsize=1594412 CPUtime=93.5
/proc/26396/task/26412/stat : 26412 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 13055 0 0 0 8776 574 0 0 20 0 17 0 655176993 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134634688 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=1594412 CPUtime=93.69
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 12425 0 0 0 8865 504 0 0 20 0 17 0 655176994 1632677888 349263 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1504.97
Current children cumulated vsize (KiB) 1594412

[startup+162.303 s]
/proc/loadavg: 15.80 15.45 15.23 17/201 26413
/proc/meminfo: memFree=17224488/36427776 swapFree=4692/1825028
[pid=26396] ppid=26394 vsize=2046556 CPUtime=2461.76
/proc/26396/stat : 26396 (ttsth-5-0) S 26394 26396 15497 0 -1 4202496 455790 0 0 0 236828 9348 0 0 20 0 17 0 655176177 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 511639 455138 95 177 0 511461 0
[pid=26396/tid=26398] ppid=26394 vsize=2046556 CPUtime=154.07
/proc/26396/task/26398/stat : 26398 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 46622 0 0 0 15313 94 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26396/tid=26399] ppid=26394 vsize=2046556 CPUtime=153.41
/proc/26396/task/26399/stat : 26399 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 17367 0 0 0 14701 640 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26396/tid=26400] ppid=26394 vsize=2046556 CPUtime=153.45
/proc/26396/task/26400/stat : 26400 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 23728 0 0 0 14665 680 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26396/tid=26401] ppid=26394 vsize=2046556 CPUtime=153.41
/proc/26396/task/26401/stat : 26401 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 20421 0 0 0 14653 688 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134680290 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26396/tid=26402] ppid=26394 vsize=2046556 CPUtime=153.61
/proc/26396/task/26402/stat : 26402 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 24599 0 0 0 14775 586 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26396/tid=26403] ppid=26394 vsize=2046556 CPUtime=153.39
/proc/26396/task/26403/stat : 26403 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 20069 0 0 0 14705 634 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134681633 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26396/tid=26404] ppid=26394 vsize=2046556 CPUtime=153.32
/proc/26396/task/26404/stat : 26404 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 26099 0 0 0 14622 710 0 0 20 0 17 0 655176992 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134728964 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26396/tid=26405] ppid=26394 vsize=2046556 CPUtime=153.54
/proc/26396/task/26405/stat : 26405 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 28082 0 0 0 14788 566 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26396/tid=26406] ppid=26394 vsize=2046556 CPUtime=153.55
/proc/26396/task/26406/stat : 26406 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 27072 0 0 0 14771 584 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26396/tid=26407] ppid=26394 vsize=2046556 CPUtime=153.57
/proc/26396/task/26407/stat : 26407 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 24369 0 0 0 14767 590 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26396/tid=26408] ppid=26394 vsize=2046556 CPUtime=153.4
/proc/26396/task/26408/stat : 26408 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18420 0 0 0 14684 656 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26396/tid=26409] ppid=26394 vsize=2046556 CPUtime=153.66
/proc/26396/task/26409/stat : 26409 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 20089 0 0 0 14878 488 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26396/tid=26410] ppid=26394 vsize=2046556 CPUtime=153.53
/proc/26396/task/26410/stat : 26410 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 33253 0 0 0 14741 612 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26396/tid=26411] ppid=26394 vsize=2046556 CPUtime=150.6
/proc/26396/task/26411/stat : 26411 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18151 0 0 0 14500 560 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134592187 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26396/tid=26412] ppid=26394 vsize=2046556 CPUtime=153.34
/proc/26396/task/26412/stat : 26412 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18211 0 0 0 14688 646 0 0 20 0 17 0 655176993 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=2046556 CPUtime=153.56
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 17012 0 0 0 14774 582 0 0 20 0 17 0 655176994 2095673344 455138 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2461.76
Current children cumulated vsize (KiB) 2046556



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+169.605 s]
/proc/loadavg: 15.82 15.46 15.24 17/201 26413
/proc/meminfo: memFree=17173772/36427776 swapFree=4692/1875332
[pid=26396] ppid=26394 vsize=2097180 CPUtime=2578.44
/proc/26396/stat : 26396 (ttsth-5-0) S 26394 26396 15497 0 -1 4202496 467587 0 0 0 248393 9451 0 0 20 0 17 0 655176177 2147512320 466935 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 524295 466935 95 177 0 524117 0
[pid=26396/tid=26398] ppid=26394 vsize=2097180 CPUtime=161.37
/proc/26396/task/26398/stat : 26398 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 47533 0 0 0 16043 94 0 0 20 0 17 0 655176992 2147512320 466935 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26396/tid=26399] ppid=26394 vsize=2097180 CPUtime=160.71
/proc/26396/task/26399/stat : 26399 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 17834 0 0 0 15421 650 0 0 20 0 17 0 655176992 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26396/tid=26400] ppid=26394 vsize=2097180 CPUtime=160.75
/proc/26396/task/26400/stat : 26400 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 24295 0 0 0 15389 686 0 0 20 0 17 0 655176992 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26396/tid=26401] ppid=26394 vsize=2097180 CPUtime=160.71
/proc/26396/task/26401/stat : 26401 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 21593 0 0 0 15373 698 0 0 20 0 17 0 655176992 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26396/tid=26402] ppid=26394 vsize=2097180 CPUtime=160.92
/proc/26396/task/26402/stat : 26402 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 25309 0 0 0 15498 594 0 0 20 0 17 0 655176992 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26396/tid=26403] ppid=26394 vsize=2097180 CPUtime=160.7
/proc/26396/task/26403/stat : 26403 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 20565 0 0 0 15430 640 0 0 20 0 17 0 655176992 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26396/tid=26404] ppid=26394 vsize=2097180 CPUtime=160.62
/proc/26396/task/26404/stat : 26404 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 26848 0 0 0 15346 716 0 0 20 0 17 0 655176992 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26396/tid=26405] ppid=26394 vsize=2097180 CPUtime=160.86
/proc/26396/task/26405/stat : 26405 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 28738 0 0 0 15514 572 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26396/tid=26406] ppid=26394 vsize=2097180 CPUtime=160.86
/proc/26396/task/26406/stat : 26406 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 27841 0 0 0 15498 588 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26396/tid=26407] ppid=26394 vsize=2097180 CPUtime=160.87
/proc/26396/task/26407/stat : 26407 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 24961 0 0 0 15485 602 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26396/tid=26408] ppid=26394 vsize=2097180 CPUtime=160.7
/proc/26396/task/26408/stat : 26408 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18936 0 0 0 15408 662 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26396/tid=26409] ppid=26394 vsize=2097180 CPUtime=160.98
/proc/26396/task/26409/stat : 26409 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 21520 0 0 0 15602 496 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26396/tid=26410] ppid=26394 vsize=2097180 CPUtime=160.84
/proc/26396/task/26410/stat : 26410 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 34333 0 0 0 15464 620 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26396/tid=26411] ppid=26394 vsize=2097180 CPUtime=157.74
/proc/26396/task/26411/stat : 26411 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18708 0 0 0 15210 564 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134562309 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26396/tid=26412] ppid=26394 vsize=2097180 CPUtime=160.65
/proc/26396/task/26412/stat : 26412 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 18778 0 0 0 15417 648 0 0 20 0 17 0 655176993 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=2097180 CPUtime=160.87
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4202560 17570 0 0 0 15495 592 0 0 20 0 17 0 655176994 2147512320 466936 18446744073709551615 134512640 135237372 4291486592 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2578.44
Current children cumulated vsize (KiB) 2097180

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

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

[startup+169.725 s]
/proc/loadavg: 15.82 15.46 15.24 17/201 26413
/proc/meminfo: memFree=17173772/36427776 swapFree=4692/1875332
[pid=26396] ppid=26394 vsize=0 CPUtime=2578.7
/proc/26396/stat : 26396 (ttsth-5-0) Z 26394 26396 15497 0 -1 4203532 467597 0 0 0 248409 9461 0 0 20 0 2 0 655176177 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/26396/statm: 0 0 0 0 0 0 0
[pid=26396/tid=26413] ppid=26394 vsize=0 CPUtime=160.97
/proc/26396/task/26413/stat : 26413 (ttsth-5-0) R 26394 26396 15497 0 -1 4203588 17571 0 0 0 15495 602 0 0 20 0 2 0 655176994 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2578.7
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 169.798
CPU time (s): 2578.79
CPU user time (s): 2484.1
CPU system time (s): 94.6939
CPU usage (%): 1518.74
Max. virtual memory (cumulated for all children) (KiB): 2097180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2484.1
system time used= 94.6939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467597
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= 116473
involuntary context switches= 6044

runsolver used 0.784049 second user time and 2.44815 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 07:51:38
IDJOB=1779990
IDBENCH=70945
IDSOLVER=634
FILE ID=xenhost3-49/1779990-1244958698
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_l39_lambda.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779990-1244958698/watcher-1779990-1244958698 -o /tmp/evaluation-result-1779990-1244958698/solver-1779990-1244958698 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779990-1244958698.cnf

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

MD5SUM BENCH= cc949593da8c10735a1b7ac8b30d4e4d
RANDOM SEED= 203622175

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:      19043104 kB
Buffers:        484472 kB
Cached:       14119624 kB
SwapCached:          0 kB
Active:        4130408 kB
Inactive:     10481904 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3340 kB
Writeback:           0 kB
AnonPages:        8100 kB
Mapped:           4012 kB
Slab:           721740 kB
SReclaimable:   694924 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29856 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:54:30