Trace number 455952

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) 9997.61 10000

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
MD5SUM03500a4d5154d29cb90a2da4600bdebd
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 variables33787
Number of clauses138990
Sum of the clauses size382962
Maximum clause length37
Minimum clause length1
Number of clauses of size 1408
Number of clauses of size 262676
Number of clauses of size 370520
Number of clauses of size 4206
Number of clauses of size 5385
Number of clauses of size over 54795

Solver Data (download as text)

31.77/31.88	c run March_dl for 5 seconds ... 
31.77/31.88	c Bin: Executing march_dl
31.77/31.88	c child exit by a signal
31.77/31.88	c march_dl returned code 137.
31.77/31.88	c run saps (UBCSAT implementation) for 2 seconds ... 
31.77/31.88	c Bin: Executing ubcsat2006
31.77/31.88	c child exited successfully
31.77/31.88	c ubcsat2006 returned code 0.
31.77/31.88	c satzilla computing base features
31.77/31.88	c satzilla doing unit-prop probe
31.77/31.88	c satzilla doing local search probe
31.77/31.88	c satzilla doing lobjois search-space size estimate
31.77/31.88	c satzilla's ranking:
31.77/31.88	c 1) minisat20+P: -0.320697
31.77/31.88	c 2) vallst+P: 3.672290
31.77/31.88	c 3) march_dl: 4.957592
31.77/31.88	c 4) march_dl+P: 5.073077
31.77/31.88	c 5) zchaff_rand+P: 5.080016
31.77/31.88	c 6) minisat20: 6.652428
31.77/31.88	c 7) kcnfs+P: 999.000000
31.77/31.88	c 8) kcnfs: 999.000000
31.77/31.88	c 9) vallst: 999.000000
31.77/31.88	c 10) zchaff_rand: 999.000000
31.77/31.88	c satzilla running minisat20 with preprocessing ... 
55.96/56.08	This is MiniSat 2.0 beta
55.96/56.08	WARNING: for repeatability, setting FPU to use double precision
55.96/56.08	============================[ Problem Statistics ]=============================
55.96/56.08	|                                                                             |
55.96/56.09	|  Number of variables:  24743                                                |
55.96/56.09	|  Number of clauses:    104075                                               |
56.04/56.16	|  Parsing time:         0.07         s                                       |
56.04/56.16	============================[ Search Statistics ]==============================
56.04/56.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
56.04/56.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
56.04/56.16	===============================================================================
56.04/56.16	|         0 |   24743   104075   311159 |    34691        0    nan |  0.000 % |
56.04/56.19	|       101 |   24743   104075   311159 |    38160      101     12 |  0.000 % |
56.04/56.30	|       251 |   24743   104075   311159 |    41976      251     70 |  0.000 % |
56.04/56.37	|       477 |   24743   104075   311159 |    46174      477     41 |  0.000 % |
56.04/56.41	|       814 |   24743   104075   311159 |    50792      814     38 |  0.000 % |
56.04/56.71	|      1321 |   24743   104075   311159 |    55871     1321     61 |  0.000 % |
57.05/57.13	|      2081 |   24743   104075   311159 |    61458     2081     60 |  0.000 % |
57.15/57.29	|      3222 |   24743   104075   311159 |    67604     3222     48 |  0.000 % |
58.04/58.16	|      4931 |   24743   104075   311159 |    74364     4931     59 |  0.000 % |
58.25/58.33	|      7493 |   24743   104075   311159 |    81801     7493     46 |  0.000 % |
61.15/61.26	|     11337 |   24743   104075   311159 |    89981    11337     59 |  0.000 % |
68.65/68.75	|     17104 |   24743   104075   311159 |    98979    17104     75 |  0.000 % |
74.75/74.89	|     25753 |   24743   104075   311159 |   108877    25753     85 |  0.000 % |
80.34/80.48	|     38727 |   24743   104075   311159 |   119765    38727     76 |  0.000 % |
84.84/84.93	|     58188 |   24743   104075   311159 |   131741    58188     65 |  0.000 % |
137.93/138.00	|     87380 |   24743   104075   311159 |   144915    87380     84 |  0.000 % |
173.72/173.90	|    131171 |   24743   104075   311159 |   159407   131171     83 |  0.000 % |
354.18/354.37	|    196855 |   24743   104075   311159 |   175347    39310    274 |  0.000 % |
647.72/647.97	|    295381 |   24743   104075   311159 |   192882   137836    209 |  0.000 % |
1157.81/1158.18	|    443171 |   24743   104075   311159 |   212171    97630    180 |  0.000 % |
1728.98/1729.42	|    664854 |   24743   104075   311159 |   233388   109399    143 |  0.000 % |
2953.11/2953.85	|    997380 |   24743   104075   311159 |   256727   212386    112 |  0.000 % |
5313.00/5314.31	|   1496168 |   24743   104075   311159 |   282399   201565    173 |  0.000 % |
8709.45/8711.67	|   2244350 |   24743   104075   311159 |   310639   117038    173 |  0.000 % |
9997.58/10000.00	c Preprocessing...
9997.58/10000.00	c Inital problem has 33787 variables, 76314 nary clauses (62676 binary clauses).
9997.58/10000.00	c Num non-binary clauses 75906, Average non-binary clause length 3.388
9997.58/10000.00	c Theory has no gaps
9997.58/10000.00	c Preprocessor runtime was 23.930 seconds.
9997.58/10000.00	c 
9997.58/10000.00	c Satisfiability of theory still undetermined.
9997.58/10000.00	c See file /tmp/swPrhz for simplified theory.
9997.58/10000.00	c Bin: Executing minisat20
9997.58/10000.00	c child exit by a signal
9997.58/10000.00	c minisat20 returned code 137.
9997.58/10000.00	c minisat20 returned code 137.
9997.58/10000.00	c satzilla running vallst with preprocessing ... 
9997.58/10000.00	c Bin: Executing vallst
9997.58/10000.00	c vallst returned code 1.
9997.58/10000.00	c vallst returned code 1.
9997.58/10000.00	c satzilla running march_dl ... 
9997.58/10000.00	c Bin: Executing march_dl
9997.58/10000.00	c march_dl returned code 1.
9997.58/10000.00	c march_dl returned code 1.
9997.58/10000.00	c satzilla running march_dl with preprocessing ... 
9997.58/10000.00	c Bin: Executing march_dl
9997.58/10000.00	c march_dl returned code 1.
9997.58/10000.00	c march_dl returned code 1.
9997.58/10000.00	c satzilla running zchaff_rand with preprocessing ... 
9997.58/10000.00	c Bin: Executing zchaff_rand
9997.58/10000.00	c zchaff_rand returned code 1.
9997.58/10000.00	c zchaff_rand returned code 1.
9997.58/10000.00	c satzilla running minisat20 ... 
9997.58/10000.00	c Bin: Executing minisat20
9997.58/10000.00	c minisat20 returned code 1.
9997.58/10000.00	c minisat20 returned code 1.
9997.58/10000.00	c satzilla running kcnfs with preprocessing ... 
9997.58/10000.00	c Bin: Executing kcnfs
9997.58/10000.00	c kcnfs returned code 1.
9997.58/10000.00	c kcnfs returned code 1.
9997.58/10000.00	c satzilla running kcnfs ... 
9997.58/10000.00	c Bin: Executing kcnfs
9997.58/10000.00	c kcnfs returned code 1.
9997.58/10000.00	c kcnfs returned code 1.
9997.58/10000.00	c satzilla running vallst ... 
9997.58/10000.00	c Bin: Executing vallst
9997.58/10000.00	c vallst returned code 1.
9997.58/10000.00	c vallst returned code 1.
9997.58/10000.00	c satzilla running zchaff_rand ... 
9997.58/10000.00	c Bin: Executing zchaff_rand
9997.58/10000.00	c zchaff_rand returned code 1.
9997.58/10000.00	c zchaff_rand returned code 1.
9997.58/10000.00	c ERROR: All Failed! 
9997.58/10000.00	c SATZILLA_TIME=9999.100000

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node52/watcher-455952-1178600536 -o ROOT/results/node52/solver-455952-1178600536 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/455952-1178600536/SATzilla2007_C /tmp/evaluation/455952-1178600536/instance-455952-1178600536.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 15000 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.85 0.97 0.99 3/64 15916
/proc/meminfo: memFree=1654604/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) R 15914 15916 15860 0 -1 4194304 126 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216547 0 0 4096 0 0 0 0 17 1 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=632 CPUtime=0
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 214898700 647168 46 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 158 46 39 118 0 37 0

[startup+0.00896409 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 15916
/proc/meminfo: memFree=1654604/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=632 CPUtime=0
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 214898700 647168 46 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 158 46 39 118 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2072

[startup+0.102968 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 15916
/proc/meminfo: memFree=1654604/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=4500 CPUtime=0.1
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 913 0 0 0 9 1 0 0 19 0 1 0 214898700 4608000 908 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134777903 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 1125 909 50 118 0 1004 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5940

[startup+0.302982 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 15916
/proc/meminfo: memFree=1654604/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=12236 CPUtime=0.29
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 2612 0 0 0 27 2 0 0 20 0 1 0 214898700 12529664 2332 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134617572 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 3059 2332 53 118 0 2938 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13676

[startup+0.703009 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 15916
/proc/meminfo: memFree=1654604/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=13876 CPUtime=0.69
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 7031 0 0 0 66 3 0 0 25 0 1 0 214898700 14209024 2877 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134649604 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 3469 2877 55 118 0 3348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15316

[startup+1.50106 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 15918
/proc/meminfo: memFree=1642108/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=14792 CPUtime=1.49
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 8935 0 0 0 145 4 0 0 25 0 1 0 214898700 15147008 3141 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134523911 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 3698 3141 57 118 0 3577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16232

[startup+3.10117 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 15918
/proc/meminfo: memFree=1641660/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=0
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 214898700 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 110 95 260 0 84 0
[pid=15917] ppid=15916 vsize=15056 CPUtime=3.09
/proc/15917/stat : 15917 (march_dl) R 15916 15916 15860 0 -1 4194304 11246 0 0 0 304 5 0 0 25 0 1 0 214898700 15417344 3208 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134542888 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15917/statm: 3764 3208 57 118 0 3643 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16496

[startup+6.30139 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 15919
/proc/meminfo: memFree=1645252/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=1440 CPUtime=5
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 134 13952 0 0 0 0 493 7 16 0 1 0 214898700 1474560 111 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15916/statm: 360 111 96 260 0 84 0
[pid=15919] ppid=15916 vsize=14388 CPUtime=1.29
/proc/15919/stat : 15919 (ubcsat2006) R 15916 15916 15860 0 -1 4194304 2414 0 0 0 128 1 0 0 25 0 1 0 214899201 14733312 2397 18446744073709551615 134512640 134777720 4294956544 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/15919/statm: 3597 2397 156 64 0 3178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15828

[startup+12.7018 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 15919
/proc/meminfo: memFree=1640076/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=9800 CPUtime=12.68
/proc/15916/stat : 15916 (SATzilla2007_C) R 15914 15916 15860 0 -1 4194304 4580 16374 0 0 543 4 712 9 25 0 1 0 214898700 10035200 2200 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 134541779 0 0 4096 0 0 0 0 17 1 0 0
/proc/15916/statm: 2450 2200 124 260 0 2174 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 9800

[startup+25.5017 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 15919
/proc/meminfo: memFree=1645964/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=9988 CPUtime=25.47
/proc/15916/stat : 15916 (SATzilla2007_C) R 15914 15916 15860 0 -1 4194304 4625 16374 0 0 1822 4 712 9 25 0 1 0 214898700 10227712 2245 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 134541638 0 0 4096 0 0 0 0 17 1 0 0
/proc/15916/statm: 2497 2245 124 260 0 2221 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 9988

[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 15919
/proc/meminfo: memFree=1610380/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=61832 CPUtime=51.07
/proc/15916/stat : 15916 (SATzilla2007_C) R 15914 15916 15860 0 -1 4194304 18486 16374 0 0 4361 25 712 9 25 0 1 0 214898700 63315968 11153 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/15916/statm: 15458 11153 165 260 0 15182 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 61832

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 15920
/proc/meminfo: memFree=1577796/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=29940 CPUtime=46.2
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 7306 0 0 0 4614 6 0 0 25 0 1 0 214904308 30658560 7300 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 7485 7300 59 118 0 7363 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 76988

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15920
/proc/meminfo: memFree=1555652/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=52316 CPUtime=106.18
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 12904 0 0 0 10606 12 0 0 25 0 1 0 214904308 53571584 12898 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134649756 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 13079 12898 59 118 0 12957 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 99364

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15920
/proc/meminfo: memFree=1537092/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=70676 CPUtime=166.17
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 17472 0 0 0 16600 17 0 0 25 0 1 0 214904308 72372224 17466 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134528300 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 17669 17466 59 118 0 17547 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 117724

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15920
/proc/meminfo: memFree=1520900/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=86920 CPUtime=226.16
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 21552 0 0 0 22595 21 0 0 25 0 1 0 214904308 89006080 21546 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134649756 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 21730 21546 59 118 0 21608 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 133968

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15920
/proc/meminfo: memFree=1520068/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=87580 CPUtime=286.14
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 21707 0 0 0 28593 21 0 0 25 0 1 0 214904308 89681920 21701 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 21895 21701 59 118 0 21773 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 134628

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 15920
/proc/meminfo: memFree=1520004/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0

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

/proc/15920/statm: 70666 70345 59 118 0 70544 0
Current children cumulated CPU time (s) 9639.95
Current children cumulated vsize (KiB) 329712

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1316228/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=290440 CPUtime=9643.9
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 72855 0 0 0 964300 90 0 0 25 0 1 0 214904308 297410560 72297 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 72610 72297 59 118 0 72488 0
Current children cumulated CPU time (s) 9699.94
Current children cumulated vsize (KiB) 337488

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1308740/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=298448 CPUtime=9703.88
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 74732 0 0 0 970295 93 0 0 25 0 1 0 214904308 305610752 74174 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134528117 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 74612 74174 59 118 0 74490 0
Current children cumulated CPU time (s) 9759.92
Current children cumulated vsize (KiB) 345496

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304580/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9763.87
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75755 0 0 0 976293 94 0 0 25 0 1 0 214904308 309833728 75197 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525172 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75197 59 118 0 75521 0
Current children cumulated CPU time (s) 9819.91
Current children cumulated vsize (KiB) 349620

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304580/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9823.86
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 982292 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9879.9
Current children cumulated vsize (KiB) 349620

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9883.84
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 988290 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134528527 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9939.88
Current children cumulated vsize (KiB) 349620

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

[startup+9958.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304580/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9899.84
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 989890 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134528274 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9955.88
Current children cumulated vsize (KiB) 349620

[startup+9983.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304580/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9925.43
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 992449 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134528817 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9981.47
Current children cumulated vsize (KiB) 349620

[startup+9990.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9931.83
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 993089 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525155 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9987.87
Current children cumulated vsize (KiB) 349620

[startup+9996.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9938.23
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 993729 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525760 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9994.27
Current children cumulated vsize (KiB) 349620

[startup+9998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9939.83
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 993889 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9995.87
Current children cumulated vsize (KiB) 349620

[startup+9999.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9940.63
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 993969 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9996.67
Current children cumulated vsize (KiB) 349620

[startup+9999.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9941.03
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 994009 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134535742 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9997.07
Current children cumulated vsize (KiB) 349620

[startup+9999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16322
/proc/meminfo: memFree=1304516/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=47048 CPUtime=56.04
/proc/15916/stat : 15916 (SATzilla2007_C) S 15914 15916 15860 0 -1 4194304 18567 16374 0 0 4852 31 712 9 25 0 1 0 214898700 48177152 11075 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15916/statm: 11762 11075 165 260 0 11486 0
[pid=15920] ppid=15916 vsize=302572 CPUtime=9941.43
/proc/15920/stat : 15920 (minisat20) R 15916 15916 15860 0 -1 4194304 75756 0 0 0 994049 94 0 0 25 0 1 0 214904308 309833728 75198 18446744073709551615 134512640 134998072 4294956736 18446744073709551615 134525557 0 0 8392704 3 0 0 0 17 1 0 0
/proc/15920/statm: 75643 75198 59 118 0 75521 0
Current children cumulated CPU time (s) 9997.47
Current children cumulated vsize (KiB) 349620

[startup+10000 s]
/proc/loadavg: 1.00 1.00 1.00 1/66 16322
/proc/meminfo: memFree=1605508/2055920 swapFree=4183124/4192956
[pid=15916] ppid=15914 vsize=0 CPUtime=9997.58
/proc/15916/stat : 15916 (SATzilla2007_C) R 15914 15916 15860 0 -1 4194308 18580 92130 0 0 4852 31 994767 108 16 0 1 0 214898700 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/15916/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9997.58
Current children cumulated vsize (KiB) 0

Child status: 17
Real time (s): 10000
CPU time (s): 9997.61
CPU user time (s): 9996.2
CPU system time (s): 1.40779
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 349620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.2
system time used= 1.40779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110710
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= 25
involuntary context switches= 7029

runsolver used 7.8868 second user time and 19.519 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Tue May  8 05:02:16 UTC 2007

IDJOB= 455952
IDBENCH= 20525
IDSOLVER= 179
FILE ID= node52/455952-1178600536

PBS_JOBID= 5218209

Free space on /tmp= 66553 MiB

SOLVER NAME= SATzilla CRAFTED
BENCH NAME= HOME/pub/bench/SAT07/industrial/IBM_FV_2002_13_rule_1/SAT_dat.k30.cnf
COMMAND LINE= /tmp/evaluation/455952-1178600536/SATzilla2007_C /tmp/evaluation/455952-1178600536/instance-455952-1178600536.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-455952-1178600536 -o ROOT/results/node52/solver-455952-1178600536 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/455952-1178600536/SATzilla2007_C /tmp/evaluation/455952-1178600536/instance-455952-1178600536.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  03500a4d5154d29cb90a2da4600bdebd

RANDOM SEED= 994525307

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1655076 kB
Buffers:         31268 kB
Cached:         262968 kB
SwapCached:       3808 kB
Active:          60180 kB
Inactive:       243556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655076 kB
SwapTotal:     4192956 kB
SwapFree:      4183124 kB
Dirty:           11868 kB
Writeback:           0 kB
Mapped:          15540 kB
Slab:            83100 kB
Committed_AS:  5371684 kB
PageTables:       1484 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= 66553 MiB

End job on node52 on Tue May  8 07:48:57 UTC 2007