Trace number 1780980

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) 2432.28 154.421

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_12_UNKNOWN.cnf
MD5SUMfbf37caab2e9eafe910c795f49053484
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 variables1898
Number of clauses128735
Sum of the clauses size383430
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23005
Number of clauses of size 3125707
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data 

0.10/0.14	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780980-1244979926.cnf 
0.10/0.14	c Using SATTIMEOUT of 10000
0.10/0.14	c Using SATRAM of 2047
0.10/0.14	c Size of subset node = 16
0.10/0.14	c Variables = 1898
0.10/0.14	c Clauses = 128735
0.10/0.14	c Literals = 383430
0.10/0.14	c Reduced size:
0.10/0.14	c Variables = 1898
0.10/0.14	c Clauses = 128735
0.10/0.14	c Literals = 383430
0.10/0.14	c a2
0.30/0.38	c a1
0.80/0.84	c Independent sub-problems = 1
0.80/0.84	c Sub-problem with 1898 variables and 128735 clauses
0.80/0.84	c using permutation method 4
0.80/0.84	c count = 1
0.80/0.84	c Ordering finished 0.780 seconds
0.80/0.84	c mapped 0.830 seconds
0.80/0.84	c permuted 0.830 seconds
0.80/0.84	c about to sort
0.80/0.87	c sorted
1.40/1.44	c clauses now 128735
1.40/1.44	c init finished 0.900 seconds
1.40/1.44	c tree built 1.430 seconds
1.40/1.44	c 
1.40/1.44	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
1.40/1.44	c ---------------------------------|----------------------------------|------------------------------------------------------
1.40/1.44	c ................................ | ..........                       |                        1.4           0.0             
1.40/1.44	c ................................ | ..........                     1 |                        1.4           0.7             
1.40/1.44	c ................................ | ..........                     2 |                        1.4           1.4             
1.40/1.44	c ................................ | ..........                     3 |                        1.4           2.1             
1.40/1.44	c ................................ | ..........                     4 |                        1.4           2.8             
1.40/1.44	c ................................ | ..........                     5 |                        1.4           3.5             
2.17/1.51	c ................................ | ..........                  1000 | 16                     2.0         507.6         4541
233.22/16.21	c ................................ | ..........                270000 | 15193                200.8        1344.6     14149485
440.91/29.39	c ................................ | ..........                390000 | 21041                400.7         973.4     26783686
645.87/42.22	c ................................ | ..........                473000 | 24360                600.5         787.7     38702414
848.32/54.99	c ................................ | ..........                553000 | 28466                801.2         690.2     49152384
1050.49/67.63	c ................................ | *.........                629000 | 32717               1000.5         628.7     57885157
1253.02/80.34	c ................................ | *.........                697000 | 36102               1201.3         580.2     66653304
1453.70/92.91	c ................................ | *.........                768000 | 40040               1400.4         548.4     74710289
1656.44/105.70	c ................................ | *.........                827000 | 44121               1603.1         515.9     82500658
1855.71/118.12	c ................................ | *.........                885000 | 47877               1800.7         491.5     89694630
2056.67/130.76	c ................................ | **........                939000 | 50588               2001.7         469.1     97303883

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-1780980-1244979926/watcher-1780980-1244979926 -o /tmp/evaluation-result-1780980-1244979926/solver-1780980-1244979926 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780980-1244979926.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.76 15.24 13.61 2/184 29998
/proc/meminfo: memFree=18988240/36427776 swapFree=3764/8436
[pid=29998] ppid=29996 vsize=1540 CPUtime=0
/proc/29998/stat : 29998 (ttsth-5-0) R 29996 29998 15497 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 657298989 1576960 232 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 385 233 75 177 0 207 0

[startup+0.088095 s]
/proc/loadavg: 15.76 15.24 13.61 2/184 29998
/proc/meminfo: memFree=18988240/36427776 swapFree=3764/8436
[pid=29998] ppid=29996 vsize=6572 CPUtime=0.08
/proc/29998/stat : 29998 (ttsth-5-0) R 29996 29998 15497 0 -1 4202496 1490 0 0 0 8 0 0 0 20 0 1 0 657298989 6729728 1446 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134732614 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 1643 1448 75 177 0 1465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6572

[startup+0.104087 s]
/proc/loadavg: 15.76 15.24 13.61 2/184 29998
/proc/meminfo: memFree=18988240/36427776 swapFree=3764/8436
[pid=29998] ppid=29996 vsize=7496 CPUtime=0.1
/proc/29998/stat : 29998 (ttsth-5-0) R 29996 29998 15497 0 -1 4202496 1729 0 0 0 10 0 0 0 20 0 1 0 657298989 7675904 1685 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134639534 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 1874 1686 75 177 0 1696 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7496

[startup+0.3041 s]
/proc/loadavg: 15.76 15.24 13.61 2/184 29998
/proc/meminfo: memFree=18988240/36427776 swapFree=3764/8436
[pid=29998] ppid=29996 vsize=17676 CPUtime=0.3
/proc/29998/stat : 29998 (ttsth-5-0) R 29996 29998 15497 0 -1 4202496 4270 0 0 0 28 2 0 0 20 0 1 0 657298989 18100224 4225 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134680720 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 4419 4225 76 177 0 4241 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17676

[startup+0.70017 s]
/proc/loadavg: 15.76 15.24 13.61 2/184 29998
/proc/meminfo: memFree=18988240/36427776 swapFree=3764/8436
[pid=29998] ppid=29996 vsize=19220 CPUtime=0.7
/proc/29998/stat : 29998 (ttsth-5-0) R 29996 29998 15497 0 -1 4202496 4939 0 0 0 66 4 0 0 20 0 1 0 657298989 19681280 4642 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134730184 0 0 1 0 0 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 4805 4642 77 177 0 4627 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 19220

[startup+1.50462 s]
/proc/loadavg: 14.58 15.01 13.54 2/185 29999
/proc/meminfo: memFree=18952436/36427776 swapFree=4264/44108
[pid=29998] ppid=29996 vsize=188112 CPUtime=2.17
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 14156 0 0 0 140 77 0 0 20 0 17 0 657298989 192626688 13605 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 47028 13609 94 177 0 46850 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 188112

[startup+3.10613 s]
/proc/loadavg: 14.58 15.01 13.54 17/201 30015
/proc/meminfo: memFree=18930400/36427776 swapFree=4676/70356
[pid=29998] ppid=29996 vsize=209676 CPUtime=27
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 19611 0 0 0 1280 1420 0 0 20 0 17 0 657298989 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 52419 19061 95 177 0 52241 0
[pid=29998/tid=30000] ppid=29996 vsize=209676 CPUtime=1.66
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 574 0 0 0 150 16 0 0 20 0 17 0 657299133 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 565 0 0 0 52 106 0 0 20 0 17 0 657299133 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 236 0 0 0 70 88 0 0 20 0 17 0 657299133 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=209676 CPUtime=1.6
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 344 0 0 0 70 90 0 0 20 0 17 0 657299133 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 272 0 0 0 70 88 0 0 20 0 17 0 657299134 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 349 0 0 0 60 98 0 0 20 0 17 0 657299134 214708224 19061 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 412 0 0 0 66 92 0 0 20 0 17 0 657299134 214708224 19062 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=209676 CPUtime=1.6
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 468 0 0 0 64 96 0 0 20 0 17 0 657299134 214708224 19062 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=209676 CPUtime=1.6
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 340 0 0 0 70 90 0 0 20 0 17 0 657299134 214708224 19062 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134590140 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=209676 CPUtime=1.6
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) S 29996 29998 15497 0 -1 4202560 224 0 0 0 68 92 0 0 20 0 17 0 657299134 214708224 19063 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 556 0 0 0 80 78 0 0 20 0 17 0 657299134 214708224 19064 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=209676 CPUtime=1.6
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 223 0 0 0 64 96 0 0 20 0 17 0 657299134 214708224 19065 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=209676 CPUtime=1.6
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 291 0 0 0 76 84 0 0 20 0 17 0 657299134 214708224 19065 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=209676 CPUtime=1.56
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 295 0 0 0 62 94 0 0 20 0 17 0 657299134 214708224 19065 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 418 0 0 0 60 98 0 0 20 0 17 0 657299134 214708224 19065 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134590777 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=209676 CPUtime=1.58
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 345 0 0 0 56 102 0 0 20 0 17 0 657299134 214708224 19065 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 27
Current children cumulated vsize (KiB) 209676

[startup+6.30457 s]
/proc/loadavg: 14.69 15.02 13.55 17/201 30015
/proc/meminfo: memFree=18882416/36427776 swapFree=4692/117740
[pid=29998] ppid=29996 vsize=260856 CPUtime=77.05
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 31745 0 0 0 4539 3166 0 0 20 0 17 0 657298989 267116544 31194 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 65214 31194 95 177 0 65036 0
[pid=29998/tid=30000] ppid=29996 vsize=260856 CPUtime=4.84
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1591 0 0 0 468 16 0 0 20 0 17 0 657299133 267116544 31194 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=260856 CPUtime=4.74
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2326 0 0 0 256 218 0 0 20 0 17 0 657299133 267116544 31194 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=260856 CPUtime=4.7
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 943 0 0 0 276 194 0 0 20 0 17 0 657299133 267116544 31194 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134592184 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1272 0 0 0 272 200 0 0 20 0 17 0 657299133 267116544 31195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=260856 CPUtime=4.7
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 732 0 0 0 258 212 0 0 20 0 17 0 657299134 267116544 31195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1065 0 0 0 244 228 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1128 0 0 0 270 202 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1625 0 0 0 248 224 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=260856 CPUtime=4.74
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 898 0 0 0 270 204 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 621 0 0 0 264 208 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1377 0 0 0 284 188 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 607 0 0 0 252 220 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=260856 CPUtime=4.74
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 852 0 0 0 284 190 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=260856 CPUtime=4.58
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 744 0 0 0 234 224 0 0 20 0 17 0 657299134 267116544 31196 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134592435 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=260856 CPUtime=4.7
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1154 0 0 0 258 212 0 0 20 0 17 0 657299134 267116544 31197 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=260856 CPUtime=4.72
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1111 0 0 0 258 214 0 0 20 0 17 0 657299134 267116544 31197 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 77.05
Current children cumulated vsize (KiB) 260856

[startup+12.7035 s]
/proc/loadavg: 14.80 15.04 13.56 17/201 30015
/proc/meminfo: memFree=18769792/36427776 swapFree=4692/230412
[pid=29998] ppid=29996 vsize=376636 CPUtime=177.84
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 59060 0 0 0 12735 5049 0 0 20 0 17 0 657298989 385675264 58509 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 94159 58509 95 177 0 93981 0
[pid=29998/tid=30000] ppid=29996 vsize=376636 CPUtime=11.22
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 3298 0 0 0 1104 18 0 0 20 0 17 0 657299133 385675264 58509 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=376636 CPUtime=11.04
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5252 0 0 0 754 350 0 0 20 0 17 0 657299133 385675264 58510 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=376636 CPUtime=11
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2704 0 0 0 778 322 0 0 20 0 17 0 657299133 385675264 58510 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=376636 CPUtime=11.04
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2965 0 0 0 788 316 0 0 20 0 17 0 657299133 385675264 58510 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=376636 CPUtime=10.96
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1817 0 0 0 756 340 0 0 20 0 17 0 657299134 385675264 58510 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=376636 CPUtime=11
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2808 0 0 0 734 366 0 0 20 0 17 0 657299134 385675264 58510 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=376636 CPUtime=11.02
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2916 0 0 0 788 314 0 0 20 0 17 0 657299134 385675264 58510 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=376636 CPUtime=11.02
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 4017 0 0 0 750 352 0 0 20 0 17 0 657299134 385675264 58511 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=376636 CPUtime=11.04
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2360 0 0 0 792 312 0 0 20 0 17 0 657299134 385675264 58511 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=376636 CPUtime=11
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2035 0 0 0 746 354 0 0 20 0 17 0 657299134 385675264 58511 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=376636 CPUtime=11.06
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 3410 0 0 0 802 304 0 0 20 0 17 0 657299134 385675264 58512 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=376636 CPUtime=11.02
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 1589 0 0 0 732 370 0 0 20 0 17 0 657299134 385675264 58512 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=376636 CPUtime=11.06
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) S 29996 29998 15497 0 -1 4202560 2170 0 0 0 798 308 0 0 20 0 17 0 657299134 385675264 58512 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=376636 CPUtime=10.74
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2326 0 0 0 710 364 0 0 20 0 17 0 657299134 385675264 58512 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=376636 CPUtime=11.02
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 3136 0 0 0 786 316 0 0 20 0 17 0 657299134 385675264 58512 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562314 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=376636 CPUtime=11.04
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 2557 0 0 0 772 332 0 0 20 0 17 0 657299134 385675264 58512 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 177.84
Current children cumulated vsize (KiB) 376636

[startup+25.5062 s]
/proc/loadavg: 14.98 15.07 13.59 16/201 30015
/proc/meminfo: memFree=18554124/36427776 swapFree=4692/445852
[pid=29998] ppid=29996 vsize=599580 CPUtime=380.55
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 111097 0 0 0 30869 7186 0 0 20 0 17 0 657298989 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 149895 110546 95 177 0 149717 0
[pid=29998/tid=30000] ppid=29996 vsize=599580 CPUtime=24.02
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 6615 0 0 0 2378 24 0 0 20 0 17 0 657299133 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=599580 CPUtime=23.78
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 9688 0 0 0 1904 474 0 0 20 0 17 0 657299133 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=599580 CPUtime=23.64
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5925 0 0 0 1896 468 0 0 20 0 17 0 657299133 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=599580 CPUtime=23.74
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 6430 0 0 0 1914 460 0 0 20 0 17 0 657299133 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=599580 CPUtime=23.6
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 3825 0 0 0 1870 490 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=599580 CPUtime=23.66
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 6074 0 0 0 1850 516 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=599580 CPUtime=23.66
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 7159 0 0 0 1882 484 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=599580 CPUtime=23.7
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 8539 0 0 0 1872 498 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=599580 CPUtime=23.76
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5511 0 0 0 1944 432 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=599580 CPUtime=23.66
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 4471 0 0 0 1868 498 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=599580 CPUtime=23.76
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5984 0 0 0 1944 432 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=599580 CPUtime=23.7
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 3491 0 0 0 1850 520 0 0 20 0 17 0 657299134 613969920 110546 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=599580 CPUtime=23.76
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5196 0 0 0 1940 436 0 0 20 0 17 0 657299134 613969920 110547 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=599580 CPUtime=23.12
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5974 0 0 0 1794 518 0 0 20 0 17 0 657299134 613969920 110547 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134549896 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=599580 CPUtime=23.7
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 6734 0 0 0 1920 450 0 0 20 0 17 0 657299134 613969920 110547 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134680326 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=599580 CPUtime=23.74
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 5780 0 0 0 1900 474 0 0 20 0 17 0 657299134 613969920 110547 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 380.55
Current children cumulated vsize (KiB) 599580

[startup+51.1027 s]
/proc/loadavg: 15.38 15.16 13.66 17/201 30015
/proc/meminfo: memFree=18176664/36427776 swapFree=4692/820880
[pid=29998] ppid=29996 vsize=1002396 CPUtime=787.56
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 205713 0 0 0 69925 8831 0 0 20 0 17 0 657298989 1026453504 205162 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 250599 205162 95 177 0 250421 0
[pid=29998/tid=30000] ppid=29996 vsize=1002396 CPUtime=49.6
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 11214 0 0 0 4926 34 0 0 20 0 17 0 657299133 1026453504 205162 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=1002396 CPUtime=49.29
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 16221 0 0 0 4385 544 0 0 20 0 17 0 657299133 1026453504 205162 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=1002396 CPUtime=49.13
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 11199 0 0 0 4351 562 0 0 20 0 17 0 657299133 1026453504 205162 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=1002396 CPUtime=49.23
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 10942 0 0 0 4381 542 0 0 20 0 17 0 657299133 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=1002396 CPUtime=49.02
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 6910 0 0 0 4290 612 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=1002396 CPUtime=49.06
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 12700 0 0 0 4244 662 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134589006 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=1002396 CPUtime=49.11
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 14775 0 0 0 4303 608 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=1002396 CPUtime=49.14
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 17369 0 0 0 4300 614 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=1002396 CPUtime=49.25
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 11822 0 0 0 4387 538 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=1002396 CPUtime=49.1
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 8650 0 0 0 4292 618 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=1002396 CPUtime=49.22
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 13541 0 0 0 4376 546 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=1002396 CPUtime=49.14
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 7232 0 0 0 4282 632 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=1002396 CPUtime=49.24
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 11315 0 0 0 4362 562 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=1002396 CPUtime=48.07
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 14049 0 0 0 4183 624 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134561510 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=1002396 CPUtime=49.18
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 13587 0 0 0 4356 562 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=1002396 CPUtime=49.27
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 10487 0 0 0 4367 560 0 0 20 0 17 0 657299134 1026453504 205163 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 787.56
Current children cumulated vsize (KiB) 1002396

[startup+102.313 s]
/proc/loadavg: 15.73 15.29 13.78 18/201 30015
/proc/meminfo: memFree=17618200/36427776 swapFree=4692/1379992
[pid=29998] ppid=29996 vsize=1591012 CPUtime=1603.73
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 343746 0 0 0 149891 10482 0 0 20 0 17 0 657298989 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 397753 343195 95 177 0 397575 0
[pid=29998/tid=30000] ppid=29996 vsize=1591012 CPUtime=100.8
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 17763 0 0 0 10026 54 0 0 20 0 17 0 657299133 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562272 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=1591012 CPUtime=100.41
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 27260 0 0 0 9405 636 0 0 20 0 17 0 657299133 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=1591012 CPUtime=100.21
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 17914 0 0 0 9371 650 0 0 20 0 17 0 657299133 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=1591012 CPUtime=100.32
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 18745 0 0 0 9400 632 0 0 20 0 17 0 657299133 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=1591012 CPUtime=100.04
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 12220 0 0 0 9284 720 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=1591012 CPUtime=100.07
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 23528 0 0 0 9207 800 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=1591012 CPUtime=100.14
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 23791 0 0 0 9282 732 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=1591012 CPUtime=100.2
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 31311 0 0 0 9268 752 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=1591012 CPUtime=100.32
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 22435 0 0 0 9382 650 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=1591012 CPUtime=100.15
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 14872 0 0 0 9285 730 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=1591012 CPUtime=100.3
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 24987 0 0 0 9376 654 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134680336 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=1591012 CPUtime=100.19
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 12761 0 0 0 9283 736 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562357 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=1591012 CPUtime=100.27
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 18932 0 0 0 9341 686 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=1591012 CPUtime=98.12
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 24219 0 0 0 9084 728 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=1591012 CPUtime=100.24
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 22607 0 0 0 9354 670 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=1591012 CPUtime=100.37
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 16700 0 0 0 9399 638 0 0 20 0 17 0 657299134 1629196288 343195 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1603.73
Current children cumulated vsize (KiB) 1591012



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+154.205 s]
/proc/loadavg: 15.88 15.39 13.90 17/201 30015
/proc/meminfo: memFree=17142360/36427776 swapFree=4692/1852576
[pid=29998] ppid=29996 vsize=2097288 CPUtime=2431.91
/proc/29998/stat : 29998 (ttsth-5-0) S 29996 29998 15497 0 -1 4202496 462035 0 0 0 231717 11474 0 0 20 0 17 0 657298989 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 524322 461484 95 177 0 524144 0
[pid=29998/tid=30000] ppid=29996 vsize=2097288 CPUtime=152.7
/proc/29998/task/30000/stat : 30000 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 23233 0 0 0 15198 72 0 0 20 0 17 0 657299133 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29998/tid=30001] ppid=29996 vsize=2097288 CPUtime=152.27
/proc/29998/task/30001/stat : 30001 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 36289 0 0 0 14537 690 0 0 20 0 17 0 657299133 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29998/tid=30002] ppid=29996 vsize=2097288 CPUtime=152.05
/proc/29998/task/30002/stat : 30002 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 24146 0 0 0 14501 704 0 0 20 0 17 0 657299133 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=29998/tid=30003] ppid=29996 vsize=2097288 CPUtime=152.1
/proc/29998/task/30003/stat : 30003 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 26134 0 0 0 14500 710 0 0 20 0 17 0 657299133 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29998/tid=30004] ppid=29996 vsize=2097288 CPUtime=151.84
/proc/29998/task/30004/stat : 30004 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 16558 0 0 0 14394 790 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=29998/tid=30005] ppid=29996 vsize=2097288 CPUtime=151.87
/proc/29998/task/30005/stat : 30005 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 30959 0 0 0 14317 870 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=29998/tid=30006] ppid=29996 vsize=2097288 CPUtime=151.95
/proc/29998/task/30006/stat : 30006 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 33987 0 0 0 14387 808 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=29998/tid=30007] ppid=29996 vsize=2097288 CPUtime=152
/proc/29998/task/30007/stat : 30007 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 41447 0 0 0 14380 820 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=29998/tid=30008] ppid=29996 vsize=2097288 CPUtime=152.16
/proc/29998/task/30008/stat : 30008 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 31197 0 0 0 14484 732 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=29998/tid=30009] ppid=29996 vsize=2097288 CPUtime=151.94
/proc/29998/task/30009/stat : 30009 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 20550 0 0 0 14396 798 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29998/tid=30010] ppid=29996 vsize=2097288 CPUtime=152.12
/proc/29998/task/30010/stat : 30010 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 34557 0 0 0 14498 714 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=29998/tid=30011] ppid=29996 vsize=2097288 CPUtime=152.02
/proc/29998/task/30011/stat : 30011 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 16453 0 0 0 14418 784 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29998/tid=30012] ppid=29996 vsize=2097288 CPUtime=152.07
/proc/29998/task/30012/stat : 30012 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 26115 0 0 0 14457 750 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29998/tid=30013] ppid=29996 vsize=2097288 CPUtime=148.91
/proc/29998/task/30013/stat : 30013 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 33162 0 0 0 14093 798 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29998/tid=30014] ppid=29996 vsize=2097288 CPUtime=152.08
/proc/29998/task/30014/stat : 30014 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 30365 0 0 0 14474 734 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=2097288 CPUtime=152.22
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4202560 23182 0 0 0 14532 690 0 0 20 0 17 0 657299134 2147622912 461484 18446744073709551615 134512640 135237372 4292176944 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2431.91
Current children cumulated vsize (KiB) 2097288

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

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

[startup+154.401 s]
/proc/loadavg: 15.88 15.39 13.90 17/201 30015
/proc/meminfo: memFree=17142360/36427776 swapFree=4692/1852576
[pid=29998] ppid=29996 vsize=0 CPUtime=2432.23
/proc/29998/stat : 29998 (ttsth-5-0) Z 29996 29998 15497 0 -1 4203532 462051 0 0 0 231730 11493 0 0 20 0 2 0 657298989 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/29998/statm: 0 0 0 0 0 0 0
[pid=29998/tid=30015] ppid=29996 vsize=0 CPUtime=152.4
/proc/29998/task/30015/stat : 30015 (ttsth-5-0) R 29996 29998 15497 0 -1 4203588 23182 0 0 0 14534 706 0 0 20 0 2 0 657299134 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2432.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 154.421
CPU time (s): 2432.28
CPU user time (s): 2317.32
CPU system time (s): 114.959
CPU usage (%): 1575.09
Max. virtual memory (cumulated for all children) (KiB): 2097288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2317.32
system time used= 114.959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462051
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= 114191
involuntary context switches= 5678

runsolver used 0.740046 second user time and 2.27614 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:45:26
IDJOB=1780980
IDBENCH=71084
IDSOLVER=634
FILE ID=xenhost3-49/1780980-1244979926
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= fbf37caab2e9eafe910c795f49053484
RANDOM SEED= 61844458

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:      18988240 kB
Buffers:        524820 kB
Cached:       14120392 kB
SwapCached:          0 kB
Active:        4171288 kB
Inactive:     10482380 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2708 kB
Writeback:           0 kB
AnonPages:        8436 kB
Mapped:           3764 kB
Slab:           733576 kB
SReclaimable:   706720 kB
SUnreclaim:      26856 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29376 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:48:03