Trace number 1716486

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.02 1199.56

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
MD5SUM3be331331884289c55e55acdeed55dc7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables208002
Number of clauses986543
Sum of the clauses size2288164
Maximum clause length10
Minimum clause length1
Number of clauses of size 117318
Number of clauses of size 2753529
Number of clauses of size 3176796
Number of clauses of size 44320
Number of clauses of size 517280
Number of clauses of size over 517300

Solver Data 

47.13/47.20	c SATzilla is building models for class 2
47.13/47.20	c run presolver march_dl2004 for 5 seconds ... 
47.13/47.20	c Bin: Executing march_dl2004
47.13/47.20	c spawning binary file with 5 seconds ...
47.13/47.20	c child exit by a signal
47.13/47.20	c march_dl2004 returned code 137.
47.13/47.20	c run presolver mxc-sr08 for 5 seconds ... 
47.13/47.20	c Bin: Executing mxc-sr08
47.13/47.20	c spawning binary file with 5 seconds ...
47.13/47.20	c child exit by a signal
47.13/47.20	c mxc-sr08 returned code 137.
47.13/47.20	c Orignal number of varibales is 208002, number of clauses is 986543 
47.13/47.20	c predicted feature computation time is 38.889171 
47.13/47.20	c Bin: Executing satelite
47.13/47.20	c spawning binary file with 240 seconds ...
47.13/47.20	c child exited successfully
47.13/47.20	c satzilla computing base features
47.13/47.20	c Number of variabe is: 68615, Number of clause is : 424864 
47.13/47.20	c Initializing...
47.13/47.20	c satzilla compute diameter ...
47.13/47.20	c start diameter features ...
47.13/47.20	c satzilla doing clause learning
47.13/47.20	c start clause learning features ...
47.13/47.20	c Bin: Executing zchaff07
47.13/47.20	c spawning binary file with 2 seconds ...
47.13/47.20	c child exit by a signal
47.13/47.20	c satzilla doing survey propogation probe
47.13/47.20	c do survay propogation for 2 second ...
47.13/47.20	c satzilla doing local search probe
47.13/47.20	c satzilla doing lobjois search-space size estimate
47.13/47.20	c features are:208002 986543 68615 424864 2.03144 1.32202 0.161499 0.360955 1.0164 1.35001 3.913e-05 0.421882 2.91481e-05 0.000174889 1.02236 0.562251 0.903 3.913e-05 0.584202 1.41222e-05 9.88552e-05 2.87647 0.244007 0.156665 0 0.826087 3.12676 2.39198e-05 0.560814 7.06108e-06 6.59034e-05 2.54517 0.734178 4.00113e-05 0.558405 9.41478e-06 9.41478e-05 14.4444 0.034401 14 15 0.686962 144 0 144 144 144 144 144 144 144 3.29861 0 3.29861 3.29861 3.29861 3.29861 3.29861 3.29861 3.29861 0.522712 0.593449 4.06952e-12 0.988707 0.858925 0.0504826 0.805758 0.207356 0.627275 0.0150165 0.860247 1.83717e-07 0.193291 0.0317819 1.7029e-06 0.0251926 0.00175888 0.0135646 5921 0 23228 0 23228 23228 23228 2.44535 0 0.95607 0 0.122459 0.691311 
47.13/47.20	c satzilla's ranking:
47.13/47.20	c 1) zchaff_rand: 5.222883
47.13/47.20	c 2) minisat20SAT07: 3.462561
47.13/47.20	c 3) minisat20: 3.075074
47.13/47.20	c 4) mxc-sr08: 2.603465
47.13/47.20	c 5) march_dl2004: 1.633910
47.13/47.20	c 6) vallst: 0.710201
47.13/47.20	c 7) tts-4-0: 0.045009
47.13/47.20	c 8) SATenstein: -10000.000000
47.13/47.20	c 9) gnovelty+: -10000.000000
47.13/47.20	c 10) adaptg2wsat+: -10000.000000
47.13/47.20	c 11) adaptg2wsat0: -10000.000000
47.13/47.20	c 12) picosat846: -10000.000000
47.13/47.20	c 13) kcnfs04SAT07: -10000.000000
47.13/47.20	c satzilla running zchaff_rand ... 
1198.94/1199.54	c Bin: Executing zchaff_rand
1198.94/1199.54	c spawning binary file with 1152 seconds ...
1198.94/1199.54	c child exit by a signal
1198.94/1199.54	c zchaff_rand returned code 137.
1198.94/1199.54	c satzilla running minisat20SAT07 ... 
1198.94/1199.54	c Bin: Executing minisat20SAT07
1198.94/1199.54	c minisat20SAT07 returned code 1.
1198.94/1199.54	c satzilla running minisat20 ... 
1198.94/1199.54	c Bin: Executing minisat20
1198.94/1199.54	c minisat20 returned code 1.
1198.94/1199.54	c satzilla running mxc-sr08 ... 
1198.94/1199.54	c Bin: Executing mxc-sr08
1198.94/1199.54	c mxc-sr08 returned code 1.
1198.94/1199.54	c satzilla running march_dl2004 ... 
1198.94/1199.54	c Bin: Executing march_dl2004
1198.94/1199.54	c march_dl2004 returned code 1.
1198.94/1199.54	c satzilla running vallst ... 
1198.94/1199.54	c Bin: Executing vallst
1198.94/1199.54	c vallst returned code 1.
1198.94/1199.54	c satzilla running tts-4-0 ... 
1198.94/1199.54	c Bin: Executing tts-4-0
1198.94/1199.54	c tts-4-0 returned code 1.
1198.94/1199.54	c satzilla running SATenstein ... 
1198.94/1199.54	c Bin: Executing SATenstein
1198.94/1199.54	c SATenstein returned code 1.
1198.94/1199.54	c satzilla running gnovelty+ ... 
1198.94/1199.54	c Bin: Executing gnovelty+
1198.94/1199.54	c gnovelty+ returned code 1.
1198.94/1199.54	c satzilla running adaptg2wsat+ ... 
1198.94/1199.54	c Bin: Executing adaptg2wsat+
1198.94/1199.54	c adaptg2wsat+ returned code 1.
1198.94/1199.54	c satzilla running adaptg2wsat0 ... 
1198.94/1199.54	c Bin: Executing adaptg2wsat0
1198.94/1199.54	c adaptg2wsat0 returned code 1.
1198.94/1199.54	c satzilla running picosat846 ... 
1198.94/1199.54	c Bin: Executing picosat846
1198.94/1199.54	c picosat846 returned code 1.
1198.94/1199.54	c satzilla running kcnfs04SAT07 ... 
1198.94/1199.54	c Bin: Executing kcnfs04SAT07
1198.94/1199.54	c kcnfs04SAT07 returned code 1.
1198.94/1199.54	c ERROR: All Failed! 
1198.94/1199.54	c SATZILLA_TIME=1199.180000

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-1716486-1240616193/watcher-1716486-1240616193 -o /tmp/evaluation-result-1716486-1240616193/solver-1716486-1240616193 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1716486-1240616193.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.00 3/65 15137
/proc/meminfo: memFree=893520/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) R 15135 15137 14763 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=5308 CPUtime=0
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 872 0 0 0 0 0 0 0 18 0 1 0 89649595 5435392 867 1992294400 134512640 134996440 4294956176 18446744073709551615 134549449 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 1327 875 49 118 0 1206 0

[startup+0.090937 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15137
/proc/meminfo: memFree=893520/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=22124 CPUtime=0.08
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 4313 0 0 0 7 1 0 0 20 0 1 0 89649595 22654976 4308 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 5531 4308 50 118 0 5410 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24180

[startup+0.101936 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15137
/proc/meminfo: memFree=893520/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=22256 CPUtime=0.09
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 4363 0 0 0 8 1 0 0 20 0 1 0 89649595 22790144 4358 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 5564 4358 50 118 0 5443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24312

[startup+0.301959 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15137
/proc/meminfo: memFree=893520/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=25028 CPUtime=0.29
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 5242 0 0 0 27 2 0 0 21 0 1 0 89649595 25628672 5237 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 6257 5237 50 118 0 6136 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27084

[startup+0.702003 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 15137
/proc/meminfo: memFree=893520/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=30308 CPUtime=0.69
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 6856 0 0 0 65 4 0 0 25 0 1 0 89649595 31035392 6851 1992294400 134512640 134996440 4294956176 18446744073709551615 134549887 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 7577 6851 50 118 0 7456 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32364

[startup+1.50109 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15139
/proc/meminfo: memFree=859136/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=79796 CPUtime=1.49
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 16267 0 0 0 142 7 0 0 25 0 1 0 89649595 81711104 15853 1992294400 134512640 134996440 4294956176 18446744073709551615 134540758 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 19949 15853 52 118 0 19828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81852

[startup+3.10127 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15139
/proc/meminfo: memFree=834112/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=0
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 89649595 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/15137/statm: 514 112 96 399 0 111 0
[pid=15138] ppid=15137 vsize=88856 CPUtime=3.09
/proc/15138/stat : 15138 (march_dl2004) R 15137 15137 14763 0 -1 4194304 23201 0 0 0 299 10 0 0 25 0 1 0 89649595 90988544 18490 1992294400 134512640 134996440 4294956176 18446744073709551615 134644078 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15138/statm: 22214 18490 55 118 0 22093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90912

[startup+6.30163 s]
/proc/loadavg: 1.16 1.03 1.01 2/67 15140
/proc/meminfo: memFree=820160/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=5
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 152 28447 0 0 0 0 487 13 16 0 1 0 89649595 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 514 121 104 399 0 111 0
[pid=15140] ppid=15137 vsize=102196 CPUtime=1.28
/proc/15140/stat : 15140 (mxc-sr08) R 15137 15137 14763 0 -1 4194304 27093 0 0 0 115 13 0 0 25 0 1 0 89650096 104648704 22585 1992294400 134512640 135078026 4294956176 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15140/statm: 25549 22585 55 138 0 25408 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 104252

[startup+12.7013 s]
/proc/loadavg: 1.23 1.05 1.02 2/67 15141
/proc/meminfo: memFree=789448/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=2056 CPUtime=10.02
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 179 62831 0 0 0 0 969 33 16 0 1 0 89649595 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 514 138 120 399 0 111 0
[pid=15141] ppid=15137 vsize=110080 CPUtime=2.65
/proc/15141/stat : 15141 (satelite) R 15137 15137 14763 0 -1 4194304 27828 0 0 0 250 15 0 0 25 0 1 0 89650598 112721920 25527 1992294400 134512640 135037501 4294956160 18446744073709551615 134570632 0 0 8392704 3 0 0 0 17 0 0 0
/proc/15141/statm: 27520 25527 67 128 0 27389 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 112136

[startup+25.5018 s]
/proc/loadavg: 1.32 1.08 1.02 2/66 15141
/proc/meminfo: memFree=847696/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=40912 CPUtime=25.47
/proc/15137/stat : 15137 (SATzilla2009_C) R 15135 15137 14763 0 -1 4194304 9661 105008 0 0 826 5 1654 62 25 0 1 0 89649595 41893888 9612 1992294400 134512640 136149437 4294956208 18446744073709551615 134535201 0 0 4096 0 0 0 0 17 0 0 0
/proc/15137/statm: 10228 9612 135 399 0 9825 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40912

[startup+51.1017 s]
/proc/loadavg: 1.21 1.07 1.02 2/67 15143
/proc/meminfo: memFree=753224/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=660604 CPUtime=3.88
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 27085 0 0 0 374 14 0 0 25 0 1 0 89654315 676458496 21250 1992294400 134512640 135365884 4294956160 18446744073709551615 134577006 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 165151 21250 112 208 0 164923 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 711956

[startup+102.305 s]
/proc/loadavg: 1.09 1.06 1.02 2/67 15143
/proc/meminfo: memFree=744072/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=671360 CPUtime=55.05
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 46658 0 0 0 5477 28 0 0 25 0 1 0 89654315 687472640 23567 1992294400 134512640 135365884 4294956160 18446744073709551615 134569856 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 167840 23567 112 208 0 167612 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 722712

[startup+162.301 s]
/proc/loadavg: 1.03 1.04 1.01 2/67 15145
/proc/meminfo: memFree=740744/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=692792 CPUtime=115.02
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 72550 0 0 0 11454 48 0 0 25 0 1 0 89654315 709419008 23988 1992294400 134512640 135365884 4294956160 18446744073709551615 134553947 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 173198 23988 112 208 0 172970 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 744144

[startup+222.302 s]
/proc/loadavg: 1.01 1.03 1.01 2/67 15145
/proc/meminfo: memFree=734280/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=695076 CPUtime=175
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 92882 0 0 0 17434 66 0 0 25 0 1 0 89654315 711757824 25598 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 173769 25598 112 208 0 173541 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 746428

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 15145
/proc/meminfo: memFree=727688/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=697188 CPUtime=234.97
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 110844 0 0 0 23418 79 0 0 25 0 1 0 89654315 713920512 27280 1992294400 134512640 135365884 4294956160 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 174297 27280 112 208 0 174069 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 748540

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 15145
/proc/meminfo: memFree=722888/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=698652 CPUtime=294.96
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 125921 0 0 0 29402 94 0 0 25 0 1 0 89654315 715419648 28519 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 174663 28519 112 208 0 174435 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 750004


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


[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=691912/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=741116 CPUtime=714.78
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 211340 0 0 0 71309 169 0 0 25 0 1 0 89654315 758902784 36201 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 185279 36201 112 208 0 185051 0
Current children cumulated CPU time (s) 761.92
Current children cumulated vsize (KiB) 792468

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=687816/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=742760 CPUtime=774.74
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 221697 0 0 0 77297 177 0 0 25 0 1 0 89654315 760586240 37197 1992294400 134512640 135365884 4294956160 18446744073709551615 134542816 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 185690 37197 112 208 0 185462 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 794112

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=684424/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=743636 CPUtime=834.72
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 231894 0 0 0 83284 188 0 0 25 0 1 0 89654315 761483264 38033 1992294400 134512640 135365884 4294956160 18446744073709551615 135090403 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 185909 38033 112 208 0 185681 0
Current children cumulated CPU time (s) 881.86
Current children cumulated vsize (KiB) 794988

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=681032/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=744524 CPUtime=894.69
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 241354 0 0 0 89273 196 0 0 25 0 1 0 89654315 762392576 38946 1992294400 134512640 135365884 4294956160 18446744073709551615 134543636 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186131 38946 112 208 0 185903 0
Current children cumulated CPU time (s) 941.83
Current children cumulated vsize (KiB) 795876

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=679432/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=745168 CPUtime=954.68
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 249847 0 0 0 95264 204 0 0 25 0 1 0 89654315 763052032 39299 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186292 39299 112 208 0 186064 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 796520

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=678600/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=745752 CPUtime=1014.65
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 258607 0 0 0 101254 211 0 0 25 0 1 0 89654315 763650048 39512 1992294400 134512640 135365884 4294956160 18446744073709551615 134542882 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186438 39512 112 208 0 186210 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 797104

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=676424/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=746488 CPUtime=1074.62
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 267693 0 0 0 107242 220 0 0 25 0 1 0 89654315 764403712 40051 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186622 40051 112 208 0 186394 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 797840

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=675592/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747264 CPUtime=1134.6
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 275650 0 0 0 113233 227 0 0 25 0 1 0 89654315 765198336 40275 1992294400 134512640 135365884 4294956160 18446744073709551615 134555992 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186816 40275 112 208 0 186588 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 798616

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 15145
/proc/meminfo: memFree=675528/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747588 CPUtime=1142.6
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 276927 0 0 0 114032 228 0 0 25 0 1 0 89654315 765530112 40331 1992294400 134512640 135365884 4294956160 18446744073709551615 134543650 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186897 40331 112 208 0 186669 0
Current children cumulated CPU time (s) 1189.74
Current children cumulated vsize (KiB) 798940

[startup+1193.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=675336/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747588 CPUtime=1145.8
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 277343 0 0 0 114352 228 0 0 25 0 1 0 89654315 765530112 40340 1992294400 134512640 135365884 4294956160 18446744073709551615 134543625 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186897 40340 112 208 0 186669 0
Current children cumulated CPU time (s) 1192.94
Current children cumulated vsize (KiB) 798940

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=675272/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747588 CPUtime=1149
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 277784 0 0 0 114671 229 0 0 25 0 1 0 89654315 765530112 40374 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186897 40374 112 208 0 186669 0
Current children cumulated CPU time (s) 1196.14
Current children cumulated vsize (KiB) 798940

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=675208/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747720 CPUtime=1150.59
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 277834 0 0 0 114830 229 0 0 25 0 1 0 89654315 765665280 40424 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186930 40424 112 208 0 186702 0
Current children cumulated CPU time (s) 1197.73
Current children cumulated vsize (KiB) 799072

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=674952/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747720 CPUtime=1151.4
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 278250 0 0 0 114910 230 0 0 25 0 1 0 89654315 765665280 40433 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186930 40433 112 208 0 186702 0
Current children cumulated CPU time (s) 1198.54
Current children cumulated vsize (KiB) 799072

[startup+1199.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 15145
/proc/meminfo: memFree=674952/2055920 swapFree=4192812/4192956
[pid=15137] ppid=15135 vsize=51352 CPUtime=47.14
/proc/15137/stat : 15137 (SATzilla2009_C) S 15135 15137 14763 0 -1 4194304 23145 116259 0 0 2783 15 1848 68 25 0 1 0 89649595 52584448 12485 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/15137/statm: 12838 12485 220 399 0 12435 0
[pid=15143] ppid=15137 vsize=747720 CPUtime=1151.8
/proc/15143/stat : 15143 (zchaff_rand) R 15137 15137 14763 0 -1 4194304 278259 0 0 0 114950 230 0 0 25 0 1 0 89654315 765665280 40442 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/15143/statm: 186930 40442 112 208 0 186702 0
Current children cumulated CPU time (s) 1198.94
Current children cumulated vsize (KiB) 799072

Child status: 17
Real time (s): 1199.56
CPU time (s): 1199.02
CPU user time (s): 1195.84
CPU system time (s): 3.18052
CPU usage (%): 99.9554
Max. virtual memory (cumulated for all children) (KiB): 800244

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

runsolver used 1.06284 second user time and 3.3015 second system time

The end

Launcher Data 

Begin job on node76 at 2009-04-25 01:36:35
IDJOB=1716486
IDBENCH=20381
IDSOLVER=527
FILE ID=node76/1716486-1240616193
PBS_JOBID= 9186247
Free space on /tmp= 66184 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-19-u.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1716486-1240616193/watcher-1716486-1240616193 -o /tmp/evaluation-result-1716486-1240616193/solver-1716486-1240616193 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1716486-1240616193.cnf

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

MD5SUM BENCH= 3be331331884289c55e55acdeed55dc7
RANDOM SEED=1896537560

node76.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.220
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.220
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        894008 kB
Buffers:         78236 kB
Cached:         982900 kB
SwapCached:        140 kB
Active:         147076 kB
Inactive:       928028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        894008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           49196 kB
Writeback:           0 kB
Mapped:          23552 kB
Slab:            72820 kB
Committed_AS:   267892 kB
PageTables:       1432 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= 66152 MiB
End job on node76 at 2009-04-25 01:56:34