Trace number 330611

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.28 1199.63

General information on the benchmark

Nameindustrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
MD5SUMcb7e94a0572e125e87a474412f4998c5
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 variables50004
Number of clauses206879
Sum of the clauses size527991
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2145945
Number of clauses of size 338456
Number of clauses of size 47314
Number of clauses of size 54149
Number of clauses of size over 58943

Solver Data (download as text)

20.97/21.04	c run March_dl for 5 seconds ... 
20.97/21.04	c Bin: Executing march_dl
20.97/21.04	c child exit by a signal
20.97/21.04	c march_dl returned code 137.
20.97/21.04	c run saps (UBCSAT implementation) for 2 seconds ... 
20.97/21.04	c Bin: Executing ubcsat2006
20.97/21.04	c child exited successfully
20.97/21.04	c ubcsat2006 returned code 0.
20.97/21.04	c satzilla computing base features
20.97/21.04	c satzilla doing unit-prop probe
20.97/21.04	c satzilla doing local search probe
20.97/21.04	c satzilla doing lobjois search-space size estimate
20.97/21.04	c satzilla's ranking:
20.97/21.04	c 1) minisat20+P: -2.373009
20.97/21.04	c 2) march_dl+P: 2.679574
20.97/21.04	c 3) minisat20: 3.521447
20.97/21.04	c 4) march_dl: 3.539234
20.97/21.04	c 5) vallst+P: 4.008446
20.97/21.04	c 6) zchaff_rand+P: 6.628894
20.97/21.04	c 7) kcnfs+P: 999.000000
20.97/21.04	c 8) kcnfs: 999.000000
20.97/21.04	c 9) vallst: 999.000000
20.97/21.04	c 10) zchaff_rand: 999.000000
20.97/21.04	c satzilla running minisat20 with preprocessing ... 
81.35/81.43	This is MiniSat 2.0 beta
81.35/81.43	WARNING: for repeatability, setting FPU to use double precision
81.35/81.43	============================[ Problem Statistics ]=============================
81.35/81.43	|                                                                             |
81.35/81.44	|  Number of variables:  50004                                                |
81.35/81.44	|  Number of clauses:    206879                                               |
81.38/81.56	|  Parsing time:         0.12         s                                       |
81.38/81.57	============================[ Search Statistics ]==============================
81.38/81.57	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.38/81.57	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
81.38/81.57	===============================================================================
81.38/81.57	|         0 |   43332   177328   456150 |    59109        0    nan |  0.000 % |
81.38/81.60	|       100 |   43331   177328   456150 |    65020       99      7 | 13.383 % |
81.38/81.71	|       252 |   43330   177328   456150 |    71522      250     16 | 13.385 % |
81.38/81.84	|       477 |   43325   177328   456150 |    78674      473     16 | 13.581 % |
81.38/81.96	|       818 |   43202   176598   454344 |    86541      810     15 | 13.707 % |
81.38/82.20	|      1324 |   43142   176090   453099 |    95196     1308     13 | 13.723 % |
81.38/82.37	|      2083 |   43142   176090   453099 |   104715     2067     16 | 13.723 % |
82.54/82.68	|      3222 |   43136   176058   453021 |   115187     3205     19 | 13.735 % |
83.34/83.42	|      4930 |   42784   174496   449064 |   126706     4907     21 | 14.553 % |
84.14/84.25	|      7492 |   42725   174116   448100 |   139376     7460     25 | 14.587 % |
85.64/85.74	|     11339 |   42645   173539   446743 |   153314    11290     23 | 14.717 % |
88.93/89.02	|     17106 |   42634   173467   446585 |   168645    17031     27 | 14.739 % |
95.93/96.04	|     25755 |   42471   172428   443989 |   185510    25418     38 | 15.505 % |
105.13/105.23	|     38730 |   42207   171254   441008 |   204061    38356     42 | 15.611 % |
136.62/136.77	|     58191 |   42196   171153   440769 |   224467    57815     80 | 15.615 % |
200.60/200.70	|     87383 |   42191   171149   440761 |   246914    87000     97 | 15.629 % |
314.67/314.84	|    131172 |   42174   171059   440549 |   271605   130782    107 | 15.679 % |
533.31/533.57	|    196857 |   42148   170903   440194 |   298766   196382    135 | 16.231 % |
925.19/925.52	|    295383 |   41755   169605   436927 |   328643   294830    143 | 16.601 % |
1199.21/1199.61	c Preprocessing...
1199.21/1199.61	c Inital problem has 50004 variables, 60934 nary clauses (145945 binary clauses).
1199.21/1199.61	c Num non-binary clauses 58862, Average non-binary clause length 3.976
1199.21/1199.61	c Theory has no gaps
1199.21/1199.61	c preprocessor timed out at 60.000000 sec
1199.21/1199.61	c Bin: Executing minisat20
1199.21/1199.61	c child exit by a signal
1199.21/1199.61	c minisat20 returned code 137.
1199.21/1199.61	c minisat20 returned code 137.
1199.21/1199.61	c satzilla running march_dl with preprocessing ... 
1199.21/1199.61	c Bin: Executing march_dl
1199.21/1199.61	c march_dl returned code 1.
1199.21/1199.61	c march_dl returned code 1.
1199.21/1199.61	c satzilla running minisat20 ... 
1199.21/1199.61	c Bin: Executing minisat20
1199.21/1199.61	c minisat20 returned code 1.
1199.21/1199.61	c minisat20 returned code 1.
1199.21/1199.61	c satzilla running march_dl ... 
1199.21/1199.61	c Bin: Executing march_dl
1199.21/1199.61	c march_dl returned code 1.
1199.21/1199.61	c march_dl returned code 1.
1199.21/1199.61	c satzilla running vallst with preprocessing ... 
1199.21/1199.61	c Bin: Executing vallst
1199.21/1199.61	c vallst returned code 1.
1199.21/1199.61	c vallst returned code 1.
1199.21/1199.61	c satzilla running zchaff_rand with preprocessing ... 
1199.21/1199.61	c Bin: Executing zchaff_rand
1199.21/1199.61	c zchaff_rand returned code 1.
1199.21/1199.61	c zchaff_rand returned code 1.
1199.21/1199.61	c satzilla running kcnfs with preprocessing ... 
1199.21/1199.61	c Bin: Executing kcnfs
1199.21/1199.61	c kcnfs returned code 1.
1199.21/1199.61	c kcnfs returned code 1.
1199.21/1199.61	c satzilla running kcnfs ... 
1199.21/1199.61	c Bin: Executing kcnfs
1199.21/1199.61	c kcnfs returned code 1.
1199.21/1199.61	c kcnfs returned code 1.
1199.21/1199.61	c satzilla running vallst ... 
1199.21/1199.61	c Bin: Executing vallst
1199.21/1199.61	c vallst returned code 1.
1199.21/1199.61	c vallst returned code 1.
1199.21/1199.61	c satzilla running zchaff_rand ... 
1199.21/1199.61	c Bin: Executing zchaff_rand
1199.21/1199.61	c zchaff_rand returned code 1.
1199.21/1199.61	c zchaff_rand returned code 1.
1199.21/1199.61	c ERROR: All Failed! 
1199.21/1199.61	c SATZILLA_TIME=1199.450000

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/node63/watcher-330611-1173169543 -o ROOT/results/node63/solver-330611-1173169543 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/330611-1173169543/SATzilla2007_C /tmp/evaluation/330611-1173169543/instance-330611-1173169543.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.16 1.03 1.01 3/64 12777
/proc/meminfo: memFree=935144/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=632 CPUtime=0
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 51 0 0 0 0 0 0 0 19 0 1 0 336911725 647168 46 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 158 46 39 118 0 37 0

[startup+0.0460469 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 12777
/proc/meminfo: memFree=935144/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=632 CPUtime=0.04
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 51 0 0 0 4 0 0 0 19 0 1 0 336911725 647168 46 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 158 46 39 118 0 37 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2072

[startup+0.101052 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 12777
/proc/meminfo: memFree=935144/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=5808 CPUtime=0.09
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 1160 0 0 0 9 0 0 0 19 0 1 0 336911725 5947392 1155 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 1452 1155 50 118 0 1331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7248

[startup+0.301073 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 12777
/proc/meminfo: memFree=935144/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=8448 CPUtime=0.29
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 1955 0 0 0 28 1 0 0 20 0 1 0 336911725 8650752 1950 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 2112 1950 50 118 0 1991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9888

[startup+0.701116 s]
/proc/loadavg: 1.16 1.03 1.01 3/64 12777
/proc/meminfo: memFree=935144/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=20380 CPUtime=0.69
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 5205 0 0 0 67 2 0 0 24 0 1 0 336911725 20869120 4239 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134675049 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 5095 4239 55 118 0 4974 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21820

[startup+1.5012 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 12779
/proc/meminfo: memFree=918040/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=20380 CPUtime=1.49
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 6670 0 0 0 146 3 0 0 25 0 1 0 336911725 20869120 4257 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134649735 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 5095 4257 57 118 0 4974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21820

[startup+3.10137 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 12779
/proc/meminfo: memFree=903512/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=0
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 336911725 1474560 110 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 360 110 95 260 0 84 0
[pid=12778] ppid=12777 vsize=38704 CPUtime=3.09
/proc/12778/stat : 12778 (march_dl) R 12777 12777 11923 0 -1 4194304 11952 0 0 0 303 6 0 0 25 0 1 0 336911725 39632896 8559 18446744073709551615 134512640 134996440 4294956736 18446744073709551615 134560202 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12778/statm: 9676 8559 69 118 0 9555 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40144

[startup+6.30171 s]
/proc/loadavg: 1.15 1.03 1.01 2/66 12780
/proc/meminfo: memFree=921944/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=1440 CPUtime=5
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 135 12266 0 0 0 0 493 7 16 0 1 0 336911725 1474560 111 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/12777/statm: 360 111 96 260 0 84 0
[pid=12780] ppid=12777 vsize=18488 CPUtime=1.28
/proc/12780/stat : 12780 (ubcsat2006) R 12777 12777 11923 0 -1 4194304 3393 0 0 0 127 1 0 0 25 0 1 0 336912226 18931712 3376 18446744073709551615 134512640 134777720 4294956576 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/12780/statm: 4622 3376 156 64 0 4203 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19928

[startup+12.7014 s]
/proc/loadavg: 1.13 1.03 1.01 2/65 12780
/proc/meminfo: memFree=915232/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=21756 CPUtime=12.67
/proc/12777/stat : 12777 (SATzilla2007_C) R 12775 12777 11923 0 -1 4194304 5089 15667 0 0 534 3 721 9 25 0 1 0 336911725 22278144 5058 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/12777/statm: 5439 5058 121 260 0 5163 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21756

[startup+25.5017 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 12780
/proc/meminfo: memFree=883936/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=97916 CPUtime=25.46
/proc/12777/stat : 12777 (SATzilla2007_C) R 12775 12777 11923 0 -1 4194304 22296 15667 0 0 1799 17 721 9 25 0 1 0 336911725 100265984 13011 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/12777/statm: 24479 13011 164 260 0 24203 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 97916

[startup+51.1015 s]
/proc/loadavg: 1.07 1.03 1.01 2/65 12780
/proc/meminfo: memFree=872288/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=87336 CPUtime=51.06
/proc/12777/stat : 12777 (SATzilla2007_C) R 12775 12777 11923 0 -1 4194304 25863 15667 0 0 4328 48 721 9 25 0 1 0 336911725 89432064 15797 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216365 0 0 4096 0 0 0 0 17 1 0 0
/proc/12777/statm: 21834 15797 165 260 0 21558 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 87336

[startup+102.306 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 12781
/proc/meminfo: memFree=853144/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=19976 CPUtime=20.86
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 4702 0 0 0 2083 3 0 0 25 0 1 0 336919868 20455424 4696 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 4994 4696 59 118 0 4872 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 108388

[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 12781
/proc/meminfo: memFree=832536/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=40772 CPUtime=80.83
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 9877 0 0 0 8076 7 0 0 25 0 1 0 336919868 41750528 9871 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 10193 9871 59 118 0 10071 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 129184

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12781
/proc/meminfo: memFree=817560/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=55500 CPUtime=140.82
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 13560 0 0 0 14071 11 0 0 25 0 1 0 336919868 56832000 13554 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525619 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 13875 13554 59 118 0 13753 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 143912

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=805208/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=67968 CPUtime=200.8
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 16662 0 0 0 20065 15 0 0 25 0 1 0 336919868 69599232 16656 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 16992 16656 59 118 0 16870 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 156380

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=791128/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=81976 CPUtime=260.78
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 20142 0 0 0 26058 20 0 0 25 0 1 0 336919868 83943424 20136 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525636 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 20494 20136 59 118 0 20372 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 170388

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=777432/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0

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


[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=696600/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=176416 CPUtime=740.64
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 43711 0 0 0 74015 49 0 0 25 0 1 0 336919868 180649984 43705 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134528300 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 44104 43705 59 118 0 43982 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 264828

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=686872/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=186188 CPUtime=800.63
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 46132 0 0 0 80010 53 0 0 25 0 1 0 336919868 190656512 46126 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 46547 46126 59 118 0 46425 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 274600

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=678232/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=194968 CPUtime=860.61
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 48313 0 0 0 86006 55 0 0 25 0 1 0 336919868 199647232 48307 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 48742 48307 59 118 0 48620 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 283380

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12781
/proc/meminfo: memFree=670104/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=203452 CPUtime=920.59
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 50323 0 0 0 92001 58 0 0 25 0 1 0 336919868 208334848 50317 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525145 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 50863 50317 59 118 0 50741 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 291864

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=661912/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=211716 CPUtime=980.58
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 52387 0 0 0 97997 61 0 0 25 0 1 0 336919868 216797184 52381 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 52929 52381 59 118 0 52807 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 300128

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=652952/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=220496 CPUtime=1040.56
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 54594 0 0 0 103992 64 0 0 25 0 1 0 336919868 225787904 54588 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 55124 54588 59 118 0 55002 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 308908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=644248/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=229376 CPUtime=1100.55
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 56791 0 0 0 109988 67 0 0 25 0 1 0 336919868 234881024 56785 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525434 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57344 56785 59 118 0 57222 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 317788

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=642968/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=230564 CPUtime=1108.54
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 57087 0 0 0 110787 67 0 0 25 0 1 0 336919868 236097536 57081 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57641 57081 59 118 0 57519 0
Current children cumulated CPU time (s) 1189.92
Current children cumulated vsize (KiB) 318976

[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=642584/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=230960 CPUtime=1111.74
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 57183 0 0 0 111107 67 0 0 25 0 1 0 336919868 236503040 57177 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57740 57177 59 118 0 57618 0
Current children cumulated CPU time (s) 1193.12
Current children cumulated vsize (KiB) 319372

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=642072/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=231496 CPUtime=1114.94
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 57301 0 0 0 111427 67 0 0 25 0 1 0 336919868 237051904 57295 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57874 57295 59 118 0 57752 0
Current children cumulated CPU time (s) 1196.32
Current children cumulated vsize (KiB) 319908

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=641944/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=231628 CPUtime=1116.53
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 57349 0 0 0 111586 67 0 0 25 0 1 0 336919868 237187072 57343 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525539 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57907 57343 59 118 0 57785 0
Current children cumulated CPU time (s) 1197.91
Current children cumulated vsize (KiB) 320040

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=641816/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=231760 CPUtime=1117.34
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 57380 0 0 0 111666 68 0 0 25 0 1 0 336919868 237322240 57374 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525619 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57940 57374 59 118 0 57818 0
Current children cumulated CPU time (s) 1198.72
Current children cumulated vsize (KiB) 320172

[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=641816/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=231892 CPUtime=1117.74
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4194304 57397 0 0 0 111706 68 0 0 25 0 1 0 336919868 237457408 57391 18446744073709551615 134512640 134998072 4294956720 18446744073709551615 134525779 0 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 57973 57391 59 118 0 57851 0
Current children cumulated CPU time (s) 1199.12
Current children cumulated vsize (KiB) 320304

[startup+1199.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12783
/proc/meminfo: memFree=641816/2055920 swapFree=4183280/4192956
[pid=12777] ppid=12775 vsize=88412 CPUtime=81.38
/proc/12777/stat : 12777 (SATzilla2007_C) S 12775 12777 11923 0 -1 4194304 28124 15667 0 0 7318 90 721 9 25 0 1 0 336911725 90533888 15938 18446744073709551615 134512640 135579813 4294956704 18446744073709551615 135216413 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/12777/statm: 22103 15938 165 260 0 21827 0
[pid=12781] ppid=12777 vsize=0 CPUtime=1117.83
/proc/12781/stat : 12781 (minisat20) R 12777 12777 11923 0 -1 4195332 57399 0 0 0 111714 69 0 0 25 0 1 0 336919868 0 0 18446744073709551615 0 0 0 0 0 256 0 8392704 3 0 0 0 17 1 0 0
/proc/12781/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.21
Current children cumulated vsize (KiB) 88412

Child status: 17
Real time (s): 1199.63
CPU time (s): 1199.28
CPU user time (s): 1197.56
CPU system time (s): 1.72274
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 320304

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

runsolver used 1.14482 second user time and 2.6016 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue Mar  6 08:25:43 UTC 2007

IDJOB= 330611
IDBENCH= 20567
IDSOLVER= 135
FILE ID= node63/330611-1173169543

PBS_JOBID= 4015248

Free space on /tmp= 66489 MiB

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

META MD5SUM SOLVER= a1f00d13cbb558b34a83b365ff80fcc3
MD5SUM BENCH=  cb7e94a0572e125e87a474412f4998c5

RANDOM SEED= 708323831

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.214
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.214
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:        935552 kB
Buffers:         44404 kB
Cached:         985172 kB
SwapCached:       3684 kB
Active:         154368 kB
Inactive:       885056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        935552 kB
SwapTotal:     4192956 kB
SwapFree:      4183280 kB
Dirty:           13008 kB
Writeback:           0 kB
Mapped:          15808 kB
Slab:            66976 kB
Committed_AS:   791852 kB
PageTables:       1460 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= 66488 MiB

End job on node63 on Tue Mar  6 08:45:43 UTC 2007