Trace number 1781070

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) 2786.95 176.428

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_12_UNKNOWN.cnf
MD5SUMd18a114d646a89f18fb3efba2be009e6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1898
Number of clauses118441
Sum of the clauses size352559
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22994
Number of clauses of size 3115424
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.10/0.13	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781070-1244980864.cnf 
0.10/0.13	c Using SATTIMEOUT of 10000
0.10/0.13	c Using SATRAM of 2047
0.10/0.13	c Size of subset node = 16
0.10/0.13	c Variables = 1898
0.10/0.13	c Clauses = 118441
0.10/0.13	c Literals = 352559
0.10/0.13	c Reduced size:
0.10/0.13	c Variables = 1898
0.10/0.13	c Clauses = 118441
0.10/0.13	c Literals = 352559
0.10/0.13	c a2
0.30/0.35	c a1
0.70/0.75	c Independent sub-problems = 1
0.70/0.75	c Sub-problem with 1898 variables and 118441 clauses
0.70/0.75	c using permutation method 4
0.70/0.75	c count = 1
0.70/0.75	c Ordering finished 0.710 seconds
0.70/0.75	c mapped 0.750 seconds
0.70/0.75	c permuted 0.750 seconds
0.70/0.75	c about to sort
0.70/0.78	c sorted
1.20/1.30	c clauses now 118441
1.20/1.30	c init finished 0.810 seconds
1.20/1.30	c tree built 1.280 seconds
1.20/1.30	c 
1.20/1.30	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.20/1.30	c ---------------------------------|----------------------------------|------------------------------------------------------
1.20/1.30	c ................................ | ..........                       |                        1.3           0.0             
1.20/1.30	c ................................ | ..........                     1 |                        1.3           0.8             
1.20/1.30	c ................................ | ..........                     2 |                        1.3           1.6             
1.20/1.30	c ................................ | ..........                     3 |                        1.3           2.3             
1.20/1.30	c ................................ | ..........                     4 |                        1.3           3.1             
1.20/1.30	c ................................ | ..........                     5 |                        1.3           3.9             
1.30/1.40	c ................................ | ..........                  1000 | 37                     2.0         487.8         3911
232.56/16.10	c ................................ | ..........                355000 | 56242                200.7        1769.1     12261779
440.48/29.16	c ................................ | ..........                544000 | 102722               401.1        1356.4     23364950
644.11/41.90	c ................................ | ..........                668000 | 126926               600.1        1113.1     33668806
846.59/54.66	c ................................ | ..........                777000 | 154232               801.3         969.7     43508451
1050.30/67.40	c ................................ | *.........                873000 | 174335              1002.5         870.9     52797759
1251.22/80.03	c ................................ | *.........                952000 | 194576              1202.6         791.6     61190034
1452.15/92.61	c ................................ | *.........               1021000 | 213464              1401.8         728.3     68884288
1654.65/105.34	c ................................ | *.........               1080000 | 226974              1603.6         673.5     75863219
1855.76/117.95	c ................................ | *.........               1142000 | 241273              1804.2         633.0     82201228
2056.76/130.58	c ................................ | **........               1198000 | 254690              2005.1         597.5     88389743

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-1781070-1244980864/watcher-1781070-1244980864 -o /tmp/evaluation-result-1781070-1244980864/solver-1781070-1244980864 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781070-1244980864.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.73 15.39 14.76 2/184 30343
/proc/meminfo: memFree=18988168/36427776 swapFree=3684/8380
[pid=30343] ppid=30341 vsize=1540 CPUtime=0
/proc/30343/stat : 30343 (ttsth-5-0) R 30341 30343 15497 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 657392749 1576960 232 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 385 232 75 177 0 207 0

[startup+0.0879 s]
/proc/loadavg: 14.73 15.39 14.76 2/184 30343
/proc/meminfo: memFree=18988168/36427776 swapFree=3684/8380
[pid=30343] ppid=30341 vsize=6260 CPUtime=0.08
/proc/30343/stat : 30343 (ttsth-5-0) R 30341 30343 15497 0 -1 4202496 1466 0 0 0 6 2 0 0 20 0 1 0 657392749 6410240 1422 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 1565 1424 75 177 0 1387 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6260

[startup+0.103889 s]
/proc/loadavg: 14.73 15.39 14.76 2/184 30343
/proc/meminfo: memFree=18988168/36427776 swapFree=3684/8380
[pid=30343] ppid=30341 vsize=7364 CPUtime=0.1
/proc/30343/stat : 30343 (ttsth-5-0) R 30341 30343 15497 0 -1 4202496 1700 0 0 0 8 2 0 0 20 0 1 0 657392749 7540736 1656 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134732614 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 1841 1657 75 177 0 1663 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7364

[startup+0.303888 s]
/proc/loadavg: 14.73 15.39 14.76 2/184 30343
/proc/meminfo: memFree=18988168/36427776 swapFree=3684/8380
[pid=30343] ppid=30341 vsize=16692 CPUtime=0.3
/proc/30343/stat : 30343 (ttsth-5-0) R 30341 30343 15497 0 -1 4202496 3973 0 0 0 28 2 0 0 20 0 1 0 657392749 17092608 3928 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134749337 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 4173 3928 76 177 0 3995 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16692

[startup+0.703967 s]
/proc/loadavg: 14.73 15.39 14.76 2/184 30343
/proc/meminfo: memFree=18988168/36427776 swapFree=3684/8380
[pid=30343] ppid=30341 vsize=17936 CPUtime=0.7
/proc/30343/stat : 30343 (ttsth-5-0) R 30341 30343 15497 0 -1 4202496 4606 0 0 0 66 4 0 0 20 0 1 0 657392749 18366464 4329 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134749343 0 0 1 0 0 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 4484 4329 77 177 0 4306 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17936

[startup+1.50365 s]
/proc/loadavg: 14.73 15.39 14.76 2/185 30344
/proc/meminfo: memFree=18950560/36427776 swapFree=4456/46352
[pid=30343] ppid=30341 vsize=187060 CPUtime=4.21
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 13995 0 0 0 181 240 0 0 20 0 17 0 657392749 191549440 13485 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 46765 13485 95 177 0 46587 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 187060

[startup+3.10365 s]
/proc/loadavg: 14.73 15.39 14.76 17/201 30360
/proc/meminfo: memFree=18932332/36427776 swapFree=4676/67292
[pid=30343] ppid=30341 vsize=206260 CPUtime=29.28
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 18755 0 0 0 1406 1522 0 0 20 0 17 0 657392749 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 51565 18245 95 177 0 51387 0
[pid=30343/tid=30345] ppid=30341 vsize=206260 CPUtime=1.78
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1060 0 0 0 164 14 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 277 0 0 0 76 98 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 228 0 0 0 70 104 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 202 0 0 0 76 98 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 304 0 0 0 78 96 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 431 0 0 0 80 94 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=206260 CPUtime=1.76
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 218 0 0 0 82 94 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 158 0 0 0 76 98 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 149 0 0 0 72 102 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 376 0 0 0 76 98 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 560 0 0 0 70 104 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=206260 CPUtime=1.76
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 365 0 0 0 78 98 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=206260 CPUtime=1.72
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 473 0 0 0 68 104 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=206260 CPUtime=1.72
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 456 0 0 0 66 106 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 194 0 0 0 72 102 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=206260 CPUtime=1.74
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 281 0 0 0 72 102 0 0 20 0 17 0 657392879 211210240 18245 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 29.28
Current children cumulated vsize (KiB) 206260

[startup+6.30421 s]
/proc/loadavg: 14.83 15.40 14.77 17/201 30360
/proc/meminfo: memFree=18887588/36427776 swapFree=4692/111136
[pid=30343] ppid=30341 vsize=249248 CPUtime=79.46
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 29104 0 0 0 4647 3299 0 0 20 0 17 0 657392749 255229952 28594 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 62312 28596 95 177 0 62134 0
[pid=30343/tid=30345] ppid=30341 vsize=249248 CPUtime=4.96
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 2201 0 0 0 482 14 0 0 20 0 17 0 657392879 255229952 28596 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=249248 CPUtime=4.86
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 901 0 0 0 286 200 0 0 20 0 17 0 657392879 255229952 28597 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 697 0 0 0 274 214 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 953 0 0 0 272 216 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 666 0 0 0 288 200 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1143 0 0 0 264 224 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=249248 CPUtime=4.9
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 534 0 0 0 282 208 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 575 0 0 0 276 212 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=249248 CPUtime=4.86
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 377 0 0 0 254 232 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=249248 CPUtime=4.9
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 877 0 0 0 278 212 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1504 0 0 0 254 234 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=249248 CPUtime=4.9
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1124 0 0 0 282 208 0 0 20 0 17 0 657392879 255229952 28598 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=249248 CPUtime=4.84
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1382 0 0 0 250 234 0 0 20 0 17 0 657392879 255229952 28599 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=249248 CPUtime=4.78
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1359 0 0 0 242 236 0 0 20 0 17 0 657392879 255229952 28599 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134680245 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=249248 CPUtime=4.86
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 829 0 0 0 256 230 0 0 20 0 17 0 657392879 255229952 28599 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=249248 CPUtime=4.88
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 964 0 0 0 276 212 0 0 20 0 17 0 657392879 255229952 28599 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 79.46
Current children cumulated vsize (KiB) 249248

[startup+12.7031 s]
/proc/loadavg: 14.92 15.41 14.77 17/201 30360
/proc/meminfo: memFree=18795984/36427776 swapFree=4692/204244
[pid=30343] ppid=30341 vsize=349460 CPUtime=180.32
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 52449 0 0 0 12699 5333 0 0 20 0 17 0 657392749 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 87365 51939 95 177 0 87187 0
[pid=30343/tid=30345] ppid=30341 vsize=349460 CPUtime=11.38
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 4755 0 0 0 1120 18 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134680720 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=349460 CPUtime=11.14
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 2027 0 0 0 764 350 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=349460 CPUtime=11.18
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1309 0 0 0 776 342 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=349460 CPUtime=11.2
/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 3090 0 0 0 784 336 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=349460 CPUtime=11.2
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1551 0 0 0 792 328 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=349460 CPUtime=11.18
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 2532 0 0 0 750 368 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=349460 CPUtime=11.22
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1206 0 0 0 790 332 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=349460 CPUtime=11.2
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1296 0 0 0 794 326 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=349460 CPUtime=11.16
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1621 0 0 0 734 382 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=349460 CPUtime=11.22
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 1766 0 0 0 772 350 0 0 20 0 17 0 657392879 357847040 51939 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=349460 CPUtime=11.2
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 3720 0 0 0 756 364 0 0 20 0 17 0 657392879 357847040 51941 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=349460 CPUtime=11.24
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 2586 0 0 0 800 324 0 0 20 0 17 0 657392879 357847040 51941 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=349460 CPUtime=11.14
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 3821 0 0 0 726 388 0 0 20 0 17 0 657392879 357847040 51941 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=349460 CPUtime=10.96
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 3684 0 0 0 726 370 0 0 20 0 17 0 657392879 357847040 51942 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=349460 CPUtime=11.14
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 2084 0 0 0 724 390 0 0 20 0 17 0 657392879 357847040 51943 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=349460 CPUtime=11.16
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 2379 0 0 0 762 354 0 0 20 0 17 0 657392879 357847040 51943 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 180.32
Current children cumulated vsize (KiB) 349460

[startup+25.5053 s]
/proc/loadavg: 15.16 15.44 14.79 17/201 30360
/proc/meminfo: memFree=18604420/36427776 swapFree=4692/394984
[pid=30343] ppid=30341 vsize=545264 CPUtime=383.27
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 98560 0 0 0 31213 7114 0 0 20 0 17 0 657392749 558350336 98050 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 136316 98051 95 177 0 136138 0
[pid=30343/tid=30345] ppid=30341 vsize=545264 CPUtime=24.16
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 9906 0 0 0 2390 26 0 0 20 0 17 0 657392879 558350336 98051 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134588563 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=545264 CPUtime=23.78
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 5300 0 0 0 1898 480 0 0 20 0 17 0 657392879 558350336 98051 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=545264 CPUtime=23.88
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 3732 0 0 0 1928 460 0 0 20 0 17 0 657392879 558350336 98051 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=545264 CPUtime=23.92

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

/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 12361 0 0 0 4442 502 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=901280 CPUtime=49.4
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 5747 0 0 0 4420 520 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=901280 CPUtime=49.4
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 12599 0 0 0 4400 540 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=901280 CPUtime=49.42
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 5040 0 0 0 4432 510 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=901280 CPUtime=49.39
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 5925 0 0 0 4407 532 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134588792 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=901280 CPUtime=49.3
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 7710 0 0 0 4296 634 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=901280 CPUtime=49.43
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 6692 0 0 0 4397 546 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=901280 CPUtime=49.4
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 15506 0 0 0 4356 584 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=901280 CPUtime=49.49
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 8842 0 0 0 4489 460 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=901280 CPUtime=49.29
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 16340 0 0 0 4327 602 0 0 20 0 17 0 657392879 922910720 181710 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=901280 CPUtime=48.36
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 16335 0 0 0 4228 608 0 0 20 0 17 0 657392879 922910720 181711 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=901280 CPUtime=49.32
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 9170 0 0 0 4314 618 0 0 20 0 17 0 657392879 922910720 181711 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134634403 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=901280 CPUtime=49.37
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 9013 0 0 0 4397 540 0 0 20 0 17 0 657392879 922910720 181711 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 790.81
Current children cumulated vsize (KiB) 901280

[startup+102.318 s]
/proc/loadavg: 15.81 15.58 14.89 17/201 30360
/proc/meminfo: memFree=17728472/36427776 swapFree=4692/1269356
[pid=30343] ppid=30341 vsize=1477088 CPUtime=1607.02
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 316177 0 0 0 150827 9875 0 0 20 0 17 0 657392749 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 369272 315667 95 177 0 369094 0
[pid=30343/tid=30345] ppid=30341 vsize=1477088 CPUtime=100.94
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 29227 0 0 0 10022 72 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=1477088 CPUtime=100.23
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 26272 0 0 0 9341 682 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=1477088 CPUtime=100.48
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 12228 0 0 0 9400 648 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=1477088 CPUtime=100.56
/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 20004 0 0 0 9480 576 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=1477088 CPUtime=100.49
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) S 30341 30343 15497 0 -1 4202560 10295 0 0 0 9459 590 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=1477088 CPUtime=100.52
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 22922 0 0 0 9450 602 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=1477088 CPUtime=100.52
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 8715 0 0 0 9462 590 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=1477088 CPUtime=100.47
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 12116 0 0 0 9411 636 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=1477088 CPUtime=100.32
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 13681 0 0 0 9278 754 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=1477088 CPUtime=100.49
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 12660 0 0 0 9393 656 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=1477088 CPUtime=100.42
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 30222 0 0 0 9322 720 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=1477088 CPUtime=100.62
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 14774 0 0 0 9542 520 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=1477088 CPUtime=100.38
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 27697 0 0 0 9330 708 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=1477088 CPUtime=98.37
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 31146 0 0 0 9105 732 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134680729 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=1477088 CPUtime=100.38
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 14779 0 0 0 9320 718 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=1477088 CPUtime=100.39
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 16416 0 0 0 9381 658 0 0 20 0 17 0 657392879 1512538112 315667 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1607.02
Current children cumulated vsize (KiB) 1477088

[startup+162.306 s]
/proc/loadavg: 15.93 15.65 14.95 17/201 30360
/proc/meminfo: memFree=17259316/36427776 swapFree=4692/1736512
[pid=30343] ppid=30341 vsize=1981564 CPUtime=2564.43
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 434304 0 0 0 245618 10825 0 0 20 0 17 0 657392749 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 495391 433794 95 177 0 495213 0
[pid=30343/tid=30345] ppid=30341 vsize=1981564 CPUtime=160.93
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 38312 0 0 0 15999 94 0 0 20 0 17 0 657392879 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562377 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=1981564 CPUtime=160.09
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 37308 0 0 0 15239 770 0 0 20 0 17 0 657392879 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=1981564 CPUtime=160.4
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 18150 0 0 0 15334 706 0 0 20 0 17 0 657392879 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=1981564 CPUtime=160.5
/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 26100 0 0 0 15430 620 0 0 20 0 17 0 657392879 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=1981564 CPUtime=160.42
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 13988 0 0 0 15408 634 0 0 20 0 17 0 657392879 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=1981564 CPUtime=160.45
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 32586 0 0 0 15399 646 0 0 20 0 17 0 657392879 2029121536 433794 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=1981564 CPUtime=160.43
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 11295 0 0 0 15401 642 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=1981564 CPUtime=160.37
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 17926 0 0 0 15343 694 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562355 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=1981564 CPUtime=160.16
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 21496 0 0 0 15174 842 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=1981564 CPUtime=160.39
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 17451 0 0 0 15319 720 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=1981564 CPUtime=160.31
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 41183 0 0 0 15241 790 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=1981564 CPUtime=160.54
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 20233 0 0 0 15490 564 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=1981564 CPUtime=160.28
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 35553 0 0 0 15258 770 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=1981564 CPUtime=157.06
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 45411 0 0 0 14874 832 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=1981564 CPUtime=160.3
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 20544 0 0 0 15256 774 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=1981564 CPUtime=160.3
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 23746 0 0 0 15316 714 0 0 20 0 17 0 657392879 2029121536 433795 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2564.43
Current children cumulated vsize (KiB) 1981564



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+176.209 s]
/proc/loadavg: 15.94 15.67 14.97 17/201 30360
/proc/meminfo: memFree=17146436/36427776 swapFree=4692/1849504
[pid=30343] ppid=30341 vsize=2096348 CPUtime=2786.52
/proc/30343/stat : 30343 (ttsth-5-0) S 30341 30343 15497 0 -1 4202496 461042 0 0 0 267647 11005 0 0 20 0 17 0 657392749 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 524087 460532 95 177 0 523909 0
[pid=30343/tid=30345] ppid=30341 vsize=2096348 CPUtime=174.83
/proc/30343/task/30345/stat : 30345 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 40485 0 0 0 17385 98 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30343/tid=30346] ppid=30341 vsize=2096348 CPUtime=173.97
/proc/30343/task/30346/stat : 30346 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 39918 0 0 0 16611 786 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30343/tid=30347] ppid=30341 vsize=2096348 CPUtime=174.31
/proc/30343/task/30347/stat : 30347 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 19946 0 0 0 16715 716 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30343/tid=30348] ppid=30341 vsize=2096348 CPUtime=174.39
/proc/30343/task/30348/stat : 30348 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 27213 0 0 0 16811 628 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30343/tid=30349] ppid=30341 vsize=2096348 CPUtime=174.33
/proc/30343/task/30349/stat : 30349 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 14748 0 0 0 16789 644 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30343/tid=30350] ppid=30341 vsize=2096348 CPUtime=174.35
/proc/30343/task/30350/stat : 30350 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 36190 0 0 0 16777 658 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30343/tid=30351] ppid=30341 vsize=2096348 CPUtime=174.33
/proc/30343/task/30351/stat : 30351 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 11812 0 0 0 16785 648 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30343/tid=30352] ppid=30341 vsize=2096348 CPUtime=174.27
/proc/30343/task/30352/stat : 30352 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 19022 0 0 0 16721 706 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30343/tid=30353] ppid=30341 vsize=2096348 CPUtime=174.07
/proc/30343/task/30353/stat : 30353 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 22716 0 0 0 16547 860 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30343/tid=30354] ppid=30341 vsize=2096348 CPUtime=174.29
/proc/30343/task/30354/stat : 30354 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 18473 0 0 0 16695 734 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30343/tid=30355] ppid=30341 vsize=2096348 CPUtime=174.21
/proc/30343/task/30355/stat : 30355 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 43528 0 0 0 16619 802 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30343/tid=30356] ppid=30341 vsize=2096348 CPUtime=174.45
/proc/30343/task/30356/stat : 30356 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 20967 0 0 0 16875 570 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30343/tid=30357] ppid=30341 vsize=2096348 CPUtime=174.19
/proc/30343/task/30357/stat : 30357 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 37678 0 0 0 16639 780 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30343/tid=30358] ppid=30341 vsize=2096348 CPUtime=170.65
/proc/30343/task/30358/stat : 30358 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 48485 0 0 0 16215 850 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30343/tid=30359] ppid=30341 vsize=2096348 CPUtime=174.21
/proc/30343/task/30359/stat : 30359 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 21628 0 0 0 16633 788 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=2096348 CPUtime=174.21
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4202560 25210 0 0 0 16697 724 0 0 20 0 17 0 657392879 2146660352 460532 18446744073709551615 134512640 135237372 4293166368 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2786.52
Current children cumulated vsize (KiB) 2096348

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

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

[startup+176.403 s]
/proc/loadavg: 15.94 15.67 14.97 17/201 30360
/proc/meminfo: memFree=17146436/36427776 swapFree=4692/1849504
[pid=30343] ppid=30341 vsize=0 CPUtime=2786.91
/proc/30343/stat : 30343 (ttsth-5-0) Z 30341 30343 15497 0 -1 4203532 461053 0 0 0 267672 11019 0 0 20 0 2 0 657392749 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/30343/statm: 0 0 0 0 0 0 0
[pid=30343/tid=30360] ppid=30341 vsize=0 CPUtime=174.37
/proc/30343/task/30360/stat : 30360 (ttsth-5-0) R 30341 30343 15497 0 -1 4203588 25210 0 0 0 16699 738 0 0 20 0 2 0 657392879 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2786.91
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 176.428
CPU time (s): 2786.95
CPU user time (s): 2676.73
CPU system time (s): 110.223
CPU usage (%): 1579.66
Max. virtual memory (cumulated for all children) (KiB): 2096348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2676.73
system time used= 110.223
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 461053
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= 99247
involuntary context switches= 6605

runsolver used 0.824051 second user time and 2.62416 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 14:01:04
IDJOB=1781070
IDBENCH=71092
IDSOLVER=634
FILE ID=xenhost3-49/1781070-1244980864
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= d18a114d646a89f18fb3efba2be009e6
RANDOM SEED= 1263598141

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:      18988612 kB
Buffers:        524840 kB
Cached:       14120484 kB
SwapCached:          0 kB
Active:        4171196 kB
Inactive:     10482508 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2684 kB
Writeback:           0 kB
AnonPages:        8380 kB
Mapped:           3684 kB
Slab:           733660 kB
SReclaimable:   706736 kB
SUnreclaim:      26924 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 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 14:04:02