Trace number 1781550

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) 7498.1 481.333

General information on the benchmark

Namemanol-pipe-c9.cnf
MD5SUM7f47eb2c5986b40772da3e38cf0759b1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.28
Satisfiable
(Un)Satisfiability was proved
Number of variables15214
Number of clauses45082
Sum of the clauses size105190
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230054
Number of clauses of size 315027
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.05	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781550-1244989591.cnf 
0.00/0.05	c Using SATTIMEOUT of 10000
0.00/0.05	c Using SATRAM of 2047
0.00/0.05	c Size of subset node = 16
0.00/0.05	c Variables = 15214
0.00/0.05	c Clauses = 45082
0.00/0.05	c Literals = 105190
0.00/0.05	c Reduced size:
0.00/0.05	c Variables = 15214
0.00/0.05	c Clauses = 45079
0.00/0.05	c Literals = 105184
0.00/0.05	c a2
0.04/0.09	c a1
1.68/1.76	c Independent sub-problems = 1
1.68/1.76	c Sub-problem with 15213 variables and 45079 clauses
1.68/1.76	c using permutation method 4
1.68/1.76	c count = 1
1.68/1.76	c Ordering finished 1.740 seconds
1.68/1.76	c mapped 1.750 seconds
1.68/1.76	c permuted 1.750 seconds
1.68/1.76	c about to sort
1.68/1.77	c sorted
2.20/2.24	c clauses now 45079
2.20/2.24	c init finished 2.050 seconds
2.20/2.24	c tree built 2.230 seconds
2.20/2.24	c 
2.20/2.24	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
2.20/2.24	c ---------------------------------|----------------------------------|------------------------------------------------------
2.20/2.24	c ................................ | ..........                       |                        2.2           0.0             
2.20/2.24	c ................................ | ..........                     1 |                        2.2           0.4             
2.20/2.24	c ................................ | ..........                     2 |                        2.2           0.9            1
2.20/2.24	c ................................ | ..........                     3 |                        2.2           1.3            1
2.20/2.24	c ................................ | ..........                     4 |                        2.2           1.8            1
2.20/2.24	c ................................ | ..........                     5 |                        2.2           2.2            1
2.20/2.25	c ................................ | ..........                  1000 | 8                      2.3         434.8         1576
324.99/22.80	c ................................ | ..........               1687000 | 86608                200.4        8416.9      2340504
637.22/42.78	c ................................ | ..........               2870000 | 150818               400.4        7167.8      4777535
944.45/62.40	c ................................ | ..........               4081000 | 234443               600.6        6795.2      7021528
1243.88/81.48	c ................................ | ..........               5027000 | 303413               800.0        6283.4      9315818
1539.54/100.35	c ................................ | *.........               6538000 | 415909              1000.2        6536.8     11482717
1827.62/118.72	c ................................ | *.........               7579000 | 474240              1200.6        6312.6     13669335
2115.51/137.11	c ................................ | *.........               8579000 | 529007              1400.3        6126.4     17016372
2400.39/155.30	c ................................ | *.........               9591000 | 585116              1600.0        5994.3     20258521
2680.24/173.23	c ................................ | *.........              10452000 | 632909              1800.0        5806.6     23681069
2958.70/191.07	c ................................ | **........              11159000 | 669952              2000.0        5579.4     26480575

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-1781550-1244989591/watcher-1781550-1244989591 -o /tmp/evaluation-result-1781550-1244989591/solver-1781550-1244989591 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781550-1244989591.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.15 6.10 4.42 2/187 32144
/proc/meminfo: memFree=18971660/36427776 swapFree=5156/10724
[pid=32144] ppid=32142 vsize=1540 CPUtime=0
/proc/32144/stat : 32144 (ttsth-5-0) R 32142 32144 15497 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 658265465 1576960 247 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 385 247 75 177 0 207 0

[startup+0.051466 s]
/proc/loadavg: 4.15 6.10 4.42 2/187 32144
/proc/meminfo: memFree=18971660/36427776 swapFree=5156/10724
[pid=32144] ppid=32142 vsize=4980 CPUtime=0.04
/proc/32144/stat : 32144 (ttsth-5-0) R 32142 32144 15497 0 -1 4202496 1082 0 0 0 2 2 0 0 20 0 1 0 658265465 5099520 1039 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 1245 1043 76 177 0 1067 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4980

[startup+0.10347 s]
/proc/loadavg: 4.15 6.10 4.42 2/187 32144
/proc/meminfo: memFree=18971660/36427776 swapFree=5156/10724
[pid=32144] ppid=32142 vsize=7820 CPUtime=0.1
/proc/32144/stat : 32144 (ttsth-5-0) R 32142 32144 15497 0 -1 4202496 1799 0 0 0 8 2 0 0 20 0 1 0 658265465 8007680 1754 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134749353 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 1955 1754 76 177 0 1777 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7820

[startup+0.303469 s]
/proc/loadavg: 4.15 6.10 4.42 2/187 32144
/proc/meminfo: memFree=18971660/36427776 swapFree=5156/10724
[pid=32144] ppid=32142 vsize=9340 CPUtime=0.28
/proc/32144/stat : 32144 (ttsth-5-0) R 32142 32144 15497 0 -1 4202496 2307 0 0 0 26 2 0 0 20 0 1 0 658265465 9564160 2172 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134555272 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 2335 2172 77 177 0 2157 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9340

[startup+0.70352 s]
/proc/loadavg: 4.15 6.10 4.42 2/187 32144
/proc/meminfo: memFree=18971660/36427776 swapFree=5156/10724
[pid=32144] ppid=32142 vsize=9508 CPUtime=0.68
/proc/32144/stat : 32144 (ttsth-5-0) R 32142 32144 15497 0 -1 4202496 2342 0 0 0 66 2 0 0 20 0 1 0 658265465 9736192 2207 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 2377 2207 77 177 0 2199 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9508

[startup+1.50358 s]
/proc/loadavg: 4.15 6.10 4.42 2/188 32145
/proc/meminfo: memFree=18964008/36427776 swapFree=5568/19372
[pid=32144] ppid=32142 vsize=9680 CPUtime=1.48
/proc/32144/stat : 32144 (ttsth-5-0) R 32142 32144 15497 0 -1 4202496 2396 0 0 0 146 2 0 0 20 0 1 0 658265465 9912320 2261 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 2420 2261 77 177 0 2242 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9680

[startup+3.10341 s]
/proc/loadavg: 4.15 6.10 4.42 2/188 32145
/proc/meminfo: memFree=18811676/36427776 swapFree=5664/170820
[pid=32144] ppid=32142 vsize=318180 CPUtime=15.65
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 47863 0 0 0 489 1076 0 0 20 0 17 0 658265465 325816320 47638 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 79545 47638 95 177 0 79367 0
Current children cumulated CPU time (s) 15.65
Current children cumulated vsize (KiB) 318180

[startup+6.30338 s]
/proc/loadavg: 5.10 6.26 4.48 17/204 32161
/proc/meminfo: memFree=18774108/36427776 swapFree=6476/212412
[pid=32144] ppid=32142 vsize=325784 CPUtime=65.99
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 51417 0 0 0 1706 4893 0 0 20 0 17 0 658265465 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 81446 51192 95 177 0 81268 0
[pid=32144/tid=32146] ppid=32142 vsize=325784 CPUtime=4.04
/proc/32144/task/32146/stat : 32146 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1025 0 0 0 400 4 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134550994 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32144/tid=32147] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32147/stat : 32147 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 335 0 0 0 68 330 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32144/tid=32148] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32148/stat : 32148 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 386 0 0 0 62 336 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32144/tid=32149] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32149/stat : 32149 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 371 0 0 0 68 330 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32144/tid=32150] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32150/stat : 32150 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 461 0 0 0 78 320 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32144/tid=32151] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32151/stat : 32151 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 375 0 0 0 68 330 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32144/tid=32152] ppid=32142 vsize=325784 CPUtime=3.96
/proc/32144/task/32152/stat : 32152 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 292 0 0 0 68 328 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32144/tid=32153] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32153/stat : 32153 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 300 0 0 0 70 328 0 0 20 0 17 0 658265689 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32144/tid=32154] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32154/stat : 32154 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 535 0 0 0 80 318 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32144/tid=32155] ppid=32142 vsize=325784 CPUtime=3.94
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 443 0 0 0 84 310 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 268 0 0 0 68 330 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=325784 CPUtime=3.96
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 411 0 0 0 78 318 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=325784 CPUtime=3.96
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 406 0 0 0 74 322 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=325784 CPUtime=3.96
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 262 0 0 0 70 326 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 272 0 0 0 80 318 0 0 20 0 17 0 658265690 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134590368 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=325784 CPUtime=3.98
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 248 0 0 0 78 320 0 0 20 0 17 0 658265691 333602816 51192 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 65.99
Current children cumulated vsize (KiB) 325784

[startup+12.7064 s]
/proc/loadavg: 5.97 6.42 4.54 17/204 32161
/proc/meminfo: memFree=18748200/36427776 swapFree=6476/238404
[pid=32144] ppid=32142 vsize=349668 CPUtime=166.44
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 57480 0 0 0 4690 11954 0 0 20 0 17 0 658265465 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 87417 57255 95 177 0 87239 0
[pid=32144/tid=32146] ppid=32142 vsize=349668 CPUtime=10.46
/proc/32144/task/32146/stat : 32146 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 2592 0 0 0 1038 8 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32144/tid=32147] ppid=32142 vsize=349668 CPUtime=10.26
/proc/32144/task/32147/stat : 32147 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 714 0 0 0 218 808 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32144/tid=32148] ppid=32142 vsize=349668 CPUtime=10.26
/proc/32144/task/32148/stat : 32148 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 593 0 0 0 220 806 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32144/tid=32149] ppid=32142 vsize=349668 CPUtime=10.28
/proc/32144/task/32149/stat : 32149 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 720 0 0 0 234 794 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32144/tid=32150] ppid=32142 vsize=349668 CPUtime=10.28
/proc/32144/task/32150/stat : 32150 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 666 0 0 0 220 808 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32144/tid=32151] ppid=32142 vsize=349668 CPUtime=10.28
/proc/32144/task/32151/stat : 32151 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 654 0 0 0 212 816 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32144/tid=32152] ppid=32142 vsize=349668 CPUtime=10.22
/proc/32144/task/32152/stat : 32152 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 690 0 0 0 246 776 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32144/tid=32153] ppid=32142 vsize=349668 CPUtime=10.26
/proc/32144/task/32153/stat : 32153 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 531 0 0 0 216 810 0 0 20 0 17 0 658265689 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32144/tid=32154] ppid=32142 vsize=349668 CPUtime=10.26
/proc/32144/task/32154/stat : 32154 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 715 0 0 0 250 776 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32144/tid=32155] ppid=32142 vsize=349668 CPUtime=10.08
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 754 0 0 0 246 762 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=349668 CPUtime=10.24
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 624 0 0 0 230 794 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134589526 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=349668 CPUtime=10.26
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 606 0 0 0 244 782 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=349668 CPUtime=10.26
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 841 0 0 0 222 804 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=349668 CPUtime=10.24
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 612 0 0 0 222 802 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134549950 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=349668 CPUtime=10.24
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 595 0 0 0 222 802 0 0 20 0 17 0 658265690 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=349668 CPUtime=10.24
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 546 0 0 0 240 784 0 0 20 0 17 0 658265691 358060032 57255 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 166.44
Current children cumulated vsize (KiB) 349668

[startup+25.5059 s]
/proc/loadavg: 8.12 6.87 4.72 17/204 32161
/proc/meminfo: memFree=18713020/36427776 swapFree=6476/273844
[pid=32144] ppid=32142 vsize=383060 CPUtime=367.35
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 66186 0 0 0 11338 25397 0 0 20 0 17 0 658265465 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 95765 65961 95 177 0 95587 0
[pid=32144/tid=32146] ppid=32142 vsize=383060 CPUtime=23.24
/proc/32144/task/32146/stat : 32146 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 4275 0 0 0 2314 10 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32144/tid=32147] ppid=32142 vsize=383060 CPUtime=22.84
/proc/32144/task/32147/stat : 32147 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1636 0 0 0 650 1634 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32144/tid=32148] ppid=32142 vsize=383060 CPUtime=22.82
/proc/32144/task/32148/stat : 32148 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1028 0 0 0 586 1696 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32144/tid=32149] ppid=32142 vsize=383060 CPUtime=22.84
/proc/32144/task/32149/stat : 32149 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1289 0 0 0 634 1650 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32144/tid=32150] ppid=32142 vsize=383060 CPUtime=22.86
/proc/32144/task/32150/stat : 32150 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1387 0 0 0 580 1706 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32144/tid=32151] ppid=32142 vsize=383060 CPUtime=22.86
/proc/32144/task/32151/stat : 32151 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1180 0 0 0 574 1712 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32144/tid=32152] ppid=32142 vsize=383060 CPUtime=22.8
/proc/32144/task/32152/stat : 32152 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1170 0 0 0 598 1682 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32144/tid=32153] ppid=32142 vsize=383060 CPUtime=22.8
/proc/32144/task/32153/stat : 32153 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 918 0 0 0 534 1746 0 0 20 0 17 0 658265689 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32144/tid=32154] ppid=32142 vsize=383060 CPUtime=22.82
/proc/32144/task/32154/stat : 32154 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1073 0 0 0 574 1708 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32144/tid=32155] ppid=32142 vsize=383060 CPUtime=22.36
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1135 0 0 0 580 1656 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=383060 CPUtime=22.78
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1069 0 0 0 630 1648 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134680499 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=383060 CPUtime=22.8
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 909 0 0 0 578 1702 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=383060 CPUtime=22.8
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 1609 0 0 0 560 1720 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=383060 CPUtime=22.8
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 849 0 0 0 572 1708 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=383060 CPUtime=22.8
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 773 0 0 0 576 1704 0 0 20 0 17 0 658265690 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=383060 CPUtime=22.76
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 859 0 0 0 586 1690 0 0 20 0 17 0 658265691 392253440 65961 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 367.35
Current children cumulated vsize (KiB) 383060

[startup+51.104 s]
/proc/loadavg: 10.81 7.61 5.02 17/204 32161
/proc/meminfo: memFree=18648064/36427776 swapFree=6476/338608
[pid=32144] ppid=32142 vsize=448112 CPUtime=768.96

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

[pid=32144/tid=32155] ppid=32142 vsize=1399200 CPUtime=325.48
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 15704 0 0 0 15315 17233 0 0 20 0 17 0 658265690 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=1399200 CPUtime=332
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 8936 0 0 0 16091 17109 0 0 20 0 17 0 658265690 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=1399200 CPUtime=332.15
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 18407 0 0 0 15796 17419 0 0 20 0 17 0 658265690 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=1399200 CPUtime=332.11
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 15554 0 0 0 15516 17695 0 0 20 0 17 0 658265690 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=1399200 CPUtime=332.28
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 9820 0 0 0 15871 17357 0 0 20 0 17 0 658265690 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=1399200 CPUtime=332.72
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 11900 0 0 0 16361 16911 0 0 20 0 17 0 658265690 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=1399200 CPUtime=333.16
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 13394 0 0 0 16305 17011 0 0 20 0 17 0 658265691 1432780800 305720 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 5324.15
Current children cumulated vsize (KiB) 1399200

[startup+402.303 s]
/proc/loadavg: 15.93 13.34 8.43 17/204 32166
/proc/meminfo: memFree=17475272/36427776 swapFree=6476/1508860
[pid=32144] ppid=32142 vsize=1698604 CPUtime=6263.05
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 375451 0 0 0 344403 281902 0 0 20 0 17 0 658265465 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 424651 375226 95 177 0 424473 0
[pid=32144/tid=32146] ppid=32142 vsize=1698604 CPUtime=400
/proc/32144/task/32146/stat : 32146 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 47460 0 0 0 39890 110 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32144/tid=32147] ppid=32142 vsize=1698604 CPUtime=393.18
/proc/32144/task/32147/stat : 32147 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 28992 0 0 0 22085 17233 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32144/tid=32148] ppid=32142 vsize=1698604 CPUtime=390.99
/proc/32144/task/32148/stat : 32148 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 10401 0 0 0 20160 18939 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32144/tid=32149] ppid=32142 vsize=1698604 CPUtime=393.38
/proc/32144/task/32149/stat : 32149 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 34984 0 0 0 21161 18177 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32144/tid=32150] ppid=32142 vsize=1698604 CPUtime=391.88
/proc/32144/task/32150/stat : 32150 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 11460 0 0 0 20057 19131 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32144/tid=32151] ppid=32142 vsize=1698604 CPUtime=392.59
/proc/32144/task/32151/stat : 32151 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 20350 0 0 0 19800 19459 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32144/tid=32152] ppid=32142 vsize=1698604 CPUtime=389.24
/proc/32144/task/32152/stat : 32152 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 16970 0 0 0 19773 19151 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32144/tid=32153] ppid=32142 vsize=1698604 CPUtime=389.9
/proc/32144/task/32153/stat : 32153 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 15987 0 0 0 20511 18479 0 0 20 0 17 0 658265689 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32144/tid=32154] ppid=32142 vsize=1698604 CPUtime=390.18
/proc/32144/task/32154/stat : 32154 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 20985 0 0 0 19550 19468 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32144/tid=32155] ppid=32142 vsize=1698604 CPUtime=383.15
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 21402 0 0 0 19504 18811 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=1698604 CPUtime=390.55
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 10694 0 0 0 20448 18607 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=1698604 CPUtime=390.93
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 25939 0 0 0 20136 18957 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=1698604 CPUtime=390.59
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 20090 0 0 0 19701 19358 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=1698604 CPUtime=390.69
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 12182 0 0 0 20012 19057 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=1698604 CPUtime=391.36
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 13831 0 0 0 20581 18555 0 0 20 0 17 0 658265690 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=1698604 CPUtime=392.11
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 18697 0 0 0 20826 18385 0 0 20 0 17 0 658265691 1739370496 375226 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 6263.05
Current children cumulated vsize (KiB) 1698604

[startup+462.305 s]
/proc/loadavg: 16.02 13.84 8.91 16/204 32166
/proc/meminfo: memFree=17185888/36427776 swapFree=6476/1797860
[pid=32144] ppid=32142 vsize=2005948 CPUtime=7202.85
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 447535 0 0 0 413527 306758 0 0 20 0 17 0 658265465 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 501487 447310 95 177 0 501309 0
[pid=32144/tid=32146] ppid=32142 vsize=2005948 CPUtime=460
/proc/32144/task/32146/stat : 32146 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 55582 0 0 0 45872 128 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134680364 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32144/tid=32147] ppid=32142 vsize=2005948 CPUtime=452.46
/proc/32144/task/32147/stat : 32147 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 32750 0 0 0 26807 18439 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32144/tid=32148] ppid=32142 vsize=2005948 CPUtime=449.44
/proc/32144/task/32148/stat : 32148 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 12575 0 0 0 24160 20784 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32144/tid=32149] ppid=32142 vsize=2005948 CPUtime=452.5
/proc/32144/task/32149/stat : 32149 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 43067 0 0 0 25486 19764 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32144/tid=32150] ppid=32142 vsize=2005948 CPUtime=450.74
/proc/32144/task/32150/stat : 32150 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 13631 0 0 0 24348 20726 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32144/tid=32151] ppid=32142 vsize=2005948 CPUtime=451.56
/proc/32144/task/32151/stat : 32151 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 25818 0 0 0 23953 21203 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=32144/tid=32152] ppid=32142 vsize=2005948 CPUtime=447.4
/proc/32144/task/32152/stat : 32152 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 19371 0 0 0 23718 21022 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32144/tid=32153] ppid=32142 vsize=2005948 CPUtime=448.35
/proc/32144/task/32153/stat : 32153 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 19815 0 0 0 24580 20255 0 0 20 0 17 0 658265689 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134680329 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32144/tid=32154] ppid=32142 vsize=2005948 CPUtime=448.67
/proc/32144/task/32154/stat : 32154 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 27843 0 0 0 23689 21178 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32144/tid=32155] ppid=32142 vsize=2005948 CPUtime=440.99
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 26677 0 0 0 23758 20341 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=2005948 CPUtime=449.1
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 12180 0 0 0 24729 20181 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=2005948 CPUtime=449.75
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 32340 0 0 0 24481 20494 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=2005948 CPUtime=449.23
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 24608 0 0 0 23826 21097 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=2005948 CPUtime=449.22
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 13999 0 0 0 24052 20870 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=2005948 CPUtime=449.99
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 16508 0 0 0 24685 20314 0 0 20 0 17 0 658265690 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=2005948 CPUtime=451.13
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 25744 0 0 0 25171 19942 0 0 20 0 17 0 658265691 2054090752 447310 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 7202.85
Current children cumulated vsize (KiB) 2005948



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+481.106 s]
/proc/loadavg: 16.01 13.98 9.06 17/204 32166
/proc/meminfo: memFree=17099676/36427776 swapFree=6476/1884164
[pid=32144] ppid=32142 vsize=2096484 CPUtime=7497.75
/proc/32144/stat : 32144 (ttsth-5-0) S 32142 32144 15497 0 -1 4202496 468693 0 0 0 437486 312289 0 0 20 0 17 0 658265465 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 524121 468468 95 177 0 523943 0
[pid=32144/tid=32146] ppid=32142 vsize=2096484 CPUtime=478.81
/proc/32144/task/32146/stat : 32146 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 58349 0 0 0 47747 134 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=32144/tid=32147] ppid=32142 vsize=2096484 CPUtime=471.08
/proc/32144/task/32147/stat : 32147 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 34127 0 0 0 28385 18723 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=32144/tid=32148] ppid=32142 vsize=2096484 CPUtime=467.79
/proc/32144/task/32148/stat : 32148 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 13171 0 0 0 25589 21190 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=32144/tid=32149] ppid=32142 vsize=2096484 CPUtime=470.93
/proc/32144/task/32149/stat : 32149 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 44293 0 0 0 26894 20199 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=32144/tid=32150] ppid=32142 vsize=2096484 CPUtime=469.16
/proc/32144/task/32150/stat : 32150 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 14420 0 0 0 25882 21034 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134589526 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=32144/tid=32151] ppid=32142 vsize=2096484 CPUtime=470.11
/proc/32144/task/32151/stat : 32151 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 27204 0 0 0 25481 21530 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134680503 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=32144/tid=32152] ppid=32142 vsize=2096484 CPUtime=465.77
/proc/32144/task/32152/stat : 32152 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 20506 0 0 0 25175 21402 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=32144/tid=32153] ppid=32142 vsize=2096484 CPUtime=466.74
/proc/32144/task/32153/stat : 32153 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 21926 0 0 0 26014 20660 0 0 20 0 17 0 658265689 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=32144/tid=32154] ppid=32142 vsize=2096484 CPUtime=467.07
/proc/32144/task/32154/stat : 32154 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 28570 0 0 0 25193 21514 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=32144/tid=32155] ppid=32142 vsize=2096484 CPUtime=459.12
/proc/32144/task/32155/stat : 32155 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 28669 0 0 0 25245 20667 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=32144/tid=32156] ppid=32142 vsize=2096484 CPUtime=467.47
/proc/32144/task/32156/stat : 32156 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 12610 0 0 0 26182 20565 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=32144/tid=32157] ppid=32142 vsize=2096484 CPUtime=468.18
/proc/32144/task/32157/stat : 32157 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 34334 0 0 0 25999 20819 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=32144/tid=32158] ppid=32142 vsize=2096484 CPUtime=467.61
/proc/32144/task/32158/stat : 32158 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 26016 0 0 0 25198 21563 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=32144/tid=32159] ppid=32142 vsize=2096484 CPUtime=467.58
/proc/32144/task/32159/stat : 32159 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 14815 0 0 0 25504 21254 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=32144/tid=32160] ppid=32142 vsize=2096484 CPUtime=468.36
/proc/32144/task/32160/stat : 32160 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 17100 0 0 0 26152 20684 0 0 20 0 17 0 658265690 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=2096484 CPUtime=469.63
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4202560 27556 0 0 0 26632 20331 0 0 20 0 17 0 658265691 2146799616 468468 18446744073709551615 134512640 135237372 4289933840 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 7497.75
Current children cumulated vsize (KiB) 2096484

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

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

[startup+481.226 s]
/proc/loadavg: 16.01 13.98 9.06 17/204 32166
/proc/meminfo: memFree=17099676/36427776 swapFree=6476/1884164
[pid=32144] ppid=32142 vsize=0 CPUtime=7497.98
/proc/32144/stat : 32144 (ttsth-5-0) Z 32142 32144 15497 0 -1 4203532 468697 0 0 0 437495 312303 0 0 20 0 2 0 658265465 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 0 0 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=0 CPUtime=469.74
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4203588 27556 0 0 0 26632 20342 0 0 20 0 2 0 658265691 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 7497.98
Current children cumulated vsize (KiB) 0

[startup+481.306 s]
/proc/loadavg: 16.01 13.98 9.06 17/204 32166
/proc/meminfo: memFree=17099676/36427776 swapFree=6476/1884164
[pid=32144] ppid=32142 vsize=0 CPUtime=7498.06
/proc/32144/stat : 32144 (ttsth-5-0) Z 32142 32144 15497 0 -1 4203532 468697 0 0 0 437495 312311 0 0 20 0 2 0 658265465 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/32144/statm: 0 0 0 0 0 0 0
[pid=32144/tid=32161] ppid=32142 vsize=0 CPUtime=469.82
/proc/32144/task/32161/stat : 32161 (ttsth-5-0) R 32142 32144 15497 0 -1 4203588 27556 0 0 0 26632 20350 0 0 20 0 2 0 658265691 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 7498.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 481.333
CPU time (s): 7498.1
CPU user time (s): 4374.96
CPU system time (s): 3123.15
CPU usage (%): 1557.78
Max. virtual memory (cumulated for all children) (KiB): 2096484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4374.96
system time used= 3123.15
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468697
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= 979110
involuntary context switches= 18096

runsolver used 2.30814 second user time and 7.51647 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 16:26:31
IDJOB=1781550
IDBENCH=71771
IDSOLVER=634
FILE ID=xenhost3-49/1781550-1244989591
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= 7f47eb2c5986b40772da3e38cf0759b1
RANDOM SEED= 794265475

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:      18971660 kB
Buffers:        534584 kB
Cached:       14119828 kB
SwapCached:          0 kB
Active:        4183196 kB
Inactive:     10481232 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:       10724 kB
Mapped:           5156 kB
Slab:           735188 kB
SReclaimable:   708404 kB
SUnreclaim:      26784 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    36392 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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