Trace number 1779585

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) 1887.63 124.8

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-25-s100.cnf
MD5SUMc4b5df05f50ec97b624a18161f6d43b5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables31931
Number of clauses96111
Sum of the clauses size226723
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261482
Number of clauses of size 334565
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.14	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779585-1244954515.cnf 
0.10/0.14	c Using SATTIMEOUT of 10000
0.10/0.14	c Using SATRAM of 2047
0.10/0.14	c Size of subset node = 16
0.10/0.14	c Variables = 31931
0.10/0.14	c Clauses = 96111
0.10/0.14	c Literals = 226723
0.10/0.14	c Reduced size:
0.10/0.14	c Variables = 31931
0.10/0.14	c Clauses = 95627
0.10/0.14	c Literals = 225439
0.10/0.14	c a2
0.20/0.24	c a1
3.40/3.47	c Independent sub-problems = 1
3.40/3.47	c Sub-problem with 31783 variables and 95627 clauses
3.40/3.47	c using permutation method 4
3.40/3.47	c count = 1
3.40/3.47	c Ordering finished 3.430 seconds
3.40/3.47	c mapped 3.460 seconds
3.40/3.47	c permuted 3.460 seconds
3.40/3.47	c about to sort
3.40/3.49	c sorted
4.40/4.44	c clauses now 95627
4.40/4.44	c init finished 4.080 seconds
4.40/4.44	c tree built 4.430 seconds
4.40/4.44	c 
4.40/4.44	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.40/4.44	c ---------------------------------|----------------------------------|------------------------------------------------------
4.40/4.44	c ................................ | ..........                       |                        4.4           0.0             
4.40/4.44	c ................................ | ..........                     1 |                        4.5           0.2             
4.40/4.44	c ................................ | ..........                     2 |                        4.5           0.4             
4.40/4.44	c ................................ | ..........                     3 |                        4.5           0.7             
4.40/4.44	c ................................ | ..........                     4 |                        4.5           0.9             
4.40/4.44	c ................................ | ..........                     5 |                        4.5           1.1             
4.40/4.47	c ................................ | ..........                  1000 | 12                     4.6         218.8          177
317.64/24.50	c ................................ | ..........               1330000 | 36265                201.0        6617.2      7914446
597.75/42.37	c ................................ | ..........               1937000 | 55627                400.8        4833.1     19994149
868.62/59.62	c ................................ | ..........               2268000 | 67590                600.0        3779.7     32053925
1124.07/75.96	c ................................ | ..........               2502000 | 76517                800.9        3124.1     45294017
1377.52/92.16	c ................................ | *.........               2723000 | 84539               1000.1        2722.8     58841428
1626.52/108.02	c ................................ | *.........               3010000 | 94033               1201.1        2506.0     72572801
1858.84/122.88	c ................................ | *.........               3315000 | 103381              1400.6        2366.9     87303636

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-1779585-1244954515/watcher-1779585-1244954515 -o /tmp/evaluation-result-1779585-1244954515/solver-1779585-1244954515 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779585-1244954515.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 14.48 15.21 14.55 2/189 24494
/proc/meminfo: memFree=19044064/36427776 swapFree=4576/8440
[pid=24494] ppid=24492 vsize=1540 CPUtime=0
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 654757922 1576960 236 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134639534 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 385 236 75 177 0 207 0

[startup+0.014619 s]
/proc/loadavg: 14.48 15.21 14.55 2/189 24494
/proc/meminfo: memFree=19044064/36427776 swapFree=4576/8440
[pid=24494] ppid=24492 vsize=1804 CPUtime=0
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 352 0 0 0 0 0 0 0 20 0 1 0 654757922 1847296 309 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134639534 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 451 311 75 177 0 273 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1804

[startup+0.102623 s]
/proc/loadavg: 14.48 15.21 14.55 2/189 24494
/proc/meminfo: memFree=19044064/36427776 swapFree=4576/8440
[pid=24494] ppid=24492 vsize=7936 CPUtime=0.1
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 1790 0 0 0 8 2 0 0 20 0 1 0 654757922 8126464 1747 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134534043 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 1984 1747 75 177 0 1806 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7936

[startup+0.302645 s]
/proc/loadavg: 14.48 15.21 14.55 2/189 24494
/proc/meminfo: memFree=19044064/36427776 swapFree=4576/8440
[pid=24494] ppid=24492 vsize=14804 CPUtime=0.3
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 3711 0 0 0 28 2 0 0 20 0 1 0 654757922 15159296 3479 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134555306 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 3701 3479 77 177 0 3523 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14804

[startup+0.702639 s]
/proc/loadavg: 14.48 15.21 14.55 2/189 24494
/proc/meminfo: memFree=19044064/36427776 swapFree=4576/8440
[pid=24494] ppid=24492 vsize=18780 CPUtime=0.68
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 4712 0 0 0 66 2 0 0 20 0 1 0 654757922 19230720 4480 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134600975 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 4695 4480 77 177 0 4517 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 18780

[startup+1.5027 s]
/proc/loadavg: 14.48 15.21 14.55 2/190 24495
/proc/meminfo: memFree=19025756/36427776 swapFree=4552/26680
[pid=24494] ppid=24492 vsize=19044 CPUtime=1.5
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 4781 0 0 0 146 4 0 0 20 0 1 0 654757922 19501056 4549 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134555272 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 4761 4549 77 177 0 4583 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19044

[startup+3.10288 s]
/proc/loadavg: 14.48 15.21 14.55 2/190 24495
/proc/meminfo: memFree=19024748/36427776 swapFree=4404/27472
[pid=24494] ppid=24492 vsize=20128 CPUtime=3.1
/proc/24494/stat : 24494 (ttsth-5-0) R 24492 24494 15497 0 -1 4202496 5054 0 0 0 306 4 0 0 20 0 1 0 654757922 20611072 4822 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134732614 0 0 1 0 0 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 5032 4822 77 177 0 4854 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20128

[startup+6.30185 s]
/proc/loadavg: 13.40 14.97 14.48 17/206 24511
/proc/meminfo: memFree=18654620/36427776 swapFree=4812/398336
[pid=24494] ppid=24492 vsize=525072 CPUtime=33.36
/proc/24494/stat : 24494 (ttsth-5-0) S 24492 24494 15497 0 -1 4202496 100598 0 0 0 1013 2323 0 0 20 0 17 0 654757922 537673728 100178 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 131268 100178 95 177 0 131090 0
[pid=24494/tid=24496] ppid=24492 vsize=525072 CPUtime=1.82
/proc/24494/task/24496/stat : 24496 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1316 0 0 0 178 4 0 0 20 0 17 0 654758366 537673728 100179 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134552745 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24497/stat : 24497 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 331 0 0 0 24 156 0 0 20 0 17 0 654758366 537673728 100179 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24498/stat : 24498 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 275 0 0 0 32 148 0 0 20 0 17 0 654758366 537673728 100180 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=525072 CPUtime=1.82
/proc/24494/task/24499/stat : 24499 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 276 0 0 0 36 146 0 0 20 0 17 0 654758366 537673728 100180 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24500/stat : 24500 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 482 0 0 0 34 146 0 0 20 0 17 0 654758366 537673728 100180 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24501/stat : 24501 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 355 0 0 0 24 156 0 0 20 0 17 0 654758366 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134593185 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24502/stat : 24502 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 499 0 0 0 28 152 0 0 20 0 17 0 654758366 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=525072 CPUtime=1.82
/proc/24494/task/24503/stat : 24503 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 250 0 0 0 30 152 0 0 20 0 17 0 654758366 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24504/stat : 24504 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 411 0 0 0 28 152 0 0 20 0 17 0 654758366 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24505/stat : 24505 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 326 0 0 0 30 150 0 0 20 0 17 0 654758366 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24506/stat : 24506 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 449 0 0 0 32 148 0 0 20 0 17 0 654758366 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24507/stat : 24507 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 295 0 0 0 26 154 0 0 20 0 17 0 654758367 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=525072 CPUtime=1.78
/proc/24494/task/24508/stat : 24508 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 366 0 0 0 28 150 0 0 20 0 17 0 654758367 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=525072 CPUtime=1.78
/proc/24494/task/24509/stat : 24509 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 374 0 0 0 24 154 0 0 20 0 17 0 654758367 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=525072 CPUtime=1.8
/proc/24494/task/24510/stat : 24510 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 290 0 0 0 24 156 0 0 20 0 17 0 654758368 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=525072 CPUtime=1.78
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 351 0 0 0 24 154 0 0 20 0 17 0 654758368 537673728 100181 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 33.36
Current children cumulated vsize (KiB) 525072

[startup+12.7029 s]
/proc/loadavg: 13.61 14.99 14.48 17/206 24511
/proc/meminfo: memFree=18597472/36427776 swapFree=4836/456312
[pid=24494] ppid=24492 vsize=573036 CPUtime=133.84
/proc/24494/stat : 24494 (ttsth-5-0) S 24492 24494 15497 0 -1 4202496 113356 0 0 0 3981 9403 0 0 20 0 17 0 654757922 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 143259 112936 95 177 0 143081 0
[pid=24494/tid=24496] ppid=24492 vsize=573036 CPUtime=8.2
/proc/24494/task/24496/stat : 24496 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 3677 0 0 0 812 8 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134587952 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=573036 CPUtime=8.08
/proc/24494/task/24497/stat : 24497 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1157 0 0 0 188 620 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=573036 CPUtime=8.1
/proc/24494/task/24498/stat : 24498 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 969 0 0 0 184 626 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=573036 CPUtime=8.1
/proc/24494/task/24499/stat : 24499 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 842 0 0 0 164 646 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=573036 CPUtime=8.08
/proc/24494/task/24500/stat : 24500 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1161 0 0 0 184 624 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=573036 CPUtime=8.08
/proc/24494/task/24501/stat : 24501 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 934 0 0 0 174 634 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=573036 CPUtime=8.08
/proc/24494/task/24502/stat : 24502 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 956 0 0 0 194 614 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=573036 CPUtime=8.1
/proc/24494/task/24503/stat : 24503 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1261 0 0 0 186 624 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=573036 CPUtime=8.1
/proc/24494/task/24504/stat : 24504 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1090 0 0 0 218 592 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=573036 CPUtime=8.08
/proc/24494/task/24505/stat : 24505 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1148 0 0 0 172 636 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=573036 CPUtime=8.1
/proc/24494/task/24506/stat : 24506 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 893 0 0 0 178 632 0 0 20 0 17 0 654758366 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=573036 CPUtime=8.06
/proc/24494/task/24507/stat : 24507 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1150 0 0 0 172 634 0 0 20 0 17 0 654758367 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=573036 CPUtime=8.06
/proc/24494/task/24508/stat : 24508 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1294 0 0 0 210 596 0 0 20 0 17 0 654758367 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=573036 CPUtime=7.9
/proc/24494/task/24509/stat : 24509 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 995 0 0 0 184 606 0 0 20 0 17 0 654758367 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=573036 CPUtime=8.06
/proc/24494/task/24510/stat : 24510 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 735 0 0 0 154 652 0 0 20 0 17 0 654758368 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=573036 CPUtime=8.04
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1140 0 0 0 192 612 0 0 20 0 17 0 654758368 586788864 112936 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 133.84
Current children cumulated vsize (KiB) 573036

[startup+25.5056 s]
/proc/loadavg: 14.14 15.04 14.51 17/206 24511
/proc/meminfo: memFree=18485132/36427776 swapFree=4836/568496
[pid=24494] ppid=24492 vsize=687156 CPUtime=334.87
/proc/24494/stat : 24494 (ttsth-5-0) S 24492 24494 15497 0 -1 4202496 141431 0 0 0 11082 22405 0 0 20 0 17 0 654757922 703647744 141011 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 171789 141011 95 177 0 171611 0
[pid=24494/tid=24496] ppid=24492 vsize=687156 CPUtime=21
/proc/24494/task/24496/stat : 24496 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 12937 0 0 0 2080 20 0 0 20 0 17 0 654758366 703647744 141011 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134588920 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=687156 CPUtime=20.64
/proc/24494/task/24497/stat : 24497 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 2142 0 0 0 566 1498 0 0 20 0 17 0 654758366 703647744 141011 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134590166 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=687156 CPUtime=20.66
/proc/24494/task/24498/stat : 24498 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1964 0 0 0 570 1496 0 0 20 0 17 0 654758366 703647744 141011 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=687156 CPUtime=20.64
/proc/24494/task/24499/stat : 24499 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 2258 0 0 0 514 1550 0 0 20 0 17 0 654758366 703647744 141011 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=687156 CPUtime=20.66
/proc/24494/task/24500/stat : 24500 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 2426 0 0 0 588 1478 0 0 20 0 17 0 654758366 703647744 141012 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=687156 CPUtime=20.66
/proc/24494/task/24501/stat : 24501 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1968 0 0 0 524 1542 0 0 20 0 17 0 654758366 703647744 141012 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=687156 CPUtime=20.64
/proc/24494/task/24502/stat : 24502 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1857 0 0 0 536 1528 0 0 20 0 17 0 654758366 703647744 141012 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591525 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=687156 CPUtime=20.64
/proc/24494/task/24503/stat : 24503 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 2209 0 0 0 540 1524 0 0 20 0 17 0 654758366 703647744 141012 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=687156 CPUtime=20.72
/proc/24494/task/24504/stat : 24504 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 2710 0 0 0 714 1358 0 0 20 0 17 0 654758366 703647744 141012 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=687156 CPUtime=20.68
/proc/24494/task/24505/stat : 24505 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 2562 0 0 0 606 1462 0 0 20 0 17 0 654758366 703647744 141013 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=687156 CPUtime=20.7
/proc/24494/task/24506/stat : 24506 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 2377 0 0 0 572 1498 0 0 20 0 17 0 654758366 703647744 141013 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=687156 CPUtime=20.6
/proc/24494/task/24507/stat : 24507 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 2213 0 0 0 546 1514 0 0 20 0 17 0 654758367 703647744 141013 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=687156 CPUtime=20.64
/proc/24494/task/24508/stat : 24508 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 3152 0 0 0 636 1428 0 0 20 0 17 0 654758367 703647744 141013 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=687156 CPUtime=20.2
/proc/24494/task/24509/stat : 24509 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 1831 0 0 0 530 1490 0 0 20 0 17 0 654758367 703647744 141014 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134683146 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=687156 CPUtime=20.62
/proc/24494/task/24510/stat : 24510 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 2452 0 0 0 548 1514 0 0 20 0 17 0 654758368 703647744 141014 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=687156 CPUtime=20.62
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 2421 0 0 0 602 1460 0 0 20 0 17 0 654758368 703647744 141014 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134680737 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 334.87
Current children cumulated vsize (KiB) 687156

[startup+51.107 s]
/proc/loadavg: 14.77 15.12 14.55 17/206 24511
/proc/meminfo: memFree=18198760/36427776 swapFree=4836/853952
[pid=24494] ppid=24492 vsize=991496 CPUtime=735.69
/proc/24494/stat : 24494 (ttsth-5-0) S 24492 24494 15497 0 -1 4202496 213502 0 0 0 32368 41201 0 0 20 0 17 0 654757922 1015291904 213082 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 247874 213083 95 177 0 247696 0
[pid=24494/tid=24496] ppid=24492 vsize=991496 CPUtime=46.59
/proc/24494/task/24496/stat : 24496 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 35843 0 0 0 4615 44 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=991496 CPUtime=45.74
/proc/24494/task/24497/stat : 24497 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 6318 0 0 0 1880 2694 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=991496 CPUtime=45.68
/proc/24494/task/24498/stat : 24498 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 4277 0 0 0 1770 2798 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=991496 CPUtime=45.64
/proc/24494/task/24499/stat : 24499 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 5745 0 0 0 1702 2862 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=991496 CPUtime=45.62
/proc/24494/task/24500/stat : 24500 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 4823 0 0 0 1742 2820 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=991496 CPUtime=45.72
/proc/24494/task/24501/stat : 24501 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 5454 0 0 0 1762 2810 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=991496 CPUtime=45.68
/proc/24494/task/24502/stat : 24502 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 5843 0 0 0 1772 2796 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=991496 CPUtime=45.76
/proc/24494/task/24503/stat : 24503 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 4987 0 0 0 1968 2608 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=991496 CPUtime=45.86
/proc/24494/task/24504/stat : 24504 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 6794 0 0 0 2126 2460 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=991496 CPUtime=45.8
/proc/24494/task/24505/stat : 24505 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 6735 0 0 0 1870 2710 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591258 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=991496 CPUtime=45.78
/proc/24494/task/24506/stat : 24506 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 6182 0 0 0 1754 2824 0 0 20 0 17 0 654758366 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=991496 CPUtime=45.58
/proc/24494/task/24507/stat : 24507 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 5343 0 0 0 1722 2836 0 0 20 0 17 0 654758367 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134593478 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=991496 CPUtime=45.6
/proc/24494/task/24508/stat : 24508 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 6930 0 0 0 1774 2786 0 0 20 0 17 0 654758367 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=991496 CPUtime=44.64
/proc/24494/task/24509/stat : 24509 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 4406 0 0 0 1668 2796 0 0 20 0 17 0 654758367 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=991496 CPUtime=45.68
/proc/24494/task/24510/stat : 24510 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 5189 0 0 0 1830 2738 0 0 20 0 17 0 654758368 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=991496 CPUtime=45.72
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 4680 0 0 0 1998 2574 0 0 20 0 17 0 654758368 1015291904 213083 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 735.69
Current children cumulated vsize (KiB) 991496

[startup+102.315 s]
/proc/loadavg: 15.47 15.25 14.62 17/206 24511
/proc/meminfo: memFree=17529732/36427776 swapFree=4836/1523104
[pid=24494] ppid=24492 vsize=1696148 CPUtime=1537.25
/proc/24494/stat : 24494 (ttsth-5-0) S 24492 24494 15497 0 -1 4202496 379390 0 0 0 82835 70890 0 0 20 0 17 0 654757922 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 424037 378970 95 177 0 423859 0
[pid=24494/tid=24496] ppid=24492 vsize=1696148 CPUtime=97.79
/proc/24494/task/24496/stat : 24496 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 80700 0 0 0 9681 98 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134751534 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=1696148 CPUtime=96.01
/proc/24494/task/24497/stat : 24497 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 14828 0 0 0 5123 4478 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=1696148 CPUtime=95.79
/proc/24494/task/24498/stat : 24498 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 14426 0 0 0 4864 4715 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=1696148 CPUtime=95.71
/proc/24494/task/24499/stat : 24499 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 15899 0 0 0 4880 4691 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=1696148 CPUtime=95.47
/proc/24494/task/24500/stat : 24500 (ttsth-5-0) S 24492 24494 15497 0 -1 4202560 11255 0 0 0 4599 4948 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=1696148 CPUtime=95.93
/proc/24494/task/24501/stat : 24501 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 14081 0 0 0 4870 4723 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=1696148 CPUtime=95.88
/proc/24494/task/24502/stat : 24502 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 14331 0 0 0 4783 4805 0 0 20 0 17 0 654758366 1736855552 378970 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=1696148 CPUtime=95.83
/proc/24494/task/24503/stat : 24503 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 10358 0 0 0 4931 4652 0 0 20 0 17 0 654758366 1736855552 378971 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=1696148 CPUtime=95.92
/proc/24494/task/24504/stat : 24504 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 16615 0 0 0 5007 4585 0 0 20 0 17 0 654758366 1736855552 378971 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=1696148 CPUtime=96.08
/proc/24494/task/24505/stat : 24505 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 19420 0 0 0 5008 4600 0 0 20 0 17 0 654758366 1736855552 378971 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=1696148 CPUtime=96.22
/proc/24494/task/24506/stat : 24506 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 13644 0 0 0 4958 4664 0 0 20 0 17 0 654758366 1736855552 378971 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=1696148 CPUtime=95.36
/proc/24494/task/24507/stat : 24507 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 12209 0 0 0 4516 5020 0 0 20 0 17 0 654758367 1736855552 378971 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=1696148 CPUtime=95.72
/proc/24494/task/24508/stat : 24508 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 16547 0 0 0 4831 4741 0 0 20 0 17 0 654758367 1736855552 378971 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=1696148 CPUtime=93.6
/proc/24494/task/24509/stat : 24509 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 11381 0 0 0 4547 4813 0 0 20 0 17 0 654758367 1736855552 378972 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591687 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=1696148 CPUtime=95.48
/proc/24494/task/24510/stat : 24510 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 10896 0 0 0 4581 4967 0 0 20 0 17 0 654758368 1736855552 378972 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=1696148 CPUtime=95.97
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 8847 0 0 0 5249 4348 0 0 20 0 17 0 654758368 1736855552 378972 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1537.25
Current children cumulated vsize (KiB) 1696148



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+124.605 s]
/proc/loadavg: 15.65 15.31 14.65 17/206 24511
/proc/meminfo: memFree=17150620/36427776 swapFree=4836/1900716
[pid=24494] ppid=24492 vsize=2096640 CPUtime=1887.24
/proc/24494/stat : 24494 (ttsth-5-0) S 24492 24494 15497 0 -1 4202496 473726 0 0 0 110344 78380 0 0 20 0 17 0 654757922 2146959360 473306 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 524160 473306 95 177 0 523982 0
[pid=24494/tid=24496] ppid=24492 vsize=2096640 CPUtime=120.08
/proc/24494/task/24496/stat : 24496 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 96637 0 0 0 11898 110 0 0 20 0 17 0 654758366 2146959360 473307 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24494/tid=24497] ppid=24492 vsize=2096640 CPUtime=117.89
/proc/24494/task/24497/stat : 24497 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 18692 0 0 0 6817 4972 0 0 20 0 17 0 654758366 2146959360 473307 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24494/tid=24498] ppid=24492 vsize=2096640 CPUtime=117.78
/proc/24494/task/24498/stat : 24498 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 25843 0 0 0 6707 5071 0 0 20 0 17 0 654758366 2146959360 473307 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24494/tid=24499] ppid=24492 vsize=2096640 CPUtime=117.25
/proc/24494/task/24499/stat : 24499 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 19908 0 0 0 6393 5332 0 0 20 0 17 0 654758366 2146959360 473307 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591211 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24494/tid=24500] ppid=24492 vsize=2096640 CPUtime=117.36
/proc/24494/task/24500/stat : 24500 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 20106 0 0 0 6345 5391 0 0 20 0 17 0 654758366 2146959360 473307 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591217 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24494/tid=24501] ppid=24492 vsize=2096640 CPUtime=117.85
/proc/24494/task/24501/stat : 24501 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 17385 0 0 0 6542 5243 0 0 20 0 17 0 654758366 2146959360 473307 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24494/tid=24502] ppid=24492 vsize=2096640 CPUtime=117.82
/proc/24494/task/24502/stat : 24502 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 18282 0 0 0 6467 5315 0 0 20 0 17 0 654758366 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24494/tid=24503] ppid=24492 vsize=2096640 CPUtime=117.74
/proc/24494/task/24503/stat : 24503 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 13888 0 0 0 6595 5179 0 0 20 0 17 0 654758366 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134749302 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24494/tid=24504] ppid=24492 vsize=2096640 CPUtime=117.76
/proc/24494/task/24504/stat : 24504 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 21684 0 0 0 6615 5161 0 0 20 0 17 0 654758366 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591471 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24494/tid=24505] ppid=24492 vsize=2096640 CPUtime=118.03
/proc/24494/task/24505/stat : 24505 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 25126 0 0 0 6716 5087 0 0 20 0 17 0 654758366 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24494/tid=24506] ppid=24492 vsize=2096640 CPUtime=118.22
/proc/24494/task/24506/stat : 24506 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 17445 0 0 0 6677 5145 0 0 20 0 17 0 654758366 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24494/tid=24507] ppid=24492 vsize=2096640 CPUtime=117.14
/proc/24494/task/24507/stat : 24507 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 18877 0 0 0 6199 5515 0 0 20 0 17 0 654758367 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134519936 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24494/tid=24508] ppid=24492 vsize=2096640 CPUtime=117.66
/proc/24494/task/24508/stat : 24508 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 21850 0 0 0 6543 5223 0 0 20 0 17 0 654758367 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134593356 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24494/tid=24509] ppid=24492 vsize=2096640 CPUtime=114.91
/proc/24494/task/24509/stat : 24509 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 16231 0 0 0 6155 5336 0 0 20 0 17 0 654758367 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134565869 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24494/tid=24510] ppid=24492 vsize=2096640 CPUtime=117.33
/proc/24494/task/24510/stat : 24510 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 17237 0 0 0 6306 5427 0 0 20 0 17 0 654758368 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=2096640 CPUtime=117.91
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4202560 10582 0 0 0 6960 4831 0 0 20 0 17 0 654758368 2146959360 473308 18446744073709551615 134512640 135237372 4286674672 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1887.24
Current children cumulated vsize (KiB) 2096640

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

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

[startup+124.725 s]
/proc/loadavg: 15.65 15.31 14.65 17/206 24511
/proc/meminfo: memFree=17150620/36427776 swapFree=4836/1900716
[pid=24494] ppid=24492 vsize=0 CPUtime=1887.55
/proc/24494/stat : 24494 (ttsth-5-0) Z 24492 24494 15497 0 -1 4203532 473768 0 0 0 110362 78393 0 0 20 0 2 0 654757922 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24494/statm: 0 0 0 0 0 0 0
[pid=24494/tid=24511] ppid=24492 vsize=0 CPUtime=118.01
/proc/24494/task/24511/stat : 24511 (ttsth-5-0) R 24492 24494 15497 0 -1 4203588 10582 0 0 0 6960 4841 0 0 20 0 2 0 654758368 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1887.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 124.8
CPU time (s): 1887.63
CPU user time (s): 1103.62
CPU system time (s): 784.017
CPU usage (%): 1512.53
Max. virtual memory (cumulated for all children) (KiB): 2096640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.62
system time used= 784.017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473768
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= 243348
involuntary context switches= 4421

runsolver used 0.700043 second user time and 1.83611 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:41:55
IDJOB=1779585
IDBENCH=70878
IDSOLVER=634
FILE ID=xenhost3-49/1779585-1244954515
PBS_JOBID=
Free space on /tmp= 7022 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-25-s100.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779585-1244954515/watcher-1779585-1244954515 -o /tmp/evaluation-result-1779585-1244954515/solver-1779585-1244954515 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779585-1244954515.cnf

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

MD5SUM BENCH= c4b5df05f50ec97b624a18161f6d43b5
RANDOM SEED= 1058134312

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:      19044064 kB
Buffers:        482628 kB
Cached:       14118348 kB
SwapCached:          0 kB
Active:        4129576 kB
Inactive:     10480424 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2052 kB
Writeback:           0 kB
AnonPages:        8440 kB
Mapped:           3912 kB
Slab:           721684 kB
SReclaimable:   694816 kB
SUnreclaim:      26868 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31564 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7022 MiB
End job on xenhost3-49 at 2009-06-14 06:44:02