Trace number 1780785

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) 2369.44 149.937

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_10_UNKNOWN.cnf
MD5SUMe868383f091c36fa9594c670095c9824
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1584
Number of clauses91646
Sum of the clauses size272553
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22569
Number of clauses of size 389054
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.00/0.10	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780785-1244978276.cnf 
0.00/0.10	c Using SATTIMEOUT of 10000
0.00/0.10	c Using SATRAM of 2047
0.00/0.10	c Size of subset node = 16
0.00/0.10	c Variables = 1584
0.00/0.10	c Clauses = 91646
0.00/0.10	c Literals = 272553
0.00/0.10	c Reduced size:
0.00/0.10	c Variables = 1584
0.00/0.10	c Clauses = 91646
0.00/0.10	c Literals = 272553
0.00/0.10	c a2
0.20/0.26	c a1
0.48/0.57	c Independent sub-problems = 1
0.48/0.57	c Sub-problem with 1584 variables and 91646 clauses
0.48/0.57	c using permutation method 4
0.48/0.57	c count = 1
0.48/0.57	c Ordering finished 0.540 seconds
0.48/0.57	c mapped 0.560 seconds
0.48/0.57	c permuted 0.560 seconds
0.48/0.57	c about to sort
0.48/0.59	c sorted
0.88/0.98	c clauses now 91646
0.88/0.98	c init finished 0.610 seconds
0.88/0.98	c tree built 0.970 seconds
0.88/0.98	c 
0.88/0.98	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.88/0.98	c ---------------------------------|----------------------------------|------------------------------------------------------
0.88/0.98	c ................................ | ..........                       |                        1.0           0.0             
0.88/0.99	c ................................ | ..........                     1 |                        1.0           1.0             
0.88/0.99	c ................................ | ..........                     2 |                        1.0           2.0             
0.88/0.99	c ................................ | ..........                     3 |                        1.0           3.1             
0.88/0.99	c ................................ | ..........                     4 |                        1.0           4.1             
0.88/0.99	c ................................ | ..........                     5 |                        1.0           5.1             
1.19/1.07	c ................................ | ..........                  1000 | 7                      1.6         613.5         3963
229.41/15.56	c ................................ | ..........                265000 | 9422                 200.0        1324.7     15039026
435.72/28.53	c ................................ | ..........                428000 | 15812                400.1        1069.7     27111298
639.36/41.35	c ................................ | ..........                604000 | 22722                601.3        1004.5     37781007
840.18/53.97	c ................................ | ..........                752000 | 30607                800.4         939.6     48112937
1042.38/66.61	c ................................ | *.........                874000 | 37611               1000.2         873.9     58100212
1243.55/79.24	c ................................ | *.........                975000 | 42642               1200.5         812.1     66673183
1445.94/91.93	c ................................ | *.........               1056000 | 46440               1401.8         753.3     74639491
1647.22/104.57	c ................................ | *.........               1136000 | 50336               1602.9         708.7     82370782
1846.56/117.09	c ................................ | *.........               1212000 | 54284               1802.4         672.4     90642434
2047.66/129.60	c ................................ | **........               1278000 | 57108               2001.9         638.4     98253828

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-1780785-1244978276/watcher-1780785-1244978276 -o /tmp/evaluation-result-1780785-1244978276/solver-1780785-1244978276 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780785-1244978276.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: 14.66 11.42 5.88 2/184 29253
/proc/meminfo: memFree=18990172/36427776 swapFree=5092/8436
[pid=29253] ppid=29251 vsize=1540 CPUtime=0
/proc/29253/stat : 29253 (ttsth-5-0) R 29251 29253 15497 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 657133951 1576960 231 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 385 231 75 177 0 207 0

[startup+0.104995 s]
/proc/loadavg: 14.66 11.42 5.88 2/184 29253
/proc/meminfo: memFree=18990172/36427776 swapFree=5092/8436
[pid=29253] ppid=29251 vsize=7052 CPUtime=0.1
/proc/29253/stat : 29253 (ttsth-5-0) R 29251 29253 15497 0 -1 4202496 1662 0 0 0 10 0 0 0 20 0 1 0 657133951 7221248 1619 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 1796 1629 76 177 0 1618 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7052

[startup+0.200994 s]
/proc/loadavg: 14.66 11.42 5.88 2/184 29253
/proc/meminfo: memFree=18990172/36427776 swapFree=5092/8436
[pid=29253] ppid=29251 vsize=13276 CPUtime=0.2
/proc/29253/stat : 29253 (ttsth-5-0) R 29251 29253 15497 0 -1 4202496 3144 0 0 0 18 2 0 0 20 0 1 0 657133951 13594624 3100 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134519996 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 3319 3100 76 177 0 3141 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13276

[startup+0.301012 s]
/proc/loadavg: 14.66 11.42 5.88 2/184 29253
/proc/meminfo: memFree=18990172/36427776 swapFree=5092/8436
[pid=29253] ppid=29251 vsize=9284 CPUtime=0.3
/proc/29253/stat : 29253 (ttsth-5-0) R 29251 29253 15497 0 -1 4202496 3325 0 0 0 28 2 0 0 20 0 1 0 657133951 9506816 2190 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134599632 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 2321 2190 77 177 0 2143 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9284

[startup+0.701036 s]
/proc/loadavg: 14.66 11.42 5.88 2/184 29253
/proc/meminfo: memFree=18990172/36427776 swapFree=5092/8436
[pid=29253] ppid=29251 vsize=30392 CPUtime=0.68
/proc/29253/stat : 29253 (ttsth-5-0) R 29251 29253 15497 0 -1 4202496 8632 0 0 0 66 2 0 0 20 0 1 0 657133951 31121408 7407 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134732614 0 0 1 0 0 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 7598 7407 90 177 0 7420 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 30392

[startup+1.5053 s]
/proc/loadavg: 14.66 11.42 5.88 17/201 29270
/proc/meminfo: memFree=18947088/36427776 swapFree=4672/50184
[pid=29253] ppid=29251 vsize=182544 CPUtime=8.61
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 13637 0 0 0 322 539 0 0 20 0 17 0 657133951 186925056 12322 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 45636 12323 95 177 0 45458 0
[pid=29253/tid=29255] ppid=29251 vsize=182544 CPUtime=0.48
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 187 0 0 0 40 8 0 0 20 0 17 0 657134050 186925056 12323 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 102 0 0 0 12 34 0 0 20 0 17 0 657134050 186925056 12324 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 104 0 0 0 10 36 0 0 20 0 17 0 657134050 186925056 12324 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 135 0 0 0 8 38 0 0 20 0 17 0 657134050 186925056 12324 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=182544 CPUtime=0.48
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 134 0 0 0 12 36 0 0 20 0 17 0 657134050 186925056 12324 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 81 0 0 0 10 36 0 0 20 0 17 0 657134050 186925056 12324 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=182544 CPUtime=0.48
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 152 0 0 0 14 34 0 0 20 0 17 0 657134050 186925056 12326 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 89 0 0 0 10 36 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=182544 CPUtime=0.48
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 114 0 0 0 10 38 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134591086 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=182544 CPUtime=0.48
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 140 0 0 0 20 28 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 112 0 0 0 10 36 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 117 0 0 0 16 30 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 88 0 0 0 14 32 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 75 0 0 0 10 36 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=182544 CPUtime=0.48
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 90 0 0 0 12 36 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=182544 CPUtime=0.46
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 169 0 0 0 14 32 0 0 20 0 17 0 657134050 186925056 12327 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 182544

[startup+3.10528 s]
/proc/loadavg: 14.66 11.42 5.88 17/201 29270
/proc/meminfo: memFree=18933528/36427776 swapFree=4692/65576
[pid=29253] ppid=29251 vsize=209736 CPUtime=33.53
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 20130 0 0 0 1563 1790 0 0 20 0 17 0 657133951 214769664 18815 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 52434 18817 95 177 0 52256 0
[pid=29253/tid=29255] ppid=29251 vsize=209736 CPUtime=2.08
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 813 0 0 0 200 8 0 0 20 0 17 0 657134050 214769664 18817 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134749345 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 338 0 0 0 82 120 0 0 20 0 17 0 657134050 214769664 18817 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=209736 CPUtime=2
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 479 0 0 0 70 130 0 0 20 0 17 0 657134050 214769664 18818 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 505 0 0 0 76 126 0 0 20 0 17 0 657134050 214769664 18818 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 592 0 0 0 86 116 0 0 20 0 17 0 657134050 214769664 18818 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 436 0 0 0 76 126 0 0 20 0 17 0 657134050 214769664 18818 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=209736 CPUtime=2.04
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 582 0 0 0 98 106 0 0 20 0 17 0 657134050 214769664 18819 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134549969 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 452 0 0 0 82 120 0 0 20 0 17 0 657134050 214769664 18819 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 397 0 0 0 86 116 0 0 20 0 17 0 657134050 214769664 18820 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=209736 CPUtime=2.04
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 344 0 0 0 88 116 0 0 20 0 17 0 657134050 214769664 18820 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 646 0 0 0 90 112 0 0 20 0 17 0 657134050 214769664 18820 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 428 0 0 0 78 124 0 0 20 0 17 0 657134050 214769664 18820 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=209736 CPUtime=2
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 508 0 0 0 88 112 0 0 20 0 17 0 657134050 214769664 18820 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134680273 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 383 0 0 0 62 140 0 0 20 0 17 0 657134050 214769664 18822 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=209736 CPUtime=2.02
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 356 0 0 0 90 112 0 0 20 0 17 0 657134050 214769664 18823 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=209736 CPUtime=2.04
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1123 0 0 0 110 94 0 0 20 0 17 0 657134050 214769664 18823 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 33.53
Current children cumulated vsize (KiB) 209736

[startup+6.30607 s]
/proc/loadavg: 14.77 11.49 5.94 17/201 29270
/proc/meminfo: memFree=18876792/36427776 swapFree=4692/124464
[pid=29253] ppid=29251 vsize=268940 CPUtime=83.7
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 33975 0 0 0 4758 3612 0 0 20 0 17 0 657133951 275394560 32660 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 67235 32661 95 177 0 67057 0
[pid=29253/tid=29255] ppid=29251 vsize=268940 CPUtime=5.28
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1723 0 0 0 518 10 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=268940 CPUtime=5.14
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1116 0 0 0 278 236 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=268940 CPUtime=5.1
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1297 0 0 0 240 270 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=268940 CPUtime=5.16
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1304 0 0 0 268 248 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=268940 CPUtime=5.16
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1759 0 0 0 296 220 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=268940 CPUtime=5.16
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1319 0 0 0 270 246 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=268940 CPUtime=5.18
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1253 0 0 0 298 220 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=268940 CPUtime=5.16
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1346 0 0 0 260 256 0 0 20 0 17 0 657134050 275394560 32661 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=268940 CPUtime=5.14
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1169 0 0 0 266 248 0 0 20 0 17 0 657134050 275394560 32662 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=268940 CPUtime=5.18
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 881 0 0 0 272 246 0 0 20 0 17 0 657134050 275394560 32662 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=268940 CPUtime=5.18
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1513 0 0 0 302 216 0 0 20 0 17 0 657134050 275394560 32663 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=268940 CPUtime=5.14
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1249 0 0 0 260 254 0 0 20 0 17 0 657134050 275394560 32663 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=268940 CPUtime=5.08
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 1496 0 0 0 274 234 0 0 20 0 17 0 657134050 275394560 32663 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562341 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=268940 CPUtime=5.14
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 918 0 0 0 230 284 0 0 20 0 17 0 657134050 275394560 32664 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=268940 CPUtime=5.16
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 958 0 0 0 278 238 0 0 20 0 17 0 657134050 275394560 32664 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=268940 CPUtime=5.22
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 2924 0 0 0 348 174 0 0 20 0 17 0 657134050 275394560 32664 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 83.7
Current children cumulated vsize (KiB) 268940

[startup+12.7042 s]
/proc/loadavg: 14.87 11.57 5.99 17/201 29270
/proc/meminfo: memFree=18757624/36427776 swapFree=4692/241580
[pid=29253] ppid=29251 vsize=391872 CPUtime=184.81
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 62725 0 0 0 13260 5221 0 0 20 0 17 0 657133951 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 97968 61410 95 177 0 97790 0
[pid=29253/tid=29255] ppid=29251 vsize=391872 CPUtime=11.68
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 2989 0 0 0 1156 12 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=391872 CPUtime=11.44
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 2535 0 0 0 796 348 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=391872 CPUtime=11.38
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 3591 0 0 0 756 382 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=391872 CPUtime=11.48
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) S 29251 29253 15497 0 -1 4202560 3062 0 0 0 782 366 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=391872 CPUtime=11.5
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 3812 0 0 0 834 316 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=391872 CPUtime=11.5
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) S 29251 29253 15497 0 -1 4202560 3103 0 0 0 808 342 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=391872 CPUtime=11.5
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 2765 0 0 0 828 322 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=391872 CPUtime=11.48
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) S 29251 29253 15497 0 -1 4202560 3717 0 0 0 774 374 0 0 20 0 17 0 657134050 401276928 61410 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0

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

/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 5677 0 0 0 1966 452 0 0 20 0 17 0 657134050 632156160 114176 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=617340 CPUtime=24.22
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 7359 0 0 0 2032 390 0 0 20 0 17 0 657134050 632156160 114176 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=617340 CPUtime=24.24
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 5956 0 0 0 2016 408 0 0 20 0 17 0 657134050 632156160 114176 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=617340 CPUtime=24.22
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 5914 0 0 0 2012 410 0 0 20 0 17 0 657134050 632156160 114177 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=617340 CPUtime=24.2
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 7462 0 0 0 1970 450 0 0 20 0 17 0 657134050 632156160 114177 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=617340 CPUtime=24.18
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 6681 0 0 0 1960 458 0 0 20 0 17 0 657134050 632156160 114177 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=617340 CPUtime=24.22
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 5998 0 0 0 1988 434 0 0 20 0 17 0 657134050 632156160 114177 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=617340 CPUtime=24.24
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 4774 0 0 0 1998 426 0 0 20 0 17 0 657134050 632156160 114177 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=617340 CPUtime=24.12
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 6042 0 0 0 1946 466 0 0 20 0 17 0 657134050 632156160 114178 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=617340 CPUtime=23.72
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 8188 0 0 0 1924 448 0 0 20 0 17 0 657134050 632156160 114178 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=617340 CPUtime=24.14
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 5549 0 0 0 1908 506 0 0 20 0 17 0 657134050 632156160 114178 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=617340 CPUtime=24.2
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 5659 0 0 0 1980 440 0 0 20 0 17 0 657134050 632156160 114178 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=617340 CPUtime=24.34
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 10460 0 0 0 2120 314 0 0 20 0 17 0 657134050 632156160 114178 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 388.03
Current children cumulated vsize (KiB) 617340

[startup+51.1058 s]
/proc/loadavg: 15.21 12.07 6.40 17/201 29270
/proc/meminfo: memFree=18192892/36427776 swapFree=4692/805380
[pid=29253] ppid=29251 vsize=990344 CPUtime=795.43
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 202470 0 0 0 71789 7754 0 0 20 0 17 0 657133951 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 247586 201155 95 177 0 247408 0
[pid=29253/tid=29255] ppid=29251 vsize=990344 CPUtime=50.07
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 10159 0 0 0 4981 26 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=990344 CPUtime=49.6
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 9417 0 0 0 4452 508 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=990344 CPUtime=49.52
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 14102 0 0 0 4368 584 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=990344 CPUtime=49.7
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 9253 0 0 0 4448 522 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=990344 CPUtime=49.69
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 14032 0 0 0 4497 472 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=990344 CPUtime=49.76
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 9812 0 0 0 4504 472 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=990344 CPUtime=49.72
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 14133 0 0 0 4480 492 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=990344 CPUtime=49.67
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 13854 0 0 0 4433 534 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=990344 CPUtime=49.66
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 12456 0 0 0 4442 524 0 0 20 0 17 0 657134050 1014112256 201155 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=990344 CPUtime=49.72
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 10908 0 0 0 4448 524 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=990344 CPUtime=49.73
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 7793 0 0 0 4467 506 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134588270 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=990344 CPUtime=49.59
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 11789 0 0 0 4389 570 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=990344 CPUtime=48.73
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 15304 0 0 0 4335 538 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134551012 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=990344 CPUtime=49.62
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 9551 0 0 0 4372 590 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=990344 CPUtime=49.7
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 10588 0 0 0 4460 510 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=990344 CPUtime=49.88
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 17568 0 0 0 4616 372 0 0 20 0 17 0 657134050 1014112256 201156 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 795.43
Current children cumulated vsize (KiB) 990344

[startup+102.305 s]
/proc/loadavg: 15.66 12.68 6.90 17/201 29270
/proc/meminfo: memFree=17622240/36427776 swapFree=4692/1375932
[pid=29253] ppid=29251 vsize=1594512 CPUtime=1612.11
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 343590 0 0 0 152157 9054 0 0 20 0 17 0 657133951 1632780288 342275 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 398628 342275 95 177 0 398450 0
[pid=29253/tid=29255] ppid=29251 vsize=1594512 CPUtime=101.26
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 21108 0 0 0 10080 46 0 0 20 0 17 0 657134050 1632780288 342276 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=1594512 CPUtime=100.69
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 16615 0 0 0 9479 590 0 0 20 0 17 0 657134050 1632780288 342276 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=1594512 CPUtime=100.62
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 25259 0 0 0 9396 666 0 0 20 0 17 0 657134050 1632780288 342276 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=1594512 CPUtime=100.82
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 15169 0 0 0 9502 580 0 0 20 0 17 0 657134050 1632780288 342276 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=1594512 CPUtime=100.76
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 23083 0 0 0 9492 584 0 0 20 0 17 0 657134050 1632780288 342276 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=1594512 CPUtime=100.85
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 18817 0 0 0 9519 566 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=1594512 CPUtime=100.82
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 25051 0 0 0 9512 570 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=1594512 CPUtime=100.8
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 20005 0 0 0 9466 614 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=1594512 CPUtime=100.73
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 21746 0 0 0 9453 620 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=1594512 CPUtime=100.81
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 19000 0 0 0 9463 618 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=1594512 CPUtime=100.85
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 17039 0 0 0 9509 576 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=1594512 CPUtime=100.63
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 20363 0 0 0 9381 682 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=1594512 CPUtime=98.83
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 26117 0 0 0 9257 626 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134749351 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=1594512 CPUtime=100.72
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 15338 0 0 0 9412 660 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=1594512 CPUtime=100.82
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 16829 0 0 0 9506 576 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=1594512 CPUtime=100.97
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 30301 0 0 0 9629 468 0 0 20 0 17 0 657134050 1632780288 342277 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1612.11
Current children cumulated vsize (KiB) 1594512



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+149.718 s]
/proc/loadavg: 15.85 13.19 7.37 18/201 29275
/proc/meminfo: memFree=17153316/36427776 swapFree=4692/1843764
[pid=29253] ppid=29251 vsize=2096160 CPUtime=2368.99
/proc/29253/stat : 29253 (ttsth-5-0) S 29251 29253 15497 0 -1 4202496 460439 0 0 0 227219 9680 0 0 20 0 17 0 657133951 2146467840 459124 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 524040 459124 95 177 0 523862 0
[pid=29253/tid=29255] ppid=29251 vsize=2096160 CPUtime=148.66
/proc/29253/task/29255/stat : 29255 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 27907 0 0 0 14800 66 0 0 20 0 17 0 657134050 2146467840 459125 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29253/tid=29256] ppid=29251 vsize=2096160 CPUtime=148.03
/proc/29253/task/29256/stat : 29256 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 22424 0 0 0 14177 626 0 0 20 0 17 0 657134050 2146467840 459125 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29253/tid=29257] ppid=29251 vsize=2096160 CPUtime=147.97
/proc/29253/task/29257/stat : 29257 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 34503 0 0 0 14087 710 0 0 20 0 17 0 657134050 2146467840 459125 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562373 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29253/tid=29258] ppid=29251 vsize=2096160 CPUtime=148.19
/proc/29253/task/29258/stat : 29258 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 19081 0 0 0 14209 610 0 0 20 0 17 0 657134050 2146467840 459125 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29253/tid=29259] ppid=29251 vsize=2096160 CPUtime=148.09
/proc/29253/task/29259/stat : 29259 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 30928 0 0 0 14179 630 0 0 20 0 17 0 657134050 2146467840 459125 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29253/tid=29260] ppid=29251 vsize=2096160 CPUtime=148.2
/proc/29253/task/29260/stat : 29260 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 24137 0 0 0 14218 602 0 0 20 0 17 0 657134050 2146467840 459125 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29253/tid=29261] ppid=29251 vsize=2096160 CPUtime=148.19
/proc/29253/task/29261/stat : 29261 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 31885 0 0 0 14205 614 0 0 20 0 17 0 657134050 2146467840 459126 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29253/tid=29262] ppid=29251 vsize=2096160 CPUtime=148.19
/proc/29253/task/29262/stat : 29262 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 23825 0 0 0 14179 640 0 0 20 0 17 0 657134050 2146467840 459126 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29253/tid=29263] ppid=29251 vsize=2096160 CPUtime=148.06
/proc/29253/task/29263/stat : 29263 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 29595 0 0 0 14140 666 0 0 20 0 17 0 657134050 2146467840 459126 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29253/tid=29264] ppid=29251 vsize=2096160 CPUtime=148.18
/proc/29253/task/29264/stat : 29264 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 35431 0 0 0 14142 676 0 0 20 0 17 0 657134050 2146467840 459126 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29253/tid=29265] ppid=29251 vsize=2096160 CPUtime=148.23
/proc/29253/task/29265/stat : 29265 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 23249 0 0 0 14223 600 0 0 20 0 17 0 657134050 2146467840 459126 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29253/tid=29266] ppid=29251 vsize=2096160 CPUtime=147.96
/proc/29253/task/29266/stat : 29266 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 29873 0 0 0 14054 742 0 0 20 0 17 0 657134050 2146467840 459126 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29253/tid=29267] ppid=29251 vsize=2096160 CPUtime=145.26
/proc/29253/task/29267/stat : 29267 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 36072 0 0 0 13852 674 0 0 20 0 17 0 657134050 2146467840 459127 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29253/tid=29268] ppid=29251 vsize=2096160 CPUtime=148.11
/proc/29253/task/29268/stat : 29268 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 20029 0 0 0 14127 684 0 0 20 0 17 0 657134050 2146467840 459127 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29253/tid=29269] ppid=29251 vsize=2096160 CPUtime=148.19
/proc/29253/task/29269/stat : 29269 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 22430 0 0 0 14199 620 0 0 20 0 17 0 657134050 2146467840 459127 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=2096160 CPUtime=148.33
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4202560 37320 0 0 0 14323 510 0 0 20 0 17 0 657134050 2146467840 459127 18446744073709551615 134512640 135237372 4290802400 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2368.99
Current children cumulated vsize (KiB) 2096160

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

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

[startup+149.901 s]
/proc/loadavg: 15.85 13.19 7.37 18/201 29275
/proc/meminfo: memFree=17153316/36427776 swapFree=4692/1843764
[pid=29253] ppid=29251 vsize=0 CPUtime=2369.38
/proc/29253/stat : 29253 (ttsth-5-0) Z 29251 29253 15497 0 -1 4203532 460479 0 0 0 227241 9697 0 0 20 0 2 0 657133951 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 14 0 0 0 0 0
/proc/29253/statm: 0 0 0 0 0 0 0
[pid=29253/tid=29270] ppid=29251 vsize=0 CPUtime=148.5
/proc/29253/task/29270/stat : 29270 (ttsth-5-0) R 29251 29253 15497 0 -1 4203588 37326 0 0 0 14324 526 0 0 20 0 2 0 657134050 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 2369.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 149.937
CPU time (s): 2369.44
CPU user time (s): 2272.42
CPU system time (s): 97.0141
CPU usage (%): 1580.29
Max. virtual memory (cumulated for all children) (KiB): 2096160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2272.42
system time used= 97.0141
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460479
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= 87643
involuntary context switches= 5726

runsolver used 0.584036 second user time and 2.35615 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:17:56
IDJOB=1780785
IDBENCH=71066
IDSOLVER=634
FILE ID=xenhost3-49/1780785-1244978276
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= e868383f091c36fa9594c670095c9824
RANDOM SEED= 2130919581

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:      18990620 kB
Buffers:        524764 kB
Cached:       14119060 kB
SwapCached:          0 kB
Active:        4171460 kB
Inactive:     10481484 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:        8436 kB
Mapped:           4428 kB
Slab:           733592 kB
SReclaimable:   706676 kB
SUnreclaim:      26916 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29496 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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