Trace number 1778940

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) 1067.56 71.7093

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl016.cnf
MD5SUM505fee3283f518ccb9d234f549b3c214
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.66
Satisfiable
(Un)Satisfiability was proved
Number of variables4567
Number of clauses13652
Sum of the clauses size31852
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 29100
Number of clauses of size 34550
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-1778940-1244948093.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 = 4567
0.00/0.01	c Clauses = 13652
0.00/0.01	c Literals = 31852
0.00/0.01	c Reduced size:
0.00/0.01	c Variables = 4567
0.00/0.01	c Clauses = 13648
0.00/0.01	c Literals = 31845
0.00/0.01	c a2
0.00/0.03	c a1
0.48/0.51	c Independent sub-problems = 1
0.48/0.51	c Sub-problem with 4565 variables and 13648 clauses
0.48/0.51	c using permutation method 4
0.48/0.51	c count = 1
0.48/0.51	c Ordering finished 0.510 seconds
0.48/0.51	c mapped 0.510 seconds
0.48/0.51	c permuted 0.510 seconds
0.48/0.51	c about to sort
0.48/0.51	c sorted
0.58/0.65	c clauses now 13648
0.58/0.65	c init finished 0.600 seconds
0.58/0.65	c tree built 0.650 seconds
0.58/0.65	c 
0.58/0.65	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
0.58/0.65	c ---------------------------------|----------------------------------|------------------------------------------------------
0.58/0.65	c ................................ | ..........                       |                        0.7           0.0             
0.58/0.65	c ................................ | ..........                     1 |                        0.7           1.5             
0.58/0.65	c ................................ | ..........                     2 |                        0.7           3.1             
0.58/0.65	c ................................ | ..........                     3 |                        0.7           4.6             
0.58/0.65	c ................................ | ..........                     4 |                        0.7           6.2            1
0.58/0.65	c ................................ | ..........                     5 |                        0.7           7.7            2
0.58/0.66	c ................................ | ..........                  1000 | 8                      0.7        1428.6          117
212.02/15.79	c ................................ | ..........                274000 | 11188                200.9        1363.7     28869355
416.82/29.93	c ................................ | ..........                441000 | 17759                400.9        1100.1     51937562
618.03/43.40	c ................................ | ..........                581000 | 23263                601.4         966.2     72056466
818.50/55.99	c ................................ | ..........                722000 | 28719                800.1         902.4     88936198
1020.69/68.65	c ................................ | *.........                836000 | 33484               1000.1         835.9    105769723

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-1778940-1244948093/watcher-1778940-1244948093 -o /tmp/evaluation-result-1778940-1244948093/solver-1778940-1244948093 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1778940-1244948093.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: 1.00 1.24 2.88 2/184 22058
/proc/meminfo: memFree=19049052/36427776 swapFree=4428/7768
[pid=22058] ppid=22056 vsize=1540 CPUtime=0
/proc/22058/stat : 22058 (ttsth-5-0) R 22056 22058 15497 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 654115675 1576960 237 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 385 237 75 177 0 207 0

[startup+0.050261 s]
/proc/loadavg: 1.00 1.24 2.88 2/184 22058
/proc/meminfo: memFree=19049052/36427776 swapFree=4428/7768
[pid=22058] ppid=22056 vsize=3556 CPUtime=0.04
/proc/22058/stat : 22058 (ttsth-5-0) R 22056 22058 15497 0 -1 4202496 764 0 0 0 4 0 0 0 20 0 1 0 654115675 3641344 720 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134555272 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 889 720 77 177 0 711 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3556

[startup+0.102253 s]
/proc/loadavg: 1.00 1.24 2.88 2/184 22058
/proc/meminfo: memFree=19049052/36427776 swapFree=4428/7768
[pid=22058] ppid=22056 vsize=3556 CPUtime=0.08
/proc/22058/stat : 22058 (ttsth-5-0) R 22056 22058 15497 0 -1 4202496 768 0 0 0 8 0 0 0 20 0 1 0 654115675 3641344 724 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134555272 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 889 724 77 177 0 711 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3556

[startup+0.302266 s]
/proc/loadavg: 1.00 1.24 2.88 2/184 22058
/proc/meminfo: memFree=19049052/36427776 swapFree=4428/7768
[pid=22058] ppid=22056 vsize=3704 CPUtime=0.28
/proc/22058/stat : 22058 (ttsth-5-0) R 22056 22058 15497 0 -1 4202496 797 0 0 0 28 0 0 0 20 0 1 0 654115675 3792896 753 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134599408 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 926 753 77 177 0 748 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3704

[startup+0.70222 s]
/proc/loadavg: 1.00 1.24 2.88 2/184 22058
/proc/meminfo: memFree=19049052/36427776 swapFree=4428/7768
[pid=22058] ppid=22056 vsize=190196 CPUtime=1.22
/proc/22058/stat : 22058 (ttsth-5-0) R 22056 22058 15497 0 -1 4202496 14173 0 0 0 64 58 0 0 20 0 16 0 654115675 194760704 14127 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134758964 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 47549 14129 95 177 0 47371 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 190196

[startup+1.50459 s]
/proc/loadavg: 1.00 1.23 2.87 17/201 22075
/proc/meminfo: memFree=18986116/36427776 swapFree=4692/71792
[pid=22058] ppid=22056 vsize=217880 CPUtime=12.53
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 22100 0 0 0 496 757 0 0 20 0 17 0 654115675 223109120 22054 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 54470 22056 95 177 0 54292 0
[pid=22058/tid=22060] ppid=22056 vsize=217880 CPUtime=0.48
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1304 0 0 0 40 8 0 0 20 0 17 0 654115741 223109120 22056 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134545968 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=217880 CPUtime=0.8
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 509 0 0 0 34 46 0 0 20 0 17 0 654115741 223109120 22056 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=217880 CPUtime=0.82
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 609 0 0 0 54 28 0 0 20 0 17 0 654115741 223109120 22056 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=217880 CPUtime=0.76
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 319 0 0 0 10 66 0 0 20 0 17 0 654115741 223109120 22057 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=217880 CPUtime=0.78
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 427 0 0 0 10 68 0 0 20 0 17 0 654115741 223109120 22057 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=217880 CPUtime=0.82
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1005 0 0 0 52 30 0 0 20 0 17 0 654115741 223109120 22058 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=217880 CPUtime=0.82
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 828 0 0 0 52 30 0 0 20 0 17 0 654115741 223109120 22058 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=217880 CPUtime=0.8
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 379 0 0 0 34 46 0 0 20 0 17 0 654115741 223109120 22058 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22058/tid=22068] ppid=22056 vsize=217880 CPUtime=0.74
/proc/22058/task/22068/stat : 22068 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 407 0 0 0 6 68 0 0 20 0 17 0 654115741 223109120 22058 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22058/tid=22069] ppid=22056 vsize=217880 CPUtime=0.8
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 431 0 0 0 36 44 0 0 20 0 17 0 654115741 223109120 22059 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=217880 CPUtime=0.76
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 251 0 0 0 14 62 0 0 20 0 17 0 654115741 223109120 22059 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=217880 CPUtime=0.74
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 347 0 0 0 12 62 0 0 20 0 17 0 654115741 223109120 22059 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134552748 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=217880 CPUtime=0.74
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 331 0 0 0 12 62 0 0 20 0 17 0 654115741 223109120 22059 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=217880 CPUtime=0.76
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 400 0 0 0 14 62 0 0 20 0 17 0 654115741 223109120 22061 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=217880 CPUtime=0.82
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 764 0 0 0 50 32 0 0 20 0 17 0 654115741 223109120 22062 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=217880 CPUtime=0.34
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 182 0 0 0 2 32 0 0 20 0 17 0 654115746 223109120 22062 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 217880

[startup+3.10651 s]
/proc/loadavg: 1.00 1.23 2.87 17/201 22075
/proc/meminfo: memFree=18936520/36427776 swapFree=4692/123404
[pid=22058] ppid=22056 vsize=289708 CPUtime=36.17
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 40245 0 0 0 2575 1042 0 0 20 0 17 0 654115675 296660992 40199 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 72427 40201 95 177 0 72249 0
[pid=22058/tid=22060] ppid=22056 vsize=289708 CPUtime=1.9
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 2746 0 0 0 178 12 0 0 20 0 17 0 654115741 296660992 40201 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134680502 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=289708 CPUtime=2.38
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1670 0 0 0 166 72 0 0 20 0 17 0 654115741 296660992 40201 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=289708 CPUtime=2.4
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1722 0 0 0 186 54 0 0 20 0 17 0 654115741 296660992 40202 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=289708 CPUtime=2.34
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1326 0 0 0 148 86 0 0 20 0 17 0 654115741 296660992 40202 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=289708 CPUtime=2.36
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1897 0 0 0 154 82 0 0 20 0 17 0 654115741 296660992 40202 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=289708 CPUtime=2.38
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 2309 0 0 0 180 58 0 0 20 0 17 0 654115741 296660992 40202 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=289708 CPUtime=1.8
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1541 0 0 0 132 48 0 0 20 0 17 0 654115741 296660992 40203 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=289708 CPUtime=2.38
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1015 0 0 0 176 62 0 0 20 0 17 0 654115741 296660992 40203 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22058/tid=22068] ppid=22056 vsize=289708 CPUtime=2.34
/proc/22058/task/22068/stat : 22068 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1688 0 0 0 150 84 0 0 20 0 17 0 654115741 296660992 40203 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22058/tid=22069] ppid=22056 vsize=289708 CPUtime=2.38
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1165 0 0 0 182 56 0 0 20 0 17 0 654115741 296660992 40203 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=289708 CPUtime=2.3
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1273 0 0 0 148 82 0 0 20 0 17 0 654115741 296660992 40204 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=289708 CPUtime=2.26
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1742 0 0 0 148 78 0 0 20 0 17 0 654115741 296660992 40204 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134592453 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=289708 CPUtime=2.32
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1754 0 0 0 154 78 0 0 20 0 17 0 654115741 296660992 40204 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=289708 CPUtime=2.3
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1996 0 0 0 158 72 0 0 20 0 17 0 654115741 296660992 40204 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=289708 CPUtime=2.38
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 2077 0 0 0 184 54 0 0 20 0 17 0 654115741 296660992 40204 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=289708 CPUtime=1.16
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 714 0 0 0 66 50 0 0 20 0 17 0 654115746 296660992 40206 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 36.17
Current children cumulated vsize (KiB) 289708

[startup+6.30185 s]
/proc/loadavg: 2.20 1.48 2.94 17/201 22075
/proc/meminfo: memFree=18789712/36427776 swapFree=4692/270972
[pid=22058] ppid=22056 vsize=426448 CPUtime=83.24
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 74431 0 0 0 6807 1517 0 0 20 0 17 0 654115675 436682752 74385 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 106612 74385 95 177 0 106434 0
[pid=22058/tid=22060] ppid=22056 vsize=426448 CPUtime=5.08
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 5760 0 0 0 494 14 0 0 20 0 17 0 654115741 436682752 74385 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=426448 CPUtime=5.54
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 3297 0 0 0 454 100 0 0 20 0 17 0 654115741 436682752 74386 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=426448 CPUtime=5.52
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 3378 0 0 0 462 90 0 0 20 0 17 0 654115741 436682752 74388 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=426448 CPUtime=5.46
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 3742 0 0 0 426 120 0 0 20 0 17 0 654115741 436682752 74388 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=426448 CPUtime=5.48
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4971 0 0 0 436 112 0 0 20 0 17 0 654115741 436682752 74389 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=426448 CPUtime=5.54
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4909 0 0 0 460 94 0 0 20 0 17 0 654115741 436682752 74390 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=426448 CPUtime=3.38
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 2664 0 0 0 270 68 0 0 20 0 17 0 654115741 436682752 74391 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=426448 CPUtime=5.52
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 3050 0 0 0 452 100 0 0 20 0 17 0 654115741 436682752 74392 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22058/tid=22068] ppid=22056 vsize=426448 CPUtime=5.4
/proc/22058/task/22068/stat : 22068 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4547 0 0 0 418 122 0 0 20 0 17 0 654115741 436682752 74392 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22058/tid=22069] ppid=22056 vsize=426448 CPUtime=5.58
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 2113 0 0 0 482 76 0 0 20 0 17 0 654115741 436682752 74392 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=426448 CPUtime=5.42
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 3735 0 0 0 428 114 0 0 20 0 17 0 654115741 436682752 74392 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=426448 CPUtime=5.34
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4515 0 0 0 420 114 0 0 20 0 17 0 654115741 436682752 74392 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562314 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=426448 CPUtime=5.4
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 3320 0 0 0 428 112 0 0 20 0 17 0 654115741 436682752 74392 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=426448 CPUtime=5.46
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4776 0 0 0 432 114 0 0 20 0 17 0 654115741 436682752 74393 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=426448 CPUtime=5.56
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4099 0 0 0 466 90 0 0 20 0 17 0 654115741 436682752 74393 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=426448 CPUtime=2.78
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 1947 0 0 0 212 66 0 0 20 0 17 0 654115746 436682752 74393 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 83.24
Current children cumulated vsize (KiB) 426448

[startup+12.7035 s]
/proc/loadavg: 3.31 1.72 3.01 17/201 22080
/proc/meminfo: memFree=18552676/36427776 swapFree=4692/505728
[pid=22058] ppid=22056 vsize=648100 CPUtime=171.13
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 129982 0 0 0 15080 2033 0 0 20 0 17 0 654115675 663654400 129936 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 162025 129937 95 177 0 161847 0
[pid=22058/tid=22060] ppid=22056 vsize=648100 CPUtime=11.24
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 9538 0 0 0 1104 20 0 0 20 0 17 0 654115741 663654400 129937 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=648100 CPUtime=9.78
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 6967 0 0 0 854 124 0 0 20 0 17 0 654115741 663654400 129937 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=648100 CPUtime=11.6
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 7382 0 0 0 1026 134 0 0 20 0 17 0 654115741 663654400 129937 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134680374 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=648100 CPUtime=10.08
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 6312 0 0 0 856 152 0 0 20 0 17 0 654115741 663654400 129937 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=648100 CPUtime=11.6
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 8716 0 0 0 1012 148 0 0 20 0 17 0 654115741 663654400 129937 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=648100 CPUtime=11.6
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 8816 0 0 0 1024 136 0 0 20 0 17 0 654115741 663654400 129938 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562351 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=648100 CPUtime=6.58
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4582 0 0 0 574 84 0 0 20 0 17 0 654115741 663654400 129938 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=648100 CPUtime=11.56
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 8438 0 0 0 1006 150 0 0 20 0 17 0 654115741 663654400 129938 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134680503 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

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

[pid=22058/tid=22069] ppid=22056 vsize=648100 CPUtime=11.6
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 6243 0 0 0 1038 122 0 0 20 0 17 0 654115741 663654400 129938 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591200 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=648100 CPUtime=9.78
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 7349 0 0 0 834 144 0 0 20 0 17 0 654115741 663654400 129939 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=648100 CPUtime=11.38
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 6037 0 0 0 1000 138 0 0 20 0 17 0 654115741 663654400 129939 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562373 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=648100 CPUtime=11.54
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 6252 0 0 0 1014 140 0 0 20 0 17 0 654115741 663654400 129939 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=648100 CPUtime=11.54
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 8464 0 0 0 1006 148 0 0 20 0 17 0 654115741 663654400 129939 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590245 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=648100 CPUtime=11.18
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 8449 0 0 0 982 136 0 0 20 0 17 0 654115741 663654400 129939 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=648100 CPUtime=7.74
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 4399 0 0 0 682 92 0 0 20 0 17 0 654115746 663654400 129939 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 171.13
Current children cumulated vsize (KiB) 648100

[startup+25.5037 s]
/proc/loadavg: 5.26 2.19 3.14 17/201 22080
/proc/meminfo: memFree=18167528/36427776 swapFree=4692/892336
[pid=22058] ppid=22056 vsize=1020492 CPUtime=352.41
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 223164 0 0 0 32437 2804 0 0 20 0 17 0 654115675 1044983808 223118 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 255123 223120 95 177 0 254945 0
[pid=22058/tid=22060] ppid=22056 vsize=1020492 CPUtime=23.76
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 15173 0 0 0 2350 26 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=1020492 CPUtime=21.68
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) S 22056 22058 15497 0 -1 4202560 15123 0 0 0 1994 174 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636436 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=1020492 CPUtime=24.14
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 13936 0 0 0 2222 192 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591221 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=1020492 CPUtime=16.9
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 10616 0 0 0 1496 194 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=1020492 CPUtime=24.06
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 17615 0 0 0 2202 204 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=1020492 CPUtime=24.08
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 16447 0 0 0 2204 204 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=1020492 CPUtime=16.2
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 7944 0 0 0 1496 124 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=1020492 CPUtime=23.92
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 14325 0 0 0 2192 200 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22058/tid=22068] ppid=22056 vsize=1020492 CPUtime=24.04
/proc/22058/task/22068/stat : 22068 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 16054 0 0 0 2194 210 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562444 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22058/tid=22069] ppid=22056 vsize=1020492 CPUtime=24.12
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 11152 0 0 0 2248 164 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=1020492 CPUtime=20.14
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 12715 0 0 0 1820 194 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591171 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=1020492 CPUtime=22.72
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 11047 0 0 0 2092 180 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=1020492 CPUtime=24.06
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 11426 0 0 0 2206 200 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=1020492 CPUtime=21.22
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 13698 0 0 0 1930 192 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636436 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=1020492 CPUtime=20.36
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 12441 0 0 0 1856 180 0 0 20 0 17 0 654115741 1044983808 223120 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=1020492 CPUtime=20.2
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 9841 0 0 0 1868 152 0 0 20 0 17 0 654115746 1044983808 223121 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 352.41
Current children cumulated vsize (KiB) 1020492

[startup+51.1021 s]
/proc/loadavg: 9.49 3.51 3.55 17/201 22080
/proc/meminfo: memFree=17537304/36427776 swapFree=4692/1521836
[pid=22058] ppid=22056 vsize=1656356 CPUtime=742.12
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 382146 0 0 0 70509 3703 0 0 20 0 17 0 654115675 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 414089 382100 95 177 0 413911 0
[pid=22058/tid=22060] ppid=22056 vsize=1656356 CPUtime=49.17
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 26250 0 0 0 4877 40 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562401 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=1656356 CPUtime=46.92
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 25446 0 0 0 4458 234 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=1656356 CPUtime=49.46
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 21942 0 0 0 4704 242 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=1656356 CPUtime=34.87
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 17379 0 0 0 3259 228 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=1656356 CPUtime=49.36
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 30066 0 0 0 4668 268 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=1656356 CPUtime=48.62
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 24144 0 0 0 4592 270 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590281 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=1656356 CPUtime=41.57
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 15077 0 0 0 3987 170 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=1656356 CPUtime=49.22
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 23975 0 0 0 4654 268 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590322 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22058/tid=22068] ppid=22056 vsize=1656356 CPUtime=46.2
/proc/22058/task/22068/stat : 22068 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 25115 0 0 0 4346 274 0 0 20 0 17 0 654115741 1696108544 382100 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22058/tid=22069] ppid=22056 vsize=1656356 CPUtime=49.5
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 16872 0 0 0 4738 212 0 0 20 0 17 0 654115741 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=1656356 CPUtime=45.43
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 22984 0 0 0 4269 274 0 0 20 0 17 0 654115741 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=1656356 CPUtime=47.56
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 19632 0 0 0 4520 236 0 0 20 0 17 0 654115741 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134564210 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=1656356 CPUtime=49.33
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 22477 0 0 0 4675 258 0 0 20 0 17 0 654115741 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=1656356 CPUtime=42.96
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 23449 0 0 0 4044 252 0 0 20 0 17 0 654115741 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134680329 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=1656356 CPUtime=45.79
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 17976 0 0 0 4353 226 0 0 20 0 17 0 654115741 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=1656356 CPUtime=45.44
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 35749 0 0 0 4304 240 0 0 20 0 17 0 654115746 1696108544 382101 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 742.12
Current children cumulated vsize (KiB) 1656356



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+71.516 s]
/proc/loadavg: 11.34 4.31 3.82 17/201 22080
/proc/meminfo: memFree=17081756/36427776 swapFree=4692/1978144
[pid=22058] ppid=22056 vsize=2097468 CPUtime=1067.23
/proc/22058/stat : 22058 (ttsth-5-0) S 22056 22058 15497 0 -1 4202496 492375 0 0 0 102323 4400 0 0 20 0 17 0 654115675 2147807232 492329 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 524367 492329 95 177 0 524189 0
[pid=22058/tid=22060] ppid=22056 vsize=2097468 CPUtime=69.58
/proc/22058/task/22060/stat : 22060 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 33682 0 0 0 6910 48 0 0 20 0 17 0 654115741 2147807232 492332 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22058/tid=22061] ppid=22056 vsize=2097468 CPUtime=67.28
/proc/22058/task/22061/stat : 22061 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 32355 0 0 0 6456 272 0 0 20 0 17 0 654115741 2147807232 492333 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22058/tid=22062] ppid=22056 vsize=2097468 CPUtime=69.81
/proc/22058/task/22062/stat : 22062 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 27062 0 0 0 6699 282 0 0 20 0 17 0 654115741 2147807232 492333 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134593217 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=22058/tid=22063] ppid=22056 vsize=2097468 CPUtime=55.23
/proc/22058/task/22063/stat : 22063 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 23826 0 0 0 5249 274 0 0 20 0 17 0 654115741 2147807232 492334 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22058/tid=22064] ppid=22056 vsize=2097468 CPUtime=69.73
/proc/22058/task/22064/stat : 22064 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 37223 0 0 0 6659 314 0 0 20 0 17 0 654115741 2147807232 492334 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22058/tid=22065] ppid=22056 vsize=2097468 CPUtime=68.91
/proc/22058/task/22065/stat : 22065 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 28386 0 0 0 6573 318 0 0 20 0 17 0 654115741 2147807232 492334 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22058/tid=22066] ppid=22056 vsize=2097628 CPUtime=61.94
/proc/22058/task/22066/stat : 22066 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 19714 0 0 0 5996 198 0 0 20 0 17 0 654115741 2147971072 492337 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22058/tid=22067] ppid=22056 vsize=2097628 CPUtime=69.55
/proc/22058/task/22067/stat : 22067 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 30467 0 0 0 6633 322 0 0 20 0 17 0 654115741 2147971072 492338 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22058/tid=22068] ppid=22056 vsize=2097628 CPUtime=66.52
/proc/22058/task/22068/stat : 22068 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 32363 0 0 0 6338 314 0 0 20 0 17 0 654115741 2147971072 492338 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134733328 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22058/tid=22069] ppid=22056 vsize=2097628 CPUtime=69.82
/proc/22058/task/22069/stat : 22069 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 21648 0 0 0 6726 256 0 0 20 0 17 0 654115741 2147971072 492338 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22058/tid=22070] ppid=22056 vsize=2097628 CPUtime=65.74
/proc/22058/task/22070/stat : 22070 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 29208 0 0 0 6246 328 0 0 20 0 17 0 654115741 2147971072 492338 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22058/tid=22071] ppid=22056 vsize=2097628 CPUtime=67.48
/proc/22058/task/22071/stat : 22071 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 26396 0 0 0 6474 274 0 0 20 0 17 0 654115741 2147971072 492338 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22058/tid=22072] ppid=22056 vsize=2097628 CPUtime=69.65
/proc/22058/task/22072/stat : 22072 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 28740 0 0 0 6663 302 0 0 20 0 17 0 654115741 2147971072 492338 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22058/tid=22073] ppid=22056 vsize=2097628 CPUtime=63.28
/proc/22058/task/22073/stat : 22073 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 30661 0 0 0 6028 300 0 0 20 0 17 0 654115741 2147971072 492339 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=2097628 CPUtime=66.14
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 22189 0 0 0 6340 274 0 0 20 0 17 0 654115741 2147971072 492339 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22058/tid=22075] ppid=22056 vsize=2097628 CPUtime=65.78
/proc/22058/task/22075/stat : 22075 (ttsth-5-0) R 22056 22058 15497 0 -1 4202560 54852 0 0 0 6268 310 0 0 20 0 17 0 654115746 2147971072 492340 18446744073709551615 134512640 135237372 4287070032 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 1067.23
Current children cumulated vsize (KiB) 2097468

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

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

[startup+71.624 s]
/proc/loadavg: 11.34 4.31 3.82 17/201 22080
/proc/meminfo: memFree=17081756/36427776 swapFree=4692/1978144
[pid=22058] ppid=22056 vsize=0 CPUtime=1067.47
/proc/22058/stat : 22058 (ttsth-5-0) Z 22056 22058 15497 0 -1 4203532 492447 0 0 0 102339 4408 0 0 20 0 2 0 654115675 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 0 0 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=0 CPUtime=66.23
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4203588 22190 0 0 0 6341 282 0 0 20 0 2 0 654115741 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1067.47
Current children cumulated vsize (KiB) 0

[startup+71.704 s]
/proc/loadavg: 11.34 4.31 3.82 17/201 22080
/proc/meminfo: memFree=17081756/36427776 swapFree=4692/1978144
[pid=22058] ppid=22056 vsize=0 CPUtime=1067.55
/proc/22058/stat : 22058 (ttsth-5-0) Z 22056 22058 15497 0 -1 4203532 492447 0 0 0 102339 4416 0 0 20 0 2 0 654115675 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22058/statm: 0 0 0 0 0 0 0
[pid=22058/tid=22074] ppid=22056 vsize=0 CPUtime=66.31
/proc/22058/task/22074/stat : 22074 (ttsth-5-0) R 22056 22058 15497 0 -1 4203588 22190 0 0 0 6341 290 0 0 20 0 2 0 654115741 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1067.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 71.7093
CPU time (s): 1067.56
CPU user time (s): 1023.41
CPU system time (s): 44.1548
CPU usage (%): 1488.74
Max. virtual memory (cumulated for all children) (KiB): 2097468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1023.41
system time used= 44.1548
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492447
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= 92424
involuntary context switches= 5577

runsolver used 0.380023 second user time and 1.02806 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 04:54:53
IDJOB=1778940
IDBENCH=70783
IDSOLVER=634
FILE ID=xenhost3-49/1778940-1244948093
PBS_JOBID=
Free space on /tmp= 7024 MiB

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

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

MD5SUM BENCH= 505fee3283f518ccb9d234f549b3c214
RANDOM SEED= 737808511

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:      19049052 kB
Buffers:        480644 kB
Cached:       14115884 kB
SwapCached:          0 kB
Active:        4127192 kB
Inactive:     10477740 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             672 kB
Writeback:           0 kB
AnonPages:        7768 kB
Mapped:           3764 kB
Slab:           720204 kB
SReclaimable:   693412 kB
SUnreclaim:      26792 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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