Trace number 1781145

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) 2247.12 148.918

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
MD5SUM604e1311b2fcb3c933399ca7195c63f1
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 variables2058
Number of clauses133055
Sum of the clauses size396210
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23208
Number of clauses of size 3129824
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.10/0.15	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781145-1244981591.cnf 
0.10/0.15	c Using SATTIMEOUT of 10000
0.10/0.15	c Using SATRAM of 2047
0.10/0.15	c Size of subset node = 16
0.10/0.15	c Variables = 2058
0.10/0.15	c Clauses = 133055
0.10/0.15	c Literals = 396210
0.10/0.15	c Reduced size:
0.10/0.15	c Variables = 2058
0.10/0.15	c Clauses = 133055
0.10/0.15	c Literals = 396210
0.10/0.15	c a2
0.30/0.39	c a1
0.80/0.87	c Independent sub-problems = 1
0.80/0.87	c Sub-problem with 2058 variables and 133055 clauses
0.80/0.87	c using permutation method 4
0.80/0.87	c count = 1
0.80/0.87	c Ordering finished 0.810 seconds
0.80/0.87	c mapped 0.860 seconds
0.80/0.87	c permuted 0.860 seconds
0.80/0.87	c about to sort
0.80/0.90	c sorted
1.38/1.49	c clauses now 133055
1.38/1.49	c init finished 0.930 seconds
1.38/1.49	c tree built 1.490 seconds
1.38/1.49	c 
1.38/1.49	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.38/1.49	c ---------------------------------|----------------------------------|------------------------------------------------------
1.38/1.49	c ................................ | ..........                       |                        1.5           0.0             
1.38/1.49	c ................................ | ..........                     1 |                        1.5           0.7             
1.38/1.49	c ................................ | ..........                     2 |                        1.5           1.3             
1.38/1.49	c ................................ | ..........                     3 |                        1.5           2.0             
1.38/1.49	c ................................ | ..........                     4 |                        1.5           2.7             
1.38/1.49	c ................................ | ..........                     5 |                        1.5           3.4             
4.25/1.72	c ................................ | ..........                  1000 | 4                      3.4         295.9        32442
219.61/17.23	c ................................ | ..........                238000 | 9447                 200.3        1188.2     15374371
424.86/31.71	c ................................ | ..........                354000 | 15235                400.1         884.8     29384322
628.45/46.48	c ................................ | ..........                448000 | 20156                601.5         744.8     42603741
832.38/60.05	c ................................ | ..........                510000 | 23313                802.7         635.3     54241230
1033.30/72.69	c ................................ | *.........                615000 | 27343               1001.7         614.0     64430817
1233.90/85.28	c ................................ | *.........                713000 | 31940               1200.7         593.8     73780351
1434.93/97.89	c ................................ | *.........                797000 | 36437               1400.2         569.2     82157964
1638.92/110.61	c ................................ | *.........                872000 | 40553               1602.0         544.3     90361499
1838.37/123.19	c ................................ | *.........                947000 | 44875               1801.6         525.6     98186573
2039.20/135.77	c ................................ | **........               1016000 | 48733               2001.5         507.6    106125732

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-1781145-1244981591/watcher-1781145-1244981591 -o /tmp/evaluation-result-1781145-1244981591/solver-1781145-1244981591 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781145-1244981591.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: 15.85 15.55 15.17 2/184 30628
/proc/meminfo: memFree=18988456/36427776 swapFree=3648/8932
[pid=30628] ppid=30626 vsize=1540 CPUtime=0
/proc/30628/stat : 30628 (ttsth-5-0) R 30626 30628 15497 0 -1 4202496 274 0 0 0 0 0 0 0 20 0 1 0 657465477 1576960 230 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 385 231 75 177 0 207 0

[startup+0.071251 s]
/proc/loadavg: 15.85 15.55 15.17 2/184 30628
/proc/meminfo: memFree=18988456/36427776 swapFree=3648/8932
[pid=30628] ppid=30626 vsize=5336 CPUtime=0.06
/proc/30628/stat : 30628 (ttsth-5-0) R 30626 30628 15497 0 -1 4202496 1214 0 0 0 6 0 0 0 20 0 1 0 657465477 5464064 1170 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 1334 1172 75 177 0 1156 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5336

[startup+0.103252 s]
/proc/loadavg: 15.85 15.55 15.17 2/184 30628
/proc/meminfo: memFree=18988456/36427776 swapFree=3648/8932
[pid=30628] ppid=30626 vsize=7364 CPUtime=0.1
/proc/30628/stat : 30628 (ttsth-5-0) R 30626 30628 15497 0 -1 4202496 1690 0 0 0 8 2 0 0 20 0 1 0 657465477 7540736 1646 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 1841 1646 75 177 0 1663 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7364

[startup+0.303262 s]
/proc/loadavg: 15.85 15.55 15.17 2/184 30628
/proc/meminfo: memFree=18988456/36427776 swapFree=3648/8932
[pid=30628] ppid=30626 vsize=18404 CPUtime=0.3
/proc/30628/stat : 30628 (ttsth-5-0) R 30626 30628 15497 0 -1 4202496 4419 0 0 0 26 4 0 0 20 0 1 0 657465477 18845696 4374 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134680273 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 4601 4374 76 177 0 4423 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 18404

[startup+0.703334 s]
/proc/loadavg: 15.85 15.55 15.17 2/184 30628
/proc/meminfo: memFree=18988456/36427776 swapFree=3648/8932
[pid=30628] ppid=30626 vsize=19968 CPUtime=0.7
/proc/30628/stat : 30628 (ttsth-5-0) R 30626 30628 15497 0 -1 4202496 5139 0 0 0 66 4 0 0 20 0 1 0 657465477 20447232 4834 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134555272 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 4992 4834 77 177 0 4814 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 19968

[startup+1.50361 s]
/proc/loadavg: 15.85 15.55 15.17 2/185 30629
/proc/meminfo: memFree=18951124/36427776 swapFree=4524/46244
[pid=30628] ppid=30626 vsize=188688 CPUtime=1.48
/proc/30628/stat : 30628 (ttsth-5-0) R 30626 30628 15497 0 -1 4202496 14415 0 0 0 142 6 0 0 20 0 17 0 657465477 193216512 13817 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 47172 13818 93 177 0 46994 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 188688

[startup+3.10367 s]
/proc/loadavg: 15.86 15.56 15.18 17/201 30645
/proc/meminfo: memFree=18928324/36427776 swapFree=4676/72200
[pid=30628] ppid=30626 vsize=211680 CPUtime=24.75
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 20295 0 0 0 1321 1154 0 0 20 0 17 0 657465477 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 52920 19698 95 177 0 52742 0
[pid=30628/tid=30630] ppid=30626 vsize=211680 CPUtime=1.62
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 545 0 0 0 144 18 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 184 0 0 0 78 76 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 298 0 0 0 78 76 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30633/stat : 30633 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 478 0 0 0 78 76 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30628/tid=30634] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30634/stat : 30634 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 491 0 0 0 82 72 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30635] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30635/stat : 30635 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 517 0 0 0 74 80 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30628/tid=30636] ppid=30626 vsize=211680 CPUtime=0.8
/proc/30628/task/30636/stat : 30636 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 203 0 0 0 32 48 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30637] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30637/stat : 30637 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 198 0 0 0 66 88 0 0 20 0 17 0 657465627 216760320 19698 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30638] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30638/stat : 30638 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 221 0 0 0 66 88 0 0 20 0 17 0 657465627 216760320 19700 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30639] ppid=30626 vsize=211680 CPUtime=1.54
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 691 0 0 0 70 84 0 0 20 0 17 0 657465627 216760320 19700 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=211680 CPUtime=1.52
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 397 0 0 0 72 80 0 0 20 0 17 0 657465627 216760320 19701 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=211680 CPUtime=1.52
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 259 0 0 0 72 80 0 0 20 0 17 0 657465627 216760320 19701 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=211680 CPUtime=0.78
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 115 0 0 0 36 42 0 0 20 0 17 0 657465627 216760320 19701 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=211680 CPUtime=1.5
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 407 0 0 0 68 82 0 0 20 0 17 0 657465627 216760320 19701 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=211680 CPUtime=1.52
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 297 0 0 0 72 80 0 0 20 0 17 0 657465627 216760320 19701 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=211680 CPUtime=1.52
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 652 0 0 0 86 66 0 0 20 0 17 0 657465628 216760320 19701 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 24.75
Current children cumulated vsize (KiB) 211680

[startup+6.30385 s]
/proc/loadavg: 15.86 15.56 15.18 17/201 30645
/proc/meminfo: memFree=18873936/36427776 swapFree=4692/125388
[pid=30628] ppid=30626 vsize=267248 CPUtime=68.77
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 33913 0 0 0 4631 2246 0 0 20 0 17 0 657465477 273661952 33315 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 66812 33315 95 177 0 66634 0
[pid=30628/tid=30630] ppid=30626 vsize=267248 CPUtime=4.8
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1463 0 0 0 462 18 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=267248 CPUtime=4.66
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 726 0 0 0 310 156 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=267248 CPUtime=4.54
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1116 0 0 0 304 150 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=267248 CPUtime=4.68
/proc/30628/task/30633/stat : 30633 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1769 0 0 0 310 158 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30628/tid=30634] ppid=30626 vsize=267248 CPUtime=3.36
/proc/30628/task/30634/stat : 30634 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1185 0 0 0 218 118 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30635] ppid=30626 vsize=267248 CPUtime=4.7
/proc/30628/task/30635/stat : 30635 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1817 0 0 0 306 164 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134550989 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30628/tid=30636] ppid=30626 vsize=267248 CPUtime=2.8
/proc/30628/task/30636/stat : 30636 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 741 0 0 0 182 98 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30637] ppid=30626 vsize=267248 CPUtime=4.64
/proc/30628/task/30637/stat : 30637 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 666 0 0 0 280 184 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134680282 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30638] ppid=30626 vsize=267248 CPUtime=4.68
/proc/30628/task/30638/stat : 30638 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 770 0 0 0 292 176 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134590285 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30639] ppid=30626 vsize=267248 CPUtime=4.7
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) S 30626 30628 15497 0 -1 4202560 2532 0 0 0 298 172 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=267248 CPUtime=4.54
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1286 0 0 0 300 154 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=267248 CPUtime=4.64
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1498 0 0 0 300 164 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=267248 CPUtime=2.38
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 373 0 0 0 146 92 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=267248 CPUtime=3.08
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1011 0 0 0 172 136 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=267248 CPUtime=4.26
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 969 0 0 0 280 146 0 0 20 0 17 0 657465627 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134590136 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=267248 CPUtime=4.66
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1648 0 0 0 322 144 0 0 20 0 17 0 657465628 273661952 33316 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134592468 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 68.77
Current children cumulated vsize (KiB) 267248

[startup+12.7029 s]
/proc/loadavg: 15.88 15.58 15.18 17/201 30645
/proc/meminfo: memFree=18758920/36427776 swapFree=4692/240132
[pid=30628] ppid=30626 vsize=378120 CPUtime=157.19
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 61737 0 0 0 12232 3487 0 0 20 0 17 0 657465477 387194880 61139 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 94530 61139 95 177 0 94352 0
[pid=30628/tid=30630] ppid=30626 vsize=378120 CPUtime=11.16
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 2756 0 0 0 1098 18 0 0 20 0 17 0 657465627 387194880 61139 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=378120 CPUtime=10.96
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 2489 0 0 0 846 250 0 0 20 0 17 0 657465627 387194880 61139 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=378120 CPUtime=10.88
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3101 0 0 0 866 222 0 0 20 0 17 0 657465627 387194880 61139 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134551509 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=378120 CPUtime=11.02
/proc/30628/task/30633/stat : 30633 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 4087 0 0 0 852 250 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30628/tid=30634] ppid=30626 vsize=378120 CPUtime=9.08
/proc/30628/task/30634/stat : 30634 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3595 0 0 0 708 200 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30635] ppid=30626 vsize=378120 CPUtime=11
/proc/30628/task/30635/stat : 30635 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 4008 0 0 0 836 264 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134634609 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=30628/tid=30636] ppid=30626 vsize=378120 CPUtime=6.12
/proc/30628/task/30636/stat : 30636 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1803 0 0 0 452 160 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30637] ppid=30626 vsize=378120 CPUtime=10.94
/proc/30628/task/30637/stat : 30637 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1961 0 0 0 800 294 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30638] ppid=30626 vsize=378120 CPUtime=8.46
/proc/30628/task/30638/stat : 30638 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1412 0 0 0 614 232 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30639] ppid=30626 vsize=378120 CPUtime=11.02
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 5299 0 0 0 838 264 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=378120 CPUtime=10.72
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3546 0 0 0 822 250 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134590170 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=378120 CPUtime=10.96
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3370 0 0 0 842 254 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=378120 CPUtime=8.08
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1688 0 0 0 616 192 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134592232 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=378120 CPUtime=7.86
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3057 0 0 0 572 214 0 0 20 0 17 0 657465627 387194880 61140 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=378120 CPUtime=7.46
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 1591 0 0 0 556 190 0 0 20 0 17 0 657465627 387194880 61141 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=378120 CPUtime=9.86
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3631 0 0 0 766 220 0 0 20 0 17 0 657465628 387194880 61141 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 157.19
Current children cumulated vsize (KiB) 378120

[startup+25.5015 s]
/proc/loadavg: 15.90 15.59 15.19 17/201 30645
/proc/meminfo: memFree=18532188/36427776 swapFree=4692/465936
[pid=30628] ppid=30626 vsize=597020 CPUtime=339.88
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 116468 0 0 0 29245 4743 0 0 20 0 17 0 657465477 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 149255 115870 95 177 0 149077 0
[pid=30628/tid=30630] ppid=30626 vsize=597020 CPUtime=23.9
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 4716 0 0 0 2370 20 0 0 20 0 17 0 657465627 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=597020 CPUtime=23.56
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 5661 0 0 0 2010 346 0 0 20 0 17 0 657465627 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=597020 CPUtime=22.58
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 6209 0 0 0 1964 294 0 0 20 0 17 0 657465627 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=597020 CPUtime=23.64

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

[pid=30628/tid=30639] ppid=30626 vsize=597020 CPUtime=23.26
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 9359 0 0 0 1990 336 0 0 20 0 17 0 657465627 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=597020 CPUtime=23.06
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 7876 0 0 0 1960 346 0 0 20 0 17 0 657465627 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=597020 CPUtime=23.6
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 6859 0 0 0 2016 344 0 0 20 0 17 0 657465627 611348480 115870 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=597020 CPUtime=18.48
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3587 0 0 0 1580 268 0 0 20 0 17 0 657465627 611348480 115871 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=597020 CPUtime=20.5
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 7907 0 0 0 1726 324 0 0 20 0 17 0 657465627 611348480 115871 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=597020 CPUtime=17.06
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 3784 0 0 0 1446 260 0 0 20 0 17 0 657465627 611348480 115871 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=597020 CPUtime=19.48
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 6919 0 0 0 1650 298 0 0 20 0 17 0 657465628 611348480 115871 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 339.88
Current children cumulated vsize (KiB) 597020

[startup+51.1055 s]
/proc/loadavg: 15.93 15.62 15.21 16/201 30645
/proc/meminfo: memFree=18156488/36427776 swapFree=4692/841960
[pid=30628] ppid=30626 vsize=977388 CPUtime=695.55
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 211506 0 0 0 63604 5951 0 0 20 0 17 0 657465477 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 244347 210908 95 177 0 244169 0
[pid=30628/tid=30630] ppid=30626 vsize=977388 CPUtime=49.42
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 7801 0 0 0 4918 24 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=977388 CPUtime=48.46
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 10687 0 0 0 4408 438 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=977388 CPUtime=47.99
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 11667 0 0 0 4447 352 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=977388 CPUtime=45.59
/proc/30628/task/30633/stat : 30633 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 16433 0 0 0 4157 402 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30628/tid=30634] ppid=30626 vsize=977388 CPUtime=44.64
/proc/30628/task/30634/stat : 30634 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 17318 0 0 0 4090 374 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30635] ppid=30626 vsize=977388 CPUtime=47.12
/proc/30628/task/30635/stat : 30635 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 12478 0 0 0 4294 418 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30628/tid=30636] ppid=30626 vsize=977388 CPUtime=32.1
/proc/30628/task/30636/stat : 30636 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 9545 0 0 0 2916 294 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30637] ppid=30626 vsize=977388 CPUtime=48.17
/proc/30628/task/30637/stat : 30637 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 12484 0 0 0 4345 472 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30638] ppid=30626 vsize=977388 CPUtime=31.92
/proc/30628/task/30638/stat : 30638 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 6916 0 0 0 2792 400 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30639] ppid=30626 vsize=977388 CPUtime=43.04
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 15004 0 0 0 3906 398 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=977388 CPUtime=47.95
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 15073 0 0 0 4357 438 0 0 20 0 17 0 657465627 1000845312 210908 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=977388 CPUtime=46.5
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 11658 0 0 0 4230 420 0 0 20 0 17 0 657465627 1000845312 210909 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=977388 CPUtime=36.56
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 5714 0 0 0 3320 336 0 0 20 0 17 0 657465627 1000845312 210909 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134593224 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=977388 CPUtime=40.25
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 14537 0 0 0 3605 420 0 0 20 0 17 0 657465627 1000845312 210909 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134591181 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=977388 CPUtime=40.39
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 13033 0 0 0 3677 362 0 0 20 0 17 0 657465627 1000845312 210909 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=977388 CPUtime=43.82
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 16814 0 0 0 3996 386 0 0 20 0 17 0 657465628 1000845312 210909 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 695.55
Current children cumulated vsize (KiB) 977388

[startup+102.312 s]
/proc/loadavg: 15.97 15.68 15.26 17/201 30645
/proc/meminfo: memFree=17511076/36427776 swapFree=4692/1486748
[pid=30628] ppid=30626 vsize=1613720 CPUtime=1506.68
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 370518 0 0 0 142794 7874 0 0 20 0 17 0 657465477 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 403430 369920 95 177 0 403252 0
[pid=30628/tid=30630] ppid=30626 vsize=1613720 CPUtime=100.6
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 13465 0 0 0 10020 40 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=1613720 CPUtime=99.49
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 21724 0 0 0 9385 564 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=1613720 CPUtime=99.02
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 18792 0 0 0 9446 456 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=1613720 CPUtime=96.65
/proc/30628/task/30633/stat : 30633 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 27590 0 0 0 9167 498 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30628/tid=30634] ppid=30626 vsize=1613720 CPUtime=94.6
/proc/30628/task/30634/stat : 30634 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 30013 0 0 0 8952 508 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30635] ppid=30626 vsize=1613720 CPUtime=98.2
/proc/30628/task/30635/stat : 30635 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 22042 0 0 0 9300 520 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30628/tid=30636] ppid=30626 vsize=1613720 CPUtime=83.13
/proc/30628/task/30636/stat : 30636 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 18535 0 0 0 7883 430 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30637] ppid=30626 vsize=1613720 CPUtime=98.05
/proc/30628/task/30637/stat : 30637 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 21090 0 0 0 9203 602 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30638] ppid=30626 vsize=1613720 CPUtime=80.7
/proc/30628/task/30638/stat : 30638 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 13528 0 0 0 7518 552 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30639] ppid=30626 vsize=1613720 CPUtime=94.1
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 30533 0 0 0 8902 508 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=1613720 CPUtime=97.93
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 26683 0 0 0 9215 578 0 0 20 0 17 0 657465627 1652449280 369920 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134551461 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=1613720 CPUtime=97.53
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 18364 0 0 0 9225 528 0 0 20 0 17 0 657465627 1652449280 369921 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=1613720 CPUtime=87.62
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 11149 0 0 0 8322 440 0 0 20 0 17 0 657465627 1652449280 369921 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=1613720 CPUtime=91.21
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 27207 0 0 0 8529 592 0 0 20 0 17 0 657465627 1652449280 369921 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=1613720 CPUtime=91.38
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 25627 0 0 0 8624 514 0 0 20 0 17 0 657465627 1652449280 369921 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134561392 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=1613720 CPUtime=94.85
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 29832 0 0 0 8955 530 0 0 20 0 17 0 657465628 1652449280 369921 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1506.68
Current children cumulated vsize (KiB) 1613720



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+148.702 s]
/proc/loadavg: 16.04 15.74 15.29 16/201 30650
/proc/meminfo: memFree=17024560/36427776 swapFree=4692/1970696
[pid=30628] ppid=30626 vsize=2096428 CPUtime=2246.75
/proc/30628/stat : 30628 (ttsth-5-0) S 30626 30628 15497 0 -1 4202496 491175 0 0 0 215714 8961 0 0 20 0 17 0 657465477 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 524107 490577 95 177 0 523929 0
[pid=30628/tid=30630] ppid=30626 vsize=2096428 CPUtime=146.99
/proc/30628/task/30630/stat : 30630 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 18480 0 0 0 14651 48 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30628/tid=30631] ppid=30626 vsize=2096428 CPUtime=145.77
/proc/30628/task/30631/stat : 30631 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 27228 0 0 0 13947 630 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30628/tid=30632] ppid=30626 vsize=2096428 CPUtime=145.33
/proc/30628/task/30632/stat : 30632 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 22836 0 0 0 14021 512 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30628/tid=30633] ppid=30626 vsize=2096428 CPUtime=143
/proc/30628/task/30633/stat : 30633 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 35072 0 0 0 13742 558 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30628/tid=30634] ppid=30626 vsize=2096428 CPUtime=140.91
/proc/30628/task/30634/stat : 30634 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 37747 0 0 0 13505 586 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30628/tid=30635] ppid=30626 vsize=2096428 CPUtime=144.53
/proc/30628/task/30635/stat : 30635 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 27637 0 0 0 13871 582 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30628/tid=30636] ppid=30626 vsize=2096428 CPUtime=129.44
/proc/30628/task/30636/stat : 30636 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 24389 0 0 0 12440 504 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=30628/tid=30637] ppid=30626 vsize=2096428 CPUtime=144.32
/proc/30628/task/30637/stat : 30637 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 28745 0 0 0 13750 682 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30628/tid=30638] ppid=30626 vsize=2096428 CPUtime=126.97
/proc/30628/task/30638/stat : 30638 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 17765 0 0 0 12063 634 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30628/tid=30639] ppid=30626 vsize=2096428 CPUtime=140.43
/proc/30628/task/30639/stat : 30639 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 46862 0 0 0 13471 572 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30628/tid=30640] ppid=30626 vsize=2096428 CPUtime=143.28
/proc/30628/task/30640/stat : 30640 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 35544 0 0 0 13668 660 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562331 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30628/tid=30641] ppid=30626 vsize=2096428 CPUtime=143.85
/proc/30628/task/30641/stat : 30641 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 24389 0 0 0 13785 600 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30628/tid=30642] ppid=30626 vsize=2096428 CPUtime=133.92
/proc/30628/task/30642/stat : 30642 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 15052 0 0 0 12890 502 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30628/tid=30643] ppid=30626 vsize=2096428 CPUtime=137.48
/proc/30628/task/30643/stat : 30643 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 36081 0 0 0 13082 666 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134562328 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=2096428 CPUtime=137.68
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 34388 0 0 0 13178 590 0 0 20 0 17 0 657465627 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30628/tid=30645] ppid=30626 vsize=2096428 CPUtime=141.15
/proc/30628/task/30645/stat : 30645 (ttsth-5-0) R 30626 30628 15497 0 -1 4202560 44616 0 0 0 13497 618 0 0 20 0 17 0 657465628 2146742272 490577 18446744073709551615 134512640 135237372 4293770672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2246.75
Current children cumulated vsize (KiB) 2096428

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

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

[startup+148.824 s]
/proc/loadavg: 16.04 15.74 15.29 16/201 30650
/proc/meminfo: memFree=17024560/36427776 swapFree=4692/1970696
[pid=30628] ppid=30626 vsize=0 CPUtime=2247.02
/proc/30628/stat : 30628 (ttsth-5-0) Z 30626 30628 15497 0 -1 4203532 491193 0 0 0 215728 8974 0 0 20 0 2 0 657465477 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 0 0 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=0 CPUtime=137.8
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4203588 34389 0 0 0 13178 602 0 0 20 0 2 0 657465627 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2247.02
Current children cumulated vsize (KiB) 0

[startup+148.904 s]
/proc/loadavg: 16.04 15.74 15.29 16/201 30650
/proc/meminfo: memFree=17024560/36427776 swapFree=4692/1970696
[pid=30628] ppid=30626 vsize=0 CPUtime=2247.1
/proc/30628/stat : 30628 (ttsth-5-0) Z 30626 30628 15497 0 -1 4203532 491193 0 0 0 215728 8982 0 0 20 0 2 0 657465477 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30628/statm: 0 0 0 0 0 0 0
[pid=30628/tid=30644] ppid=30626 vsize=0 CPUtime=137.88
/proc/30628/task/30644/stat : 30644 (ttsth-5-0) R 30626 30628 15497 0 -1 4203588 34389 0 0 0 13178 610 0 0 20 0 2 0 657465627 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2247.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 148.918
CPU time (s): 2247.12
CPU user time (s): 2157.29
CPU system time (s): 89.8256
CPU usage (%): 1508.96
Max. virtual memory (cumulated for all children) (KiB): 2096428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2157.29
system time used= 89.8256
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491193
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= 104326
involuntary context switches= 7810

runsolver used 0.708044 second user time and 2.22814 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 14:13:11
IDJOB=1781145
IDBENCH=71100
IDSOLVER=634
FILE ID=xenhost3-49/1781145-1244981591
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_13_UNKNOWN.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781145-1244981591/watcher-1781145-1244981591 -o /tmp/evaluation-result-1781145-1244981591/solver-1781145-1244981591 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1781145-1244981591.cnf

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

MD5SUM BENCH= 604e1311b2fcb3c933399ca7195c63f1
RANDOM SEED= 118585382

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:      18988456 kB
Buffers:        524844 kB
Cached:       14120264 kB
SwapCached:          0 kB
Active:        4170804 kB
Inactive:     10482592 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2672 kB
Writeback:           0 kB
AnonPages:        8932 kB
Mapped:           3648 kB
Slab:           733696 kB
SReclaimable:   706752 kB
SUnreclaim:      26944 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= 7020 MiB
End job on xenhost3-49 at 2009-06-14 14:15:42