Trace number 1779645

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) 1105.89 76.8991

General information on the benchmark

NameAPPLICATIONS/aprove09/
AProVE09-20.cnf
MD5SUMd682d44f13c64e9669f2eded046ee8c4
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark87.21
Satisfiable
(Un)Satisfiability was proved
Number of variables33054
Number of clauses108377
Sum of the clauses size276669
Maximum clause length61
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 251324
Number of clauses of size 355013
Number of clauses of size 41546
Number of clauses of size 5256
Number of clauses of size over 5236

Solver Data 

0.20/0.21	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1779645-1244954924.cnf 
0.20/0.21	c Using SATTIMEOUT of 10000
0.20/0.21	c Using SATRAM of 2047
0.20/0.21	c Size of subset node = 16
0.20/0.21	c Variables = 33054
0.20/0.21	c Clauses = 108377
0.20/0.21	c Literals = 276669
0.20/0.21	c Reduced size:
0.20/0.21	c Variables = 33054
0.20/0.21	c Clauses = 107686
0.20/0.21	c Literals = 274737
0.20/0.21	c a2
0.28/0.36	c a1
6.08/6.13	c Independent sub-problems = 1
6.08/6.13	c Sub-problem with 32885 variables and 107686 clauses
6.08/6.13	c using permutation method 4
6.08/6.13	c count = 1
6.08/6.13	c Ordering finished 6.080 seconds
6.08/6.13	c mapped 6.120 seconds
6.08/6.13	c permuted 6.120 seconds
6.08/6.13	c about to sort
6.08/6.15	c sorted
7.08/7.19	c clauses now 107686
7.08/7.19	c init finished 6.780 seconds
7.08/7.19	c tree built 7.180 seconds
7.08/7.19	c 
7.08/7.19	c PA progress                      | CPU progress Partial assignments | improvements      CPU time        PA/sec        nodes
7.08/7.19	c ---------------------------------|----------------------------------|------------------------------------------------------
7.08/7.19	c ................................ | ..........                       |                        7.2           0.0             
7.08/7.19	c ................................ | ..........                     1 |                        7.2           0.1             
7.08/7.19	c ................................ | ..........                     2 |                        7.2           0.3             
7.08/7.19	c ................................ | ..........                     3 |                        7.2           0.4             
7.08/7.19	c ................................ | ..........                     4 |                        7.2           0.6             
7.08/7.19	c ................................ | ..........                     5 |                        7.2           0.7             
7.33/7.20	c ................................ | ..........                  1000 | 11                     7.3         137.0           95
282.94/24.87	c ................................ | ..........                776000 | 66267                200.7        3866.5     17717957
514.77/39.53	c ................................ | ..........               1233000 | 102309               400.7        3077.0     37406791
724.12/52.79	c ................................ | ..........               1670000 | 133927               600.6        2780.7     56102964
930.48/65.74	c ................................ | ..........               2049000 | 160844               800.7        2558.9     72653624

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

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


[startup+0 s]
/proc/loadavg: 14.14 14.48 14.49 2/184 24938
/proc/meminfo: memFree=19042296/36427776 swapFree=3020/7716
[pid=24938] ppid=24936 vsize=1540 CPUtime=0
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 654798789 1576960 233 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134639534 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 385 234 75 177 0 207 0

[startup+0.093814 s]
/proc/loadavg: 14.14 14.48 14.49 2/184 24938
/proc/meminfo: memFree=19042296/36427776 swapFree=3020/7716
[pid=24938] ppid=24936 vsize=6968 CPUtime=0.08
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 1604 0 0 0 8 0 0 0 20 0 1 0 654798789 7135232 1560 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 1742 1562 75 177 0 1564 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6968

[startup+0.101822 s]
/proc/loadavg: 14.14 14.48 14.49 2/184 24938
/proc/meminfo: memFree=19042296/36427776 swapFree=3020/7716
[pid=24938] ppid=24936 vsize=8684 CPUtime=0.1
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 1751 0 0 0 8 2 0 0 20 0 1 0 654798789 8892416 1707 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134517637 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 2171 1717 75 177 0 1993 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8684

[startup+0.301853 s]
/proc/loadavg: 14.14 14.48 14.49 2/184 24938
/proc/meminfo: memFree=19042296/36427776 swapFree=3020/7716
[pid=24938] ppid=24936 vsize=16076 CPUtime=0.28
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 3838 0 0 0 26 2 0 0 20 0 1 0 654798789 16461824 3793 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134519981 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 4019 3793 76 177 0 3841 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 16076

[startup+0.701843 s]
/proc/loadavg: 14.14 14.48 14.49 2/184 24938
/proc/meminfo: memFree=19042296/36427776 swapFree=3020/7716
[pid=24938] ppid=24936 vsize=20688 CPUtime=0.68
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 5367 0 0 0 66 2 0 0 20 0 1 0 654798789 21184512 4945 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 5172 4945 77 177 0 4994 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 20688

[startup+1.50193 s]
/proc/loadavg: 13.08 14.25 14.41 2/185 24939
/proc/meminfo: memFree=19023176/36427776 swapFree=3320/27340
[pid=24938] ppid=24936 vsize=21028 CPUtime=1.48
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 5437 0 0 0 146 2 0 0 20 0 1 0 654798789 21532672 5015 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134555272 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 5257 5015 77 177 0 5079 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21028

[startup+3.10207 s]
/proc/loadavg: 13.08 14.25 14.41 2/185 24939
/proc/meminfo: memFree=19022300/36427776 swapFree=3024/28296
[pid=24938] ppid=24936 vsize=21460 CPUtime=3.08
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 5561 0 0 0 306 2 0 0 20 0 1 0 654798789 21975040 5139 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134600975 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 5365 5139 77 177 0 5187 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 21460

[startup+6.30237 s]
/proc/loadavg: 12.12 14.03 14.34 2/185 24939
/proc/meminfo: memFree=19020508/36427776 swapFree=4620/30088
[pid=24938] ppid=24936 vsize=87560 CPUtime=6.28
/proc/24938/stat : 24938 (ttsth-5-0) R 24936 24938 15497 0 -1 4202496 22162 0 0 0 620 8 0 0 20 0 1 0 654798789 89661440 21634 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134732614 0 0 1 0 0 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 21890 21642 85 177 0 21712 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 87560

[startup+12.7029 s]
/proc/loadavg: 12.43 14.07 14.35 17/201 24955
/proc/meminfo: memFree=18592244/36427776 swapFree=4692/462572
[pid=24938] ppid=24936 vsize=588712 CPUtime=93.49
/proc/24938/stat : 24938 (ttsth-5-0) S 24936 24938 15497 0 -1 4202496 117093 0 0 0 3181 6168 0 0 20 0 17 0 654798789 602841088 116459 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 147178 116460 95 177 0 147000 0
[pid=24938/tid=24940] ppid=24936 vsize=588712 CPUtime=5.48
/proc/24938/task/24940/stat : 24940 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 5263 0 0 0 536 12 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24938/tid=24941] ppid=24936 vsize=588712 CPUtime=5.38
/proc/24938/task/24941/stat : 24941 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 686 0 0 0 122 416 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24938/tid=24942] ppid=24936 vsize=588712 CPUtime=5.38
/proc/24938/task/24942/stat : 24942 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 778 0 0 0 102 436 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24938/tid=24943] ppid=24936 vsize=588712 CPUtime=5.4
/proc/24938/task/24943/stat : 24943 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 766 0 0 0 152 388 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24938/tid=24944] ppid=24936 vsize=588712 CPUtime=5.4
/proc/24938/task/24944/stat : 24944 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 797 0 0 0 144 396 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24938/tid=24945] ppid=24936 vsize=588712 CPUtime=5.4
/proc/24938/task/24945/stat : 24945 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 1014 0 0 0 144 396 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24938/tid=24946] ppid=24936 vsize=588712 CPUtime=5.42
/proc/24938/task/24946/stat : 24946 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 1084 0 0 0 130 412 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24938/tid=24947] ppid=24936 vsize=588712 CPUtime=5.38
/proc/24938/task/24947/stat : 24947 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 817 0 0 0 118 420 0 0 20 0 17 0 654799508 602841088 116461 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24938/tid=24948] ppid=24936 vsize=588712 CPUtime=5.4
/proc/24938/task/24948/stat : 24948 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 1216 0 0 0 152 388 0 0 20 0 17 0 654799508 602841088 116462 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24938/tid=24949] ppid=24936 vsize=588712 CPUtime=5.38
/proc/24938/task/24949/stat : 24949 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 1089 0 0 0 138 400 0 0 20 0 17 0 654799508 602841088 116462 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24938/tid=24950] ppid=24936 vsize=588712 CPUtime=5.36
/proc/24938/task/24950/stat : 24950 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 624 0 0 0 106 430 0 0 20 0 17 0 654799508 602841088 116462 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24938/tid=24951] ppid=24936 vsize=588712 CPUtime=5.4
/proc/24938/task/24951/stat : 24951 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 828 0 0 0 140 400 0 0 20 0 17 0 654799508 602841088 116462 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24938/tid=24952] ppid=24936 vsize=588712 CPUtime=5.38
/proc/24938/task/24952/stat : 24952 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 669 0 0 0 100 438 0 0 20 0 17 0 654799509 602841088 116462 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24938/tid=24953] ppid=24936 vsize=588712 CPUtime=5.26
/proc/24938/task/24953/stat : 24953 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 1439 0 0 0 140 386 0 0 20 0 17 0 654799509 602841088 116463 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134561463 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24938/tid=24954] ppid=24936 vsize=588712 CPUtime=5.38
/proc/24938/task/24954/stat : 24954 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 890 0 0 0 124 414 0 0 20 0 17 0 654799509 602841088 116463 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24938/tid=24955] ppid=24936 vsize=588712 CPUtime=5.4
/proc/24938/task/24955/stat : 24955 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 1541 0 0 0 144 396 0 0 20 0 17 0 654799509 602841088 116464 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 93.49
Current children cumulated vsize (KiB) 588712

[startup+25.5051 s]
/proc/loadavg: 12.90 14.11 14.36 17/201 24955
/proc/meminfo: memFree=18317944/36427776 swapFree=4692/735104
[pid=24938] ppid=24936 vsize=872076 CPUtime=293.98
/proc/24938/stat : 24938 (ttsth-5-0) S 24936 24938 15497 0 -1 4202496 183786 0 0 0 13203 16195 0 0 20 0 17 0 654798789 893005824 183152 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 218019 183153 95 177 0 217841 0
[pid=24938/tid=24940] ppid=24936 vsize=872076 CPUtime=18.28
/proc/24938/task/24940/stat : 24940 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 21689 0 0 0 1798 30 0 0 20 0 17 0 654799508 893005824 183153 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24938/tid=24941] ppid=24936 vsize=872076 CPUtime=17.92
/proc/24938/task/24941/stat : 24941 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4131 0 0 0 684 1108 0 0 20 0 17 0 654799508 893005824 183153 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24938/tid=24942] ppid=24936 vsize=872076 CPUtime=17.86
/proc/24938/task/24942/stat : 24942 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4926 0 0 0 652 1134 0 0 20 0 17 0 654799508 893005824 183153 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134562344 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24938/tid=24943] ppid=24936 vsize=872076 CPUtime=17.96
/proc/24938/task/24943/stat : 24943 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 5239 0 0 0 748 1048 0 0 20 0 17 0 654799508 893005824 183153 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24938/tid=24944] ppid=24936 vsize=872076 CPUtime=17.9
/proc/24938/task/24944/stat : 24944 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 3736 0 0 0 692 1098 0 0 20 0 17 0 654799508 893005824 183153 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24938/tid=24945] ppid=24936 vsize=872076 CPUtime=18
/proc/24938/task/24945/stat : 24945 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 5646 0 0 0 790 1010 0 0 20 0 17 0 654799508 893005824 183153 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24938/tid=24946] ppid=24936 vsize=872076 CPUtime=18.02
/proc/24938/task/24946/stat : 24946 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4451 0 0 0 792 1010 0 0 20 0 17 0 654799508 893005824 183154 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24938/tid=24947] ppid=24936 vsize=872076 CPUtime=17.9
/proc/24938/task/24947/stat : 24947 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4048 0 0 0 694 1096 0 0 20 0 17 0 654799508 893005824 183154 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24938/tid=24948] ppid=24936 vsize=872076 CPUtime=17.88
/proc/24938/task/24948/stat : 24948 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4140 0 0 0 694 1094 0 0 20 0 17 0 654799508 893005824 183154 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24938/tid=24949] ppid=24936 vsize=872076 CPUtime=17.9
/proc/24938/task/24949/stat : 24949 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4495 0 0 0 752 1038 0 0 20 0 17 0 654799508 893005824 183154 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24938/tid=24950] ppid=24936 vsize=872076 CPUtime=17.8
/proc/24938/task/24950/stat : 24950 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 2869 0 0 0 614 1166 0 0 20 0 17 0 654799508 893005824 183154 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24938/tid=24951] ppid=24936 vsize=872076 CPUtime=17.9
/proc/24938/task/24951/stat : 24951 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4802 0 0 0 682 1108 0 0 20 0 17 0 654799508 893005824 183155 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24938/tid=24952] ppid=24936 vsize=872076 CPUtime=17.88
/proc/24938/task/24952/stat : 24952 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 3834 0 0 0 714 1074 0 0 20 0 17 0 654799509 893005824 183155 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24938/tid=24953] ppid=24936 vsize=872076 CPUtime=17.58
/proc/24938/task/24953/stat : 24953 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 3805 0 0 0 758 1000 0 0 20 0 17 0 654799509 893005824 183155 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134591208 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24938/tid=24954] ppid=24936 vsize=872076 CPUtime=17.96
/proc/24938/task/24954/stat : 24954 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 4408 0 0 0 778 1018 0 0 20 0 17 0 654799509 893005824 183155 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636382 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24938/tid=24955] ppid=24936 vsize=872076 CPUtime=17.88
/proc/24938/task/24955/stat : 24955 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 3974 0 0 0 668 1120 0 0 20 0 17 0 654799509 893005824 183155 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 293.98
Current children cumulated vsize (KiB) 872076

[startup+51.1054 s]
/proc/loadavg: 14.05 14.28 14.41 17/201 24955
/proc/meminfo: memFree=17725048/36427776 swapFree=4692/1327264
[pid=24938] ppid=24936 vsize=1514864 CPUtime=698.64
/proc/24938/stat : 24938 (ttsth-5-0) S 24936 24938 15497 0 -1 4202496 334808 0 0 0 47808 22056 0 0 20 0 17 0 654798789 1551220736 334175 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 378716 334175 95 177 0 378538 0
[pid=24938/tid=24940] ppid=24936 vsize=1514864 CPUtime=43.86
/proc/24938/task/24940/stat : 24940 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 35290 0 0 0 4340 46 0 0 20 0 17 0 654799508 1551220736 334175 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134680467 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24938/tid=24941] ppid=24936 vsize=1514864 CPUtime=43.28
/proc/24938/task/24941/stat : 24941 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 11887 0 0 0 2912 1416 0 0 20 0 17 0 654799508 1551220736 334175 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24938/tid=24942] ppid=24936 vsize=1514864 CPUtime=43.18
/proc/24938/task/24942/stat : 24942 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 13903 0 0 0 2786 1532 0 0 20 0 17 0 654799508 1551220736 334177 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24938/tid=24943] ppid=24936 vsize=1514864 CPUtime=43.32
/proc/24938/task/24943/stat : 24943 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 13867 0 0 0 2938 1394 0 0 20 0 17 0 654799508 1551220736 334177 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24938/tid=24944] ppid=24936 vsize=1514864 CPUtime=43.14
/proc/24938/task/24944/stat : 24944 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 13829 0 0 0 2768 1546 0 0 20 0 17 0 654799508 1551220736 334179 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24938/tid=24945] ppid=24936 vsize=1514864 CPUtime=43.32
/proc/24938/task/24945/stat : 24945 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 19719 0 0 0 2912 1420 0 0 20 0 17 0 654799508 1551220736 334179 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134732614 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24938/tid=24946] ppid=24936 vsize=1514864 CPUtime=43.4
/proc/24938/task/24946/stat : 24946 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 14579 0 0 0 2998 1342 0 0 20 0 17 0 654799508 1551220736 334180 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134562380 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24938/tid=24947] ppid=24936 vsize=1514864 CPUtime=43.26
/proc/24938/task/24947/stat : 24947 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 15295 0 0 0 2888 1438 0 0 20 0 17 0 654799508 1551220736 334180 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24938/tid=24948] ppid=24936 vsize=1514864 CPUtime=43.04
/proc/24938/task/24948/stat : 24948 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 12902 0 0 0 2758 1546 0 0 20 0 17 0 654799508 1551220736 334180 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24938/tid=24949] ppid=24936 vsize=1514864 CPUtime=43.18
/proc/24938/task/24949/stat : 24949 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 13270 0 0 0 2844 1474 0 0 20 0 17 0 654799508 1551220736 334180 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24938/tid=24950] ppid=24936 vsize=1514864 CPUtime=43.02
/proc/24938/task/24950/stat : 24950 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 11947 0 0 0 2666 1636 0 0 20 0 17 0 654799508 1551220736 334181 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24938/tid=24951] ppid=24936 vsize=1514864 CPUtime=43.26
/proc/24938/task/24951/stat : 24951 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 12095 0 0 0 2876 1450 0 0 20 0 17 0 654799508 1551220736 334181 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134634454 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24938/tid=24952] ppid=24936 vsize=1514864 CPUtime=43.16
/proc/24938/task/24952/stat : 24952 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 9801 0 0 0 2840 1476 0 0 20 0 17 0 654799509 1551220736 334181 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24938/tid=24953] ppid=24936 vsize=1514864 CPUtime=42.42
/proc/24938/task/24953/stat : 24953 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 13005 0 0 0 2904 1338 0 0 20 0 17 0 654799509 1551220736 334181 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134561481 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24938/tid=24954] ppid=24936 vsize=1514864 CPUtime=43.3
/proc/24938/task/24954/stat : 24954 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 14217 0 0 0 2936 1394 0 0 20 0 17 0 654799509 1551220736 334181 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134732535 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24938/tid=24955] ppid=24936 vsize=1514864 CPUtime=43.14
/proc/24938/task/24955/stat : 24955 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 11614 0 0 0 2750 1564 0 0 20 0 17 0 654799509 1551220736 334182 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 698.64
Current children cumulated vsize (KiB) 1514864



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+76.7043 s]
/proc/loadavg: 14.71 14.41 14.45 17/201 24955
/proc/meminfo: memFree=17163784/36427776 swapFree=4692/1889336
[pid=24938] ppid=24936 vsize=2097952 CPUtime=1105.57
/proc/24938/stat : 24938 (ttsth-5-0) S 24936 24938 15497 0 -1 4202496 470967 0 0 0 87301 23256 0 0 20 0 17 0 654798789 2148302848 470333 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134629544 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 524488 470333 95 177 0 524310 0
[pid=24938/tid=24940] ppid=24936 vsize=2097952 CPUtime=69.45
/proc/24938/task/24940/stat : 24940 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 50253 0 0 0 6875 70 0 0 20 0 17 0 654799508 2148302848 470333 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546026 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=24938/tid=24941] ppid=24936 vsize=2097952 CPUtime=68.77
/proc/24938/task/24941/stat : 24941 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 16630 0 0 0 5403 1474 0 0 20 0 17 0 654799508 2148302848 470333 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=24938/tid=24942] ppid=24936 vsize=2097952 CPUtime=68.68
/proc/24938/task/24942/stat : 24942 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 24377 0 0 0 5278 1590 0 0 20 0 17 0 654799508 2148302848 470333 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=24938/tid=24943] ppid=24936 vsize=2097952 CPUtime=68.79
/proc/24938/task/24943/stat : 24943 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 20252 0 0 0 5415 1464 0 0 20 0 17 0 654799508 2148302848 470334 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=24938/tid=24944] ppid=24936 vsize=2097952 CPUtime=68.6
/proc/24938/task/24944/stat : 24944 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 21240 0 0 0 5260 1600 0 0 20 0 17 0 654799508 2148302848 470334 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=24938/tid=24945] ppid=24936 vsize=2097952 CPUtime=68.67
/proc/24938/task/24945/stat : 24945 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 33219 0 0 0 5305 1562 0 0 20 0 17 0 654799508 2148302848 470334 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=24938/tid=24946] ppid=24936 vsize=2097952 CPUtime=68.89
/proc/24938/task/24946/stat : 24946 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 24089 0 0 0 5465 1424 0 0 20 0 17 0 654799508 2148302848 470334 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=24938/tid=24947] ppid=24936 vsize=2097952 CPUtime=68.78
/proc/24938/task/24947/stat : 24947 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 23459 0 0 0 5390 1488 0 0 20 0 17 0 654799508 2148302848 470334 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=24938/tid=24948] ppid=24936 vsize=2097952 CPUtime=68.44
/proc/24938/task/24948/stat : 24948 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 19434 0 0 0 5224 1620 0 0 20 0 17 0 654799508 2148302848 470335 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=24938/tid=24949] ppid=24936 vsize=2097952 CPUtime=68.64
/proc/24938/task/24949/stat : 24949 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 22796 0 0 0 5298 1566 0 0 20 0 17 0 654799508 2148302848 470335 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134680474 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=24938/tid=24950] ppid=24936 vsize=2097952 CPUtime=68.4
/proc/24938/task/24950/stat : 24950 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 20347 0 0 0 5076 1764 0 0 20 0 17 0 654799508 2148302848 470335 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=24938/tid=24951] ppid=24936 vsize=2097952 CPUtime=68.78
/proc/24938/task/24951/stat : 24951 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 17431 0 0 0 5394 1484 0 0 20 0 17 0 654799508 2148302848 470335 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134546034 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=24938/tid=24952] ppid=24936 vsize=2097952 CPUtime=68.65
/proc/24938/task/24952/stat : 24952 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 15451 0 0 0 5335 1530 0 0 20 0 17 0 654799509 2148302848 470335 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=24938/tid=24953] ppid=24936 vsize=2097952 CPUtime=67.43
/proc/24938/task/24953/stat : 24953 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 20865 0 0 0 5335 1408 0 0 20 0 17 0 654799509 2148302848 470335 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134562338 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=24938/tid=24954] ppid=24936 vsize=2097952 CPUtime=68.73
/proc/24938/task/24954/stat : 24954 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 23794 0 0 0 5375 1498 0 0 20 0 17 0 654799509 2148302848 470336 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=24938/tid=24955] ppid=24936 vsize=2097952 CPUtime=68.58
/proc/24938/task/24955/stat : 24955 (ttsth-5-0) R 24936 24938 15497 0 -1 4202560 19736 0 0 0 5186 1672 0 0 20 0 17 0 654799509 2148302848 470336 18446744073709551615 134512640 135237372 4288208992 18446744073709551615 134636641 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
Current children cumulated CPU time (s) 1105.57
Current children cumulated vsize (KiB) 2097952

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

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

[startup+76.8244 s]
/proc/loadavg: 14.71 14.41 14.45 17/201 24955
/proc/meminfo: memFree=17163784/36427776 swapFree=4692/1889336
[pid=24938] ppid=24936 vsize=0 CPUtime=1105.8
/proc/24938/stat : 24938 (ttsth-5-0) Z 24936 24938 15497 0 -1 4203532 471029 0 0 0 87313 23267 0 0 20 0 2 0 654798789 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/24938/statm: 0 0 0 0 0 0 0
[pid=24938/tid=24955] ppid=24936 vsize=0 CPUtime=68.68
/proc/24938/task/24955/stat : 24955 (ttsth-5-0) R 24936 24938 15497 0 -1 4203588 19737 0 0 0 5186 1682 0 0 20 0 2 0 654799509 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) 1105.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 76.8991
CPU time (s): 1105.89
CPU user time (s): 873.139
CPU system time (s): 232.751
CPU usage (%): 1438.1
Max. virtual memory (cumulated for all children) (KiB): 2097952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 873.139
system time used= 232.751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 471029
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= 107761
involuntary context switches= 2339

runsolver used 0.32002 second user time and 1.12007 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 06:48:44
IDJOB=1779645
IDBENCH=70883
IDSOLVER=634
FILE ID=xenhost3-49/1779645-1244954924
PBS_JOBID=
Free space on /tmp= 7022 MiB

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

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

MD5SUM BENCH= d682d44f13c64e9669f2eded046ee8c4
RANDOM SEED= 1939642343

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:      19042740 kB
Buffers:        483476 kB
Cached:       14118236 kB
SwapCached:          0 kB
Active:        4130096 kB
Inactive:     10480636 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            7640 kB
Writeback:           0 kB
AnonPages:        7716 kB
Mapped:           3020 kB
Slab:           721844 kB
SReclaimable:   694952 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= 7022 MiB
End job on xenhost3-49 at 2009-06-14 06:50:03