Trace number 1779570

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) 2604.36 171.098

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-28-s100.cnf
MD5SUM06e51f5d7b210924fc518c0569affee4
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 variables32151
Number of clauses96786
Sum of the clauses size228372
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261858
Number of clauses of size 334864
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-1779570-1244954342.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 = 32151
0.10/0.14	c Clauses = 96786
0.10/0.14	c Literals = 228372
0.10/0.14	c Reduced size:
0.10/0.14	c Variables = 32151
0.10/0.14	c Clauses = 96302
0.10/0.14	c Literals = 227088
0.10/0.14	c a2
0.20/0.25	c a1
3.50/3.53	c Independent sub-problems = 1
3.50/3.53	c Sub-problem with 32003 variables and 96302 clauses
3.50/3.53	c using permutation method 4
3.50/3.53	c count = 1
3.50/3.53	c Ordering finished 3.500 seconds
3.50/3.53	c mapped 3.530 seconds
3.50/3.53	c permuted 3.530 seconds
3.50/3.53	c about to sort
3.50/3.55	c sorted
4.50/4.52	c clauses now 96302
4.50/4.52	c init finished 4.160 seconds
4.50/4.52	c tree built 4.500 seconds
4.50/4.52	c 
4.50/4.52	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
4.50/4.52	c ---------------------------------|----------------------------------|------------------------------------------------------
4.50/4.52	c ................................ | ..........                       |                        4.5           0.0             
4.50/4.52	c ................................ | ..........                     1 |                        4.6           0.2            1
4.50/4.52	c ................................ | ..........                     2 |                        4.6           0.4            3
4.50/4.52	c ................................ | ..........                     3 |                        4.6           0.7            3
4.50/4.52	c ................................ | ..........                     4 |                        4.6           0.9            3
4.50/4.52	c ................................ | ..........                     5 |                        4.6           1.1            3
4.50/4.54	c ................................ | ..........                  1000 | 13                     4.7         214.6          179
320.96/25.34	c ................................ | ..........               1328000 | 32727                200.2        6633.4      6029937
638.55/45.52	c ................................ | ..........               1977000 | 48901                400.1        4941.1     14470262
940.15/64.78	c ................................ | ..........               2505000 | 62606                600.3        4172.8     22569433
1214.04/82.21	c ................................ | ..........               2946000 | 74839                800.5        3680.2     30507574
1475.53/98.92	c ................................ | *.........               3294000 | 84053               1001.0        3290.7     40494764
1716.63/114.31	c ................................ | *.........               3523000 | 89800               1200.2        2935.3     50367059
1961.13/129.96	c ................................ | *.........               3748000 | 95402               1401.3        2674.7     61153469
2202.48/145.34	c ................................ | *.........               3973000 | 101428              1600.3        2482.6     71075435
2447.10/160.92	c ................................ | *.........               4173000 | 106647              1800.7        2317.5     81571843

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

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


[startup+0 s]
/proc/loadavg: 15.88 15.43 14.47 2/189 24434
/proc/meminfo: memFree=19043504/36427776 swapFree=3908/8392
[pid=24434] ppid=24432 vsize=1540 CPUtime=0
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 282 0 0 0 0 0 0 0 20 0 1 0 654740611 1576960 238 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134732614 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 385 239 75 177 0 207 0

[startup+0.10813 s]
/proc/loadavg: 15.88 15.43 14.47 2/189 24434
/proc/meminfo: memFree=19043504/36427776 swapFree=3908/8392
[pid=24434] ppid=24432 vsize=7980 CPUtime=0.1
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 1804 0 0 0 10 0 0 0 20 0 1 0 654740611 8171520 1760 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134534121 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 1995 1760 75 177 0 1817 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7980

[startup+0.204149 s]
/proc/loadavg: 15.88 15.43 14.47 2/189 24434
/proc/meminfo: memFree=19043504/36427776 swapFree=3908/8392
[pid=24434] ppid=24432 vsize=14436 CPUtime=0.2
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 3391 0 0 0 18 2 0 0 20 0 1 0 654740611 14782464 3346 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134749353 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 3609 3346 76 177 0 3431 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 14436

[startup+0.304152 s]
/proc/loadavg: 15.88 15.43 14.47 2/189 24434
/proc/meminfo: memFree=19043504/36427776 swapFree=3908/8392
[pid=24434] ppid=24432 vsize=14904 CPUtime=0.3
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 3738 0 0 0 26 4 0 0 20 0 1 0 654740611 15261696 3503 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134555267 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 3726 3503 77 177 0 3548 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 14904

[startup+0.700156 s]
/proc/loadavg: 15.88 15.43 14.47 2/189 24434
/proc/meminfo: memFree=19043504/36427776 swapFree=3908/8392
[pid=24434] ppid=24432 vsize=18868 CPUtime=0.7
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 4744 0 0 0 66 4 0 0 20 0 1 0 654740611 19320832 4509 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134555272 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 4717 4509 77 177 0 4539 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 18868

[startup+1.50024 s]
/proc/loadavg: 15.88 15.43 14.47 2/190 24435
/proc/meminfo: memFree=19025448/36427776 swapFree=4508/26732
[pid=24434] ppid=24432 vsize=19132 CPUtime=1.5
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 4818 0 0 0 146 4 0 0 20 0 1 0 654740611 19591168 4583 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134732614 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 4783 4583 77 177 0 4605 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19132

[startup+3.10038 s]
/proc/loadavg: 14.69 15.19 14.39 2/190 24435
/proc/meminfo: memFree=19023948/36427776 swapFree=4764/28164
[pid=24434] ppid=24432 vsize=20256 CPUtime=3.1
/proc/24434/stat : 24434 (ttsth-5-0) R 24432 24434 15497 0 -1 4202496 5080 0 0 0 306 4 0 0 20 0 1 0 654740611 20742144 4845 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134600972 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 5064 4845 77 177 0 4886 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 20256

[startup+6.30378 s]
/proc/loadavg: 14.69 15.19 14.39 17/206 24451
/proc/meminfo: memFree=18646872/36427776 swapFree=4820/409808
[pid=24434] ppid=24432 vsize=530864 CPUtime=30.13
/proc/24434/stat : 24434 (ttsth-5-0) S 24432 24434 15497 0 -1 4202496 101483 0 0 0 1211 1802 0 0 20 0 17 0 654740611 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 132716 101058 95 177 0 132538 0
[pid=24434/tid=24436] ppid=24432 vsize=530864 CPUtime=1.76
/proc/24434/task/24436/stat : 24436 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1062 0 0 0 170 6 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24434/tid=24437] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24437/stat : 24437 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 344 0 0 0 44 126 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24438/stat : 24438 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 392 0 0 0 42 128 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24439/stat : 24439 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 368 0 0 0 44 126 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=530864 CPUtime=1.68
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 340 0 0 0 42 126 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 503 0 0 0 52 118 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 368 0 0 0 50 120 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 435 0 0 0 44 126 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 395 0 0 0 36 134 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=530864 CPUtime=0.9
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 332 0 0 0 16 74 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134593319 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 450 0 0 0 50 120 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=530864 CPUtime=1.68
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 404 0 0 0 56 112 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=530864 CPUtime=1.68
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 375 0 0 0 40 128 0 0 20 0 17 0 654741063 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=530864 CPUtime=1.66
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 370 0 0 0 44 122 0 0 20 0 17 0 654741064 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591174 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=530864 CPUtime=1.7
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 396 0 0 0 40 130 0 0 20 0 17 0 654741064 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134588083 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=530864 CPUtime=0.86
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 342 0 0 0 22 64 0 0 20 0 17 0 654741064 543604736 101058 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 30.13
Current children cumulated vsize (KiB) 530864

[startup+12.7044 s]
/proc/loadavg: 14.89 15.21 14.41 17/206 24451
/proc/meminfo: memFree=18607552/36427776 swapFree=4836/446232
[pid=24434] ppid=24432 vsize=565532 CPUtime=124.53
/proc/24434/stat : 24434 (ttsth-5-0) S 24432 24434 15497 0 -1 4202496 110835 0 0 0 3911 8542 0 0 20 0 17 0 654740611 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 141383 110410 95 177 0 141205 0
[pid=24434/tid=24436] ppid=24432 vsize=565532 CPUtime=8.14
/proc/24434/task/24436/stat : 24436 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 4816 0 0 0 800 14 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134590241 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24434/tid=24437] ppid=24432 vsize=565532 CPUtime=7.98
/proc/24434/task/24437/stat : 24437 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 623 0 0 0 186 612 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=565532 CPUtime=8
/proc/24434/task/24438/stat : 24438 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 670 0 0 0 188 612 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=565532 CPUtime=8
/proc/24434/task/24439/stat : 24439 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1192 0 0 0 184 616 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=565532 CPUtime=7.96
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 587 0 0 0 190 606 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=565532 CPUtime=7.96
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 986 0 0 0 182 614 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=565532 CPUtime=7.98
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 697 0 0 0 202 596 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=565532 CPUtime=7.98
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 725 0 0 0 188 610 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=565532 CPUtime=7.98
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 957 0 0 0 178 620 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=565532 CPUtime=4.1
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 497 0 0 0 104 306 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=565532 CPUtime=7.98
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1082 0 0 0 196 602 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=565532 CPUtime=8
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 704 0 0 0 212 588 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=565532 CPUtime=7.96
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 647 0 0 0 202 594 0 0 20 0 17 0 654741063 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=565532 CPUtime=7.8
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 721 0 0 0 184 596 0 0 20 0 17 0 654741064 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=565532 CPUtime=7.98
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 760 0 0 0 198 600 0 0 20 0 17 0 654741064 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=565532 CPUtime=4.04
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 564 0 0 0 94 310 0 0 20 0 17 0 654741064 579104768 110410 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134590298 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 124.53
Current children cumulated vsize (KiB) 565532

[startup+25.5056 s]
/proc/loadavg: 15.06 15.24 14.43 17/206 24451
/proc/meminfo: memFree=18521328/36427776 swapFree=4836/532172
[pid=24434] ppid=24432 vsize=649136 CPUtime=323.91
/proc/24434/stat : 24434 (ttsth-5-0) S 24432 24434 15497 0 -1 4202496 131532 0 0 0 9677 22714 0 0 20 0 17 0 654740611 664715264 131107 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 162284 131108 95 177 0 162106 0
[pid=24434/tid=24436] ppid=24432 vsize=649136 CPUtime=20.94
/proc/24434/task/24436/stat : 24436 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 15262 0 0 0 2070 24 0 0 20 0 17 0 654741063 664715264 131108 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24434/tid=24437] ppid=24432 vsize=649136 CPUtime=20.56
/proc/24434/task/24437/stat : 24437 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1114 0 0 0 462 1594 0 0 20 0 17 0 654741063 664715264 131108 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=649136 CPUtime=20.62
/proc/24434/task/24438/stat : 24438 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1414 0 0 0 478 1584 0 0 20 0 17 0 654741063 664715264 131109 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=649136 CPUtime=20.62
/proc/24434/task/24439/stat : 24439 (ttsth-5-0) S 24432 24434 15497 0 -1 4202560 2090 0 0 0 530 1532 0 0 20 0 17 0 654741063 664715264 131109 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=649136 CPUtime=20.54
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1315 0 0 0 498 1556 0 0 20 0 17 0 654741063 664715264 131109 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=649136 CPUtime=20.56
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1744 0 0 0 484 1572 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=649136 CPUtime=20.58
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1177 0 0 0 480 1578 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=649136 CPUtime=20.58
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1458 0 0 0 484 1574 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=649136 CPUtime=20.6
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1811 0 0 0 500 1560 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=649136 CPUtime=15.62
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1371 0 0 0 380 1182 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=649136 CPUtime=20.58
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1264 0 0 0 500 1558 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=649136 CPUtime=20.56
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1654 0 0 0 524 1532 0 0 20 0 17 0 654741063 664715264 131110 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=649136 CPUtime=20.58
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1180 0 0 0 506 1552 0 0 20 0 17 0 654741063 664715264 131111 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=649136 CPUtime=20.1
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1461 0 0 0 488 1522 0 0 20 0 17 0 654741064 664715264 131111 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=649136 CPUtime=20.58
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1546 0 0 0 512 1546 0 0 20 0 17 0 654741064 664715264 131111 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=649136 CPUtime=15.6
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1067 0 0 0 356 1204 0 0 20 0 17 0 654741064 664715264 131111 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 323.91
Current children cumulated vsize (KiB) 649136

[startup+51.1041 s]
/proc/loadavg: 15.38 15.30 14.47 17/206 24451
/proc/meminfo: memFree=18336404/36427776 swapFree=4836/717032
[pid=24434] ppid=24432 vsize=846120 CPUtime=726.57

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

/proc/24434/task/24439/stat : 24439 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 6193 0 0 0 1308 3281 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=846120 CPUtime=45.74
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 5877 0 0 0 1216 3358 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=846120 CPUtime=45.71
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2808 0 0 0 1296 3275 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=846120 CPUtime=45.75
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2564 0 0 0 1282 3293 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=846120 CPUtime=45.73
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2513 0 0 0 1268 3305 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591065 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=846120 CPUtime=45.78
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2972 0 0 0 1338 3240 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=846120 CPUtime=40.82
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2568 0 0 0 1286 2796 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=846120 CPUtime=45.77
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1925 0 0 0 1148 3429 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=846120 CPUtime=45.78
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2409 0 0 0 1510 3068 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=846120 CPUtime=45.71
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 1657 0 0 0 1152 3419 0 0 20 0 17 0 654741063 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=846120 CPUtime=44.73
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2072 0 0 0 1156 3317 0 0 20 0 17 0 654741064 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=846120 CPUtime=45.75
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 3930 0 0 0 1290 3285 0 0 20 0 17 0 654741064 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=846120 CPUtime=40.76
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 2152 0 0 0 1042 3034 0 0 20 0 17 0 654741064 866426880 177858 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 726.57
Current children cumulated vsize (KiB) 846120

[startup+102.305 s]
/proc/loadavg: 15.68 15.40 14.55 17/206 24456
/proc/meminfo: memFree=17903436/36427776 swapFree=4836/1149668
[pid=24434] ppid=24432 vsize=1299472 CPUtime=1528.71
/proc/24434/stat : 24434 (ttsth-5-0) S 24432 24434 15497 0 -1 4202496 285704 0 0 0 70053 82818 0 0 20 0 17 0 654740611 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 324868 285279 95 177 0 324690 0
[pid=24434/tid=24436] ppid=24432 vsize=1299472 CPUtime=97.73
/proc/24434/task/24436/stat : 24436 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 71824 0 0 0 9687 86 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134562323 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24434/tid=24437] ppid=24432 vsize=1299472 CPUtime=96
/proc/24434/task/24437/stat : 24437 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 4851 0 0 0 3868 5732 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134680296 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=1299472 CPUtime=96.15
/proc/24434/task/24438/stat : 24438 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 14773 0 0 0 4048 5567 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591433 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=1299472 CPUtime=96.24
/proc/24434/task/24439/stat : 24439 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 11639 0 0 0 4011 5613 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=1299472 CPUtime=95.5
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 11307 0 0 0 3601 5949 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134593204 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=1299472 CPUtime=95.6
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 6620 0 0 0 3959 5601 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=1299472 CPUtime=95.82
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) S 24432 24434 15497 0 -1 4202560 7500 0 0 0 4184 5398 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=1299472 CPUtime=95.88
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 5010 0 0 0 4124 5464 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134590278 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=1299472 CPUtime=95.85
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 7991 0 0 0 4069 5516 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134519944 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=1299472 CPUtime=90.97
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 7153 0 0 0 4161 4936 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=1299472 CPUtime=95.85
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 8638 0 0 0 4034 5551 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=1299472 CPUtime=96.06
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) S 24432 24434 15497 0 -1 4202560 5171 0 0 0 4522 5084 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=1299472 CPUtime=95.72
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 7834 0 0 0 3709 5863 0 0 20 0 17 0 654741063 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591177 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=1299472 CPUtime=93.91
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 5361 0 0 0 3844 5547 0 0 20 0 17 0 654741064 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=1299472 CPUtime=95.88
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 10872 0 0 0 4006 5582 0 0 20 0 17 0 654741064 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=1299472 CPUtime=91
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 4553 0 0 0 3810 5290 0 0 20 0 17 0 654741064 1330659328 285279 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1528.71
Current children cumulated vsize (KiB) 1299472

[startup+162.306 s]
/proc/loadavg: 15.72 15.46 14.62 16/206 24456
/proc/meminfo: memFree=17258792/36427776 swapFree=4836/1793012
[pid=24434] ppid=24432 vsize=1990340 CPUtime=2468.89
/proc/24434/stat : 24434 (ttsth-5-0) S 24432 24434 15497 0 -1 4202496 448466 0 0 0 139621 107268 0 0 20 0 17 0 654740611 2038108160 448041 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 497585 448042 95 177 0 497407 0
[pid=24434/tid=24436] ppid=24432 vsize=1990340 CPUtime=157.71
/proc/24434/task/24436/stat : 24436 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 99031 0 0 0 15645 126 0 0 20 0 17 0 654741063 2038108160 448042 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591082 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24434/tid=24437] ppid=24432 vsize=1990340 CPUtime=154.77
/proc/24434/task/24437/stat : 24437 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 8537 0 0 0 8123 7354 0 0 20 0 17 0 654741063 2038108160 448042 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=1990340 CPUtime=155.17
/proc/24434/task/24438/stat : 24438 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 23959 0 0 0 8391 7126 0 0 20 0 17 0 654741063 2038108160 448042 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=1990340 CPUtime=155.17
/proc/24434/task/24439/stat : 24439 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 15050 0 0 0 8300 7217 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=1990340 CPUtime=153.89
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 26895 0 0 0 7623 7766 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=1990340 CPUtime=154.11
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 27323 0 0 0 8151 7260 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=1990340 CPUtime=154.45
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 16939 0 0 0 8488 6957 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=1990340 CPUtime=154.58
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 10574 0 0 0 8375 7083 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134591529 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=1990340 CPUtime=154.55
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 13662 0 0 0 8257 7198 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134589671 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=1990340 CPUtime=149.63
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 13764 0 0 0 8269 6694 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=1990340 CPUtime=154.92
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 22666 0 0 0 8732 6760 0 0 20 0 17 0 654741063 2038108160 448043 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=1990340 CPUtime=154.83
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 11094 0 0 0 8609 6874 0 0 20 0 17 0 654741063 2038108160 448044 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=1990340 CPUtime=154.45
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 20304 0 0 0 7952 7493 0 0 20 0 17 0 654741063 2038108160 448045 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=1990340 CPUtime=151.65
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 16284 0 0 0 8274 6891 0 0 20 0 17 0 654741064 2038108160 448045 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=1990340 CPUtime=154.74
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 17644 0 0 0 8319 7155 0 0 20 0 17 0 654741064 2038108160 448045 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134589019 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=1990340 CPUtime=149.63
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 10136 0 0 0 7690 7273 0 0 20 0 17 0 654741064 2038108160 448045 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2468.89
Current children cumulated vsize (KiB) 1990340



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+170.905 s]
/proc/loadavg: 15.75 15.47 14.63 17/206 24456
/proc/meminfo: memFree=17152248/36427776 swapFree=4836/1899052
[pid=24434] ppid=24432 vsize=2096184 CPUtime=2603.99
/proc/24434/stat : 24434 (ttsth-5-0) S 24432 24434 15497 0 -1 4202496 473355 0 0 0 150017 110382 0 0 20 0 17 0 654740611 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 524046 472930 95 177 0 523868 0
[pid=24434/tid=24436] ppid=24432 vsize=2096184 CPUtime=166.31
/proc/24434/task/24436/stat : 24436 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 104084 0 0 0 16503 128 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24434/tid=24437] ppid=24432 vsize=2096184 CPUtime=163.2
/proc/24434/task/24437/stat : 24437 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 9023 0 0 0 8740 7580 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24434/tid=24438] ppid=24432 vsize=2096184 CPUtime=163.62
/proc/24434/task/24438/stat : 24438 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 25074 0 0 0 9027 7335 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24434/tid=24439] ppid=24432 vsize=2096184 CPUtime=163.63
/proc/24434/task/24439/stat : 24439 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 15417 0 0 0 8942 7421 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24434/tid=24440] ppid=24432 vsize=2096184 CPUtime=162.34
/proc/24434/task/24440/stat : 24440 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 28115 0 0 0 8254 7980 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24434/tid=24441] ppid=24432 vsize=2096184 CPUtime=162.57
/proc/24434/task/24441/stat : 24441 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 30983 0 0 0 8841 7416 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24434/tid=24442] ppid=24432 vsize=2096184 CPUtime=162.9
/proc/24434/task/24442/stat : 24442 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 18371 0 0 0 9163 7127 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24434/tid=24443] ppid=24432 vsize=2096184 CPUtime=162.98
/proc/24434/task/24443/stat : 24443 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 11397 0 0 0 8960 7338 0 0 20 0 17 0 654741063 2146492416 472930 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24434/tid=24444] ppid=24432 vsize=2096184 CPUtime=162.98
/proc/24434/task/24444/stat : 24444 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 13937 0 0 0 8911 7387 0 0 20 0 17 0 654741063 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24434/tid=24445] ppid=24432 vsize=2096184 CPUtime=158.07
/proc/24434/task/24445/stat : 24445 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 14051 0 0 0 8896 6911 0 0 20 0 17 0 654741063 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24434/tid=24446] ppid=24432 vsize=2096184 CPUtime=163.42
/proc/24434/task/24446/stat : 24446 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 24427 0 0 0 9426 6916 0 0 20 0 17 0 654741063 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24434/tid=24447] ppid=24432 vsize=2096184 CPUtime=163.25
/proc/24434/task/24447/stat : 24447 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 11667 0 0 0 9246 7079 0 0 20 0 17 0 654741063 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24434/tid=24448] ppid=24432 vsize=2096184 CPUtime=162.88
/proc/24434/task/24448/stat : 24448 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 21828 0 0 0 8566 7722 0 0 20 0 17 0 654741063 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=24434/tid=24449] ppid=24432 vsize=2096184 CPUtime=159.9
/proc/24434/task/24449/stat : 24449 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 17994 0 0 0 8879 7111 0 0 20 0 17 0 654741064 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24434/tid=24450] ppid=24432 vsize=2096184 CPUtime=163.19
/proc/24434/task/24450/stat : 24450 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 18146 0 0 0 8970 7349 0 0 20 0 17 0 654741064 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=2096184 CPUtime=158.12
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4202560 14235 0 0 0 8269 7543 0 0 20 0 17 0 654741064 2146492416 472931 18446744073709551615 134512640 135237372 4289157456 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2603.99
Current children cumulated vsize (KiB) 2096184

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

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

[startup+171.023 s]
/proc/loadavg: 15.75 15.47 14.63 17/206 24456
/proc/meminfo: memFree=17152248/36427776 swapFree=4836/1899052
[pid=24434] ppid=24432 vsize=0 CPUtime=2604.27
/proc/24434/stat : 24434 (ttsth-5-0) Z 24432 24434 15497 0 -1 4203532 473366 0 0 0 150024 110403 0 0 20 0 2 0 654740611 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/24434/statm: 0 0 0 0 0 0 0
[pid=24434/tid=24451] ppid=24432 vsize=0 CPUtime=158.22
/proc/24434/task/24451/stat : 24451 (ttsth-5-0) R 24432 24434 15497 0 -1 4203588 14235 0 0 0 8269 7553 0 0 20 0 2 0 654741064 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 2604.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 171.098
CPU time (s): 2604.36
CPU user time (s): 1500.26
CPU system time (s): 1104.11
CPU usage (%): 1522.14
Max. virtual memory (cumulated for all children) (KiB): 2096184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1500.26
system time used= 1104.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 473366
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= 320050
involuntary context switches= 5812

runsolver used 0.900056 second user time and 2.64817 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 06e51f5d7b210924fc518c0569affee4
RANDOM SEED= 1627503322

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:      19043504 kB
Buffers:        482628 kB
Cached:       14118292 kB
SwapCached:          0 kB
Active:        4129584 kB
Inactive:     10480392 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            2028 kB
Writeback:           0 kB
AnonPages:        8392 kB
Mapped:           3244 kB
Slab:           721616 kB
SReclaimable:   694800 kB
SUnreclaim:      26816 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    31444 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:41:55