Trace number 315890

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.27 1199.61

General information on the benchmark

Nameindustrial/palacios/medium/
emptyroom-4-h22-sat.cnf
MD5SUM57983904769950327e8e3faac0586d7b
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark99.2109
Satisfiable
(Un)Satisfiability was proved
Number of variables73770
Number of clauses222560
Sum of the clauses size519804
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2148710
Number of clauses of size 373346
Number of clauses of size 4106
Number of clauses of size 514
Number of clauses of size over 5128

Solver Data (download as text)

32.57/32.69	c run March_dl for 5 seconds ... 
32.57/32.69	c Bin: Executing march_dl
32.57/32.69	c child exit by a signal
32.57/32.69	c march_dl returned code 137.
32.57/32.69	c run saps (UBCSAT implementation) for 2 seconds ... 
32.57/32.69	c Bin: Executing ubcsat2006
32.57/32.69	c child exited successfully
32.57/32.69	c ubcsat2006 returned code 0.
32.57/32.69	c satzilla computing base features
32.57/32.69	c satzilla doing unit-prop probe
32.57/32.69	c satzilla doing local search probe
32.57/32.69	c satzilla doing lobjois search-space size estimate
32.57/32.69	c satzilla's ranking:
32.57/32.69	c 1) minisat20+P: -18.399040
32.57/32.69	c 2) minisat20: 3.418199
32.57/32.69	c 3) vallst+P: 3.503050
32.57/32.69	c 4) march_dl+P: 4.070014
32.57/32.69	c 5) march_dl: 4.103432
32.57/32.69	c 6) zchaff_rand+P: 5.619146
32.57/32.69	c 7) kcnfs+P: 999.000000
32.57/32.69	c 8) kcnfs: 999.000000
32.57/32.69	c 9) vallst: 999.000000
32.57/32.69	c 10) zchaff_rand: 999.000000
32.57/32.69	c satzilla running minisat20 with preprocessing ... 
93.35/93.44	This is MiniSat 2.0 beta
93.35/93.44	WARNING: for repeatability, setting FPU to use double precision
93.35/93.44	============================[ Problem Statistics ]=============================
93.35/93.44	|                                                                             |
93.35/93.44	|  Number of variables:  75826                                                |
93.35/93.44	|  Number of clauses:    222560                                               |
93.38/93.57	|  Parsing time:         0.11         s                                       |
93.38/93.58	============================[ Search Statistics ]==============================
93.38/93.58	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
93.38/93.58	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
93.38/93.58	===============================================================================
93.38/93.58	|         0 |   75570   221792   518268 |    73930        0    nan |  0.000 % |
93.38/93.65	|       100 |   75568   221792   518268 |    81323       98     13 |  0.340 % |
93.38/93.79	|       250 |   75568   221792   518268 |    89456      247     22 |  0.342 % |
93.38/93.99	|       475 |   75566   221743   518170 |    98401      469     21 |  0.346 % |
93.38/94.32	|       812 |   75563   221695   518074 |   108241      805     19 |  0.347 % |
94.62/94.79	|      1318 |   75560   221643   517970 |   119066     1300     27 |  0.351 % |
95.42/95.51	|      2080 |   75559   221643   517970 |   130972     2061     33 |  0.352 % |
96.52/96.67	|      3223 |   75555   221579   517842 |   144069     3169     31 |  0.357 % |
99.02/99.19	|      4933 |   75553   221539   517762 |   158476     4869     55 |  0.360 % |
102.92/103.03	|      7495 |   75553   221539   517762 |   174324     7431     52 |  0.360 % |
109.32/109.46	|     11340 |   75549   221506   517696 |   191757    11273     71 |  0.365 % |
118.31/118.43	|     17106 |   75547   221486   517656 |   210932    17001     75 |  0.368 % |
133.52/133.64	|     25756 |   75538   221240   517164 |   232026    25632     81 |  0.380 % |
163.31/163.44	|     38731 |   75532   221189   517062 |   255228    38589     85 |  0.388 % |
202.49/202.67	|     58193 |   75522   221011   516706 |   280751    57830     85 |  0.401 % |
288.27/288.48	|     87385 |   75508   220772   516228 |   308826    86968     85 |  0.419 % |
425.94/426.14	|    131174 |   75489   220467   515618 |   339709   130536     86 |  0.446 % |
672.97/673.27	|    196860 |   75477   220358   515400 |   373680   196158     91 |  0.460 % |
1174.74/1175.15	|    295387 |   75450   220004   514692 |   411048   294281    102 |  0.496 % |
1199.13/1199.60	c Preprocessing...
1199.13/1199.60	c Inital problem has 75826 variables, 73850 nary clauses (148710 binary clauses).
1199.13/1199.60	c Num non-binary clauses 73594, Average non-binary clause length 3.018
1199.13/1199.60	c preprocessor timed out at 60.450000 sec
1199.13/1199.60	c Bin: Executing minisat20
1199.13/1199.60	c child exit by a signal
1199.13/1199.60	c minisat20 returned code 137.
1199.13/1199.60	c minisat20 returned code 137.
1199.13/1199.60	c satzilla running minisat20 ... 
1199.13/1199.60	c Bin: Executing minisat20
1199.13/1199.60	c minisat20 returned code 1.
1199.13/1199.60	c minisat20 returned code 1.
1199.13/1199.60	c satzilla running vallst with preprocessing ... 
1199.13/1199.60	c Bin: Executing vallst
1199.13/1199.60	c vallst returned code 1.
1199.13/1199.60	c vallst returned code 1.
1199.13/1199.60	c satzilla running march_dl with preprocessing ... 
1199.13/1199.60	c Bin: Executing march_dl
1199.13/1199.60	c march_dl returned code 1.
1199.13/1199.60	c march_dl returned code 1.
1199.13/1199.60	c satzilla running march_dl ... 
1199.13/1199.60	c Bin: Executing march_dl
1199.13/1199.60	c march_dl returned code 1.
1199.13/1199.60	c march_dl returned code 1.
1199.13/1199.60	c satzilla running zchaff_rand with preprocessing ... 
1199.13/1199.60	c Bin: Executing zchaff_rand
1199.13/1199.60	c zchaff_rand returned code 1.
1199.13/1199.60	c zchaff_rand returned code 1.
1199.13/1199.60	c satzilla running kcnfs with preprocessing ... 
1199.13/1199.60	c Bin: Executing kcnfs
1199.13/1199.60	c kcnfs returned code 1.
1199.13/1199.60	c kcnfs returned code 1.
1199.13/1199.60	c satzilla running kcnfs ... 
1199.13/1199.60	c Bin: Executing kcnfs
1199.13/1199.60	c kcnfs returned code 1.
1199.13/1199.60	c kcnfs returned code 1.
1199.13/1199.60	c satzilla running vallst ... 
1199.13/1199.60	c Bin: Executing vallst
1199.13/1199.60	c vallst returned code 1.
1199.13/1199.60	c vallst returned code 1.
1199.13/1199.60	c satzilla running zchaff_rand ... 
1199.13/1199.60	c Bin: Executing zchaff_rand
1199.13/1199.60	c zchaff_rand returned code 1.
1199.13/1199.60	c zchaff_rand returned code 1.
1199.13/1199.60	c ERROR: All Failed! 
1199.13/1199.60	c SATZILLA_TIME=1199.430000

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/node76/watcher-315890-1172660924 -o ROOT/results/node76/solver-315890-1172660924 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/315890-1172660924/SATzilla2007_C /tmp/evaluation/315890-1172660924/instance-315890-1172660924.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: 1.00 0.98 0.99 3/69 22580
/proc/meminfo: memFree=1398608/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) R 22578 22580 21217 0 -1 4194304 126 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216547 0 0 4096 0 0 0 0 17 1 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=4136 CPUtime=0
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 422 0 0 0 0 0 0 0 18 0 1 0 286050691 4235264 417 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134549599 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 1034 419 49 118 0 913 0

[startup+0.0562629 s]
/proc/loadavg: 1.00 0.98 0.99 3/69 22580
/proc/meminfo: memFree=1398608/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=7672 CPUtime=0.04
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 1573 0 0 0 4 0 0 0 19 0 1 0 286050691 7856128 1568 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 1918 1568 50 118 0 1797 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9112

[startup+0.101267 s]
/proc/loadavg: 1.00 0.98 0.99 3/69 22580
/proc/meminfo: memFree=1398608/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=8200 CPUtime=0.09
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 1757 0 0 0 9 0 0 0 19 0 1 0 286050691 8396800 1752 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 2050 1752 50 118 0 1929 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9640

[startup+0.301291 s]
/proc/loadavg: 1.00 0.98 0.99 3/69 22580
/proc/meminfo: memFree=1398608/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=20588 CPUtime=0.28
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 4024 0 0 0 27 1 0 0 21 0 1 0 286050691 21082112 4017 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 5147 4020 52 118 0 5026 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22028

[startup+0.701337 s]
/proc/loadavg: 1.00 0.98 0.99 3/69 22580
/proc/meminfo: memFree=1398608/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=21748 CPUtime=0.69
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 7314 0 0 0 66 3 0 0 25 0 1 0 286050691 22269952 4477 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134644056 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 5437 4477 55 118 0 5316 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23188

[startup+1.50143 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22582
/proc/meminfo: memFree=1375680/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=26764 CPUtime=1.49
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 15589 0 0 0 143 6 0 0 25 0 1 0 286050691 27406336 5752 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134543076 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 6691 5752 61 118 0 6570 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28204

[startup+3.10161 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22582
/proc/meminfo: memFree=1347456/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=0
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 286050691 1474560 110 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 110 95 260 0 84 0
[pid=22581] ppid=22580 vsize=66360 CPUtime=3.09
/proc/22581/stat : 22581 (march_dl) R 22580 22580 21217 0 -1 4194304 26586 0 0 0 298 11 0 0 25 0 1 0 286050691 67952640 15144 18446744073709551615 134512640 134996440 4294956656 18446744073709551615 134656045 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22581/statm: 16590 15144 65 118 0 16469 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67800

[startup+6.30199 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22583
/proc/meminfo: memFree=1383552/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=1440 CPUtime=5
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 134 31306 0 0 0 0 486 14 16 0 1 0 286050691 1474560 111 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 0 0 0
/proc/22580/statm: 360 111 96 260 0 84 0
[pid=22583] ppid=22580 vsize=22592 CPUtime=1.28
/proc/22583/stat : 22583 (ubcsat2006) R 22580 22580 21217 0 -1 4194304 3843 0 0 0 126 2 0 0 25 0 1 0 286051192 23134208 3826 18446744073709551615 134512640 134777720 4294956496 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/22583/statm: 5648 3826 154 64 0 5228 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24032

[startup+12.7027 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22583
/proc/meminfo: memFree=1376328/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=24836 CPUtime=12.68
/proc/22580/stat : 22580 (SATzilla2007_C) R 22578 22580 21217 0 -1 4194304 5662 35156 0 0 538 3 710 17 25 0 1 0 286050691 25432064 5632 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 134537941 0 0 4096 0 0 0 0 17 1 0 0
/proc/22580/statm: 6209 5632 121 260 0 5933 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24836

[startup+25.5012 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22583
/proc/meminfo: memFree=1375560/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=24836 CPUtime=25.47
/proc/22580/stat : 22580 (SATzilla2007_C) R 22578 22580 21217 0 -1 4194304 5882 35156 0 0 1814 6 710 17 25 0 1 0 286050691 25432064 5852 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/22580/statm: 6209 5852 121 260 0 5933 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 24836

[startup+51.1012 s]
/proc/loadavg: 1.00 0.98 0.99 2/70 22583
/proc/meminfo: memFree=1345352/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=88252 CPUtime=51.06
/proc/22580/stat : 22580 (SATzilla2007_C) R 22578 22580 21217 0 -1 4194304 24176 35156 0 0 4361 18 710 17 25 0 1 0 286050691 90370048 13447 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 134598492 0 0 4096 0 0 0 0 17 1 0 0
/proc/22580/statm: 22063 13447 163 260 0 21787 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 88252

[startup+102.305 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1318144/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=18180 CPUtime=8.84
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 4106 0 0 0 882 2 0 0 25 0 1 0 286060034 18616320 4100 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134529985 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 4545 4100 59 118 0 4423 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 124892

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1305216/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=31260 CPUtime=68.83
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 7347 0 0 0 6877 6 0 0 25 0 1 0 286060034 32010240 7341 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 7815 7341 59 118 0 7693 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 137972

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1294848/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=41624 CPUtime=128.81
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 9913 0 0 0 12872 9 0 0 25 0 1 0 286060034 42622976 9907 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525653 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 10406 9907 59 118 0 10284 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 148336

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1287168/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=49164 CPUtime=188.79
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 11829 0 0 0 18868 11 0 0 25 0 1 0 286060034 50343936 11823 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 12291 11823 59 118 0 12169 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 155876

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1280000/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=56264 CPUtime=248.78
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 13582 0 0 0 24865 13 0 0 25 0 1 0 286060034 57614336 13576 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134519218 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 14066 13576 59 118 0 13944 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 162976

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1272192/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0

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

/proc/22584/statm: 26314 25736 59 118 0 26192 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 211968

[startup+822.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1225728/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=110804 CPUtime=728.65
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 27149 0 0 0 72837 28 0 0 25 0 1 0 286060034 113463296 27143 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 27701 27143 59 118 0 27579 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 217516

[startup+882.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1219136/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=117404 CPUtime=788.64
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 28790 0 0 0 78834 30 0 0 25 0 1 0 286060034 120221696 28784 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 29351 28784 59 118 0 29229 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 224116

[startup+942.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1212288/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=124268 CPUtime=848.62
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 30517 0 0 0 84830 32 0 0 25 0 1 0 286060034 127250432 30511 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 31067 30511 59 118 0 30945 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 230980

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1205888/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=130540 CPUtime=908.6
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 32086 0 0 0 90826 34 0 0 25 0 1 0 286060034 133672960 32080 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 32635 32080 59 118 0 32513 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 237252

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1199744/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=136632 CPUtime=968.59
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 33636 0 0 0 96823 36 0 0 25 0 1 0 286060034 139911168 33630 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 34158 33630 59 118 0 34036 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 243344

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1193536/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=142712 CPUtime=1028.57
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 35163 0 0 0 102819 38 0 0 25 0 1 0 286060034 146137088 35157 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525619 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 35678 35157 59 118 0 35556 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 249424

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1187904/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=148468 CPUtime=1088.55
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36586 0 0 0 108816 39 0 0 25 0 1 0 286060034 152031232 36580 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37117 36580 59 118 0 36995 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 255180

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

[startup+1190.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1187136/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=149128 CPUtime=1096.55
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36756 0 0 0 109616 39 0 0 25 0 1 0 286060034 152707072 36750 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37282 36750 59 118 0 37160 0
Current children cumulated CPU time (s) 1189.93
Current children cumulated vsize (KiB) 255840

[startup+1193.51 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1186816/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=149524 CPUtime=1099.75
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36836 0 0 0 109936 39 0 0 25 0 1 0 286060034 153112576 36830 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37381 36830 59 118 0 37259 0
Current children cumulated CPU time (s) 1193.13
Current children cumulated vsize (KiB) 256236

[startup+1196.7 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1186432/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=149788 CPUtime=1102.95
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36927 0 0 0 110256 39 0 0 25 0 1 0 286060034 153382912 36921 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37447 36921 59 118 0 37325 0
Current children cumulated CPU time (s) 1196.33
Current children cumulated vsize (KiB) 256500

[startup+1198.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1186304/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=149920 CPUtime=1104.55
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36966 0 0 0 110416 39 0 0 25 0 1 0 286060034 153518080 36960 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525843 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37480 36960 59 118 0 37358 0
Current children cumulated CPU time (s) 1197.93
Current children cumulated vsize (KiB) 256632

[startup+1199.1 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1186240/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=150052 CPUtime=1105.35
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36984 0 0 0 110496 39 0 0 25 0 1 0 286060034 153653248 36978 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525494 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37513 36978 59 118 0 37391 0
Current children cumulated CPU time (s) 1198.73
Current children cumulated vsize (KiB) 256764

[startup+1199.5 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1186240/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=106712 CPUtime=93.38
/proc/22580/stat : 22580 (SATzilla2007_C) S 22578 22580 21217 0 -1 4194304 26896 35156 0 0 8591 20 710 17 25 0 1 0 286050691 109273088 16165 18446744073709551615 134512640 135579813 4294956624 18446744073709551615 135216413 0 0 4096 0 18446744071563358023 0 0 17 1 0 0
/proc/22580/statm: 26678 16165 163 260 0 26402 0
[pid=22584] ppid=22580 vsize=150052 CPUtime=1105.75
/proc/22584/stat : 22584 (minisat20) R 22580 22580 21217 0 -1 4194304 36995 0 0 0 110536 39 0 0 25 0 1 0 286060034 153653248 36989 18446744073709551615 134512640 134998072 4294956640 18446744073709551615 134525431 0 0 8392704 3 0 0 0 17 1 0 0
/proc/22584/statm: 37513 36989 59 118 0 37391 0
Current children cumulated CPU time (s) 1199.13
Current children cumulated vsize (KiB) 256764

[startup+1199.6 s]
/proc/loadavg: 1.00 0.98 0.99 2/71 22584
/proc/meminfo: memFree=1186240/2055888 swapFree=4087160/4096564
[pid=22580] ppid=22578 vsize=0 CPUtime=1199.24
/proc/22580/stat : 22580 (SATzilla2007_C) R 22578 22580 21217 0 -1 4194308 26909 72152 0 0 8591 21 111254 58 16 0 1 0 286050691 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/22580/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.24
Current children cumulated vsize (KiB) 0

Child status: 17
Real time (s): 1199.61
CPU time (s): 1199.27
CPU user time (s): 1198.46
CPU system time (s): 0.806877
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 256764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.46
system time used= 0.806877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99061
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= 28
involuntary context switches= 1919

runsolver used 1.09883 second user time and 2.26765 second system time

The end

Launcher Data (download as text)

Begin job on node76 on Wed Feb 28 11:08:44 UTC 2007

IDJOB= 315890
IDBENCH= 20427
IDSOLVER= 135
FILE ID= node76/315890-1172660924

PBS_JOBID= 3981192

Free space on /tmp= 66605 MiB

SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/medium/emptyroom-4-h22-sat.cnf
COMMAND LINE= /tmp/evaluation/315890-1172660924/SATzilla2007_C /tmp/evaluation/315890-1172660924/instance-315890-1172660924.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-315890-1172660924 -o ROOT/results/node76/solver-315890-1172660924 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/315890-1172660924/SATzilla2007_C /tmp/evaluation/315890-1172660924/instance-315890-1172660924.cnf            

META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH=  57983904769950327e8e3faac0586d7b

RANDOM SEED= 928887587

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node76.alineos.net 2.6.9-34.ELsmp #1 SMP Thu Mar 9 06:23:23 GMT 2006 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.219
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	: 6006.18
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.219
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1399016 kB
Buffers:         17320 kB
Cached:         591304 kB
SwapCached:       2696 kB
Active:          64476 kB
Inactive:       553600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1399016 kB
SwapTotal:     4096564 kB
SwapFree:      4087160 kB
Dirty:           11988 kB
Writeback:           0 kB
Mapped:          15420 kB
Slab:            25172 kB
Committed_AS:  1091152 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66605 MiB

End job on node76 on Wed Feb 28 11:28:44 UTC 2007