Trace number 1780035

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) 3351.01 218.298

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l38_lambda.cnf
MD5SUM208fab3c6bb011254beb601f462aad3b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.5
Satisfiable
(Un)Satisfiability was proved
Number of variables26986
Number of clauses132388
Sum of the clauses size380643
Maximum clause length9
Minimum clause length1
Number of clauses of size 13644
Number of clauses of size 234225
Number of clauses of size 375813
Number of clauses of size 412876
Number of clauses of size 55716
Number of clauses of size over 5114

Solver Data 

0.20/0.24	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780035-1244959271.cnf 
0.20/0.24	c Using SATTIMEOUT of 10000
0.20/0.24	c Using SATRAM of 2047
0.20/0.24	c Size of subset node = 16
0.20/0.24	c Variables = 26986
0.20/0.24	c Clauses = 132388
0.20/0.24	c Literals = 380643
0.20/0.24	c Reduced size:
0.20/0.24	c Variables = 26986
0.20/0.24	c Clauses = 118243
0.20/0.24	c Literals = 345096
0.20/0.24	c a2
0.38/0.45	c a1
6.00/6.05	c Independent sub-problems = 1
6.00/6.05	c Sub-problem with 22434 variables and 118243 clauses
6.00/6.05	c using permutation method 4
6.00/6.05	c count = 1
6.00/6.05	c Ordering finished 6.000 seconds
6.00/6.05	c mapped 6.040 seconds
6.00/6.05	c permuted 6.040 seconds
6.00/6.05	c about to sort
6.00/6.08	c sorted
7.48/7.58	c clauses now 118243
7.48/7.58	c init finished 6.510 seconds
7.48/7.58	c tree built 7.570 seconds
7.48/7.58	c 
7.48/7.58	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
7.48/7.58	c ---------------------------------|----------------------------------|------------------------------------------------------
7.48/7.58	c ................................ | ..........                       |                        7.6           0.0            2
7.48/7.58	c ................................ | ..........                     1 |                        7.6           0.1            3
7.48/7.58	c ****************................ | ..........                     2 | 1                      7.6           0.3            3
7.48/7.58	c ****************................ | ..........                     3 | 1                      7.6           0.4            3
7.48/7.58	c ****************................ | ..........                     4 | 1                      7.6           0.5            3
7.48/7.58	c ****************................ | ..........                     5 | 1                      7.6           0.7            3
7.48/7.58	c ****************................ | ..........                     6 | 1                      7.6           0.8            3
9.53/7.74	c ****************................ | ..........                  1000 | 3                      8.8         113.3          828
255.15/23.49	c ****************................ | ..........                589000 | 13494                200.7        2935.0      6359735
471.06/37.16	c ****************................ | ..........                888000 | 19817                400.4        2217.6     13610149
678.46/50.27	c ****************................ | ..........               1168000 | 28484                600.1        1946.4     20139042
884.82/63.29	c ****************................ | ..........               1400000 | 34363                800.9        1747.9     26886481
1088.48/76.06	c ****************................ | *.........               1607000 | 39595               1000.1        1606.8     32744526
1293.36/88.90	c ****************................ | *.........               1839000 | 46087               1200.4        1531.9     38436866
1496.84/101.74	c ****************................ | *.........               2053000 | 49532               1400.1        1466.3     44260142
1700.65/114.57	c ****************................ | *.........               2269000 | 53382               1600.5        1417.7     50119308
1904.03/127.36	c ****************................ | *.........               2453000 | 55921               1800.8        1362.2     56110412
2107.86/140.13	c ****************................ | **........               2629000 | 60557               2001.4        1313.6     62538610

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-1780035-1244959271/watcher-1780035-1244959271 -o /tmp/evaluation-result-1780035-1244959271/solver-1780035-1244959271 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780035-1244959271.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.64 15.08 15.04 2/184 26571
/proc/meminfo: memFree=19040892/36427776 swapFree=3648/8732
[pid=26571] ppid=26569 vsize=1548 CPUtime=0
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 655233500 1585152 234 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 387 234 75 177 0 209 0

[startup+0.100299 s]
/proc/loadavg: 15.64 15.08 15.04 2/184 26571
/proc/meminfo: memFree=19040892/36427776 swapFree=3648/8732
[pid=26571] ppid=26569 vsize=6996 CPUtime=0.1
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 1607 0 0 0 10 0 0 0 20 0 1 0 655233500 7163904 1564 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 1749 1566 75 177 0 1571 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6996

[startup+0.20432 s]
/proc/loadavg: 15.64 15.08 15.04 2/184 26571
/proc/meminfo: memFree=19040892/36427776 swapFree=3648/8732
[pid=26571] ppid=26569 vsize=10044 CPUtime=0.2
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 2357 0 0 0 18 2 0 0 20 0 1 0 655233500 10285056 2314 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134534259 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 2511 2314 75 177 0 2333 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10044

[startup+0.300359 s]
/proc/loadavg: 15.64 15.08 15.04 2/184 26571
/proc/meminfo: memFree=19040892/36427776 swapFree=3648/8732
[pid=26571] ppid=26569 vsize=19008 CPUtime=0.28
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 4532 0 0 0 26 2 0 0 20 0 1 0 655233500 19464192 4488 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134519968 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 4752 4488 76 177 0 4574 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 19008

[startup+0.700345 s]
/proc/loadavg: 15.64 15.08 15.04 2/184 26571
/proc/meminfo: memFree=19040892/36427776 swapFree=3648/8732
[pid=26571] ppid=26569 vsize=21732 CPUtime=0.68
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 5622 0 0 0 66 2 0 0 20 0 1 0 655233500 22253568 5218 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 5433 5219 77 177 0 5255 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21732

[startup+1.50041 s]
/proc/loadavg: 15.64 15.08 15.04 2/185 26572
/proc/meminfo: memFree=19019876/36427776 swapFree=3856/30076
[pid=26571] ppid=26569 vsize=22796 CPUtime=1.48
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 5880 0 0 0 146 2 0 0 20 0 1 0 655233500 23343104 5476 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 5699 5476 77 177 0 5521 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22796

[startup+3.10058 s]
/proc/loadavg: 14.47 14.84 14.96 2/185 26572
/proc/meminfo: memFree=19017888/36427776 swapFree=4620/30872
[pid=26571] ppid=26569 vsize=22928 CPUtime=3.08
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 5943 0 0 0 306 2 0 0 20 0 1 0 655233500 23478272 5539 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134600718 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 5732 5539 77 177 0 5554 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22928

[startup+6.30486 s]
/proc/loadavg: 14.47 14.84 14.96 2/185 26572
/proc/meminfo: memFree=19017640/36427776 swapFree=4620/31168
[pid=26571] ppid=26569 vsize=130900 CPUtime=6.3
/proc/26571/stat : 26571 (ttsth-5-0) R 26569 26571 15497 0 -1 4202496 33023 0 0 0 620 10 0 0 20 0 1 0 655233500 134041600 32503 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 32758 32510 85 177 0 32580 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 130900

[startup+12.7076 s]
/proc/loadavg: 13.60 14.63 14.89 17/201 26588
/proc/meminfo: memFree=18723184/36427776 swapFree=4692/327212
[pid=26571] ppid=26569 vsize=450184 CPUtime=87.44
/proc/26571/stat : 26571 (ttsth-5-0) S 26569 26571 15497 0 -1 4202496 82029 0 0 0 4296 4448 0 0 20 0 17 0 655233500 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 112546 81392 95 177 0 112368 0
[pid=26571/tid=26573] ppid=26569 vsize=450184 CPUtime=5.08
/proc/26571/task/26573/stat : 26573 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 1694 0 0 0 494 14 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26571/tid=26574] ppid=26569 vsize=450184 CPUtime=5
/proc/26571/task/26574/stat : 26574 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 660 0 0 0 190 310 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26571/tid=26575] ppid=26569 vsize=450184 CPUtime=5
/proc/26571/task/26575/stat : 26575 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 719 0 0 0 228 272 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26571/tid=26576] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26576/stat : 26576 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 697 0 0 0 198 300 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26571/tid=26577] ppid=26569 vsize=450184 CPUtime=5
/proc/26571/task/26577/stat : 26577 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 631 0 0 0 208 292 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134588079 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26571/tid=26578] ppid=26569 vsize=450184 CPUtime=5
/proc/26571/task/26578/stat : 26578 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 815 0 0 0 206 294 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26571/tid=26579] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26579/stat : 26579 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 685 0 0 0 206 292 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26571/tid=26580] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26580/stat : 26580 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 764 0 0 0 198 300 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26571/tid=26581] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26581/stat : 26581 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 652 0 0 0 200 298 0 0 20 0 17 0 655234258 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134589091 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26571/tid=26582] ppid=26569 vsize=450184 CPUtime=4.96
/proc/26571/task/26582/stat : 26582 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 659 0 0 0 188 308 0 0 20 0 17 0 655234259 460988416 81392 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26571/tid=26583] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26583/stat : 26583 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 692 0 0 0 204 294 0 0 20 0 17 0 655234259 460988416 81393 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26571/tid=26584] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26584/stat : 26584 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 658 0 0 0 200 298 0 0 20 0 17 0 655234259 460988416 81394 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26571/tid=26585] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26585/stat : 26585 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 630 0 0 0 204 294 0 0 20 0 17 0 655234259 460988416 81394 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26571/tid=26586] ppid=26569 vsize=450184 CPUtime=4.88
/proc/26571/task/26586/stat : 26586 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 646 0 0 0 190 298 0 0 20 0 17 0 655234259 460988416 81394 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26571/tid=26587] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26587/stat : 26587 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 561 0 0 0 220 278 0 0 20 0 17 0 655234259 460988416 81394 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=450184 CPUtime=4.98
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 750 0 0 0 220 278 0 0 20 0 17 0 655234259 460988416 81394 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 87.44
Current children cumulated vsize (KiB) 450184

[startup+25.5057 s]
/proc/loadavg: 13.97 14.68 14.90 17/201 26588
/proc/meminfo: memFree=18619652/36427776 swapFree=4692/432428
[pid=26571] ppid=26569 vsize=556184 CPUtime=288.17
/proc/26571/stat : 26571 (ttsth-5-0) S 26569 26571 15497 0 -1 4202496 107304 0 0 0 18671 10146 0 0 20 0 17 0 655233500 569532416 106667 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 139046 106667 95 177 0 138868 0
[pid=26571/tid=26573] ppid=26569 vsize=556184 CPUtime=17.88
/proc/26571/task/26573/stat : 26573 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 4699 0 0 0 1768 20 0 0 20 0 17 0 655234258 569532416 106667 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26571/tid=26574] ppid=26569 vsize=556184 CPUtime=17.56
/proc/26571/task/26574/stat : 26574 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2056 0 0 0 1052 704 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26571/tid=26575] ppid=26569 vsize=556184 CPUtime=17.58
/proc/26571/task/26575/stat : 26575 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2235 0 0 0 1114 644 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134680367 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26571/tid=26576] ppid=26569 vsize=556184 CPUtime=17.54
/proc/26571/task/26576/stat : 26576 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2137 0 0 0 1078 676 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26571/tid=26577] ppid=26569 vsize=556184 CPUtime=17.54
/proc/26571/task/26577/stat : 26577 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2201 0 0 0 1074 680 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26571/tid=26578] ppid=26569 vsize=556184 CPUtime=17.6
/proc/26571/task/26578/stat : 26578 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2513 0 0 0 1102 658 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134590267 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26571/tid=26579] ppid=26569 vsize=556184 CPUtime=17.5
/proc/26571/task/26579/stat : 26579 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2053 0 0 0 1072 678 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26571/tid=26580] ppid=26569 vsize=556184 CPUtime=17.48
/proc/26571/task/26580/stat : 26580 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2691 0 0 0 1070 678 0 0 20 0 17 0 655234258 569532416 106668 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26571/tid=26581] ppid=26569 vsize=556184 CPUtime=17.52
/proc/26571/task/26581/stat : 26581 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 1819 0 0 0 1086 666 0 0 20 0 17 0 655234258 569532416 106669 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26571/tid=26582] ppid=26569 vsize=556184 CPUtime=17.48
/proc/26571/task/26582/stat : 26582 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2094 0 0 0 1058 690 0 0 20 0 17 0 655234259 569532416 106669 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26571/tid=26583] ppid=26569 vsize=556184 CPUtime=17.52
/proc/26571/task/26583/stat : 26583 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2165 0 0 0 1108 644 0 0 20 0 17 0 655234259 569532416 106670 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26571/tid=26584] ppid=26569 vsize=556184 CPUtime=17.5
/proc/26571/task/26584/stat : 26584 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2041 0 0 0 1086 664 0 0 20 0 17 0 655234259 569532416 106670 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26571/tid=26585] ppid=26569 vsize=556184 CPUtime=17.54
/proc/26571/task/26585/stat : 26585 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2343 0 0 0 1080 674 0 0 20 0 17 0 655234259 569532416 106671 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26571/tid=26586] ppid=26569 vsize=556184 CPUtime=17.14
/proc/26571/task/26586/stat : 26586 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2130 0 0 0 1022 692 0 0 20 0 17 0 655234259 569532416 106671 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134590773 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26571/tid=26587] ppid=26569 vsize=556184 CPUtime=17.52
/proc/26571/task/26587/stat : 26587 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 2053 0 0 0 1066 686 0 0 20 0 17 0 655234259 569532416 106671 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=556184 CPUtime=17.56
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 1960 0 0 0 1092 664 0 0 20 0 17 0 655234259 569532416 106671 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 288.17
Current children cumulated vsize (KiB) 556184

[startup+51.1062 s]
/proc/loadavg: 14.60 14.77 14.93 17/201 26588
/proc/meminfo: memFree=18404480/36427776 swapFree=4692/647056
[pid=26571] ppid=26569 vsize=785952 CPUtime=692.79
/proc/26571/stat : 26571 (ttsth-5-0) S 26569 26571 15497 0 -1 4202496 161192 0 0 0 55695 13584 0 0 20 0 17 0 655233500 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 196488 160555 95 177 0 196310 0
[pid=26571/tid=26573] ppid=26569 vsize=785952 CPUtime=43.47
/proc/26571/task/26573/stat : 26573 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 10464 0 0 0 4313 34 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134591086 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26571/tid=26574] ppid=26569 vsize=785952 CPUtime=42.86
/proc/26571/task/26574/stat : 26574 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5177 0 0 0 3352 934 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26571/tid=26575] ppid=26569 vsize=785952 CPUtime=42.91
/proc/26571/task/26575/stat : 26575 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 4744 0 0 0 3405 886 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134591122 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26571/tid=26576] ppid=26569 vsize=785952 CPUtime=42.88
/proc/26571/task/26576/stat : 26576 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 6577 0 0 0 3364 924 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134680505 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26571/tid=26577] ppid=26569 vsize=785952 CPUtime=42.85
/proc/26571/task/26577/stat : 26577 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5177 0 0 0 3347 938 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26571/tid=26578] ppid=26569 vsize=785952 CPUtime=42.94
/proc/26571/task/26578/stat : 26578 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5383 0 0 0 3376 918 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26571/tid=26579] ppid=26569 vsize=785952 CPUtime=42.76
/proc/26571/task/26579/stat : 26579 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5906 0 0 0 3374 902 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26571/tid=26580] ppid=26569 vsize=785952 CPUtime=42.82
/proc/26571/task/26580/stat : 26580 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 7000 0 0 0 3404 878 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26571/tid=26581] ppid=26569 vsize=785952 CPUtime=42.78
/proc/26571/task/26581/stat : 26581 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 4793 0 0 0 3364 914 0 0 20 0 17 0 655234258 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26571/tid=26582] ppid=26569 vsize=785952 CPUtime=42.76
/proc/26571/task/26582/stat : 26582 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 4506 0 0 0 3350 926 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134749337 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26571/tid=26583] ppid=26569 vsize=785952 CPUtime=42.87
/proc/26571/task/26583/stat : 26583 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 3939 0 0 0 3455 832 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26571/tid=26584] ppid=26569 vsize=785952 CPUtime=42.78
/proc/26571/task/26584/stat : 26584 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5380 0 0 0 3376 902 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26571/tid=26585] ppid=26569 vsize=785952 CPUtime=42.85
/proc/26571/task/26585/stat : 26585 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 6440 0 0 0 3393 892 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26571/tid=26586] ppid=26569 vsize=785952 CPUtime=41.99
/proc/26571/task/26586/stat : 26586 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5503 0 0 0 3349 850 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26571/tid=26587] ppid=26569 vsize=785952 CPUtime=42.72
/proc/26571/task/26587/stat : 26587 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 5550 0 0 0 3326 946 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=785952 CPUtime=42.87
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 4537 0 0 0 3409 878 0 0 20 0 17 0 655234259 804814848 160555 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134593467 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 692.79
Current children cumulated vsize (KiB) 785952

[startup+102.307 s]
/proc/loadavg: 15.37 14.96 14.98 17/201 26588
/proc/meminfo: memFree=18017248/36427776 swapFree=4692/1033740
[pid=26571] ppid=26569 vsize=1196020 CPUtime=1506.56
/proc/26571/stat : 26571 (ttsth-5-0) S 26569 26571 15497 0 -1 4202496 257361 0 0 0 133709 16947 0 0 20 0 17 0 655233500 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 299005 256724 95 177 0 298827 0
[pid=26571/tid=26573] ppid=26569 vsize=1196020 CPUtime=94.68
/proc/26571/task/26573/stat : 26573 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 24036 0 0 0 9402 66 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26571/tid=26574] ppid=26569 vsize=1196020 CPUtime=93.71
/proc/26571/task/26574/stat : 26574 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 10473 0 0 0 8187 1184 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134634688 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26571/tid=26575] ppid=26569 vsize=1196020 CPUtime=93.85
/proc/26571/task/26575/stat : 26575 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 10927 0 0 0 8279 1106 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26571/tid=26576] ppid=26569 vsize=1196020 CPUtime=93.76
/proc/26571/task/26576/stat : 26576 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 13613 0 0 0 8188 1188 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26571/tid=26577] ppid=26569 vsize=1196020 CPUtime=93.72
/proc/26571/task/26577/stat : 26577 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 10122 0 0 0 8170 1202 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26571/tid=26578] ppid=26569 vsize=1196020 CPUtime=93.85
/proc/26571/task/26578/stat : 26578 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 11132 0 0 0 8231 1154 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26571/tid=26579] ppid=26569 vsize=1196020 CPUtime=93.48
/proc/26571/task/26579/stat : 26579 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 12630 0 0 0 8196 1152 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26571/tid=26580] ppid=26569 vsize=1196020 CPUtime=93.76
/proc/26571/task/26580/stat : 26580 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 13020 0 0 0 8316 1060 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26571/tid=26581] ppid=26569 vsize=1196020 CPUtime=93.66
/proc/26571/task/26581/stat : 26581 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 10906 0 0 0 8208 1158 0 0 20 0 17 0 655234258 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26571/tid=26582] ppid=26569 vsize=1196020 CPUtime=93.63
/proc/26571/task/26582/stat : 26582 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 9211 0 0 0 8213 1150 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26571/tid=26583] ppid=26569 vsize=1196020 CPUtime=93.81
/proc/26571/task/26583/stat : 26583 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 6951 0 0 0 8349 1032 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134680270 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26571/tid=26584] ppid=26569 vsize=1196020 CPUtime=93.7
/proc/26571/task/26584/stat : 26584 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 11221 0 0 0 8242 1128 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26571/tid=26585] ppid=26569 vsize=1196020 CPUtime=93.82
/proc/26571/task/26585/stat : 26585 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 11425 0 0 0 8308 1074 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26571/tid=26586] ppid=26569 vsize=1196020 CPUtime=91.98
/proc/26571/task/26586/stat : 26586 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 11597 0 0 0 8186 1012 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26571/tid=26587] ppid=26569 vsize=1196020 CPUtime=93.66
/proc/26571/task/26587/stat : 26587 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 10312 0 0 0 8230 1136 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134680288 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=1196020 CPUtime=93.77
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 9669 0 0 0 8263 1114 0 0 20 0 17 0 655234259 1224724480 256724 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1506.56
Current children cumulated vsize (KiB) 1196020

[startup+162.307 s]
/proc/loadavg: 15.79 15.14 15.04 17/201 26588
/proc/meminfo: memFree=17564472/36427776 swapFree=4692/1485240
[pid=26571] ppid=26569 vsize=1679056 CPUtime=2461.66
/proc/26571/stat : 26571 (ttsth-5-0) S 26569 26571 15497 0 -1 4202496 370569 0 0 0 226588 19578 0 0 20 0 17 0 655233500 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 419764 369932 95 177 0 419586 0
[pid=26571/tid=26573] ppid=26569 vsize=1679056 CPUtime=154.65
/proc/26571/task/26573/stat : 26573 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 34106 0 0 0 15379 86 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26571/tid=26574] ppid=26569 vsize=1679056 CPUtime=153.43
/proc/26571/task/26574/stat : 26574 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 19193 0 0 0 13989 1354 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26571/tid=26575] ppid=26569 vsize=1679056 CPUtime=153.64
/proc/26571/task/26575/stat : 26575 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 16296 0 0 0 14098 1266 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26571/tid=26576] ppid=26569 vsize=1679056 CPUtime=153.43
/proc/26571/task/26576/stat : 26576 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 22785 0 0 0 13945 1398 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26571/tid=26577] ppid=26569 vsize=1679056 CPUtime=153.44
/proc/26571/task/26577/stat : 26577 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 16271 0 0 0 13936 1408 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26571/tid=26578] ppid=26569 vsize=1679056 CPUtime=153.64
/proc/26571/task/26578/stat : 26578 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 15918 0 0 0 14036 1328 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26571/tid=26579] ppid=26569 vsize=1679056 CPUtime=153.17
/proc/26571/task/26579/stat : 26579 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 24472 0 0 0 13955 1362 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26571/tid=26580] ppid=26569 vsize=1679056 CPUtime=153.55
/proc/26571/task/26580/stat : 26580 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 18198 0 0 0 14129 1226 0 0 20 0 17 0 655234258 1719353344 369932 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26571/tid=26581] ppid=26569 vsize=1679056 CPUtime=153.43
/proc/26571/task/26581/stat : 26581 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 20526 0 0 0 14031 1312 0 0 20 0 17 0 655234258 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26571/tid=26582] ppid=26569 vsize=1679056 CPUtime=153.31
/proc/26571/task/26582/stat : 26582 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 14281 0 0 0 13987 1344 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26571/tid=26583] ppid=26569 vsize=1679056 CPUtime=153.57
/proc/26571/task/26583/stat : 26583 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 9903 0 0 0 14145 1212 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26571/tid=26584] ppid=26569 vsize=1679056 CPUtime=153.43
/proc/26571/task/26584/stat : 26584 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 19932 0 0 0 14031 1312 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26571/tid=26585] ppid=26569 vsize=1679056 CPUtime=153.63
/proc/26571/task/26585/stat : 26585 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 15513 0 0 0 14151 1212 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26571/tid=26586] ppid=26569 vsize=1679056 CPUtime=150.68
/proc/26571/task/26586/stat : 26586 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 21191 0 0 0 13910 1158 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562416 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26571/tid=26587] ppid=26569 vsize=1679056 CPUtime=153.42
/proc/26571/task/26587/stat : 26587 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 15975 0 0 0 14040 1302 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=1679056 CPUtime=153.5
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 15894 0 0 0 14080 1270 0 0 20 0 17 0 655234259 1719353344 369933 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 2461.66
Current children cumulated vsize (KiB) 1679056



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+218.104 s]
/proc/loadavg: 15.92 15.30 15.10 17/201 26588
/proc/meminfo: memFree=17169160/36427776 swapFree=4692/1879312
[pid=26571] ppid=26569 vsize=2096644 CPUtime=3350.64
/proc/26571/stat : 26571 (ttsth-5-0) S 26569 26571 15497 0 -1 4202496 468589 0 0 0 313832 21232 0 0 20 0 17 0 655233500 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 524161 467952 95 177 0 523983 0
[pid=26571/tid=26573] ppid=26569 vsize=2096644 CPUtime=210.46
/proc/26571/task/26573/stat : 26573 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 54983 0 0 0 20926 120 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=26571/tid=26574] ppid=26569 vsize=2096644 CPUtime=209.07
/proc/26571/task/26574/stat : 26574 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 23844 0 0 0 19471 1436 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=26571/tid=26575] ppid=26569 vsize=2096644 CPUtime=209.27
/proc/26571/task/26575/stat : 26575 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 20070 0 0 0 19537 1390 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=26571/tid=26576] ppid=26569 vsize=2096644 CPUtime=209.03
/proc/26571/task/26576/stat : 26576 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 31522 0 0 0 19379 1524 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=26571/tid=26577] ppid=26569 vsize=2096644 CPUtime=208.06
/proc/26571/task/26577/stat : 26577 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 21169 0 0 0 19272 1534 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562348 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=26571/tid=26578] ppid=26569 vsize=2096644 CPUtime=209.28
/proc/26571/task/26578/stat : 26578 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 19498 0 0 0 19478 1450 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=26571/tid=26579] ppid=26569 vsize=2096644 CPUtime=208.7
/proc/26571/task/26579/stat : 26579 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 31634 0 0 0 19384 1486 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=26571/tid=26580] ppid=26569 vsize=2096644 CPUtime=209.18
/proc/26571/task/26580/stat : 26580 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 21627 0 0 0 19584 1334 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=26571/tid=26581] ppid=26569 vsize=2096644 CPUtime=209.06
/proc/26571/task/26581/stat : 26581 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 26764 0 0 0 19484 1422 0 0 20 0 17 0 655234258 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=26571/tid=26582] ppid=26569 vsize=2096644 CPUtime=208.89
/proc/26571/task/26582/stat : 26582 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 19142 0 0 0 19417 1472 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=26571/tid=26583] ppid=26569 vsize=2096644 CPUtime=209.19
/proc/26571/task/26583/stat : 26583 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 12996 0 0 0 19595 1324 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=26571/tid=26584] ppid=26569 vsize=2096644 CPUtime=209.08
/proc/26571/task/26584/stat : 26584 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 25585 0 0 0 19504 1404 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=26571/tid=26585] ppid=26569 vsize=2096644 CPUtime=209.29
/proc/26571/task/26585/stat : 26585 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 18563 0 0 0 19615 1314 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=26571/tid=26586] ppid=26569 vsize=2096644 CPUtime=206.22
/proc/26571/task/26586/stat : 26586 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 29812 0 0 0 19350 1272 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=26571/tid=26587] ppid=26569 vsize=2096644 CPUtime=209.05
/proc/26571/task/26587/stat : 26587 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 20518 0 0 0 19519 1386 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=2096644 CPUtime=209.16
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4202560 20746 0 0 0 19580 1336 0 0 20 0 17 0 655234259 2146963456 467952 18446744073709551615 134512640 135237372 4288985376 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3350.64
Current children cumulated vsize (KiB) 2096644

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

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

[startup+218.224 s]
/proc/loadavg: 15.92 15.30 15.10 17/201 26588
/proc/meminfo: memFree=17169160/36427776 swapFree=4692/1879312
[pid=26571] ppid=26569 vsize=0 CPUtime=3350.91
/proc/26571/stat : 26571 (ttsth-5-0) Z 26569 26571 15497 0 -1 4203532 468600 0 0 0 313847 21244 0 0 20 0 2 0 655233500 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/26571/statm: 0 0 0 0 0 0 0
[pid=26571/tid=26588] ppid=26569 vsize=0 CPUtime=209.26
/proc/26571/task/26588/stat : 26588 (ttsth-5-0) R 26569 26571 15497 0 -1 4203588 20746 0 0 0 19580 1346 0 0 20 0 2 0 655234259 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3350.91
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 218.298
CPU time (s): 3351.01
CPU user time (s): 3138.48
CPU system time (s): 212.525
CPU usage (%): 1535.06
Max. virtual memory (cumulated for all children) (KiB): 2096644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3138.48
system time used= 212.525
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468600
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= 239630
involuntary context switches= 7086

runsolver used 1.10807 second user time and 3.08819 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 208fab3c6bb011254beb601f462aad3b
RANDOM SEED= 1825492326

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:      19040892 kB
Buffers:        484476 kB
Cached:       14118936 kB
SwapCached:          0 kB
Active:        4130864 kB
Inactive:     10481288 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2688 kB
Writeback:           0 kB
AnonPages:        8732 kB
Mapped:           3648 kB
Slab:           721816 kB
SReclaimable:   694940 kB
SUnreclaim:      26876 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7021 MiB
End job on xenhost3-49 at 2009-06-14 08:04:52