Trace number 1727035

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
SAT07 reference solver: SATzilla CRAFTED? (exit code) 1199.65 1200.02

General information on the benchmark

Namecrafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
MD5SUM8b466b7ef3217bdc844a579ae744d427
Bench CategoryCRAFTED (crafted 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 variables18623
Number of clauses182878
Sum of the clauses size821466
Maximum clause length5
Minimum clause length1
Number of clauses of size 1290
Number of clauses of size 218428
Number of clauses of size 318240
Number of clauses of size 40
Number of clauses of size 5145920
Number of clauses of size over 50

Solver Data 

17.07/17.11	c run March_dl for 5 seconds ... 
17.07/17.11	c Bin: Executing march_dl
17.07/17.11	c child exit by a signal
17.07/17.11	c march_dl returned code 137.
17.07/17.11	c run saps (UBCSAT implementation) for 2 seconds ... 
17.07/17.11	c Bin: Executing ubcsat2006
17.07/17.11	c child exited successfully
17.07/17.11	c ubcsat2006 returned code 0.
17.07/17.11	c satzilla computing base features
17.07/17.11	c satzilla doing unit-prop probe
17.07/17.11	c satzilla doing local search probe
17.07/17.11	c satzilla doing lobjois search-space size estimate
17.07/17.11	c satzilla's ranking:
17.07/17.11	c 1) minisat20+P: -2.331657
17.07/17.11	c 2) zchaff_rand+P: 3.060362
17.07/17.11	c 3) vallst+P: 4.072731
17.07/17.11	c 4) march_dl+P: 4.090797
17.07/17.11	c 5) minisat20: 9.074880
17.07/17.11	c 6) march_dl: 10.882518
17.07/17.11	c 7) kcnfs+P: 999.000000
17.07/17.11	c 8) kcnfs: 999.000000
17.07/17.11	c 9) vallst: 999.000000
17.07/17.11	c 10) zchaff_rand: 999.000000
17.07/17.11	c satzilla running minisat20 with preprocessing ... 
21.77/21.81	This is MiniSat 2.0 beta
21.77/21.81	WARNING: for repeatability, setting FPU to use double precision
21.77/21.81	============================[ Problem Statistics ]=============================
21.77/21.81	|                                                                             |
21.77/21.82	|  Number of variables:  18049                                                |
21.77/21.82	|  Number of clauses:    170227                                               |
21.85/21.99	|  Parsing time:         0.16         s                                       |
21.95/22.00	============================[ Search Statistics ]==============================
21.95/22.00	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.95/22.00	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.95/22.00	===============================================================================
21.95/22.00	|         0 |   18049   170227   786902 |    56742        0    nan |  0.000 % |
21.95/22.07	|       100 |   18049   170227   786902 |    62416      100     13 |  0.000 % |
22.95/23.02	|       251 |   18049   170227   786902 |    68658      251     73 |  0.000 % |
23.45/23.54	|       477 |   18049   170227   786902 |    75524      477     83 |  0.000 % |
24.55/24.61	|       815 |   18049   170227   786902 |    83076      815     86 |  0.000 % |
24.65/24.77	|      1322 |   18049   170227   786902 |    91384     1322     59 |  0.000 % |
28.55/28.66	|      2082 |   18049   170227   786902 |   100522     2082    106 |  0.000 % |
29.95/30.02	|      3221 |   18049   170227   786902 |   110574     3221     76 |  0.000 % |
36.84/36.95	|      4930 |   18049   170227   786902 |   121632     4930    104 |  0.000 % |
57.54/57.65	|      7492 |   18049   170227   786902 |   133795     7492    115 |  0.000 % |
80.84/80.99	|     11337 |   18049   170227   786902 |   147174    11337    121 |  0.000 % |
110.63/110.77	|     17104 |   18049   170227   786902 |   161892    17104    128 |  0.000 % |
200.40/200.58	|     25753 |   18049   170227   786902 |   178081    25753    146 |  0.000 % |
248.89/249.04	|     38727 |   18049   170227   786902 |   195889    38727    132 |  0.000 % |
370.05/370.23	|     58189 |   18049   170227   786902 |   215478    58189    135 |  0.000 % |
488.01/488.25	|     87381 |   18049   170227   786902 |   237026    87381    115 |  0.000 % |
831.61/831.99	|    131173 |   18049   170227   786902 |   260729   131173    115 |  0.000 % |
1199.60/1200.00	c Preprocessing...
1199.60/1200.00	c Inital problem has 18623 variables, 164450 nary clauses (18428 binary clauses).
1199.60/1200.00	c Num non-binary clauses 164160, Average non-binary clause length 4.778
1199.60/1200.00	c Theory has no gaps
1199.60/1200.00	c Preprocessor runtime was 4.280 seconds.
1199.60/1200.00	c 
1199.60/1200.00	c Satisfiability of theory still undetermined.
1199.60/1200.00	c See file /tmp/8OOHfW for simplified theory.
1199.60/1200.00	c Bin: Executing minisat20
1199.60/1200.00	c child exit by a signal
1199.60/1200.00	c minisat20 returned code 137.
1199.60/1200.00	c minisat20 returned code 137.
1199.60/1200.00	c satzilla running zchaff_rand with preprocessing ... 
1199.60/1200.00	c Bin: Executing zchaff_rand
1199.60/1200.00	c zchaff_rand returned code 1.
1199.60/1200.00	c zchaff_rand returned code 1.
1199.60/1200.00	c satzilla running vallst with preprocessing ... 
1199.60/1200.00	c Bin: Executing vallst
1199.60/1200.00	c vallst returned code 1.
1199.60/1200.00	c vallst returned code 1.
1199.60/1200.00	c satzilla running march_dl with preprocessing ... 
1199.60/1200.00	c Bin: Executing march_dl
1199.60/1200.00	c march_dl returned code 1.
1199.60/1200.00	c march_dl returned code 1.
1199.60/1200.00	c satzilla running minisat20 ... 
1199.60/1200.00	c Bin: Executing minisat20
1199.60/1200.00	c minisat20 returned code 1.
1199.60/1200.00	c minisat20 returned code 1.
1199.60/1200.00	c satzilla running march_dl ... 
1199.60/1200.00	c Bin: Executing march_dl
1199.60/1200.00	c march_dl returned code 1.
1199.60/1200.00	c march_dl returned code 1.
1199.60/1200.00	c satzilla running kcnfs with preprocessing ... 
1199.60/1200.00	c Bin: Executing kcnfs
1199.60/1200.00	c kcnfs returned code 1.
1199.60/1200.00	c kcnfs returned code 1.
1199.60/1200.00	c satzilla running kcnfs ... 
1199.60/1200.00	c Bin: Executing kcnfs
1199.60/1200.00	c kcnfs returned code 1.
1199.60/1200.00	c kcnfs returned code 1.
1199.60/1200.00	c satzilla running vallst ... 
1199.60/1200.00	c Bin: Executing vallst
1199.60/1200.00	c vallst returned code 1.
1199.60/1200.00	c vallst returned code 1.
1199.60/1200.00	c satzilla running zchaff_rand ... 
1199.60/1200.01	c Bin: Executing zchaff_rand
1199.60/1200.01	c zchaff_rand returned code 1.
1199.60/1200.01	c zchaff_rand returned code 1.
1199.60/1200.01	c ERROR: All Failed! 
1199.60/1200.01	c SATZILLA_TIME=1199.810000

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1727035-1240720033/watcher-1727035-1240720033 -o /tmp/evaluation-result-1727035-1240720033/solver-1727035-1240720033 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2007_C HOME/instance-1727035-1240720033.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 26492
/proc/meminfo: memFree=1502088/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=3240 CPUtime=0
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 521 0 0 0 0 0 0 0 18 0 1 0 100037070 3317760 516 1992294400 134512640 134996440 4294956240 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 810 517 50 118 0 689 0

[startup+0.034493 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 26492
/proc/meminfo: memFree=1502088/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=3504 CPUtime=0.03
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 607 0 0 0 3 0 0 0 18 0 1 0 100037070 3588096 602 1992294400 134512640 134996440 4294956240 18446744073709551615 134550234 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 876 602 50 118 0 755 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4944

[startup+0.1025 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 26492
/proc/meminfo: memFree=1502088/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=4164 CPUtime=0.09
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 814 0 0 0 9 0 0 0 18 0 1 0 100037070 4263936 809 1992294400 134512640 134996440 4294956240 18446744073709551615 134777824 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 1041 809 50 118 0 920 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5604

[startup+0.302523 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 26492
/proc/meminfo: memFree=1502088/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=6276 CPUtime=0.29
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 1423 0 0 0 29 0 0 0 19 0 1 0 100037070 6426624 1418 1992294400 134512640 134996440 4294956240 18446744073709551615 134777588 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 1569 1418 50 118 0 1448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7716

[startup+0.70157 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 26492
/proc/meminfo: memFree=1502088/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=12984 CPUtime=0.69
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 3635 0 0 0 68 1 0 0 22 0 1 0 100037070 13295616 2333 1992294400 134512640 134996440 4294956240 18446744073709551615 134644078 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 3246 2333 53 118 0 3125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14424

[startup+1.50167 s]
/proc/loadavg: 0.91 0.95 0.98 2/66 26494
/proc/meminfo: memFree=1492024/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=19576 CPUtime=1.49
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 8452 0 0 0 146 3 0 0 25 0 1 0 100037070 20045824 4108 1992294400 134512640 134996440 4294956240 18446744073709551615 134543096 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 4894 4108 55 118 0 4773 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21016

[startup+3.10185 s]
/proc/loadavg: 0.91 0.95 0.98 2/66 26494
/proc/meminfo: memFree=1485368/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=0
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 100037070 1474560 110 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26492/statm: 360 110 95 260 0 84 0
[pid=26493] ppid=26492 vsize=13164 CPUtime=3.09
/proc/26493/stat : 26493 (march_dl) R 26492 26492 23044 0 -1 4194304 15109 0 0 0 301 8 0 0 25 0 1 0 100037070 13479936 2427 1992294400 134512640 134996440 4294956240 18446744073709551615 134644124 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26493/statm: 3291 2427 55 118 0 3170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14604

[startup+6.30123 s]
/proc/loadavg: 0.92 0.95 0.98 2/66 26495
/proc/meminfo: memFree=1491768/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=1440 CPUtime=4.99
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 135 26695 0 0 0 0 486 13 16 0 1 0 100037070 1474560 111 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 360 111 96 260 0 84 0
[pid=26495] ppid=26492 vsize=18488 CPUtime=1.28
/proc/26495/stat : 26495 (ubcsat2006) R 26492 26492 23044 0 -1 4194304 3358 0 0 0 127 1 0 0 25 0 1 0 100037570 18931712 3341 1992294400 134512640 134777720 4294956096 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/26495/statm: 4622 3341 156 64 0 4203 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19928

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 26495
/proc/meminfo: memFree=1488904/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=14480 CPUtime=12.67
/proc/26492/stat : 26492 (SATzilla2007_C) R 26490 26492 23044 0 -1 4194304 6133 30059 0 0 524 4 723 16 25 0 1 0 100037070 14827520 3385 1992294400 134512640 135579813 4294956208 18446744073709551615 134541603 0 0 4096 0 0 0 0 17 1 0 0
/proc/26492/statm: 3620 3385 124 260 0 3344 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14480

[startup+25.5025 s]
/proc/loadavg: 0.94 0.96 0.98 2/66 26496
/proc/meminfo: memFree=1444160/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=12640 CPUtime=3.67
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 3045 0 0 0 366 1 0 0 25 0 1 0 100039251 12943360 3040 1992294400 134512640 134998072 4294956288 18446744073709551615 134527484 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 3160 3040 59 118 0 3038 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 57228

[startup+51.1025 s]
/proc/loadavg: 0.96 0.96 0.98 2/66 26496
/proc/meminfo: memFree=1441152/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=15704 CPUtime=29.26
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 3782 0 0 0 2923 3 0 0 25 0 1 0 100039251 16080896 3777 1992294400 134512640 134998072 4294956288 18446744073709551615 134527437 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 3926 3777 59 118 0 3804 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 60292

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/66 26496
/proc/meminfo: memFree=1436160/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=20588 CPUtime=80.45
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 5012 0 0 0 8041 4 0 0 25 0 1 0 100039251 21082112 5007 1992294400 134512640 134998072 4294956288 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 5147 5007 59 118 0 5025 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 65176

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26496
/proc/meminfo: memFree=1431424/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=25440 CPUtime=140.43
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 6215 0 0 0 14037 6 0 0 25 0 1 0 100039251 26050560 6210 1992294400 134512640 134998072 4294956288 18446744073709551615 134527424 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 6360 6210 59 118 0 6238 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 70028

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26496
/proc/meminfo: memFree=1426048/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=30760 CPUtime=200.41
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 7541 0 0 0 20034 7 0 0 25 0 1 0 100039251 31498240 7536 1992294400 134512640 134998072 4294956288 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 7690 7536 59 118 0 7568 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 75348

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26496
/proc/meminfo: memFree=1419904/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=36928 CPUtime=260.4
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 9091 0 0 0 26030 10 0 0 25 0 1 0 100039251 37814272 9086 1992294400 134512640 134998072 4294956288 18446744073709551615 134527440 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 9232 9086 59 118 0 9110 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 81516

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26496
/proc/meminfo: memFree=1414400/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=42472 CPUtime=320.37
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 10466 0 0 0 32026 11 0 0 25 0 1 0 100039251 43491328 10461 1992294400 134512640 134998072 4294956288 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 10618 10461 59 118 0 10496 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 87060


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


[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1380352/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=76424 CPUtime=800.24
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 18947 0 0 0 80002 22 0 0 25 0 1 0 100039251 78258176 18942 1992294400 134512640 134998072 4294956288 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 19106 18942 59 118 0 18984 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 121012

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1375616/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=81460 CPUtime=860.22
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 20111 0 0 0 85999 23 0 0 25 0 1 0 100039251 83415040 20106 1992294400 134512640 134998072 4294956288 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 20365 20106 59 118 0 20243 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 126048

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1371072/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=85976 CPUtime=920.2
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 21241 0 0 0 91996 24 0 0 25 0 1 0 100039251 88039424 21236 1992294400 134512640 134998072 4294956288 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 21494 21236 59 118 0 21372 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 130564

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1367296/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=89776 CPUtime=980.18
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 22183 0 0 0 97993 25 0 0 25 0 1 0 100039251 91930624 22178 1992294400 134512640 134998072 4294956288 18446744073709551615 134525843 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 22444 22178 59 118 0 22322 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 134364

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1363584/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=93396 CPUtime=1040.16
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 23104 0 0 0 103990 26 0 0 25 0 1 0 100039251 95637504 23099 1992294400 134512640 134998072 4294956288 18446744073709551615 134649756 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 23349 23099 59 118 0 23227 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 137984

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1359872/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=97108 CPUtime=1100.15
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 24020 0 0 0 109988 27 0 0 25 0 1 0 100039251 99438592 24015 1992294400 134512640 134998072 4294956288 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 24277 24015 59 118 0 24155 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 141696

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1356416/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=100560 CPUtime=1160.12
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 24899 0 0 0 115984 28 0 0 25 0 1 0 100039251 102973440 24894 1992294400 134512640 134998072 4294956288 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25140 24894 59 118 0 25018 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 145148

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

[startup+1190.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1355904/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=100956 CPUtime=1168.13
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 25010 0 0 0 116784 29 0 0 25 0 1 0 100039251 103378944 25005 1992294400 134512640 134998072 4294956288 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25239 25005 59 118 0 25117 0
Current children cumulated CPU time (s) 1189.91
Current children cumulated vsize (KiB) 145544

[startup+1196.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1355584/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=101352 CPUtime=1174.53
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 25096 0 0 0 117424 29 0 0 25 0 1 0 100039251 103784448 25091 1992294400 134512640 134998072 4294956288 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25338 25091 59 118 0 25216 0
Current children cumulated CPU time (s) 1196.31
Current children cumulated vsize (KiB) 145940

[startup+1198.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1355520/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=101484 CPUtime=1176.13
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 25118 0 0 0 117584 29 0 0 25 0 1 0 100039251 103919616 25113 1992294400 134512640 134998072 4294956288 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25371 25113 59 118 0 25249 0
Current children cumulated CPU time (s) 1197.91
Current children cumulated vsize (KiB) 146072

[startup+1199.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1355456/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=101484 CPUtime=1176.93
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 25128 0 0 0 117664 29 0 0 25 0 1 0 100039251 103919616 25123 1992294400 134512640 134998072 4294956288 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25371 25123 59 118 0 25249 0
Current children cumulated CPU time (s) 1198.71
Current children cumulated vsize (KiB) 146072

[startup+1199.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1355456/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=101484 CPUtime=1177.33
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 25133 0 0 0 117704 29 0 0 25 0 1 0 100039251 103919616 25128 1992294400 134512640 134998072 4294956288 18446744073709551615 134527403 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25371 25128 59 118 0 25249 0
Current children cumulated CPU time (s) 1199.11
Current children cumulated vsize (KiB) 146072

[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1355456/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=101484 CPUtime=1177.73
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4194304 25138 0 0 0 117744 29 0 0 25 0 1 0 100039251 103919616 25133 1992294400 134512640 134998072 4294956288 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 25371 25133 59 118 0 25249 0
Current children cumulated CPU time (s) 1199.51
Current children cumulated vsize (KiB) 146072

[startup+1200 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26498
/proc/meminfo: memFree=1429376/2055920 swapFree=4191900/4192956
[pid=26492] ppid=26490 vsize=44588 CPUtime=21.78
/proc/26492/stat : 26492 (SATzilla2007_C) S 26490 26492 23044 0 -1 4194304 19238 30059 0 0 1420 19 723 16 25 0 1 0 100037070 45658112 10139 1992294400 134512640 135579813 4294956208 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26492/statm: 11147 10139 165 260 0 10871 0
[pid=26496] ppid=26492 vsize=0 CPUtime=1177.82
/proc/26496/stat : 26496 (minisat20) R 26492 26492 23044 0 -1 4195332 25139 0 0 0 117752 30 0 0 25 0 1 0 100039251 0 0 1992294400 0 0 0 0 0 256 0 8392704 3 0 0 0 17 1 0 0
/proc/26496/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.6
Current children cumulated vsize (KiB) 44588

Child status: 17
Real time (s): 1200.02
CPU time (s): 1199.65
CPU user time (s): 1198.96
CPU system time (s): 0.685895
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 146072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.96
system time used= 0.685895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74449
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= 11
involuntary context switches= 2053

runsolver used 1.36879 second user time and 2.87656 second system time

The end

Launcher Data 

Begin job on node11 at 2009-04-26 06:27:14
IDJOB=1727035
IDBENCH=24627
IDSOLVER=558
FILE ID=node11/1727035-1240720033
PBS_JOBID= 9186844
Free space on /tmp= 66100 MiB

SOLVER NAME= SAT07 reference solver: SATzilla CRAFTED
BENCH NAME= SAT07/crafted/Hard/contest04/others/Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
COMMAND LINE= HOME/SATzilla2007_C BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1727035-1240720033/watcher-1727035-1240720033 -o /tmp/evaluation-result-1727035-1240720033/solver-1727035-1240720033 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2007_C HOME/instance-1727035-1240720033.cnf            

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

MD5SUM BENCH= 8b466b7ef3217bdc844a579ae744d427
RANDOM SEED=1848615218

node11.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.214
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.214
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:       1502632 kB
Buffers:         61408 kB
Cached:         413868 kB
SwapCached:        384 kB
Active:         222352 kB
Inactive:       266324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1502632 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           13480 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            50652 kB
Committed_AS:   375232 kB
PageTables:       1448 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= 66092 MiB
End job on node11 at 2009-04-26 06:47:14