Trace number 1778805

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) 3100.31 214.5

General information on the benchmark

NameAPPLICATIONS/
bitverif/minxor/minxor128.cnf
MD5SUM10b48467ea3d951975cb9264f0b654fe
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark630.94
Satisfiable
(Un)Satisfiability was proved
Number of variables54258
Number of clauses160469
Sum of the clauses size374425
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2106978
Number of clauses of size 353489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.20/0.25	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778805-1244945531.cnf 
0.20/0.25	c Using SATTIMEOUT of 10000
0.20/0.25	c Using SATRAM of 2047
0.20/0.25	c Size of subset node = 16
0.20/0.25	c Variables = 54258
0.20/0.25	c Clauses = 160469
0.20/0.25	c Literals = 374425
0.20/0.25	c Reduced size:
0.20/0.25	c Variables = 54258
0.20/0.25	c Clauses = 160425
0.20/0.25	c Literals = 374322
0.20/0.25	c a2
0.40/0.43	c a1
9.30/9.31	c Independent sub-problems = 1
9.30/9.31	c Sub-problem with 54240 variables and 160425 clauses
9.30/9.31	c using permutation method 4
9.30/9.31	c count = 1
9.30/9.31	c Ordering finished 9.260 seconds
9.30/9.31	c mapped 9.310 seconds
9.30/9.31	c permuted 9.310 seconds
9.30/9.31	c about to sort
9.30/9.35	c sorted
11.33/11.20	c clauses now 160425
11.33/11.20	c init finished 10.350 seconds
11.33/11.20	c tree built 11.170 seconds
11.33/11.20	c 
11.33/11.20	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
11.33/11.20	c ---------------------------------|----------------------------------|------------------------------------------------------
11.33/11.20	c ................................ | ..........                       |                       11.3           0.0             
11.33/11.20	c ................................ | ..........                     1 |                       11.3           0.1             
11.33/11.20	c ................................ | ..........                     2 |                       11.3           0.2             
11.33/11.20	c ................................ | ..........                     3 |                       11.3           0.3             
11.33/11.20	c ................................ | ..........                     4 |                       11.3           0.4             
11.33/11.20	c ................................ | ..........                     5 |                       11.3           0.4             
11.33/11.21	c ................................ | ..........                  1000 |                       11.3          88.4           18
330.40/31.57	c ................................ | ..........               2528000 | 38597                200.0       12637.5      2141477
670.29/53.16	c ................................ | ..........               4992000 | 66538                400.0       12479.4      3430836
1005.81/74.57	c ................................ | ..........               6280000 | 82164                600.0       10466.0      6301938
1353.57/96.69	c ................................ | ..........               7038000 | 97033                804.1        8752.5     13671285
1699.73/118.61	c ................................ | *.........               7345000 | 108295              1007.4        7291.3     22688067
2025.26/139.37	c ................................ | *.........               7733000 | 119919              1200.0        6444.0     28860874
2363.35/160.85	c ................................ | *.........               8321000 | 135247              1400.0        5943.4     33079598
2682.79/182.17	c ................................ | *.........               9019000 | 151039              1605.4        5617.8     35815953
2955.51/202.86	c ................................ | *.........               9307000 | 160318              1809.0        5144.9     48279839

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-1778805-1244945531/watcher-1778805-1244945531 -o /tmp/evaluation-result-1778805-1244945531/solver-1778805-1244945531 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778805-1244945531.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: 4.31 11.65 11.78 2/184 21569
/proc/meminfo: memFree=19047224/36427776 swapFree=3052/7832
[pid=21569] ppid=21567 vsize=1540 CPUtime=0
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 283 0 0 0 0 0 0 0 20 0 1 0 653859461 1576960 240 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134639534 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 385 241 75 177 0 207 0

[startup+0.106706 s]
/proc/loadavg: 4.31 11.65 11.78 2/184 21569
/proc/meminfo: memFree=19047224/36427776 swapFree=3052/7832
[pid=21569] ppid=21567 vsize=8156 CPUtime=0.1
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 1906 0 0 0 10 0 0 0 20 0 1 0 653859461 8351744 1863 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 2039 1865 75 177 0 1861 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8156

[startup+0.202749 s]
/proc/loadavg: 4.31 11.65 11.78 2/184 21569
/proc/meminfo: memFree=19047224/36427776 swapFree=3052/7832
[pid=21569] ppid=21567 vsize=12656 CPUtime=0.2
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 2906 0 0 0 20 0 0 0 20 0 1 0 653859461 12959744 2863 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134534240 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 3164 2863 75 177 0 2986 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12656

[startup+0.302743 s]
/proc/loadavg: 4.31 11.65 11.78 2/184 21569
/proc/meminfo: memFree=19047224/36427776 swapFree=3052/7832
[pid=21569] ppid=21567 vsize=23164 CPUtime=0.3
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 5535 0 0 0 28 2 0 0 20 0 1 0 653859461 23719936 5492 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 5791 5495 76 177 0 5613 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 23164

[startup+0.702723 s]
/proc/loadavg: 4.31 11.65 11.78 2/184 21569
/proc/meminfo: memFree=19047224/36427776 swapFree=3052/7832
[pid=21569] ppid=21567 vsize=30716 CPUtime=0.7
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 7984 0 0 0 68 2 0 0 20 0 1 0 653859461 31453184 7361 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134555272 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 7679 7361 77 177 0 7501 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 30716

[startup+1.50279 s]
/proc/loadavg: 4.05 11.47 11.72 2/185 21570
/proc/meminfo: memFree=19018464/36427776 swapFree=3796/37140
[pid=21569] ppid=21567 vsize=31016 CPUtime=1.5
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 8053 0 0 0 148 2 0 0 20 0 1 0 653859461 31760384 7430 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134600972 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 7754 7430 77 177 0 7576 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 31016

[startup+3.10293 s]
/proc/loadavg: 4.05 11.47 11.72 2/185 21570
/proc/meminfo: memFree=19017052/36427776 swapFree=4140/38076
[pid=21569] ppid=21567 vsize=31304 CPUtime=3.1
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 8111 0 0 0 308 2 0 0 20 0 1 0 653859461 32055296 7488 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134600975 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 7826 7488 77 177 0 7648 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 31304

[startup+6.30318 s]
/proc/loadavg: 3.80 11.30 11.67 2/185 21570
/proc/meminfo: memFree=19016068/36427776 swapFree=4620/39028
[pid=21569] ppid=21567 vsize=31436 CPUtime=6.3
/proc/21569/stat : 21569 (ttsth-5-0) R 21567 21569 15497 0 -1 4202496 8189 0 0 0 628 2 0 0 20 0 1 0 653859461 32190464 7566 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134600972 0 0 1 0 0 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 7859 7566 77 177 0 7681 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 31436

[startup+12.7051 s]
/proc/loadavg: 3.58 11.12 11.61 17/201 21586
/proc/meminfo: memFree=18367284/36427776 swapFree=4692/689028
[pid=21569] ppid=21567 vsize=813448 CPUtime=34.73
/proc/21569/stat : 21569 (ttsth-5-0) S 21567 21569 15497 0 -1 4202496 177433 0 0 0 1461 2012 0 0 20 0 17 0 653859461 832970752 176303 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 203362 176304 95 177 0 203184 0
[pid=21569/tid=21571] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21571/stat : 21571 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 8522 0 0 0 130 16 0 0 20 0 17 0 653860579 832970752 176305 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21569/tid=21572] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21572/stat : 21572 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 332 0 0 0 20 128 0 0 20 0 17 0 653860579 832970752 176305 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21569/tid=21573] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21573/stat : 21573 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 380 0 0 0 16 132 0 0 20 0 17 0 653860579 832970752 176307 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 476 0 0 0 12 136 0 0 20 0 17 0 653860579 832970752 176309 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134735855 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21569/tid=21575] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21575/stat : 21575 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 300 0 0 0 26 120 0 0 20 0 17 0 653860579 832970752 176310 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21569/tid=21576] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21576/stat : 21576 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 430 0 0 0 18 130 0 0 20 0 17 0 653860580 832970752 176311 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21569/tid=21577] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21577/stat : 21577 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 367 0 0 0 18 130 0 0 20 0 17 0 653860580 832970752 176311 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21578] ppid=21567 vsize=813448 CPUtime=1.44
/proc/21569/task/21578/stat : 21578 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1077 0 0 0 6 138 0 0 20 0 17 0 653860580 832970752 176312 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21569/tid=21579] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21579/stat : 21579 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 801 0 0 0 14 132 0 0 20 0 17 0 653860580 832970752 176313 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21569/tid=21580] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21580/stat : 21580 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 412 0 0 0 28 120 0 0 20 0 17 0 653860580 832970752 176313 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21581] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21581/stat : 21581 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 765 0 0 0 10 136 0 0 20 0 17 0 653860580 832970752 176314 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21569/tid=21582] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21582/stat : 21582 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 575 0 0 0 16 130 0 0 20 0 17 0 653860580 832970752 176314 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21569/tid=21583] ppid=21567 vsize=813448 CPUtime=1.48
/proc/21569/task/21583/stat : 21583 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 298 0 0 0 20 128 0 0 20 0 17 0 653860581 832970752 176314 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21569/tid=21584] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21584/stat : 21584 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 309 0 0 0 18 128 0 0 20 0 17 0 653860581 832970752 176315 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21569/tid=21585] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21585/stat : 21585 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 399 0 0 0 22 124 0 0 20 0 17 0 653860581 832970752 176316 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21569/tid=21586] ppid=21567 vsize=813448 CPUtime=1.46
/proc/21569/task/21586/stat : 21586 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 244 0 0 0 20 126 0 0 20 0 17 0 653860581 832970752 176318 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 34.73
Current children cumulated vsize (KiB) 813448

[startup+25.505 s]
/proc/loadavg: 6.33 11.36 11.68 17/201 21586
/proc/meminfo: memFree=18275344/36427776 swapFree=4692/782364
[pid=21569] ppid=21567 vsize=847104 CPUtime=236.03
/proc/21569/stat : 21569 (ttsth-5-0) S 21567 21569 15497 0 -1 4202496 194497 0 0 0 6128 17475 0 0 20 0 17 0 653859461 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 211776 193366 95 177 0 211598 0
[pid=21569/tid=21571] ppid=21567 vsize=847104 CPUtime=14.24
/proc/21569/task/21571/stat : 21571 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 11676 0 0 0 1404 20 0 0 20 0 17 0 653860579 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21569/tid=21572] ppid=21567 vsize=847104 CPUtime=14.06
/proc/21569/task/21572/stat : 21572 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 694 0 0 0 264 1142 0 0 20 0 17 0 653860579 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21569/tid=21573] ppid=21567 vsize=847104 CPUtime=14.04
/proc/21569/task/21573/stat : 21573 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1947 0 0 0 238 1166 0 0 20 0 17 0 653860579 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=847104 CPUtime=14.06
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1902 0 0 0 216 1190 0 0 20 0 17 0 653860579 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21569/tid=21575] ppid=21567 vsize=847104 CPUtime=14.06
/proc/21569/task/21575/stat : 21575 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1755 0 0 0 228 1178 0 0 20 0 17 0 653860579 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21569/tid=21576] ppid=21567 vsize=847104 CPUtime=14.04
/proc/21569/task/21576/stat : 21576 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1917 0 0 0 242 1162 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21569/tid=21577] ppid=21567 vsize=847104 CPUtime=14.06
/proc/21569/task/21577/stat : 21577 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 644 0 0 0 240 1166 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21578] ppid=21567 vsize=847104 CPUtime=14
/proc/21569/task/21578/stat : 21578 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1703 0 0 0 212 1188 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21569/tid=21579] ppid=21567 vsize=847104 CPUtime=14.04
/proc/21569/task/21579/stat : 21579 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2529 0 0 0 240 1164 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21569/tid=21580] ppid=21567 vsize=847104 CPUtime=14.08
/proc/21569/task/21580/stat : 21580 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 703 0 0 0 296 1112 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21581] ppid=21567 vsize=847104 CPUtime=14.04
/proc/21569/task/21581/stat : 21581 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2062 0 0 0 222 1182 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21569/tid=21582] ppid=21567 vsize=847104 CPUtime=14.02
/proc/21569/task/21582/stat : 21582 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1587 0 0 0 212 1190 0 0 20 0 17 0 653860580 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21569/tid=21583] ppid=21567 vsize=847104 CPUtime=14.06
/proc/21569/task/21583/stat : 21583 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1587 0 0 0 222 1184 0 0 20 0 17 0 653860581 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21569/tid=21584] ppid=21567 vsize=847104 CPUtime=13.8
/proc/21569/task/21584/stat : 21584 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 683 0 0 0 276 1104 0 0 20 0 17 0 653860581 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21569/tid=21585] ppid=21567 vsize=847104 CPUtime=14.04
/proc/21569/task/21585/stat : 21585 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 672 0 0 0 288 1116 0 0 20 0 17 0 653860581 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21569/tid=21586] ppid=21567 vsize=847104 CPUtime=14.08
/proc/21569/task/21586/stat : 21586 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 683 0 0 0 260 1148 0 0 20 0 17 0 653860581 867434496 193366 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 236.03
Current children cumulated vsize (KiB) 847104

[startup+51.1075 s]
/proc/loadavg: 9.63 11.73 11.79 17/201 21586
/proc/meminfo: memFree=18203104/36427776 swapFree=4692/854940
[pid=21569] ppid=21567 vsize=899856 CPUtime=638.73
/proc/21569/stat : 21569 (ttsth-5-0) S 21567 21569 15497 0 -1 4202496 212872 0 0 0 15390 48483 0 0 20 0 17 0 653859461 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 224964 211741 95 177 0 224786 0
[pid=21569/tid=21571] ppid=21567 vsize=899856 CPUtime=39.83
/proc/21569/task/21571/stat : 21571 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 17434 0 0 0 3957 26 0 0 20 0 17 0 653860579 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21569/tid=21572] ppid=21567 vsize=899856 CPUtime=39.25
/proc/21569/task/21572/stat : 21572 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1776 0 0 0 700 3225 0 0 20 0 17 0 653860579 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21569/tid=21573] ppid=21567 vsize=899856 CPUtime=39.23
/proc/21569/task/21573/stat : 21573 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3972 0 0 0 678 3245 0 0 20 0 17 0 653860579 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=899856 CPUtime=39.25
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2417 0 0 0 668 3257 0 0 20 0 17 0 653860579 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21569/tid=21575] ppid=21567 vsize=899856 CPUtime=39.28
/proc/21569/task/21575/stat : 21575 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2495 0 0 0 704 3224 0 0 20 0 17 0 653860579 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21569/tid=21576] ppid=21567 vsize=899856 CPUtime=39.19
/proc/21569/task/21576/stat : 21576 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2210 0 0 0 678 3241 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21569/tid=21577] ppid=21567 vsize=899856 CPUtime=39.21
/proc/21569/task/21577/stat : 21577 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1664 0 0 0 678 3243 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21578] ppid=21567 vsize=899856 CPUtime=39.18
/proc/21569/task/21578/stat : 21578 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2348 0 0 0 644 3274 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21569/tid=21579] ppid=21567 vsize=899856 CPUtime=39.24
/proc/21569/task/21579/stat : 21579 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2921 0 0 0 688 3236 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21569/tid=21580] ppid=21567 vsize=899856 CPUtime=39.26
/proc/21569/task/21580/stat : 21580 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1712 0 0 0 730 3196 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21581] ppid=21567 vsize=899856 CPUtime=39.17
/proc/21569/task/21581/stat : 21581 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2618 0 0 0 690 3227 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21569/tid=21582] ppid=21567 vsize=899856 CPUtime=39.22
/proc/21569/task/21582/stat : 21582 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2703 0 0 0 668 3254 0 0 20 0 17 0 653860580 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21569/tid=21583] ppid=21567 vsize=899856 CPUtime=39.23
/proc/21569/task/21583/stat : 21583 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2075 0 0 0 714 3209 0 0 20 0 17 0 653860581 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21569/tid=21584] ppid=21567 vsize=899856 CPUtime=38.4
/proc/21569/task/21584/stat : 21584 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1594 0 0 0 696 3144 0 0 20 0 17 0 653860581 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21569/tid=21585] ppid=21567 vsize=899856 CPUtime=39.24
/proc/21569/task/21585/stat : 21585 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1604 0 0 0 716 3208 0 0 20 0 17 0 653860581 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21569/tid=21586] ppid=21567 vsize=899856 CPUtime=39.26
/proc/21569/task/21586/stat : 21586 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 1576 0 0 0 712 3214 0 0 20 0 17 0 653860581 921452544 211741 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 638.73
Current children cumulated vsize (KiB) 899856

[startup+102.306 s]
/proc/loadavg: 13.16 12.37 12.01 17/201 21586
/proc/meminfo: memFree=17896052/36427776 swapFree=4692/1161912
[pid=21569] ppid=21567 vsize=1195316 CPUtime=1443.37
/proc/21569/stat : 21569 (ttsth-5-0) S 21567 21569 15497 0 -1 4202496 289238 0 0 0 34080 110257 0 0 20 0 17 0 653859461 1224003584 288107 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 298829 288107 95 177 0 298651 0
[pid=21569/tid=21571] ppid=21567 vsize=1195316 CPUtime=91.02
/proc/21569/task/21571/stat : 21571 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 71959 0 0 0 9036 66 0 0 20 0 17 0 653860579 1224003584 288107 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21569/tid=21572] ppid=21567 vsize=1195316 CPUtime=89.62
/proc/21569/task/21572/stat : 21572 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2589 0 0 0 1648 7314 0 0 20 0 17 0 653860579 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21569/tid=21573] ppid=21567 vsize=1195316 CPUtime=89.55
/proc/21569/task/21573/stat : 21573 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 5954 0 0 0 1588 7367 0 0 20 0 17 0 653860579 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=1195316 CPUtime=89.6
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3053 0 0 0 1546 7414 0 0 20 0 17 0 653860579 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21569/tid=21575] ppid=21567 vsize=1195316 CPUtime=89.56
/proc/21569/task/21575/stat : 21575 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4621 0 0 0 1576 7380 0 0 20 0 17 0 653860579 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21569/tid=21576] ppid=21567 vsize=1195316 CPUtime=89.48
/proc/21569/task/21576/stat : 21576 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3258 0 0 0 1548 7400 0 0 20 0 17 0 653860580 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21569/tid=21577] ppid=21567 vsize=1195316 CPUtime=89.26
/proc/21569/task/21577/stat : 21577 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4304 0 0 0 1578 7348 0 0 20 0 17 0 653860580 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21578] ppid=21567 vsize=1195316 CPUtime=89.51
/proc/21569/task/21578/stat : 21578 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3452 0 0 0 1476 7475 0 0 20 0 17 0 653860580 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21569/tid=21579] ppid=21567 vsize=1195316 CPUtime=89.6
/proc/21569/task/21579/stat : 21579 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3939 0 0 0 1558 7402 0 0 20 0 17 0 653860580 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21569/tid=21580] ppid=21567 vsize=1195316 CPUtime=89.63
/proc/21569/task/21580/stat : 21580 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2701 0 0 0 1668 7295 0 0 20 0 17 0 653860580 1224003584 288108 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21581] ppid=21567 vsize=1195316 CPUtime=89.53
/proc/21569/task/21581/stat : 21581 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3462 0 0 0 1624 7329 0 0 20 0 17 0 653860580 1224003584 288109 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21569/tid=21582] ppid=21567 vsize=1195316 CPUtime=89.37
/proc/21569/task/21582/stat : 21582 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 7529 0 0 0 1692 7245 0 0 20 0 17 0 653860580 1224003584 288109 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21569/tid=21583] ppid=21567 vsize=1195316 CPUtime=89.55
/proc/21569/task/21583/stat : 21583 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3037 0 0 0 1646 7309 0 0 20 0 17 0 653860581 1224003584 288109 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21569/tid=21584] ppid=21567 vsize=1195316 CPUtime=87.65
/proc/21569/task/21584/stat : 21584 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2205 0 0 0 1556 7209 0 0 20 0 17 0 653860581 1224003584 288109 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21569/tid=21585] ppid=21567 vsize=1195316 CPUtime=89.54
/proc/21569/task/21585/stat : 21585 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3316 0 0 0 1624 7330 0 0 20 0 17 0 653860581 1224003584 288109 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21569/tid=21586] ppid=21567 vsize=1195316 CPUtime=89.6
/proc/21569/task/21586/stat : 21586 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2106 0 0 0 1648 7312 0 0 20 0 17 0 653860581 1224003584 288109 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1443.37
Current children cumulated vsize (KiB) 1195316

[startup+162.304 s]
/proc/loadavg: 14.88 13.02 12.25 17/201 21586
/proc/meminfo: memFree=17573340/36427776 swapFree=4692/1483732
[pid=21569] ppid=21567 vsize=1519656 CPUtime=2386.88
/proc/21569/stat : 21569 (ttsth-5-0) S 21567 21569 15497 0 -1 4202496 369562 0 0 0 56378 182310 0 0 20 0 17 0 653859461 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 379914 368431 95 177 0 379736 0
[pid=21569/tid=21571] ppid=21567 vsize=1519656 CPUtime=150.98
/proc/21569/task/21571/stat : 21571 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 137625 0 0 0 14974 124 0 0 20 0 17 0 653860579 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21569/tid=21572] ppid=21567 vsize=1519656 CPUtime=148.58
/proc/21569/task/21572/stat : 21572 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2975 0 0 0 2602 12256 0 0 20 0 17 0 653860579 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=21569/tid=21573] ppid=21567 vsize=1519656 CPUtime=148.66
/proc/21569/task/21573/stat : 21573 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 6764 0 0 0 2764 12102 0 0 20 0 17 0 653860579 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=1519656 CPUtime=148.56
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4607 0 0 0 2602 12254 0 0 20 0 17 0 653860579 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21569/tid=21575] ppid=21567 vsize=1519656 CPUtime=148.6
/proc/21569/task/21575/stat : 21575 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 5302 0 0 0 2600 12260 0 0 20 0 17 0 653860579 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21569/tid=21576] ppid=21567 vsize=1519656 CPUtime=148.34
/proc/21569/task/21576/stat : 21576 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4783 0 0 0 2600 12234 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21569/tid=21577] ppid=21567 vsize=1519656 CPUtime=148.22
/proc/21569/task/21577/stat : 21577 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4780 0 0 0 2632 12190 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21578] ppid=21567 vsize=1519656 CPUtime=148.43
/proc/21569/task/21578/stat : 21578 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3870 0 0 0 2488 12355 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=21569/tid=21579] ppid=21567 vsize=1519656 CPUtime=148.58
/proc/21569/task/21579/stat : 21579 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 6452 0 0 0 2758 12100 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21569/tid=21580] ppid=21567 vsize=1519656 CPUtime=148.57
/proc/21569/task/21580/stat : 21580 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3267 0 0 0 2756 12101 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21581] ppid=21567 vsize=1519656 CPUtime=148.53
/proc/21569/task/21581/stat : 21581 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 5081 0 0 0 2744 12109 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21569/tid=21582] ppid=21567 vsize=1519656 CPUtime=148.45
/proc/21569/task/21582/stat : 21582 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 8322 0 0 0 2908 11937 0 0 20 0 17 0 653860580 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21569/tid=21583] ppid=21567 vsize=1519656 CPUtime=148.58
/proc/21569/task/21583/stat : 21583 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4700 0 0 0 2808 12050 0 0 20 0 17 0 653860581 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=21569/tid=21584] ppid=21567 vsize=1519656 CPUtime=145.36
/proc/21569/task/21584/stat : 21584 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2715 0 0 0 2622 11914 0 0 20 0 17 0 653860581 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21569/tid=21585] ppid=21567 vsize=1519656 CPUtime=148.5
/proc/21569/task/21585/stat : 21585 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 3972 0 0 0 2714 12136 0 0 20 0 17 0 653860581 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21569/tid=21586] ppid=21567 vsize=1519656 CPUtime=148.55
/proc/21569/task/21586/stat : 21586 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2594 0 0 0 2734 12121 0 0 20 0 17 0 653860581 1556127744 368431 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2386.88
Current children cumulated vsize (KiB) 1519656



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+214.305 s]
/proc/loadavg: 15.51 13.47 12.44 18/201 21591
/proc/meminfo: memFree=17017664/36427776 swapFree=4692/2038600
[pid=21569] ppid=21567 vsize=2097408 CPUtime=3100.23
/proc/21569/stat : 21569 (ttsth-5-0) S 21567 21569 15497 0 -1 4202496 508675 0 0 0 96706 213317 0 0 20 0 17 0 653859461 2147745792 507545 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 524352 507546 95 177 0 524174 0
[pid=21569/tid=21571] ppid=21567 vsize=2097408 CPUtime=202.82
/proc/21569/task/21571/stat : 21571 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 194347 0 0 0 20094 188 0 0 20 0 17 0 653860579 2147745792 507548 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=21569/tid=21572] ppid=21567 vsize=2097408 CPUtime=196.77
/proc/21569/task/21572/stat : 21572 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4712 0 0 0 4462 15215 0 0 20 0 17 0 653860579 2147745792 507548 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=21569/tid=21573] ppid=21567 vsize=2097408 CPUtime=199.14
/proc/21569/task/21573/stat : 21573 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 23853 0 0 0 6608 13306 0 0 20 0 17 0 653860579 2147745792 507548 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=2097408 CPUtime=190.21
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 10803 0 0 0 5403 13618 0 0 20 0 17 0 653860579 2147745792 507548 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134590345 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21575] ppid=21567 vsize=2097408 CPUtime=191.12
/proc/21569/task/21575/stat : 21575 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 8006 0 0 0 4984 14128 0 0 20 0 17 0 653860579 2147745792 507548 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134590203 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21576] ppid=21567 vsize=2097408 CPUtime=194.82
/proc/21569/task/21576/stat : 21576 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 15520 0 0 0 5445 14037 0 0 20 0 17 0 653860580 2147745792 507549 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=21569/tid=21577] ppid=21567 vsize=2097408 CPUtime=188.28
/proc/21569/task/21577/stat : 21577 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 5071 0 0 0 3866 14962 0 0 20 0 17 0 653860580 2147745792 507549 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=21569/tid=21578] ppid=21567 vsize=2097408 CPUtime=193.59
/proc/21569/task/21578/stat : 21578 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 12434 0 0 0 5635 13724 0 0 20 0 17 0 653860580 2147745792 507550 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=21569/tid=21579] ppid=21567 vsize=2097408 CPUtime=192.09
/proc/21569/task/21579/stat : 21579 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 17997 0 0 0 5836 13373 0 0 20 0 17 0 653860580 2147745792 507550 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=21569/tid=21580] ppid=21567 vsize=2097408 CPUtime=191.65
/proc/21569/task/21580/stat : 21580 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 6022 0 0 0 4364 14801 0 0 20 0 17 0 653860580 2147745792 507550 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=21569/tid=21581] ppid=21567 vsize=2097408 CPUtime=194.21
/proc/21569/task/21581/stat : 21581 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 20086 0 0 0 5945 13476 0 0 20 0 17 0 653860580 2147745792 507551 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=21569/tid=21582] ppid=21567 vsize=2097408 CPUtime=198.61
/proc/21569/task/21582/stat : 21582 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 10356 0 0 0 6026 13835 0 0 20 0 17 0 653860580 2147745792 507551 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=21569/tid=21583] ppid=21567 vsize=2097408 CPUtime=192.73
/proc/21569/task/21583/stat : 21583 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4909 0 0 0 4450 14823 0 0 20 0 17 0 653860581 2147745792 507551 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134680217 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=21569/tid=21584] ppid=21567 vsize=2097408 CPUtime=193.58
/proc/21569/task/21584/stat : 21584 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 5369 0 0 0 4504 14854 0 0 20 0 17 0 653860581 2147745792 507552 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=21569/tid=21585] ppid=21567 vsize=2097408 CPUtime=184.97
/proc/21569/task/21585/stat : 21585 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 4645 0 0 0 4000 14497 0 0 20 0 17 0 653860581 2147745792 507553 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=21569/tid=21586] ppid=21567 vsize=2097408 CPUtime=184.3
/proc/21569/task/21586/stat : 21586 (ttsth-5-0) R 21567 21569 15497 0 -1 4202560 2797 0 0 0 4019 14411 0 0 20 0 17 0 653860581 2147745792 507553 18446744073709551615 134512640 135237372 4294688400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 3100.23
Current children cumulated vsize (KiB) 2097408

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

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

[startup+214.424 s]
/proc/loadavg: 15.51 13.47 12.44 18/201 21591
/proc/meminfo: memFree=17017664/36427776 swapFree=4692/2038600
[pid=21569] ppid=21567 vsize=0 CPUtime=3100.3
/proc/21569/stat : 21569 (ttsth-5-0) Z 21567 21569 15497 0 -1 4203532 508782 0 0 0 96712 213318 0 0 20 0 2 0 653859461 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 10 0 0 0 0 0
/proc/21569/statm: 0 0 0 0 0 0 0
[pid=21569/tid=21574] ppid=21567 vsize=0 CPUtime=190.21
/proc/21569/task/21574/stat : 21574 (ttsth-5-0) R 21567 21569 15497 0 -1 4203588 10803 0 0 0 5403 13618 0 0 20 0 2 0 653860579 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3100.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 214.5
CPU time (s): 3100.31
CPU user time (s): 967.132
CPU system time (s): 2133.18
CPU usage (%): 1445.37
Max. virtual memory (cumulated for all children) (KiB): 2097408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 967.132
system time used= 2133.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508782
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= 337885
involuntary context switches= 25034

runsolver used 1.22808 second user time and 3.30821 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:12:11
IDJOB=1778805
IDBENCH=70762
IDSOLVER=634
FILE ID=xenhost3-49/1778805-1244945531
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= 10b48467ea3d951975cb9264f0b654fe
RANDOM SEED= 1199905875

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:      19047224 kB
Buffers:        479192 kB
Cached:       14118056 kB
SwapCached:          0 kB
Active:        4125168 kB
Inactive:     10480540 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4288 kB
Writeback:          56 kB
AnonPages:        7832 kB
Mapped:           3052 kB
Slab:           722348 kB
SReclaimable:   694804 kB
SUnreclaim:      27544 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7022 MiB
End job on xenhost3-49 at 2009-06-14 04:15:47