Trace number 330107

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, and are wall clock time (not CPU 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
SATzilla CRAFTED? (exit code) 1199.73 1200.14

General information on the benchmark

Nameindustrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
MD5SUM2cd6ab0857f39a86290a508952e3dd75
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark627.1
Satisfiable
(Un)Satisfiability was proved
Number of variables91844
Number of clauses381319
Sum of the clauses size976591
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2269965
Number of clauses of size 371376
Number of clauses of size 413554
Number of clauses of size 57709
Number of clauses of size over 516643

Solver Data (download as text)

45.06/45.17	c run March_dl for 5 seconds ... 
45.06/45.17	c Bin: Executing march_dl
45.06/45.17	c child exit by a signal
45.06/45.17	c march_dl returned code 137.
45.06/45.17	c run saps (UBCSAT implementation) for 2 seconds ... 
45.06/45.17	c Bin: Executing ubcsat2006
45.06/45.17	c child exited successfully
45.06/45.17	c ubcsat2006 returned code 0.
45.06/45.17	c satzilla computing base features
45.06/45.17	c satzilla doing unit-prop probe
45.06/45.17	c satzilla doing local search probe
45.06/45.17	c satzilla doing lobjois search-space size estimate
45.06/45.17	c satzilla's ranking:
45.06/45.17	c 1) minisat20+P: -1.722092
45.06/45.17	c 2) minisat20: 2.999299
45.06/45.17	c 3) march_dl+P: 3.488443
45.06/45.17	c 4) vallst+P: 4.124827
45.06/45.17	c 5) march_dl: 4.191492
45.06/45.17	c 6) zchaff_rand+P: 6.598362
45.06/45.17	c 7) kcnfs+P: 999.000000
45.06/45.17	c 8) kcnfs: 999.000000
45.06/45.17	c 9) vallst: 999.000000
45.06/45.17	c 10) zchaff_rand: 999.000000
45.06/45.17	c satzilla running minisat20 with preprocessing ... 
105.74/105.88	This is MiniSat 2.0 beta
105.74/105.88	WARNING: for repeatability, setting FPU to use double precision
105.74/105.88	============================[ Problem Statistics ]=============================
105.74/105.88	|                                                                             |
105.74/105.89	|  Number of variables:  91844                                                |
105.74/105.89	|  Number of clauses:    381319                                               |
105.82/106.11	|  Parsing time:         0.20         s                                       |
105.82/106.12	============================[ Search Statistics ]==============================
105.82/106.12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
105.82/106.12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
105.82/106.12	===============================================================================
105.82/106.12	|         0 |   85172   351768   904750 |   117256        0    nan |  0.000 % |
105.82/106.18	|       100 |   85171   351768   904750 |   128981       99     10 |  7.286 % |
105.82/106.22	|       251 |   85171   351768   904750 |   141879      250     10 |  7.286 % |
105.82/106.30	|       476 |   85171   351768   904750 |   156067      475     15 |  7.286 % |
105.82/106.35	|       815 |   85171   351768   904750 |   171674      814     17 |  7.286 % |
105.82/106.50	|      1321 |   85171   351768   904750 |   188841     1320     16 |  7.286 % |
106.83/106.96	|      2080 |   85134   351704   904601 |   207726     2076     17 |  7.393 % |
107.63/107.74	|      3220 |   85039   351028   902924 |   228498     3213     16 |  7.425 % |
108.23/108.35	|      4928 |   85024   350896   902609 |   251348     4917     17 |  7.426 % |
109.33/109.49	|      7492 |   85024   350896   902609 |   276483     7481     18 |  7.426 % |
111.53/111.66	|     11336 |   84352   347978   895158 |   304131    11323     28 |  8.157 % |
117.03/117.16	|     17103 |   84302   347596   894212 |   334545    17085     43 |  8.214 % |
120.43/120.55	|     25753 |   84298   347519   894031 |   367999    25730     36 |  8.219 % |
131.22/131.35	|     38727 |   84290   347504   893993 |   404799    38702     47 |  8.227 % |
150.89/151.07	|     58188 |   84240   347162   893158 |   445279    58141     54 |  8.280 % |
177.96/178.14	|     87380 |   84223   347062   892934 |   489807    87315     51 |  8.299 % |
261.09/261.40	|    131170 |   84200   346946   892665 |   538788   131028     70 |  8.323 % |
445.74/446.03	|    196855 |   84198   346940   892651 |   592666   196711     91 |  8.325 % |
826.65/827.04	|    295382 |   84180   346933   892637 |   651933   295233    121 |  8.386 % |
1199.66/1200.12	c Preprocessing...
1199.66/1200.12	c Inital problem has 91844 variables, 111354 nary clauses (269965 binary clauses).
1199.66/1200.12	c Num non-binary clauses 109282, Average non-binary clause length 3.977
1199.66/1200.12	c Theory has no gaps
1199.66/1200.12	c preprocessor timed out at 60.010000 sec
1199.66/1200.12	c Bin: Executing minisat20
1199.66/1200.12	c child exit by a signal
1199.66/1200.12	c minisat20 returned code 137.
1199.66/1200.12	c minisat20 returned code 137.
1199.66/1200.12	c satzilla running minisat20 ... 
1199.66/1200.12	c Bin: Executing minisat20
1199.66/1200.12	c minisat20 returned code 1.
1199.66/1200.12	c minisat20 returned code 1.
1199.66/1200.12	c satzilla running march_dl with preprocessing ... 
1199.66/1200.12	c Bin: Executing march_dl
1199.66/1200.12	c march_dl returned code 1.
1199.66/1200.12	c march_dl returned code 1.
1199.66/1200.12	c satzilla running vallst with preprocessing ... 
1199.66/1200.12	c Bin: Executing vallst
1199.66/1200.12	c vallst returned code 1.
1199.66/1200.12	c vallst returned code 1.
1199.66/1200.12	c satzilla running march_dl ... 
1199.66/1200.12	c Bin: Executing march_dl
1199.66/1200.12	c march_dl returned code 1.
1199.66/1200.12	c march_dl returned code 1.
1199.66/1200.12	c satzilla running zchaff_rand with preprocessing ... 
1199.66/1200.12	c Bin: Executing zchaff_rand
1199.66/1200.12	c zchaff_rand returned code 1.
1199.66/1200.12	c zchaff_rand returned code 1.
1199.66/1200.12	c satzilla running kcnfs with preprocessing ... 
1199.66/1200.12	c Bin: Executing kcnfs
1199.66/1200.12	c kcnfs returned code 1.
1199.66/1200.12	c kcnfs returned code 1.
1199.66/1200.12	c satzilla running kcnfs ... 
1199.66/1200.12	c Bin: Executing kcnfs
1199.66/1200.12	c kcnfs returned code 1.
1199.66/1200.12	c kcnfs returned code 1.
1199.66/1200.12	c satzilla running vallst ... 
1199.66/1200.12	c Bin: Executing vallst
1199.66/1200.12	c vallst returned code 1.
1199.66/1200.12	c vallst returned code 1.
1199.66/1200.12	c satzilla running zchaff_rand ... 
1199.66/1200.12	c Bin: Executing zchaff_rand
1199.66/1200.12	c zchaff_rand returned code 1.
1199.66/1200.12	c zchaff_rand returned code 1.
1199.66/1200.12	c ERROR: All Failed! 
1199.66/1200.12	c SATZILLA_TIME=1199.880000

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-330107-1173157114 -o ROOT/results/node14/solver-330107-1173157114 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330107-1173157114/SATzilla2007_C /tmp/evaluation/330107-1173157114/instance-330107-1173157114.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): 2400 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.97 0.99 3/77 31981
/proc/meminfo: memFree=1692472/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=632 CPUtime=0
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 335665904 647168 46 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 158 46 39 118 0 37 0

[startup+0.0945799 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31981
/proc/meminfo: memFree=1692472/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=632 CPUtime=0.08
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 51 0 0 0 8 0 0 0 19 0 1 0 335665904 647168 46 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 158 46 39 118 0 37 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2072

[startup+0.101578 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31981
/proc/meminfo: memFree=1692472/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=5420 CPUtime=0.09
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 440 0 0 0 9 0 0 0 19 0 1 0 335665904 5550080 435 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 1355 437 49 118 0 1234 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6860

[startup+0.301598 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31981
/proc/meminfo: memFree=1692472/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=11648 CPUtime=0.29
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 2524 0 0 0 28 1 0 0 21 0 1 0 335665904 11927552 2519 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 2912 2519 50 118 0 2791 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13088

[startup+0.701635 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 31981
/proc/meminfo: memFree=1692472/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=33444 CPUtime=0.68
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 6902 0 0 0 66 2 0 0 25 0 1 0 335665904 34246656 6715 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134547632 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 8361 6715 52 118 0 8240 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 34884

[startup+1.50171 s]
/proc/loadavg: 0.91 0.97 0.99 2/79 31983
/proc/meminfo: memFree=1664360/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=36608 CPUtime=1.49
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 10093 0 0 0 145 4 0 0 25 0 1 0 335665904 37486592 7628 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134545971 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 9152 7628 55 118 0 9031 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38048

[startup+3.10186 s]
/proc/loadavg: 0.91 0.97 0.99 2/79 31983
/proc/meminfo: memFree=1660840/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=0
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 335665904 1474560 110 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 360 110 95 260 0 84 0
[pid=31982] ppid=31981 vsize=38768 CPUtime=3.09
/proc/31982/stat : 31982 (march_dl) R 31981 31981 30313 0 -1 4194304 13113 0 0 0 304 5 0 0 25 0 1 0 335665904 39698432 8184 18446744073709551615 134512640 134996440 4294956720 18446744073709551615 134651774 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31982/statm: 9692 8184 57 118 0 9571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40208

[startup+6.30117 s]
/proc/loadavg: 0.92 0.97 0.99 2/79 31984
/proc/meminfo: memFree=1686760/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=1440 CPUtime=5
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 135 22112 0 0 0 0 490 10 16 0 1 0 335665904 1474560 111 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/31981/statm: 360 111 96 260 0 84 0
[pid=31984] ppid=31981 vsize=30788 CPUtime=1.27
/proc/31984/stat : 31984 (ubcsat2006) R 31981 31981 30313 0 -1 4194304 6055 0 0 0 125 2 0 0 25 0 1 0 335666405 31526912 6038 18446744073709551615 134512640 134777720 4294956576 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/31984/statm: 7697 6038 156 64 0 7278 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 32228

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 31984
/proc/meminfo: memFree=1657016/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=38640 CPUtime=12.67
/proc/31981/stat : 31981 (SATzilla2007_C) R 31979 31981 30313 0 -1 4194304 8989 28175 0 0 508 4 742 13 25 0 1 0 335665904 39567360 8958 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/31981/statm: 9660 8958 121 260 0 9384 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 38640

[startup+25.502 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 31984
/proc/meminfo: memFree=1656376/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=38640 CPUtime=25.46
/proc/31981/stat : 31981 (SATzilla2007_C) R 31979 31981 30313 0 -1 4194304 9169 28175 0 0 1785 6 742 13 25 0 1 0 335665904 39567360 9138 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/31981/statm: 9660 9138 121 260 0 9384 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 38640

[startup+51.1014 s]
/proc/loadavg: 0.96 0.97 0.99 2/78 31984
/proc/meminfo: memFree=1595064/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=211288 CPUtime=51.06
/proc/31981/stat : 31981 (SATzilla2007_C) R 31979 31981 30313 0 -1 4194304 41616 28175 0 0 4323 28 742 13 25 0 1 0 335665904 216358912 24607 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/31981/statm: 52822 24607 164 260 0 52546 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 211288

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 31984
/proc/meminfo: memFree=1585400/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=102.25
/proc/31981/stat : 31981 (SATzilla2007_C) R 31979 31981 30313 0 -1 4194304 58978 28175 0 0 9384 86 742 13 25 0 1 0 335665904 178282496 26859 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 134596514 0 0 4096 0 0 0 0 17 1 0 0
/proc/31981/statm: 43526 26859 165 260 0 43250 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 174104

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/85 32067
/proc/meminfo: memFree=1544944/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=40408 CPUtime=56.36
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 9834 0 0 0 5628 8 0 0 25 0 1 0 335676491 41377792 9828 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525630 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 10102 9828 59 118 0 9980 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 214512

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/85 32159
/proc/meminfo: memFree=1529976/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=55240 CPUtime=116.29
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 13556 0 0 0 11616 13 0 0 25 0 1 0 335676491 56565760 13550 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525570 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 13810 13550 59 118 0 13688 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 229344

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1518384/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=68192 CPUtime=176.26
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 16756 0 0 0 17608 18 0 0 25 0 1 0 335676491 69828608 16750 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525488 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 17048 16750 59 118 0 16926 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 242296

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1506160/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=80212 CPUtime=236.25
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 19775 0 0 0 23603 22 0 0 25 0 1 0 335676491 82137088 19769 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 20053 19769 59 118 0 19931 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 254316

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1493872/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=92500 CPUtime=296.24
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 22861 0 0 0 29598 26 0 0 25 0 1 0 335676491 94720000 22855 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 23125 22855 59 118 0 23003 0

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


[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1420336/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=166092 CPUtime=656.15
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 41215 0 0 0 65564 51 0 0 25 0 1 0 335676491 170078208 41209 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 41523 41209 59 118 0 41401 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 340196

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1411440/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=174936 CPUtime=716.13
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 43449 0 0 0 71559 54 0 0 25 0 1 0 335676491 179134464 43443 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 43734 43443 59 118 0 43612 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 349040

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1401008/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=185892 CPUtime=776.12
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 46031 0 0 0 77554 58 0 0 25 0 1 0 335676491 190353408 46025 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 46473 46025 59 118 0 46351 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 359996

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1391216/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=195740 CPUtime=836.1
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 48520 0 0 0 83550 60 0 0 25 0 1 0 335676491 200437760 48514 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 48935 48514 59 118 0 48813 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 369844

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1381488/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=205288 CPUtime=896.09
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 50900 0 0 0 89546 63 0 0 25 0 1 0 335676491 210214912 50894 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525578 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 51322 50894 59 118 0 51200 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 379392

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1373040/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=213872 CPUtime=956.07
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 53053 0 0 0 95542 65 0 0 25 0 1 0 335676491 219004928 53047 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525816 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 53468 53047 59 118 0 53346 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 387976

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1363376/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=223364 CPUtime=1016.05
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 55434 0 0 0 101536 69 0 0 25 0 1 0 335676491 228724736 55428 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134527427 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 55841 55428 59 118 0 55719 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 397468

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1354032/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=232752 CPUtime=1076.04
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 57797 0 0 0 107531 73 0 0 25 0 1 0 335676491 238338048 57791 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134527437 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 58188 57791 59 118 0 58066 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 406856

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

[startup+1190.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1352688/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=234072 CPUtime=1084.04
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 58103 0 0 0 108331 73 0 0 25 0 1 0 335676491 239689728 58097 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 58518 58097 59 118 0 58396 0
Current children cumulated CPU time (s) 1189.86
Current children cumulated vsize (KiB) 408176

[startup+1196.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1351664/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=234996 CPUtime=1090.44
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 58339 0 0 0 108971 73 0 0 25 0 1 0 335676491 240635904 58333 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 58749 58333 59 118 0 58627 0
Current children cumulated CPU time (s) 1196.26
Current children cumulated vsize (KiB) 409100

[startup+1198.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1351536/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=235128 CPUtime=1092.04
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 58394 0 0 0 109130 74 0 0 25 0 1 0 335676491 240771072 58388 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 58782 58388 59 118 0 58660 0
Current children cumulated CPU time (s) 1197.86
Current children cumulated vsize (KiB) 409232

[startup+1199.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1351408/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=235260 CPUtime=1092.84
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 58423 0 0 0 109210 74 0 0 25 0 1 0 335676491 240906240 58417 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134527600 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 58815 58417 59 118 0 58693 0
Current children cumulated CPU time (s) 1198.66
Current children cumulated vsize (KiB) 409364

[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1351408/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=235392 CPUtime=1093.64
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4194304 58456 0 0 0 109290 74 0 0 25 0 1 0 335676491 241041408 58450 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 58848 58450 59 118 0 58726 0
Current children cumulated CPU time (s) 1199.46
Current children cumulated vsize (KiB) 409496

[startup+1200.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 32183
/proc/meminfo: memFree=1351216/2055920 swapFree=4172616/4192956
[pid=31981] ppid=31979 vsize=174104 CPUtime=105.82
/proc/31981/stat : 31981 (SATzilla2007_C) S 31979 31981 30313 0 -1 4194304 58982 28175 0 0 9739 88 742 13 25 0 1 0 335665904 178282496 26861 18446744073709551615 134512640 135579813 4294956688 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31981/statm: 43526 26861 165 260 0 43250 0
[pid=31985] ppid=31981 vsize=0 CPUtime=1093.84
/proc/31985/stat : 31985 (minisat20) R 31981 31981 30313 0 -1 4195332 58462 0 0 0 109309 75 0 0 25 0 1 0 335676491 0 0 18446744073709551615 0 0 0 0 0 256 0 8392704 3 0 0 0 17 1 0 0
/proc/31985/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.66
Current children cumulated vsize (KiB) 174104

Child status: 17
Real time (s): 1200.14
CPU time (s): 1199.73
CPU user time (s): 1197.91
CPU system time (s): 1.82072
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 409496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1197.91
system time used= 1.82072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145632
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= 26
involuntary context switches= 24781

runsolver used 1.24581 second user time and 3.12852 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Mar  6 04:58:35 UTC 2007

IDJOB= 330107
IDBENCH= 20555
IDSOLVER= 135
FILE ID= node14/330107-1173157114

PBS_JOBID= 4014982

Free space on /tmp= 66523 MiB

SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2004_30/IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
COMMAND LINE= /tmp/evaluation/330107-1173157114/SATzilla2007_C /tmp/evaluation/330107-1173157114/instance-330107-1173157114.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-330107-1173157114 -o ROOT/results/node14/solver-330107-1173157114 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/330107-1173157114/SATzilla2007_C /tmp/evaluation/330107-1173157114/instance-330107-1173157114.cnf            

META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH=  2cd6ab0857f39a86290a508952e3dd75

RANDOM SEED= 890962708

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

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

/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.216
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.216
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:       1692880 kB
Buffers:         37380 kB
Cached:         235812 kB
SwapCached:       2480 kB
Active:         158616 kB
Inactive:       154428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1692880 kB
SwapTotal:     4192956 kB
SwapFree:      4172616 kB
Dirty:           17152 kB
Writeback:           0 kB
Mapped:          47832 kB
Slab:            35568 kB
Committed_AS:  1205468 kB
PageTables:       1748 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= 66523 MiB

End job on node14 on Tue Mar  6 05:18:35 UTC 2007