Trace number 1825800

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
SATzilla2009_C 2009-03-22SAT 19.0941 19.1183

General information on the benchmark

NameCRAFTED/ramseycube/
Q3inK10.cnf
MD5SUM0d32a4893e12fa46a8943c5daeb46b88
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.125979
Satisfiable
(Un)Satisfiability was proved
Number of variables45
Number of clauses75600
Sum of the clauses size907200
Maximum clause length12
Minimum clause length12
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575600

Solver Data 

18.86/19.00	c SATzilla is building models for class 2
18.86/19.00	c run presolver march_dl2004 for 5 seconds ... 
18.86/19.00	c Bin: Executing march_dl2004
18.86/19.00	c spawning binary file with 5 seconds ...
18.86/19.00	c child exit by a signal
18.86/19.00	c march_dl2004 returned code 137.
18.86/19.00	c run presolver mxc-sr08 for 5 seconds ... 
18.86/19.00	c Bin: Executing mxc-sr08
18.86/19.00	c spawning binary file with 5 seconds ...
18.86/19.00	c child exit by a signal
18.86/19.00	c mxc-sr08 returned code 137.
18.86/19.00	c Orignal number of varibales is 45, number of clauses is 75600 
18.86/19.00	c predicted feature computation time is 8.559292 
18.86/19.00	c Bin: Executing satelite
18.86/19.00	c spawning binary file with 240 seconds ...
18.86/19.00	c child exited successfully
18.86/19.00	c satzilla computing base features
18.86/19.00	c Number of variabe is: 45, Number of clause is : 75600 
18.86/19.00	c Initializing...
18.86/19.00	c satzilla compute diameter ...
18.86/19.00	c start diameter features ...
18.86/19.00	c satzilla doing clause learning
18.86/19.00	c start clause learning features ...
18.86/19.00	c Bin: Executing zchaff07
18.86/19.00	c spawning binary file with 2 seconds ...
18.86/19.00	c child exited successfully
18.86/19.00	c satzilla doing survey propogation probe
18.86/19.00	c do survay propogation for 2 second ...
18.86/19.00	c satzilla doing local search probe
18.86/19.00	c satzilla doing lobjois search-space size estimate
18.86/19.00	c features are:45 75600 45 75600 0 0 0.000595238 1 0 -0 0.266667 4.16334e-16 0.266667 0.266667 -0 0 0 0.266667 0 0.266667 0.266667 -0 0 0 0 0 -0 0.133333 0 0.133333 0.133333 -0 0.5 0.000582011 0 0.000582011 0.000582011 2 0 2 2 -0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.49878 1.86955e-05 0.498766 0.498796 0.498793 0.498767 0.498788 0.498771 0.49878 0.0133929 14.9666 2.66964 0.354343 3 2 4 7.25231 1.32634 0.933036 0.2685 0.997037 0.998775 
18.86/19.00	c satzilla's ranking:
18.86/19.00	c 1) minisat20: 62.058137
18.86/19.00	c 2) vallst: 12.581359
18.86/19.00	c 3) tts-4-0: 6.559909
18.86/19.00	c 4) minisat20SAT07: 2.030632
18.86/19.00	c 5) mxc-sr08: 1.840428
18.86/19.00	c 6) zchaff_rand: 1.314518
18.86/19.00	c 7) march_dl2004: -0.969395
18.86/19.00	c 8) SATenstein: -10000.000000
18.86/19.00	c 9) gnovelty+: -10000.000000
18.86/19.00	c 10) adaptg2wsat+: -10000.000000
18.86/19.00	c 11) adaptg2wsat0: -10000.000000
18.86/19.00	c 12) picosat846: -10000.000000
18.86/19.00	c 13) kcnfs04SAT07: -10000.000000
18.86/19.00	c satzilla running minisat20 ... 
18.86/19.00	This is MiniSat 2.0 beta
18.86/19.00	WARNING: for repeatability, setting FPU to use double precision
18.96/19.00	============================[ Problem Statistics ]=============================
18.96/19.00	|                                                                             |
18.96/19.00	|  Number of variables:  45                                                   |
18.96/19.00	|  Number of clauses:    75600                                                |
18.96/19.09	|  Parsing time:         0.09         s                                       |
18.96/19.10	============================[ Search Statistics ]==============================
18.96/19.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.96/19.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.96/19.10	===============================================================================
18.96/19.10	|         0 |      45    75600   907200 |    25200        0    nan |  0.000 % |
18.96/19.11	===============================================================================
18.96/19.11	restarts              : 1
18.96/19.11	conflicts             : 0              (0 /sec)
18.96/19.11	decisions             : 31             (0.00 % random) (310 /sec)
18.96/19.11	propagations          : 45             (450 /sec)
18.96/19.11	conflict literals     : 0              ( nan % deleted)
18.96/19.11	Memory used           : 7.55 MB
18.96/19.11	CPU time              : 0.099984 s
18.96/19.11	
18.96/19.11	c Bin: Executing minisat20
18.96/19.11	c spawning binary file with 4981 seconds ...
18.96/19.11	c child exited successfully
18.96/19.11	c minisat20 returned code 10.
18.96/19.11	s SATISFIABLE
18.96/19.11	v -1 -2 3 4 5 6 7 -8 -9 -10 11 12 13 14 15 -16 -17 18 19 20 21 22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 0
18.96/19.11	c SATZILLA_TIME=19.080000

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825800-1242512388/watcher-1825800-1242512388 -o /tmp/evaluation-result-1825800-1242512388/solver-1825800-1242512388 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825800-1242512388.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 8418
/proc/meminfo: memFree=635424/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=1228 CPUtime=0
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 151 0 0 0 0 0 0 0 19 0 1 0 279266060 1257472 146 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8419/statm: 307 146 50 118 0 186 0

[startup+0.0995211 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 8418
/proc/meminfo: memFree=635424/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=2680 CPUtime=0.09
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 541 0 0 0 9 0 0 0 19 0 1 0 279266060 2744320 536 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8419/statm: 670 536 50 118 0 549 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4736

[startup+0.102521 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 8418
/proc/meminfo: memFree=635424/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=2680 CPUtime=0.1
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 553 0 0 0 10 0 0 0 20 0 1 0 279266060 2744320 548 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8419/statm: 670 549 50 118 0 549 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4736

[startup+0.301543 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 8418
/proc/meminfo: memFree=635424/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=6796 CPUtime=0.29
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 1326 0 0 0 29 0 0 0 21 0 1 0 279266060 6959104 1320 1992294400 134512640 134996440 4294956192 18446744073709551615 134544367 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8419/statm: 1699 1320 52 118 0 1578 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8852

[startup+0.701587 s]
/proc/loadavg: 1.00 1.02 0.96 3/64 8418
/proc/meminfo: memFree=635424/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=13940 CPUtime=0.69
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 10667 0 0 0 65 4 0 0 25 0 1 0 279266060 14274560 2697 1992294400 134512640 134996440 4294956192 18446744073709551615 134543093 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8419/statm: 3485 2699 57 118 0 3364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15996

[startup+1.50169 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 8420
/proc/meminfo: memFree=623056/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=37052 CPUtime=1.48
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 27351 0 0 0 138 10 0 0 25 0 1 0 279266060 37941248 4906 1992294400 134512640 134996440 4294956192 18446744073709551615 134583384 0 0 8392704 0 0 0 0 17 1 0 0
/proc/8419/statm: 9263 4906 67 118 0 9142 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39108

[startup+3.10185 s]
/proc/loadavg: 1.08 1.03 0.96 2/66 8420
/proc/meminfo: memFree=614224/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=0
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279266060 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 112 96 399 0 111 0
[pid=8419] ppid=8418 vsize=37588 CPUtime=3.08
/proc/8419/stat : 8419 (march_dl2004) R 8418 8418 8316 0 -1 4194304 27501 0 0 0 297 11 0 0 25 0 1 0 279266060 38490112 5056 1992294400 134512640 134996440 4294956192 18446744073709551615 134584236 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8419/statm: 9397 5056 67 118 0 9276 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 39644

[startup+6.30121 s]
/proc/loadavg: 1.08 1.03 0.96 2/66 8421
/proc/meminfo: memFree=624400/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=2056 CPUtime=4.99
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 152 27643 0 0 0 0 488 11 16 0 1 0 279266060 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 514 121 104 399 0 111 0
[pid=8421] ppid=8418 vsize=12116 CPUtime=1.28
/proc/8421/stat : 8421 (mxc-sr08) R 8418 8418 8316 0 -1 4194304 3509 0 0 0 127 1 0 0 25 0 1 0 279266561 12406784 2737 1992294400 134512640 135078026 4294956192 18446744073709551615 134560885 0 0 8392704 0 0 0 0 17 0 0 0
/proc/8421/statm: 3029 2737 55 138 0 2888 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14172

[startup+12.7019 s]
/proc/loadavg: 1.07 1.03 0.96 2/66 8423
/proc/meminfo: memFree=616208/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=24356 CPUtime=12.67
/proc/8418/stat : 8418 (SATzilla2009_C) R 8416 8418 8316 0 -1 4194304 6984 36331 0 0 162 3 1085 17 23 0 1 0 279266060 24940544 5342 1992294400 134512640 136149437 4294956224 18446744073709551615 134846807 0 0 4096 3 0 0 0 17 0 0 0
/proc/8418/statm: 6089 5342 151 399 0 5686 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 24356

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

[startup+15.9013 s]
/proc/loadavg: 1.07 1.03 0.96 2/65 8423
/proc/meminfo: memFree=612504/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=26932 CPUtime=15.86
/proc/8418/stat : 8418 (SATzilla2009_C) R 8416 8418 8316 0 -1 4194304 9178 36331 0 0 480 4 1085 17 25 0 1 0 279266060 27578368 5200 1992294400 134512640 136149437 4294956224 18446744073709551615 134731180 0 0 4096 3 0 0 0 17 0 0 0
/proc/8418/statm: 6733 5200 207 399 0 6330 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 26932

[startup+17.5014 s]
/proc/loadavg: 1.06 1.03 0.96 2/65 8423
/proc/meminfo: memFree=620696/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=14896 CPUtime=17.46
/proc/8418/stat : 8418 (SATzilla2009_C) R 8416 8418 8316 0 -1 4194304 9380 36331 0 0 640 4 1085 17 25 0 1 0 279266060 15253504 3156 1992294400 134512640 136149437 4294956224 18446744073709551615 134541877 0 0 4096 3 0 0 0 17 0 0 0
/proc/8418/statm: 3724 3156 213 399 0 3321 0
Current children cumulated CPU time (s) 17.46
Current children cumulated vsize (KiB) 14896

[startup+18.3015 s]
/proc/loadavg: 1.06 1.03 0.96 2/65 8423
/proc/meminfo: memFree=620696/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=14896 CPUtime=18.26
/proc/8418/stat : 8418 (SATzilla2009_C) R 8416 8418 8316 0 -1 4194304 9380 36331 0 0 720 4 1085 17 25 0 1 0 279266060 15253504 3156 1992294400 134512640 136149437 4294956224 18446744073709551615 134541995 0 0 4096 3 0 0 0 17 0 0 0
/proc/8418/statm: 3724 3156 213 399 0 3321 0
Current children cumulated CPU time (s) 18.26
Current children cumulated vsize (KiB) 14896

[startup+18.7056 s]
/proc/loadavg: 1.06 1.03 0.96 2/65 8423
/proc/meminfo: memFree=620696/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=14896 CPUtime=18.66
/proc/8418/stat : 8418 (SATzilla2009_C) R 8416 8418 8316 0 -1 4194304 9380 36331 0 0 760 4 1085 17 25 0 1 0 279266060 15253504 3156 1992294400 134512640 136149437 4294956224 18446744073709551615 134541933 0 0 4096 3 0 0 0 17 0 0 0
/proc/8418/statm: 3724 3156 213 399 0 3321 0
Current children cumulated CPU time (s) 18.66
Current children cumulated vsize (KiB) 14896

[startup+19.1016 s]
/proc/loadavg: 1.06 1.03 0.96 2/65 8423
/proc/meminfo: memFree=620696/2055920 swapFree=4180752/4192956
[pid=8418] ppid=8416 vsize=14896 CPUtime=18.96
/proc/8418/stat : 8418 (SATzilla2009_C) S 8416 8418 8316 0 -1 4194304 9393 36331 0 0 789 5 1085 17 25 0 1 0 279266060 15253504 3162 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/8418/statm: 3724 3162 219 399 0 3321 0
Current children cumulated CPU time (s) 18.96
Current children cumulated vsize (KiB) 14896

Child status: 10
Real time (s): 19.1183
CPU time (s): 19.0941
CPU user time (s): 18.8561
CPU system time (s): 0.237963
CPU usage (%): 99.8735
Max. virtual memory (cumulated for all children) (KiB): 44284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8561
system time used= 0.237963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47560
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= 16
involuntary context switches= 104

runsolver used 0.019996 second user time and 0.056991 second system time

The end

Launcher Data 

Begin job on node59 at 2009-05-17 00:19:49
IDJOB=1825800
IDBENCH=71129
IDSOLVER=668
FILE ID=node59/1825800-1242512388
PBS_JOBID= 9307058
Free space on /tmp= 66212 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/ramseycube/Q3inK10.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825800-1242512388/watcher-1825800-1242512388 -o /tmp/evaluation-result-1825800-1242512388/solver-1825800-1242512388 -C 5000 -W 6000 -M 1800  HOME/SATzilla2009_C HOME/instance-1825800-1242512388.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0d32a4893e12fa46a8943c5daeb46b88
RANDOM SEED=2111625481

node59.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.240
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        635904 kB
Buffers:         98676 kB
Cached:        1209996 kB
SwapCached:       6924 kB
Active:         535116 kB
Inactive:       783948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        635904 kB
SwapTotal:     4192956 kB
SwapFree:      4180752 kB
Dirty:           34516 kB
Writeback:           0 kB
Mapped:          15184 kB
Slab:            86940 kB
Committed_AS:  1026440 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66180 MiB
End job on node59 at 2009-05-17 00:20:08