Trace number 1779225

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) 1173.62 123.999

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-09.cnf
MD5SUM5c56557463274332c6704b6432dfc42b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1539.67
Satisfiable
(Un)Satisfiability was proved
Number of variables69487
Number of clauses226581
Sum of the clauses size587221
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292264
Number of clauses of size 3134188
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.28/0.32	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779225-1244951533.cnf 
0.28/0.32	c Using SATTIMEOUT of 10000
0.28/0.32	c Using SATRAM of 2047
0.28/0.32	c Size of subset node = 16
0.28/0.32	c Variables = 69487
0.28/0.32	c Clauses = 226581
0.28/0.32	c Literals = 587221
0.28/0.32	c Reduced size:
0.28/0.32	c Variables = 69487
0.28/0.32	c Clauses = 225938
0.28/0.32	c Literals = 585551
0.28/0.32	c a2
0.58/0.62	c a1
26.30/26.37	c Independent sub-problems = 1
26.30/26.37	c Sub-problem with 69230 variables and 225938 clauses
26.30/26.37	c using permutation method 4
26.30/26.37	c count = 1
26.30/26.37	c Ordering finished 26.290 seconds
26.30/26.37	c mapped 26.360 seconds
26.30/26.37	c permuted 26.360 seconds
26.30/26.37	c about to sort
26.40/26.42	c sorted
28.50/28.55	c clauses now 225938
28.50/28.55	c init finished 27.730 seconds
28.50/28.55	c tree built 28.520 seconds
28.50/28.55	c 
28.50/28.55	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
28.50/28.55	c ---------------------------------|----------------------------------|------------------------------------------------------
28.50/28.55	c ................................ | ..........                       |                       28.6           0.0             
28.50/28.55	c ................................ | ..........                     1 |                       28.6           0.0             
28.50/28.55	c ................................ | ..........                     2 |                       28.6           0.1             
28.50/28.55	c ................................ | ..........                     3 |                       28.6           0.1             
28.50/28.55	c ................................ | ..........                     4 |                       28.6           0.1             
28.50/28.55	c ................................ | ..........                     5 |                       28.6           0.2             
28.50/28.56	c ................................ | ..........                  1000 |                       28.6          34.9             
266.91/45.83	c ................................ | ..........                587000 | 43822                200.0        2934.4      7430589
481.63/63.63	c ................................ | ..........               1141000 | 88200                400.6        2848.3     21370884
697.78/79.32	c ................................ | ..........               1567000 | 122825               600.2        2610.6     32680926
904.00/97.68	c ................................ | ..........               2080000 | 163630               800.3        2598.9     46460569
1107.61/117.42	c ................................ | *.........               2639000 | 207950              1000.3        2638.3     60226906

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

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


[startup+0 s]
/proc/loadavg: 13.08 9.48 6.81 2/184 23101
/proc/meminfo: memFree=19041080/36427776 swapFree=4496/8660
[pid=23101] ppid=23099 vsize=1540 CPUtime=0
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 263 0 0 0 0 0 0 0 20 0 1 0 654459692 1576960 220 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 385 221 75 177 0 207 0

[startup+0.012527 s]
/proc/loadavg: 13.08 9.48 6.81 2/184 23101
/proc/meminfo: memFree=19041080/36427776 swapFree=4496/8660
[pid=23101] ppid=23099 vsize=1672 CPUtime=0
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 654459692 1712128 263 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 418 264 75 177 0 240 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1672

[startup+0.100514 s]
/proc/loadavg: 13.08 9.48 6.81 2/184 23101
/proc/meminfo: memFree=19041080/36427776 swapFree=4496/8660
[pid=23101] ppid=23099 vsize=7496 CPUtime=0.08
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 1733 0 0 0 8 0 0 0 20 0 1 0 654459692 7675904 1690 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 1874 1691 75 177 0 1696 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7496

[startup+0.300585 s]
/proc/loadavg: 13.08 9.48 6.81 2/184 23101
/proc/meminfo: memFree=19041080/36427776 swapFree=4496/8660
[pid=23101] ppid=23099 vsize=17224 CPUtime=0.28
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 3996 0 0 0 28 0 0 0 20 0 1 0 654459692 17637376 3953 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134534032 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 4306 3953 75 177 0 4128 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17224

[startup+0.700597 s]
/proc/loadavg: 13.08 9.48 6.81 2/184 23101
/proc/meminfo: memFree=19041080/36427776 swapFree=4496/8660
[pid=23101] ppid=23099 vsize=35968 CPUtime=0.68
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 8665 0 0 0 66 2 0 0 20 0 1 0 654459692 36831232 8622 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134540092 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 8992 8622 76 177 0 8814 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 35968

[startup+1.50064 s]
/proc/loadavg: 13.08 9.48 6.81 2/185 23102
/proc/meminfo: memFree=19000412/36427776 swapFree=4456/49064
[pid=23101] ppid=23099 vsize=42192 CPUtime=1.5
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 11028 0 0 0 146 4 0 0 20 0 1 0 654459692 43204608 10202 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134550999 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 10548 10202 77 177 0 10370 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 42192

[startup+3.10075 s]
/proc/loadavg: 13.08 9.48 6.81 2/185 23102
/proc/meminfo: memFree=18999716/36427776 swapFree=4208/49540
[pid=23101] ppid=23099 vsize=42676 CPUtime=3.1
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 11141 0 0 0 306 4 0 0 20 0 1 0 654459692 43700224 10315 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134555272 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 10669 10315 77 177 0 10491 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 42676

[startup+6.30103 s]
/proc/loadavg: 12.11 9.34 6.77 2/185 23102
/proc/meminfo: memFree=18998576/36427776 swapFree=4620/50672
[pid=23101] ppid=23099 vsize=43528 CPUtime=6.3
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 11359 0 0 0 626 4 0 0 20 0 1 0 654459692 44572672 10533 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134732614 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 10882 10533 77 177 0 10704 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 43528

[startup+12.7016 s]
/proc/loadavg: 11.22 9.20 6.74 2/185 23102
/proc/meminfo: memFree=18996732/36427776 swapFree=4620/52624
[pid=23101] ppid=23099 vsize=44772 CPUtime=12.7
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 11640 0 0 0 1266 4 0 0 20 0 1 0 654459692 45846528 10814 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134600707 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 11193 10814 77 177 0 11015 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 44772

[startup+25.5026 s]
/proc/loadavg: 8.95 8.80 6.65 2/185 23102
/proc/meminfo: memFree=18996532/36427776 swapFree=4620/52908
[pid=23101] ppid=23099 vsize=45300 CPUtime=25.48
/proc/23101/stat : 23101 (ttsth-5-0) R 23099 23101 15497 0 -1 4202496 11778 0 0 0 2544 4 0 0 20 0 1 0 654459692 46387200 10952 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134600707 0 0 1 0 0 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 11325 10952 77 177 0 11147 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45300

[startup+51.1048 s]
/proc/loadavg: 10.50 9.14 6.82 17/201 23118
/proc/meminfo: memFree=18019784/36427776 swapFree=4692/1032652
[pid=23101] ppid=23099 vsize=1153316 CPUtime=332.49
/proc/23101/stat : 23101 (ttsth-5-0) S 23099 23101 15497 0 -1 4202496 259046 0 0 0 19027 14222 0 0 20 0 17 0 654459692 1180995584 257428 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 288329 257428 95 177 0 288151 0
[pid=23101/tid=23103] ppid=23099 vsize=1153316 CPUtime=15.22
/proc/23101/task/23103/stat : 23103 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 10090 0 0 0 1506 16 0 0 20 0 17 0 654462545 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23101/tid=23104] ppid=23099 vsize=1153316 CPUtime=20.92
/proc/23101/task/23104/stat : 23104 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 3160 0 0 0 1090 1002 0 0 20 0 17 0 654462545 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=23101/tid=23105] ppid=23099 vsize=1153316 CPUtime=20.18
/proc/23101/task/23105/stat : 23105 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2254 0 0 0 980 1038 0 0 20 0 17 0 654462545 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23101/tid=23106] ppid=23099 vsize=1153316 CPUtime=16.06
/proc/23101/task/23106/stat : 23106 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 4201 0 0 0 714 892 0 0 20 0 17 0 654462545 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23101/tid=23107] ppid=23099 vsize=1153316 CPUtime=18.46
/proc/23101/task/23107/stat : 23107 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 3058 0 0 0 926 920 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23101/tid=23108] ppid=23099 vsize=1153316 CPUtime=21.98
/proc/23101/task/23108/stat : 23108 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 4101 0 0 0 1224 974 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23101/tid=23109] ppid=23099 vsize=1153316 CPUtime=16.96
/proc/23101/task/23109/stat : 23109 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 3463 0 0 0 866 830 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23101/tid=23110] ppid=23099 vsize=1153316 CPUtime=17.3
/proc/23101/task/23110/stat : 23110 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2597 0 0 0 888 842 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134590275 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23101/tid=23111] ppid=23099 vsize=1153316 CPUtime=21.12
/proc/23101/task/23111/stat : 23111 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 3196 0 0 0 1104 1008 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23101/tid=23112] ppid=23099 vsize=1153316 CPUtime=17.72
/proc/23101/task/23112/stat : 23112 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2601 0 0 0 932 840 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23101/tid=23113] ppid=23099 vsize=1153316 CPUtime=17.84
/proc/23101/task/23113/stat : 23113 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2337 0 0 0 818 966 0 0 20 0 17 0 654462546 1180995584 257429 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23101/tid=23114] ppid=23099 vsize=1153316 CPUtime=20.72
/proc/23101/task/23114/stat : 23114 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 3401 0 0 0 1066 1006 0 0 20 0 17 0 654462546 1180995584 257430 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23101/tid=23115] ppid=23099 vsize=1153316 CPUtime=20.8
/proc/23101/task/23115/stat : 23115 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2194 0 0 0 1006 1074 0 0 20 0 17 0 654462546 1180995584 257430 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134561549 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23101/tid=23116] ppid=23099 vsize=1153316 CPUtime=22.02
/proc/23101/task/23116/stat : 23116 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 3778 0 0 0 1180 1022 0 0 20 0 17 0 654462547 1180995584 257430 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23101/tid=23117] ppid=23099 vsize=1153316 CPUtime=19.82
/proc/23101/task/23117/stat : 23117 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2329 0 0 0 966 1016 0 0 20 0 17 0 654462547 1180995584 257430 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134550986 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23101/tid=23118] ppid=23099 vsize=1153316 CPUtime=16.7
/proc/23101/task/23118/stat : 23118 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 2330 0 0 0 968 702 0 0 20 0 17 0 654462551 1180995584 257430 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 332.49
Current children cumulated vsize (KiB) 1153316

[startup+102.313 s]
/proc/loadavg: 13.61 10.20 7.30 17/201 23118
/proc/meminfo: memFree=17375272/36427776 swapFree=4692/1675004
[pid=23101] ppid=23099 vsize=1836804 CPUtime=956.62
/proc/23101/stat : 23101 (ttsth-5-0) S 23099 23101 15497 0 -1 4202496 418848 0 0 0 75730 19932 0 0 20 0 17 0 654459692 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 459201 417230 95 177 0 459023 0
[pid=23101/tid=23103] ppid=23099 vsize=1836804 CPUtime=65.76
/proc/23101/task/23103/stat : 23103 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 30275 0 0 0 6536 40 0 0 20 0 17 0 654462545 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23101/tid=23104] ppid=23099 vsize=1836804 CPUtime=62.56
/proc/23101/task/23104/stat : 23104 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 13129 0 0 0 4826 1430 0 0 20 0 17 0 654462545 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23101/tid=23105] ppid=23099 vsize=1836804 CPUtime=63.57
/proc/23101/task/23105/stat : 23105 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 11188 0 0 0 4913 1444 0 0 20 0 17 0 654462545 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23101/tid=23106] ppid=23099 vsize=1836804 CPUtime=53.9
/proc/23101/task/23106/stat : 23106 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 22702 0 0 0 4146 1244 0 0 20 0 17 0 654462545 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=23101/tid=23107] ppid=23099 vsize=1836804 CPUtime=49.33
/proc/23101/task/23107/stat : 23107 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 9908 0 0 0 3713 1220 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134549872 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23101/tid=23108] ppid=23099 vsize=1836804 CPUtime=58.42
/proc/23101/task/23108/stat : 23108 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 14524 0 0 0 4612 1230 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=23101/tid=23109] ppid=23099 vsize=1836804 CPUtime=54.88
/proc/23101/task/23109/stat : 23109 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 12539 0 0 0 4256 1232 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23101/tid=23110] ppid=23099 vsize=1836804 CPUtime=60.72
/proc/23101/task/23110/stat : 23110 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 9855 0 0 0 4836 1236 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23101/tid=23111] ppid=23099 vsize=1836804 CPUtime=60.01
/proc/23101/task/23111/stat : 23111 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 9591 0 0 0 4691 1310 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23101/tid=23112] ppid=23099 vsize=1836804 CPUtime=54.25
/proc/23101/task/23112/stat : 23112 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 9929 0 0 0 4229 1196 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23101/tid=23113] ppid=23099 vsize=1836804 CPUtime=58.09
/proc/23101/task/23113/stat : 23113 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 8475 0 0 0 4443 1366 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=23101/tid=23114] ppid=23099 vsize=1836804 CPUtime=61.63
/proc/23101/task/23114/stat : 23114 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 14884 0 0 0 4701 1462 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23101/tid=23115] ppid=23099 vsize=1836804 CPUtime=51.18
/proc/23101/task/23115/stat : 23115 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 15560 0 0 0 3760 1358 0 0 20 0 17 0 654462546 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23101/tid=23116] ppid=23099 vsize=1836804 CPUtime=59.96
/proc/23101/task/23116/stat : 23116 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 13384 0 0 0 4512 1484 0 0 20 0 17 0 654462547 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=23101/tid=23117] ppid=23099 vsize=1836804 CPUtime=56.81
/proc/23101/task/23117/stat : 23117 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 11139 0 0 0 4249 1432 0 0 20 0 17 0 654462547 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134593319 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23101/tid=23118] ppid=23099 vsize=1836804 CPUtime=56.92
/proc/23101/task/23118/stat : 23118 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 7809 0 0 0 4520 1172 0 0 20 0 17 0 654462551 1880887296 417230 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 956.62
Current children cumulated vsize (KiB) 1836804



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+123.804 s]
/proc/loadavg: 14.37 10.65 7.52 17/201 23118
/proc/meminfo: memFree=17131180/36427776 swapFree=4692/1919452
[pid=23101] ppid=23099 vsize=2097020 CPUtime=1173.29
/proc/23101/stat : 23101 (ttsth-5-0) S 23099 23101 15497 0 -1 4202496 479444 0 0 0 96959 20370 0 0 20 0 17 0 654459692 2147348480 477826 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 524255 477827 95 177 0 524077 0
[pid=23101/tid=23103] ppid=23099 vsize=2097020 CPUtime=86.75
/proc/23101/task/23103/stat : 23103 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 38452 0 0 0 8627 48 0 0 20 0 17 0 654462545 2147348480 477828 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=23101/tid=23104] ppid=23099 vsize=2097020 CPUtime=73.67
/proc/23101/task/23104/stat : 23104 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 15939 0 0 0 5911 1456 0 0 20 0 17 0 654462545 2147348480 477828 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134749350 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23101/tid=23105] ppid=23099 vsize=2097020 CPUtime=74.11
/proc/23101/task/23105/stat : 23105 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 13366 0 0 0 5949 1462 0 0 20 0 17 0 654462545 2147348480 477828 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=23101/tid=23106] ppid=23099 vsize=2097020 CPUtime=65.37
/proc/23101/task/23106/stat : 23106 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 28241 0 0 0 5259 1278 0 0 20 0 17 0 654462545 2147348480 477829 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23101/tid=23107] ppid=23099 vsize=2097020 CPUtime=64.53
/proc/23101/task/23107/stat : 23107 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 14727 0 0 0 5201 1252 0 0 20 0 17 0 654462546 2147348480 477829 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23101/tid=23108] ppid=23099 vsize=2097020 CPUtime=72.57
/proc/23101/task/23108/stat : 23108 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 19423 0 0 0 5997 1260 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134749353 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23101/tid=23109] ppid=23099 vsize=2097020 CPUtime=69.69
/proc/23101/task/23109/stat : 23109 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 16671 0 0 0 5707 1262 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=23101/tid=23110] ppid=23099 vsize=2097020 CPUtime=76.9
/proc/23101/task/23110/stat : 23110 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 13001 0 0 0 6414 1276 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=23101/tid=23111] ppid=23099 vsize=2097020 CPUtime=74.07
/proc/23101/task/23111/stat : 23111 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 12317 0 0 0 6087 1320 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=23101/tid=23112] ppid=23099 vsize=2097020 CPUtime=66
/proc/23101/task/23112/stat : 23112 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 12068 0 0 0 5374 1226 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134587914 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=23101/tid=23113] ppid=23099 vsize=2097020 CPUtime=72.15
/proc/23101/task/23113/stat : 23113 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 10844 0 0 0 5823 1392 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=23101/tid=23114] ppid=23099 vsize=2097020 CPUtime=73.72
/proc/23101/task/23114/stat : 23114 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 17418 0 0 0 5876 1496 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=23101/tid=23115] ppid=23099 vsize=2097020 CPUtime=63.93
/proc/23101/task/23115/stat : 23115 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 19061 0 0 0 5019 1374 0 0 20 0 17 0 654462546 2147348480 477830 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=23101/tid=23116] ppid=23099 vsize=2097020 CPUtime=71.61
/proc/23101/task/23116/stat : 23116 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 18424 0 0 0 5633 1528 0 0 20 0 17 0 654462547 2147348480 477831 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=23101/tid=23117] ppid=23099 vsize=2097020 CPUtime=69.68
/proc/23101/task/23117/stat : 23117 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 13993 0 0 0 5516 1452 0 0 20 0 17 0 654462547 2147348480 477831 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=23101/tid=23118] ppid=23099 vsize=2097020 CPUtime=69.89
/proc/23101/task/23118/stat : 23118 (ttsth-5-0) R 23099 23101 15497 0 -1 4202560 11545 0 0 0 5779 1210 0 0 20 0 17 0 654462551 2147348480 477831 18446744073709551615 134512640 135237372 4290165312 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1173.29
Current children cumulated vsize (KiB) 2097020

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

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

[startup+123.923 s]
/proc/loadavg: 14.37 10.65 7.52 17/201 23118
/proc/meminfo: memFree=17131180/36427776 swapFree=4692/1919452
[pid=23101] ppid=23099 vsize=0 CPUtime=1173.53
/proc/23101/stat : 23101 (ttsth-5-0) Z 23099 23101 15497 0 -1 4203532 479476 0 0 0 96973 20380 0 0 20 0 2 0 654459692 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23101/statm: 0 0 0 0 0 0 0
[pid=23101/tid=23108] ppid=23099 vsize=0 CPUtime=72.67
/proc/23101/task/23108/stat : 23108 (ttsth-5-0) R 23099 23101 15497 0 -1 4203588 19423 0 0 0 5997 1270 0 0 20 0 2 0 654462546 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1173.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 123.999
CPU time (s): 1173.62
CPU user time (s): 969.741
CPU system time (s): 203.881
CPU usage (%): 946.475
Max. virtual memory (cumulated for all children) (KiB): 2097020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 969.741
system time used= 203.881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479476
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= 164110
involuntary context switches= 16851

runsolver used 0.48403 second user time and 1.52409 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 05:52:13
IDJOB=1779225
IDBENCH=70822
IDSOLVER=634
FILE ID=xenhost3-49/1779225-1244951533
PBS_JOBID=
Free space on /tmp= 7020 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-09.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1779225-1244951533/watcher-1779225-1244951533 -o /tmp/evaluation-result-1779225-1244951533/solver-1779225-1244951533 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779225-1244951533.cnf

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

MD5SUM BENCH= 5c56557463274332c6704b6432dfc42b
RANDOM SEED= 1178549871

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:      19041080 kB
Buffers:        482604 kB
Cached:       14120128 kB
SwapCached:          0 kB
Active:        4129160 kB
Inactive:     10482164 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4660 kB
Writeback:           0 kB
AnonPages:        8660 kB
Mapped:           3832 kB
Slab:           721624 kB
SReclaimable:   694732 kB
SUnreclaim:      26892 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-14 05:54:19