Trace number 328721

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.07 1199.56

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
MD5SUMe32f068a374a9a3211450fa7c3f6f87a
Bench CategoryINDUST (industrial 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 variables30142
Number of clauses130635
Sum of the clauses size364257
Maximum clause length37
Minimum clause length1
Number of clauses of size 1213
Number of clauses of size 255731
Number of clauses of size 369590
Number of clauses of size 4146
Number of clauses of size 5265
Number of clauses of size over 54690

Solver Data (download as text)

31.30/31.48	c run March_dl for 5 seconds ... 
31.30/31.48	c Bin: Executing march_dl
31.30/31.48	c child exit by a signal
31.30/31.48	c march_dl returned code 137.
31.30/31.48	c run saps (UBCSAT implementation) for 2 seconds ... 
31.30/31.48	c Bin: Executing ubcsat2006
31.30/31.48	c child exited successfully
31.30/31.48	c ubcsat2006 returned code 0.
31.30/31.48	c satzilla computing base features
31.30/31.48	c satzilla doing unit-prop probe
31.30/31.48	c satzilla doing local search probe
31.30/31.48	c satzilla doing lobjois search-space size estimate
31.30/31.48	c satzilla's ranking:
31.30/31.48	c 1) minisat20+P: 0.054727
31.30/31.48	c 2) vallst+P: 3.542514
31.30/31.48	c 3) march_dl: 4.688038
31.30/31.48	c 4) zchaff_rand+P: 5.072626
31.30/31.48	c 5) march_dl+P: 5.072915
31.30/31.48	c 6) minisat20: 6.817137
31.30/31.48	c 7) kcnfs+P: 999.000000
31.30/31.48	c 8) kcnfs: 999.000000
31.30/31.48	c 9) vallst: 999.000000
31.30/31.48	c 10) zchaff_rand: 999.000000
31.30/31.48	c satzilla running minisat20 with preprocessing ... 
52.09/52.29	This is MiniSat 2.0 beta
52.09/52.29	WARNING: for repeatability, setting FPU to use double precision
52.09/52.29	============================[ Problem Statistics ]=============================
52.09/52.29	|                                                                             |
52.18/52.30	|  Number of variables:  24488                                                |
52.18/52.30	|  Number of clauses:    102448                                               |
52.18/52.37	|  Parsing time:         0.07         s                                       |
52.18/52.37	============================[ Search Statistics ]==============================
52.18/52.37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
52.18/52.37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
52.18/52.37	===============================================================================
52.18/52.37	|         0 |   24488   102448   305910 |    34149        0    nan |  0.000 % |
52.18/52.41	|       101 |   24488   102448   305910 |    37564      101     34 |  0.000 % |
52.18/52.45	|       252 |   24488   102448   305910 |    41320      252     27 |  0.000 % |
52.18/52.47	|       478 |   24488   102448   305910 |    45452      478     21 |  0.000 % |
52.18/52.56	|       816 |   24488   102448   305910 |    49998      816     37 |  0.000 % |
52.68/52.85	|      1322 |   24488   102448   305910 |    54997     1322     53 |  0.000 % |
52.77/52.93	|      2082 |   24488   102448   305910 |    60497     2082     45 |  0.000 % |
52.87/53.01	|      3222 |   24488   102448   305910 |    66547     3222     37 |  0.000 % |
53.17/53.35	|      4930 |   24488   102448   305910 |    73202     4930     44 |  0.000 % |
55.67/55.83	|      7493 |   24488   102448   305910 |    80522     7493     74 |  0.000 % |
61.38/61.59	|     11337 |   24488   102448   305910 |    88574    11337    120 |  0.000 % |
71.96/72.11	|     17104 |   24488   102448   305910 |    97432    17104    140 |  0.000 % |
78.26/78.46	|     25753 |   24488   102448   305910 |   107175    25753    122 |  0.000 % |
98.66/98.89	|     38727 |   24488   102448   305910 |   117892    38727    121 |  0.000 % |
112.95/113.12	|     58188 |   24488   102448   305910 |   129682    58188    103 |  0.000 % |
116.25/116.47	|     87380 |   24488   102448   305910 |   142650    87380     81 |  0.000 % |
235.60/235.85	|    131170 |   24488   102448   305910 |   156915   131170    125 |  0.000 % |
527.50/527.89	|    196854 |   24488   102448   305910 |   172606    42482    195 |  0.000 % |
825.61/826.10	|    295381 |   24488   102448   305910 |   189867   141009    193 |  0.000 % |
1198.97/1199.55	c Preprocessing...
1198.97/1199.55	c Inital problem has 30142 variables, 74904 nary clauses (55731 binary clauses).
1198.97/1199.55	c Num non-binary clauses 74691, Average non-binary clause length 3.382
1198.97/1199.55	c Theory has no gaps
1198.97/1199.55	c Preprocessor runtime was 20.550 seconds.
1198.97/1199.55	c 
1198.97/1199.55	c Satisfiability of theory still undetermined.
1198.97/1199.55	c See file /tmp/ZEhgnv for simplified theory.
1198.97/1199.55	c Bin: Executing minisat20
1198.97/1199.55	c child exit by a signal
1198.97/1199.55	c minisat20 returned code 137.
1198.97/1199.55	c minisat20 returned code 137.
1198.97/1199.55	c satzilla running vallst with preprocessing ... 
1198.97/1199.55	c Bin: Executing vallst
1198.97/1199.55	c vallst returned code 1.
1198.97/1199.55	c vallst returned code 1.
1198.97/1199.55	c satzilla running march_dl ... 
1198.97/1199.55	c Bin: Executing march_dl
1198.97/1199.55	c march_dl returned code 1.
1198.97/1199.55	c march_dl returned code 1.
1198.97/1199.55	c satzilla running zchaff_rand with preprocessing ... 
1198.97/1199.55	c Bin: Executing zchaff_rand
1198.97/1199.55	c zchaff_rand returned code 1.
1198.97/1199.55	c zchaff_rand returned code 1.
1198.97/1199.55	c satzilla running march_dl with preprocessing ... 
1198.97/1199.55	c Bin: Executing march_dl
1198.97/1199.55	c march_dl returned code 1.
1198.97/1199.55	c march_dl returned code 1.
1198.97/1199.55	c satzilla running minisat20 ... 
1198.97/1199.55	c Bin: Executing minisat20
1198.97/1199.55	c minisat20 returned code 1.
1198.97/1199.55	c minisat20 returned code 1.
1198.97/1199.55	c satzilla running kcnfs with preprocessing ... 
1198.97/1199.55	c Bin: Executing kcnfs
1198.97/1199.55	c kcnfs returned code 1.
1198.97/1199.55	c kcnfs returned code 1.
1198.97/1199.55	c satzilla running kcnfs ... 
1198.97/1199.55	c Bin: Executing kcnfs
1198.97/1199.55	c kcnfs returned code 1.
1198.97/1199.55	c kcnfs returned code 1.
1198.97/1199.55	c satzilla running vallst ... 
1198.97/1199.55	c Bin: Executing vallst
1198.97/1199.55	c vallst returned code 1.
1198.97/1199.55	c vallst returned code 1.
1198.97/1199.55	c satzilla running zchaff_rand ... 
1198.97/1199.55	c Bin: Executing zchaff_rand
1198.97/1199.55	c zchaff_rand returned code 1.
1198.97/1199.55	c zchaff_rand returned code 1.
1198.97/1199.55	c ERROR: All Failed! 
1198.97/1199.55	c SATZILLA_TIME=1199.230000

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/node48/watcher-328721-1173122197 -o ROOT/results/node48/solver-328721-1173122197 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328721-1173122197/SATzilla2007_C /tmp/evaluation/328721-1173122197/instance-328721-1173122197.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.95 0.87 3/64 14325
/proc/meminfo: memFree=1035600/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=632 CPUtime=0
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 51 0 0 0 0 0 0 0 20 0 1 0 38013681 647168 46 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 158 46 39 118 0 37 0

[startup+0.0418339 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 14325
/proc/meminfo: memFree=1035600/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=3556 CPUtime=0.03
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 648 0 0 0 3 0 0 0 20 0 1 0 38013681 3641344 643 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 889 643 50 118 0 768 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4996

[startup+0.101842 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 14325
/proc/meminfo: memFree=1035600/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=4216 CPUtime=0.09
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 876 0 0 0 9 0 0 0 20 0 1 0 38013681 4317184 871 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 1054 871 50 118 0 933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5656

[startup+0.301877 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 14325
/proc/meminfo: memFree=1035600/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=9964 CPUtime=0.29
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 2598 0 0 0 29 0 0 0 21 0 1 0 38013681 10203136 1854 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134544603 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 2491 1854 53 118 0 2370 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11404

[startup+0.701944 s]
/proc/loadavg: 0.91 0.95 0.87 3/64 14325
/proc/meminfo: memFree=1035600/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=12820 CPUtime=0.69
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 5931 0 0 0 67 2 0 0 25 0 1 0 38013681 13127680 2641 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134644061 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 3205 2641 55 118 0 3084 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14260

[startup+1.50108 s]
/proc/loadavg: 0.91 0.95 0.87 2/66 14327
/proc/meminfo: memFree=1023936/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=13848 CPUtime=1.49
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 7633 0 0 0 146 3 0 0 25 0 1 0 38013681 14180352 2940 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652427 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 3462 2940 57 118 0 3341 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15288

[startup+3.10136 s]
/proc/loadavg: 0.91 0.95 0.87 2/66 14327
/proc/meminfo: memFree=1023744/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=0
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 38013681 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 360 110 95 260 0 84 0
[pid=14326] ppid=14325 vsize=13848 CPUtime=3.09
/proc/14326/stat : 14326 (march_dl) R 14325 14325 13958 0 -1 4194304 9994 0 0 0 304 5 0 0 25 0 1 0 38013681 14180352 2941 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134543076 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14326/statm: 3462 2941 57 118 0 3341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15288

[startup+6.30191 s]
/proc/loadavg: 0.92 0.95 0.87 2/66 14328
/proc/meminfo: memFree=1026816/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=1440 CPUtime=5
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 135 12885 0 0 0 0 493 7 16 0 1 0 38013681 1474560 111 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/14325/statm: 360 111 96 260 0 84 0
[pid=14328] ppid=14325 vsize=14388 CPUtime=1.29
/proc/14328/stat : 14328 (ubcsat2006) R 14325 14325 13958 0 -1 4194304 2271 0 0 0 128 1 0 0 25 0 1 0 38014182 14733312 2254 18446744073709551615 134512640 134777720 4294956576 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/14328/statm: 3597 2254 156 64 0 3178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15828

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.87 2/65 14328
/proc/meminfo: memFree=1027296/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=9224 CPUtime=12.61
/proc/14325/stat : 14325 (SATzilla2007_C) R 14323 14325 13958 0 -1 4194304 4281 15162 0 0 539 2 712 8 25 0 1 0 38013681 9445376 2085 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 134527245 0 0 4096 0 0 0 0 17 1 0 0
/proc/14325/statm: 2306 2085 124 260 0 2030 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 9224

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.87 2/65 14328
/proc/meminfo: memFree=1027360/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=9448 CPUtime=25.4
/proc/14325/stat : 14325 (SATzilla2007_C) R 14323 14325 13958 0 -1 4194304 4314 15162 0 0 1818 2 712 8 25 0 1 0 38013681 9674752 2118 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 134541663 0 0 4096 0 0 0 0 17 1 0 0
/proc/14325/statm: 2362 2118 124 260 0 2086 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 9448

[startup+51.1016 s]
/proc/loadavg: 0.96 0.96 0.88 2/65 14328
/proc/meminfo: memFree=995168/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=55716 CPUtime=50.99
/proc/14325/stat : 14325 (SATzilla2007_C) R 14323 14325 13958 0 -1 4194304 17073 15162 0 0 4354 25 712 8 25 0 1 0 38013681 57053184 10230 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 134596484 0 0 4096 0 0 0 0 17 1 0 0
/proc/14325/statm: 13929 10230 165 260 0 13653 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 55716

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.88 2/66 14329
/proc/meminfo: memFree=963216/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=29804 CPUtime=49.97
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 7258 0 0 0 4989 8 0 0 25 0 1 0 38018910 30519296 7252 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 7451 7252 59 118 0 7329 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 72264

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.89 2/66 14329
/proc/meminfo: memFree=938512/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=54532 CPUtime=109.96
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 13452 0 0 0 10982 14 0 0 25 0 1 0 38018910 55840768 13446 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 13633 13446 59 118 0 13511 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 96992

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.89 2/66 14329
/proc/meminfo: memFree=918864/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=73988 CPUtime=169.93
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 18311 0 0 0 16974 19 0 0 25 0 1 0 38018910 75763712 18305 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 18497 18305 59 118 0 18375 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 116448

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.90 2/66 14329
/proc/meminfo: memFree=908176/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=84832 CPUtime=229.91
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 20987 0 0 0 22968 23 0 0 25 0 1 0 38018910 86867968 20981 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 21208 20981 59 118 0 21086 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 127292

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=899408/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=93544 CPUtime=289.89
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 23154 0 0 0 28964 25 0 0 25 0 1 0 38018910 95789056 23148 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525828 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 23386 23148 59 118 0 23264 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 136004

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=891216/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0

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


[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=884944/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=107828 CPUtime=709.74
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 26765 0 0 0 70944 30 0 0 25 0 1 0 38018910 110415872 26759 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 26957 26759 59 118 0 26835 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 150288

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=870928/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=121972 CPUtime=769.73
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 30281 0 0 0 76938 35 0 0 25 0 1 0 38018910 124899328 30275 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 30493 30275 59 118 0 30371 0
Current children cumulated CPU time (s) 821.91
Current children cumulated vsize (KiB) 164432

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=855952/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=136940 CPUtime=829.7
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 34009 0 0 0 82931 39 0 0 25 0 1 0 38018910 140226560 34003 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134532596 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 34235 34003 59 118 0 34113 0
Current children cumulated CPU time (s) 881.88
Current children cumulated vsize (KiB) 179400

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=841872/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=151080 CPUtime=889.69
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 37548 0 0 0 88926 43 0 0 25 0 1 0 38018910 154705920 37542 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 37770 37542 59 118 0 37648 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 193540

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=828432/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=164328 CPUtime=949.66
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 40872 0 0 0 94920 46 0 0 25 0 1 0 38018910 168271872 40866 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 41082 40866 59 118 0 40960 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 206788

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1009.63
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 100914 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134519330 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 218596

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816464/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1069.61
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 106912 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525504 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 218596

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1129.59
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 112910 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134529985 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 218596

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

[startup+1190.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1137.59
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 113710 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525488 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1189.77
Current children cumulated vsize (KiB) 218596

[startup+1193.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1140.79
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 114030 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1192.97
Current children cumulated vsize (KiB) 218596

[startup+1196.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1143.99
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 114350 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1196.17
Current children cumulated vsize (KiB) 218596

[startup+1198.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1145.59
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 114510 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1197.77
Current children cumulated vsize (KiB) 218596

[startup+1199.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1146.39
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 114590 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1198.57
Current children cumulated vsize (KiB) 218596

[startup+1199.5 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 14329
/proc/meminfo: memFree=816528/2055920 swapFree=4192812/4192956
[pid=14325] ppid=14323 vsize=42460 CPUtime=52.18
/proc/14325/stat : 14325 (SATzilla2007_C) S 14323 14325 13958 0 -1 4194304 17076 15162 0 0 4471 27 712 8 25 0 1 0 38013681 43479040 10044 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/14325/statm: 10615 10044 165 260 0 10339 0
[pid=14329] ppid=14325 vsize=176136 CPUtime=1146.79
/proc/14329/stat : 14329 (minisat20) R 14325 14325 13958 0 -1 4194304 43841 0 0 0 114630 49 0 0 25 0 1 0 38018910 180363264 43835 18446744073709551615 134512640 134998072 4294956768 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/14329/statm: 44034 43835 59 118 0 43912 0
Current children cumulated CPU time (s) 1198.97
Current children cumulated vsize (KiB) 218596

Child status: 17
Real time (s): 1199.56
CPU time (s): 1199.07
CPU user time (s): 1198.17
CPU system time (s): 0.902862
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 218596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.17
system time used= 0.902862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76092
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= 2061

runsolver used 0.988849 second user time and 2.39963 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Mon Mar  5 19:16:37 UTC 2007

IDJOB= 328721
IDBENCH= 20522
IDSOLVER= 135
FILE ID= node48/328721-1173122197

PBS_JOBID= 4015160

Free space on /tmp= 66510 MiB

SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k15.cnf
COMMAND LINE= /tmp/evaluation/328721-1173122197/SATzilla2007_C /tmp/evaluation/328721-1173122197/instance-328721-1173122197.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-328721-1173122197 -o ROOT/results/node48/solver-328721-1173122197 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328721-1173122197/SATzilla2007_C /tmp/evaluation/328721-1173122197/instance-328721-1173122197.cnf            

META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH=  e32f068a374a9a3211450fa7c3f6f87a

RANDOM SEED= 394473698

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.259
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.259
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:       1036008 kB
Buffers:         35296 kB
Cached:         903572 kB
SwapCached:        144 kB
Active:         273700 kB
Inactive:       680688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1036008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11440 kB
Writeback:           0 kB
Mapped:          25492 kB
Slab:            51604 kB
Committed_AS:    87480 kB
PageTables:       1388 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= 66510 MiB

End job on node48 on Mon Mar  5 19:36:37 UTC 2007