Trace number 1781325

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) 6313.02 414.527

General information on the benchmark

Namevelev-pipe-o-uns-1.1-6.cnf
MD5SUMd986f0b849e7c714ed5d3a26373567af
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark277.54
Satisfiable
(Un)Satisfiability was proved
Number of variables17710
Number of clauses304026
Sum of the clauses size890580
Maximum clause length131
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2268354
Number of clauses of size 326401
Number of clauses of size 4173
Number of clauses of size 5120
Number of clauses of size over 58977

Solver Data 

0.40/0.46	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781325-1244985213.cnf 
0.40/0.46	c Using SATTIMEOUT of 10000
0.40/0.46	c Using SATRAM of 2047
0.40/0.46	c Size of subset node = 16
0.40/0.46	c Variables = 17710
0.40/0.46	c Clauses = 304026
0.40/0.46	c Literals = 890580
0.40/0.46	c Reduced size:
0.40/0.46	c Variables = 17710
0.40/0.46	c Clauses = 303978
0.40/0.46	c Literals = 890472
0.40/0.46	c a2
2.40/2.49	c a1
8.20/8.24	c Independent sub-problems = 1
8.20/8.24	c Sub-problem with 17702 variables and 303978 clauses
8.20/8.24	c using permutation method 4
8.20/8.24	c count = 1
8.20/8.24	c Ordering finished 8.130 seconds
8.20/8.24	c mapped 8.230 seconds
8.20/8.24	c permuted 8.230 seconds
8.20/8.24	c about to sort
8.30/8.31	c sorted
18.08/18.18	c clauses now 303978
18.08/18.18	c init finished 8.650 seconds
18.08/18.18	c tree built 18.170 seconds
18.08/18.18	c 
18.08/18.18	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
18.08/18.18	c ---------------------------------|----------------------------------|------------------------------------------------------
18.08/18.18	c ................................ | ..........                       |                       18.2           0.0             
18.08/18.18	c ................................ | ..........                     1 |                       18.2           0.1             
18.08/18.18	c ................................ | ..........                     2 |                       18.2           0.1             
18.08/18.18	c ................................ | ..........                     3 |                       18.2           0.2             
18.08/18.18	c ................................ | ..........                     4 |                       18.2           0.2             
18.08/18.18	c ................................ | ..........                     5 |                       18.2           0.3             
18.18/18.28	c ................................ | ..........                  1000 | 13                    18.9          52.9         1565
241.02/32.60	c ................................ | ..........                388000 | 6453                 200.2        1938.4      2025243
459.93/46.44	c ................................ | ..........                609000 | 10375                402.9        1511.4      5479726
674.39/60.07	c ................................ | ..........                817000 | 15002                602.5        1355.9      8789204
884.88/73.35	c ................................ | ..........                992000 | 20055                803.5        1234.6     12006662
1086.30/86.01	c ................................ | *.........               1134000 | 24450               1000.5        1133.5     15120642
1291.69/99.20	c ................................ | *.........               1304000 | 28190               1200.5        1086.2     17597272
1502.78/112.57	c ................................ | *.........               1466000 | 32267               1406.3        1042.4     20916300
1709.40/125.50	c ................................ | *.........               1619000 | 35483               1608.0        1006.8     24029971
1903.57/137.74	c ................................ | *.........               1766000 | 37968               1800.4         980.9     26861517
2110.64/150.72	c ................................ | **........               1924000 | 41077               2003.9         960.1     29728096

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-1781325-1244985213/watcher-1781325-1244985213 -o /tmp/evaluation-result-1781325-1244985213/solver-1781325-1244985213 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781325-1244985213.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: 1.42 5.97 6.65 2/187 31275
/proc/meminfo: memFree=18973492/36427776 swapFree=5500/10844
[pid=31275] ppid=31273 vsize=1576 CPUtime=0
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 657827639 1613824 237 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 394 237 75 177 0 216 0

[startup+0.089511 s]
/proc/loadavg: 1.42 5.97 6.65 2/187 31275
/proc/meminfo: memFree=18973492/36427776 swapFree=5500/10844
[pid=31275] ppid=31273 vsize=6724 CPUtime=0.08
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 1578 0 0 0 8 0 0 0 20 0 1 0 657827639 6885376 1535 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 1681 1536 75 177 0 1503 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6724

[startup+0.101507 s]
/proc/loadavg: 1.42 5.97 6.65 2/187 31275
/proc/meminfo: memFree=18973492/36427776 swapFree=5500/10844
[pid=31275] ppid=31273 vsize=7696 CPUtime=0.1
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 1773 0 0 0 10 0 0 0 20 0 1 0 657827639 7880704 1730 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 1924 1731 75 177 0 1746 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7696

[startup+0.301532 s]
/proc/loadavg: 1.42 5.97 6.65 2/187 31275
/proc/meminfo: memFree=18973492/36427776 swapFree=5500/10844
[pid=31275] ppid=31273 vsize=20512 CPUtime=0.3
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 5003 0 0 0 28 2 0 0 20 0 1 0 657827639 21004288 4960 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134732614 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 5128 4960 75 177 0 4950 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20512

[startup+0.701572 s]
/proc/loadavg: 1.42 5.97 6.65 2/187 31275
/proc/meminfo: memFree=18973492/36427776 swapFree=5500/10844
[pid=31275] ppid=31273 vsize=93248 CPUtime=0.7
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 20296 0 0 0 64 6 0 0 20 0 1 0 657827639 95485952 20253 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134554919 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 23312 20254 76 177 0 23134 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 93248

[startup+1.50162 s]
/proc/loadavg: 1.42 5.97 6.65 2/188 31276
/proc/meminfo: memFree=18888944/36427776 swapFree=5636/95672
[pid=31275] ppid=31273 vsize=97424 CPUtime=1.5
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 21309 0 0 0 144 6 0 0 20 0 1 0 657827639 99762176 21224 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134519976 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 24356 21224 76 177 0 24178 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 97424

[startup+3.10172 s]
/proc/loadavg: 1.42 5.97 6.65 2/188 31276
/proc/meminfo: memFree=18888460/36427776 swapFree=5768/96112
[pid=31275] ppid=31273 vsize=70624 CPUtime=3.1
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 21962 0 0 0 302 8 0 0 20 0 1 0 657827639 72318976 16701 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134555272 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 17656 16701 77 177 0 17478 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 70624

[startup+6.30207 s]
/proc/loadavg: 1.39 5.89 6.62 2/188 31276
/proc/meminfo: memFree=18906420/36427776 swapFree=6404/79244
[pid=31275] ppid=31273 vsize=70624 CPUtime=6.3
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 22149 0 0 0 622 8 0 0 20 0 1 0 657827639 72318976 16888 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134555258 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 17656 16888 77 177 0 17478 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 70624

[startup+12.7026 s]
/proc/loadavg: 1.35 5.81 6.59 2/188 31276
/proc/meminfo: memFree=18738544/36427776 swapFree=6456/246780
[pid=31275] ppid=31273 vsize=239740 CPUtime=12.68
/proc/31275/stat : 31275 (ttsth-5-0) R 31273 31275 15497 0 -1 4202496 65345 0 0 0 1248 20 0 0 20 0 1 0 657827639 245493760 59787 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134548826 0 0 1 0 0 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 59935 59787 90 177 0 59757 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 239740

[startup+25.5039 s]
/proc/loadavg: 3.58 6.06 6.66 17/204 31292
/proc/meminfo: memFree=18566384/36427776 swapFree=6476/421728
[pid=31275] ppid=31273 vsize=531512 CPUtime=131.83
/proc/31275/stat : 31275 (ttsth-5-0) S 31273 31275 15497 0 -1 4202496 109141 0 0 0 9633 3550 0 0 20 0 17 0 657827639 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 132878 102899 95 177 0 132700 0
[pid=31275/tid=31277] ppid=31273 vsize=531512 CPUtime=7.3
/proc/31275/task/31277/stat : 31277 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 1115 0 0 0 706 24 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562423 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31275/tid=31278] ppid=31273 vsize=531512 CPUtime=7.12
/proc/31275/task/31278/stat : 31278 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 967 0 0 0 488 224 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31275/tid=31279] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31279/stat : 31279 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 803 0 0 0 478 230 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31275/tid=31280] ppid=31273 vsize=531512 CPUtime=7.1
/proc/31275/task/31280/stat : 31280 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 455 0 0 0 490 220 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31275/tid=31281] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31281/stat : 31281 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 609 0 0 0 472 236 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31275/tid=31282] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31282/stat : 31282 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 673 0 0 0 480 228 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31275/tid=31283] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31283/stat : 31283 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 980 0 0 0 474 234 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31275/tid=31284] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31284/stat : 31284 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 893 0 0 0 476 232 0 0 20 0 17 0 657829458 544268288 102899 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31275/tid=31285] ppid=31273 vsize=531512 CPUtime=7.1
/proc/31275/task/31285/stat : 31285 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 769 0 0 0 474 236 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31275/tid=31286] ppid=31273 vsize=531512 CPUtime=7.1
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 861 0 0 0 468 242 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31287/stat : 31287 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 796 0 0 0 478 230 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31275/tid=31288] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31288/stat : 31288 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 836 0 0 0 470 238 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31275/tid=31289] ppid=31273 vsize=531512 CPUtime=7.1
/proc/31275/task/31289/stat : 31289 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 902 0 0 0 468 242 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31275/tid=31290] ppid=31273 vsize=531512 CPUtime=6.94
/proc/31275/task/31290/stat : 31290 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 927 0 0 0 482 212 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31275/tid=31291] ppid=31273 vsize=531512 CPUtime=7.08
/proc/31275/task/31291/stat : 31291 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 894 0 0 0 458 250 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=531512 CPUtime=7.12
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 766 0 0 0 478 234 0 0 20 0 17 0 657829458 544268288 102900 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 131.83
Current children cumulated vsize (KiB) 531512

[startup+51.1047 s]
/proc/loadavg: 7.82 6.86 6.91 17/204 31292
/proc/meminfo: memFree=18440348/36427776 swapFree=6476/548316
[pid=31275] ppid=31273 vsize=656700 CPUtime=533.97
/proc/31275/stat : 31275 (ttsth-5-0) S 31273 31275 15497 0 -1 4202496 140969 0 0 0 43930 9467 0 0 20 0 17 0 657827639 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 164175 134727 95 177 0 163997 0
[pid=31275/tid=31277] ppid=31273 vsize=656700 CPUtime=32.84
/proc/31275/task/31277/stat : 31277 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2223 0 0 0 3260 24 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31275/tid=31278] ppid=31273 vsize=656700 CPUtime=32.36
/proc/31275/task/31278/stat : 31278 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 3267 0 0 0 2618 618 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31275/tid=31279] ppid=31273 vsize=656700 CPUtime=32.2
/proc/31275/task/31279/stat : 31279 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 3375 0 0 0 2582 638 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31275/tid=31280] ppid=31273 vsize=656700 CPUtime=32.18
/proc/31275/task/31280/stat : 31280 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 1814 0 0 0 2582 636 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31275/tid=31281] ppid=31273 vsize=656700 CPUtime=32.14
/proc/31275/task/31281/stat : 31281 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2805 0 0 0 2584 630 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592409 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31275/tid=31282] ppid=31273 vsize=656700 CPUtime=32.22
/proc/31275/task/31282/stat : 31282 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2863 0 0 0 2600 622 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31275/tid=31283] ppid=31273 vsize=656700 CPUtime=32.22
/proc/31275/task/31283/stat : 31283 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2659 0 0 0 2582 640 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31275/tid=31284] ppid=31273 vsize=656700 CPUtime=32.2
/proc/31275/task/31284/stat : 31284 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2613 0 0 0 2614 606 0 0 20 0 17 0 657829458 672460800 134727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31275/tid=31285] ppid=31273 vsize=656700 CPUtime=32.2
/proc/31275/task/31285/stat : 31285 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 3441 0 0 0 2596 624 0 0 20 0 17 0 657829458 672460800 134728 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31275/tid=31286] ppid=31273 vsize=656700 CPUtime=32.28
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2780 0 0 0 2588 640 0 0 20 0 17 0 657829458 672460800 134728 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592489 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=656700 CPUtime=32.22
/proc/31275/task/31287/stat : 31287 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2596 0 0 0 2602 620 0 0 20 0 17 0 657829458 672460800 134728 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31275/tid=31288] ppid=31273 vsize=656700 CPUtime=32.2
/proc/31275/task/31288/stat : 31288 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2992 0 0 0 2584 636 0 0 20 0 17 0 657829458 672460800 134728 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31275/tid=31289] ppid=31273 vsize=656700 CPUtime=32.3
/proc/31275/task/31289/stat : 31289 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 3429 0 0 0 2626 604 0 0 20 0 17 0 657829458 672460800 134728 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592217 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31275/tid=31290] ppid=31273 vsize=656700 CPUtime=31.54
/proc/31275/task/31290/stat : 31290 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2659 0 0 0 2530 624 0 0 20 0 17 0 657829458 672460800 134729 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31275/tid=31291] ppid=31273 vsize=656700 CPUtime=32.3
/proc/31275/task/31291/stat : 31291 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 3029 0 0 0 2612 618 0 0 20 0 17 0 657829458 672460800 134729 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=656700 CPUtime=32.32
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 2530 0 0 0 2582 650 0 0 20 0 17 0 657829458 672460800 134729 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 533.97
Current children cumulated vsize (KiB) 656700

[startup+102.313 s]
/proc/loadavg: 12.45 8.27 7.38 17/204 31297
/proc/meminfo: memFree=18236988/36427776 swapFree=6476/751604
[pid=31275] ppid=31273 vsize=859904 CPUtime=1341
/proc/31275/stat : 31275 (ttsth-5-0) S 31273 31275 15497 0 -1 4202496 191232 0 0 0 119630 14470 0 0 20 0 17 0 657827639 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 214976 184990 95 177 0 214798 0
[pid=31275/tid=31277] ppid=31273 vsize=859904 CPUtime=84.01
/proc/31275/task/31277/stat : 31277 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 6326 0 0 0 8369 32 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31275/tid=31278] ppid=31273 vsize=859904 CPUtime=83.23
/proc/31275/task/31278/stat : 31278 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 6180 0 0 0 7405 918 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31275/tid=31279] ppid=31273 vsize=859904 CPUtime=82.91
/proc/31275/task/31279/stat : 31279 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 7221 0 0 0 7331 960 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31275/tid=31280] ppid=31273 vsize=859904 CPUtime=82.78
/proc/31275/task/31280/stat : 31280 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 4914 0 0 0 7300 978 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134591106 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31275/tid=31281] ppid=31273 vsize=859904 CPUtime=82.28
/proc/31275/task/31281/stat : 31281 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 5874 0 0 0 7256 972 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31275/tid=31282] ppid=31273 vsize=859904 CPUtime=82.34
/proc/31275/task/31282/stat : 31282 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 6040 0 0 0 7262 972 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31275/tid=31283] ppid=31273 vsize=859904 CPUtime=82.97
/proc/31275/task/31283/stat : 31283 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 5201 0 0 0 7333 964 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31275/tid=31284] ppid=31273 vsize=859904 CPUtime=82.92
/proc/31275/task/31284/stat : 31284 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 6098 0 0 0 7378 914 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31275/tid=31285] ppid=31273 vsize=859904 CPUtime=82.27
/proc/31275/task/31285/stat : 31285 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 6424 0 0 0 7273 954 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31275/tid=31286] ppid=31273 vsize=859904 CPUtime=83.02
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 6068 0 0 0 7316 986 0 0 20 0 17 0 657829458 880541696 184990 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=859904 CPUtime=82.93

################
# More data... #
################

[pid=31275/tid=31286] ppid=31273 vsize=1523652 CPUtime=262.38
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 16143 0 0 0 24802 1436 0 0 20 0 17 0 657829458 1560219648 345726 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=1523652 CPUtime=262.32
/proc/31275/task/31287/stat : 31287 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20144 0 0 0 24882 1350 0 0 20 0 17 0 657829458 1560219648 345726 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31275/tid=31288] ppid=31273 vsize=1523652 CPUtime=261.21
/proc/31275/task/31288/stat : 31288 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 17436 0 0 0 24731 1390 0 0 20 0 17 0 657829458 1560219648 345726 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31275/tid=31289] ppid=31273 vsize=1523652 CPUtime=262.37
/proc/31275/task/31289/stat : 31289 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 16267 0 0 0 24833 1404 0 0 20 0 17 0 657829458 1560219648 345727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562416 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31275/tid=31290] ppid=31273 vsize=1523652 CPUtime=259.39
/proc/31275/task/31290/stat : 31290 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 14486 0 0 0 24523 1416 0 0 20 0 17 0 657829458 1560219648 345727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31275/tid=31291] ppid=31273 vsize=1523652 CPUtime=262.4
/proc/31275/task/31291/stat : 31291 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 17603 0 0 0 24858 1382 0 0 20 0 17 0 657829458 1560219648 345727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=1523652 CPUtime=262.43
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 14931 0 0 0 24827 1416 0 0 20 0 17 0 657829458 1560219648 345727 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 4207.67
Current children cumulated vsize (KiB) 1523652

[startup+342.302 s]
/proc/loadavg: 15.85 12.50 9.32 17/204 31300
/proc/meminfo: memFree=17325960/36427776 swapFree=6476/1661684
[pid=31275] ppid=31273 vsize=1805956 CPUtime=5164.41
/proc/31275/stat : 31275 (ttsth-5-0) S 31273 31275 15497 0 -1 4202496 419300 0 0 0 493746 22695 0 0 20 0 17 0 657827639 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 451489 413058 95 177 0 451311 0
[pid=31275/tid=31277] ppid=31273 vsize=1805956 CPUtime=324
/proc/31275/task/31277/stat : 31277 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 15751 0 0 0 32348 52 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31275/tid=31278] ppid=31273 vsize=1805956 CPUtime=322.59
/proc/31275/task/31278/stat : 31278 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 18424 0 0 0 30851 1408 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31275/tid=31279] ppid=31273 vsize=1805956 CPUtime=322.06
/proc/31275/task/31279/stat : 31279 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 24180 0 0 0 30662 1544 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31275/tid=31280] ppid=31273 vsize=1805956 CPUtime=321.93
/proc/31275/task/31280/stat : 31280 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 13786 0 0 0 30677 1516 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31275/tid=31281] ppid=31273 vsize=1805956 CPUtime=321.39
/proc/31275/task/31281/stat : 31281 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 24317 0 0 0 30627 1512 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31275/tid=31282] ppid=31273 vsize=1805956 CPUtime=321.46
/proc/31275/task/31282/stat : 31282 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20271 0 0 0 30554 1592 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562461 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31275/tid=31283] ppid=31273 vsize=1805956 CPUtime=322.21
/proc/31275/task/31283/stat : 31283 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 17231 0 0 0 30713 1508 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31275/tid=31284] ppid=31273 vsize=1805956 CPUtime=322.21
/proc/31275/task/31284/stat : 31284 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 22456 0 0 0 30777 1444 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134590368 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31275/tid=31285] ppid=31273 vsize=1805956 CPUtime=316.68
/proc/31275/task/31285/stat : 31285 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 16174 0 0 0 30194 1474 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31275/tid=31286] ppid=31273 vsize=1805956 CPUtime=322.23
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20195 0 0 0 30679 1544 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=1805956 CPUtime=322.2
/proc/31275/task/31287/stat : 31287 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 30259 0 0 0 30748 1472 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31275/tid=31288] ppid=31273 vsize=1805956 CPUtime=321.08
/proc/31275/task/31288/stat : 31288 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 26537 0 0 0 30600 1508 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31275/tid=31289] ppid=31273 vsize=1805956 CPUtime=322.24
/proc/31275/task/31289/stat : 31289 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 18081 0 0 0 30712 1512 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31275/tid=31290] ppid=31273 vsize=1805956 CPUtime=319.23
/proc/31275/task/31290/stat : 31290 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 18137 0 0 0 30373 1550 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31275/tid=31291] ppid=31273 vsize=1805956 CPUtime=322.25
/proc/31275/task/31291/stat : 31291 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20444 0 0 0 30729 1496 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=1805956 CPUtime=322.29
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 17162 0 0 0 30703 1526 0 0 20 0 17 0 657829458 1849298944 413058 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 5164.41
Current children cumulated vsize (KiB) 1805956

[startup+402.302 s]
/proc/loadavg: 15.91 13.12 9.73 17/204 31305
/proc/meminfo: memFree=17102512/36427776 swapFree=6476/1883380
[pid=31275] ppid=31273 vsize=2037928 CPUtime=6121.06
/proc/31275/stat : 31275 (ttsth-5-0) S 31273 31275 15497 0 -1 4202496 474701 0 0 0 588020 24086 0 0 20 0 17 0 657827639 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 509482 468459 95 177 0 509304 0
[pid=31275/tid=31277] ppid=31273 vsize=2037928 CPUtime=383.97
/proc/31275/task/31277/stat : 31277 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20033 0 0 0 38337 60 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31275/tid=31278] ppid=31273 vsize=2037928 CPUtime=382.45
/proc/31275/task/31278/stat : 31278 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 21690 0 0 0 36749 1496 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31275/tid=31279] ppid=31273 vsize=2037928 CPUtime=381.91
/proc/31275/task/31279/stat : 31279 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 28361 0 0 0 36545 1646 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31275/tid=31280] ppid=31273 vsize=2037928 CPUtime=381.79
/proc/31275/task/31280/stat : 31280 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 16401 0 0 0 36577 1602 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31275/tid=31281] ppid=31273 vsize=2037928 CPUtime=381.25
/proc/31275/task/31281/stat : 31281 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 29311 0 0 0 36515 1610 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31275/tid=31282] ppid=31273 vsize=2037928 CPUtime=381.3
/proc/31275/task/31282/stat : 31282 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 24469 0 0 0 36426 1704 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31275/tid=31283] ppid=31273 vsize=2037928 CPUtime=382.07
/proc/31275/task/31283/stat : 31283 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20463 0 0 0 36611 1596 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31275/tid=31284] ppid=31273 vsize=2037928 CPUtime=382.05
/proc/31275/task/31284/stat : 31284 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 25499 0 0 0 36671 1534 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31275/tid=31285] ppid=31273 vsize=2037928 CPUtime=375.41
/proc/31275/task/31285/stat : 31285 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 19072 0 0 0 35997 1544 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31275/tid=31286] ppid=31273 vsize=2037928 CPUtime=382.1
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 23862 0 0 0 36562 1648 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=2037928 CPUtime=382.06
/proc/31275/task/31287/stat : 31287 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 34748 0 0 0 36654 1552 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31275/tid=31288] ppid=31273 vsize=2037928 CPUtime=380.95
/proc/31275/task/31288/stat : 31288 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 29131 0 0 0 36509 1586 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31275/tid=31289] ppid=31273 vsize=2037928 CPUtime=382.11
/proc/31275/task/31289/stat : 31289 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 21047 0 0 0 36611 1600 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31275/tid=31290] ppid=31273 vsize=2037928 CPUtime=379.09
/proc/31275/task/31290/stat : 31290 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 21521 0 0 0 36257 1652 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31275/tid=31291] ppid=31273 vsize=2037928 CPUtime=382.12
/proc/31275/task/31291/stat : 31291 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 23233 0 0 0 36628 1584 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=2037928 CPUtime=382.14
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 19965 0 0 0 36582 1632 0 0 20 0 17 0 657829458 2086838272 468459 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6121.06
Current children cumulated vsize (KiB) 2037928



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+414.301 s]
/proc/loadavg: 15.93 13.26 9.83 18/204 31305
/proc/meminfo: memFree=17044728/36427776 swapFree=6476/1941184
[pid=31275] ppid=31273 vsize=2096148 CPUtime=6312.62
/proc/31275/stat : 31275 (ttsth-5-0) S 31273 31275 15497 0 -1 4202496 488596 0 0 0 606896 24366 0 0 20 0 17 0 657827639 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 524037 482354 95 177 0 523859 0
[pid=31275/tid=31277] ppid=31273 vsize=2096148 CPUtime=395.98
/proc/31275/task/31277/stat : 31277 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 20064 0 0 0 39538 60 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134591116 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=31275/tid=31278] ppid=31273 vsize=2096148 CPUtime=394.42
/proc/31275/task/31278/stat : 31278 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 22040 0 0 0 37926 1516 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=31275/tid=31279] ppid=31273 vsize=2096148 CPUtime=393.91
/proc/31275/task/31279/stat : 31279 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 29428 0 0 0 37725 1666 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=31275/tid=31280] ppid=31273 vsize=2096148 CPUtime=393.79
/proc/31275/task/31280/stat : 31280 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 17248 0 0 0 37759 1620 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=31275/tid=31281] ppid=31273 vsize=2096148 CPUtime=393.25
/proc/31275/task/31281/stat : 31281 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 30141 0 0 0 37699 1626 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=31275/tid=31282] ppid=31273 vsize=2096148 CPUtime=393.28
/proc/31275/task/31282/stat : 31282 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 24968 0 0 0 37606 1722 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134561428 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=31275/tid=31283] ppid=31273 vsize=2096148 CPUtime=394.05
/proc/31275/task/31283/stat : 31283 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 21215 0 0 0 37791 1614 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=31275/tid=31284] ppid=31273 vsize=2096148 CPUtime=394.05
/proc/31275/task/31284/stat : 31284 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 26363 0 0 0 37855 1550 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=31275/tid=31285] ppid=31273 vsize=2096148 CPUtime=387.15
/proc/31275/task/31285/stat : 31285 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 19576 0 0 0 37157 1558 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562363 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=31275/tid=31286] ppid=31273 vsize=2096148 CPUtime=394.07
/proc/31275/task/31286/stat : 31286 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 24543 0 0 0 37739 1668 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=31275/tid=31287] ppid=31273 vsize=2096148 CPUtime=394.05
/proc/31275/task/31287/stat : 31287 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 36665 0 0 0 37831 1574 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=31275/tid=31288] ppid=31273 vsize=2096148 CPUtime=392.92
/proc/31275/task/31288/stat : 31288 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 29521 0 0 0 37690 1602 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=31275/tid=31289] ppid=31273 vsize=2096148 CPUtime=394.08
/proc/31275/task/31289/stat : 31289 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 21658 0 0 0 37794 1614 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=31275/tid=31290] ppid=31273 vsize=2096148 CPUtime=391.08
/proc/31275/task/31290/stat : 31290 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 21937 0 0 0 37434 1674 0 0 20 0 17 0 657829458 2146455552 482354 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=31275/tid=31291] ppid=31273 vsize=2096148 CPUtime=394.1
/proc/31275/task/31291/stat : 31291 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 23834 0 0 0 37804 1606 0 0 20 0 17 0 657829458 2146455552 482356 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134562459 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=2096148 CPUtime=394.13
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4202560 23501 0 0 0 37759 1654 0 0 20 0 17 0 657829458 2146455552 482356 18446744073709551615 134512640 135237372 4292316240 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6312.62
Current children cumulated vsize (KiB) 2096148

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

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

[startup+414.423 s]
/proc/loadavg: 15.93 13.26 9.83 18/204 31305
/proc/meminfo: memFree=17044728/36427776 swapFree=6476/1941184
[pid=31275] ppid=31273 vsize=0 CPUtime=6312.92
/proc/31275/stat : 31275 (ttsth-5-0) Z 31273 31275 15497 0 -1 4203532 488601 0 0 0 606916 24376 0 0 20 0 2 0 657827639 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 0 0 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=0 CPUtime=394.24
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4203588 23502 0 0 0 37760 1664 0 0 20 0 2 0 657829458 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6312.92
Current children cumulated vsize (KiB) 0

[startup+414.503 s]
/proc/loadavg: 15.93 13.26 9.83 18/204 31305
/proc/meminfo: memFree=17044728/36427776 swapFree=6476/1941184
[pid=31275] ppid=31273 vsize=0 CPUtime=6313
/proc/31275/stat : 31275 (ttsth-5-0) Z 31273 31275 15497 0 -1 4203532 488601 0 0 0 606916 24384 0 0 20 0 2 0 657827639 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/31275/statm: 0 0 0 0 0 0 0
[pid=31275/tid=31292] ppid=31273 vsize=0 CPUtime=394.32
/proc/31275/task/31292/stat : 31292 (ttsth-5-0) R 31273 31275 15497 0 -1 4203588 23502 0 0 0 37760 1672 0 0 20 0 2 0 657829458 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 6313
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 414.527
CPU time (s): 6313.02
CPU user time (s): 6069.17
CPU system time (s): 243.851
CPU usage (%): 1522.95
Max. virtual memory (cumulated for all children) (KiB): 2096148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6069.17
system time used= 243.851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488601
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= 332662
involuntary context switches= 14942

runsolver used 1.92012 second user time and 6.4284 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 15:13:33
IDJOB=1781325
IDBENCH=71718
IDSOLVER=634
FILE ID=xenhost3-49/1781325-1244985213
PBS_JOBID=
Free space on /tmp= 7017 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781325-1244985213/watcher-1781325-1244985213 -o /tmp/evaluation-result-1781325-1244985213/solver-1781325-1244985213 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781325-1244985213.cnf

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

MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED= 1405738364

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:      18973492 kB
Buffers:        528448 kB
Cached:       14124072 kB
SwapCached:          0 kB
Active:        4177200 kB
Inactive:     10485440 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            7936 kB
Writeback:           0 kB
AnonPages:       10844 kB
Mapped:           5500 kB
Slab:           737092 kB
SReclaimable:   709808 kB
SUnreclaim:      27284 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7017 MiB
End job on xenhost3-49 at 2009-06-14 15:20:29