Trace number 1825669

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SATzilla2009_C 2009-03-22? (exit code) 4998.36 4999.87

General information on the benchmark

Namecrafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
MD5SUMff7bc04717f7472a7de76a6b5c02e3a4
Bench CategoryCRAFTED (crafted 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 variables9528
Number of clauses1018562
Sum of the clauses size2044318
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21017395
Number of clauses of size 31
Number of clauses of size 47
Number of clauses of size 55
Number of clauses of size over 51154

Solver Data 

46.93/47.09	c SATzilla is building models for class 2
46.93/47.09	c run presolver march_dl2004 for 5 seconds ... 
46.93/47.09	c Bin: Executing march_dl2004
46.93/47.09	c spawning binary file with 5 seconds ...
46.93/47.09	c child exit by a signal
46.93/47.09	c march_dl2004 returned code 137.
46.93/47.09	c run presolver mxc-sr08 for 5 seconds ... 
46.93/47.09	c Bin: Executing mxc-sr08
46.93/47.09	c spawning binary file with 5 seconds ...
46.93/47.09	c child exit by a signal
46.93/47.09	c mxc-sr08 returned code 137.
46.93/47.09	c Orignal number of varibales is 9528, number of clauses is 1018562 
46.93/47.09	c predicted feature computation time is 27.256132 
46.93/47.09	c Bin: Executing satelite
46.93/47.09	c spawning binary file with 240 seconds ...
46.93/47.09	c child exited successfully
46.93/47.09	c satzilla computing base features
46.93/47.09	c Number of variabe is: 8350, Number of clause is : 1008700 
46.93/47.09	c Initializing...
46.93/47.09	c satzilla compute diameter ...
46.93/47.09	c start diameter features ...
46.93/47.09	c satzilla doing clause learning
46.93/47.09	c start clause learning features ...
46.93/47.09	c Bin: Executing zchaff07
46.93/47.09	c spawning binary file with 2 seconds ...
46.93/47.09	c child exit by a signal
46.93/47.09	c satzilla doing survey propogation probe
46.93/47.09	c do survay propogation for 2 second ...
46.93/47.09	c satzilla doing local search probe
46.93/47.09	c satzilla doing lobjois search-space size estimate
46.93/47.09	c features are:9528 1.01856e+06 8350 1.0087e+06 0.141078 0.00977694 0.00827798 0.448177 1.03144 1.26686 0.000406376 0.769479 0.000239521 0.00275449 0.644094 0.774396 0.774564 0.000406376 0.430977 2.28016e-05 0.000722712 5.90826 0.066124 0.114385 0.00591716 0.911894 2.21378 0.000144717 0.560254 6.93963e-06 0.000459998 5.46 0.583745 0.000320525 0.436895 2.28016e-05 0.000631506 9.33333 0.101015 8 10 0.636514 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.813335 0.381392 0.00355928 1 0.999973 0.0901394 0.997718 0.825746 0.968503 0.0643894 1.61784 -2.22045e-16 0.5 0.209388 1.00509e-10 0.0848991 4.62455e-05 0.0124378 3500.5 0.146855 1588 1.41421 1588 0 0 55.1234 0.160312 1.00908 0.0150802 0.46499 0.581607 
46.93/47.09	c satzilla's ranking:
46.93/47.09	c 1) minisat20SAT07: 3.287921
46.93/47.09	c 2) mxc-sr08: 2.703621
46.93/47.09	c 3) zchaff_rand: 1.819374
46.93/47.09	c 4) minisat20: 1.307933
46.93/47.09	c 5) vallst: 0.814808
46.93/47.09	c 6) march_dl2004: 0.802586
46.93/47.09	c 7) tts-4-0: 0.184788
46.93/47.09	c 8) SATenstein: -10000.000000
46.93/47.09	c 9) gnovelty+: -10000.000000
46.93/47.09	c 10) adaptg2wsat+: -10000.000000
46.93/47.09	c 11) adaptg2wsat0: -10000.000000
46.93/47.09	c 12) picosat846: -10000.000000
46.93/47.09	c 13) kcnfs04SAT07: -10000.000000
46.93/47.09	c satzilla running minisat20SAT07 ... 
4998.25/4999.84	c Bin: Executing minisat20SAT07
4998.25/4999.84	c spawning binary file with 4952 seconds ...
4998.25/4999.84	c child exit by a signal
4998.25/4999.84	c minisat20SAT07 returned code 137.
4998.25/4999.84	c satzilla running mxc-sr08 ... 
4998.25/4999.84	c Bin: Executing mxc-sr08
4998.25/4999.84	c mxc-sr08 returned code 1.
4998.25/4999.84	c satzilla running zchaff_rand ... 
4998.25/4999.84	c Bin: Executing zchaff_rand
4998.25/4999.84	c zchaff_rand returned code 1.
4998.25/4999.84	c satzilla running minisat20 ... 
4998.25/4999.84	c Bin: Executing minisat20
4998.25/4999.84	c minisat20 returned code 1.
4998.25/4999.84	c satzilla running vallst ... 
4998.25/4999.84	c Bin: Executing vallst
4998.25/4999.84	c vallst returned code 1.
4998.25/4999.84	c satzilla running march_dl2004 ... 
4998.25/4999.84	c Bin: Executing march_dl2004
4998.25/4999.84	c march_dl2004 returned code 1.
4998.25/4999.84	c satzilla running tts-4-0 ... 
4998.25/4999.84	c Bin: Executing tts-4-0
4998.25/4999.84	c tts-4-0 returned code 1.
4998.25/4999.84	c satzilla running SATenstein ... 
4998.25/4999.84	c Bin: Executing SATenstein
4998.25/4999.84	c SATenstein returned code 1.
4998.25/4999.84	c satzilla running gnovelty+ ... 
4998.25/4999.84	c Bin: Executing gnovelty+
4998.25/4999.84	c gnovelty+ returned code 1.
4998.25/4999.84	c satzilla running adaptg2wsat+ ... 
4998.25/4999.84	c Bin: Executing adaptg2wsat+
4998.25/4999.84	c adaptg2wsat+ returned code 1.
4998.25/4999.84	c satzilla running adaptg2wsat0 ... 
4998.25/4999.84	c Bin: Executing adaptg2wsat0
4998.25/4999.84	c adaptg2wsat0 returned code 1.
4998.25/4999.84	c satzilla running picosat846 ... 
4998.25/4999.84	c Bin: Executing picosat846
4998.25/4999.84	c picosat846 returned code 1.
4998.25/4999.84	c satzilla running kcnfs04SAT07 ... 
4998.25/4999.84	c Bin: Executing kcnfs04SAT07
4998.25/4999.84	c kcnfs04SAT07 returned code 1.
4998.25/4999.84	c ERROR: All Failed! 
4998.25/4999.84	c SATZILLA_TIME=4999.070000

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1825669-1242502181/watcher-1825669-1242502181 -o /tmp/evaluation-result-1825669-1242502181/solver-1825669-1242502181 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825669-1242502181.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27313
/proc/meminfo: memFree=843264/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) R 27311 27313 27148 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 1 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=4616 CPUtime=0
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 826 0 0 0 0 0 0 0 18 0 1 0 278252079 4726784 821 1992294400 134512640 134996440 4294956192 18446744073709551615 134549425 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 1154 829 49 118 0 1033 0

[startup+0.0153251 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27313
/proc/meminfo: memFree=843264/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=9192 CPUtime=0
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 1233 0 0 0 0 0 0 0 19 0 1 0 278252079 9412608 1228 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 2298 1228 50 118 0 2177 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11248

[startup+0.101333 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27313
/proc/meminfo: memFree=843264/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=10512 CPUtime=0.09
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 1613 0 0 0 9 0 0 0 19 0 1 0 278252079 10764288 1608 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 2628 1608 50 118 0 2507 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12568

[startup+0.301355 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27313
/proc/meminfo: memFree=843264/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=13284 CPUtime=0.29
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 2502 0 0 0 28 1 0 0 20 0 1 0 278252079 13602816 2497 1992294400 134512640 134996440 4294956192 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 3321 2497 50 118 0 3200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15340

[startup+0.701399 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 27313
/proc/meminfo: memFree=843264/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=18960 CPUtime=0.69
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 4280 0 0 0 68 1 0 0 25 0 1 0 278252079 19415040 4275 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 4740 4275 50 118 0 4619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21016

[startup+1.50149 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27315
/proc/meminfo: memFree=820784/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=45412 CPUtime=1.49
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 9500 0 0 0 144 5 0 0 25 0 1 0 278252079 46501888 6433 1992294400 134512640 134996440 4294956192 18446744073709551615 134544567 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 11353 6433 53 118 0 11232 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47468

[startup+3.10267 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 27315
/proc/meminfo: memFree=815856/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=0
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 278252078 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/27313/statm: 514 112 96 399 0 111 0
[pid=27314] ppid=27313 vsize=61928 CPUtime=3.09
/proc/27314/stat : 27314 (march_dl2004) R 27313 27313 27148 0 -1 4194304 15498 0 0 0 302 7 0 0 25 0 1 0 278252079 63414272 11436 1992294400 134512640 134996440 4294956192 18446744073709551615 134543076 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27314/statm: 15482 11436 55 118 0 15361 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63984

[startup+6.30202 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 27316
/proc/meminfo: memFree=810736/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=5
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 152 31992 0 0 0 0 485 15 16 0 1 0 278252078 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 514 121 104 399 0 111 0
[pid=27316] ppid=27313 vsize=54640 CPUtime=1.28
/proc/27316/stat : 27316 (mxc-sr08) R 27313 27313 27148 0 -1 4194304 16583 0 0 0 120 8 0 0 25 0 1 0 278252579 55951360 13392 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 1 0 0
/proc/27316/statm: 13660 13392 55 138 0 13519 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56696

[startup+12.7017 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 27317
/proc/meminfo: memFree=772016/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=10
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 180 48575 0 0 0 0 976 24 16 0 1 0 278252078 2105344 139 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 514 139 121 399 0 111 0
[pid=27317] ppid=27313 vsize=81744 CPUtime=2.67
/proc/27317/stat : 27317 (satelite) R 27313 27313 27148 0 -1 4194304 19138 0 0 0 255 12 0 0 25 0 1 0 278253080 83705856 19133 1992294400 134512640 135037501 4294956176 18446744073709551615 134566981 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27317/statm: 20436 19133 67 128 0 20305 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 83800

[startup+25.5012 s]
/proc/loadavg: 1.05 1.00 1.00 2/66 27317
/proc/meminfo: memFree=745584/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=2056 CPUtime=10
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 180 48575 0 0 0 0 976 24 16 0 1 0 278252078 2105344 139 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 514 139 121 399 0 111 0
[pid=27317] ppid=27313 vsize=90240 CPUtime=15.47
/proc/27317/stat : 27317 (satelite) R 27313 27313 27148 0 -1 4194304 23734 0 0 0 1530 17 0 0 25 0 1 0 278253080 92405760 21311 1992294400 134512640 135037501 4294956176 18446744073709551615 134698573 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27317/statm: 22560 21311 69 128 0 22429 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92296

[startup+51.102 s]
/proc/loadavg: 1.03 1.00 1.00 2/66 27319
/proc/meminfo: memFree=704368/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=54864 CPUtime=4
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 13522 0 0 0 394 6 0 0 25 0 1 0 278256787 56180736 13517 1992294400 134512640 135078472 4294956192 18446744073709551615 134530601 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 13716 13517 70 138 0 13575 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 121460

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 27319
/proc/meminfo: memFree=664944/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=97144 CPUtime=55.17
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 23346 0 0 0 5506 11 0 0 25 0 1 0 278256787 99475456 23341 1992294400 134512640 135078472 4294956192 18446744073709551615 134530601 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 24286 23341 70 138 0 24145 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 163740

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27319
/proc/meminfo: memFree=676720/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=83284 CPUtime=115.14
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 23396 0 0 0 11503 11 0 0 25 0 1 0 278256787 85282816 20390 1992294400 134512640 135078472 4294956192 18446744073709551615 134550551 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 20821 20390 73 138 0 20680 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 149880

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27319
/proc/meminfo: memFree=676720/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=83284 CPUtime=175.12
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 23396 0 0 0 17501 11 0 0 25 0 1 0 278256787 85282816 20390 1992294400 134512640 135078472 4294956192 18446744073709551615 134556078 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 20821 20390 73 138 0 20680 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 149880

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27319
/proc/meminfo: memFree=676592/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=83528 CPUtime=235.11
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 23438 0 0 0 23500 11 0 0 25 0 1 0 278256787 85532672 20432 1992294400 134512640 135078472 4294956192 18446744073709551615 134555832 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 20882 20432 73 138 0 20741 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 150124

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27319
/proc/meminfo: memFree=673136/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=86964 CPUtime=295.09
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 24312 0 0 0 29497 12 0 0 25 0 1 0 278256787 89051136 21306 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 21741 21306 73 138 0 21600 0
Current children cumulated CPU time (s) 342.11

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


[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=469808/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=290872 CPUtime=4673.82
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 75014 0 0 0 467311 71 0 0 25 0 1 0 278256787 297852928 72008 1992294400 134512640 135078472 4294956192 18446744073709551615 134550596 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 72718 72008 73 138 0 72577 0
Current children cumulated CPU time (s) 4720.84
Current children cumulated vsize (KiB) 357468

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=468272/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=292456 CPUtime=4733.8
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 75398 0 0 0 473308 72 0 0 25 0 1 0 278256787 299474944 72392 1992294400 134512640 135078472 4294956192 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 73114 72392 73 138 0 72973 0
Current children cumulated CPU time (s) 4780.82
Current children cumulated vsize (KiB) 359052

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=466480/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=294260 CPUtime=4793.79
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 75839 0 0 0 479306 73 0 0 25 0 1 0 278256787 301322240 72833 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 73565 72833 73 138 0 73424 0
Current children cumulated CPU time (s) 4840.81
Current children cumulated vsize (KiB) 360856

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=464240/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=296528 CPUtime=4853.77
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 76411 0 0 0 485304 73 0 0 25 0 1 0 278256787 303644672 73405 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 74132 73405 73 138 0 73991 0
Current children cumulated CPU time (s) 4900.79
Current children cumulated vsize (KiB) 363124

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=461936/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=298920 CPUtime=4913.75
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 76983 0 0 0 491301 74 0 0 25 0 1 0 278256787 306094080 73977 1992294400 134512640 135078472 4294956192 18446744073709551615 134550254 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 74730 73977 73 138 0 74589 0
Current children cumulated CPU time (s) 4960.77
Current children cumulated vsize (KiB) 365516

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

[startup+4966.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=461744/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=299052 CPUtime=4917.75
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77023 0 0 0 491701 74 0 0 25 0 1 0 278256787 306229248 74017 1992294400 134512640 135078472 4294956192 18446744073709551615 134550554 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 74763 74017 73 138 0 74622 0
Current children cumulated CPU time (s) 4964.77
Current children cumulated vsize (KiB) 365648

[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=461232/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=299580 CPUtime=4930.54
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77141 0 0 0 492980 74 0 0 25 0 1 0 278256787 306769920 74135 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 74895 74135 73 138 0 74754 0
Current children cumulated CPU time (s) 4977.56
Current children cumulated vsize (KiB) 366176

[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460720/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=299976 CPUtime=4943.33
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77272 0 0 0 494259 74 0 0 25 0 1 0 278256787 307175424 74266 1992294400 134512640 135078472 4294956192 18446744073709551615 134551022 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 74994 74266 73 138 0 74853 0
Current children cumulated CPU time (s) 4990.35
Current children cumulated vsize (KiB) 366572

[startup+4995.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460592/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=300108 CPUtime=4946.54
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77301 0 0 0 494580 74 0 0 25 0 1 0 278256787 307310592 74295 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 75027 74295 73 138 0 74886 0
Current children cumulated CPU time (s) 4993.56
Current children cumulated vsize (KiB) 366704

[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460464/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=300240 CPUtime=4949.74
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77330 0 0 0 494900 74 0 0 25 0 1 0 278256787 307445760 74324 1992294400 134512640 135078472 4294956192 18446744073709551615 134550608 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 75060 74324 73 138 0 74919 0
Current children cumulated CPU time (s) 4996.76
Current children cumulated vsize (KiB) 366836

[startup+4999.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460464/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=300240 CPUtime=4950.53
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77338 0 0 0 494979 74 0 0 25 0 1 0 278256787 307445760 74332 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 75060 74332 73 138 0 74919 0
Current children cumulated CPU time (s) 4997.55
Current children cumulated vsize (KiB) 366836

[startup+4999.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460400/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=300372 CPUtime=4950.93
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77343 0 0 0 495019 74 0 0 25 0 1 0 278256787 307580928 74337 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 75093 74337 73 138 0 74952 0
Current children cumulated CPU time (s) 4997.95
Current children cumulated vsize (KiB) 366968

[startup+4999.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460400/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=300372 CPUtime=4951.13
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77343 0 0 0 495039 74 0 0 25 0 1 0 278256787 307580928 74337 1992294400 134512640 135078472 4294956192 18446744073709551615 134550596 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 75093 74337 73 138 0 74952 0
Current children cumulated CPU time (s) 4998.15
Current children cumulated vsize (KiB) 366968

[startup+4999.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27328
/proc/meminfo: memFree=460400/2055920 swapFree=4180432/4192956
[pid=27313] ppid=27311 vsize=66596 CPUtime=47.02
/proc/27313/stat : 27313 (SATzilla2009_C) S 27311 27313 27148 0 -1 4194304 57629 87436 0 0 1809 32 2803 58 25 0 1 0 278252078 68194304 16413 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/27313/statm: 16649 16413 219 399 0 16246 0
[pid=27319] ppid=27313 vsize=300372 CPUtime=4951.23
/proc/27319/stat : 27319 (minisat20SAT07) R 27313 27313 27148 0 -1 4194304 77344 0 0 0 495049 74 0 0 25 0 1 0 278256787 307580928 74338 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/27319/statm: 75093 74338 73 138 0 74952 0
Current children cumulated CPU time (s) 4998.25
Current children cumulated vsize (KiB) 366968

Child status: 17
Real time (s): 4999.87
CPU time (s): 4998.36
CPU user time (s): 4996.63
CPU system time (s): 1.73174
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 366968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4996.63
system time used= 1.73174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222424
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= 16
involuntary context switches= 9593

runsolver used 5.33719 second user time and 12.844 second system time

The end

Launcher Data 

Begin job on node9 at 2009-05-16 21:29:43
IDJOB=1825669
IDBENCH=24638
IDSOLVER=668
FILE ID=node9/1825669-1242502181
PBS_JOBID= 9306968
Free space on /tmp= 66472 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825669-1242502181/watcher-1825669-1242502181 -o /tmp/evaluation-result-1825669-1242502181/solver-1825669-1242502181 -C 5000 -W 6000 -M 1800  HOME/SATzilla2009_C HOME/instance-1825669-1242502181.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= ff7bc04717f7472a7de76a6b5c02e3a4
RANDOM SEED=950428646

node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.240
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.240
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:        843744 kB
Buffers:         89600 kB
Cached:        1024580 kB
SwapCached:       6392 kB
Active:         235616 kB
Inactive:       887068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        843744 kB
SwapTotal:     4192956 kB
SwapFree:      4180432 kB
Dirty:           44188 kB
Writeback:           0 kB
Mapped:          14128 kB
Slab:            75580 kB
Committed_AS:   928860 kB
PageTables:       1388 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66440 MiB
End job on node9 at 2009-05-16 22:53:03