Trace number 1539514

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) 1199.14 1199.63

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/UNKNOWN/460/
unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
MD5SUMc274543915c4e3a4d5b9fc155f904448
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark678.716
Satisfiable
(Un)Satisfiability was proved
Number of variables460
Number of clauses1955
Sum of the clauses size5865
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31955
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

19.26/19.33	c SATzilla is building models for class 3
19.26/19.33	c run presolver mxc-sr08 for 10 seconds ... 
19.26/19.33	c Bin: Executing mxc-sr08
19.26/19.33	c spawning binary file with 10 seconds ...
19.26/19.33	c child exit by a signal
19.26/19.33	c mxc-sr08 returned code 137.
19.26/19.33	c run presolver picosat846 for 5 seconds ... 
19.26/19.33	c Bin: Executing picosat846
19.26/19.33	c spawning binary file with 5 seconds ...
19.26/19.33	c child exit by a signal
19.26/19.33	c picosat846 returned code 137.
19.26/19.33	c Orignal number of varibales is 460, number of clauses is 1955 
19.26/19.33	c predicted feature computation time is 1.450654 
19.26/19.33	c Bin: Executing satelite
19.26/19.33	c spawning binary file with 240 seconds ...
19.26/19.33	c child exited successfully
19.26/19.33	c satzilla computing base features
19.26/19.33	c Number of variabe is: 443, Number of clause is : 1931 
19.26/19.33	c Initializing...
19.26/19.33	c satzilla doing clause learning
19.26/19.33	c start clause learning features ...
19.26/19.33	c Bin: Executing zchaff07
19.26/19.33	c spawning binary file with 2 seconds ...
19.26/19.33	c child exit by a signal
19.26/19.33	c satzilla doing survey propogation probe
19.26/19.33	c do survay propogation for 2 second ...
19.26/19.33	c satzilla doing local search probe
19.26/19.33	c features are:460 1955 443 1931 0.0383747 0.0124288 0.229415 0.495926 0.594788 0.780794 0.00689709 0.076345 0.00677201 0.0112867 0.216332 0 0.945624 0.00689709 0.291526 0.00258933 0.0176075 2.7085 0.218905 0.165905 0 1 3.2823 0.00343569 0.390202 0 0.0103573 2.31738 0.500777 0.0136796 0.290208 0.00517866 0.034697 3891.8 0.0150919 3824 3970 3970 3824 3946 3832 3887 25.8584 0.0365245 24.6464 27.1264 27.1264 24.6464 26.6837 25.0217 25.8137 0.371431 0.595979 0.000516675 1 0.677758 0.0676078 0.544236 0.194991 0.35511 0.0824334 0.669765 0.00544277 0.311015 0.163016 0.0241576 0.114281 0.040313 0.0663068 24.4671 0.308265 96.4848 0.0796332 96 87 106 0.808961 0.25235 0.874367 0.0448339 
19.26/19.33	c satzilla's ranking:
19.26/19.33	c 1) minisat20SAT07: 3.452360
19.26/19.33	c 2) march_dl2004: 3.275678
19.26/19.33	c 3) picosat846: 2.300468
19.26/19.33	c 4) zchaff_rand: 2.240901
19.26/19.33	c 5) mxc-sr08: 2.055839
19.26/19.33	c 6) SATenstein: -10000.000000
19.26/19.33	c 7) gnovelty+: -10000.000000
19.26/19.33	c 8) adaptg2wsat+: -10000.000000
19.26/19.33	c 9) adaptg2wsat0: -10000.000000
19.26/19.33	c 10) tts-4-0: -10000.000000
19.26/19.33	c 11) vallst: -10000.000000
19.26/19.33	c 12) minisat20: -10000.000000
19.26/19.33	c 13) kcnfs04SAT07: -10000.000000
19.26/19.33	c satzilla running minisat20SAT07 ... 
1199.08/1199.62	c Bin: Executing minisat20SAT07
1199.08/1199.62	c spawning binary file with 1180 seconds ...
1199.08/1199.62	c child exit by a signal
1199.08/1199.62	c minisat20SAT07 returned code 137.
1199.08/1199.62	c satzilla running march_dl2004 ... 
1199.08/1199.62	c Bin: Executing march_dl2004
1199.08/1199.62	c march_dl2004 returned code 1.
1199.08/1199.62	c satzilla running picosat846 ... 
1199.08/1199.62	c Bin: Executing picosat846
1199.08/1199.62	c picosat846 returned code 1.
1199.08/1199.62	c satzilla running zchaff_rand ... 
1199.08/1199.62	c Bin: Executing zchaff_rand
1199.08/1199.62	c zchaff_rand returned code 1.
1199.08/1199.62	c satzilla running mxc-sr08 ... 
1199.08/1199.62	c Bin: Executing mxc-sr08
1199.08/1199.62	c mxc-sr08 returned code 1.
1199.08/1199.62	c satzilla running SATenstein ... 
1199.08/1199.62	c Bin: Executing SATenstein
1199.08/1199.62	c SATenstein returned code 1.
1199.08/1199.62	c satzilla running gnovelty+ ... 
1199.08/1199.62	c Bin: Executing gnovelty+
1199.08/1199.62	c gnovelty+ returned code 1.
1199.08/1199.62	c satzilla running adaptg2wsat+ ... 
1199.08/1199.62	c Bin: Executing adaptg2wsat+
1199.08/1199.62	c adaptg2wsat+ returned code 1.
1199.08/1199.62	c satzilla running adaptg2wsat0 ... 
1199.08/1199.62	c Bin: Executing adaptg2wsat0
1199.08/1199.62	c adaptg2wsat0 returned code 1.
1199.08/1199.62	c satzilla running tts-4-0 ... 
1199.08/1199.62	c Bin: Executing tts-4-0
1199.08/1199.62	c tts-4-0 returned code 1.
1199.08/1199.62	c satzilla running vallst ... 
1199.08/1199.62	c Bin: Executing vallst
1199.08/1199.62	c vallst returned code 1.
1199.08/1199.62	c satzilla running minisat20 ... 
1199.08/1199.62	c Bin: Executing minisat20
1199.08/1199.62	c minisat20 returned code 1.
1199.08/1199.62	c satzilla running kcnfs04SAT07 ... 
1199.08/1199.62	c Bin: Executing kcnfs04SAT07
1199.08/1199.62	c kcnfs04SAT07 returned code 1.
1199.08/1199.62	c ERROR: All Failed! 
1199.08/1199.62	c SATZILLA_TIME=1199.310000

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-1539514-1238552442/watcher-1539514-1238552442 -o /tmp/evaluation-result-1539514-1238552442/solver-1539514-1238552442 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_I HOME/instance-1539514-1238552442.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/69 28849
/proc/meminfo: memFree=1193176/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=868 CPUtime=0
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 133 0 0 0 0 0 0 0 19 0 1 0 1127905952 888832 129 1992294400 134512640 135078026 4294956192 18446744073709551615 134560506 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 217 129 55 138 0 76 0

[startup+0.0764301 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 28849
/proc/meminfo: memFree=1193176/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=1132 CPUtime=0.07
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 185 0 0 0 7 0 0 0 19 0 1 0 1127905952 1159168 181 1992294400 134512640 135078026 4294956192 18446744073709551615 134523760 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 283 181 71 138 0 142 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 3188

[startup+0.101431 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 28849
/proc/meminfo: memFree=1193176/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=1132 CPUtime=0.09
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 193 0 0 0 9 0 0 0 19 0 1 0 1127905952 1159168 189 1992294400 134512640 135078026 4294956192 18446744073709551615 134522526 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 283 189 71 138 0 142 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3188

[startup+0.301448 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 28849
/proc/meminfo: memFree=1193176/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=1264 CPUtime=0.29
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 241 0 0 0 29 0 0 0 21 0 1 0 1127905952 1294336 237 1992294400 134512640 135078026 4294956192 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 316 237 71 138 0 175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3320

[startup+0.701484 s]
/proc/loadavg: 0.92 0.98 0.99 3/69 28849
/proc/meminfo: memFree=1193176/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=1396 CPUtime=0.69
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 277 0 0 0 69 0 0 0 25 0 1 0 1127905952 1429504 273 1992294400 134512640 135078026 4294956192 18446744073709551615 134534219 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 349 273 71 138 0 208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3452

[startup+1.50155 s]
/proc/loadavg: 0.92 0.98 0.99 2/71 28851
/proc/meminfo: memFree=1192200/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=1660 CPUtime=1.49
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 321 0 0 0 149 0 0 0 25 0 1 0 1127905952 1699840 317 1992294400 134512640 135078026 4294956192 18446744073709551615 134535161 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 415 317 71 138 0 274 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3716

[startup+3.10269 s]
/proc/loadavg: 0.92 0.98 0.99 2/71 28851
/proc/meminfo: memFree=1191880/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=1792 CPUtime=3.09
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 364 0 0 0 309 0 0 0 25 0 1 0 1127905952 1835008 360 1992294400 134512640 135078026 4294956192 18446744073709551615 134534329 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 448 360 71 138 0 307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3848

[startup+6.30197 s]
/proc/loadavg: 0.93 0.98 0.99 2/71 28851
/proc/meminfo: memFree=1191752/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=0
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1127905952 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 112 96 399 0 111 0
[pid=28850] ppid=28849 vsize=2056 CPUtime=6.29
/proc/28850/stat : 28850 (mxc-sr08) R 28849 28849 28244 0 -1 4194304 437 0 0 0 629 0 0 0 25 0 1 0 1127905952 2105344 433 1992294400 134512640 135078026 4294956192 18446744073709551615 134534363 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28850/statm: 514 433 71 138 0 373 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 4112

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/71 28852
/proc/meminfo: memFree=1192776/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=2056 CPUtime=9.99
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 152 471 0 0 0 0 999 0 16 0 1 0 1127905952 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 514 121 104 399 0 111 0
[pid=28852] ppid=28849 vsize=1764 CPUtime=2.68
/proc/28852/stat : 28852 (picosat846) R 28849 28849 28244 0 -1 4194304 181 0 0 0 268 0 0 0 25 0 1 0 1127906952 1806336 170 1992294400 134512640 134570484 4294956192 18446744073709551615 134523749 0 0 8392704 0 0 0 0 17 0 0 0
/proc/28852/statm: 441 170 84 14 0 107 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 3820

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1192008/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=2540 CPUtime=6.15
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 294 0 0 0 615 0 0 0 25 0 1 0 1127907885 2600960 289 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 635 289 73 138 0 494 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 5884

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1191304/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=3064 CPUtime=31.75
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 440 0 0 0 3175 0 0 0 25 0 1 0 1127907885 3137536 435 1992294400 134512640 135078472 4294956192 18446744073709551615 134550729 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 766 435 73 138 0 625 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 6408

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1190728/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=3596 CPUtime=82.92
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 587 0 0 0 8292 0 0 0 25 0 1 0 1127907885 3682304 582 1992294400 134512640 135078472 4294956192 18446744073709551615 134550713 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 899 582 73 138 0 758 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 6940

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1190408/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=3992 CPUtime=142.9
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 681 0 0 0 14290 0 0 0 25 0 1 0 1127907885 4087808 676 1992294400 134512640 135078472 4294956192 18446744073709551615 134550985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 998 676 73 138 0 857 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 7336

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1190088/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=4400 CPUtime=202.87
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 767 0 0 0 20287 0 0 0 25 0 1 0 1127907885 4505600 762 1992294400 134512640 135078472 4294956192 18446744073709551615 134550729 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1100 762 73 138 0 959 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 7744

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1189768/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=4664 CPUtime=262.85
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 852 0 0 0 26285 0 0 0 25 0 1 0 1127907885 4775936 847 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28855/statm: 1166 847 73 138 0 1025 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 8008

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1189640/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=4928 CPUtime=322.83
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 888 0 0 0 32282 1 0 0 25 0 1 0 1127907885 5046272 883 1992294400 134512640 135078472 4294956192 18446744073709551615 134550192 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1232 883 73 138 0 1091 0

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


[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1188424/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=5980 CPUtime=802.64
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1175 0 0 0 80263 1 0 0 25 0 1 0 1127907885 6123520 1170 1992294400 134512640 135078472 4294956192 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28855/statm: 1495 1170 73 138 0 1354 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 9324

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1188360/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6116 CPUtime=862.61
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1205 0 0 0 86260 1 0 0 25 0 1 0 1127907885 6262784 1200 1992294400 134512640 135078472 4294956192 18446744073709551615 134550637 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1529 1200 73 138 0 1388 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 9460

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1188168/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6248 CPUtime=922.59
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1245 0 0 0 92258 1 0 0 25 0 1 0 1127907885 6397952 1240 1992294400 134512640 135078472 4294956192 18446744073709551615 134551032 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1562 1240 73 138 0 1421 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 9592

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1188104/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6384 CPUtime=982.56
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1266 0 0 0 98255 1 0 0 25 0 1 0 1127907885 6537216 1261 1992294400 134512640 135078472 4294956192 18446744073709551615 134550713 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1596 1261 73 138 0 1455 0
Current children cumulated CPU time (s) 1001.85
Current children cumulated vsize (KiB) 9728

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1188040/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6520 CPUtime=1042.54
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1293 0 0 0 104253 1 0 0 25 0 1 0 1127907885 6676480 1288 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1630 1288 73 138 0 1489 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 9864

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187976/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6520 CPUtime=1102.52
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1315 0 0 0 110251 1 0 0 25 0 1 0 1127907885 6676480 1310 1992294400 134512640 135078472 4294956192 18446744073709551615 134551019 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1630 1310 73 138 0 1489 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 9864

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1162.49
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1337 0 0 0 116248 1 0 0 25 0 1 0 1127907885 6815744 1332 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/28855/statm: 1664 1332 73 138 0 1523 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 10000

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

[startup+1190.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1170.49
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1337 0 0 0 117048 1 0 0 25 0 1 0 1127907885 6815744 1332 1992294400 134512640 135078472 4294956192 18446744073709551615 134549366 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1332 73 138 0 1523 0
Current children cumulated CPU time (s) 1189.78
Current children cumulated vsize (KiB) 10000

[startup+1193.51 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1173.69
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1339 0 0 0 117368 1 0 0 25 0 1 0 1127907885 6815744 1334 1992294400 134512640 135078472 4294956192 18446744073709551615 134550985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1334 73 138 0 1523 0
Current children cumulated CPU time (s) 1192.98
Current children cumulated vsize (KiB) 10000

[startup+1196.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1176.89
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1339 0 0 0 117688 1 0 0 25 0 1 0 1127907885 6815744 1334 1992294400 134512640 135078472 4294956192 18446744073709551615 134550985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1334 73 138 0 1523 0
Current children cumulated CPU time (s) 1196.18
Current children cumulated vsize (KiB) 10000

[startup+1198.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1178.49
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1339 0 0 0 117847 2 0 0 25 0 1 0 1127907885 6815744 1334 1992294400 134512640 135078472 4294956192 18446744073709551615 134550624 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1334 73 138 0 1523 0
Current children cumulated CPU time (s) 1197.78
Current children cumulated vsize (KiB) 10000

[startup+1199.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1179.29
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1339 0 0 0 117927 2 0 0 25 0 1 0 1127907885 6815744 1334 1992294400 134512640 135078472 4294956192 18446744073709551615 134550732 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1334 73 138 0 1523 0
Current children cumulated CPU time (s) 1198.58
Current children cumulated vsize (KiB) 10000

[startup+1199.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1179.69
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1339 0 0 0 117967 2 0 0 25 0 1 0 1127907885 6815744 1334 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1334 73 138 0 1523 0
Current children cumulated CPU time (s) 1198.98
Current children cumulated vsize (KiB) 10000

[startup+1199.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 28855
/proc/meminfo: memFree=1187912/2055920 swapFree=4171840/4192956
[pid=28849] ppid=28847 vsize=3344 CPUtime=19.29
/proc/28849/stat : 28849 (SATzilla2009_I) S 28847 28849 28244 0 -1 4194304 510 1871 0 0 203 27 1697 2 25 0 1 0 1127905952 3424256 358 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/28849/statm: 836 358 217 399 0 433 0
[pid=28855] ppid=28849 vsize=6656 CPUtime=1179.79
/proc/28855/stat : 28855 (minisat20SAT07) R 28849 28849 28244 0 -1 4194304 1339 0 0 0 117977 2 0 0 25 0 1 0 1127907885 6815744 1334 1992294400 134512640 135078472 4294956192 18446744073709551615 134550652 0 0 8392704 3 0 0 0 17 0 0 0
/proc/28855/statm: 1664 1334 73 138 0 1523 0
Current children cumulated CPU time (s) 1199.08
Current children cumulated vsize (KiB) 10000

Child status: 17
Real time (s): 1199.63
CPU time (s): 1199.14
CPU user time (s): 1198.82
CPU system time (s): 0.32395
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 10000

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

runsolver used 1.14482 second user time and 3.23251 second system time

The end

Launcher Data 

Begin job on node58 at 2009-04-01 04:20:42
IDJOB=1539514
IDBENCH=70617
IDSOLVER=528
FILE ID=node58/1539514-1238552442
PBS_JOBID= 9062130
Free space on /tmp= 66400 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/UNKNOWN/460/unif-k3-r4.25-v460-c1955-S1377066099-004.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1539514-1238552442/watcher-1539514-1238552442 -o /tmp/evaluation-result-1539514-1238552442/solver-1539514-1238552442 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_I HOME/instance-1539514-1238552442.cnf

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

MD5SUM BENCH= c274543915c4e3a4d5b9fc155f904448
RANDOM SEED=1590865818

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.222
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.222
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:       1193664 kB
Buffers:         95456 kB
Cached:         675500 kB
SwapCached:      11044 kB
Active:         233672 kB
Inactive:       549828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1193664 kB
SwapTotal:     4192956 kB
SwapFree:      4171840 kB
Dirty:           31480 kB
Writeback:           0 kB
Mapped:          17372 kB
Slab:            64228 kB
Committed_AS:  2699628 kB
PageTables:       1764 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= 66372 MiB
End job on node58 at 2009-04-01 04:40:42