Trace number 1779195

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) 1344.35 115.402

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-16.cnf
MD5SUM3cb14750de2495357cf28b8ab826b9e3
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 variables70139
Number of clauses228634
Sum of the clauses size592458
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 293186
Number of clauses of size 3135319
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-1779195-1244951291.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 = 70139
0.28/0.32	c Clauses = 228634
0.28/0.32	c Literals = 592458
0.28/0.32	c Reduced size:
0.28/0.32	c Variables = 70139
0.28/0.32	c Clauses = 227991
0.28/0.32	c Literals = 590788
0.28/0.32	c a2
0.58/0.63	c a1
29.30/29.37	c Independent sub-problems = 1
29.30/29.37	c Sub-problem with 69882 variables and 227991 clauses
29.30/29.37	c using permutation method 4
29.30/29.37	c count = 1
29.30/29.37	c Ordering finished 29.290 seconds
29.30/29.37	c mapped 29.350 seconds
29.30/29.37	c permuted 29.360 seconds
29.30/29.37	c about to sort
29.38/29.42	c sorted
31.48/31.58	c clauses now 227991
31.48/31.58	c init finished 30.750 seconds
31.48/31.58	c tree built 31.550 seconds
31.48/31.58	c 
31.48/31.58	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
31.48/31.58	c ---------------------------------|----------------------------------|------------------------------------------------------
31.48/31.58	c ................................ | ..........                       |                       31.6           0.0             
31.48/31.58	c ................................ | ..........                     1 |                       31.6           0.0             
31.48/31.58	c ................................ | ..........                     2 |                       31.6           0.1             
31.48/31.58	c ................................ | ..........                     3 |                       31.6           0.1             
31.48/31.58	c ................................ | ..........                     4 |                       31.6           0.1             
31.48/31.58	c ................................ | ..........                     5 |                       31.6           0.2             
31.48/31.58	c ................................ | ..........                  1000 |                       31.7          31.5            4
300.68/48.73	c ................................ | ..........               1111000 | 93640                200.1        5552.2      8441770
586.12/67.00	c ................................ | ..........               1899000 | 162290               400.3        4743.5     21185676
849.53/83.73	c ................................ | ..........               2601000 | 219886               600.4        4332.0     35300547
1098.93/99.63	c ................................ | ..........               3190000 | 267092               800.0        3987.5     49352760
1337.52/114.82	c ................................ | *.........               3594000 | 300382              1000.3        3592.9     63220927

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-1779195-1244951291/watcher-1779195-1244951291 -o /tmp/evaluation-result-1779195-1244951291/solver-1779195-1244951291 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779195-1244951291.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: 11.60 6.12 5.30 2/184 22986
/proc/meminfo: memFree=19044404/36427776 swapFree=4312/7512
[pid=22986] ppid=22984 vsize=1540 CPUtime=0
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 263 0 0 0 0 0 0 0 20 0 1 0 654435529 1576960 219 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134732614 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 385 219 75 177 0 207 0

[startup+0.088092 s]
/proc/loadavg: 11.60 6.12 5.30 2/184 22986
/proc/meminfo: memFree=19044404/36427776 swapFree=4312/7512
[pid=22986] ppid=22984 vsize=6836 CPUtime=0.08
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 1560 0 0 0 6 2 0 0 20 0 1 0 654435529 7000064 1516 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134732614 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 1709 1517 75 177 0 1531 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6836

[startup+0.104097 s]
/proc/loadavg: 11.60 6.12 5.30 2/184 22986
/proc/meminfo: memFree=19044404/36427776 swapFree=4312/7512
[pid=22986] ppid=22984 vsize=7628 CPUtime=0.1
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 1785 0 0 0 8 2 0 0 20 0 1 0 654435529 7811072 1741 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134732614 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 1907 1742 75 177 0 1729 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7628

[startup+0.300148 s]
/proc/loadavg: 11.60 6.12 5.30 2/184 22986
/proc/meminfo: memFree=19044404/36427776 swapFree=4312/7512
[pid=22986] ppid=22984 vsize=17396 CPUtime=0.28
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 4034 0 0 0 26 2 0 0 20 0 1 0 654435529 17813504 3990 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134533977 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 4349 3990 75 177 0 4171 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17396

[startup+0.700185 s]
/proc/loadavg: 11.60 6.12 5.30 2/184 22986
/proc/meminfo: memFree=19044404/36427776 swapFree=4312/7512
[pid=22986] ppid=22984 vsize=36300 CPUtime=0.68
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 8714 0 0 0 64 4 0 0 20 0 1 0 654435529 37171200 8670 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134540092 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 9075 8670 76 177 0 8897 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36300

[startup+1.50023 s]
/proc/loadavg: 11.60 6.12 5.30 2/185 22987
/proc/meminfo: memFree=19003188/36427776 swapFree=4192/48292
[pid=22986] ppid=22984 vsize=42504 CPUtime=1.5
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 11124 0 0 0 144 6 0 0 20 0 1 0 654435529 43524096 10288 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134600972 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 10626 10288 77 177 0 10448 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 42504

[startup+3.10034 s]
/proc/loadavg: 11.60 6.12 5.30 2/185 22987
/proc/meminfo: memFree=19001632/36427776 swapFree=4688/49732
[pid=22986] ppid=22984 vsize=43060 CPUtime=3.1
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 11245 0 0 0 304 6 0 0 20 0 1 0 654435529 44093440 10409 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134600972 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 10765 10409 77 177 0 10587 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 43060

[startup+6.3006 s]
/proc/loadavg: 10.75 6.03 5.28 2/185 22987
/proc/meminfo: memFree=18999172/36427776 swapFree=4620/51072
[pid=22986] ppid=22984 vsize=43912 CPUtime=6.3
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 11460 0 0 0 624 6 0 0 20 0 1 0 654435529 44965888 10624 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134600960 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 10978 10624 77 177 0 10800 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 43912

[startup+12.7011 s]
/proc/loadavg: 9.97 5.95 5.25 2/185 22987
/proc/meminfo: memFree=18997328/36427776 swapFree=4620/52932
[pid=22986] ppid=22984 vsize=45420 CPUtime=12.7
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 11801 0 0 0 1264 6 0 0 20 0 1 0 654435529 46510080 10965 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134600738 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 11355 10965 77 177 0 11177 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 45420

[startup+25.5022 s]
/proc/loadavg: 7.98 5.71 5.18 2/185 22987
/proc/meminfo: memFree=18997252/36427776 swapFree=4620/53296
[pid=22986] ppid=22984 vsize=45684 CPUtime=25.5
/proc/22986/stat : 22986 (ttsth-5-0) R 22984 22986 15497 0 -1 4202496 11884 0 0 0 2544 6 0 0 20 0 1 0 654435529 46780416 11048 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134600707 0 0 1 0 0 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 11421 11048 77 177 0 11243 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 45684

[startup+51.1035 s]
/proc/loadavg: 9.78 6.28 5.39 17/201 23003
/proc/meminfo: memFree=18021620/36427776 swapFree=4692/1031360
[pid=22986] ppid=22984 vsize=1143904 CPUtime=338.34
/proc/22986/stat : 22986 (ttsth-5-0) S 22984 22986 15497 0 -1 4202496 259008 0 0 0 12281 21553 0 0 20 0 17 0 654435529 1171357696 257597 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 285976 257598 95 177 0 285798 0
[pid=22986/tid=22988] ppid=22984 vsize=1143904 CPUtime=19.52
/proc/22986/task/22988/stat : 22988 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 8665 0 0 0 1936 16 0 0 20 0 17 0 654438685 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22986/tid=22989] ppid=22984 vsize=1143904 CPUtime=19.2
/proc/22986/task/22989/stat : 22989 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 3013 0 0 0 494 1426 0 0 20 0 17 0 654438685 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22986/tid=22990] ppid=22984 vsize=1143904 CPUtime=19.2
/proc/22986/task/22990/stat : 22990 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2212 0 0 0 506 1414 0 0 20 0 17 0 654438685 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22986/tid=22991] ppid=22984 vsize=1143904 CPUtime=19.2
/proc/22986/task/22991/stat : 22991 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 4256 0 0 0 446 1474 0 0 20 0 17 0 654438685 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22986/tid=22992] ppid=22984 vsize=1143904 CPUtime=19.1
/proc/22986/task/22992/stat : 22992 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 3639 0 0 0 488 1422 0 0 20 0 17 0 654438685 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22986/tid=22993] ppid=22984 vsize=1143904 CPUtime=19.14
/proc/22986/task/22993/stat : 22993 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 1977 0 0 0 422 1492 0 0 20 0 17 0 654438685 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22986/tid=22994] ppid=22984 vsize=1143904 CPUtime=19.18
/proc/22986/task/22994/stat : 22994 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 1827 0 0 0 512 1406 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22986/tid=22995] ppid=22984 vsize=1143904 CPUtime=19.1
/proc/22986/task/22995/stat : 22995 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2384 0 0 0 460 1450 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22986/tid=22996] ppid=22984 vsize=1143904 CPUtime=19.18
/proc/22986/task/22996/stat : 22996 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2741 0 0 0 528 1390 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22986/tid=22997] ppid=22984 vsize=1143904 CPUtime=19.26
/proc/22986/task/22997/stat : 22997 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 5766 0 0 0 652 1274 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22986/tid=22998] ppid=22984 vsize=1143904 CPUtime=19.18
/proc/22986/task/22998/stat : 22998 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2163 0 0 0 478 1440 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22986/tid=22999] ppid=22984 vsize=1143904 CPUtime=19.14
/proc/22986/task/22999/stat : 22999 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 3378 0 0 0 464 1450 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22986/tid=23000] ppid=22984 vsize=1143904 CPUtime=19.16
/proc/22986/task/23000/stat : 23000 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 3779 0 0 0 440 1476 0 0 20 0 17 0 654438686 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22986/tid=23001] ppid=22984 vsize=1143904 CPUtime=18.76
/proc/22986/task/23001/stat : 23001 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2568 0 0 0 444 1432 0 0 20 0 17 0 654438687 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22986/tid=23002] ppid=22984 vsize=1143904 CPUtime=19.18
/proc/22986/task/23002/stat : 23002 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2320 0 0 0 482 1436 0 0 20 0 17 0 654438687 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22986/tid=23003] ppid=22984 vsize=1143904 CPUtime=19.16
/proc/22986/task/23003/stat : 23003 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 2692 0 0 0 438 1478 0 0 20 0 17 0 654438687 1171357696 257598 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 338.34
Current children cumulated vsize (KiB) 1143904

[startup+102.317 s]
/proc/loadavg: 13.30 7.78 5.94 17/201 23003
/proc/meminfo: memFree=17314016/36427776 swapFree=4692/1738444
[pid=22986] ppid=22984 vsize=1890592 CPUtime=1141.51
/proc/22986/stat : 22986 (ttsth-5-0) S 22984 22986 15497 0 -1 4202496 434094 0 0 0 58013 56138 0 0 20 0 17 0 654435529 1935966208 432683 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 472648 432684 95 177 0 472470 0
[pid=22986/tid=22988] ppid=22984 vsize=1890592 CPUtime=70.69
/proc/22986/task/22988/stat : 22988 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 35409 0 0 0 7017 52 0 0 20 0 17 0 654438685 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22986/tid=22989] ppid=22984 vsize=1890592 CPUtime=69.37
/proc/22986/task/22989/stat : 22989 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 12537 0 0 0 3072 3865 0 0 20 0 17 0 654438685 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22986/tid=22990] ppid=22984 vsize=1890592 CPUtime=69.5
/proc/22986/task/22990/stat : 22990 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10795 0 0 0 3130 3820 0 0 20 0 17 0 654438685 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22986/tid=22991] ppid=22984 vsize=1890592 CPUtime=69.39
/proc/22986/task/22991/stat : 22991 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 13326 0 0 0 2978 3961 0 0 20 0 17 0 654438685 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22986/tid=22992] ppid=22984 vsize=1890592 CPUtime=69.12
/proc/22986/task/22992/stat : 22992 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 17955 0 0 0 3317 3595 0 0 20 0 17 0 654438685 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22986/tid=22993] ppid=22984 vsize=1890592 CPUtime=69.43
/proc/22986/task/22993/stat : 22993 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 11146 0 0 0 3240 3703 0 0 20 0 17 0 654438685 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22986/tid=22994] ppid=22984 vsize=1890592 CPUtime=69.43
/proc/22986/task/22994/stat : 22994 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 9260 0 0 0 3251 3692 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22986/tid=22995] ppid=22984 vsize=1890592 CPUtime=68.77
/proc/22986/task/22995/stat : 22995 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 7796 0 0 0 3168 3709 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22986/tid=22996] ppid=22984 vsize=1890592 CPUtime=69.14
/proc/22986/task/22996/stat : 22996 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10104 0 0 0 3048 3866 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134590129 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=22986/tid=22997] ppid=22984 vsize=1890592 CPUtime=69.99
/proc/22986/task/22997/stat : 22997 (ttsth-5-0) S 22984 22986 15497 0 -1 4202560 23576 0 0 0 3951 3048 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=22986/tid=22998] ppid=22984 vsize=1890592 CPUtime=69.4
/proc/22986/task/22998/stat : 22998 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 8797 0 0 0 3072 3868 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22986/tid=22999] ppid=22984 vsize=1890592 CPUtime=69.54
/proc/22986/task/22999/stat : 22999 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 13600 0 0 0 3334 3620 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134680504 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22986/tid=23000] ppid=22984 vsize=1890592 CPUtime=69.43
/proc/22986/task/23000/stat : 23000 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 14584 0 0 0 3152 3791 0 0 20 0 17 0 654438686 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22986/tid=23001] ppid=22984 vsize=1890592 CPUtime=67.95
/proc/22986/task/23001/stat : 23001 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10091 0 0 0 2948 3847 0 0 20 0 17 0 654438687 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22986/tid=23002] ppid=22984 vsize=1890592 CPUtime=69.06
/proc/22986/task/23002/stat : 23002 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10709 0 0 0 2962 3944 0 0 20 0 17 0 654438687 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22986/tid=23003] ppid=22984 vsize=1890592 CPUtime=69.66
/proc/22986/task/23003/stat : 23003 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 18782 0 0 0 3284 3682 0 0 20 0 17 0 654438687 1935966208 432685 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1141.51
Current children cumulated vsize (KiB) 1890592



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+115.207 s]
/proc/loadavg: 13.90 8.18 6.10 17/201 23008
/proc/meminfo: memFree=17120852/36427776 swapFree=4692/1931188
[pid=22986] ppid=22984 vsize=2097024 CPUtime=1343.99
/proc/22986/stat : 22986 (ttsth-5-0) S 22984 22986 15497 0 -1 4202496 482255 0 0 0 72644 61755 0 0 20 0 17 0 654435529 2147352576 480844 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 524256 480844 95 177 0 524078 0
[pid=22986/tid=22988] ppid=22984 vsize=2097024 CPUtime=83.6
/proc/22986/task/22988/stat : 22988 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 41154 0 0 0 8296 64 0 0 20 0 17 0 654438685 2147352576 480844 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134590501 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=22986/tid=22989] ppid=22984 vsize=2097024 CPUtime=82.02
/proc/22986/task/22989/stat : 22989 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 15259 0 0 0 3908 4294 0 0 20 0 17 0 654438685 2147352576 480844 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=22986/tid=22990] ppid=22984 vsize=2097024 CPUtime=82.14
/proc/22986/task/22990/stat : 22990 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 14112 0 0 0 3944 4270 0 0 20 0 17 0 654438685 2147352576 480845 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=22986/tid=22991] ppid=22984 vsize=2097024 CPUtime=82.04
/proc/22986/task/22991/stat : 22991 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 17043 0 0 0 3883 4321 0 0 20 0 17 0 654438685 2147352576 480845 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134593217 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=22986/tid=22992] ppid=22984 vsize=2097024 CPUtime=81.76
/proc/22986/task/22992/stat : 22992 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 21211 0 0 0 4271 3905 0 0 20 0 17 0 654438685 2147352576 480846 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=22986/tid=22993] ppid=22984 vsize=2097024 CPUtime=82.12
/proc/22986/task/22993/stat : 22993 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 13309 0 0 0 4149 4063 0 0 20 0 17 0 654438685 2147352576 480846 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=22986/tid=22994] ppid=22984 vsize=2097024 CPUtime=82.13
/proc/22986/task/22994/stat : 22994 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10972 0 0 0 4166 4047 0 0 20 0 17 0 654438686 2147352576 480846 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=22986/tid=22995] ppid=22984 vsize=2097024 CPUtime=81.39
/proc/22986/task/22995/stat : 22995 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10835 0 0 0 4067 4072 0 0 20 0 17 0 654438686 2147352576 480846 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134590235 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=22986/tid=22996] ppid=22984 vsize=2097024 CPUtime=81.83
/proc/22986/task/22996/stat : 22996 (ttsth-5-0) S 22984 22986 15497 0 -1 4202560 13889 0 0 0 3926 4257 0 0 20 0 17 0 654438686 2147352576 480846 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=22986/tid=22997] ppid=22984 vsize=2097024 CPUtime=82.79
/proc/22986/task/22997/stat : 22997 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 28259 0 0 0 4917 3362 0 0 20 0 17 0 654438686 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=22986/tid=22998] ppid=22984 vsize=2097024 CPUtime=81.91
/proc/22986/task/22998/stat : 22998 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 10436 0 0 0 3832 4359 0 0 20 0 17 0 654438686 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=22986/tid=22999] ppid=22984 vsize=2097024 CPUtime=82.29
/proc/22986/task/22999/stat : 22999 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 16365 0 0 0 4349 3880 0 0 20 0 17 0 654438686 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=22986/tid=23000] ppid=22984 vsize=2097024 CPUtime=81.99
/proc/22986/task/23000/stat : 23000 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 16366 0 0 0 4026 4173 0 0 20 0 17 0 654438686 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=22986/tid=23001] ppid=22984 vsize=2097024 CPUtime=80.34
/proc/22986/task/23001/stat : 23001 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 12291 0 0 0 3772 4262 0 0 20 0 17 0 654438687 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=22986/tid=23002] ppid=22984 vsize=2097024 CPUtime=81.59
/proc/22986/task/23002/stat : 23002 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 12759 0 0 0 3792 4367 0 0 20 0 17 0 654438687 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=22986/tid=23003] ppid=22984 vsize=2097024 CPUtime=82.44
/proc/22986/task/23003/stat : 23003 (ttsth-5-0) R 22984 22986 15497 0 -1 4202560 22369 0 0 0 4259 3985 0 0 20 0 17 0 654438687 2147352576 480847 18446744073709551615 134512640 135237372 4291470208 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
Current children cumulated CPU time (s) 1343.99
Current children cumulated vsize (KiB) 2097024

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

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

[startup+115.322 s]
/proc/loadavg: 13.90 8.18 6.10 17/201 23008
/proc/meminfo: memFree=17120852/36427776 swapFree=4692/1931188
[pid=22986] ppid=22984 vsize=0 CPUtime=1344.25
/proc/22986/stat : 22986 (ttsth-5-0) Z 22984 22986 15497 0 -1 4203532 482286 0 0 0 72654 61771 0 0 20 0 2 0 654435529 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/22986/statm: 0 0 0 0 0 0 0
[pid=22986/tid=23003] ppid=22984 vsize=0 CPUtime=82.54
/proc/22986/task/23003/stat : 23003 (ttsth-5-0) R 22984 22986 15497 0 -1 4203588 22374 0 0 0 4259 3995 0 0 20 0 2 0 654438687 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) 1344.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 115.402
CPU time (s): 1344.35
CPU user time (s): 726.549
CPU system time (s): 617.799
CPU usage (%): 1164.93
Max. virtual memory (cumulated for all children) (KiB): 2097024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 726.549
system time used= 617.799
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482286
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= 160874
involuntary context switches= 3054

runsolver used 0.49203 second user time and 1.50409 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 3cb14750de2495357cf28b8ab826b9e3
RANDOM SEED= 817674821

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:      19044404 kB
Buffers:        482604 kB
Cached:       14120404 kB
SwapCached:          0 kB
Active:        4128600 kB
Inactive:     10482604 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            4684 kB
Writeback:           0 kB
AnonPages:        7512 kB
Mapped:           3648 kB
Slab:           721488 kB
SReclaimable:   694688 kB
SUnreclaim:      26800 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:50:09