Trace number 1772860

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_I 2009-03-22? (exit code) 9997.82 10007

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-26.cnf
MD5SUM0cf155110f71a43081221b427d368ee8
Bench CategoryAPPLICATION (applications 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 variables21734
Number of clauses79766
Sum of the clauses size211276
Maximum clause length225
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 236916
Number of clauses of size 338055
Number of clauses of size 43077
Number of clauses of size 5748
Number of clauses of size over 5969

Solver Data 

21.25/26.13	c SATzilla is building models for class 3
21.25/26.13	c run presolver mxc-sr08 for 10 seconds ... 
21.25/26.13	c Bin: Executing mxc-sr08
21.25/26.13	c spawning binary file with 10 seconds ...
21.25/26.13	c child exit by a signal
21.25/26.13	c mxc-sr08 returned code 137.
21.25/26.13	c run presolver picosat846 for 5 seconds ... 
21.25/26.13	c Bin: Executing picosat846
21.25/26.13	c spawning binary file with 5 seconds ...
21.25/26.13	c child exit by a signal
21.25/26.13	c picosat846 returned code 137.
21.25/26.13	c Orignal number of varibales is 21734, number of clauses is 79766 
21.25/26.13	c predicted feature computation time is 1.664083 
21.25/26.13	c Bin: Executing satelite
21.25/26.13	c spawning binary file with 240 seconds ...
21.25/26.13	c child exited successfully
21.25/26.13	c satzilla computing base features
21.25/26.13	c Number of variabe is: 11150, Number of clause is : 60741 
21.25/26.13	c Initializing...
21.25/26.13	c satzilla doing clause learning
21.25/26.13	c start clause learning features ...
21.25/26.13	c Bin: Executing zchaff07
21.25/26.13	c spawning binary file with 2 seconds ...
21.25/26.13	c child exit by a signal
21.25/26.13	c satzilla doing survey propogation probe
21.25/26.13	c do survay propogation for 2 second ...
21.25/26.13	c satzilla doing local search probe
21.25/26.13	c features are:21734 79766 11150 60741 0.949238 0.313215 0.183566 0.357087 0.701915 1.42954 0.000288413 0.381854 0.000179372 0.0103139 1.25372 0.218024 0.657332 0.000288413 1.17247 0.000115243 0.0164304 2.54735 0.0747148 0.109866 0 0.636364 1.90861 0.000159383 1.94852 1.64633e-05 0.0159859 2.35135 0.580728 0.000171889 1.97049 8.23167e-05 0.0128414 720.889 0.357268 497 1406 1406 497 750 582 608 15.6156 0.380973 8.31273 29.2034 29.2034 8.31273 17.2803 13.2973 13.7188 0.241344 0.976688 0 0.887597 0.659651 0.0171518 0.375003 0.0455641 0.149399 0.0435245 0.914579 -1.11022e-16 0.256994 0.105118 0.00191755 0.0524825 0.0196797 0.0325287 1256.42 1.26779 2041.42 0.315171 2221 2194 2248 2.48763 2.82389 1.19632 0.934159 
21.25/26.13	c satzilla's ranking:
21.25/26.13	c 1) minisat20SAT07: 4.219191
21.25/26.13	c 2) mxc-sr08: 3.329558
21.25/26.13	c 3) picosat846: 2.515222
21.25/26.13	c 4) zchaff_rand: 0.980952
21.25/26.13	c 5) march_dl2004: 0.314621
21.25/26.13	c 6) SATenstein: -10000.000000
21.25/26.13	c 7) gnovelty+: -10000.000000
21.25/26.13	c 8) adaptg2wsat+: -10000.000000
21.25/26.13	c 9) adaptg2wsat0: -10000.000000
21.25/26.13	c 10) tts-4-0: -10000.000000
21.25/26.13	c 11) vallst: -10000.000000
21.25/26.13	c 12) minisat20: -10000.000000
21.25/26.13	c 13) kcnfs04SAT07: -10000.000000
21.25/26.13	c satzilla running minisat20SAT07 ... 
9997.69/10006.99	c Bin: Executing minisat20SAT07
9997.69/10006.99	c spawning binary file with 9978 seconds ...
9997.69/10006.99	c child exit by a signal
9997.69/10006.99	c minisat20SAT07 returned code 137.
9997.69/10006.99	c satzilla running mxc-sr08 ... 
9997.69/10006.99	c Bin: Executing mxc-sr08
9997.69/10006.99	c mxc-sr08 returned code 1.
9997.69/10006.99	c satzilla running picosat846 ... 
9997.69/10006.99	c Bin: Executing picosat846
9997.69/10006.99	c picosat846 returned code 1.
9997.69/10006.99	c satzilla running zchaff_rand ... 
9997.69/10006.99	c Bin: Executing zchaff_rand
9997.69/10006.99	c zchaff_rand returned code 1.
9997.69/10006.99	c satzilla running march_dl2004 ... 
9997.69/10006.99	c Bin: Executing march_dl2004
9997.69/10006.99	c march_dl2004 returned code 1.
9997.69/10006.99	c satzilla running SATenstein ... 
9997.69/10006.99	c Bin: Executing SATenstein
9997.69/10006.99	c SATenstein returned code 1.
9997.69/10006.99	c satzilla running gnovelty+ ... 
9997.69/10006.99	c Bin: Executing gnovelty+
9997.69/10006.99	c gnovelty+ returned code 1.
9997.69/10006.99	c satzilla running adaptg2wsat+ ... 
9997.69/10006.99	c Bin: Executing adaptg2wsat+
9997.69/10006.99	c adaptg2wsat+ returned code 1.
9997.69/10006.99	c satzilla running adaptg2wsat0 ... 
9997.69/10006.99	c Bin: Executing adaptg2wsat0
9997.69/10006.99	c adaptg2wsat0 returned code 1.
9997.69/10006.99	c satzilla running tts-4-0 ... 
9997.69/10006.99	c Bin: Executing tts-4-0
9997.69/10006.99	c tts-4-0 returned code 1.
9997.69/10006.99	c satzilla running vallst ... 
9997.69/10006.99	c Bin: Executing vallst
9997.69/10006.99	c vallst returned code 1.
9997.69/10006.99	c satzilla running minisat20 ... 
9997.69/10006.99	c Bin: Executing minisat20
9997.69/10006.99	c minisat20 returned code 1.
9997.69/10006.99	c satzilla running kcnfs04SAT07 ... 
9997.69/10006.99	c Bin: Executing kcnfs04SAT07
9997.69/10006.99	c kcnfs04SAT07 returned code 1.
9997.69/10006.99	c ERROR: All Failed! 
9997.69/10006.99	c SATZILLA_TIME=9999.320000

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-1772860-1241345029/watcher-1772860-1241345029 -o /tmp/evaluation-result-1772860-1241345029/solver-1772860-1241345029 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1772860-1241345029.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): 12000 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.85 0.97 0.99 3/64 31029
/proc/meminfo: memFree=1673536/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) R 31027 31029 30992 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=3636 CPUtime=0
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 751 0 0 0 0 0 0 0 18 0 1 0 162536266 3723264 747 1992294400 134512640 135078026 4294956192 18446744073709551615 134535746 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 909 753 50 138 0 768 0

[startup+0.032678 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31029
/proc/meminfo: memFree=1673536/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=8136 CPUtime=0.02
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 1671 0 0 0 2 0 0 0 18 0 1 0 162536266 8331264 1665 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 2034 1665 54 138 0 1893 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10192

[startup+0.10169 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31029
/proc/meminfo: memFree=1673536/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=10000 CPUtime=0.09
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 2475 0 0 0 8 1 0 0 19 0 1 0 162536266 10240000 2126 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 2500 2126 55 138 0 2359 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12056

[startup+0.312731 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31029
/proc/meminfo: memFree=1673536/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=14852 CPUtime=0.3
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 3673 0 0 0 29 1 0 0 21 0 1 0 162536266 15208448 3324 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 3713 3324 55 138 0 3572 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16908

[startup+0.701807 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31029
/proc/meminfo: memFree=1673536/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=13844 CPUtime=0.69
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 3875 0 0 0 67 2 0 0 25 0 1 0 162536266 14176256 3179 1992294400 134512640 135078026 4294956192 18446744073709551615 134540352 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 3461 3179 71 138 0 3320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15900

[startup+1.50196 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 31031
/proc/meminfo: memFree=1660784/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=13844 CPUtime=1.49
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 3877 0 0 0 147 2 0 0 25 0 1 0 162536266 14176256 3181 1992294400 134512640 135078026 4294956192 18446744073709551615 134533764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 3461 3181 71 138 0 3320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15900

[startup+3.10128 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 31031
/proc/meminfo: memFree=1660656/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=13844 CPUtime=3.09
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 3883 0 0 0 307 2 0 0 25 0 1 0 162536266 14176256 3187 1992294400 134512640 135078026 4294956192 18446744073709551615 134524020 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 3461 3187 71 138 0 3320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15900

[startup+6.3019 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 31031
/proc/meminfo: memFree=1658608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=0
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 162536266 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 112 96 399 0 111 0
[pid=31030] ppid=31029 vsize=14904 CPUtime=6.12
/proc/31030/stat : 31030 (mxc-sr08) R 31029 31029 30992 0 -1 4194304 4147 0 0 0 609 3 0 0 25 0 1 0 162536266 15261696 3451 1992294400 134512640 135078026 4294956192 18446744073709551615 134523880 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31030/statm: 3726 3451 71 138 0 3585 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 16960

[startup+12.7062 s]
/proc/loadavg: 1.03 1.00 1.00 1/66 31032
/proc/meminfo: memFree=1672688/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=2056 CPUtime=9.99
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 152 4422 0 0 0 0 995 4 16 0 1 0 162536266 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31029/statm: 514 121 104 399 0 111 0
[pid=31032] ppid=31029 vsize=2056 CPUtime=0.05
/proc/31032/stat : 31032 (SATzilla2009_I) D 31029 31029 30992 0 -1 4194368 5 0 0 0 0 5 0 0 18 0 1 0 162537301 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135720740 0 0 8392704 0 18446744071563608240 0 0 17 0 0 0
/proc/31032/statm: 514 121 104 399 0 111 0
Current children cumulated CPU time (s) 10.04
Current children cumulated vsize (KiB) 4112
heavy processes:

[startup+25.5017 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 31034
/proc/meminfo: memFree=1662904/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=11716 CPUtime=20.64
/proc/31029/stat : 31029 (SATzilla2009_I) R 31027 31029 30992 0 -1 4194304 4231 12420 0 9 299 7 1733 25 25 0 1 0 162536266 11997184 2418 1992294400 134512640 136149169 4294956224 18446744073709551615 135542494 0 0 4096 3 0 0 0 17 0 0 0
/proc/31029/statm: 2929 2418 207 399 0 2526 0
Current children cumulated CPU time (s) 20.64
Current children cumulated vsize (KiB) 11716

[startup+51.1017 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 31035
/proc/meminfo: memFree=1627056/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=39968 CPUtime=24.91
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 10109 0 0 0 2484 7 0 0 25 0 1 0 162538880 40927232 9782 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 9992 9782 73 138 0 9851 0
Current children cumulated CPU time (s) 46.19
Current children cumulated vsize (KiB) 47584

[startup+102.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 31035
/proc/meminfo: memFree=1612336/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=54808 CPUtime=76.09
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 13783 0 0 0 7597 12 0 0 25 0 1 0 162538880 56123392 13456 1992294400 134512640 135078472 4294956192 18446744073709551615 134556039 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 13702 13456 73 138 0 13561 0
Current children cumulated CPU time (s) 97.37
Current children cumulated vsize (KiB) 62424

[startup+162.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 31035
/proc/meminfo: memFree=1607536/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=59568 CPUtime=136.07
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 14988 0 0 0 13593 14 0 0 25 0 1 0 162538880 60997632 14661 1992294400 134512640 135078472 4294956192 18446744073709551615 134550192 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 14892 14661 73 138 0 14751 0
Current children cumulated CPU time (s) 157.35
Current children cumulated vsize (KiB) 67184

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31035
/proc/meminfo: memFree=1580656/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=86604 CPUtime=196.04
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 21745 0 0 0 19584 20 0 0 25 0 1 0 162538880 88682496 21418 1992294400 134512640 135078472 4294956192 18446744073709551615 134549411 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 21651 21418 73 138 0 21510 0
Current children cumulated CPU time (s) 217.32
Current children cumulated vsize (KiB) 94220

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31035
/proc/meminfo: memFree=1580400/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=86604 CPUtime=256.02
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 21745 0 0 0 25582 20 0 0 25 0 1 0 162538880 88682496 21418 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 21651 21418 73 138 0 21510 0
Current children cumulated CPU time (s) 277.3
Current children cumulated vsize (KiB) 94220

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31035
/proc/meminfo: memFree=1580400/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=86604 CPUtime=315.99
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 21746 0 0 0 31579 20 0 0 25 0 1 0 162538880 88682496 21419 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 21651 21419 73 138 0 21510 0
Current children cumulated CPU time (s) 337.27
Current children cumulated vsize (KiB) 94220


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


[startup+9522.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 31053
/proc/meminfo: memFree=1450672/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9492.06
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 949143 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9513.34
Current children cumulated vsize (KiB) 221628

[startup+9582.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 31053
/proc/meminfo: memFree=1450608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9552.03
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 955140 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550642 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9573.31
Current children cumulated vsize (KiB) 221628

[startup+9642.3 s]
/proc/loadavg: 1.06 1.04 1.00 2/66 31053
/proc/meminfo: memFree=1450608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9611.99
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 961136 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550652 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9633.27
Current children cumulated vsize (KiB) 221628

[startup+9702.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/66 31053
/proc/meminfo: memFree=1450608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9671.96
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 967133 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550706 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9693.24
Current children cumulated vsize (KiB) 221628

[startup+9762.3 s]
/proc/loadavg: 1.13 1.07 1.01 2/66 31053
/proc/meminfo: memFree=1450544/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9731.93
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 973130 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550692 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9753.21
Current children cumulated vsize (KiB) 221628

[startup+9822.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/66 31053
/proc/meminfo: memFree=1450544/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9791.9
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 979127 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134556013 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9813.18
Current children cumulated vsize (KiB) 221628

[startup+9882.3 s]
/proc/loadavg: 1.11 1.07 1.00 2/66 31053
/proc/meminfo: memFree=1450544/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9851.87
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 985124 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550534 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9873.15
Current children cumulated vsize (KiB) 221628

[startup+9942.3 s]
/proc/loadavg: 1.16 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450544/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9911.85
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 991122 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134552338 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9933.13
Current children cumulated vsize (KiB) 221628

[startup+10002.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9971.82
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 997119 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9993.1
Current children cumulated vsize (KiB) 221628

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

[startup+10003.7 s]
/proc/loadavg: 1.12 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9973.21
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53583 0 0 0 997258 63 0 0 25 0 1 0 162538880 219148288 53211 1992294400 134512640 135078472 4294956192 18446744073709551615 134551022 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53211 73 138 0 53362 0
Current children cumulated CPU time (s) 9994.49
Current children cumulated vsize (KiB) 221628

[startup+10005.3 s]
/proc/loadavg: 1.11 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450608/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214012 CPUtime=9974.81
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53584 0 0 0 997418 63 0 0 25 0 1 0 162538880 219148288 53212 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53503 53212 73 138 0 53362 0
Current children cumulated CPU time (s) 9996.09
Current children cumulated vsize (KiB) 221628

[startup+10006.1 s]
/proc/loadavg: 1.11 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450416/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214408 CPUtime=9975.62
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53677 0 0 0 997499 63 0 0 25 0 1 0 162538880 219553792 53305 1992294400 134512640 135078472 4294956192 18446744073709551615 134707275 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53602 53305 73 138 0 53461 0
Current children cumulated CPU time (s) 9996.9
Current children cumulated vsize (KiB) 222024

[startup+10006.5 s]
/proc/loadavg: 1.11 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450416/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214672 CPUtime=9976.01
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53740 0 0 0 997538 63 0 0 25 0 1 0 162538880 219824128 53368 1992294400 134512640 135078472 4294956192 18446744073709551615 134707275 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53668 53368 73 138 0 53527 0
Current children cumulated CPU time (s) 9997.29
Current children cumulated vsize (KiB) 222288

[startup+10006.9 s]
/proc/loadavg: 1.11 1.08 1.01 2/66 31053
/proc/meminfo: memFree=1450416/2055920 swapFree=4180712/4192956
[pid=31029] ppid=31027 vsize=7616 CPUtime=21.28
/proc/31029/stat : 31029 (SATzilla2009_I) S 31027 31029 30992 0 -1 4194304 4248 12420 0 9 360 10 1733 25 25 0 1 0 162536266 7798784 1671 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31029/statm: 1904 1671 217 399 0 1501 0
[pid=31035] ppid=31029 vsize=214936 CPUtime=9976.41
/proc/31035/stat : 31035 (minisat20SAT07) R 31029 31029 30992 0 -1 4194304 53804 0 0 0 997578 63 0 0 25 0 1 0 162538880 220094464 53432 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31035/statm: 53734 53432 73 138 0 53593 0
Current children cumulated CPU time (s) 9997.69
Current children cumulated vsize (KiB) 222552

Child status: 17
Real time (s): 10007
CPU time (s): 9997.82
CPU user time (s): 9996.79
CPU system time (s): 1.03184
CPU usage (%): 99.9083
Max. virtual memory (cumulated for all children) (KiB): 222552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9996.79
system time used= 1.03184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70498
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 15924

runsolver used 10.7574 second user time and 25.8601 second system time

The end

Launcher Data 

Begin job on node28 at 2009-05-03 12:03:49
IDJOB=1772860
IDBENCH=20403
IDSOLVER=616
FILE ID=node28/1772860-1241345029
PBS_JOBID= 9225520
Free space on /tmp= 66284 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772860-1241345029/watcher-1772860-1241345029 -o /tmp/evaluation-result-1772860-1241345029/solver-1772860-1241345029 -C 10000 -W 12000 -M 1800  HOME/SATzilla2009_I HOME/instance-1772860-1241345029.cnf

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

MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED=131974397

node28.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.261
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.261
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:       1674016 kB
Buffers:         50176 kB
Cached:         247976 kB
SwapCached:       5468 kB
Active:          76280 kB
Inactive:       230336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1674016 kB
SwapTotal:     4192956 kB
SwapFree:      4180712 kB
Dirty:           32896 kB
Writeback:           0 kB
Mapped:          14192 kB
Slab:            61124 kB
Committed_AS:   738096 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66252 MiB
End job on node28 at 2009-05-03 14:50:37