Trace number 1773930

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) 9998 10002.6

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-14.cnf
MD5SUM5822cc7fe01f06c27406011d612b5e7d
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 variables69641
Number of clauses227010
Sum of the clauses size588274
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292498
Number of clauses of size 3134383
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

26.46/26.52	c SATzilla is building models for class 3
26.46/26.52	c run presolver mxc-sr08 for 10 seconds ... 
26.46/26.52	c Bin: Executing mxc-sr08
26.46/26.52	c spawning binary file with 10 seconds ...
26.46/26.52	c child exit by a signal
26.46/26.52	c mxc-sr08 returned code 137.
26.46/26.52	c run presolver picosat846 for 5 seconds ... 
26.46/26.52	c Bin: Executing picosat846
26.46/26.52	c spawning binary file with 5 seconds ...
26.46/26.52	c child exit by a signal
26.46/26.52	c picosat846 returned code 137.
26.46/26.52	c Orignal number of varibales is 69641, number of clauses is 227010 
26.46/26.52	c predicted feature computation time is 3.515259 
26.46/26.52	c Bin: Executing satelite
26.46/26.52	c spawning binary file with 240 seconds ...
26.46/26.52	c child exited successfully
26.46/26.52	c satzilla computing base features
26.46/26.52	c Number of variabe is: 28527, Number of clause is : 163489 
26.46/26.52	c Initializing...
26.46/26.52	c satzilla doing clause learning
26.46/26.52	c start clause learning features ...
26.46/26.52	c Bin: Executing zchaff07
26.46/26.52	c spawning binary file with 2 seconds ...
26.46/26.52	c child exit by a signal
26.46/26.52	c satzilla doing survey propogation probe
26.46/26.52	c do survay propogation for 2 second ...
26.46/26.52	c satzilla doing local search probe
26.46/26.52	c features are:69641 227010 28527 163489 1.44123 0.388534 0.174489 0.409288 0.453179 1.05672 0.000118632 0.179227 7.0109e-05 0.000595927 0.880389 0.0611723 0.555261 0.000118632 0.583981 4.28163e-05 0.000342531 2.34913 0.0249757 0.0431458 0 0.666667 1.05238 5.93074e-05 0.533237 6.11662e-06 0.000171265 2.03841 0.512567 4.6667e-05 0.455639 2.44665e-05 0.000189615 331.25 0.458932 171 684 684 171 387 280 301 11.4839 0.676364 4.65972 27.3143 27.3143 4.65972 19.4286 5.83721 8.83389 0.0979168 1.59393 0 0.745545 0.392546 1.19922e-05 0.10336 0.0014773 0.0143871 0.0312717 0.636537 2.26255e-05 0.240484 0.0566217 0.000398996 0.0398482 0.0227244 0.0292521 2473.25 0.283703 5642.75 0.00938575 5635.5 5586 5638 0.658353 1.15708 0.881501 0.0496985 
26.46/26.52	c satzilla's ranking:
26.46/26.52	c 1) mxc-sr08: 3.161790
26.46/26.52	c 2) minisat20SAT07: 2.667739
26.46/26.52	c 3) picosat846: 2.575747
26.46/26.52	c 4) zchaff_rand: 0.094528
26.46/26.52	c 5) march_dl2004: 0.071000
26.46/26.52	c 6) SATenstein: -10000.000000
26.46/26.52	c 7) gnovelty+: -10000.000000
26.46/26.52	c 8) adaptg2wsat+: -10000.000000
26.46/26.52	c 9) adaptg2wsat0: -10000.000000
26.46/26.52	c 10) tts-4-0: -10000.000000
26.46/26.52	c 11) vallst: -10000.000000
26.46/26.52	c 12) minisat20: -10000.000000
26.46/26.52	c 13) kcnfs04SAT07: -10000.000000
26.46/26.52	c satzilla running mxc-sr08 ... 
9997.89/10002.56	c Bin: Executing mxc-sr08
9997.89/10002.56	c spawning binary file with 9973 seconds ...
9997.89/10002.56	c child exit by a signal
9997.89/10002.56	c mxc-sr08 returned code 137.
9997.89/10002.56	c satzilla running minisat20SAT07 ... 
9997.89/10002.56	c Bin: Executing minisat20SAT07
9997.89/10002.56	c minisat20SAT07 returned code 1.
9997.89/10002.56	c satzilla running picosat846 ... 
9997.89/10002.56	c Bin: Executing picosat846
9997.89/10002.56	c picosat846 returned code 1.
9997.89/10002.56	c satzilla running zchaff_rand ... 
9997.89/10002.56	c Bin: Executing zchaff_rand
9997.89/10002.56	c zchaff_rand returned code 1.
9997.89/10002.56	c satzilla running march_dl2004 ... 
9997.89/10002.56	c Bin: Executing march_dl2004
9997.89/10002.56	c march_dl2004 returned code 1.
9997.89/10002.56	c satzilla running SATenstein ... 
9997.89/10002.56	c Bin: Executing SATenstein
9997.89/10002.56	c SATenstein returned code 1.
9997.89/10002.56	c satzilla running gnovelty+ ... 
9997.89/10002.56	c Bin: Executing gnovelty+
9997.89/10002.56	c gnovelty+ returned code 1.
9997.89/10002.56	c satzilla running adaptg2wsat+ ... 
9997.89/10002.56	c Bin: Executing adaptg2wsat+
9997.89/10002.56	c adaptg2wsat+ returned code 1.
9997.89/10002.56	c satzilla running adaptg2wsat0 ... 
9997.89/10002.56	c Bin: Executing adaptg2wsat0
9997.89/10002.56	c adaptg2wsat0 returned code 1.
9997.89/10002.56	c satzilla running tts-4-0 ... 
9997.89/10002.56	c Bin: Executing tts-4-0
9997.89/10002.56	c tts-4-0 returned code 1.
9997.89/10002.56	c satzilla running vallst ... 
9997.89/10002.56	c Bin: Executing vallst
9997.89/10002.56	c vallst returned code 1.
9997.89/10002.56	c satzilla running minisat20 ... 
9997.89/10002.56	c Bin: Executing minisat20
9997.89/10002.56	c minisat20 returned code 1.
9997.89/10002.56	c satzilla running kcnfs04SAT07 ... 
9997.89/10002.56	c Bin: Executing kcnfs04SAT07
9997.89/10002.56	c kcnfs04SAT07 returned code 1.
9997.89/10002.56	c ERROR: All Failed! 
9997.89/10002.56	c SATZILLA_TIME=9999.510000

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-1773930-1241351209/watcher-1773930-1241351209 -o /tmp/evaluation-result-1773930-1241351209/solver-1773930-1241351209 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1773930-1241351209.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: 1.00 1.00 1.00 3/64 29692
/proc/meminfo: memFree=1747704/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=4832 CPUtime=0
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 684 0 0 0 0 0 0 0 19 0 1 0 163153759 4947968 680 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 1208 686 44 138 0 1067 0

[startup+0.0815 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29692
/proc/meminfo: memFree=1747704/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=23656 CPUtime=0.07
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 4862 0 0 0 5 2 0 0 19 0 1 0 163153759 24223744 4834 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 5914 4835 54 138 0 5773 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25712

[startup+0.102504 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29692
/proc/meminfo: memFree=1747704/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=25084 CPUtime=0.09
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 5220 0 0 0 7 2 0 0 20 0 1 0 163153759 25686016 5192 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 6271 5192 54 138 0 6130 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27140

[startup+0.30153 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29692
/proc/meminfo: memFree=1747704/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=30212 CPUtime=0.29
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 7371 0 0 0 26 3 0 0 21 0 1 0 163153759 30937088 6318 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 7553 6318 55 138 0 7412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32268

[startup+0.70259 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 29692
/proc/meminfo: memFree=1747704/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=41856 CPUtime=0.69
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 10254 0 0 0 64 5 0 0 25 0 1 0 163153759 42860544 9201 1992294400 134512640 135078026 4294956192 18446744073709551615 134721186 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 10464 9201 55 138 0 10323 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43912

[startup+1.50171 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29694
/proc/meminfo: memFree=1705064/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=44136 CPUtime=1.49
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12414 0 0 0 143 6 0 0 25 0 1 0 163153759 45195264 10128 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 11034 10128 71 138 0 10893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46192

[startup+3.10194 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29694
/proc/meminfo: memFree=1706984/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=44136 CPUtime=3.09
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 303 6 0 0 25 0 1 0 163153759 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523786 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46192

[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29694
/proc/meminfo: memFree=1707240/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=0
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163153759 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 112 96 399 0 111 0
[pid=29693] ppid=29692 vsize=44136 CPUtime=6.29
/proc/29693/stat : 29693 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 623 6 0 0 25 0 1 0 163153759 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134534259 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29693/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46192

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29695
/proc/meminfo: memFree=1734696/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=2056 CPUtime=9.99
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 152 12440 0 0 0 0 993 6 16 0 1 0 163153759 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 514 121 104 399 0 111 0
[pid=29695] ppid=29692 vsize=16432 CPUtime=2.68
/proc/29695/stat : 29695 (picosat846) R 29692 29692 29623 0 -1 4194304 3335 0 0 0 267 1 0 0 25 0 1 0 163154759 16826368 3324 1992294400 134512640 134570484 4294956192 18446744073709551615 134551573 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29695/statm: 4108 3324 85 14 0 3774 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18488

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 29697
/proc/meminfo: memFree=1721712/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=28424 CPUtime=25.46
/proc/29692/stat : 29692 (SATzilla2009_I) R 29690 29692 29623 0 -1 4194304 11840 31258 0 0 707 9 1808 22 25 0 1 0 163153759 29106176 5792 1992294400 134512640 136149169 4294956224 18446744073709551615 135542494 0 0 4096 3 0 0 0 17 0 0 0
/proc/29692/statm: 7106 5792 207 399 0 6703 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28424

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29698
/proc/meminfo: memFree=1689384/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=44136 CPUtime=24.56
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 2450 6 0 0 25 0 1 0 163156411 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523679 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 60260

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29698
/proc/meminfo: memFree=1689448/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=44136 CPUtime=75.74
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 7568 6 0 0 25 0 1 0 163156411 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523767 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 60260

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29698
/proc/meminfo: memFree=1689448/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=44136 CPUtime=135.71
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 13565 6 0 0 25 0 1 0 163156411 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523786 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 60260

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29698
/proc/meminfo: memFree=1689448/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=44136 CPUtime=195.7
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 19564 6 0 0 25 0 1 0 163156411 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523818 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 60260

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29698
/proc/meminfo: memFree=1689384/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=44136 CPUtime=255.67
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 25561 6 0 0 25 0 1 0 163156411 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523962 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 60260

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29698
/proc/meminfo: memFree=1689384/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=44136 CPUtime=315.66
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 12440 0 0 0 31560 6 0 0 25 0 1 0 163156411 45195264 10154 1992294400 134512640 135078026 4294956192 18446744073709551615 134523741 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 11034 10154 71 138 0 10893 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 60260

[startup+402.303 s]

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


[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1653032/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9251.55
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 925133 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523741 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9278.02
Current children cumulated vsize (KiB) 93672

[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1653032/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9311.53
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 931131 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523741 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9338
Current children cumulated vsize (KiB) 93672

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1653032/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9371.5
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 937128 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523784 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9397.97
Current children cumulated vsize (KiB) 93672

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1653032/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9431.46
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 943124 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9457.93
Current children cumulated vsize (KiB) 93672

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1653032/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9491.44
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 949122 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523627 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9517.91
Current children cumulated vsize (KiB) 93672

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652968/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9551.41
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 955119 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523741 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9577.88
Current children cumulated vsize (KiB) 93672

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652968/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9611.38
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 961116 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523892 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9637.85
Current children cumulated vsize (KiB) 93672

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652840/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9671.36
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 967114 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523802 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9697.83
Current children cumulated vsize (KiB) 93672

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652776/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9731.33
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 973111 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523818 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9757.8
Current children cumulated vsize (KiB) 93672

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652776/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9791.29
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 979107 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523741 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9817.76
Current children cumulated vsize (KiB) 93672

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652776/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9851.26
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 985104 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134534226 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9877.73
Current children cumulated vsize (KiB) 93672

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652776/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9911.24
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 991102 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523659 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9937.71
Current children cumulated vsize (KiB) 93672

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652712/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9971.23
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 997101 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523824 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9997.7
Current children cumulated vsize (KiB) 93672

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

[startup+10002.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 29720
/proc/meminfo: memFree=1652712/2055920 swapFree=4192812/4192956
[pid=29692] ppid=29690 vsize=16124 CPUtime=26.47
/proc/29692/stat : 29692 (SATzilla2009_I) S 29690 29692 29623 0 -1 4194304 11857 31258 0 0 805 12 1808 22 25 0 1 0 163153759 16510976 3773 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/29692/statm: 4031 3773 217 399 0 3628 0
[pid=29698] ppid=29692 vsize=77548 CPUtime=9971.42
/proc/29698/stat : 29698 (mxc-sr08) R 29692 29692 29623 0 -1 4194304 20706 0 0 0 997120 22 0 0 25 0 1 0 163156411 79409152 18420 1992294400 134512640 135078026 4294956192 18446744073709551615 134523671 0 0 8392704 0 0 0 0 17 0 0 0
/proc/29698/statm: 19387 18420 71 138 0 19246 0
Current children cumulated CPU time (s) 9997.89
Current children cumulated vsize (KiB) 93672

Child status: 17
Real time (s): 10002.6
CPU time (s): 9998
CPU user time (s): 9997.4
CPU system time (s): 0.597909
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 93672

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

runsolver used 9.25359 second user time and 27.1239 second system time

The end

Launcher Data 

Begin job on node30 at 2009-05-03 13:46:50
IDJOB=1773930
IDBENCH=70824
IDSOLVER=616
FILE ID=node30/1773930-1241351209
PBS_JOBID= 9225555
Free space on /tmp= 66508 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-14.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773930-1241351209/watcher-1773930-1241351209 -o /tmp/evaluation-result-1773930-1241351209/solver-1773930-1241351209 -C 10000 -W 12000 -M 1800  HOME/SATzilla2009_I HOME/instance-1773930-1241351209.cnf

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

MD5SUM BENCH= 5822cc7fe01f06c27406011d612b5e7d
RANDOM SEED=760559657

node30.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.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1748248 kB
Buffers:         37712 kB
Cached:         195324 kB
SwapCached:          0 kB
Active:         140372 kB
Inactive:       107096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1748248 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           35544 kB
Writeback:           0 kB
Mapped:          24172 kB
Slab:            46380 kB
Committed_AS:   776356 kB
PageTables:       1356 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= 66476 MiB
End job on node30 at 2009-05-03 16:33:33