Trace number 1778985

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) 641.788 40.9046

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo016.cnf
MD5SUM576249eded8a3c95c0b3aa8dcd51992e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark18.9
Satisfiable
(Un)Satisfiability was proved
Number of variables2945
Number of clauses8738
Sum of the clauses size20386
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 25824
Number of clauses of size 32912
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778985-1244948260.cnf 
0.00/0.01	c Using SATTIMEOUT of 10000
0.00/0.01	c Using SATRAM of 2047
0.00/0.01	c Size of subset node = 16
0.00/0.01	c Variables = 2945
0.00/0.01	c Clauses = 8738
0.00/0.01	c Literals = 20386
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 2945
0.00/0.01	c Clauses = 8734
0.00/0.01	c Literals = 20379
0.00/0.01	c a2
0.00/0.01	c a1
0.10/0.19	c Independent sub-problems = 1
0.10/0.19	c Sub-problem with 2943 variables and 8734 clauses
0.10/0.19	c using permutation method 4
0.10/0.19	c count = 1
0.10/0.19	c Ordering finished 0.190 seconds
0.10/0.19	c mapped 0.190 seconds
0.10/0.19	c permuted 0.190 seconds
0.10/0.19	c about to sort
0.10/0.19	c sorted
0.20/0.28	c clauses now 8734
0.20/0.28	c init finished 0.250 seconds
0.20/0.28	c tree built 0.270 seconds
0.20/0.28	c 
0.20/0.28	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.20/0.28	c ---------------------------------|----------------------------------|------------------------------------------------------
0.20/0.28	c ................................ | ..........                       |                        0.3           0.0             
0.20/0.28	c ................................ | ..........                     1 |                        0.3           3.7             
0.20/0.28	c ................................ | ..........                     2 |                        0.3           7.4             
0.20/0.28	c ................................ | ..........                     3 |                        0.3          11.1             
0.20/0.28	c ................................ | ..........                     4 |                        0.3          14.8             
0.20/0.28	c ................................ | ..........                     5 |                        0.3          18.5             
0.20/0.29	c ................................ | ..........                  1000 | 14                     0.3        2941.2         1262
209.08/13.55	c ................................ | ..........                 65000 | 2705                 201.2         323.0     12423097
410.67/26.29	c ................................ | ..........                124000 | 5097                 401.6         308.7     25481609
612.52/38.97	c ................................ | ..........                192000 | 7962                 601.7         319.1     41129867

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-1778985-1244948260/watcher-1778985-1244948260 -o /tmp/evaluation-result-1778985-1244948260/solver-1778985-1244948260 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778985-1244948260.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: 13.21 7.00 4.83 2/184 22228
/proc/meminfo: memFree=19051280/36427776 swapFree=4312/6884
[pid=22228] ppid=22226 vsize=1540 CPUtime=0
/proc/22228/stat : 22228 (ttsth-5-0) R 22226 22228 15497 0 -1 4202496 285 0 0 0 0 0 0 0 20 0 1 0 654132343 1576960 242 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134533994 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 385 242 75 177 0 207 0

[startup+0.026986 s]
/proc/loadavg: 13.21 7.00 4.83 2/184 22228
/proc/meminfo: memFree=19051280/36427776 swapFree=4312/6884
[pid=22228] ppid=22226 vsize=2600 CPUtime=0.02
/proc/22228/stat : 22228 (ttsth-5-0) R 22226 22228 15497 0 -1 4202496 536 0 0 0 2 0 0 0 20 0 1 0 654132343 2662400 492 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 650 493 77 177 0 472 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2600

[startup+0.103008 s]
/proc/loadavg: 13.21 7.00 4.83 2/184 22228
/proc/meminfo: memFree=19051280/36427776 swapFree=4312/6884
[pid=22228] ppid=22226 vsize=2600 CPUtime=0.1
/proc/22228/stat : 22228 (ttsth-5-0) R 22226 22228 15497 0 -1 4202496 559 0 0 0 10 0 0 0 20 0 1 0 654132343 2662400 515 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134600972 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 650 515 77 177 0 472 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2600

[startup+0.304586 s]
/proc/loadavg: 13.21 7.00 4.83 2/184 22228
/proc/meminfo: memFree=19051280/36427776 swapFree=4312/6884
[pid=22228] ppid=22226 vsize=170760 CPUtime=0.53
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 9191 0 0 0 34 19 0 0 20 0 17 0 654132343 174858240 9145 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 42690 9147 95 177 0 42512 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 170760

[startup+0.702692 s]
/proc/loadavg: 13.21 7.00 4.83 2/184 22228
/proc/meminfo: memFree=19051280/36427776 swapFree=4312/6884
[pid=22228] ppid=22226 vsize=183256 CPUtime=6.62
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 12947 0 0 0 70 592 0 0 20 0 17 0 654132343 187654144 12901 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 45814 12902 95 177 0 45636 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 183256

[startup+1.50157 s]
/proc/loadavg: 13.21 7.00 4.83 17/201 22245
/proc/meminfo: memFree=18989716/36427776 swapFree=4692/71580
[pid=22228] ppid=22226 vsize=225008 CPUtime=20.18
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 23529 0 0 0 896 1122 0 0 20 0 17 0 654132343 230408192 23483 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 56252 23486 95 177 0 56074 0
[pid=22228/tid=22230] ppid=22226 vsize=225008 CPUtime=1.2
/proc/22228/task/22230/stat : 22230 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2616 0 0 0 82 38 0 0 20 0 17 0 654132371 230408192 23487 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22228/tid=22231] ppid=22226 vsize=225008 CPUtime=1.22
/proc/22228/task/22231/stat : 22231 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 719 0 0 0 46 76 0 0 20 0 17 0 654132371 230408192 23488 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22228/tid=22232] ppid=22226 vsize=225008 CPUtime=1.26
/proc/22228/task/22232/stat : 22232 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 723 0 0 0 48 78 0 0 20 0 17 0 654132371 230408192 23489 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22228/tid=22233] ppid=22226 vsize=225008 CPUtime=1.22
/proc/22228/task/22233/stat : 22233 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 901 0 0 0 54 68 0 0 20 0 17 0 654132371 230408192 23491 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22228/tid=22234] ppid=22226 vsize=225008 CPUtime=1.24
/proc/22228/task/22234/stat : 22234 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 746 0 0 0 44 80 0 0 20 0 17 0 654132371 230408192 23491 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22228/tid=22235] ppid=22226 vsize=225008 CPUtime=1.26
/proc/22228/task/22235/stat : 22235 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 860 0 0 0 54 72 0 0 20 0 17 0 654132371 230408192 23491 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22228/tid=22236] ppid=22226 vsize=225008 CPUtime=1.28
/proc/22228/task/22236/stat : 22236 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 698 0 0 0 50 78 0 0 20 0 17 0 654132371 230408192 23491 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22228/tid=22237] ppid=22226 vsize=225008 CPUtime=1.22
/proc/22228/task/22237/stat : 22237 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1161 0 0 0 64 58 0 0 20 0 17 0 654132371 230408192 23492 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22228/tid=22238] ppid=22226 vsize=225008 CPUtime=1.22
/proc/22228/task/22238/stat : 22238 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 936 0 0 0 58 64 0 0 20 0 17 0 654132371 230408192 23492 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22228/tid=22239] ppid=22226 vsize=225008 CPUtime=1.22
/proc/22228/task/22239/stat : 22239 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 857 0 0 0 52 70 0 0 20 0 17 0 654132371 230408192 23492 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22228/tid=22240] ppid=22226 vsize=225008 CPUtime=1.26
/proc/22228/task/22240/stat : 22240 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 868 0 0 0 60 66 0 0 20 0 17 0 654132371 230408192 23493 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22228/tid=22241] ppid=22226 vsize=225008 CPUtime=1.24
/proc/22228/task/22241/stat : 22241 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 618 0 0 0 46 78 0 0 20 0 17 0 654132371 230408192 23493 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22228/tid=22242] ppid=22226 vsize=225008 CPUtime=1.24
/proc/22228/task/22242/stat : 22242 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 731 0 0 0 56 68 0 0 20 0 17 0 654132371 230408192 23493 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=225008 CPUtime=1.26
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 637 0 0 0 48 78 0 0 20 0 17 0 654132371 230408192 23495 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134551745 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22228/tid=22244] ppid=22226 vsize=225008 CPUtime=1.26
/proc/22228/task/22244/stat : 22244 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 667 0 0 0 50 76 0 0 20 0 17 0 654132372 230408192 23495 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22228/tid=22245] ppid=22226 vsize=225008 CPUtime=1.16
/proc/22228/task/22245/stat : 22245 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1002 0 0 0 52 64 0 0 20 0 17 0 654132372 230408192 23495 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 20.18
Current children cumulated vsize (KiB) 225008

[startup+3.10327 s]
/proc/loadavg: 13.21 7.00 4.83 17/201 22245
/proc/meminfo: memFree=18931368/36427776 swapFree=4692/131404
[pid=22228] ppid=22226 vsize=300644 CPUtime=46.77
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 42461 0 0 0 3555 1122 0 0 20 0 17 0 654132343 307859456 42416 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 75161 42417 95 177 0 74983 0
[pid=22228/tid=22230] ppid=22226 vsize=300804 CPUtime=2.84
/proc/22228/task/22230/stat : 22230 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 3682 0 0 0 246 38 0 0 20 0 17 0 654132371 308023296 42417 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22228/tid=22231] ppid=22226 vsize=300804 CPUtime=2.9
/proc/22228/task/22231/stat : 22231 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1965 0 0 0 214 76 0 0 20 0 17 0 654132371 308023296 42418 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22228/tid=22232] ppid=22226 vsize=300804 CPUtime=2.92
/proc/22228/task/22232/stat : 22232 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2033 0 0 0 214 78 0 0 20 0 17 0 654132371 308023296 42421 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22228/tid=22233] ppid=22226 vsize=300804 CPUtime=2.84
/proc/22228/task/22233/stat : 22233 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2077 0 0 0 216 68 0 0 20 0 17 0 654132371 308023296 42421 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22228/tid=22234] ppid=22226 vsize=300804 CPUtime=2.94
/proc/22228/task/22234/stat : 22234 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2296 0 0 0 214 80 0 0 20 0 17 0 654132371 308023296 42422 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22228/tid=22235] ppid=22226 vsize=300804 CPUtime=2.92
/proc/22228/task/22235/stat : 22235 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2165 0 0 0 220 72 0 0 20 0 17 0 654132371 308023296 42422 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22228/tid=22236] ppid=22226 vsize=300804 CPUtime=2.94
/proc/22228/task/22236/stat : 22236 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1908 0 0 0 216 78 0 0 20 0 17 0 654132371 308023296 42423 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22228/tid=22237] ppid=22226 vsize=300804 CPUtime=2.82
/proc/22228/task/22237/stat : 22237 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2342 0 0 0 224 58 0 0 20 0 17 0 654132371 308023296 42424 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22228/tid=22238] ppid=22226 vsize=300804 CPUtime=2.86
/proc/22228/task/22238/stat : 22238 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1995 0 0 0 222 64 0 0 20 0 17 0 654132371 308023296 42425 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22228/tid=22239] ppid=22226 vsize=300804 CPUtime=2.92
/proc/22228/task/22239/stat : 22239 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2082 0 0 0 222 70 0 0 20 0 17 0 654132371 308023296 42425 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22228/tid=22240] ppid=22226 vsize=300804 CPUtime=2.92
/proc/22228/task/22240/stat : 22240 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2004 0 0 0 226 66 0 0 20 0 17 0 654132371 308023296 42426 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22228/tid=22241] ppid=22226 vsize=300804 CPUtime=2.96
/proc/22228/task/22241/stat : 22241 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1768 0 0 0 218 78 0 0 20 0 17 0 654132371 308023296 42426 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22228/tid=22242] ppid=22226 vsize=300804 CPUtime=2.94
/proc/22228/task/22242/stat : 22242 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1784 0 0 0 226 68 0 0 20 0 17 0 654132371 308023296 42427 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=300804 CPUtime=2.88
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1663 0 0 0 210 78 0 0 20 0 17 0 654132371 308023296 42429 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22228/tid=22244] ppid=22226 vsize=300804 CPUtime=2.94
/proc/22228/task/22244/stat : 22244 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 1668 0 0 0 218 76 0 0 20 0 17 0 654132372 308023296 42429 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22228/tid=22245] ppid=22226 vsize=300804 CPUtime=2.82
/proc/22228/task/22245/stat : 22245 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 2239 0 0 0 218 64 0 0 20 0 17 0 654132372 308023296 42429 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134566159 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 46.77
Current children cumulated vsize (KiB) 300644

[startup+6.30264 s]
/proc/loadavg: 13.35 7.14 4.88 17/201 22245
/proc/meminfo: memFree=18775656/36427776 swapFree=4692/285316
[pid=22228] ppid=22226 vsize=450816 CPUtime=96.62
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 80105 0 0 0 8540 1122 0 0 20 0 17 0 654132343 461635584 80060 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 112704 80063 95 177 0 112526 0
[pid=22228/tid=22230] ppid=22226 vsize=450816 CPUtime=5.98
/proc/22228/task/22230/stat : 22230 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 5998 0 0 0 560 38 0 0 20 0 17 0 654132371 461635584 80063 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22228/tid=22231] ppid=22226 vsize=450816 CPUtime=6.04
/proc/22228/task/22231/stat : 22231 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4358 0 0 0 528 76 0 0 20 0 17 0 654132371 461635584 80063 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546076 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22228/tid=22232] ppid=22226 vsize=450816 CPUtime=6
/proc/22228/task/22232/stat : 22232 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4799 0 0 0 522 78 0 0 20 0 17 0 654132371 461635584 80063 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22228/tid=22233] ppid=22226 vsize=450816 CPUtime=5.98
/proc/22228/task/22233/stat : 22233 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4557 0 0 0 530 68 0 0 20 0 17 0 654132371 461635584 80064 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22228/tid=22234] ppid=22226 vsize=450816 CPUtime=6.06
/proc/22228/task/22234/stat : 22234 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4880 0 0 0 526 80 0 0 20 0 17 0 654132371 461635584 80066 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134634688 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22228/tid=22235] ppid=22226 vsize=450816 CPUtime=6.04
/proc/22228/task/22235/stat : 22235 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4843 0 0 0 532 72 0 0 20 0 17 0 654132371 461635584 80066 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22228/tid=22236] ppid=22226 vsize=450816 CPUtime=6.08
/proc/22228/task/22236/stat : 22236 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4294 0 0 0 530 78 0 0 20 0 17 0 654132371 461635584 80067 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22228/tid=22237] ppid=22226 vsize=450816 CPUtime=5.9
/proc/22228/task/22237/stat : 22237 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4799 0 0 0 532 58 0 0 20 0 17 0 654132371 461635584 80068 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22228/tid=22238] ppid=22226 vsize=450816 CPUtime=6
/proc/22228/task/22238/stat : 22238 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4106 0 0 0 536 64 0 0 20 0 17 0 654132371 461635584 80068 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22228/tid=22239] ppid=22226 vsize=450816 CPUtime=6.06
/proc/22228/task/22239/stat : 22239 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4334 0 0 0 536 70 0 0 20 0 17 0 654132371 461635584 80068 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22228/tid=22240] ppid=22226 vsize=450816 CPUtime=6.02
/proc/22228/task/22240/stat : 22240 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4323 0 0 0 536 66 0 0 20 0 17 0 654132371 461635584 80070 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22228/tid=22241] ppid=22226 vsize=450816 CPUtime=6.1
/proc/22228/task/22241/stat : 22241 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 3917 0 0 0 532 78 0 0 20 0 17 0 654132371 461635584 80070 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22228/tid=22242] ppid=22226 vsize=450816 CPUtime=6.04
/proc/22228/task/22242/stat : 22242 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 3847 0 0 0 536 68 0 0 20 0 17 0 654132371 461635584 80070 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=450816 CPUtime=5.94
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 3996 0 0 0 516 78 0 0 20 0 17 0 654132371 461635584 80070 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22228/tid=22244] ppid=22226 vsize=450816 CPUtime=6.04
/proc/22228/task/22244/stat : 22244 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 3867 0 0 0 528 76 0 0 20 0 17 0 654132372 461635584 80071 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22228/tid=22245] ppid=22226 vsize=450816 CPUtime=5.92
/proc/22228/task/22245/stat : 22245 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 4396 0 0 0 528 64 0 0 20 0 17 0 654132372 461635584 80072 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 96.62
Current children cumulated vsize (KiB) 450816

[startup+12.7057 s]
/proc/loadavg: 13.56 7.28 4.94 17/201 22245
/proc/meminfo: memFree=18465344/36427776 swapFree=4692/593680
[pid=22228] ppid=22226 vsize=752000 CPUtime=196.45
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 155395 0 0 0 18465 1180 0 0 20 0 17 0 654132343 770048000 155350 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 188000 155351 95 177 0 187822 0
[pid=22228/tid=22230] ppid=22226 vsize=752000 CPUtime=12.38
/proc/22228/task/22230/stat : 22230 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 10926 0 0 0 1190 48 0 0 20 0 17 0 654132371 770048000 155351 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22228/tid=22231] ppid=22226 vsize=752000 CPUtime=12.26
/proc/22228/task/22231/stat : 22231 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8982 0 0 0 1146 80 0 0 20 0 17 0 654132371 770048000 155352 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22228/tid=22232] ppid=22226 vsize=752000 CPUtime=12.2
/proc/22228/task/22232/stat : 22232 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 10486 0 0 0 1140 80 0 0 20 0 17 0 654132371 770048000 155353 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22228/tid=22233] ppid=22226 vsize=752000 CPUtime=12.16
/proc/22228/task/22233/stat : 22233 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 9053 0 0 0 1144 72 0 0 20 0 17 0 654132371 770048000 155353 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22228/tid=22234] ppid=22226 vsize=752000 CPUtime=12.28
/proc/22228/task/22234/stat : 22234 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 10693 0 0 0 1144 84 0 0 20 0 17 0 654132371 770048000 155353 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22228/tid=22235] ppid=22226 vsize=752000 CPUtime=12.26
/proc/22228/task/22235/stat : 22235 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 10042 0 0 0 1154 72 0 0 20 0 17 0 654132371 770048000 155354 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22228/tid=22236] ppid=22226 vsize=752000 CPUtime=12.28
/proc/22228/task/22236/stat : 22236 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 9352 0 0 0 1150 78 0 0 20 0 17 0 654132371 770048000 155355 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22228/tid=22237] ppid=22226 vsize=752000 CPUtime=12.26
/proc/22228/task/22237/stat : 22237 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 9666 0 0 0 1158 68 0 0 20 0 17 0 654132371 770048000 155355 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22228/tid=22238] ppid=22226 vsize=752000 CPUtime=12.22
/proc/22228/task/22238/stat : 22238 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8374 0 0 0 1154 68 0 0 20 0 17 0 654132371 770048000 155355 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22228/tid=22239] ppid=22226 vsize=752000 CPUtime=12.34
/proc/22228/task/22239/stat : 22239 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8866 0 0 0 1164 70 0 0 20 0 17 0 654132371 770048000 155355 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546001 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22228/tid=22240] ppid=22226 vsize=752000 CPUtime=12.3
/proc/22228/task/22240/stat : 22240 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8593 0 0 0 1156 74 0 0 20 0 17 0 654132371 770048000 155355 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22228/tid=22241] ppid=22226 vsize=752000 CPUtime=12.32
/proc/22228/task/22241/stat : 22241 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8535 0 0 0 1154 78 0 0 20 0 17 0 654132371 770048000 155356 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22228/tid=22242] ppid=22226 vsize=752000 CPUtime=12.3
/proc/22228/task/22242/stat : 22242 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8018 0 0 0 1162 68 0 0 20 0 17 0 654132371 770048000 155356 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=752000 CPUtime=12
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8457 0 0 0 1122 78 0 0 20 0 17 0 654132371 770048000 155356 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134590238 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22228/tid=22244] ppid=22226 vsize=752000 CPUtime=12.26
/proc/22228/task/22244/stat : 22244 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 7954 0 0 0 1146 80 0 0 20 0 17 0 654132372 770048000 155357 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22228/tid=22245] ppid=22226 vsize=752000 CPUtime=12.26
/proc/22228/task/22245/stat : 22245 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 8607 0 0 0 1150 76 0 0 20 0 17 0 654132372 770048000 155357 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 196.45
Current children cumulated vsize (KiB) 752000

[startup+25.5051 s]
/proc/loadavg: 14.10 7.71 5.12 17/201 22245
/proc/meminfo: memFree=17834428/36427776 swapFree=4692/1225392
[pid=22228] ppid=22226 vsize=1362704 CPUtime=399.59
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 308309 0 0 0 38369 1590 0 0 20 0 17 0 654132343 1395408896 308263 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 340676 308265 95 177 0 340498 0
[pid=22228/tid=22230] ppid=22226 vsize=1362704 CPUtime=25.14
/proc/22228/task/22230/stat : 22230 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 21001 0 0 0 2450 64 0 0 20 0 17 0 654132371 1395408896 308266 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22228/tid=22231] ppid=22226 vsize=1362704 CPUtime=24.94
/proc/22228/task/22231/stat : 22231 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 18827 0 0 0 2388 106 0 0 20 0 17 0 654132371 1395408896 308267 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22228/tid=22232] ppid=22226 vsize=1362704 CPUtime=24.9
/proc/22228/task/22232/stat : 22232 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 21694 0 0 0 2378 112 0 0 20 0 17 0 654132371 1395408896 308267 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22228/tid=22233] ppid=22226 vsize=1362704 CPUtime=24.86
/proc/22228/task/22233/stat : 22233 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 18556 0 0 0 2382 104 0 0 20 0 17 0 654132371 1395408896 308267 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22228/tid=22234] ppid=22226 vsize=1362704 CPUtime=24.96
/proc/22228/task/22234/stat : 22234 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 22013 0 0 0 2384 112 0 0 20 0 17 0 654132371 1395408896 308267 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22228/tid=22235] ppid=22226 vsize=1362704 CPUtime=24.96
/proc/22228/task/22235/stat : 22235 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 21356 0 0 0 2394 102 0 0 20 0 17 0 654132371 1395408896 308267 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22228/tid=22236] ppid=22226 vsize=1362704 CPUtime=24.98
/proc/22228/task/22236/stat : 22236 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 19200 0 0 0 2398 100 0 0 20 0 17 0 654132371 1395408896 308268 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22228/tid=22237] ppid=22226 vsize=1362704 CPUtime=24.98
/proc/22228/task/22237/stat : 22237 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 19317 0 0 0 2402 96 0 0 20 0 17 0 654132371 1395408896 308268 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22228/tid=22238] ppid=22226 vsize=1362704 CPUtime=24.94
/proc/22228/task/22238/stat : 22238 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 16374 0 0 0 2398 96 0 0 20 0 17 0 654132371 1395408896 308270 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22228/tid=22239] ppid=22226 vsize=1362704 CPUtime=25.06
/proc/22228/task/22239/stat : 22239 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 18259 0 0 0 2418 88 0 0 20 0 17 0 654132371 1395408896 308271 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22228/tid=22240] ppid=22226 vsize=1362704 CPUtime=25.04
/proc/22228/task/22240/stat : 22240 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 17414 0 0 0 2408 96 0 0 20 0 17 0 654132371 1395408896 308271 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22228/tid=22241] ppid=22226 vsize=1362704 CPUtime=25.02
/proc/22228/task/22241/stat : 22241 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 17963 0 0 0 2398 104 0 0 20 0 17 0 654132371 1395408896 308272 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22228/tid=22242] ppid=22226 vsize=1362704 CPUtime=25.02
/proc/22228/task/22242/stat : 22242 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 16068 0 0 0 2414 88 0 0 20 0 17 0 654132371 1395408896 308272 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=1362704 CPUtime=24.46
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 18232 0 0 0 2336 110 0 0 20 0 17 0 654132371 1395408896 308273 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134593369 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22228/tid=22244] ppid=22226 vsize=1362704 CPUtime=24.94
/proc/22228/task/22244/stat : 22244 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 16551 0 0 0 2388 106 0 0 20 0 17 0 654132372 1395408896 308273 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22228/tid=22245] ppid=22226 vsize=1362704 CPUtime=25.02
/proc/22228/task/22245/stat : 22245 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 16693 0 0 0 2400 102 0 0 20 0 17 0 654132372 1395408896 308274 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 399.59
Current children cumulated vsize (KiB) 1362704



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+40.7143 s]
/proc/loadavg: 14.52 8.12 5.29 17/201 22245
/proc/meminfo: memFree=17081904/36427776 swapFree=4692/1977348
[pid=22228] ppid=22226 vsize=2099304 CPUtime=641.41
/proc/22228/stat : 22228 (ttsth-5-0) S 22226 22228 15497 0 -1 4202496 492338 0 0 0 62109 2032 0 0 20 0 17 0 654132343 2149687296 492292 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 524826 492292 95 177 0 524648 0
[pid=22228/tid=22230] ppid=22226 vsize=2099304 CPUtime=40.33
/proc/22228/task/22230/stat : 22230 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 34698 0 0 0 3947 86 0 0 20 0 17 0 654132371 2149687296 492293 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22228/tid=22231] ppid=22226 vsize=2099304 CPUtime=40.02
/proc/22228/task/22231/stat : 22231 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 29871 0 0 0 3872 130 0 0 20 0 17 0 654132371 2149687296 492293 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22228/tid=22232] ppid=22226 vsize=2099304 CPUtime=40
/proc/22228/task/22232/stat : 22232 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 34890 0 0 0 3854 146 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22228/tid=22233] ppid=22226 vsize=2099304 CPUtime=39.97
/proc/22228/task/22233/stat : 22233 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 29700 0 0 0 3865 132 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22228/tid=22234] ppid=22226 vsize=2099304 CPUtime=40.12
/proc/22228/task/22234/stat : 22234 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 33738 0 0 0 3878 134 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22228/tid=22235] ppid=22226 vsize=2099304 CPUtime=40.06
/proc/22228/task/22235/stat : 22235 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 34436 0 0 0 3870 136 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22228/tid=22236] ppid=22226 vsize=2099304 CPUtime=40.11
/proc/22228/task/22236/stat : 22236 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 30927 0 0 0 3881 130 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22228/tid=22237] ppid=22226 vsize=2099304 CPUtime=40.08
/proc/22228/task/22237/stat : 22237 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 31539 0 0 0 3878 130 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134545992 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22228/tid=22238] ppid=22226 vsize=2099304 CPUtime=40.05
/proc/22228/task/22238/stat : 22238 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 27067 0 0 0 3885 120 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22228/tid=22239] ppid=22226 vsize=2099304 CPUtime=40.24
/proc/22228/task/22239/stat : 22239 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 30063 0 0 0 3914 110 0 0 20 0 17 0 654132371 2149687296 492296 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22228/tid=22240] ppid=22226 vsize=2099304 CPUtime=40.18
/proc/22228/task/22240/stat : 22240 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 27947 0 0 0 3896 122 0 0 20 0 17 0 654132371 2149687296 492298 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22228/tid=22241] ppid=22226 vsize=2099304 CPUtime=40.15
/proc/22228/task/22241/stat : 22241 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 29128 0 0 0 3883 132 0 0 20 0 17 0 654132371 2149687296 492300 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22228/tid=22242] ppid=22226 vsize=2099304 CPUtime=40.17
/proc/22228/task/22242/stat : 22242 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 25441 0 0 0 3905 112 0 0 20 0 17 0 654132371 2149687296 492300 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=2099304 CPUtime=39.29
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 31205 0 0 0 3783 146 0 0 20 0 17 0 654132371 2149687296 492300 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134749343 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22228/tid=22244] ppid=22226 vsize=2099304 CPUtime=40.07
/proc/22228/task/22244/stat : 22244 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 26809 0 0 0 3877 130 0 0 20 0 17 0 654132372 2149687296 492300 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22228/tid=22245] ppid=22226 vsize=2099304 CPUtime=40.21
/proc/22228/task/22245/stat : 22245 (ttsth-5-0) R 22226 22228 15497 0 -1 4202560 26086 0 0 0 3893 128 0 0 20 0 17 0 654132372 2149687296 492302 18446744073709551615 134512640 135237372 4293832128 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 641.41
Current children cumulated vsize (KiB) 2099304

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

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

[startup+40.8663 s]
/proc/loadavg: 14.52 8.12 5.29 17/201 22245
/proc/meminfo: memFree=17081904/36427776 swapFree=4692/1977348
[pid=22228] ppid=22226 vsize=0 CPUtime=641.73
/proc/22228/stat : 22228 (ttsth-5-0) Z 22226 22228 15497 0 -1 4203532 492490 0 0 0 62125 2048 0 0 20 0 2 0 654132343 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 0 0 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=0 CPUtime=39.42
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4203588 31221 0 0 0 3784 158 0 0 20 0 2 0 654132371 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 641.73
Current children cumulated vsize (KiB) 0

[startup+40.9023 s]
/proc/loadavg: 14.52 8.12 5.29 17/201 22245
/proc/meminfo: memFree=17081904/36427776 swapFree=4692/1977348
[pid=22228] ppid=22226 vsize=0 CPUtime=641.78
/proc/22228/stat : 22228 (ttsth-5-0) Z 22226 22228 15497 0 -1 4203532 492490 0 0 0 62126 2052 0 0 20 0 2 0 654132343 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22228/statm: 0 0 0 0 0 0 0
[pid=22228/tid=22243] ppid=22226 vsize=0 CPUtime=39.47
/proc/22228/task/22243/stat : 22243 (ttsth-5-0) R 22226 22228 15497 0 -1 4203588 31221 0 0 0 3785 162 0 0 20 0 2 0 654132371 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 641.78
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 40.9046
CPU time (s): 641.788
CPU user time (s): 621.263
CPU system time (s): 20.5253
CPU usage (%): 1568.99
Max. virtual memory (cumulated for all children) (KiB): 2099304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 621.263
system time used= 20.5253
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492490
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= 42732
involuntary context switches= 1510

runsolver used 0.188011 second user time and 0.716044 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:57:40
IDJOB=1778985
IDBENCH=70788
IDSOLVER=634
FILE ID=xenhost3-49/1778985-1244948260
PBS_JOBID=
Free space on /tmp= 7025 MiB

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

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

MD5SUM BENCH= 576249eded8a3c95c0b3aa8dcd51992e
RANDOM SEED= 284544514

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:      19051280 kB
Buffers:        480644 kB
Cached:       14116256 kB
SwapCached:          0 kB
Active:        4126076 kB
Inactive:     10478392 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             676 kB
Writeback:           0 kB
AnonPages:        6884 kB
Mapped:           3648 kB
Slab:           720244 kB
SReclaimable:   693428 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7024 MiB
End job on xenhost3-49 at 2009-06-14 04:58:23