Trace number 1538523

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) 1199.72 1200.33

General information on the benchmark

NameRANDOM/LARGE/3SAT/UNKNOWN/2000/
unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
MD5SUM05f00f0c3f7e171627ff97eb0175accd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.58591
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of clauses8400
Sum of the clauses size25200
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

17.85/17.91	c SATzilla is building models for class 2
17.85/17.91	c run presolver march_dl2004 for 5 seconds ... 
17.85/17.91	c Bin: Executing march_dl2004
17.85/17.91	c spawning binary file with 5 seconds ...
17.85/17.91	c child exit by a signal
17.85/17.91	c march_dl2004 returned code 137.
17.85/17.91	c run presolver mxc-sr08 for 5 seconds ... 
17.85/17.91	c Bin: Executing mxc-sr08
17.85/17.91	c spawning binary file with 5 seconds ...
17.85/17.91	c child exit by a signal
17.85/17.91	c mxc-sr08 returned code 137.
17.85/17.91	c Orignal number of varibales is 2000, number of clauses is 8400 
17.85/17.91	c predicted feature computation time is 7.372407 
17.85/17.91	c Bin: Executing satelite
17.85/17.91	c spawning binary file with 240 seconds ...
17.85/17.91	c child exited successfully
17.85/17.91	c satzilla computing base features
17.85/17.91	c Number of variabe is: 1948, Number of clause is : 8342 
17.85/17.91	c Initializing...
17.85/17.91	c satzilla compute diameter ...
17.85/17.91	c start diameter features ...
17.85/17.91	c satzilla doing clause learning
17.85/17.91	c start clause learning features ...
17.85/17.91	c Bin: Executing zchaff07
17.85/17.91	c spawning binary file with 2 seconds ...
17.85/17.91	c child exit by a signal
17.85/17.91	c satzilla doing survey propogation probe
17.85/17.91	c do survay propogation for 2 second ...
17.85/17.91	c satzilla doing local search probe
17.85/17.91	c satzilla doing lobjois search-space size estimate
17.85/17.91	c features are:2000 8400 1948 8342 0.026694 0.00695277 0.233517 0.497555 0.585994 0.709987 0.00155869 0.0651062 0.00154004 0.00308008 0.157231 0 0.965596 0.00155869 0.282561 0.000599377 0.00383601 2.68201 0.229537 0.171599 0 1 3.3651 0.00077199 0.40231 0 0.00239751 2.33155 0.496284 0.00313965 0.285232 0.00119875 0.00803165 4.7093 0.0964235 4 5 0.602781 168.783 0.398547 112 405 247 124 172 136 147 32.0567 0.08149 28.4222 39.7934 35.4939 28.8023 33.3459 29.9062 31.7453 0.392399 0.584224 0.000110084 1 0.713167 0.0878644 0.575023 0.204523 0.377021 0.0936646 0.635454 0.00517028 0.349039 0.175522 0.0293971 0.12732 0.0476674 0.0802579 64.8086 0.212985 424.349 0.0784983 426 407 445 0.432067 0.323074 0.857745 0.0376821 0.273608 0.406501 
17.85/17.91	c satzilla's ranking:
17.85/17.91	c 1) minisat20SAT07: 2.869544
17.85/17.91	c 2) march_dl2004: 2.581744
17.85/17.91	c 3) mxc-sr08: 2.566465
17.85/17.91	c 4) minisat20: 2.483178
17.85/17.91	c 5) zchaff_rand: 1.711715
17.85/17.91	c 6) vallst: 1.026110
17.85/17.91	c 7) tts-4-0: 0.273057
17.85/17.91	c 8) SATenstein: -10000.000000
17.85/17.91	c 9) gnovelty+: -10000.000000
17.85/17.91	c 10) adaptg2wsat+: -10000.000000
17.85/17.91	c 11) adaptg2wsat0: -10000.000000
17.85/17.91	c 12) picosat846: -10000.000000
17.85/17.91	c 13) kcnfs04SAT07: -10000.000000
17.85/17.91	c satzilla running minisat20SAT07 ... 
1199.65/1200.33	c Bin: Executing minisat20SAT07
1199.65/1200.33	c spawning binary file with 1182 seconds ...
1199.65/1200.33	c child exit by a signal
1199.65/1200.33	c minisat20SAT07 returned code 137.
1199.65/1200.33	c satzilla running march_dl2004 ... 
1199.65/1200.33	c Bin: Executing march_dl2004
1199.65/1200.33	c march_dl2004 returned code 1.
1199.65/1200.33	c satzilla running mxc-sr08 ... 
1199.65/1200.33	c Bin: Executing mxc-sr08
1199.65/1200.33	c mxc-sr08 returned code 1.
1199.65/1200.33	c satzilla running minisat20 ... 
1199.65/1200.33	c Bin: Executing minisat20
1199.65/1200.33	c minisat20 returned code 1.
1199.65/1200.33	c satzilla running zchaff_rand ... 
1199.65/1200.33	c Bin: Executing zchaff_rand
1199.65/1200.33	c zchaff_rand returned code 1.
1199.65/1200.33	c satzilla running vallst ... 
1199.65/1200.33	c Bin: Executing vallst
1199.65/1200.33	c vallst returned code 1.
1199.65/1200.33	c satzilla running tts-4-0 ... 
1199.65/1200.33	c Bin: Executing tts-4-0
1199.65/1200.33	c tts-4-0 returned code 1.
1199.65/1200.33	c satzilla running SATenstein ... 
1199.65/1200.33	c Bin: Executing SATenstein
1199.65/1200.33	c SATenstein returned code 1.
1199.65/1200.33	c satzilla running gnovelty+ ... 
1199.65/1200.33	c Bin: Executing gnovelty+
1199.65/1200.33	c gnovelty+ returned code 1.
1199.65/1200.33	c satzilla running adaptg2wsat+ ... 
1199.65/1200.33	c Bin: Executing adaptg2wsat+
1199.65/1200.33	c adaptg2wsat+ returned code 1.
1199.65/1200.33	c satzilla running adaptg2wsat0 ... 
1199.65/1200.33	c Bin: Executing adaptg2wsat0
1199.65/1200.33	c adaptg2wsat0 returned code 1.
1199.65/1200.33	c satzilla running picosat846 ... 
1199.65/1200.33	c Bin: Executing picosat846
1199.65/1200.33	c picosat846 returned code 1.
1199.65/1200.33	c satzilla running kcnfs04SAT07 ... 
1199.65/1200.33	c Bin: Executing kcnfs04SAT07
1199.65/1200.33	c kcnfs04SAT07 returned code 1.
1199.65/1200.33	c ERROR: All Failed! 
1199.65/1200.33	c SATZILLA_TIME=1199.890000

Verifier Data 

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

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1538523-1238434100/watcher-1538523-1238434100 -o /tmp/evaluation-result-1538523-1238434100/solver-1538523-1238434100 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1538523-1238434100.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25675
/proc/meminfo: memFree=1201520/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) R 25673 25675 25480 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=768 CPUtime=0
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 1116072107 786432 109 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 192 109 50 118 0 71 0

[startup+0.063657 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25675
/proc/meminfo: memFree=1201520/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=2036 CPUtime=0.05
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 500 0 0 0 5 0 0 0 19 0 1 0 1116072107 2084864 402 1992294400 134512640 134996440 4294956176 18446744073709551615 134542421 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 509 402 65 118 0 388 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4092

[startup+0.102659 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25675
/proc/meminfo: memFree=1201520/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=2952 CPUtime=0.09
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 756 0 0 0 9 0 0 0 19 0 1 0 1116072107 3022848 654 1992294400 134512640 134996440 4294956176 18446744073709551615 134652417 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 738 654 72 118 0 617 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5008

[startup+0.301675 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25675
/proc/meminfo: memFree=1201520/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=3116 CPUtime=0.29
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 772 0 0 0 29 0 0 0 21 0 1 0 1116072107 3190784 670 1992294400 134512640 134996440 4294956176 18446744073709551615 134514087 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 779 670 74 118 0 658 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5172

[startup+0.701707 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 25675
/proc/meminfo: memFree=1201520/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=3116 CPUtime=0.69
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 791 0 0 0 69 0 0 0 25 0 1 0 1116072107 3190784 689 1992294400 134512640 134996440 4294956176 18446744073709551615 134552325 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 779 689 74 118 0 658 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5172

[startup+1.50177 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 25677
/proc/meminfo: memFree=1198880/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=3244 CPUtime=1.49
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 814 0 0 0 149 0 0 0 25 0 1 0 1116072107 3321856 712 1992294400 134512640 134996440 4294956176 18446744073709551615 134527818 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 811 712 74 118 0 690 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5300

[startup+3.10191 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 25677
/proc/meminfo: memFree=1198624/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=0
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1116072107 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25675/statm: 514 112 96 399 0 111 0
[pid=25676] ppid=25675 vsize=3244 CPUtime=3.09
/proc/25676/stat : 25676 (march_dl2004) R 25675 25675 25480 0 -1 4194304 833 0 0 0 309 0 0 0 25 0 1 0 1116072107 3321856 731 1992294400 134512640 134996440 4294956176 18446744073709551615 134526954 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25676/statm: 811 731 74 118 0 690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5300

[startup+6.30118 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 25678
/proc/meminfo: memFree=1199784/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2056 CPUtime=4.99
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 156 852 0 0 0 0 499 0 16 0 1 0 1116072107 2105344 125 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 514 125 107 399 0 111 0
[pid=25678] ppid=25675 vsize=2784 CPUtime=1.29
/proc/25678/stat : 25678 (mxc-sr08) R 25675 25675 25480 0 -1 4194304 640 0 0 0 129 0 0 0 25 0 1 0 1116072607 2850816 601 1992294400 134512640 135078026 4294956176 18446744073709551615 134534321 0 0 8392704 0 0 0 0 17 1 0 0
/proc/25678/statm: 696 601 71 138 0 555 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 4840

[startup+12.7017 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 25680
/proc/meminfo: memFree=1199208/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=2824 CPUtime=11.54
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 451 1990 0 0 151 0 1002 1 25 0 1 0 1116072107 2891776 341 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 706 341 136 399 0 303 0
[pid=25680] ppid=25675 vsize=3464 CPUtime=1.11
/proc/25680/stat : 25680 (zchaff07) R 25675 25675 25480 0 -1 4194304 703 0 0 0 105 6 0 0 25 0 1 0 1116073264 3547136 639 1992294400 134512640 135538726 4294956240 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25680/statm: 866 639 126 250 0 613 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 6288

[startup+25.5028 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1195944/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=5764 CPUtime=7.56
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 1132 0 0 0 756 0 0 0 25 0 1 0 1116073899 5902336 1127 1992294400 134512640 135078472 4294956176 18446744073709551615 134550713 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 1441 1127 74 138 0 1300 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 9872

[startup+51.1029 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1193384/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=8272 CPUtime=33.15
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 1750 0 0 0 3314 1 0 0 25 0 1 0 1116073899 8470528 1745 1992294400 134512640 135078472 4294956176 18446744073709551615 134550729 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 2068 1745 74 138 0 1927 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 12380

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1191720/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=9988 CPUtime=84.34
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 2195 0 0 0 8433 1 0 0 25 0 1 0 1116073899 10227712 2190 1992294400 134512640 135078472 4294956176 18446744073709551615 134550720 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 2497 2190 74 138 0 2356 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 14096

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1189992/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=11704 CPUtime=144.32
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 2614 0 0 0 14430 2 0 0 25 0 1 0 1116073899 11984896 2609 1992294400 134512640 135078472 4294956176 18446744073709551615 134550642 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 2926 2609 74 138 0 2785 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 15812

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1188904/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=12808 CPUtime=204.29
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 2895 0 0 0 20427 2 0 0 25 0 1 0 1116073899 13115392 2890 1992294400 134512640 135078472 4294956176 18446744073709551615 134550720 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 3202 2890 74 138 0 3061 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 16916

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1188200/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=13604 CPUtime=264.26
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 3095 0 0 0 26424 2 0 0 25 0 1 0 1116073899 13930496 3090 1992294400 134512640 135078472 4294956176 18446744073709551615 134550729 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 3401 3090 74 138 0 3260 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 17712

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25681
/proc/meminfo: memFree=1187176/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=14540 CPUtime=324.24
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 3325 0 0 0 32421 3 0 0 25 0 1 0 1116073899 14888960 3320 1992294400 134512640 135078472 4294956176 18446744073709551615 134550579 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 3635 3320 74 138 0 3494 0

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


[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1182504/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=18900 CPUtime=744.02
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4411 0 0 0 74397 5 0 0 25 0 1 0 1116073899 19353600 4406 1992294400 134512640 135078472 4294956176 18446744073709551615 134550985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 4725 4406 74 138 0 4584 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 23008

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1182120/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=19560 CPUtime=803.98
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4565 0 0 0 80393 5 0 0 25 0 1 0 1116073899 20029440 4560 1992294400 134512640 135078472 4294956176 18446744073709551615 134556799 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 4890 4560 74 138 0 4749 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 23668

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1182056/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=19560 CPUtime=863.94
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4579 0 0 0 86389 5 0 0 25 0 1 0 1116073899 20029440 4574 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 4890 4574 74 138 0 4749 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 23668

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1182056/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=19560 CPUtime=923.91
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4580 0 0 0 92386 5 0 0 25 0 1 0 1116073899 20029440 4575 1992294400 134512640 135078472 4294956176 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 1 0 0
/proc/25681/statm: 4890 4575 74 138 0 4749 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 23668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1181800/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=19824 CPUtime=983.88
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4637 0 0 0 98383 5 0 0 25 0 1 0 1116073899 20299776 4632 1992294400 134512640 135078472 4294956176 18446744073709551615 134550726 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 4956 4632 74 138 0 4815 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 23932

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1181736/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=19868 CPUtime=1043.86
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4668 0 0 0 104381 5 0 0 25 0 1 0 1116073899 20344832 4663 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 4967 4663 74 138 0 4826 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 23976

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180520/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21220 CPUtime=1103.83
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 4968 0 0 0 110377 6 0 0 25 0 1 0 1116073899 21729280 4963 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5305 4963 74 138 0 5164 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 25328

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1163.79
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 116373 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550726 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 25860

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1171.79
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 117173 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550692 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1189.66
Current children cumulated vsize (KiB) 25860

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1178.19
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 117813 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1196.06
Current children cumulated vsize (KiB) 25860

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1179.78
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 117972 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550665 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1197.65
Current children cumulated vsize (KiB) 25860

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1180.58
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 118052 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550729 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1198.45
Current children cumulated vsize (KiB) 25860

[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1181.38
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 118132 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550573 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1199.25
Current children cumulated vsize (KiB) 25860

[startup+1200.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25683
/proc/meminfo: memFree=1180008/2055920 swapFree=4176996/4192956
[pid=25675] ppid=25673 vsize=4108 CPUtime=17.87
/proc/25675/stat : 25675 (SATzilla2009_C) S 25673 25675 25480 0 -1 4194304 992 2827 0 0 563 22 1188 14 25 0 1 0 1116072107 4206592 586 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25675/statm: 1027 586 219 399 0 624 0
[pid=25681] ppid=25675 vsize=21752 CPUtime=1181.78
/proc/25681/stat : 25681 (minisat20SAT07) R 25675 25675 25480 0 -1 4194304 5100 0 0 0 118172 6 0 0 25 0 1 0 1116073899 22274048 5095 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25681/statm: 5438 5095 74 138 0 5297 0
Current children cumulated CPU time (s) 1199.65
Current children cumulated vsize (KiB) 25860

Child status: 17
Real time (s): 1200.33
CPU time (s): 1199.72
CPU user time (s): 1199.27
CPU system time (s): 0.449931
CPU usage (%): 99.9492
Max. virtual memory (cumulated for all children) (KiB): 25860

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

runsolver used 1.01684 second user time and 3.35649 second system time

The end

Launcher Data 

Begin job on node50 at 2009-03-30 19:28:20
IDJOB=1538523
IDBENCH=70287
IDSOLVER=527
FILE ID=node50/1538523-1238434100
PBS_JOBID= 9061589
Free space on /tmp= 64220 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1538523-1238434100/watcher-1538523-1238434100 -o /tmp/evaluation-result-1538523-1238434100/solver-1538523-1238434100 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1538523-1238434100.cnf

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

MD5SUM BENCH= 05f00f0c3f7e171627ff97eb0175accd
RANDOM SEED=992445195

node50.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.238
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.238
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:       1202064 kB
Buffers:         99440 kB
Cached:         648976 kB
SwapCached:       9920 kB
Active:         192740 kB
Inactive:       567336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1202064 kB
SwapTotal:     4192956 kB
SwapFree:      4176996 kB
Dirty:           31592 kB
Writeback:           0 kB
Mapped:          17304 kB
Slab:            79828 kB
Committed_AS:  3043796 kB
PageTables:       1456 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= 64192 MiB
End job on node50 at 2009-03-30 19:48:20