Trace number 1733416

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) 1198.89 1199.49

General information on the benchmark

NameCRAFTED/modcircuits/
mod5block_2vars_12gates.cnf
MD5SUM97b074a6a073bb165e8c5c9ac040a066
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 variables926
Number of clauses372485
Sum of the clauses size2182931
Maximum clause length35
Minimum clause length1
Number of clauses of size 1160
Number of clauses of size 24586
Number of clauses of size 31
Number of clauses of size 48527
Number of clauses of size 516131
Number of clauses of size over 5343080

Solver Data 

37.94/38.09	c SATzilla is building models for class 2
37.94/38.09	c run presolver march_dl2004 for 5 seconds ... 
37.94/38.09	c Bin: Executing march_dl2004
37.94/38.09	c spawning binary file with 5 seconds ...
37.94/38.09	c child exit by a signal
37.94/38.09	c march_dl2004 returned code 137.
37.94/38.09	c run presolver mxc-sr08 for 5 seconds ... 
37.94/38.09	c Bin: Executing mxc-sr08
37.94/38.09	c spawning binary file with 5 seconds ...
37.94/38.09	c child exit by a signal
37.94/38.09	c mxc-sr08 returned code 137.
37.94/38.09	c Orignal number of varibales is 926, number of clauses is 372485 
37.94/38.09	c predicted feature computation time is 15.001751 
37.94/38.09	c Bin: Executing satelite
37.94/38.09	c spawning binary file with 240 seconds ...
37.94/38.09	c child exited successfully
37.94/38.09	c satzilla computing base features
37.94/38.09	c Number of variabe is: 699, Number of clause is : 220957 
37.94/38.09	c Initializing...
37.94/38.09	c satzilla compute diameter ...
37.94/38.09	c start diameter features ...
37.94/38.09	c satzilla doing clause learning
37.94/38.09	c start clause learning features ...
37.94/38.09	c Bin: Executing zchaff07
37.94/38.09	c spawning binary file with 2 seconds ...
37.94/38.09	c child exit by a signal
37.94/38.09	c satzilla doing survey propogation probe
37.94/38.09	c do survay propogation for 2 second ...
37.94/38.09	c satzilla doing local search probe
37.94/38.09	c satzilla doing lobjois search-space size estimate
37.94/38.09	c features are:926 372485 699 220957 0.32475 0.68578 0.00316351 0.415495 0.613799 2.08845 0.00872289 0.463105 0.00286123 0.0429185 1.33896 0.0176867 0.0177229 0.00872289 0.80211 4.52577e-06 0.0489145 4.67741 0.204571 0.324839 0 1 2.10167 0.00277625 1.13742 0 0.0459863 4.16539 0.390307 0.00110641 0.567059 0.000113144 0.00278335 3.60674 0.135433 3 4 0.670183 771 0.746821 208 1562 1562 208 1562 208 543 14.6651 0.155423 12.3923 17.781 17.781 12.3923 17.781 12.3923 13.8221 0.336327 1.23136 7.46081e-10 1 0.950926 0.00130212 0.801619 0.00946435 0.0192946 0.104481 1.38215 6.57019e-12 1 0.281134 5.39066e-06 0.268942 0.000339092 0.0123306 20 0.075 129.4 0.218284 135 120 144 43.2737 0.130782 1.00011 0.000654593 0.241254 0.609755 
37.94/38.09	c satzilla's ranking:
37.94/38.09	c 1) vallst: 14.898165
37.94/38.09	c 2) minisat20SAT07: 5.957520
37.94/38.09	c 3) zchaff_rand: 5.555988
37.94/38.09	c 4) minisat20: 5.289673
37.94/38.09	c 5) march_dl2004: 3.721178
37.94/38.09	c 6) mxc-sr08: 2.637903
37.94/38.09	c 7) tts-4-0: 0.178342
37.94/38.09	c 8) SATenstein: -10000.000000
37.94/38.09	c 9) gnovelty+: -10000.000000
37.94/38.09	c 10) adaptg2wsat+: -10000.000000
37.94/38.09	c 11) adaptg2wsat0: -10000.000000
37.94/38.09	c 12) picosat846: -10000.000000
37.94/38.09	c 13) kcnfs04SAT07: -10000.000000
37.94/38.09	c satzilla running vallst ... 
1198.77/1199.48	c Bin: Executing vallst
1198.77/1199.48	c spawning binary file with 1161 seconds ...
1198.77/1199.48	c child exit by a signal
1198.77/1199.48	c vallst returned code 137.
1198.77/1199.48	c satzilla running minisat20SAT07 ... 
1198.77/1199.48	c Bin: Executing minisat20SAT07
1198.77/1199.48	c minisat20SAT07 returned code 1.
1198.77/1199.48	c satzilla running zchaff_rand ... 
1198.77/1199.48	c Bin: Executing zchaff_rand
1198.77/1199.48	c zchaff_rand returned code 1.
1198.77/1199.48	c satzilla running minisat20 ... 
1198.77/1199.48	c Bin: Executing minisat20
1198.77/1199.48	c minisat20 returned code 1.
1198.77/1199.48	c satzilla running march_dl2004 ... 
1198.77/1199.48	c Bin: Executing march_dl2004
1198.77/1199.48	c march_dl2004 returned code 1.
1198.77/1199.48	c satzilla running mxc-sr08 ... 
1198.77/1199.48	c Bin: Executing mxc-sr08
1198.77/1199.48	c mxc-sr08 returned code 1.
1198.77/1199.48	c satzilla running tts-4-0 ... 
1198.77/1199.48	c Bin: Executing tts-4-0
1198.77/1199.48	c tts-4-0 returned code 1.
1198.77/1199.48	c satzilla running SATenstein ... 
1198.77/1199.48	c Bin: Executing SATenstein
1198.77/1199.48	c SATenstein returned code 1.
1198.77/1199.48	c satzilla running gnovelty+ ... 
1198.77/1199.48	c Bin: Executing gnovelty+
1198.77/1199.48	c gnovelty+ returned code 1.
1198.77/1199.48	c satzilla running adaptg2wsat+ ... 
1198.77/1199.48	c Bin: Executing adaptg2wsat+
1198.77/1199.48	c adaptg2wsat+ returned code 1.
1198.77/1199.48	c satzilla running adaptg2wsat0 ... 
1198.77/1199.48	c Bin: Executing adaptg2wsat0
1198.77/1199.48	c adaptg2wsat0 returned code 1.
1198.77/1199.48	c satzilla running picosat846 ... 
1198.77/1199.48	c Bin: Executing picosat846
1198.77/1199.48	c picosat846 returned code 1.
1198.77/1199.48	c satzilla running kcnfs04SAT07 ... 
1198.77/1199.48	c Bin: Executing kcnfs04SAT07
1198.77/1199.48	c kcnfs04SAT07 returned code 1.
1198.77/1199.48	c ERROR: All Failed! 
1198.77/1199.48	c SATZILLA_TIME=1199.050000

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-1733416-1240788216/watcher-1733416-1240788216 -o /tmp/evaluation-result-1733416-1240788216/solver-1733416-1240788216 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1733416-1240788216.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.12 3/65 25269
/proc/meminfo: memFree=1599704/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) R 25267 25269 25111 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=3548 CPUtime=0
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 453 0 0 0 0 0 0 0 18 0 1 0 106853969 3633152 448 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 887 449 50 118 0 766 0

[startup+0.00848998 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 25269
/proc/meminfo: memFree=1599704/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=3680 CPUtime=0
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 469 0 0 0 0 0 0 0 18 0 1 0 106853969 3768320 464 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 920 464 50 118 0 799 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5736

[startup+0.101499 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 25269
/proc/meminfo: memFree=1599704/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=5000 CPUtime=0.09
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 844 0 0 0 9 0 0 0 19 0 1 0 106853969 5120000 839 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 1250 839 50 118 0 1129 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7056

[startup+0.301522 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 25269
/proc/meminfo: memFree=1599704/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=7772 CPUtime=0.29
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 1626 0 0 0 29 0 0 0 21 0 1 0 106853969 7958528 1621 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 1943 1621 50 118 0 1822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9828

[startup+0.701569 s]
/proc/loadavg: 1.00 1.00 1.12 3/65 25269
/proc/meminfo: memFree=1599704/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=13184 CPUtime=0.69
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 3177 0 0 0 68 1 0 0 25 0 1 0 106853969 13500416 3172 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 3296 3172 50 118 0 3175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15240

[startup+1.50166 s]
/proc/loadavg: 1.00 1.00 1.11 2/67 25271
/proc/meminfo: memFree=1585224/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=21292 CPUtime=1.49
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 12945 0 0 0 144 5 0 0 25 0 1 0 106853969 21803008 3800 1992294400 134512640 134996440 4294956176 18446744073709551615 134546292 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 5323 3800 55 118 0 5202 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23348

[startup+3.10185 s]
/proc/loadavg: 1.00 1.00 1.11 2/67 25271
/proc/meminfo: memFree=1574920/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=0
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 106853969 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/25269/statm: 514 112 96 399 0 111 0
[pid=25270] ppid=25269 vsize=20464 CPUtime=3.09
/proc/25270/stat : 25270 (march_dl2004) R 25269 25269 25111 0 -1 4194304 43868 0 0 0 290 19 0 0 25 0 1 0 106853969 20955136 3513 1992294400 134512640 134996440 4294956176 18446744073709551615 134544550 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25270/statm: 5116 3513 65 118 0 4995 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22520

[startup+6.30223 s]
/proc/loadavg: 1.00 1.00 1.11 2/67 25272
/proc/meminfo: memFree=1561736/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=4.99
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 152 47511 0 0 0 0 479 20 16 0 1 0 106853969 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 514 121 104 399 0 111 0
[pid=25272] ppid=25269 vsize=33048 CPUtime=1.27
/proc/25272/stat : 25272 (mxc-sr08) R 25269 25269 25111 0 -1 4194304 10519 0 0 0 122 5 0 0 25 0 1 0 106854470 33841152 7880 1992294400 134512640 135078026 4294956176 18446744073709551615 134553958 0 0 8392704 0 0 0 0 17 0 0 0
/proc/25272/statm: 8262 7880 55 138 0 8121 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35104

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.11 2/67 25273
/proc/meminfo: memFree=1567368/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=9.99
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 179 58077 0 0 0 0 973 26 16 0 1 0 106853969 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 514 138 120 399 0 111 0
[pid=25273] ppid=25269 vsize=34452 CPUtime=2.67
/proc/25273/stat : 25273 (satelite) R 25269 25269 25111 0 -1 4194304 8254 0 0 0 263 4 0 0 25 0 1 0 106854971 35278848 8244 1992294400 134512640 135037501 4294956160 18446744073709551615 134573991 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25273/statm: 8613 8244 63 128 0 8482 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 36508

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.11 2/67 25273
/proc/meminfo: memFree=1560776/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=2056 CPUtime=9.99
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 179 58077 0 0 0 0 973 26 16 0 1 0 106853969 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 514 138 120 399 0 111 0
[pid=25273] ppid=25269 vsize=38472 CPUtime=15.45
/proc/25273/stat : 25273 (satelite) R 25269 25269 25111 0 -1 4194304 10888 0 0 0 1539 6 0 0 25 0 1 0 106854971 39395328 8976 1992294400 134512640 135037501 4294956160 18446744073709551615 134698573 0 0 8392704 3 0 0 0 17 0 0 0
/proc/25273/statm: 9618 8976 69 128 0 9487 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 40528

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.11 2/67 25275
/proc/meminfo: memFree=1540360/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=64884 CPUtime=12.95
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 4566 0 3 0 1259 36 0 0 25 0 1 0 106857778 66441216 4552 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 16221 4552 150 55 0 15811 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 102308

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.09 2/67 25275
/proc/meminfo: memFree=1538440/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=65556 CPUtime=64.13
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 5027 0 3 0 6310 103 0 0 25 0 1 0 106857778 67129344 5013 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 16389 5013 150 55 0 15979 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 102980

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.09 2/67 25275
/proc/meminfo: memFree=1536968/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=66124 CPUtime=124.09
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 5392 0 3 0 12253 156 0 0 25 0 1 0 106857778 67710976 5378 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 16531 5378 150 55 0 16121 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 103548

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 25275
/proc/meminfo: memFree=1535880/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=66544 CPUtime=184.07
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 5656 0 3 0 18212 195 0 0 25 0 1 0 106857778 68141056 5642 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 16636 5642 150 55 0 16226 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 103968

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.08 2/67 25275
/proc/meminfo: memFree=1535112/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=66808 CPUtime=244.04
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 5865 0 3 0 24178 226 0 0 25 0 1 0 106857778 68411392 5851 1992294400 134512640 134738160 4294956176 18446744073709551615 8143199 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 16702 5851 150 55 0 16292 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 104232

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 25275
/proc/meminfo: memFree=1534408/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=66956 CPUtime=304.01
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 6027 0 3 0 30148 253 0 0 25 0 1 0 106857778 68562944 6013 1992294400 134512640 134738160 4294956176 18446744073709551615 134588727 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 16739 6013 150 55 0 16329 0

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


[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/67 25275
/proc/meminfo: memFree=1528520/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=71492 CPUtime=783.79
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 7981 0 3 0 77955 424 0 0 25 0 1 0 106857778 73207808 7451 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 17873 7451 151 55 0 17463 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 108916

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/67 25275
/proc/meminfo: memFree=1528456/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=71652 CPUtime=843.77
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 8001 0 3 0 83935 442 0 0 25 0 1 0 106857778 73371648 7471 1992294400 134512640 134738160 4294956176 18446744073709551615 134586160 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 17913 7471 151 55 0 17503 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 109076

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/67 25277
/proc/meminfo: memFree=1528200/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=71652 CPUtime=903.74
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 8021 0 3 0 89915 459 0 0 25 0 1 0 106857778 73371648 7491 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 17913 7491 151 55 0 17503 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 109076

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1528200/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=71652 CPUtime=963.72
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 8031 0 3 0 95895 477 0 0 25 0 1 0 106857778 73371648 7501 1992294400 134512640 134738160 4294956176 18446744073709551615 134575331 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 17913 7501 151 55 0 17503 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 109076

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1528200/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=71652 CPUtime=1023.69
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 8060 0 3 0 101874 495 0 0 25 0 1 0 106857778 73371648 7510 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 17913 7510 151 55 0 17503 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 109076

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525640/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=75172 CPUtime=1083.68
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 8723 0 3 0 107862 506 0 0 25 0 1 0 106857778 76976128 8173 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18793 8173 151 55 0 18383 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 112596

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1526600/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74020 CPUtime=1143.64
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9133 0 3 0 113841 523 0 0 25 0 1 0 106857778 75796480 7935 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18505 7935 151 55 0 18095 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 111444

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1526088/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74748 CPUtime=1151.64
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9245 0 3 0 114639 525 0 0 25 0 1 0 106857778 76541952 8047 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18687 8047 151 55 0 18277 0
Current children cumulated CPU time (s) 1189.67
Current children cumulated vsize (KiB) 112172

[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525896/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74748 CPUtime=1154.84
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9296 0 3 0 114958 526 0 0 25 0 1 0 106857778 76541952 8098 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18687 8098 151 55 0 18277 0
Current children cumulated CPU time (s) 1192.87
Current children cumulated vsize (KiB) 112172

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525640/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74748 CPUtime=1158.04
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9354 0 3 0 115278 526 0 0 25 0 1 0 106857778 76541952 8156 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18687 8156 151 55 0 18277 0
Current children cumulated CPU time (s) 1196.07
Current children cumulated vsize (KiB) 112172

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525576/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74748 CPUtime=1159.64
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9382 0 3 0 115437 527 0 0 25 0 1 0 106857778 76541952 8184 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18687 8184 151 55 0 18277 0
Current children cumulated CPU time (s) 1197.67
Current children cumulated vsize (KiB) 112172

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525512/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74748 CPUtime=1160.44
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9393 0 3 0 115517 527 0 0 25 0 1 0 106857778 76541952 8195 1992294400 134512640 134738160 4294956176 18446744073709551615 4294960144 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18687 8195 151 55 0 18277 0
Current children cumulated CPU time (s) 1198.47
Current children cumulated vsize (KiB) 112172

[startup+1199.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525512/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74748 CPUtime=1160.64
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9397 0 3 0 115537 527 0 0 25 0 1 0 106857778 76541952 8199 1992294400 134512640 134738160 4294956176 18446744073709551615 134586183 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18687 8199 151 55 0 18277 0
Current children cumulated CPU time (s) 1198.67
Current children cumulated vsize (KiB) 112172

[startup+1199.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 25277
/proc/meminfo: memFree=1525512/2055920 swapFree=4180664/4192956
[pid=25269] ppid=25267 vsize=37424 CPUtime=38.03
/proc/25269/stat : 25269 (SATzilla2009_C) S 25267 25269 25111 0 -1 4194304 14660 75272 0 0 1003 8 2751 41 25 0 1 0 106853969 38322176 9055 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/25269/statm: 9356 9055 219 399 0 8953 0
[pid=25275] ppid=25269 vsize=74884 CPUtime=1160.74
/proc/25275/stat : 25275 (vallst) R 25269 25269 25111 0 -1 4194304 9402 0 3 0 115547 527 0 0 25 0 1 0 106857778 76681216 8204 1992294400 134512640 134738160 4294956176 18446744073709551615 134585606 0 0 4096 8404994 0 0 0 17 0 0 0
/proc/25275/statm: 18721 8204 151 55 0 18311 0
Current children cumulated CPU time (s) 1198.77
Current children cumulated vsize (KiB) 112308

Child status: 17
Real time (s): 1199.49
CPU time (s): 1198.89
CPU user time (s): 1193.11
CPU system time (s): 5.78512
CPU usage (%): 99.9498
Max. virtual memory (cumulated for all children) (KiB): 113468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1193.11
system time used= 5.78512
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99350
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 4741

runsolver used 1.03784 second user time and 3.35249 second system time

The end

Launcher Data 

Begin job on node73 at 2009-04-27 01:23:36
IDJOB=1733416
IDBENCH=71140
IDSOLVER=527
FILE ID=node73/1733416-1240788216
PBS_JOBID= 9187304
Free space on /tmp= 66344 MiB

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

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

MD5SUM BENCH= 97b074a6a073bb165e8c5c9ac040a066
RANDOM SEED=654298349

node73.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.214
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.214
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:       1600192 kB
Buffers:         47860 kB
Cached:         331196 kB
SwapCached:       6232 kB
Active:         143472 kB
Inactive:       244164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600192 kB
SwapTotal:     4192956 kB
SwapFree:      4180664 kB
Dirty:           41996 kB
Writeback:           0 kB
Mapped:          14024 kB
Slab:            54112 kB
Committed_AS:   456312 kB
PageTables:       1396 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= 66316 MiB
End job on node73 at 2009-04-27 01:43:36