Trace number 455958

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) 9998.34 10001.7

General information on the benchmark

Nameindustrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
MD5SUMb801eedc38d94f7d34b1c4de68ba5e4b
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 variables46169
Number of clauses207720
Sum of the clauses size584068
Maximum clause length37
Minimum clause length1
Number of clauses of size 1148
Number of clauses of size 284712
Number of clauses of size 3114816
Number of clauses of size 4155
Number of clauses of size 5294
Number of clauses of size over 57595

Solver Data (download as text)

39.25/39.34	c run March_dl for 5 seconds ... 
39.25/39.34	c Bin: Executing march_dl
39.25/39.34	c child exit by a signal
39.25/39.34	c march_dl returned code 137.
39.25/39.34	c run saps (UBCSAT implementation) for 2 seconds ... 
39.25/39.34	c Bin: Executing ubcsat2006
39.25/39.34	c child exited successfully
39.25/39.34	c ubcsat2006 returned code 0.
39.25/39.34	c satzilla computing base features
39.25/39.34	c satzilla doing unit-prop probe
39.25/39.34	c satzilla doing local search probe
39.25/39.34	c satzilla doing lobjois search-space size estimate
39.25/39.34	c satzilla's ranking:
39.25/39.34	c 1) minisat20+P: -1.828906
39.25/39.34	c 2) vallst+P: 3.325594
39.25/39.34	c 3) march_dl+P: 4.571215
39.25/39.34	c 4) march_dl: 4.592059
39.25/39.34	c 5) minisat20: 4.661184
39.25/39.34	c 6) zchaff_rand+P: 5.495831
39.25/39.34	c 7) kcnfs+P: 999.000000
39.25/39.34	c 8) kcnfs: 999.000000
39.25/39.34	c 9) vallst: 999.000000
39.25/39.34	c 10) zchaff_rand: 999.000000
39.25/39.34	c satzilla running minisat20 with preprocessing ... 
99.64/99.74	This is MiniSat 2.0 beta
99.64/99.74	WARNING: for repeatability, setting FPU to use double precision
99.64/99.74	============================[ Problem Statistics ]=============================
99.64/99.74	|                                                                             |
99.64/99.75	|  Number of variables:  46169                                                |
99.64/99.75	|  Number of clauses:    207720                                               |
99.68/99.88	|  Parsing time:         0.13         s                                       |
99.68/99.89	============================[ Search Statistics ]==============================
99.68/99.89	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.68/99.89	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
99.68/99.89	===============================================================================
99.68/99.89	|         0 |   45831   202473   571823 |    67491        0    nan |  0.000 % |
99.68/99.94	|       100 |   45829   202473   571823 |    74240       99     16 |  0.745 % |
100.03/100.11	|       250 |   45829   202473   571823 |    81664      249     62 |  0.745 % |
100.23/100.32	|       475 |   45829   202473   571823 |    89830      474     40 |  0.745 % |
100.23/100.38	|       812 |   45825   202451   571773 |    98813      810     26 |  0.745 % |
100.83/100.94	|      1319 |   45825   202451   571773 |   108694     1317     38 |  0.745 % |
102.02/102.11	|      2079 |   45825   202451   571773 |   119564     2077     68 |  0.745 % |
102.62/102.71	|      3218 |   45825   202451   571773 |   131520     3216     55 |  0.745 % |
105.12/105.28	|      4927 |   45825   202451   571773 |   144672     4925     76 |  0.745 % |
106.62/106.76	|      7489 |   45825   202451   571773 |   159140     7487     67 |  0.745 % |
110.82/110.95	|     11334 |   45825   202451   571773 |   175054    11332     61 |  0.745 % |
117.52/117.66	|     17100 |   45825   202451   571773 |   192559    17098     74 |  0.745 % |
128.62/128.76	|     25750 |   45825   202451   571773 |   211815    25748     85 |  0.745 % |
130.41/130.56	|     38726 |   45825   202451   571773 |   232997    38724     70 |  0.745 % |
198.10/198.25	|     58187 |   45825   202451   571773 |   256296    58185    125 |  0.745 % |
300.77/300.99	|     87380 |   45825   202451   571773 |   281926    87378    152 |  0.745 % |
375.54/375.70	|    131169 |   45825   202451   571773 |   310119   131167    147 |  0.745 % |
611.07/611.34	|    196854 |   45825   202451   571773 |   341131   196852    156 |  0.745 % |
1111.31/1111.86	|    295381 |   45825   202451   571773 |   375244   295379    262 |  0.745 % |
2197.78/2198.64	|    443170 |   45825   202451   571773 |   412768    62741    486 |  0.745 % |
3683.63/3684.97	|    664853 |   45825   202451   571773 |   454045   284424    299 |  0.745 % |
7432.08/7434.68	|    997379 |   45825   202451   571773 |   499450   157572    766 |  0.745 % |
9998.30/10001.70	c Preprocessing...
9998.30/10001.70	c Inital problem has 46169 variables, 123008 nary clauses (84712 binary clauses).
9998.30/10001.70	c Num non-binary clauses 122860, Average non-binary clause length 3.374
9998.30/10001.70	c Theory has no gaps
9998.30/10001.70	c preprocessor timed out at 60.010000 sec
9998.30/10001.70	c Bin: Executing minisat20
9998.30/10001.70	c child exit by a signal
9998.30/10001.70	c minisat20 returned code 137.
9998.30/10001.70	c minisat20 returned code 137.
9998.30/10001.70	c satzilla running vallst with preprocessing ... 
9998.30/10001.70	c Bin: Executing vallst
9998.30/10001.70	c vallst returned code 1.
9998.30/10001.70	c vallst returned code 1.
9998.30/10001.70	c satzilla running march_dl with preprocessing ... 
9998.30/10001.70	c Bin: Executing march_dl
9998.30/10001.70	c march_dl returned code 1.
9998.30/10001.70	c march_dl returned code 1.
9998.30/10001.70	c satzilla running march_dl ... 
9998.30/10001.70	c Bin: Executing march_dl
9998.30/10001.70	c march_dl returned code 1.
9998.30/10001.70	c march_dl returned code 1.
9998.30/10001.70	c satzilla running minisat20 ... 
9998.30/10001.70	c Bin: Executing minisat20
9998.30/10001.70	c minisat20 returned code 1.
9998.30/10001.70	c minisat20 returned code 1.
9998.30/10001.70	c satzilla running zchaff_rand with preprocessing ... 
9998.30/10001.70	c Bin: Executing zchaff_rand
9998.30/10001.70	c zchaff_rand returned code 1.
9998.30/10001.70	c zchaff_rand returned code 1.
9998.30/10001.70	c satzilla running kcnfs with preprocessing ... 
9998.30/10001.70	c Bin: Executing kcnfs
9998.30/10001.70	c kcnfs returned code 1.
9998.30/10001.70	c kcnfs returned code 1.
9998.30/10001.70	c satzilla running kcnfs ... 
9998.30/10001.70	c Bin: Executing kcnfs
9998.30/10001.70	c kcnfs returned code 1.
9998.30/10001.70	c kcnfs returned code 1.
9998.30/10001.70	c satzilla running vallst ... 
9998.30/10001.70	c Bin: Executing vallst
9998.30/10001.70	c vallst returned code 1.
9998.30/10001.70	c vallst returned code 1.
9998.30/10001.70	c satzilla running zchaff_rand ... 
9998.30/10001.70	c Bin: Executing zchaff_rand
9998.30/10001.70	c zchaff_rand returned code 1.
9998.30/10001.70	c zchaff_rand returned code 1.
9998.30/10001.70	c ERROR: All Failed! 
9998.30/10001.70	c SATZILLA_TIME=9999.830000

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/node22/watcher-455958-1178603103 -o ROOT/results/node22/solver-455958-1178603103 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/455958-1178603103/SATzilla2007_C /tmp/evaluation/455958-1178603103/instance-455958-1178603103.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/77 5996
/proc/meminfo: memFree=1505912/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=632 CPUtime=0
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 308228065 647168 46 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 158 46 39 118 0 37 0

[startup+0.07154 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 5996
/proc/meminfo: memFree=1505912/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=5304 CPUtime=0.06
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 996 0 0 0 6 0 0 0 19 0 1 0 308228065 5431296 991 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134724388 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 1326 991 50 118 0 1205 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6744

[startup+0.101544 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 5996
/proc/meminfo: memFree=1505912/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=5568 CPUtime=0.09
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 1104 0 0 0 9 0 0 0 19 0 1 0 308228065 5701632 1099 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 1392 1099 50 118 0 1271 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7008

[startup+0.301575 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 5996
/proc/meminfo: memFree=1505912/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=7812 CPUtime=0.29
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 1785 0 0 0 29 0 0 0 20 0 1 0 308228065 7999488 1780 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 1953 1780 50 118 0 1832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9252

[startup+0.701636 s]
/proc/loadavg: 0.85 0.97 0.99 3/77 5996
/proc/meminfo: memFree=1505912/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=26976 CPUtime=0.69
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 6591 0 0 0 67 2 0 0 25 0 1 0 308228065 27623424 5854 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134649715 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 6744 5854 55 118 0 6623 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28416

[startup+1.50176 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 5998
/proc/meminfo: memFree=1489576/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=21180 CPUtime=1.49
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 8463 0 0 0 146 3 0 0 25 0 1 0 308228065 21688320 4416 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134542963 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 5295 4416 55 118 0 5174 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22620

[startup+3.10201 s]
/proc/loadavg: 0.85 0.97 0.99 2/79 5998
/proc/meminfo: memFree=1487336/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=0
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 127 0 0 0 0 0 0 0 18 0 1 0 308228064 1474560 110 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 360 110 95 260 0 84 0
[pid=5997] ppid=5996 vsize=21576 CPUtime=3.09
/proc/5997/stat : 5997 (march_dl) R 5996 5996 5940 0 -1 4194304 12264 0 0 0 304 5 0 0 25 0 1 0 308228065 22093824 4616 18446744073709551615 134512640 134996440 4294956688 18446744073709551615 134542963 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5997/statm: 5394 4616 57 118 0 5273 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23016

[startup+6.3015 s]
/proc/loadavg: 0.86 0.97 0.99 2/79 5999
/proc/meminfo: memFree=1492392/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=1440 CPUtime=4.99
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 134 16821 0 0 0 0 491 8 16 0 1 0 308228064 1474560 111 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/5996/statm: 360 111 96 260 0 84 0
[pid=5999] ppid=5996 vsize=18488 CPUtime=1.28
/proc/5999/stat : 5999 (ubcsat2006) R 5996 5996 5940 0 -1 4194304 3455 0 0 0 127 1 0 0 25 0 1 0 308228565 18931712 3438 18446744073709551615 134512640 134777720 4294956544 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/5999/statm: 4622 3438 156 64 0 4203 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19928

[startup+12.7015 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 5999
/proc/meminfo: memFree=1485880/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=21812 CPUtime=12.66
/proc/5996/stat : 5996 (SATzilla2007_C) R 5994 5996 5940 0 -1 4194304 5132 20282 0 0 533 3 720 10 25 0 1 0 308228064 22335488 5102 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/5996/statm: 5453 5102 121 260 0 5177 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21812

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 5999
/proc/meminfo: memFree=1493496/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=13848 CPUtime=25.46
/proc/5996/stat : 5996 (SATzilla2007_C) R 5994 5996 5940 0 -1 4194304 6682 20282 0 0 1811 5 720 10 25 0 1 0 308228064 14180352 3206 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 134541779 0 0 4096 0 0 0 0 17 1 0 0
/proc/5996/statm: 3462 3206 124 260 0 3186 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13848

[startup+51.1014 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 5999
/proc/meminfo: memFree=1452664/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=90436 CPUtime=51.05
/proc/5996/stat : 5996 (SATzilla2007_C) R 5994 5996 5940 0 -1 4194304 23029 20282 0 0 4358 17 720 10 25 0 1 0 308228064 92606464 13526 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 134596576 0 0 4096 0 0 0 0 17 1 0 0
/proc/5996/statm: 22609 13526 164 260 0 22333 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 90436

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 3/79 6000
/proc/meminfo: memFree=1431536/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=15288 CPUtime=2.55
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 3396 0 0 0 253 2 0 0 25 0 1 0 308238039 15654912 3390 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525592 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 3822 3390 59 118 0 3700 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 101104

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 6000
/proc/meminfo: memFree=1411056/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=35708 CPUtime=62.52
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 8488 0 0 0 6245 7 0 0 25 0 1 0 308238039 36564992 8482 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134528337 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 8927 8482 59 118 0 8805 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 121524

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 6000
/proc/meminfo: memFree=1394352/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=52336 CPUtime=122.5
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 12624 0 0 0 12237 13 0 0 25 0 1 0 308238039 53592064 12618 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 13084 12618 59 118 0 12962 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 138152

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 6000
/proc/meminfo: memFree=1380080/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=66604 CPUtime=182.49
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 16229 0 0 0 18231 18 0 0 25 0 1 0 308238039 68202496 16223 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 16651 16223 59 118 0 16529 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 152420

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 6000
/proc/meminfo: memFree=1362160/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=84476 CPUtime=242.47
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 20656 0 0 0 24225 22 0 0 25 0 1 0 308238039 86503424 20650 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 21119 20650 59 118 0 20997 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 170292

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/79 6000
/proc/meminfo: memFree=1344752/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0

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


[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6598
/proc/meminfo: memFree=607472/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=837612 CPUtime=9539.33
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 208701 0 0 0 953638 295 0 0 25 0 1 0 308238039 857714688 208695 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209403 208695 59 118 0 209281 0
Current children cumulated CPU time (s) 9639.01
Current children cumulated vsize (KiB) 923428

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6598
/proc/meminfo: memFree=607472/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=837612 CPUtime=9599.31
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 208701 0 0 0 959635 296 0 0 25 0 1 0 308238039 857714688 208695 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209403 208695 59 118 0 209281 0
Current children cumulated CPU time (s) 9698.99
Current children cumulated vsize (KiB) 923428

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/79 6598
/proc/meminfo: memFree=607408/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=837612 CPUtime=9659.29
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 208702 0 0 0 965633 296 0 0 25 0 1 0 308238039 857714688 208696 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209403 208696 59 118 0 209281 0
Current children cumulated CPU time (s) 9758.97
Current children cumulated vsize (KiB) 923428

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6598
/proc/meminfo: memFree=607408/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=837612 CPUtime=9719.28
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 208709 0 0 0 971631 297 0 0 25 0 1 0 308238039 857714688 208703 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209403 208703 59 118 0 209281 0
Current children cumulated CPU time (s) 9818.96
Current children cumulated vsize (KiB) 923428

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6598
/proc/meminfo: memFree=607408/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=837612 CPUtime=9779.26
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 208717 0 0 0 977629 297 0 0 25 0 1 0 308238039 857714688 208711 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209403 208711 59 118 0 209281 0
Current children cumulated CPU time (s) 9878.94
Current children cumulated vsize (KiB) 923428

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 6598
/proc/meminfo: memFree=607408/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=837612 CPUtime=9839.24
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 208725 0 0 0 983626 298 0 0 25 0 1 0 308238039 857714688 208719 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209403 208719 59 118 0 209281 0
Current children cumulated CPU time (s) 9938.92
Current children cumulated vsize (KiB) 923428

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

[startup+9958.31 s]
/proc/loadavg: 1.12 1.03 1.01 2/79 6598
/proc/meminfo: memFree=606192/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=838820 CPUtime=9855.24
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 209030 0 0 0 985226 298 0 0 25 0 1 0 308238039 858951680 209024 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525767 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 209705 209024 59 118 0 209583 0
Current children cumulated CPU time (s) 9954.92
Current children cumulated vsize (KiB) 924636

[startup+9983.9 s]
/proc/loadavg: 1.08 1.03 1.01 2/79 6598
/proc/meminfo: memFree=600752/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=844124 CPUtime=9880.83
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 210386 0 0 0 987784 299 0 0 25 0 1 0 308238039 864382976 210380 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525619 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 211031 210380 59 118 0 210909 0
Current children cumulated CPU time (s) 9980.51
Current children cumulated vsize (KiB) 929940

[startup+9990.3 s]
/proc/loadavg: 1.07 1.03 1.01 2/79 6598
/proc/meminfo: memFree=599664/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=845180 CPUtime=9887.22
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 210649 0 0 0 988423 299 0 0 25 0 1 0 308238039 865464320 210643 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525422 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 211295 210643 59 118 0 211173 0
Current children cumulated CPU time (s) 9986.9
Current children cumulated vsize (KiB) 930996

[startup+9996.7 s]
/proc/loadavg: 1.07 1.03 1.01 2/79 6598
/proc/meminfo: memFree=598576/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=846368 CPUtime=9893.63
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 210920 0 0 0 989063 300 0 0 25 0 1 0 308238039 866680832 210914 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134535742 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 211592 210914 59 118 0 211470 0
Current children cumulated CPU time (s) 9993.31
Current children cumulated vsize (KiB) 932184

[startup+9999.9 s]
/proc/loadavg: 1.14 1.04 1.01 2/79 6598
/proc/meminfo: memFree=598192/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=846764 CPUtime=9896.82
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 211049 0 0 0 989382 300 0 0 25 0 1 0 308238039 867086336 211043 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 211691 211043 59 118 0 211569 0
Current children cumulated CPU time (s) 9996.5
Current children cumulated vsize (KiB) 932580

[startup+10000.7 s]
/proc/loadavg: 1.14 1.04 1.01 2/79 6598
/proc/meminfo: memFree=598064/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=846896 CPUtime=9897.62
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 211078 0 0 0 989462 300 0 0 25 0 1 0 308238039 867221504 211072 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134525395 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 211724 211072 59 118 0 211602 0
Current children cumulated CPU time (s) 9997.3
Current children cumulated vsize (KiB) 932712

[startup+10001.5 s]
/proc/loadavg: 1.14 1.04 1.01 2/79 6598
/proc/meminfo: memFree=597872/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=847028 CPUtime=9898.42
/proc/6000/stat : 6000 (minisat20) R 5996 5996 5940 0 -1 4194304 211104 0 0 0 989542 300 0 0 25 0 1 0 308238039 867356672 211098 18446744073709551615 134512640 134998072 4294956688 18446744073709551615 134536668 0 0 8392704 3 0 0 0 17 1 0 0
/proc/6000/statm: 211757 211098 59 118 0 211635 0
Current children cumulated CPU time (s) 9998.1
Current children cumulated vsize (KiB) 932844

[startup+10001.7 s]
/proc/loadavg: 1.14 1.04 1.01 2/79 6598
/proc/meminfo: memFree=597872/2055920 swapFree=4163680/4192956
[pid=5996] ppid=5994 vsize=85816 CPUtime=99.68
/proc/5996/stat : 5996 (SATzilla2007_C) S 5994 5996 5940 0 -1 4194304 27019 20282 0 0 9195 43 720 10 25 0 1 0 308228064 87875584 15441 18446744073709551615 134512640 135579813 4294956656 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/5996/statm: 21454 15441 165 260 0 21178 0
[pid=6000] ppid=5996 vsize=0 CPUtime=9898.62
/proc/6000/stat : 6000 (minisat20) D 5996 5996 5940 0 -1 4195332 211104 0 0 0 989549 313 0 0 25 0 1 0 308238039 0 0 18446744073709551615 0 0 0 0 0 256 0 8392704 3 18446744072100051646 0 0 17 1 0 0
/proc/6000/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9998.3
Current children cumulated vsize (KiB) 85816

Child status: 17
Real time (s): 10001.7
CPU time (s): 9998.34
CPU user time (s): 9994.66
CPU system time (s): 3.68544
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 932844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9994.66
system time used= 3.68544
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258418
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= 24
involuntary context switches= 16143

runsolver used 9.95749 second user time and 25.4301 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Tue May  8 05:45:04 UTC 2007

IDJOB= 455958
IDBENCH= 20531
IDSOLVER= 179
FILE ID= node22/455958-1178603103

PBS_JOBID= 5218223

Free space on /tmp= 66530 MiB

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

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  b801eedc38d94f7d34b1c4de68ba5e4b

RANDOM SEED= 128435665

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1506320 kB
Buffers:         36416 kB
Cached:         391488 kB
SwapCached:       7364 kB
Active:         197344 kB
Inactive:       253168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1506320 kB
SwapTotal:     4192956 kB
SwapFree:      4163680 kB
Dirty:           13456 kB
Writeback:           0 kB
Mapped:          29788 kB
Slab:            84688 kB
Committed_AS:  4533032 kB
PageTables:       1676 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= 66530 MiB

End job on node22 on Tue May  8 08:31:46 UTC 2007