Trace number 1776810

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) 1755.62 116.995

General information on the benchmark

Namevelev-engi-uns-1.0-4nd.cnf
MD5SUM700f8e86139a93fca212e22efa0f7d2b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark28.66
Satisfiable
(Un)Satisfiability was proved
Number of variables7000
Number of clauses67586
Sum of the clauses size190944
Maximum clause length58
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 256649
Number of clauses of size 35901
Number of clauses of size 4437
Number of clauses of size 5591
Number of clauses of size over 54007

Solver Data 

0.08/0.09	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776810-1244940864.cnf 
0.08/0.09	c Using SATTIMEOUT of 10000
0.08/0.09	c Using SATRAM of 2047
0.08/0.09	c Size of subset node = 16
0.08/0.09	c Variables = 7000
0.08/0.09	c Clauses = 67586
0.08/0.09	c Literals = 190944
0.08/0.09	c Reduced size:
0.08/0.09	c Variables = 7000
0.08/0.09	c Clauses = 67033
0.08/0.09	c Literals = 189444
0.08/0.09	c a2
0.30/0.30	c a1
1.20/1.28	c Independent sub-problems = 1
1.20/1.28	c Sub-problem with 6912 variables and 67033 clauses
1.20/1.28	c using permutation method 4
1.20/1.28	c count = 1
1.20/1.28	c Ordering finished 1.250 seconds
1.20/1.28	c mapped 1.270 seconds
1.20/1.28	c permuted 1.270 seconds
1.20/1.28	c about to sort
1.20/1.29	c sorted
1.98/2.10	c clauses now 67033
1.98/2.10	c init finished 1.420 seconds
1.98/2.10	c tree built 2.090 seconds
1.98/2.10	c 
1.98/2.10	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.98/2.10	c ---------------------------------|----------------------------------|------------------------------------------------------
1.98/2.10	c ................................ | ..........                       |                        2.1           0.0             
1.98/2.10	c ................................ | ..........                     1 |                        2.1           0.5             
1.98/2.10	c ................................ | ..........                     2 |                        2.1           1.0             
1.98/2.10	c ................................ | ..........                     3 |                        2.1           1.4            1
1.98/2.10	c ................................ | ..........                     4 |                        2.1           1.9            1
1.98/2.10	c ................................ | ..........                     5 |                        2.1           2.4            1
2.10/2.15	c ................................ | ..........                  1000 | 4                      2.5         395.3         1545
275.70/19.68	c ................................ | ..........               1167000 | 34567                200.0        5834.7      5997972
513.02/34.72	c ................................ | ..........               1727000 | 57254                400.6        4311.1     15149954
720.72/48.53	c ................................ | ..........               2049000 | 70762                600.0        3414.8     29339090
923.86/62.37	c ................................ | ..........               2263000 | 82896                800.4        2827.3     45833087
1127.57/76.13	c ................................ | *.........               2463000 | 93051               1000.7        2461.4     60736484
1328.91/89.74	c ................................ | *.........               2615000 | 101892              1200.7        2177.9     74228186
1530.38/102.78	c ................................ | *.........               2739000 | 110359              1401.2        1954.8     87441465
1731.22/115.36	c ................................ | *.........               2855000 | 118219              1600.3        1784.1    102093174

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-1776810-1244940864/watcher-1776810-1244940864 -o /tmp/evaluation-result-1776810-1244940864/solver-1776810-1244940864 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776810-1244940864.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: 0.92 0.98 1.10 2/184 20508
/proc/meminfo: memFree=19052780/36427776 swapFree=3764/8528
[pid=20508] ppid=20506 vsize=1580 CPUtime=0
/proc/20508/stat : 20508 (ttsth-5-0) R 20506 20508 15497 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 653392779 1617920 238 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134639534 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 395 239 75 177 0 217 0

[startup+0.088412 s]
/proc/loadavg: 0.92 0.98 1.10 2/184 20508
/proc/meminfo: memFree=19052780/36427776 swapFree=3764/8528
[pid=20508] ppid=20506 vsize=5696 CPUtime=0.08
/proc/20508/stat : 20508 (ttsth-5-0) R 20506 20508 15497 0 -1 4202496 1273 0 0 0 8 0 0 0 20 0 1 0 653392779 5832704 1229 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134534285 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 1424 1229 75 177 0 1246 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696

[startup+0.104396 s]
/proc/loadavg: 0.92 0.98 1.10 2/184 20508
/proc/meminfo: memFree=19052780/36427776 swapFree=3764/8528
[pid=20508] ppid=20506 vsize=8512 CPUtime=0.1
/proc/20508/stat : 20508 (ttsth-5-0) R 20506 20508 15497 0 -1 4202496 1967 0 0 0 10 0 0 0 20 0 1 0 653392779 8716288 1923 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134554919 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 2128 1931 76 177 0 1950 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8512

[startup+0.300395 s]
/proc/loadavg: 0.92 0.98 1.10 2/184 20508
/proc/meminfo: memFree=19052780/36427776 swapFree=3764/8528
[pid=20508] ppid=20506 vsize=13860 CPUtime=0.3
/proc/20508/stat : 20508 (ttsth-5-0) R 20506 20508 15497 0 -1 4202496 3198 0 0 0 28 2 0 0 20 0 1 0 653392779 14192640 3153 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134555550 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 3465 3153 76 177 0 3287 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13860

[startup+0.700417 s]
/proc/loadavg: 0.92 0.98 1.10 2/184 20508
/proc/meminfo: memFree=19052780/36427776 swapFree=3764/8528
[pid=20508] ppid=20506 vsize=13908 CPUtime=0.7
/proc/20508/stat : 20508 (ttsth-5-0) R 20506 20508 15497 0 -1 4202496 3434 0 0 0 68 2 0 0 20 0 1 0 653392779 14241792 3256 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 3477 3256 77 177 0 3299 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13908

[startup+1.50051 s]
/proc/loadavg: 0.92 0.98 1.10 2/185 20509
/proc/meminfo: memFree=19040144/36427776 swapFree=4672/20828
[pid=20508] ppid=20506 vsize=80676 CPUtime=1.48
/proc/20508/stat : 20508 (ttsth-5-0) R 20506 20508 15497 0 -1 4202496 20273 0 0 0 140 8 0 0 20 0 1 0 653392779 82612224 20029 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134550999 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 20169 20029 88 177 0 19991 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80676

[startup+3.10479 s]
/proc/loadavg: 0.92 0.98 1.10 2/185 20509
/proc/meminfo: memFree=18945688/36427776 swapFree=4796/116436
[pid=20508] ppid=20506 vsize=245520 CPUtime=17.66
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 29406 0 0 0 620 1146 0 0 20 0 17 0 653392779 251412480 29160 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 61380 29161 95 177 0 61202 0
[pid=20508/tid=20510] ppid=20506 vsize=245520 CPUtime=0.98
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 361 0 0 0 94 4 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134551795 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 116 0 0 0 18 78 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 124 0 0 0 20 76 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 127 0 0 0 18 78 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 128 0 0 0 24 72 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 126 0 0 0 20 76 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 132 0 0 0 18 78 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 129 0 0 0 18 78 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 191 0 0 0 18 78 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 116 0 0 0 24 72 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=245520 CPUtime=0.98
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 128 0 0 0 26 72 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=245520 CPUtime=0.98
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 100 0 0 0 24 74 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 151 0 0 0 24 72 0 0 20 0 17 0 653392989 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 133 0 0 0 24 72 0 0 20 0 17 0 653392990 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=245520 CPUtime=0.96
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 134 0 0 0 24 72 0 0 20 0 17 0 653392990 251412480 29161 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 17.66
Current children cumulated vsize (KiB) 245520

[startup+6.30389 s]
/proc/loadavg: 2.13 1.23 1.18 17/201 20525
/proc/meminfo: memFree=18923180/36427776 swapFree=4692/141228
[pid=20508] ppid=20506 vsize=268592 CPUtime=67.48
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 35383 0 0 0 2789 3959 0 0 20 0 17 0 653392779 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 67148 35137 95 177 0 66970 0
[pid=20508/tid=20510] ppid=20506 vsize=268592 CPUtime=4.16
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 621 0 0 0 408 8 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134590153 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 423 0 0 0 140 268 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=268592 CPUtime=4.06
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 592 0 0 0 146 260 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=268592 CPUtime=4.06
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 619 0 0 0 140 266 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134680288 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 518 0 0 0 150 258 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=268592 CPUtime=4.06
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 617 0 0 0 146 260 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134551509 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=268592 CPUtime=4.1
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 261 0 0 0 128 282 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591139 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 941 0 0 0 150 258 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=268592 CPUtime=4.1
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 958 0 0 0 158 252 0 0 20 0 17 0 653392989 275038208 35137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591086 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=268592 CPUtime=4.06
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 478 0 0 0 142 264 0 0 20 0 17 0 653392989 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134590948 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 272 0 0 0 146 262 0 0 20 0 17 0 653392989 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=268592 CPUtime=4.1
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 534 0 0 0 158 252 0 0 20 0 17 0 653392989 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591102 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 395 0 0 0 146 262 0 0 20 0 17 0 653392989 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134592447 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 444 0 0 0 154 254 0 0 20 0 17 0 653392990 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=268592 CPUtime=4.08
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 333 0 0 0 134 274 0 0 20 0 17 0 653392990 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20508/tid=20525] ppid=20506 vsize=268592 CPUtime=4
/proc/20508/task/20525/stat : 20525 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 301 0 0 0 140 260 0 0 20 0 17 0 653392991 275038208 35138 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591102 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 67.48
Current children cumulated vsize (KiB) 268592

[startup+12.7063 s]
/proc/loadavg: 3.24 1.48 1.26 17/201 20525
/proc/meminfo: memFree=18873516/36427776 swapFree=4692/191660
[pid=20508] ppid=20506 vsize=314464 CPUtime=167.62
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 47171 0 0 0 7852 8910 0 0 20 0 17 0 653392779 322011136 46925 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 78616 46927 95 177 0 78438 0
[pid=20508/tid=20510] ppid=20506 vsize=314464 CPUtime=10.56
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1316 0 0 0 1046 10 0 0 20 0 17 0 653392989 322011136 46927 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=314464 CPUtime=10.34
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 939 0 0 0 430 604 0 0 20 0 17 0 653392989 322011136 46928 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=314464 CPUtime=10.28
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1334 0 0 0 420 608 0 0 20 0 17 0 653392989 322011136 46928 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=314464 CPUtime=10.32
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1444 0 0 0 444 588 0 0 20 0 17 0 653392989 322011136 46928 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=314464 CPUtime=10.32
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1250 0 0 0 448 584 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=314464 CPUtime=10.32
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1343 0 0 0 428 604 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=314464 CPUtime=10.34
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 571 0 0 0 384 650 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=314464 CPUtime=10.36
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2082 0 0 0 466 570 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=314464 CPUtime=10.36
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2467 0 0 0 478 558 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=314464 CPUtime=10.32
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1075 0 0 0 460 572 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=314464 CPUtime=10.36
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1150 0 0 0 448 588 0 0 20 0 17 0 653392989 322011136 46929 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=314464 CPUtime=10.38
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1375 0 0 0 470 568 0 0 20 0 17 0 653392989 322011136 46930 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=314464 CPUtime=10.32
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 797 0 0 0 432 600 0 0 20 0 17 0 653392989 322011136 46931 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=314464 CPUtime=10.32
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1027 0 0 0 452 580 0 0 20 0 17 0 653392990 322011136 46931 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=314464 CPUtime=10.36
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 698 0 0 0 420 616 0 0 20 0 17 0 653392990 322011136 46931 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20508/tid=20525] ppid=20506 vsize=314464 CPUtime=10.12
/proc/20508/task/20525/stat : 20525 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1233 0 0 0 422 590 0 0 20 0 17 0 653392991 322011136 46932 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 167.62
Current children cumulated vsize (KiB) 314464

[startup+25.5065 s]
/proc/loadavg: 6.06 2.19 1.50 17/201 20525
/proc/meminfo: memFree=18762368/36427776 swapFree=4692/302264
[pid=20508] ppid=20506 vsize=429220 CPUtime=368.24
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 74571 0 0 0 20810 16014 0 0 20 0 17 0 653392779 439521280 74325 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 107305 74326 95 177 0 107127 0
[pid=20508/tid=20510] ppid=20506 vsize=429220 CPUtime=23.36
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 3253 0 0 0 2322 14 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=429220 CPUtime=22.92
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2506 0 0 0 1202 1090 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=429220 CPUtime=22.74
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2831 0 0 0 1140 1134 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=429220 CPUtime=22.82
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 3044 0 0 0 1206 1076 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=429220 CPUtime=22.84
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2475 0 0 0 1222 1062 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=429220 CPUtime=22.88
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 4644 0 0 0 1252 1036 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=429220 CPUtime=22.84
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1427 0 0 0 1146 1138 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591203 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=429220 CPUtime=22.96
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 4905 0 0 0 1312 984 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=429220 CPUtime=22.92
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 5258 0 0 0 1286 1006 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=429220 CPUtime=22.86
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2442 0 0 0 1248 1038 0 0 20 0 17 0 653392989 439521280 74326 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=429220 CPUtime=22.9
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2674 0 0 0 1240 1050 0 0 20 0 17 0 653392989 439521280 74327 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=429220 CPUtime=22.94
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2462 0 0 0 1244 1050 0 0 20 0 17 0 653392989 439521280 74327 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=429220 CPUtime=22.82
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 1614 0 0 0 1160 1122 0 0 20 0 17 0 653392989 439521280 74328 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=429220 CPUtime=22.92
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 3057 0 0 0 1266 1026 0 0 20 0 17 0 653392990 439521280 74329 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=429220 CPUtime=22.9
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2518 0 0 0 1194 1096 0 0 20 0 17 0 653392990 439521280 74329 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20508/tid=20525] ppid=20506 vsize=429220 CPUtime=22.4
/proc/20508/task/20525/stat : 20525 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 2386 0 0 0 1166 1074 0 0 20 0 17 0 653392991 439521280 74329 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134587929 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 368.24
Current children cumulated vsize (KiB) 429220

[startup+51.1051 s]
/proc/loadavg: 9.39 3.28 1.87 17/201 20530
/proc/meminfo: memFree=18373112/36427776 swapFree=4692/691212
[pid=20508] ppid=20506 vsize=847112 CPUtime=759.1
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 173383 0 0 0 56212 19698 0 0 20 0 17 0 653392779 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 211778 173137 95 177 0 211600 0
[pid=20508/tid=20510] ppid=20506 vsize=847112 CPUtime=48.86
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 25126 0 0 0 4846 40 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=847112 CPUtime=48.24
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 4521 0 0 0 3460 1364 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134590143 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=847112 CPUtime=47.94
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 7921 0 0 0 3418 1376 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=847112 CPUtime=41.28
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 8577 0 0 0 2814 1314 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=847112 CPUtime=48.13
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 6096 0 0 0 3491 1322 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=847112 CPUtime=48.17
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 12327 0 0 0 3553 1264 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=847112 CPUtime=48.12
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 4362 0 0 0 3370 1442 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=847112 CPUtime=47.96
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 12184 0 0 0 3634 1162 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=847112 CPUtime=48.24
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 13296 0 0 0 3584 1240 0 0 20 0 17 0 653392989 867442688 173137 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=847112 CPUtime=48.14
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 6019 0 0 0 3502 1312 0 0 20 0 17 0 653392989 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=847112 CPUtime=48.23
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 8923 0 0 0 3543 1280 0 0 20 0 17 0 653392989 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=847112 CPUtime=48.25
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 10002 0 0 0 3535 1290 0 0 20 0 17 0 653392989 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=847112 CPUtime=48.12
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 5036 0 0 0 3466 1346 0 0 20 0 17 0 653392989 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=847112 CPUtime=48.27
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 9717 0 0 0 3557 1270 0 0 20 0 17 0 653392990 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=847112 CPUtime=48.23
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 8513 0 0 0 3493 1330 0 0 20 0 17 0 653392990 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20508/tid=20525] ppid=20506 vsize=847112 CPUtime=40.72
/proc/20508/task/20525/stat : 20525 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 3688 0 0 0 2746 1326 0 0 20 0 17 0 653392991 867442688 173139 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 759.1
Current children cumulated vsize (KiB) 847112

[startup+102.315 s]
/proc/loadavg: 13.13 5.24 2.61 17/201 20530
/proc/meminfo: memFree=17464708/36427776 swapFree=4692/1598092
[pid=20508] ppid=20506 vsize=1805740 CPUtime=1524.2
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 398014 0 0 0 132064 20356 0 0 20 0 17 0 653392779 1849077760 397768 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 451435 397769 95 177 0 451257 0
[pid=20508/tid=20510] ppid=20506 vsize=1805740 CPUtime=99.39
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 98670 0 0 0 9807 132 0 0 20 0 17 0 653392989 1849077760 397769 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=1805740 CPUtime=91.68
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 8130 0 0 0 7790 1378 0 0 20 0 17 0 653392989 1849077760 397770 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=1805740 CPUtime=98.55
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 18859 0 0 0 8415 1440 0 0 20 0 17 0 653392989 1849077760 397770 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=1805740 CPUtime=82.9
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 22395 0 0 0 6958 1332 0 0 20 0 17 0 653392989 1849077760 397770 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=1805740 CPUtime=98.72
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 15181 0 0 0 8504 1368 0 0 20 0 17 0 653392989 1849077760 397770 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134552745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=1805740 CPUtime=91.31
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 23112 0 0 0 7833 1298 0 0 20 0 17 0 653392989 1849077760 397770 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=1805740 CPUtime=95.13
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 7461 0 0 0 8035 1478 0 0 20 0 17 0 653392989 1849077760 397770 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=1805740 CPUtime=97.64
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 28534 0 0 0 8558 1206 0 0 20 0 17 0 653392989 1849077760 397771 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=1805740 CPUtime=98.67
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 33805 0 0 0 8557 1310 0 0 20 0 17 0 653392989 1849077760 397771 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=1805740 CPUtime=98.87
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 10890 0 0 0 8537 1350 0 0 20 0 17 0 653392989 1849077760 397771 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=1805740 CPUtime=98.7
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 24471 0 0 0 8562 1308 0 0 20 0 17 0 653392989 1849077760 397771 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=1805740 CPUtime=94.23
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 22828 0 0 0 8091 1332 0 0 20 0 17 0 653392989 1849077760 397771 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=1805740 CPUtime=98.79
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 11172 0 0 0 8495 1384 0 0 20 0 17 0 653392989 1849077760 397771 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=1805740 CPUtime=98.34
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 20931 0 0 0 8514 1320 0 0 20 0 17 0 653392990 1849077760 397772 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=1805740 CPUtime=90.47
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 18322 0 0 0 7693 1354 0 0 20 0 17 0 653392990 1849077760 397772 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20525] ppid=20506 vsize=1805740 CPUtime=88.58
/proc/20508/task/20525/stat : 20525 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 6178 0 0 0 7510 1348 0 0 20 0 17 0 653392991 1849077760 397772 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 1805740



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+116.806 s]
/proc/loadavg: 13.77 5.76 2.83 17/201 20530
/proc/meminfo: memFree=17188368/36427776 swapFree=4692/1873968
[pid=20508] ppid=20506 vsize=2098032 CPUtime=1755.31
/proc/20508/stat : 20508 (ttsth-5-0) S 20506 20508 15497 0 -1 4202496 466990 0 0 0 154866 20665 0 0 20 0 17 0 653392779 2148384768 466744 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 524508 466744 95 177 0 524330 0
[pid=20508/tid=20510] ppid=20506 vsize=2098032 CPUtime=113.87
/proc/20508/task/20510/stat : 20510 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 131014 0 0 0 11221 166 0 0 20 0 17 0 653392989 2148384768 466745 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134561484 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=2098032 CPUtime=106.13
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 9581 0 0 0 9213 1400 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=20508/tid=20512] ppid=20506 vsize=2098032 CPUtime=113.02
/proc/20508/task/20512/stat : 20512 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 20426 0 0 0 9846 1456 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=20508/tid=20513] ppid=20506 vsize=2098032 CPUtime=97.33
/proc/20508/task/20513/stat : 20513 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 25358 0 0 0 8387 1346 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=20508/tid=20514] ppid=20506 vsize=2098032 CPUtime=113.17
/proc/20508/task/20514/stat : 20514 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 16589 0 0 0 9917 1400 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=20508/tid=20515] ppid=20506 vsize=2098032 CPUtime=105.8
/proc/20508/task/20515/stat : 20515 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 26108 0 0 0 9268 1312 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=20508/tid=20516] ppid=20506 vsize=2098032 CPUtime=109.59
/proc/20508/task/20516/stat : 20516 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 9096 0 0 0 9463 1496 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=20508/tid=20517] ppid=20506 vsize=2098032 CPUtime=111.83
/proc/20508/task/20517/stat : 20517 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 31878 0 0 0 9963 1220 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=20508/tid=20518] ppid=20506 vsize=2098032 CPUtime=113.11
/proc/20508/task/20518/stat : 20518 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 38159 0 0 0 9977 1334 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=20508/tid=20519] ppid=20506 vsize=2098032 CPUtime=113.34
/proc/20508/task/20519/stat : 20519 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 11802 0 0 0 9976 1358 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=20508/tid=20520] ppid=20506 vsize=2098032 CPUtime=113.15
/proc/20508/task/20520/stat : 20520 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 27096 0 0 0 9991 1324 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=20508/tid=20521] ppid=20506 vsize=2098032 CPUtime=108.68
/proc/20508/task/20521/stat : 20521 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 25696 0 0 0 9512 1356 0 0 20 0 17 0 653392989 2148384768 466746 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=20508/tid=20522] ppid=20506 vsize=2098032 CPUtime=113.27
/proc/20508/task/20522/stat : 20522 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 13047 0 0 0 9925 1402 0 0 20 0 17 0 653392989 2148384768 466747 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=20508/tid=20523] ppid=20506 vsize=2098032 CPUtime=112.79
/proc/20508/task/20523/stat : 20523 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 24601 0 0 0 9943 1336 0 0 20 0 17 0 653392990 2148384768 466747 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=20508/tid=20524] ppid=20506 vsize=2098032 CPUtime=104.92
/proc/20508/task/20524/stat : 20524 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 21924 0 0 0 9120 1372 0 0 20 0 17 0 653392990 2148384768 466747 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=20508/tid=20525] ppid=20506 vsize=2098032 CPUtime=103.04
/proc/20508/task/20525/stat : 20525 (ttsth-5-0) R 20506 20508 15497 0 -1 4202560 7541 0 0 0 8938 1366 0 0 20 0 17 0 653392991 2148384768 466748 18446744073709551615 134512640 135237372 4288309376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1755.31
Current children cumulated vsize (KiB) 2098032

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

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

[startup+116.926 s]
/proc/loadavg: 13.77 5.76 2.83 17/201 20530
/proc/meminfo: memFree=17188368/36427776 swapFree=4692/1873968
[pid=20508] ppid=20506 vsize=0 CPUtime=1755.54
/proc/20508/stat : 20508 (ttsth-5-0) Z 20506 20508 15497 0 -1 4203532 467017 0 0 0 154874 20680 0 0 20 0 2 0 653392779 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/20508/statm: 0 0 0 0 0 0 0
[pid=20508/tid=20511] ppid=20506 vsize=0 CPUtime=106.23
/proc/20508/task/20511/stat : 20511 (ttsth-5-0) R 20506 20508 15497 0 -1 4203588 9591 0 0 0 9213 1410 0 0 20 0 2 0 653392989 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1755.54
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 116.995
CPU time (s): 1755.62
CPU user time (s): 1548.75
CPU system time (s): 206.869
CPU usage (%): 1500.59
Max. virtual memory (cumulated for all children) (KiB): 2098032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1548.75
system time used= 206.869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467017
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= 130740
involuntary context switches= 5151

runsolver used 0.548034 second user time and 1.77211 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 02:54:24
IDJOB=1776810
IDBENCH=69594
IDSOLVER=634
FILE ID=xenhost3-49/1776810-1244940864
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/velev-engi-uns-1.0-4nd.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776810-1244940864/watcher-1776810-1244940864 -o /tmp/evaluation-result-1776810-1244940864/solver-1776810-1244940864 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776810-1244940864.cnf

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

MD5SUM BENCH= 700f8e86139a93fca212e22efa0f7d2b
RANDOM SEED= 1797707399

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:      19052780 kB
Buffers:        477148 kB
Cached:       14116552 kB
SwapCached:          0 kB
Active:        4124236 kB
Inactive:     10478592 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2004 kB
Writeback:           0 kB
AnonPages:        8528 kB
Mapped:           3764 kB
Slab:           718880 kB
SReclaimable:   692124 kB
SUnreclaim:      26756 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-14 02:56:23