Trace number 1734716

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.65 1200.14

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2640c305320g6.cnf
MD5SUMb8aeb5269daff3f4e23b9dd675aa8076
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

Solver Data 

25.76/25.81	c SATzilla is building models for class 2
25.76/25.81	c run presolver march_dl2004 for 5 seconds ... 
25.76/25.81	c Bin: Executing march_dl2004
25.76/25.81	c spawning binary file with 5 seconds ...
25.76/25.81	c child exit by a signal
25.76/25.81	c march_dl2004 returned code 137.
25.76/25.81	c run presolver mxc-sr08 for 5 seconds ... 
25.76/25.81	c Bin: Executing mxc-sr08
25.76/25.81	c spawning binary file with 5 seconds ...
25.76/25.81	c child exit by a signal
25.76/25.81	c mxc-sr08 returned code 137.
25.76/25.81	c Orignal number of varibales is 2640, number of clauses is 305320 
25.76/25.81	c predicted feature computation time is 13.855478 
25.76/25.81	c Bin: Executing satelite
25.76/25.81	c spawning binary file with 240 seconds ...
25.76/25.81	c child exited successfully
25.76/25.81	c satzilla computing base features
25.76/25.81	c Number of variabe is: 2560, Number of clause is : 301927 
25.76/25.81	c Initializing...
25.76/25.81	c satzilla compute diameter ...
25.76/25.81	c start diameter features ...
25.76/25.81	c satzilla doing clause learning
25.76/25.81	c start clause learning features ...
25.76/25.81	c Bin: Executing zchaff07
25.76/25.81	c spawning binary file with 2 seconds ...
25.76/25.81	c child exit by a signal
25.76/25.81	c satzilla doing survey propogation probe
25.76/25.81	c do survay propogation for 2 second ...
25.76/25.81	c satzilla doing local search probe
25.76/25.81	c satzilla doing lobjois search-space size estimate
25.76/25.81	c features are:2640 305320 2560 301927 0.03125 0.0112378 0.00847887 0.997359 0.0124335 0.180601 0.00131792 1.90541 0.00078125 0.0242188 0.190166 0.955996 0.955996 0.00131792 0.170959 0.000881008 0.00202036 5.50972 0.160912 0.0324177 0.0728242 0.273239 2.58788 0.000746872 0.163804 0.000480249 0.00114266 4.93489 0.955996 0.00159323 0.174748 0.000887632 0.00252379 3 0 3 3 -0 105.167 0.45729 40 169 169 40 159 65 121 72.8044 0.116543 63.1775 89.15 89.15 63.1775 77.1231 66.4528 71.4935 0.851853 0.181373 0.188369 0.999553 0.953994 0.679536 0.936897 0.852516 0.901426 6.1763e-05 5.44887 -1.11022e-16 0.00542683 5.38848e-05 2.51799e-13 1.94804e-06 1.25957e-11 5.20139e-09 67.4286 0.0838364 1114 0.288237 1195 1177 1225 57.8696 0.0460386 0.99998 0.00033243 0.813058 0.926247 
25.76/25.81	c satzilla's ranking:
25.76/25.81	c 1) mxc-sr08: 4.326330
25.76/25.81	c 2) march_dl2004: 3.422769
25.76/25.81	c 3) minisat20SAT07: 2.123860
25.76/25.81	c 4) zchaff_rand: 1.566178
25.76/25.81	c 5) minisat20: 1.466300
25.76/25.81	c 6) tts-4-0: 0.274227
25.76/25.81	c 7) vallst: 0.000832
25.76/25.81	c 8) SATenstein: -10000.000000
25.76/25.81	c 9) gnovelty+: -10000.000000
25.76/25.81	c 10) adaptg2wsat+: -10000.000000
25.76/25.81	c 11) adaptg2wsat0: -10000.000000
25.76/25.81	c 12) picosat846: -10000.000000
25.76/25.81	c 13) kcnfs04SAT07: -10000.000000
25.76/25.81	c satzilla running mxc-sr08 ... 
1199.60/1200.13	c Bin: Executing mxc-sr08
1199.60/1200.13	c spawning binary file with 1174 seconds ...
1199.60/1200.13	c child exit by a signal
1199.60/1200.13	c mxc-sr08 returned code 137.
1199.60/1200.13	c satzilla running march_dl2004 ... 
1199.60/1200.13	c Bin: Executing march_dl2004
1199.60/1200.13	c march_dl2004 returned code 1.
1199.60/1200.13	c satzilla running minisat20SAT07 ... 
1199.60/1200.13	c Bin: Executing minisat20SAT07
1199.60/1200.13	c minisat20SAT07 returned code 1.
1199.60/1200.13	c satzilla running zchaff_rand ... 
1199.60/1200.13	c Bin: Executing zchaff_rand
1199.60/1200.13	c zchaff_rand returned code 1.
1199.60/1200.13	c satzilla running minisat20 ... 
1199.60/1200.13	c Bin: Executing minisat20
1199.60/1200.13	c minisat20 returned code 1.
1199.60/1200.13	c satzilla running tts-4-0 ... 
1199.60/1200.13	c Bin: Executing tts-4-0
1199.60/1200.13	c tts-4-0 returned code 1.
1199.60/1200.13	c satzilla running vallst ... 
1199.60/1200.13	c Bin: Executing vallst
1199.60/1200.13	c vallst returned code 1.
1199.60/1200.13	c satzilla running SATenstein ... 
1199.60/1200.13	c Bin: Executing SATenstein
1199.60/1200.13	c SATenstein returned code 1.
1199.60/1200.13	c satzilla running gnovelty+ ... 
1199.60/1200.13	c Bin: Executing gnovelty+
1199.60/1200.13	c gnovelty+ returned code 1.
1199.60/1200.13	c satzilla running adaptg2wsat+ ... 
1199.60/1200.13	c Bin: Executing adaptg2wsat+
1199.60/1200.13	c adaptg2wsat+ returned code 1.
1199.60/1200.13	c satzilla running adaptg2wsat0 ... 
1199.60/1200.13	c Bin: Executing adaptg2wsat0
1199.60/1200.13	c adaptg2wsat0 returned code 1.
1199.60/1200.13	c satzilla running picosat846 ... 
1199.60/1200.13	c Bin: Executing picosat846
1199.60/1200.13	c picosat846 returned code 1.
1199.60/1200.13	c satzilla running kcnfs04SAT07 ... 
1199.60/1200.13	c Bin: Executing kcnfs04SAT07
1199.60/1200.13	c kcnfs04SAT07 returned code 1.
1199.60/1200.13	c ERROR: All Failed! 
1199.60/1200.13	c SATZILLA_TIME=1199.810000

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-1734716-1240796572/watcher-1734716-1240796572 -o /tmp/evaluation-result-1734716-1240796572/solver-1734716-1240796572 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1734716-1240796572.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: 1.00 1.00 1.10 3/64 26332
/proc/meminfo: memFree=1614264/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) R 26330 26332 26134 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=3160 CPUtime=0
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 414 0 0 0 0 0 0 0 18 0 1 0 107684455 3235840 409 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 790 410 50 118 0 669 0

[startup+0.106921 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 26332
/proc/meminfo: memFree=1614264/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=4744 CPUtime=0.1
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 923 0 0 0 10 0 0 0 20 0 1 0 107684455 4857856 918 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 1186 918 50 118 0 1065 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6800

[startup+0.201927 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 26332
/proc/meminfo: memFree=1614264/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=6328 CPUtime=0.19
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 1398 0 0 0 19 0 0 0 20 0 1 0 107684455 6479872 1393 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 1582 1393 50 118 0 1461 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8384

[startup+0.301936 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 26332
/proc/meminfo: memFree=1614264/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=13888 CPUtime=0.29
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 1909 0 0 0 29 0 0 0 21 0 1 0 107684455 14221312 1903 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 3472 1907 51 118 0 3351 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15944

[startup+0.701972 s]
/proc/loadavg: 1.00 1.00 1.10 3/64 26332
/proc/meminfo: memFree=1614264/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=18600 CPUtime=0.69
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 9201 0 0 0 66 3 0 0 25 0 1 0 107684455 19046400 3391 1992294400 134512640 134996440 4294956176 18446744073709551615 134543118 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 4650 3391 57 118 0 4529 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20656

[startup+1.50204 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 26334
/proc/meminfo: memFree=1601640/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=36012 CPUtime=1.49
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 24026 0 0 0 138 11 0 0 25 0 1 0 107684455 36876288 7727 1992294400 134512640 134996440 4294956176 18446744073709551615 134543106 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 9003 7727 73 118 0 8882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38068

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 26334
/proc/meminfo: memFree=1591400/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=0
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 107684455 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/26332/statm: 514 112 96 399 0 111 0
[pid=26333] ppid=26332 vsize=40032 CPUtime=3.09
/proc/26333/stat : 26333 (march_dl2004) R 26332 26332 26134 0 -1 4194304 35734 0 0 0 294 15 0 0 25 0 1 0 107684455 40992768 6109 1992294400 134512640 134996440 4294956176 18446744073709551615 134527810 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26333/statm: 10008 6109 75 118 0 9887 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42088

[startup+6.30146 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 26335
/proc/meminfo: memFree=1597672/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=5
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 156 36475 0 0 0 0 483 17 16 0 1 0 107684455 2105344 125 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 514 125 107 399 0 111 0
[pid=26335] ppid=26332 vsize=17060 CPUtime=1.28
/proc/26335/stat : 26335 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 5126 0 0 0 126 2 0 0 25 0 1 0 107684955 17469440 4138 1992294400 134512640 135078026 4294956176 18446744073709551615 134561110 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26335/statm: 4265 4138 55 138 0 4124 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19116

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 26336
/proc/meminfo: memFree=1589480/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=2056 CPUtime=9.99
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 182 43056 0 0 0 0 979 20 16 0 1 0 107684455 2105344 140 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 514 140 122 399 0 111 0
[pid=26336] ppid=26332 vsize=25800 CPUtime=2.67
/proc/26336/stat : 26336 (satelite) R 26332 26332 26134 0 -1 4194304 6159 0 0 0 263 4 0 0 25 0 1 0 107685456 26419200 5555 1992294400 134512640 135037501 4294956160 18446744073709551615 134698573 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26336/statm: 6450 5555 68 128 0 6319 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 27856

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.09 2/65 26337
/proc/meminfo: memFree=1577840/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.46
/proc/26332/stat : 26332 (SATzilla2009_C) R 26330 26332 26134 0 -1 4194304 16017 57184 0 0 1063 8 1443 32 25 0 1 0 107684455 33177600 7870 1992294400 134512640 136149437 4294956208 18446744073709551615 134541992 0 0 4096 3 0 0 0 17 0 0 0
/proc/26332/statm: 8100 7870 213 399 0 7697 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 32400

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 26338
/proc/meminfo: memFree=1547688/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=31784 CPUtime=25.26
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 9403 0 0 0 2521 5 0 0 25 0 1 0 107687036 32546816 7700 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 7946 7700 71 138 0 7805 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 64184

[startup+102.302 s]
/proc/loadavg: 1.04 1.01 1.09 2/66 26338
/proc/meminfo: memFree=1525096/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=54092 CPUtime=76.45
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 14981 0 0 0 7634 11 0 0 25 0 1 0 107687036 55390208 13278 1992294400 134512640 135078026 4294956176 18446744073709551615 134534462 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 13523 13278 71 138 0 13382 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 86492

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.08 2/66 26338
/proc/meminfo: memFree=1508968/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=70188 CPUtime=136.42
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 18983 0 0 0 13626 16 0 0 25 0 1 0 107687036 71872512 17280 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 17547 17280 71 138 0 17406 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 102588

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.08 2/66 26338
/proc/meminfo: memFree=1486056/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=93560 CPUtime=196.4
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 24714 0 0 0 19617 23 0 0 25 0 1 0 107687036 95805440 23011 1992294400 134512640 135078026 4294956176 18446744073709551615 134534301 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 23390 23011 71 138 0 23249 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 125960

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/66 26338
/proc/meminfo: memFree=1484712/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=95276 CPUtime=256.38
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 25144 0 0 0 25614 24 0 0 25 0 1 0 107687036 97562624 23441 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 23819 23441 71 138 0 23678 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 127676

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/66 26338
/proc/meminfo: memFree=1458280/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=121164 CPUtime=316.36
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 31658 0 0 0 31604 32 0 0 25 0 1 0 107687036 124071936 29955 1992294400 134512640 135078026 4294956176 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 30291 29955 71 138 0 30150 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 153564


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


[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/66 26338
/proc/meminfo: memFree=1403112/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=176788 CPUtime=796.17
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 45377 0 0 0 79568 49 0 0 25 0 1 0 107687036 181030912 43674 1992294400 134512640 135078026 4294956176 18446744073709551615 134524151 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 44197 43674 71 138 0 44056 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 209188

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 26338
/proc/meminfo: memFree=1394920/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=185120 CPUtime=856.14
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 47438 0 0 0 85563 51 0 0 25 0 1 0 107687036 189562880 45735 1992294400 134512640 135078026 4294956176 18446744073709551615 134534640 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 46280 45735 71 138 0 46139 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 217520

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/66 26338
/proc/meminfo: memFree=1382504/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=197568 CPUtime=916.12
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 50569 0 0 0 91557 55 0 0 25 0 1 0 107687036 202309632 48866 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 49392 48866 71 138 0 49251 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 229968

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26338
/proc/meminfo: memFree=1368744/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=211392 CPUtime=976.1
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 53982 0 0 0 97551 59 0 0 25 0 1 0 107687036 216465408 52279 1992294400 134512640 135078026 4294956176 18446744073709551615 134534226 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 52848 52279 71 138 0 52707 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 243792

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26338
/proc/meminfo: memFree=1364392/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1036.07
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55050 0 0 0 103546 61 0 0 25 0 1 0 107687036 220839936 53347 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53347 71 138 0 53775 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 248064

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 26344
/proc/meminfo: memFree=1364200/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1096.05
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55051 0 0 0 109543 62 0 0 25 0 1 0 107687036 220839936 53348 1992294400 134512640 135078026 4294956176 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53348 71 138 0 53775 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 248064

[startup+1182.3 s]
/proc/loadavg: 1.49 1.12 1.04 3/72 28305
/proc/meminfo: memFree=1201416/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1156.02
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55053 0 0 0 115527 75 0 0 25 0 1 0 107687036 220839936 53350 1992294400 134512640 135078026 4294956176 18446744073709551615 134534513 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53350 71 138 0 53775 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 248064

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

[startup+1190.4 s]
/proc/loadavg: 1.49 1.14 1.04 2/66 28346
/proc/meminfo: memFree=1187896/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1164.12
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55054 0 0 0 116335 77 0 0 25 0 1 0 107687036 220839936 53351 1992294400 134512640 135078026 4294956176 18446744073709551615 134534407 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53351 71 138 0 53775 0
Current children cumulated CPU time (s) 1189.9
Current children cumulated vsize (KiB) 248064

[startup+1196.8 s]
/proc/loadavg: 1.45 1.13 1.04 2/66 28346
/proc/meminfo: memFree=1188192/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1170.52
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55054 0 0 0 116975 77 0 0 25 0 1 0 107687036 220839936 53351 1992294400 134512640 135078026 4294956176 18446744073709551615 134534650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53351 71 138 0 53775 0
Current children cumulated CPU time (s) 1196.3
Current children cumulated vsize (KiB) 248064

[startup+1198.4 s]
/proc/loadavg: 1.45 1.13 1.04 2/66 28346
/proc/meminfo: memFree=1188192/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1172.11
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55054 0 0 0 117134 77 0 0 25 0 1 0 107687036 220839936 53351 1992294400 134512640 135078026 4294956176 18446744073709551615 134534321 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53351 71 138 0 53775 0
Current children cumulated CPU time (s) 1197.89
Current children cumulated vsize (KiB) 248064

[startup+1199.2 s]
/proc/loadavg: 1.41 1.13 1.04 2/66 28346
/proc/meminfo: memFree=1188256/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1172.92
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55054 0 0 0 117215 77 0 0 25 0 1 0 107687036 220839936 53351 1992294400 134512640 135078026 4294956176 18446744073709551615 134534253 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53351 71 138 0 53775 0
Current children cumulated CPU time (s) 1198.7
Current children cumulated vsize (KiB) 248064

[startup+1199.6 s]
/proc/loadavg: 1.41 1.13 1.04 2/66 28346
/proc/meminfo: memFree=1188256/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1173.32
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55054 0 0 0 117255 77 0 0 25 0 1 0 107687036 220839936 53351 1992294400 134512640 135078026 4294956176 18446744073709551615 134534318 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53351 71 138 0 53775 0
Current children cumulated CPU time (s) 1199.1
Current children cumulated vsize (KiB) 248064

[startup+1200 s]
/proc/loadavg: 1.41 1.13 1.04 2/66 28346
/proc/meminfo: memFree=1188256/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=215664 CPUtime=1173.72
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4194304 55054 0 0 0 117295 77 0 0 25 0 1 0 107687036 220839936 53351 1992294400 134512640 135078026 4294956176 18446744073709551615 134534215 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 53916 53351 71 138 0 53775 0
Current children cumulated CPU time (s) 1199.5
Current children cumulated vsize (KiB) 248064

[startup+1200.1 s]
/proc/loadavg: 1.41 1.13 1.04 2/66 28346
/proc/meminfo: memFree=1209952/2055920 swapFree=4181904/4192956
[pid=26332] ppid=26330 vsize=32400 CPUtime=25.78
/proc/26332/stat : 26332 (SATzilla2009_C) S 26330 26332 26134 0 -1 4194304 16029 57184 0 0 1095 8 1443 32 25 0 1 0 107684455 33177600 7876 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26332/statm: 8100 7876 219 399 0 7697 0
[pid=26338] ppid=26332 vsize=0 CPUtime=1173.82
/proc/26338/stat : 26338 (mxc-sr08) R 26332 26332 26134 0 -1 4195332 55054 0 0 0 117304 78 0 0 25 0 1 0 107687036 0 0 1992294400 0 0 0 0 0 256 0 8392704 0 0 0 0 17 0 0 0
/proc/26338/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.6
Current children cumulated vsize (KiB) 32400

Child status: 17
Real time (s): 1200.14
CPU time (s): 1199.65
CPU user time (s): 1198.43
CPU system time (s): 1.22281
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 248064

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

runsolver used 1.01085 second user time and 3.39348 second system time

The end

Launcher Data 

Begin job on node58 at 2009-04-27 03:42:52
IDJOB=1734716
IDBENCH=71282
IDSOLVER=527
FILE ID=node58/1734716-1240796572
PBS_JOBID= 9187339
Free space on /tmp= 65840 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2640c305320g6.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1734716-1240796572/watcher-1734716-1240796572 -o /tmp/evaluation-result-1734716-1240796572/solver-1734716-1240796572 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1734716-1240796572.cnf

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

MD5SUM BENCH= b8aeb5269daff3f4e23b9dd675aa8076
RANDOM SEED=227274374

node58.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.233
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.233
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:       1614744 kB
Buffers:         39500 kB
Cached:         338568 kB
SwapCached:       5112 kB
Active:         247652 kB
Inactive:       139016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1614744 kB
SwapTotal:     4192956 kB
SwapFree:      4181904 kB
Dirty:           35388 kB
Writeback:           0 kB
Mapped:          14364 kB
Slab:            40636 kB
Committed_AS:   400832 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= 65816 MiB
End job on node58 at 2009-04-27 04:02:53