Trace number 1780875

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) 1746.33 111.62

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_14_SAT.cnf
MD5SUM0678a0ef5b4345961915559db9bf689b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.23
Satisfiable
(Un)Satisfiability was proved
Number of variables2220
Number of clauses148488
Sum of the clauses size442317
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23423
Number of clauses of size 3145042
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.10/0.17	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780875-1244978991.cnf 
0.10/0.17	c Using SATTIMEOUT of 10000
0.10/0.17	c Using SATRAM of 2047
0.10/0.17	c Size of subset node = 16
0.10/0.17	c Variables = 2220
0.10/0.17	c Clauses = 148488
0.10/0.17	c Literals = 442317
0.10/0.17	c Reduced size:
0.10/0.17	c Variables = 2220
0.10/0.17	c Clauses = 148488
0.10/0.17	c Literals = 442317
0.10/0.17	c a2
0.40/0.44	c a1
0.90/0.97	c Independent sub-problems = 1
0.90/0.97	c Sub-problem with 2220 variables and 148488 clauses
0.90/0.97	c using permutation method 4
0.90/0.97	c count = 1
0.90/0.97	c Ordering finished 0.920 seconds
0.90/0.97	c mapped 0.970 seconds
0.90/0.97	c permuted 0.970 seconds
0.90/0.97	c about to sort
1.00/1.01	c sorted
1.60/1.69	c clauses now 148488
1.60/1.69	c init finished 1.050 seconds
1.60/1.69	c tree built 1.680 seconds
1.60/1.69	c 
1.60/1.69	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.60/1.69	c ---------------------------------|----------------------------------|------------------------------------------------------
1.60/1.69	c ................................ | ..........                       |                        1.7           0.0             
1.60/1.69	c ................................ | ..........                     1 |                        1.7           0.6             
1.60/1.69	c ................................ | ..........                     2 |                        1.7           1.2             
1.60/1.69	c ................................ | ..........                     3 |                        1.7           1.8             
1.60/1.69	c ................................ | ..........                     4 |                        1.7           2.4             
1.60/1.69	c ................................ | ..........                     5 |                        1.7           3.0             
3.30/1.84	c ................................ | ..........                  1000 | 2                      2.9         341.3         7087
228.30/16.15	c ................................ | ..........                212000 | 6439                 200.8        1055.5     15702822
434.73/29.13	c ................................ | ..........                328000 | 11581                400.4         819.3     32087268
638.51/41.97	c ................................ | ..........                427000 | 16413                601.7         709.7     46747711
840.59/54.66	c ................................ | ..........                517000 | 20382                801.5         645.0     59381538
1041.52/67.26	c ................................ | *.........                613000 | 24167               1000.6         612.7     71048071
1243.80/79.96	c ................................ | *.........                710000 | 28257               1201.9         590.7     81804993
1444.60/92.58	c ................................ | *.........                782000 | 31717               1400.6         558.3     92887060
1648.54/105.38	c ................................ | *.........                857000 | 35370               1603.2         534.6    103673189

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-1780875-1244978991/watcher-1780875-1244978991 -o /tmp/evaluation-result-1780875-1244978991/solver-1780875-1244978991 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780875-1244978991.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.52 14.70 10.80 2/184 29593
/proc/meminfo: memFree=18989512/36427776 swapFree=4488/8664
[pid=29593] ppid=29591 vsize=1540 CPUtime=0
/proc/29593/stat : 29593 (ttsth-5-0) R 29591 29593 15497 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 657205501 1576960 230 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 385 230 75 177 0 207 0

[startup+0.107179 s]
/proc/loadavg: 14.52 14.70 10.80 2/184 29593
/proc/meminfo: memFree=18989512/36427776 swapFree=4488/8664
[pid=29593] ppid=29591 vsize=7628 CPUtime=0.1
/proc/29593/stat : 29593 (ttsth-5-0) R 29591 29593 15497 0 -1 4202496 1766 0 0 0 10 0 0 0 20 0 1 0 657205501 7811072 1722 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134639534 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 1907 1724 75 177 0 1729 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7628

[startup+0.203228 s]
/proc/loadavg: 14.52 14.70 10.80 2/184 29593
/proc/meminfo: memFree=18989512/36427776 swapFree=4488/8664
[pid=29593] ppid=29591 vsize=19324 CPUtime=0.2
/proc/29593/stat : 29593 (ttsth-5-0) R 29591 29593 15497 0 -1 4202496 4577 0 0 0 18 2 0 0 20 0 1 0 657205501 19787776 4534 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134554919 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 4831 4542 76 177 0 4653 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 19324

[startup+0.303198 s]
/proc/loadavg: 14.52 14.70 10.80 2/184 29593
/proc/meminfo: memFree=18989512/36427776 swapFree=4488/8664
[pid=29593] ppid=29591 vsize=20316 CPUtime=0.3
/proc/29593/stat : 29593 (ttsth-5-0) R 29591 29593 15497 0 -1 4202496 4867 0 0 0 28 2 0 0 20 0 1 0 657205501 20803584 4822 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134749321 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 5079 4822 76 177 0 4901 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 20316

[startup+0.703244 s]
/proc/loadavg: 14.52 14.70 10.80 2/184 29593
/proc/meminfo: memFree=18989512/36427776 swapFree=4488/8664
[pid=29593] ppid=29591 vsize=21812 CPUtime=0.7
/proc/29593/stat : 29593 (ttsth-5-0) R 29591 29593 15497 0 -1 4202496 5626 0 0 0 66 4 0 0 20 0 1 0 657205501 22335488 5289 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 5453 5289 77 177 0 5275 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 21812

[startup+1.50333 s]
/proc/loadavg: 14.52 14.70 10.80 2/185 29594
/proc/meminfo: memFree=18949184/36427776 swapFree=4624/48312
[pid=29593] ppid=29591 vsize=52252 CPUtime=1.5
/proc/29593/stat : 29593 (ttsth-5-0) R 29591 29593 15497 0 -1 4202496 13407 0 0 0 144 6 0 0 20 0 1 0 657205501 53506048 12891 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134732614 0 0 1 0 0 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 13063 12892 90 177 0 12885 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 52252

[startup+3.10499 s]
/proc/loadavg: 14.52 14.70 10.80 17/201 29610
/proc/meminfo: memFree=18922088/36427776 swapFree=4692/75664
[pid=29593] ppid=29591 vsize=212888 CPUtime=23.44
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 20767 0 0 0 1114 1230 0 0 20 0 17 0 657205501 217997312 20040 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 53222 20042 95 177 0 53044 0
[pid=29593/tid=29595] ppid=29591 vsize=212888 CPUtime=1.46
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 481 0 0 0 122 24 0 0 20 0 17 0 657205670 217997312 20042 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=212888 CPUtime=1.36
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 349 0 0 0 60 76 0 0 20 0 17 0 657205670 217997312 20043 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=212888 CPUtime=1.36
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 305 0 0 0 60 76 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=212888 CPUtime=1.36
/proc/29593/task/29598/stat : 29598 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 369 0 0 0 56 80 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29599] ppid=29591 vsize=212888 CPUtime=1.36
/proc/29593/task/29599/stat : 29599 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 368 0 0 0 52 84 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29600] ppid=29591 vsize=212888 CPUtime=1.36
/proc/29593/task/29600/stat : 29600 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 198 0 0 0 52 84 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29593/tid=29601] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29601/stat : 29601 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 329 0 0 0 54 80 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29593/tid=29602] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29602/stat : 29602 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 303 0 0 0 52 82 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29593/tid=29603] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29603/stat : 29603 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 186 0 0 0 54 80 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29593/tid=29604] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 241 0 0 0 58 76 0 0 20 0 17 0 657205670 217997312 20045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 218 0 0 0 52 82 0 0 20 0 17 0 657205670 217997312 20046 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 300 0 0 0 60 74 0 0 20 0 17 0 657205670 217997312 20046 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=212888 CPUtime=1.36
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 474 0 0 0 50 86 0 0 20 0 17 0 657205670 217997312 20047 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=212888 CPUtime=1.32
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 287 0 0 0 50 82 0 0 20 0 17 0 657205670 217997312 20047 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 283 0 0 0 52 82 0 0 20 0 17 0 657205670 217997312 20048 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=212888 CPUtime=1.34
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 276 0 0 0 64 70 0 0 20 0 17 0 657205670 217997312 20049 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 23.44
Current children cumulated vsize (KiB) 212888

[startup+6.30255 s]
/proc/loadavg: 14.64 14.72 10.83 17/201 29610
/proc/meminfo: memFree=18872368/36427776 swapFree=4692/127448
[pid=29593] ppid=29591 vsize=269384 CPUtime=73.54
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 34105 0 0 0 4422 2932 0 0 20 0 17 0 657205501 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 67346 33378 95 177 0 67168 0
[pid=29593/tid=29595] ppid=29591 vsize=269384 CPUtime=4.64
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1778 0 0 0 440 24 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=269384 CPUtime=4.5
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1367 0 0 0 278 172 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=269384 CPUtime=4.5
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 985 0 0 0 270 180 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=269384 CPUtime=4.5
/proc/29593/task/29598/stat : 29598 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1219 0 0 0 268 182 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29599] ppid=29591 vsize=269384 CPUtime=4.5
/proc/29593/task/29599/stat : 29599 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1577 0 0 0 250 200 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29600] ppid=29591 vsize=269384 CPUtime=4.5
/proc/29593/task/29600/stat : 29600 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 807 0 0 0 246 204 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29593/tid=29601] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29601/stat : 29601 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1173 0 0 0 252 194 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29593/tid=29602] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29602/stat : 29602 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1450 0 0 0 250 196 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29593/tid=29603] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29603/stat : 29603 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 806 0 0 0 258 188 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29593/tid=29604] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 672 0 0 0 246 200 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134680480 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 973 0 0 0 244 202 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1060 0 0 0 252 194 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=269384 CPUtime=4.5
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1655 0 0 0 230 220 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=269384 CPUtime=4.38
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 955 0 0 0 244 194 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134587921 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=269384 CPUtime=4.48
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 922 0 0 0 260 188 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=269384 CPUtime=4.46
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 901 0 0 0 264 182 0 0 20 0 17 0 657205670 275849216 33378 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 73.54
Current children cumulated vsize (KiB) 269384

[startup+12.7043 s]
/proc/loadavg: 14.74 14.74 10.86 17/201 29615
/proc/meminfo: memFree=18740204/36427776 swapFree=4692/257808
[pid=29593] ppid=29591 vsize=403764 CPUtime=174.49
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 65902 0 0 0 13010 4439 0 0 20 0 17 0 657205501 413454336 65175 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 100941 65176 95 177 0 100763 0
[pid=29593/tid=29595] ppid=29591 vsize=403764 CPUtime=11
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 3687 0 0 0 1076 24 0 0 20 0 17 0 657205670 413454336 65176 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=403764 CPUtime=10.8
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 3429 0 0 0 818 262 0 0 20 0 17 0 657205670 413454336 65176 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=403764 CPUtime=10.82
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 2981 0 0 0 808 274 0 0 20 0 17 0 657205670 413454336 65176 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=403764 CPUtime=10.84
/proc/29593/task/29598/stat : 29598 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 3406 0 0 0 804 280 0 0 20 0 17 0 657205670 413454336 65177 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29599] ppid=29591 vsize=403764 CPUtime=10.84
/proc/29593/task/29599/stat : 29599 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 4798 0 0 0 806 278 0 0 20 0 17 0 657205670 413454336 65178 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29600] ppid=29591 vsize=403764 CPUtime=10.82
/proc/29593/task/29600/stat : 29600 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 2436 0 0 0 780 302 0 0 20 0 17 0 657205670 413454336 65178 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29593/tid=29601] ppid=29591 vsize=403764 CPUtime=10.76
/proc/29593/task/29601/stat : 29601 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 3512 0 0 0 774 302 0 0 20 0 17 0 657205670 413454336 65178 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29593/tid=29602] ppid=29591 vsize=403764 CPUtime=10.74
/proc/29593/task/29602/stat : 29602 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 4083 0 0 0 770 304 0 0 20 0 17 0 657205670 413454336 65178 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29593/tid=29603] ppid=29591 vsize=403764 CPUtime=10.76
/proc/29593/task/29603/stat : 29603 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 2261 0 0 0 784 292 0 0 20 0 17 0 657205670 413454336 65178 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134737752 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29593/tid=29604] ppid=29591 vsize=403764 CPUtime=10.76
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1932 0 0 0 774 302 0 0 20 0 17 0 657205670 413454336 65178 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=403764 CPUtime=10.78
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 2718 0 0 0 776 302 0 0 20 0 17 0 657205670 413454336 65179 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=403764 CPUtime=10.74
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 3247 0 0 0 766 308 0 0 20 0 17 0 657205670 413454336 65180 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=403764 CPUtime=10.84
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 4172 0 0 0 768 316 0 0 20 0 17 0 657205670 413454336 65180 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=403764 CPUtime=10.56
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 2728 0 0 0 742 314 0 0 20 0 17 0 657205670 413454336 65180 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=403764 CPUtime=10.82
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 2726 0 0 0 796 286 0 0 20 0 17 0 657205670 413454336 65180 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134552720 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=403764 CPUtime=10.78
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 1984 0 0 0 798 280 0 0 20 0 17 0 657205670 413454336 65180 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 174.49
Current children cumulated vsize (KiB) 403764

[startup+25.5033 s]
/proc/loadavg: 15.02 14.80 10.94 17/201 29615
/proc/meminfo: memFree=18461696/36427776 swapFree=4692/535920
[pid=29593] ppid=29591 vsize=694548 CPUtime=377.47
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 134199 0 0 0 31730 6017 0 0 20 0 17 0 657205501 711217152 133472 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 173637 133472 95 177 0 173459 0
[pid=29593/tid=29595] ppid=29591 vsize=694548 CPUtime=23.78
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 7063 0 0 0 2352 26 0 0 20 0 17 0 657205670 711217152 133472 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=694548 CPUtime=23.5
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 7812 0 0 0 1980 370 0 0 20 0 17 0 657205670 711217152 133472 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=694548 CPUtime=23.52
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 7651 0 0 0 1982 370 0 0 20 0 17 0 657205670 711217152 133472 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=694548 CPUtime=23.54

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

[pid=29593/tid=29604] ppid=29591 vsize=694704 CPUtime=23.48
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 6567 0 0 0 1942 406 0 0 20 0 17 0 657205670 711376896 133475 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=694704 CPUtime=23.48
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 5800 0 0 0 1942 406 0 0 20 0 17 0 657205670 711376896 133475 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=694704 CPUtime=23.38
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 7154 0 0 0 1922 416 0 0 20 0 17 0 657205670 711376896 133476 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=694704 CPUtime=23.54
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 8981 0 0 0 1940 414 0 0 20 0 17 0 657205670 711376896 133476 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=694704 CPUtime=23
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 7014 0 0 0 1874 426 0 0 20 0 17 0 657205670 711376896 133477 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=694704 CPUtime=23.54
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 5328 0 0 0 1984 370 0 0 20 0 17 0 657205670 711376896 133477 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=694704 CPUtime=23.46
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 5854 0 0 0 1948 398 0 0 20 0 17 0 657205670 711376896 133477 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 377.47
Current children cumulated vsize (KiB) 694548

[startup+51.1017 s]
/proc/loadavg: 15.35 14.89 11.07 17/201 29615
/proc/meminfo: memFree=17995428/36427776 swapFree=4692/1000956
[pid=29593] ppid=29591 vsize=1195992 CPUtime=784.78
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 251600 0 0 0 71140 7338 0 0 20 0 17 0 657205501 1224695808 250873 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 298998 250873 95 177 0 298820 0
[pid=29593/tid=29595] ppid=29591 vsize=1195992 CPUtime=49.35
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 12447 0 0 0 4899 36 0 0 20 0 17 0 657205670 1224695808 250873 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134591069 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=1195992 CPUtime=49
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 17201 0 0 0 4446 454 0 0 20 0 17 0 657205670 1224695808 250873 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=1195992 CPUtime=49.04
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 15114 0 0 0 4452 452 0 0 20 0 17 0 657205670 1224695808 250873 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=1195992 CPUtime=49.02
/proc/29593/task/29598/stat : 29598 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 15694 0 0 0 4412 490 0 0 20 0 17 0 657205670 1224695808 250873 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29599] ppid=29591 vsize=1195992 CPUtime=49.11
/proc/29593/task/29599/stat : 29599 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 20119 0 0 0 4477 434 0 0 20 0 17 0 657205670 1224695808 250874 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29600] ppid=29591 vsize=1195992 CPUtime=49.04
/proc/29593/task/29600/stat : 29600 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 11054 0 0 0 4444 460 0 0 20 0 17 0 657205670 1224695808 250874 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29593/tid=29601] ppid=29591 vsize=1195992 CPUtime=48.96
/proc/29593/task/29601/stat : 29601 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 18809 0 0 0 4404 492 0 0 20 0 17 0 657205670 1224695808 250874 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29593/tid=29602] ppid=29591 vsize=1195992 CPUtime=48.92
/proc/29593/task/29602/stat : 29602 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 18871 0 0 0 4382 510 0 0 20 0 17 0 657205670 1224695808 250875 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29593/tid=29603] ppid=29591 vsize=1195992 CPUtime=48.86
/proc/29593/task/29603/stat : 29603 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 11653 0 0 0 4368 518 0 0 20 0 17 0 657205670 1224695808 250875 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29593/tid=29604] ppid=29591 vsize=1195992 CPUtime=48.94
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 13435 0 0 0 4394 500 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=1195992 CPUtime=48.95
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 10643 0 0 0 4393 502 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=1195992 CPUtime=48.82
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 14621 0 0 0 4354 528 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=1195992 CPUtime=49.05
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 15356 0 0 0 4405 500 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=1195992 CPUtime=47.99
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 13636 0 0 0 4299 500 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=1195992 CPUtime=49.05
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 13769 0 0 0 4447 458 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=1195992 CPUtime=48.92
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 13375 0 0 0 4400 492 0 0 20 0 17 0 657205670 1224695808 250877 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 784.78
Current children cumulated vsize (KiB) 1195992

[startup+102.303 s]
/proc/loadavg: 15.72 15.06 11.33 17/201 29615
/proc/meminfo: memFree=17255568/36427776 swapFree=4692/1739720
[pid=29593] ppid=29591 vsize=1974488 CPUtime=1600.85
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 433970 0 0 0 150987 9098 0 0 20 0 17 0 657205501 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 493622 433243 95 177 0 493444 0
[pid=29593/tid=29595] ppid=29591 vsize=1974488 CPUtime=100.56
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 19548 0 0 0 9998 58 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=1974488 CPUtime=100.06
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 31988 0 0 0 9422 584 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=1974488 CPUtime=100.09
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 27849 0 0 0 9441 568 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=1974488 CPUtime=100.06
/proc/29593/task/29598/stat : 29598 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 28073 0 0 0 9384 622 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29599] ppid=29591 vsize=1974488 CPUtime=100.26
/proc/29593/task/29599/stat : 29599 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 34570 0 0 0 9514 512 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562278 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29600] ppid=29591 vsize=1974488 CPUtime=100.11
/proc/29593/task/29600/stat : 29600 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 17051 0 0 0 9431 580 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29593/tid=29601] ppid=29591 vsize=1974488 CPUtime=99.97
/proc/29593/task/29601/stat : 29601 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 32236 0 0 0 9375 622 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29593/tid=29602] ppid=29591 vsize=1974488 CPUtime=100.01
/proc/29593/task/29602/stat : 29602 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 32542 0 0 0 9387 614 0 0 20 0 17 0 657205670 2021875712 433243 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29593/tid=29603] ppid=29591 vsize=1974488 CPUtime=99.84
/proc/29593/task/29603/stat : 29603 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 21996 0 0 0 9328 656 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29593/tid=29604] ppid=29591 vsize=1974488 CPUtime=100
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 23479 0 0 0 9390 610 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=1974488 CPUtime=100
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 21607 0 0 0 9390 610 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=1974488 CPUtime=99.82
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 27820 0 0 0 9334 648 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=1974488 CPUtime=100.12
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 25176 0 0 0 9404 608 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=1974488 CPUtime=98
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 24918 0 0 0 9174 626 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=1974488 CPUtime=100.15
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 25416 0 0 0 9443 572 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=1974488 CPUtime=99.98
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 23897 0 0 0 9402 596 0 0 20 0 17 0 657205670 2021875712 433244 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1600.85
Current children cumulated vsize (KiB) 1974488



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+111.403 s]
/proc/loadavg: 15.76 15.09 11.38 18/201 29615
/proc/meminfo: memFree=17140300/36427776 swapFree=4692/1854584
[pid=29593] ppid=29591 vsize=2097916 CPUtime=1745.95
/proc/29593/stat : 29593 (ttsth-5-0) S 29591 29593 15497 0 -1 4202496 462772 0 0 0 165245 9350 0 0 20 0 17 0 657205501 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 524479 462045 95 177 0 524301 0
[pid=29593/tid=29595] ppid=29591 vsize=2097916 CPUtime=109.65
/proc/29593/task/29595/stat : 29595 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 20646 0 0 0 10905 60 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134593373 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29593/tid=29596] ppid=29591 vsize=2097916 CPUtime=109.13
/proc/29593/task/29596/stat : 29596 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 33957 0 0 0 10313 600 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29593/tid=29597] ppid=29591 vsize=2097916 CPUtime=109.18
/proc/29593/task/29597/stat : 29597 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 29844 0 0 0 10334 584 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29593/tid=29598] ppid=29591 vsize=2097916 CPUtime=109.15
/proc/29593/task/29598/stat : 29598 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 30235 0 0 0 10275 640 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29593/tid=29599] ppid=29591 vsize=2097916 CPUtime=109.35
/proc/29593/task/29599/stat : 29599 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 36831 0 0 0 10415 520 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29593/tid=29600] ppid=29591 vsize=2097916 CPUtime=109.19
/proc/29593/task/29600/stat : 29600 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 17889 0 0 0 10325 594 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562373 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29593/tid=29601] ppid=29591 vsize=2097916 CPUtime=109.07
/proc/29593/task/29601/stat : 29601 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 34369 0 0 0 10267 640 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562290 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29593/tid=29602] ppid=29591 vsize=2097916 CPUtime=109.08
/proc/29593/task/29602/stat : 29602 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 35172 0 0 0 10276 632 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29593/tid=29603] ppid=29591 vsize=2097916 CPUtime=108.9
/proc/29593/task/29603/stat : 29603 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 23533 0 0 0 10210 680 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562278 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29593/tid=29604] ppid=29591 vsize=2097916 CPUtime=109.09
/proc/29593/task/29604/stat : 29604 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 25012 0 0 0 10277 632 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29593/tid=29605] ppid=29591 vsize=2097916 CPUtime=109.08
/proc/29593/task/29605/stat : 29605 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 22872 0 0 0 10288 620 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134731188 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29593/tid=29606] ppid=29591 vsize=2097916 CPUtime=108.89
/proc/29593/task/29606/stat : 29606 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 29971 0 0 0 10215 674 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29593/tid=29607] ppid=29591 vsize=2097916 CPUtime=109.21
/proc/29593/task/29607/stat : 29607 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 26744 0 0 0 10301 620 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29593/tid=29608] ppid=29591 vsize=2097916 CPUtime=106.89
/proc/29593/task/29608/stat : 29608 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 26576 0 0 0 10043 646 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29593/tid=29609] ppid=29591 vsize=2097916 CPUtime=109.23
/proc/29593/task/29609/stat : 29609 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 27819 0 0 0 10335 588 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=2097916 CPUtime=109.06
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4202560 25497 0 0 0 10298 608 0 0 20 0 17 0 657205670 2148265984 462045 18446744073709551615 134512640 135237372 4290015776 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1745.95
Current children cumulated vsize (KiB) 2097916

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

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

[startup+111.524 s]
/proc/loadavg: 15.76 15.09 11.38 18/201 29615
/proc/meminfo: memFree=17140300/36427776 swapFree=4692/1854584
[pid=29593] ppid=29591 vsize=0 CPUtime=1746.21
/proc/29593/stat : 29593 (ttsth-5-0) Z 29591 29593 15497 0 -1 4203532 462799 0 0 0 165257 9364 0 0 20 0 2 0 657205501 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 0 0 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=0 CPUtime=109.16
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4203588 25497 0 0 0 10298 618 0 0 20 0 2 0 657205670 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) 1746.21
Current children cumulated vsize (KiB) 0

[startup+111.604 s]
/proc/loadavg: 15.76 15.09 11.38 18/201 29615
/proc/meminfo: memFree=17140300/36427776 swapFree=4692/1854584
[pid=29593] ppid=29591 vsize=0 CPUtime=1746.29
/proc/29593/stat : 29593 (ttsth-5-0) Z 29591 29593 15497 0 -1 4203532 462799 0 0 0 165257 9372 0 0 20 0 2 0 657205501 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/29593/statm: 0 0 0 0 0 0 0
[pid=29593/tid=29610] ppid=29591 vsize=0 CPUtime=109.24
/proc/29593/task/29610/stat : 29610 (ttsth-5-0) R 29591 29593 15497 0 -1 4203588 25497 0 0 0 10298 626 0 0 20 0 2 0 657205670 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) 1746.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 111.62
CPU time (s): 1746.33
CPU user time (s): 1652.58
CPU system time (s): 93.7499
CPU usage (%): 1564.53
Max. virtual memory (cumulated for all children) (KiB): 2097916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1652.58
system time used= 93.7499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462799
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= 94633
involuntary context switches= 3610

runsolver used 0.464029 second user time and 1.72411 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:29:51
IDJOB=1780875
IDBENCH=71075
IDSOLVER=634
FILE ID=xenhost3-49/1780875-1244978991
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= 0678a0ef5b4345961915559db9bf689b
RANDOM SEED= 350051107

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:      18989512 kB
Buffers:        524804 kB
Cached:       14120192 kB
SwapCached:          0 kB
Active:        4171400 kB
Inactive:     10481576 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2672 kB
Writeback:           0 kB
AnonPages:        8664 kB
Mapped:           3824 kB
Slab:           733564 kB
SReclaimable:   706688 kB
SUnreclaim:      26876 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-14 13:31:45