Trace number 1779915

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) 4563.62 299.796

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l44_lambda.cnf
MD5SUMa7bc41b32260e4459b2bee7c18cacba1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark385.17
Satisfiable
(Un)Satisfiability was proved
Number of variables31540
Number of clauses157264
Sum of the clauses size453246
Maximum clause length9
Minimum clause length1
Number of clauses of size 14112
Number of clauses of size 239373
Number of clauses of size 392004
Number of clauses of size 415027
Number of clauses of size 56616
Number of clauses of size over 5132

Solver Data 

0.28/0.30	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779915-1244957315.cnf 
0.28/0.30	c Using SATTIMEOUT of 10000
0.28/0.30	c Using SATRAM of 2047
0.28/0.30	c Size of subset node = 16
0.28/0.30	c Variables = 31540
0.28/0.30	c Clauses = 157264
0.28/0.30	c Literals = 453246
0.28/0.30	c Reduced size:
0.28/0.30	c Variables = 31540
0.28/0.30	c Clauses = 141643
0.28/0.30	c Literals = 414027
0.28/0.30	c a2
0.48/0.55	c a1
9.30/9.38	c Independent sub-problems = 1
9.30/9.38	c Sub-problem with 26520 variables and 141643 clauses
9.30/9.38	c using permutation method 4
9.30/9.38	c count = 1
9.30/9.38	c Ordering finished 9.330 seconds
9.30/9.38	c mapped 9.380 seconds
9.30/9.38	c permuted 9.380 seconds
9.30/9.38	c about to sort
9.40/9.42	c sorted
11.40/11.44	c clauses now 141643
11.40/11.44	c init finished 9.920 seconds
11.40/11.44	c tree built 11.420 seconds
11.40/11.44	c 
11.40/11.44	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
11.40/11.44	c ---------------------------------|----------------------------------|------------------------------------------------------
11.40/11.44	c ................................ | ..........                       |                       11.4           0.0            3
11.40/11.44	c ................................ | ..........                     1 |                       11.4           0.1            3
11.40/11.44	c ****************................ | ..........                     2 | 1                     11.4           0.2            3
11.40/11.44	c ****************................ | ..........                     3 | 1                     11.4           0.3            3
11.40/11.44	c ****************................ | ..........                     4 | 1                     11.4           0.3            3
11.40/11.44	c ****************................ | ..........                     5 | 1                     11.4           0.4            3
11.40/11.44	c ****************................ | ..........                     6 | 1                     11.4           0.5            3
13.74/11.66	c ****************................ | ..........                  1000 | 3                     13.2          75.8         1724
265.15/27.78	c ****************................ | ..........                506000 | 21968                200.3        2526.3      8046349
503.24/43.00	c ****************................ | ..........                737000 | 33970                400.1        1841.9     14909635
726.03/57.17	c ****************................ | ..........                947000 | 44974                600.5        1577.0     20323024
939.83/70.74	c ****************................ | ..........               1116000 | 53770                800.9        1393.4     25665352
1152.29/84.22	c ****************................ | *.........               1261000 | 61299               1001.0        1259.7     30919073
1361.91/97.60	c ****************................ | *.........               1411000 | 69086               1201.0        1174.8     36342030
1570.40/110.74	c ****************................ | *.........               1555000 | 76564               1401.2        1109.7     41099303
1777.20/123.89	c ****************................ | *.........               1690000 | 83574               1600.9        1055.7     45482601
1984.15/136.95	c ****************................ | *.........               1811000 | 89853               1800.2        1006.0     49744384
2191.41/150.01	c ****************................ | **........               1921000 | 95559               2000.5         960.2     53823462

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 15.90 15.13 14.70 2/184 26096
/proc/meminfo: memFree=19041848/36427776 swapFree=3592/7656
[pid=26096] ppid=26094 vsize=1548 CPUtime=0
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 271 0 0 0 0 0 0 0 20 0 1 0 655037837 1585152 228 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 387 229 75 177 0 209 0

[startup+0.067637 s]
/proc/loadavg: 15.90 15.13 14.70 2/184 26096
/proc/meminfo: memFree=19041848/36427776 swapFree=3592/7656
[pid=26096] ppid=26094 vsize=4968 CPUtime=0.06
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 1110 0 0 0 4 2 0 0 20 0 1 0 655037837 5087232 1067 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 1242 1068 75 177 0 1064 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4968

[startup+0.103616 s]
/proc/loadavg: 15.90 15.13 14.70 2/184 26096
/proc/meminfo: memFree=19041848/36427776 swapFree=3592/7656
[pid=26096] ppid=26094 vsize=7128 CPUtime=0.08
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 1619 0 0 0 6 2 0 0 20 0 1 0 655037837 7299072 1576 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134732535 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 1782 1576 75 177 0 1604 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7128

[startup+0.303657 s]
/proc/loadavg: 15.90 15.13 14.70 2/184 26096
/proc/meminfo: memFree=19041848/36427776 swapFree=3592/7656
[pid=26096] ppid=26094 vsize=12504 CPUtime=0.28
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 2883 0 0 0 26 2 0 0 20 0 1 0 655037837 12804096 2840 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134732535 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 3126 2845 76 177 0 2948 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12504

[startup+0.703682 s]
/proc/loadavg: 15.90 15.13 14.70 2/184 26096
/proc/meminfo: memFree=19041848/36427776 swapFree=3592/7656
[pid=26096] ppid=26094 vsize=22264 CPUtime=0.68
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 5849 0 0 0 64 4 0 0 20 0 1 0 655037837 22798336 5335 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134555272 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 5566 5335 77 177 0 5388 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 22264

[startup+1.50373 s]
/proc/loadavg: 15.90 15.13 14.70 2/185 26097
/proc/meminfo: memFree=19016364/36427776 swapFree=4100/33884
[pid=26096] ppid=26094 vsize=27032 CPUtime=1.5
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 7055 0 0 0 144 6 0 0 20 0 1 0 655037837 27680768 6541 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134555272 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 6758 6541 77 177 0 6580 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 27032

[startup+3.10391 s]
/proc/loadavg: 14.71 14.90 14.63 2/185 26097
/proc/meminfo: memFree=19014200/36427776 swapFree=4384/34928
[pid=26096] ppid=26094 vsize=27256 CPUtime=3.1
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 7112 0 0 0 304 6 0 0 20 0 1 0 655037837 27910144 6598 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134600707 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 6814 6598 77 177 0 6636 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 27256

[startup+6.30417 s]
/proc/loadavg: 14.71 14.90 14.63 2/185 26097
/proc/meminfo: memFree=19013704/36427776 swapFree=4620/35440
[pid=26096] ppid=26094 vsize=27388 CPUtime=6.3
/proc/26096/stat : 26096 (ttsth-5-0) R 26094 26096 15497 0 -1 4202496 7132 0 0 0 624 6 0 0 20 0 1 0 655037837 28045312 6618 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134600707 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 6847 6618 77 177 0 6669 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 27388

[startup+12.7038 s]
/proc/loadavg: 13.80 14.69 14.56 17/201 26113
/proc/meminfo: memFree=18706144/36427776 swapFree=4688/347904
[pid=26096] ppid=26094 vsize=473844 CPUtime=30.82
/proc/26096/stat : 26096 (ttsth-5-0) S 26094 26096 15497 0 -1 4202496 88629 0 0 0 1827 1255 0 0 20 0 17 0 655037837 485216256 87836 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 118461 87836 95 177 0 118283 0
[pid=26096/tid=26098] ppid=26094 vsize=473844 CPUtime=1.3
/proc/26096/task/26098/stat : 26098 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 412 0 0 0 110 20 0 0 20 0 17 0 655038980 485216256 87836 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26096/tid=26099] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26099/stat : 26099 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 303 0 0 0 40 80 0 0 20 0 17 0 655038980 485216256 87837 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26096/tid=26100] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26100/stat : 26100 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 300 0 0 0 46 74 0 0 20 0 17 0 655038980 485216256 87837 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26096/tid=26101] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 327 0 0 0 38 82 0 0 20 0 17 0 655038981 485216256 87837 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 321 0 0 0 42 78 0 0 20 0 17 0 655038981 485216256 87837 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 311 0 0 0 36 84 0 0 20 0 17 0 655038981 485216256 87837 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 328 0 0 0 40 80 0 0 20 0 17 0 655038981 485216256 87837 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 381 0 0 0 44 76 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134593362 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 336 0 0 0 36 84 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=473844 CPUtime=1.22
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 322 0 0 0 44 78 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 380 0 0 0 42 78 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 349 0 0 0 38 82 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 370 0 0 0 36 84 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=473844 CPUtime=1.18
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 287 0 0 0 40 78 0 0 20 0 17 0 655038981 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 438 0 0 0 42 78 0 0 20 0 17 0 655038982 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=473844 CPUtime=1.2
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 328 0 0 0 38 82 0 0 20 0 17 0 655038982 485216256 87838 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 30.82
Current children cumulated vsize (KiB) 473844

[startup+25.5079 s]
/proc/loadavg: 14.14 14.73 14.58 17/201 26113
/proc/meminfo: memFree=18578536/36427776 swapFree=4692/472812
[pid=26096] ppid=26094 vsize=596548 CPUtime=230.8
/proc/26096/stat : 26096 (ttsth-5-0) S 26094 26096 15497 0 -1 4202496 117704 0 0 0 12733 10347 0 0 20 0 17 0 655037837 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 149137 116911 95 177 0 148959 0
[pid=26096/tid=26098] ppid=26094 vsize=596548 CPUtime=14.04
/proc/26096/task/26098/stat : 26098 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 4837 0 0 0 1382 22 0 0 20 0 17 0 655038980 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26096/tid=26099] ppid=26094 vsize=596548 CPUtime=13.6
/proc/26096/task/26099/stat : 26099 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1093 0 0 0 602 758 0 0 20 0 17 0 655038980 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26096/tid=26100] ppid=26094 vsize=596548 CPUtime=13.68
/proc/26096/task/26100/stat : 26100 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1466 0 0 0 674 694 0 0 20 0 17 0 655038980 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26096/tid=26101] ppid=26094 vsize=596548 CPUtime=13.76
/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2673 0 0 0 764 612 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=596548 CPUtime=13.74
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2336 0 0 0 722 652 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=596548 CPUtime=13.74
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2096 0 0 0 712 662 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=596548 CPUtime=13.68
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1244 0 0 0 646 722 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=596548 CPUtime=13.86
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2854 0 0 0 806 580 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=596548 CPUtime=13.7
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1409 0 0 0 606 764 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134549956 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=596548 CPUtime=13.68
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1787 0 0 0 630 738 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=596548 CPUtime=13.68
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2175 0 0 0 714 654 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=596548 CPUtime=13.68
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2218 0 0 0 654 714 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=596548 CPUtime=13.68
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 3234 0 0 0 694 674 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=596548 CPUtime=13.38
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1375 0 0 0 608 730 0 0 20 0 17 0 655038981 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=596548 CPUtime=13.74
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2664 0 0 0 794 580 0 0 20 0 17 0 655038982 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=596548 CPUtime=13.6
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 1106 0 0 0 608 752 0 0 20 0 17 0 655038982 610865152 116911 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 230.8
Current children cumulated vsize (KiB) 596548

[startup+51.1037 s]
/proc/loadavg: 14.65 14.80 14.60 17/201 26113
/proc/meminfo: memFree=18399468/36427776 swapFree=4692/651128
[pid=26096] ppid=26094 vsize=786832 CPUtime=631.82
/proc/26096/stat : 26096 (ttsth-5-0) S 26094 26096 15497 0 -1 4202496 162170 0 0 0 42591 20591 0 0 20 0 17 0 655037837 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 196708 161377 95 177 0 196530 0
[pid=26096/tid=26098] ppid=26094 vsize=786832 CPUtime=39.61
/proc/26096/task/26098/stat : 26098 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 11016 0 0 0 3925 36 0 0 20 0 17 0 655038980 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26096/tid=26099] ppid=26094 vsize=786832 CPUtime=38.32
/proc/26096/task/26099/stat : 26099 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2066 0 0 0 2176 1656 0 0 20 0 17 0 655038980 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26096/tid=26100] ppid=26094 vsize=786832 CPUtime=38.8
/proc/26096/task/26100/stat : 26100 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 3422 0 0 0 2462 1418 0 0 20 0 17 0 655038980 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26096/tid=26101] ppid=26094 vsize=786832 CPUtime=39.08
/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 6356 0 0 0 2814 1094 0 0 20 0 17 0 655038981 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=786832 CPUtime=38.94
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 6405 0 0 0 2602 1292 0 0 20 0 17 0 655038981 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=786832 CPUtime=39.02
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 5116 0 0 0 2700 1202 0 0 20 0 17 0 655038981 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=786832 CPUtime=38.76
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2866 0 0 0 2460 1416 0 0 20 0 17 0 655038981 805715968 161377 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=786832 CPUtime=39.08
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 5916 0 0 0 2748 1160 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=786832 CPUtime=38.62
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 2876 0 0 0 2250 1612 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134549888 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=786832 CPUtime=38.68
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 3058 0 0 0 2304 1564 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134551012 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=786832 CPUtime=38.84
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 5506 0 0 0 2616 1268 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=786832 CPUtime=38.36
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 4116 0 0 0 2256 1580 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=786832 CPUtime=38.92
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 7075 0 0 0 2686 1206 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=786832 CPUtime=38
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 4225 0 0 0 2514 1286 0 0 20 0 17 0 655038981 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=786832 CPUtime=38.96
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 6620 0 0 0 2754 1142 0 0 20 0 17 0 655038982 805715968 161378 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

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

/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 20296 0 0 0 13103 1834 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=1467316 CPUtime=149.41
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 17561 0 0 0 13031 1910 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=1467316 CPUtime=149.55
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 15588 0 0 0 13181 1774 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=1467316 CPUtime=148.37
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 9166 0 0 0 12231 2606 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=1467316 CPUtime=149.44
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 15982 0 0 0 13068 1876 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=1467316 CPUtime=147.18
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 10451 0 0 0 11505 3213 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134588274 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=1467316 CPUtime=147.8
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 8428 0 0 0 11854 2926 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=1467316 CPUtime=149.08
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 16476 0 0 0 12868 2040 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=1467316 CPUtime=146.06
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 11581 0 0 0 11412 3194 0 0 20 0 17 0 655038981 1502531584 320956 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134551002 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=1467316 CPUtime=149.21
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 19228 0 0 0 13045 1876 0 0 20 0 17 0 655038981 1502531584 320957 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=1467316 CPUtime=146.08
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 11356 0 0 0 12690 1918 0 0 20 0 17 0 655038981 1502531584 320957 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=1467316 CPUtime=149.5
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 17806 0 0 0 13242 1708 0 0 20 0 17 0 655038982 1502531584 320957 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=1467316 CPUtime=146.31
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 7901 0 0 0 11479 3152 0 0 20 0 17 0 655038982 1502531584 320957 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2385.89
Current children cumulated vsize (KiB) 1467316

[startup+222.302 s]
/proc/loadavg: 15.88 15.32 14.83 17/201 26118
/proc/meminfo: memFree=17492780/36427776 swapFree=4692/1556056
[pid=26096] ppid=26094 vsize=1749736 CPUtime=3336.75
/proc/26096/stat : 26096 (ttsth-5-0) S 26094 26096 15497 0 -1 4202496 388091 0 0 0 293921 39754 0 0 20 0 17 0 655037837 1791729664 387298 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 437434 387298 95 177 0 437256 0
[pid=26096/tid=26098] ppid=26094 vsize=1749736 CPUtime=210.79
/proc/26096/task/26098/stat : 26098 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 36789 0 0 0 20983 96 0 0 20 0 17 0 655038980 1791729664 387298 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26096/tid=26099] ppid=26094 vsize=1749736 CPUtime=206.73
/proc/26096/task/26099/stat : 26099 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 24490 0 0 0 17487 3186 0 0 20 0 17 0 655038980 1791729664 387298 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26096/tid=26100] ppid=26094 vsize=1749736 CPUtime=208.13
/proc/26096/task/26100/stat : 26100 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 12046 0 0 0 18021 2792 0 0 20 0 17 0 655038980 1791729664 387298 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26096/tid=26101] ppid=26094 vsize=1749736 CPUtime=208.99
/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 27691 0 0 0 18801 2098 0 0 20 0 17 0 655038981 1791729664 387298 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=1749736 CPUtime=209.13
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 24031 0 0 0 18797 2116 0 0 20 0 17 0 655038981 1791729664 387298 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=1749736 CPUtime=209.41
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 18081 0 0 0 19077 1864 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=1749736 CPUtime=207.83
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 12450 0 0 0 17827 2956 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=1749736 CPUtime=209.35
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 17382 0 0 0 19005 1930 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=1749736 CPUtime=206.25
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 14190 0 0 0 16881 3744 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=1749736 CPUtime=207.07
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) S 26094 26096 15497 0 -1 4202560 11385 0 0 0 17311 3396 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=1749736 CPUtime=208.69
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 21810 0 0 0 18599 2270 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=1749736 CPUtime=204.65
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 15681 0 0 0 16711 3754 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134552726 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=1749736 CPUtime=209.07
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 21809 0 0 0 18943 1964 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=1749736 CPUtime=204.69
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 13864 0 0 0 18459 2010 0 0 20 0 17 0 655038981 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=1749736 CPUtime=209.31
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 21897 0 0 0 19091 1840 0 0 20 0 17 0 655038982 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=1749736 CPUtime=205.03
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 11359 0 0 0 16807 3696 0 0 20 0 17 0 655038982 1791729664 387299 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3336.75
Current children cumulated vsize (KiB) 1749736

[startup+282.303 s]
/proc/loadavg: 15.95 15.43 14.90 17/201 26118
/proc/meminfo: memFree=17236596/36427776 swapFree=4692/1812108
[pid=26096] ppid=26094 vsize=2023816 CPUtime=4288.22
/proc/26096/stat : 26096 (ttsth-5-0) S 26094 26096 15497 0 -1 4202496 452187 0 0 0 384852 43970 0 0 20 0 17 0 655037837 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 505954 451394 95 177 0 505776 0
[pid=26096/tid=26098] ppid=26094 vsize=2023816 CPUtime=270.78
/proc/26096/task/26098/stat : 26098 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 42628 0 0 0 26970 108 0 0 20 0 17 0 655038980 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26096/tid=26099] ppid=26094 vsize=2023816 CPUtime=265.94
/proc/26096/task/26099/stat : 26099 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 29606 0 0 0 22977 3617 0 0 20 0 17 0 655038980 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26096/tid=26100] ppid=26094 vsize=2023816 CPUtime=267.93
/proc/26096/task/26100/stat : 26100 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 16366 0 0 0 23837 2956 0 0 20 0 17 0 655038980 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26096/tid=26101] ppid=26094 vsize=2023816 CPUtime=268.7
/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 33682 0 0 0 24566 2304 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=2023816 CPUtime=268.94
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 28750 0 0 0 24636 2258 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=2023816 CPUtime=269.3
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 20785 0 0 0 24964 1966 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=2023816 CPUtime=267.36
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 14906 0 0 0 23453 3283 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=2023816 CPUtime=269.26
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 18694 0 0 0 24924 2002 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=2023816 CPUtime=265.47
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 19033 0 0 0 22340 4207 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=2023816 CPUtime=266.42
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 13840 0 0 0 22849 3793 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134549877 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=2023816 CPUtime=268.39
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 26547 0 0 0 24389 2450 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=2023816 CPUtime=263.41
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 19095 0 0 0 22078 4263 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=2023816 CPUtime=268.89
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 25649 0 0 0 24779 2110 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=2023816 CPUtime=263.02
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 17237 0 0 0 24008 2294 0 0 20 0 17 0 655038981 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=2023816 CPUtime=269.01
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 28566 0 0 0 24825 2076 0 0 20 0 17 0 655038982 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=2023816 CPUtime=263.85
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 13666 0 0 0 22142 4243 0 0 20 0 17 0 655038982 2072387584 451394 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4288.22
Current children cumulated vsize (KiB) 2023816



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+299.602 s]
/proc/loadavg: 15.90 15.45 14.92 17/201 26118
/proc/meminfo: memFree=17166660/36427776 swapFree=4692/1881768
[pid=26096] ppid=26094 vsize=2096548 CPUtime=4563.26
/proc/26096/stat : 26096 (ttsth-5-0) S 26094 26096 15497 0 -1 4202496 469103 0 0 0 411577 44749 0 0 20 0 17 0 655037837 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 524137 468310 95 177 0 523959 0
[pid=26096/tid=26098] ppid=26094 vsize=2096548 CPUtime=288.09
/proc/26096/task/26098/stat : 26098 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 44395 0 0 0 28693 116 0 0 20 0 17 0 655038980 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26096/tid=26099] ppid=26094 vsize=2096548 CPUtime=283.08
/proc/26096/task/26099/stat : 26099 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 31103 0 0 0 24601 3707 0 0 20 0 17 0 655038980 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26096/tid=26100] ppid=26094 vsize=2096548 CPUtime=285.19
/proc/26096/task/26100/stat : 26100 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 17168 0 0 0 25537 2982 0 0 20 0 17 0 655038980 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26096/tid=26101] ppid=26094 vsize=2096548 CPUtime=285.97
/proc/26096/task/26101/stat : 26101 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 34484 0 0 0 26269 2328 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=26096/tid=26102] ppid=26094 vsize=2096548 CPUtime=286.2
/proc/26096/task/26102/stat : 26102 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 29984 0 0 0 26328 2292 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26096/tid=26103] ppid=26094 vsize=2096548 CPUtime=286.58
/proc/26096/task/26103/stat : 26103 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 21410 0 0 0 26670 1988 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26096/tid=26104] ppid=26094 vsize=2096548 CPUtime=284.57
/proc/26096/task/26104/stat : 26104 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 15610 0 0 0 25109 3348 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26096/tid=26105] ppid=26094 vsize=2096548 CPUtime=286.54
/proc/26096/task/26105/stat : 26105 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 19058 0 0 0 26644 2010 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26096/tid=26106] ppid=26094 vsize=2096548 CPUtime=282.6
/proc/26096/task/26106/stat : 26106 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 20585 0 0 0 23971 4289 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134588021 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26096/tid=26107] ppid=26094 vsize=2096548 CPUtime=283.58
/proc/26096/task/26107/stat : 26107 (ttsth-5-0) S 26094 26096 15497 0 -1 4202560 14679 0 0 0 24484 3874 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=26096/tid=26108] ppid=26094 vsize=2096548 CPUtime=285.61
/proc/26096/task/26108/stat : 26108 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 28201 0 0 0 26067 2494 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26096/tid=26109] ppid=26094 vsize=2096548 CPUtime=280.49
/proc/26096/task/26109/stat : 26109 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 20007 0 0 0 23694 4355 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26096/tid=26110] ppid=26094 vsize=2096548 CPUtime=286.15
/proc/26096/task/26110/stat : 26110 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 26699 0 0 0 26481 2134 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26096/tid=26111] ppid=26094 vsize=2096548 CPUtime=279.86
/proc/26096/task/26111/stat : 26111 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 18424 0 0 0 25626 2360 0 0 20 0 17 0 655038981 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26096/tid=26112] ppid=26094 vsize=2096548 CPUtime=286.28
/proc/26096/task/26112/stat : 26112 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 29521 0 0 0 26534 2094 0 0 20 0 17 0 655038982 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=2096548 CPUtime=280.94
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4202560 14638 0 0 0 23756 4338 0 0 20 0 17 0 655038982 2146865152 468310 18446744073709551615 134512640 135237372 4289407376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4563.26
Current children cumulated vsize (KiB) 2096548

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

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

[startup+299.726 s]
/proc/loadavg: 15.90 15.45 14.92 17/201 26118
/proc/meminfo: memFree=17166660/36427776 swapFree=4692/1881768
[pid=26096] ppid=26094 vsize=0 CPUtime=4563.55
/proc/26096/stat : 26096 (ttsth-5-0) Z 26094 26096 15497 0 -1 4203532 469116 0 0 0 411594 44761 0 0 20 0 2 0 655037837 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26096/statm: 0 0 0 0 0 0 0
[pid=26096/tid=26113] ppid=26094 vsize=0 CPUtime=281.05
/proc/26096/task/26113/stat : 26113 (ttsth-5-0) R 26094 26096 15497 0 -1 4203588 14639 0 0 0 23756 4349 0 0 20 0 2 0 655038982 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4563.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 299.796
CPU time (s): 4563.62
CPU user time (s): 4115.95
CPU system time (s): 447.676
CPU usage (%): 1522.24
Max. virtual memory (cumulated for all children) (KiB): 2096548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4115.95
system time used= 447.676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469116
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= 561005
involuntary context switches= 10543

runsolver used 1.42009 second user time and 4.45628 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= a7bc41b32260e4459b2bee7c18cacba1
RANDOM SEED= 1484294261

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:      19041848 kB
Buffers:        484460 kB
Cached:       14119624 kB
SwapCached:          0 kB
Active:        4130592 kB
Inactive:     10481812 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            3352 kB
Writeback:           0 kB
AnonPages:        7656 kB
Mapped:           3592 kB
Slab:           721744 kB
SReclaimable:   694908 kB
SUnreclaim:      26836 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 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:33:36