Trace number 1776990

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) 1175.36 75.1948

General information on the benchmark

Namegoldb-heqc-alu4mul.cnf
MD5SUM2d68b23bdbf6e7e2868e82c4f24dffc3
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark301.22
Satisfiable
(Un)Satisfiability was proved
Number of variables4736
Number of clauses30465
Sum of the clauses size103040
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 27024
Number of clauses of size 314112
Number of clauses of size 40
Number of clauses of size 59328
Number of clauses of size over 51

Solver Data 

0.00/0.04	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776990-1244944135.cnf 
0.00/0.04	c Using SATTIMEOUT of 10000
0.00/0.04	c Using SATRAM of 2047
0.00/0.04	c Size of subset node = 16
0.00/0.04	c Variables = 4736
0.00/0.04	c Clauses = 30465
0.00/0.04	c Literals = 103040
0.00/0.04	c Reduced size:
0.00/0.04	c Variables = 4736
0.00/0.04	c Clauses = 30465
0.00/0.04	c Literals = 103040
0.00/0.04	c a2
0.10/0.11	c a1
0.48/0.53	c Independent sub-problems = 1
0.48/0.53	c Sub-problem with 4736 variables and 30465 clauses
0.48/0.53	c using permutation method 4
0.48/0.53	c count = 1
0.48/0.53	c Ordering finished 0.510 seconds
0.48/0.53	c mapped 0.520 seconds
0.48/0.53	c permuted 0.520 seconds
0.48/0.53	c about to sort
0.48/0.54	c sorted
0.78/0.80	c clauses now 30465
0.78/0.80	c init finished 0.620 seconds
0.78/0.80	c tree built 0.790 seconds
0.78/0.80	c 
0.78/0.80	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.78/0.80	c ---------------------------------|----------------------------------|------------------------------------------------------
0.78/0.80	c ................................ | ..........                       |                        0.8           0.0             
0.78/0.80	c ................................ | ..........                     1 |                        0.8           1.3             
0.78/0.80	c ................................ | ..........                     2 |                        0.8           2.5             
0.78/0.80	c ................................ | ..........                     3 |                        0.8           3.8             
0.78/0.80	c ................................ | ..........                     4 |                        0.8           5.1             
0.78/0.80	c ................................ | ..........                     5 |                        0.8           6.3             
0.78/0.81	c ................................ | ..........                  1000 | 41                     0.8        1190.5          978
254.64/17.06	c ................................ | ..........                650000 | 74605                200.1        3248.5     15042194
471.28/30.78	c ................................ | ..........                822000 | 96675                400.8        2050.8     31040240
683.36/44.10	c ................................ | ..........                921000 | 107968               602.7        1528.1     47728362
888.16/57.01	c ................................ | ..........               1005000 | 117852               802.4        1252.6     66757137
1088.80/69.66	c ................................ | *.........               1066000 | 124640              1001.4        1064.5     91808395

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-1776990-1244944135/watcher-1776990-1244944135 -o /tmp/evaluation-result-1776990-1244944135/solver-1776990-1244944135 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776990-1244944135.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: 11.16 4.44 5.31 2/184 21176
/proc/meminfo: memFree=19054288/36427776 swapFree=4000/7296
[pid=21176] ppid=21174 vsize=1408 CPUtime=0
/proc/21176/stat : 21176 (ttsth-5-0) R 21174 21176 15497 0 -1 4202496 256 0 0 0 0 0 0 0 20 0 1 0 653719834 1441792 213 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134639534 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 352 214 75 177 0 174 0

[startup+0.043292 s]
/proc/loadavg: 11.16 4.44 5.31 2/184 21176
/proc/meminfo: memFree=19054288/36427776 swapFree=4000/7296
[pid=21176] ppid=21174 vsize=4024 CPUtime=0.04
/proc/21176/stat : 21176 (ttsth-5-0) R 21174 21176 15497 0 -1 4202496 868 0 0 0 4 0 0 0 20 0 1 0 653719834 4120576 826 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 1006 829 76 177 0 828 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4024

[startup+0.103294 s]
/proc/loadavg: 11.16 4.44 5.31 2/184 21176
/proc/meminfo: memFree=19054288/36427776 swapFree=4000/7296
[pid=21176] ppid=21174 vsize=6216 CPUtime=0.1
/proc/21176/stat : 21176 (ttsth-5-0) R 21174 21176 15497 0 -1 4202496 1435 0 0 0 10 0 0 0 20 0 1 0 653719834 6365184 1391 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134680367 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 1554 1391 76 177 0 1376 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6216

[startup+0.303295 s]
/proc/loadavg: 11.16 4.44 5.31 2/184 21176
/proc/meminfo: memFree=19054288/36427776 swapFree=4000/7296
[pid=21176] ppid=21174 vsize=6560 CPUtime=0.28
/proc/21176/stat : 21176 (ttsth-5-0) R 21174 21176 15497 0 -1 4202496 1555 0 0 0 28 0 0 0 20 0 1 0 653719834 6717440 1481 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134555272 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 1640 1481 77 177 0 1462 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6560

[startup+0.703363 s]
/proc/loadavg: 11.16 4.44 5.31 2/184 21176
/proc/meminfo: memFree=19054288/36427776 swapFree=4000/7296
[pid=21176] ppid=21174 vsize=56404 CPUtime=0.68
/proc/21176/stat : 21176 (ttsth-5-0) R 21174 21176 15497 0 -1 4202496 14028 0 0 0 64 4 0 0 20 0 1 0 653719834 57757696 13954 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134732614 0 0 1 0 0 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 14101 13955 90 177 0 13923 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56404

[startup+1.5034 s]
/proc/loadavg: 10.35 4.38 5.29 17/201 21193
/proc/meminfo: memFree=18986488/36427776 swapFree=4692/76640
[pid=21176] ppid=21174 vsize=209460 CPUtime=11.37
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 20027 0 0 0 343 794 0 0 20 0 17 0 653719834 214487040 19952 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 52365 19954 95 177 0 52187 0
[pid=21176/tid=21178] ppid=21174 vsize=209460 CPUtime=0.68
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1010 0 0 0 62 6 0 0 20 0 17 0 653719915 214487040 19954 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 198 0 0 0 16 50 0 0 20 0 17 0 653719915 214487040 19954 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 118 0 0 0 12 54 0 0 20 0 17 0 653719915 214487040 19954 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=209460 CPUtime=0.64
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 183 0 0 0 12 52 0 0 20 0 17 0 653719915 214487040 19954 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=209460 CPUtime=0.64
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 176 0 0 0 10 54 0 0 20 0 17 0 653719915 214487040 19955 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 112 0 0 0 12 54 0 0 20 0 17 0 653719915 214487040 19955 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 168 0 0 0 16 50 0 0 20 0 17 0 653719915 214487040 19956 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 179 0 0 0 8 58 0 0 20 0 17 0 653719915 214487040 19957 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 193 0 0 0 20 46 0 0 20 0 17 0 653719915 214487040 19957 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 210 0 0 0 16 50 0 0 20 0 17 0 653719915 214487040 19958 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 192 0 0 0 10 56 0 0 20 0 17 0 653719915 214487040 19959 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 201 0 0 0 18 48 0 0 20 0 17 0 653719915 214487040 19959 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=209460 CPUtime=0.64
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 175 0 0 0 10 54 0 0 20 0 17 0 653719915 214487040 19959 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=209460 CPUtime=0.64
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 211 0 0 0 16 48 0 0 20 0 17 0 653719915 214487040 19959 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=209460 CPUtime=0.64
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 179 0 0 0 10 54 0 0 20 0 17 0 653719915 214487040 19959 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=209460 CPUtime=0.66
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 150 0 0 0 14 52 0 0 20 0 17 0 653719915 214487040 19959 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 209460

[startup+3.10381 s]
/proc/loadavg: 10.35 4.38 5.29 17/201 21193
/proc/meminfo: memFree=18969500/36427776 swapFree=4692/94080
[pid=21176] ppid=21174 vsize=231984 CPUtime=36.38
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 25308 0 0 0 1264 2374 0 0 20 0 17 0 653719834 237551616 25233 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 57996 25233 95 177 0 57818 0
[pid=21176/tid=21178] ppid=21174 vsize=231984 CPUtime=2.28
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2431 0 0 0 218 10 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134587943 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 526 0 0 0 68 154 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 234 0 0 0 50 172 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=231984 CPUtime=2.2
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 489 0 0 0 62 158 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=231984 CPUtime=2.2
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 321 0 0 0 54 166 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 344 0 0 0 60 162 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 328 0 0 0 66 156 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 551 0 0 0 60 162 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 400 0 0 0 72 150 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=231984 CPUtime=2.2
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 418 0 0 0 68 152 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 516 0 0 0 62 160 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 441 0 0 0 68 154 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=231984 CPUtime=2.16
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 465 0 0 0 64 152 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=231984 CPUtime=2.2
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 490 0 0 0 76 144 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 469 0 0 0 70 152 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=231984 CPUtime=2.22
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 509 0 0 0 66 156 0 0 20 0 17 0 653719915 237551616 25234 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 36.38
Current children cumulated vsize (KiB) 231984

[startup+6.30392 s]
/proc/loadavg: 10.80 4.57 5.34 17/201 21193
/proc/meminfo: memFree=18924088/36427776 swapFree=4692/140768
[pid=21176] ppid=21174 vsize=278516 CPUtime=86.48
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 36228 0 0 0 3599 5049 0 0 20 0 17 0 653719834 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 69629 36153 95 177 0 69451 0
[pid=21176/tid=21178] ppid=21174 vsize=278516 CPUtime=5.48
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 4782 0 0 0 534 14 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=278516 CPUtime=5.36
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1223 0 0 0 194 342 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=278516 CPUtime=5.32
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 555 0 0 0 178 354 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=278516 CPUtime=5.34
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1467 0 0 0 210 324 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=278516 CPUtime=5.34
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 856 0 0 0 190 344 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=278516 CPUtime=5.34
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 753 0 0 0 186 348 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=278516 CPUtime=5.36
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 734 0 0 0 202 334 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=278516 CPUtime=5.38
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1416 0 0 0 198 340 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=278516 CPUtime=5.36
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 964 0 0 0 200 336 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=278516 CPUtime=5.32
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 724 0 0 0 196 336 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=278516 CPUtime=5.36
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1052 0 0 0 212 324 0 0 20 0 17 0 653719915 285200384 36153 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=278516 CPUtime=5.36
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 978 0 0 0 202 334 0 0 20 0 17 0 653719915 285200384 36154 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=278516 CPUtime=5.24
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 959 0 0 0 194 330 0 0 20 0 17 0 653719915 285200384 36154 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=278516 CPUtime=5.32
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) S 21174 21176 15497 0 -1 4202560 1188 0 0 0 212 320 0 0 20 0 17 0 653719915 285200384 36154 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=278516 CPUtime=5.34
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1042 0 0 0 204 330 0 0 20 0 17 0 653719915 285200384 36154 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=278516 CPUtime=5.36
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1158 0 0 0 208 328 0 0 20 0 17 0 653719915 285200384 36154 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 86.48
Current children cumulated vsize (KiB) 278516

[startup+12.7043 s]
/proc/loadavg: 11.22 4.76 5.40 17/201 21193
/proc/meminfo: memFree=18807216/36427776 swapFree=4692/256204
[pid=21176] ppid=21174 vsize=399400 CPUtime=186.92
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 65087 0 0 0 10456 8236 0 0 20 0 17 0 653719834 408985600 65012 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 99850 65012 95 177 0 99672 0
[pid=21176/tid=21178] ppid=21174 vsize=399400 CPUtime=11.88
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 7944 0 0 0 1168 20 0 0 20 0 17 0 653719915 408985600 65012 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=399400 CPUtime=11.62
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 3202 0 0 0 592 570 0 0 20 0 17 0 653719915 408985600 65012 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=399400 CPUtime=11.6
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2538 0 0 0 614 546 0 0 20 0 17 0 653719915 408985600 65014 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=399400 CPUtime=11.64
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 3718 0 0 0 646 518 0 0 20 0 17 0 653719915 408985600 65014 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=399400 CPUtime=11.66
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2727 0 0 0 622 544 0 0 20 0 17 0 653719915 408985600 65014 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=399400 CPUtime=11.6
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 1903 0 0 0 570 590 0 0 20 0 17 0 653719915 408985600 65014 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=399400 CPUtime=11.64
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2016 0 0 0 610 554 0 0 20 0 17 0 653719915 408985600 65015 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=399400 CPUtime=11.66
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 3399 0 0 0 608 558 0 0 20 0 17 0 653719915 408985600 65015 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=399400 CPUtime=11.66
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2576 0 0 0 624 542 0 0 20 0 17 0 653719915 408985600 65015 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=399400 CPUtime=11.56
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2092 0 0 0 582 574 0 0 20 0 17 0 653719915 408985600 65015 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=399400 CPUtime=11.64
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2986 0 0 0 642 522 0 0 20 0 17 0 653719915 408985600 65016 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=399400 CPUtime=11.62
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2383 0 0 0 602 560 0 0 20 0 17 0 653719915 408985600 65016 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134545968 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=399400 CPUtime=11.4
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2903 0 0 0 600 540 0 0 20 0 17 0 653719915 408985600 65016 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134680737 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=399400 CPUtime=11.62
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 3016 0 0 0 638 524 0 0 20 0 17 0 653719915 408985600 65016 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=399400 CPUtime=11.62
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2839 0 0 0 644 518 0 0 20 0 17 0 653719915 408985600 65016 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=399400 CPUtime=11.62
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 2471 0 0 0 614 548 0 0 20 0 17 0 653719915 408985600 65016 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 186.92
Current children cumulated vsize (KiB) 399400

[startup+25.5054 s]
/proc/loadavg: 11.95 5.13 5.51 17/201 21193
/proc/meminfo: memFree=18557684/36427776 swapFree=4692/507356
[pid=21176] ppid=21174 vsize=658520 CPUtime=388.77
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 126301 0 0 0 26970 11907 0 0 20 0 17 0 653719834 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 164630 126226 95 177 0 164452 0
[pid=21176/tid=21178] ppid=21174 vsize=658520 CPUtime=24.66
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 19152 0 0 0 2434 32 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=658520 CPUtime=24.18
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 6647 0 0 0 1598 820 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=658520 CPUtime=24.24
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 6496 0 0 0 1658 766 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=658520 CPUtime=24.22
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 7176 0 0 0 1638 784 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=658520 CPUtime=24.3
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 6424 0 0 0 1636 794 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=658520 CPUtime=24.22
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) S 21174 21176 15497 0 -1 4202560 4224 0 0 0 1556 866 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=658520 CPUtime=24.22
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 4362 0 0 0 1624 798 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=658520 CPUtime=24.32
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 7001 0 0 0 1654 778 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=658520 CPUtime=24.32
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 6746 0 0 0 1674 758 0 0 20 0 17 0 653719915 674324480 126226 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=658520 CPUtime=24.14
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 5350 0 0 0 1570 844 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=658520 CPUtime=24.24
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 6242 0 0 0 1656 768 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=658520 CPUtime=24.22
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 4971 0 0 0 1598 824 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=658520 CPUtime=23.8
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 5957 0 0 0 1628 752 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=658520 CPUtime=24.26
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 7404 0 0 0 1694 732 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=658520 CPUtime=24.28
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 6182 0 0 0 1652 776 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=658520 CPUtime=24.24
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 5591 0 0 0 1622 802 0 0 20 0 17 0 653719915 674324480 126227 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 388.77
Current children cumulated vsize (KiB) 658520

[startup+51.1025 s]
/proc/loadavg: 13.54 6.17 5.85 17/201 21193
/proc/meminfo: memFree=17994428/36427776 swapFree=4692/1067984
[pid=21176] ppid=21174 vsize=1262024 CPUtime=794.47
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 268235 0 0 0 64343 15104 0 0 20 0 17 0 653719834 1292312576 268160 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 315506 268160 95 177 0 315328 0
[pid=21176/tid=21178] ppid=21174 vsize=1262024 CPUtime=50.23
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 40484 0 0 0 4967 56 0 0 20 0 17 0 653719915 1292312576 268160 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=1262024 CPUtime=49.49
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 23016 0 0 0 3899 1050 0 0 20 0 17 0 653719915 1292312576 268161 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=1262024 CPUtime=49.6
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 13418 0 0 0 3956 1004 0 0 20 0 17 0 653719915 1292312576 268161 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=1262024 CPUtime=49.64
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 13619 0 0 0 3960 1004 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=1262024 CPUtime=49.66
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 14236 0 0 0 3950 1016 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=1262024 CPUtime=49.55
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 9140 0 0 0 3875 1080 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=1262024 CPUtime=49.6
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 17767 0 0 0 3968 992 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=1262024 CPUtime=49.73
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 15005 0 0 0 4009 964 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=1262024 CPUtime=49.75
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 13601 0 0 0 4011 964 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=1262024 CPUtime=49.42
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 10829 0 0 0 3858 1084 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=1262024 CPUtime=49.62
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 12159 0 0 0 4002 960 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=1262024 CPUtime=49.62
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 11116 0 0 0 3932 1030 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=1262024 CPUtime=48.7
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 15596 0 0 0 3920 950 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=1262024 CPUtime=49.66
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 14397 0 0 0 4052 914 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=1262024 CPUtime=49.67
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 13187 0 0 0 3981 986 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=1262024 CPUtime=49.63
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 14289 0 0 0 3927 1036 0 0 20 0 17 0 653719915 1292312576 268162 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 794.47
Current children cumulated vsize (KiB) 1262024



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+75.0043 s]
/proc/loadavg: 14.24 6.80 6.06 17/201 21198
/proc/meminfo: memFree=17193220/36427776 swapFree=4692/1868004
[pid=21176] ppid=21174 vsize=2100148 CPUtime=1175.02
/proc/21176/stat : 21176 (ttsth-5-0) S 21174 21176 15497 0 -1 4202496 465049 0 0 0 101453 16049 0 0 20 0 17 0 653719834 2150551552 464974 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 525037 464974 95 177 0 524859 0
[pid=21176/tid=21178] ppid=21174 vsize=2100148 CPUtime=74.12
/proc/21176/task/21178/stat : 21178 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 61802 0 0 0 7334 78 0 0 20 0 17 0 653719915 2150551552 464975 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21176/tid=21179] ppid=21174 vsize=2100148 CPUtime=73.34
/proc/21176/task/21179/stat : 21179 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 48704 0 0 0 6242 1092 0 0 20 0 17 0 653719915 2150551552 464975 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21176/tid=21180] ppid=21174 vsize=2100148 CPUtime=73.34
/proc/21176/task/21180/stat : 21180 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 26440 0 0 0 6240 1094 0 0 20 0 17 0 653719915 2150551552 464975 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21176/tid=21181] ppid=21174 vsize=2100148 CPUtime=73.46
/proc/21176/task/21181/stat : 21181 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 20050 0 0 0 6278 1068 0 0 20 0 17 0 653719915 2150551552 464975 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21176/tid=21182] ppid=21174 vsize=2100148 CPUtime=73.44
/proc/21176/task/21182/stat : 21182 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 25640 0 0 0 6248 1096 0 0 20 0 17 0 653719915 2150551552 464975 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134680340 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21176/tid=21183] ppid=21174 vsize=2100148 CPUtime=73.35
/proc/21176/task/21183/stat : 21183 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 13452 0 0 0 6195 1140 0 0 20 0 17 0 653719915 2150551552 464976 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21176/tid=21184] ppid=21174 vsize=2100148 CPUtime=73.43
/proc/21176/task/21184/stat : 21184 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 36808 0 0 0 6303 1040 0 0 20 0 17 0 653719915 2150551552 464976 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21176/tid=21185] ppid=21174 vsize=2100148 CPUtime=73.56
/proc/21176/task/21185/stat : 21185 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 20892 0 0 0 6334 1022 0 0 20 0 17 0 653719915 2150551552 464976 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21176/tid=21186] ppid=21174 vsize=2100148 CPUtime=73.54
/proc/21176/task/21186/stat : 21186 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 23174 0 0 0 6326 1028 0 0 20 0 17 0 653719915 2150551552 464976 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21176/tid=21187] ppid=21174 vsize=2100148 CPUtime=73.22
/proc/21176/task/21187/stat : 21187 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 34803 0 0 0 6176 1146 0 0 20 0 17 0 653719915 2150551552 464976 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21176/tid=21188] ppid=21174 vsize=2101172 CPUtime=73.43
/proc/21176/task/21188/stat : 21188 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 28233 0 0 0 6311 1032 0 0 20 0 17 0 653719915 2151600128 464976 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134758964 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21176/tid=21189] ppid=21174 vsize=2101172 CPUtime=73.45
/proc/21176/task/21189/stat : 21189 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 24535 0 0 0 6261 1084 0 0 20 0 17 0 653719915 2151600128 464979 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21176/tid=21190] ppid=21174 vsize=2101172 CPUtime=72.08
/proc/21176/task/21190/stat : 21190 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 25638 0 0 0 6210 998 0 0 20 0 17 0 653719915 2151600128 464979 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21176/tid=21191] ppid=21174 vsize=2101172 CPUtime=73.49
/proc/21176/task/21191/stat : 21191 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 18747 0 0 0 6393 956 0 0 20 0 17 0 653719915 2151600128 464979 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21176/tid=21192] ppid=21174 vsize=2101172 CPUtime=73.48
/proc/21176/task/21192/stat : 21192 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 19264 0 0 0 6294 1054 0 0 20 0 17 0 653719915 2151600128 464979 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=2101172 CPUtime=73.43
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4202560 20493 0 0 0 6233 1110 0 0 20 0 17 0 653719915 2151600128 464979 18446744073709551615 134512640 135237372 4289792496 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1175.02
Current children cumulated vsize (KiB) 2100148

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

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

[startup+75.1254 s]
/proc/loadavg: 14.24 6.80 6.06 17/201 21198
/proc/meminfo: memFree=17193220/36427776 swapFree=4692/1868004
[pid=21176] ppid=21174 vsize=0 CPUtime=1175.27
/proc/21176/stat : 21176 (ttsth-5-0) Z 21174 21176 15497 0 -1 4203532 465127 0 0 0 101467 16060 0 0 20 0 2 0 653719834 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21176/statm: 0 0 0 0 0 0 0
[pid=21176/tid=21193] ppid=21174 vsize=0 CPUtime=73.54
/proc/21176/task/21193/stat : 21193 (ttsth-5-0) R 21174 21176 15497 0 -1 4203588 20493 0 0 0 6234 1120 0 0 20 0 2 0 653719915 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1175.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 75.1948
CPU time (s): 1175.36
CPU user time (s): 1014.68
CPU system time (s): 160.674
CPU usage (%): 1563.08
Max. virtual memory (cumulated for all children) (KiB): 2100148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1014.68
system time used= 160.674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 465127
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= 107791
involuntary context switches= 2721

runsolver used 0.360022 second user time and 1.11607 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 03:48:55
IDJOB=1776990
IDBENCH=69645
IDSOLVER=634
FILE ID=xenhost3-49/1776990-1244944135
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE08/cnf/goldb-heqc-alu4mul.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776990-1244944135/watcher-1776990-1244944135 -o /tmp/evaluation-result-1776990-1244944135/solver-1776990-1244944135 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1776990-1244944135.cnf

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

MD5SUM BENCH= 2d68b23bdbf6e7e2868e82c4f24dffc3
RANDOM SEED= 73896073

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:      19054288 kB
Buffers:        478184 kB
Cached:       14116248 kB
SwapCached:          0 kB
Active:        4124056 kB
Inactive:     10478328 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1364 kB
Writeback:           0 kB
AnonPages:        7296 kB
Mapped:           3336 kB
Slab:           719144 kB
SReclaimable:   692224 kB
SUnreclaim:      26920 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 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 03:50:12