Trace number 1778955

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) 603.67 38.9998

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs016.cnf
MD5SUMe4ef55733955e0a45519e9f7dec923e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4656
Number of clauses13871
Sum of the clauses size32363
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 29246
Number of clauses of size 34623
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778955-1244948167.cnf 
0.00/0.01	c Using SATTIMEOUT of 10000
0.00/0.01	c Using SATRAM of 2047
0.00/0.01	c Size of subset node = 16
0.00/0.01	c Variables = 4656
0.00/0.01	c Clauses = 13871
0.00/0.01	c Literals = 32363
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 4656
0.00/0.01	c Clauses = 13867
0.00/0.01	c Literals = 32356
0.00/0.01	c a2
0.00/0.03	c a1
0.48/0.50	c Independent sub-problems = 1
0.48/0.50	c Sub-problem with 4654 variables and 13867 clauses
0.48/0.50	c using permutation method 4
0.48/0.50	c count = 1
0.48/0.50	c Ordering finished 0.490 seconds
0.48/0.50	c mapped 0.500 seconds
0.48/0.50	c permuted 0.500 seconds
0.48/0.50	c about to sort
0.48/0.51	c sorted
0.58/0.64	c clauses now 13867
0.58/0.64	c init finished 0.590 seconds
0.58/0.64	c tree built 0.630 seconds
0.58/0.64	c 
0.58/0.64	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.58/0.64	c ---------------------------------|----------------------------------|------------------------------------------------------
0.58/0.64	c ................................ | ..........                       |                        0.6           0.0             
0.58/0.64	c ................................ | ..........                     1 |                        0.6           1.6             
0.58/0.64	c ................................ | ..........                     2 |                        0.6           3.2             
0.58/0.64	c ................................ | ..........                     3 |                        0.6           4.8             
0.58/0.64	c ................................ | ..........                     4 |                        0.6           6.3             
0.58/0.64	c ................................ | ..........                     5 |                        0.6           7.9             
0.58/0.65	c ................................ | ..........                  1000 | 14                     0.7        1470.6          149
227.21/15.16	c ................................ | ..........                389000 | 17654                200.4        1941.4     26351073
437.85/28.43	c ................................ | ..........                547000 | 24399                400.6        1365.6     56467746

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-1778955-1244948167/watcher-1778955-1244948167 -o /tmp/evaluation-result-1778955-1244948167/solver-1778955-1244948167 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778955-1244948167.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.34 4.31 3.82 2/184 22118
/proc/meminfo: memFree=19050600/36427776 swapFree=3648/7576
[pid=22118] ppid=22116 vsize=1540 CPUtime=0
/proc/22118/stat : 22118 (ttsth-5-0) R 22116 22118 15497 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 654123041 1576960 239 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 385 239 75 177 0 207 0

[startup+0.107499 s]
/proc/loadavg: 11.34 4.31 3.82 2/184 22118
/proc/meminfo: memFree=19050600/36427776 swapFree=3648/7576
[pid=22118] ppid=22116 vsize=3520 CPUtime=0.1
/proc/22118/stat : 22118 (ttsth-5-0) R 22116 22118 15497 0 -1 4202496 780 0 0 0 10 0 0 0 20 0 1 0 654123041 3604480 736 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 880 736 77 177 0 702 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3520

[startup+0.20352 s]
/proc/loadavg: 11.34 4.31 3.82 2/184 22118
/proc/meminfo: memFree=19050600/36427776 swapFree=3648/7576
[pid=22118] ppid=22116 vsize=3660 CPUtime=0.2
/proc/22118/stat : 22118 (ttsth-5-0) R 22116 22118 15497 0 -1 4202496 795 0 0 0 20 0 0 0 20 0 1 0 654123041 3747840 751 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 915 751 77 177 0 737 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 3660

[startup+0.303516 s]
/proc/loadavg: 11.34 4.31 3.82 2/184 22118
/proc/meminfo: memFree=19050600/36427776 swapFree=3648/7576
[pid=22118] ppid=22116 vsize=3660 CPUtime=0.28
/proc/22118/stat : 22118 (ttsth-5-0) R 22116 22118 15497 0 -1 4202496 808 0 0 0 28 0 0 0 20 0 1 0 654123041 3747840 764 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 915 764 77 177 0 737 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3660

[startup+0.703704 s]
/proc/loadavg: 11.34 4.31 3.82 2/184 22118
/proc/meminfo: memFree=19050600/36427776 swapFree=3648/7576
[pid=22118] ppid=22116 vsize=190772 CPUtime=1.41
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 14308 0 0 0 61 80 0 0 20 0 17 0 654123041 195350528 14264 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 47693 14264 95 177 0 47515 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 190772

[startup+1.5044 s]
/proc/loadavg: 11.34 4.31 3.82 17/201 22135
/proc/meminfo: memFree=18983724/36427776 swapFree=4620/75792
[pid=22118] ppid=22116 vsize=214536 CPUtime=13.68
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 21302 0 0 0 330 1038 0 0 20 0 17 0 654123041 219684864 21259 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 53634 21260 95 177 0 53456 0
[pid=22118/tid=22120] ppid=22116 vsize=214536 CPUtime=0.84
/proc/22118/task/22120/stat : 22120 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3284 0 0 0 74 10 0 0 20 0 17 0 654123106 219684864 21260 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22118/tid=22121] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22121/stat : 22121 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 377 0 0 0 14 66 0 0 20 0 17 0 654123106 219684864 21260 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22118/tid=22122] ppid=22116 vsize=214536 CPUtime=0.82
/proc/22118/task/22122/stat : 22122 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 255 0 0 0 8 74 0 0 20 0 17 0 654123106 219684864 21260 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22118/tid=22123] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22123/stat : 22123 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 226 0 0 0 10 70 0 0 20 0 17 0 654123106 219684864 21261 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22118/tid=22124] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22124/stat : 22124 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 427 0 0 0 16 64 0 0 20 0 17 0 654123106 219684864 21261 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22118/tid=22125] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22125/stat : 22125 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 312 0 0 0 16 64 0 0 20 0 17 0 654123106 219684864 21261 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22118/tid=22126] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22126/stat : 22126 (ttsth-5-0) S 22116 22118 15497 0 -1 4202560 247 0 0 0 10 70 0 0 20 0 17 0 654123106 219684864 21262 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=22118/tid=22127] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22127/stat : 22127 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 205 0 0 0 6 74 0 0 20 0 17 0 654123106 219684864 21262 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22118/tid=22128] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22128/stat : 22128 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 383 0 0 0 24 56 0 0 20 0 17 0 654123106 219684864 21262 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22118/tid=22129] ppid=22116 vsize=214536 CPUtime=0.82
/proc/22118/task/22129/stat : 22129 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 213 0 0 0 14 68 0 0 20 0 17 0 654123106 219684864 21262 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22118/tid=22130] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22130/stat : 22130 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 201 0 0 0 10 70 0 0 20 0 17 0 654123106 219684864 21266 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22118/tid=22131] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22131/stat : 22131 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 347 0 0 0 18 62 0 0 20 0 17 0 654123106 219684864 21266 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22118/tid=22132] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22132/stat : 22132 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 301 0 0 0 14 66 0 0 20 0 17 0 654123106 219684864 21266 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22118/tid=22133] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22133/stat : 22133 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 220 0 0 0 12 68 0 0 20 0 17 0 654123106 219684864 21266 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22118/tid=22134] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22134/stat : 22134 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 256 0 0 0 8 72 0 0 20 0 17 0 654123106 219684864 21267 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=214536 CPUtime=0.8
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 209 0 0 0 12 68 0 0 20 0 17 0 654123106 219684864 21267 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 13.68
Current children cumulated vsize (KiB) 214536

[startup+3.10447 s]
/proc/loadavg: 11.71 4.51 3.88 15/201 22135
/proc/meminfo: memFree=18941644/36427776 swapFree=4692/120196
[pid=22118] ppid=22116 vsize=282692 CPUtime=38.52
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 38829 0 0 0 1656 2196 0 0 20 0 17 0 654123041 289476608 38785 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 70673 38785 95 177 0 70495 0
[pid=22118/tid=22120] ppid=22116 vsize=282692 CPUtime=2.42
/proc/22118/task/22120/stat : 22120 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7393 0 0 0 228 14 0 0 20 0 17 0 654123106 289476608 38785 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22118/tid=22121] ppid=22116 vsize=282692 CPUtime=2.38
/proc/22118/task/22121/stat : 22121 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1329 0 0 0 96 142 0 0 20 0 17 0 654123106 289476608 38785 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22118/tid=22122] ppid=22116 vsize=282692 CPUtime=2.36
/proc/22118/task/22122/stat : 22122 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 813 0 0 0 86 150 0 0 20 0 17 0 654123106 289476608 38785 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22118/tid=22123] ppid=22116 vsize=282692 CPUtime=2.36
/proc/22118/task/22123/stat : 22123 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1077 0 0 0 84 152 0 0 20 0 17 0 654123106 289476608 38786 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22118/tid=22124] ppid=22116 vsize=282692 CPUtime=2.38
/proc/22118/task/22124/stat : 22124 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1634 0 0 0 108 130 0 0 20 0 17 0 654123106 289476608 38786 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22118/tid=22125] ppid=22116 vsize=282692 CPUtime=2.36
/proc/22118/task/22125/stat : 22125 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1712 0 0 0 94 142 0 0 20 0 17 0 654123106 289476608 38786 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22118/tid=22126] ppid=22116 vsize=282692 CPUtime=2.34
/proc/22118/task/22126/stat : 22126 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1157 0 0 0 78 156 0 0 20 0 17 0 654123106 289476608 38788 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22118/tid=22127] ppid=22116 vsize=282692 CPUtime=2.34
/proc/22118/task/22127/stat : 22127 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1069 0 0 0 78 156 0 0 20 0 17 0 654123106 289476608 38790 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22118/tid=22128] ppid=22116 vsize=282692 CPUtime=2.36
/proc/22118/task/22128/stat : 22128 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1347 0 0 0 106 130 0 0 20 0 17 0 654123106 289476608 38790 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22118/tid=22129] ppid=22116 vsize=282692 CPUtime=2.36
/proc/22118/task/22129/stat : 22129 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 808 0 0 0 92 144 0 0 20 0 17 0 654123106 289476608 38790 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134551002 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22118/tid=22130] ppid=22116 vsize=282692 CPUtime=2.36
/proc/22118/task/22130/stat : 22130 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 906 0 0 0 88 148 0 0 20 0 17 0 654123106 289476608 38792 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22118/tid=22131] ppid=22116 vsize=282692 CPUtime=2.34
/proc/22118/task/22131/stat : 22131 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1230 0 0 0 92 142 0 0 20 0 17 0 654123106 289476608 38793 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22118/tid=22132] ppid=22116 vsize=282852 CPUtime=2.38
/proc/22118/task/22132/stat : 22132 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1206 0 0 0 102 136 0 0 20 0 17 0 654123106 289640448 38794 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22118/tid=22133] ppid=22116 vsize=282852 CPUtime=2.32
/proc/22118/task/22133/stat : 22133 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 685 0 0 0 82 150 0 0 20 0 17 0 654123106 289640448 38794 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22118/tid=22134] ppid=22116 vsize=282852 CPUtime=2.36
/proc/22118/task/22134/stat : 22134 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1506 0 0 0 90 146 0 0 20 0 17 0 654123106 289640448 38794 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=282852 CPUtime=2.36
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 1121 0 0 0 92 144 0 0 20 0 17 0 654123106 289640448 38795 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 38.52
Current children cumulated vsize (KiB) 282692

[startup+6.30374 s]
/proc/loadavg: 11.71 4.51 3.88 17/201 22135
/proc/meminfo: memFree=18782576/36427776 swapFree=4692/278504
[pid=22118] ppid=22116 vsize=436464 CPUtime=88.63
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 77426 0 0 0 6252 2611 0 0 20 0 17 0 654123041 446939136 77382 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 109116 77384 95 177 0 108938 0
[pid=22118/tid=22120] ppid=22116 vsize=436464 CPUtime=5.62
/proc/22118/task/22120/stat : 22120 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 11149 0 0 0 540 22 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22118/tid=22121] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22121/stat : 22121 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3561 0 0 0 382 168 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22118/tid=22122] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22122/stat : 22122 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 2392 0 0 0 376 174 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22118/tid=22123] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22123/stat : 22123 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3450 0 0 0 374 176 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22118/tid=22124] ppid=22116 vsize=436464 CPUtime=5.52
/proc/22118/task/22124/stat : 22124 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3658 0 0 0 396 156 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22118/tid=22125] ppid=22116 vsize=436464 CPUtime=5.46
/proc/22118/task/22125/stat : 22125 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 4857 0 0 0 374 172 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22118/tid=22126] ppid=22116 vsize=436464 CPUtime=5.46
/proc/22118/task/22126/stat : 22126 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3747 0 0 0 368 178 0 0 20 0 17 0 654123106 446939136 77384 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22118/tid=22127] ppid=22116 vsize=436464 CPUtime=5.48
/proc/22118/task/22127/stat : 22127 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3504 0 0 0 368 180 0 0 20 0 17 0 654123106 446939136 77385 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22118/tid=22128] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22128/stat : 22128 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3518 0 0 0 380 170 0 0 20 0 17 0 654123106 446939136 77385 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22118/tid=22129] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22129/stat : 22129 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3287 0 0 0 370 180 0 0 20 0 17 0 654123106 446939136 77386 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22118/tid=22130] ppid=22116 vsize=436464 CPUtime=5.48
/proc/22118/task/22130/stat : 22130 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 2766 0 0 0 376 172 0 0 20 0 17 0 654123106 446939136 77386 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22118/tid=22131] ppid=22116 vsize=436464 CPUtime=5.48
/proc/22118/task/22131/stat : 22131 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3347 0 0 0 378 170 0 0 20 0 17 0 654123106 446939136 77386 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22118/tid=22132] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22132/stat : 22132 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3592 0 0 0 380 170 0 0 20 0 17 0 654123106 446939136 77387 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546001 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22118/tid=22133] ppid=22116 vsize=436464 CPUtime=5.38
/proc/22118/task/22133/stat : 22133 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3053 0 0 0 364 174 0 0 20 0 17 0 654123106 446939136 77388 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134561507 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22118/tid=22134] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22134/stat : 22134 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3983 0 0 0 380 170 0 0 20 0 17 0 654123106 446939136 77389 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=436464 CPUtime=5.5
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 3725 0 0 0 384 166 0 0 20 0 17 0 654123106 446939136 77389 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 88.63
Current children cumulated vsize (KiB) 436464

[startup+12.7063 s]
/proc/loadavg: 12.37 4.89 4.01 17/201 22135
/proc/meminfo: memFree=18476456/36427776 swapFree=4692/583640
[pid=22118] ppid=22116 vsize=730516 CPUtime=189.27
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 150905 0 0 0 14624 4303 0 0 20 0 17 0 654123041 748048384 150861 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 182629 150862 95 177 0 182451 0
[pid=22118/tid=22120] ppid=22116 vsize=730516 CPUtime=11.96
/proc/22118/task/22120/stat : 22120 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 18839 0 0 0 1162 34 0 0 20 0 17 0 654123106 748048384 150863 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22118/tid=22121] ppid=22116 vsize=730516 CPUtime=11.78
/proc/22118/task/22121/stat : 22121 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7748 0 0 0 896 282 0 0 20 0 17 0 654123106 748048384 150864 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22118/tid=22122] ppid=22116 vsize=730516 CPUtime=11.84
/proc/22118/task/22122/stat : 22122 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 4948 0 0 0 938 246 0 0 20 0 17 0 654123106 748048384 150864 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22118/tid=22123] ppid=22116 vsize=730516 CPUtime=11.82
/proc/22118/task/22123/stat : 22123 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7814 0 0 0 898 284 0 0 20 0 17 0 654123106 748048384 150865 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22118/tid=22124] ppid=22116 vsize=730516 CPUtime=11.84
/proc/22118/task/22124/stat : 22124 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 8280 0 0 0 910 274 0 0 20 0 17 0 654123106 748048384 150865 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22118/tid=22125] ppid=22116 vsize=730516 CPUtime=11.72
/proc/22118/task/22125/stat : 22125 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 9461 0 0 0 880 292 0 0 20 0 17 0 654123106 748048384 150865 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22118/tid=22126] ppid=22116 vsize=730516 CPUtime=11.74
/proc/22118/task/22126/stat : 22126 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 9347 0 0 0 872 302 0 0 20 0 17 0 654123106 748048384 150866 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22118/tid=22127] ppid=22116 vsize=730516 CPUtime=11.78
/proc/22118/task/22127/stat : 22127 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7957 0 0 0 902 276 0 0 20 0 17 0 654123106 748048384 150866 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22118/tid=22128] ppid=22116 vsize=730516 CPUtime=11.8
/proc/22118/task/22128/stat : 22128 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 8232 0 0 0 906 274 0 0 20 0 17 0 654123106 748048384 150866 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22118/tid=22129] ppid=22116 vsize=730516 CPUtime=11.74
/proc/22118/task/22129/stat : 22129 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 8365 0 0 0 862 312 0 0 20 0 17 0 654123106 748048384 150866 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22118/tid=22130] ppid=22116 vsize=730516 CPUtime=11.8
/proc/22118/task/22130/stat : 22130 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 6254 0 0 0 898 282 0 0 20 0 17 0 654123106 748048384 150867 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22118/tid=22131] ppid=22116 vsize=730516 CPUtime=11.8
/proc/22118/task/22131/stat : 22131 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7965 0 0 0 904 276 0 0 20 0 17 0 654123106 748048384 150868 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22118/tid=22132] ppid=22116 vsize=730516 CPUtime=11.78
/proc/22118/task/22132/stat : 22132 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 8234 0 0 0 884 294 0 0 20 0 17 0 654123106 748048384 150868 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22118/tid=22133] ppid=22116 vsize=730516 CPUtime=11.54
/proc/22118/task/22133/stat : 22133 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7561 0 0 0 862 292 0 0 20 0 17 0 654123106 748048384 150868 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22118/tid=22134] ppid=22116 vsize=730516 CPUtime=11.78
/proc/22118/task/22134/stat : 22134 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 8596 0 0 0 896 282 0 0 20 0 17 0 654123106 748048384 150869 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=730516 CPUtime=11.78
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 7469 0 0 0 890 288 0 0 20 0 17 0 654123106 748048384 150869 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 189.27
Current children cumulated vsize (KiB) 730516

[startup+25.505 s]
/proc/loadavg: 12.93 5.25 4.14 17/201 22135
/proc/meminfo: memFree=17807640/36427776 swapFree=4692/1251140
[pid=22118] ppid=22116 vsize=1379656 CPUtime=391.71
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 313488 0 0 0 32790 6381 0 0 20 0 17 0 654123041 1412767744 313444 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 344914 313446 95 177 0 344736 0
[pid=22118/tid=22120] ppid=22116 vsize=1379656 CPUtime=24.74
/proc/22118/task/22120/stat : 22120 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 44737 0 0 0 2412 62 0 0 20 0 17 0 654123106 1412767744 313447 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22118/tid=22121] ppid=22116 vsize=1379656 CPUtime=24.46
/proc/22118/task/22121/stat : 22121 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 17227 0 0 0 2028 418 0 0 20 0 17 0 654123106 1412767744 313448 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22118/tid=22122] ppid=22116 vsize=1379656 CPUtime=24.58
/proc/22118/task/22122/stat : 22122 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 9372 0 0 0 2110 348 0 0 20 0 17 0 654123106 1412767744 313448 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22118/tid=22123] ppid=22116 vsize=1379656 CPUtime=24.46
/proc/22118/task/22123/stat : 22123 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 15230 0 0 0 2012 434 0 0 20 0 17 0 654123106 1412767744 313449 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22118/tid=22124] ppid=22116 vsize=1379656 CPUtime=24.5
/proc/22118/task/22124/stat : 22124 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 18242 0 0 0 2018 432 0 0 20 0 17 0 654123106 1412767744 313449 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22118/tid=22125] ppid=22116 vsize=1379656 CPUtime=24.4
/proc/22118/task/22125/stat : 22125 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 19476 0 0 0 2006 434 0 0 20 0 17 0 654123106 1412767744 313449 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22118/tid=22126] ppid=22116 vsize=1379656 CPUtime=24.34
/proc/22118/task/22126/stat : 22126 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 20333 0 0 0 1992 442 0 0 20 0 17 0 654123106 1412767744 313449 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22118/tid=22127] ppid=22116 vsize=1379656 CPUtime=24.46
/proc/22118/task/22127/stat : 22127 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 15161 0 0 0 2026 420 0 0 20 0 17 0 654123106 1412767744 313449 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22118/tid=22128] ppid=22116 vsize=1379656 CPUtime=24.42
/proc/22118/task/22128/stat : 22128 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 16688 0 0 0 2016 426 0 0 20 0 17 0 654123106 1412767744 313449 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22118/tid=22129] ppid=22116 vsize=1379656 CPUtime=24.36
/proc/22118/task/22129/stat : 22129 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 17410 0 0 0 1986 450 0 0 20 0 17 0 654123106 1412767744 313450 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22118/tid=22130] ppid=22116 vsize=1379656 CPUtime=24.52
/proc/22118/task/22130/stat : 22130 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 13010 0 0 0 2040 412 0 0 20 0 17 0 654123106 1412767744 313451 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22118/tid=22131] ppid=22116 vsize=1379656 CPUtime=24.42
/proc/22118/task/22131/stat : 22131 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 16879 0 0 0 2010 432 0 0 20 0 17 0 654123106 1412767744 313453 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22118/tid=22132] ppid=22116 vsize=1379656 CPUtime=24.44
/proc/22118/task/22132/stat : 22132 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 19208 0 0 0 2024 420 0 0 20 0 17 0 654123106 1412767744 313453 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22118/tid=22133] ppid=22116 vsize=1379656 CPUtime=23.98
/proc/22118/task/22133/stat : 22133 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 17037 0 0 0 1982 416 0 0 20 0 17 0 654123106 1412767744 313453 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22118/tid=22134] ppid=22116 vsize=1379656 CPUtime=24.4
/proc/22118/task/22134/stat : 22134 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 22095 0 0 0 2028 412 0 0 20 0 17 0 654123106 1412767744 313453 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=1379656 CPUtime=24.46
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 17547 0 0 0 2036 410 0 0 20 0 17 0 654123106 1412767744 313454 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 391.71
Current children cumulated vsize (KiB) 1379656



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+38.8077 s]
/proc/loadavg: 13.53 5.76 4.32 17/201 22135
/proc/meminfo: memFree=17074180/36427776 swapFree=4692/1983340
[pid=22118] ppid=22116 vsize=2101724 CPUtime=603.32
/proc/22118/stat : 22118 (ttsth-5-0) S 22116 22118 15497 0 -1 4202496 494028 0 0 0 53283 7049 0 0 20 0 17 0 654123041 2152165376 493984 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 525431 493984 95 177 0 525253 0
[pid=22118/tid=22120] ppid=22116 vsize=2101724 CPUtime=38.03
/proc/22118/task/22120/stat : 22120 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 72967 0 0 0 3707 96 0 0 20 0 17 0 654123106 2152165376 493986 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22118/tid=22121] ppid=22116 vsize=2101724 CPUtime=37.7
/proc/22118/task/22121/stat : 22121 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 28905 0 0 0 3316 454 0 0 20 0 17 0 654123106 2152165376 493986 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22118/tid=22122] ppid=22116 vsize=2101724 CPUtime=37.85
/proc/22118/task/22122/stat : 22122 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 13969 0 0 0 3395 390 0 0 20 0 17 0 654123106 2152165376 493986 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22118/tid=22123] ppid=22116 vsize=2101724 CPUtime=37.71
/proc/22118/task/22123/stat : 22123 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 26974 0 0 0 3291 480 0 0 20 0 17 0 654123106 2152165376 493986 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22118/tid=22124] ppid=22116 vsize=2101724 CPUtime=37.73
/proc/22118/task/22124/stat : 22124 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 30408 0 0 0 3303 470 0 0 20 0 17 0 654123106 2152165376 493987 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22118/tid=22125] ppid=22116 vsize=2101724 CPUtime=37.63
/proc/22118/task/22125/stat : 22125 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 27069 0 0 0 3287 476 0 0 20 0 17 0 654123106 2152165376 493987 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22118/tid=22126] ppid=22116 vsize=2101724 CPUtime=37.62
/proc/22118/task/22126/stat : 22126 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 32079 0 0 0 3280 482 0 0 20 0 17 0 654123106 2152165376 493987 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22118/tid=22127] ppid=22116 vsize=2101724 CPUtime=37.68
/proc/22118/task/22127/stat : 22127 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 26957 0 0 0 3306 462 0 0 20 0 17 0 654123106 2152165376 493988 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22118/tid=22128] ppid=22116 vsize=2101724 CPUtime=37.66
/proc/22118/task/22128/stat : 22128 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 28946 0 0 0 3292 474 0 0 20 0 17 0 654123106 2152165376 493988 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22118/tid=22129] ppid=22116 vsize=2101724 CPUtime=37.59
/proc/22118/task/22129/stat : 22129 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 26854 0 0 0 3259 500 0 0 20 0 17 0 654123106 2152165376 493989 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22118/tid=22130] ppid=22116 vsize=2101724 CPUtime=37.74
/proc/22118/task/22130/stat : 22130 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 19944 0 0 0 3318 456 0 0 20 0 17 0 654123106 2152165376 493989 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22118/tid=22131] ppid=22116 vsize=2101724 CPUtime=37.68
/proc/22118/task/22131/stat : 22131 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 30212 0 0 0 3294 474 0 0 20 0 17 0 654123106 2152165376 493990 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22118/tid=22132] ppid=22116 vsize=2101724 CPUtime=37.7
/proc/22118/task/22132/stat : 22132 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 29014 0 0 0 3302 468 0 0 20 0 17 0 654123106 2152165376 493992 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22118/tid=22133] ppid=22116 vsize=2101724 CPUtime=36.94
/proc/22118/task/22133/stat : 22133 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 25241 0 0 0 3250 444 0 0 20 0 17 0 654123106 2152165376 493993 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22118/tid=22134] ppid=22116 vsize=2101724 CPUtime=37.65
/proc/22118/task/22134/stat : 22134 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 34930 0 0 0 3307 458 0 0 20 0 17 0 654123106 2152165376 493993 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=2101724 CPUtime=37.71
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4202560 25723 0 0 0 3319 452 0 0 20 0 17 0 654123106 2152165376 493993 18446744073709551615 134512640 135237372 4292842704 18446744073709551615 134591304 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 603.32
Current children cumulated vsize (KiB) 2101724

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

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

[startup+38.9227 s]
/proc/loadavg: 13.53 5.76 4.32 17/201 22135
/proc/meminfo: memFree=17074180/36427776 swapFree=4692/1983340
[pid=22118] ppid=22116 vsize=0 CPUtime=603.59
/proc/22118/stat : 22118 (ttsth-5-0) Z 22116 22118 15497 0 -1 4203532 494147 0 0 0 53298 7061 0 0 20 0 2 0 654123041 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/22118/statm: 0 0 0 0 0 0 0
[pid=22118/tid=22135] ppid=22116 vsize=0 CPUtime=37.81
/proc/22118/task/22135/stat : 22135 (ttsth-5-0) R 22116 22118 15497 0 -1 4203588 25728 0 0 0 3319 462 0 0 20 0 2 0 654123106 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) 603.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 38.9998
CPU time (s): 603.67
CPU user time (s): 532.993
CPU system time (s): 70.6764
CPU usage (%): 1547.88
Max. virtual memory (cumulated for all children) (KiB): 2101724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 532.993
system time used= 70.6764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 494147
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= 75805
involuntary context switches= 1447

runsolver used 0.252015 second user time and 0.544034 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:56:07
IDJOB=1778955
IDBENCH=70785
IDSOLVER=634
FILE ID=xenhost3-49/1778955-1244948167
PBS_JOBID=
Free space on /tmp= 7024 MiB

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

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

MD5SUM BENCH= e4ef55733955e0a45519e9f7dec923e5
RANDOM SEED= 1169518967

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:      19050600 kB
Buffers:        480644 kB
Cached:       14116228 kB
SwapCached:          0 kB
Active:        4126756 kB
Inactive:     10477696 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             696 kB
Writeback:           0 kB
AnonPages:        7576 kB
Mapped:           2984 kB
Slab:           720220 kB
SReclaimable:   693436 kB
SUnreclaim:      26784 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 04:56:48