Trace number 1582004

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.25 1199.83

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-15-10p0.cnf
MD5SUMa860cf613d4e0cb34c00f8b79611121d
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 variables199290
Number of clauses1005792
Sum of the clauses size2392883
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756875
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

69.32/69.42	c SATzilla is building models for class 2
69.32/69.42	c run presolver march_dl2004 for 5 seconds ... 
69.32/69.42	c Bin: Executing march_dl2004
69.32/69.42	c spawning binary file with 5 seconds ...
69.32/69.42	c child exit by a signal
69.32/69.42	c march_dl2004 returned code 137.
69.32/69.42	c run presolver mxc-sr08 for 5 seconds ... 
69.32/69.42	c Bin: Executing mxc-sr08
69.32/69.42	c spawning binary file with 5 seconds ...
69.32/69.42	c child exit by a signal
69.32/69.42	c mxc-sr08 returned code 137.
69.32/69.42	c Orignal number of varibales is 199290, number of clauses is 1005792 
69.32/69.42	c predicted feature computation time is 38.260407 
69.32/69.42	c Bin: Executing satelite
69.32/69.42	c spawning binary file with 240 seconds ...
69.32/69.42	c child exited successfully
69.32/69.42	c satzilla computing base features
69.32/69.42	c Number of variabe is: 101800, Number of clause is : 654137 
69.32/69.42	c Initializing...
69.32/69.42	c satzilla compute diameter ...
69.32/69.42	c start diameter features ...
69.32/69.42	c satzilla doing clause learning
69.32/69.42	c start clause learning features ...
69.32/69.42	c Bin: Executing zchaff07
69.32/69.42	c spawning binary file with 2 seconds ...
69.32/69.42	c child exit by a signal
69.32/69.42	c satzilla doing survey propogation probe
69.32/69.42	c do survay propogation for 2 second ...
69.32/69.42	c satzilla doing local search probe
69.32/69.42	c satzilla doing lobjois search-space size estimate
69.32/69.42	c features are:199290 1.00579e+06 101800 654137 0.957662 0.537586 0.155625 0.410904 0.927283 1.43171 2.72622e-05 0.447863 1.96464e-05 9.82318e-05 1.08434 0.561947 0.859912 2.72622e-05 0.712013 1.07011e-05 0.000105482 2.94815 0.228901 0.147608 0 0.789474 2.88413 1.54658e-05 0.844548 4.5862e-06 7.18504e-05 2.63191 0.712001 2.99515e-05 0.636546 7.64366e-06 0.000113126 18 0 18 18 -0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.623851 0.506655 1.41586e-07 1 0.929869 0.126385 0.885697 0.323454 0.78052 0.019329 0.966705 -1.11022e-16 0.0810646 0.0466749 2.54509e-06 0.0352759 0.0027468 0.0104296 22465 0 0 0 0 0 0 3.33936 0 1.23218 0 0.209172 0.516017 
69.32/69.42	c satzilla's ranking:
69.32/69.42	c 1) minisat20SAT07: 3.580731
69.32/69.42	c 2) minisat20: 3.056742
69.32/69.42	c 3) zchaff_rand: 1.682047
69.32/69.42	c 4) march_dl2004: 1.451635
69.32/69.42	c 5) vallst: 0.528560
69.32/69.42	c 6) mxc-sr08: 0.267630
69.32/69.42	c 7) tts-4-0: -0.627129
69.32/69.42	c 8) SATenstein: -10000.000000
69.32/69.42	c 9) gnovelty+: -10000.000000
69.32/69.42	c 10) adaptg2wsat+: -10000.000000
69.32/69.42	c 11) adaptg2wsat0: -10000.000000
69.32/69.42	c 12) picosat846: -10000.000000
69.32/69.42	c 13) kcnfs04SAT07: -10000.000000
69.32/69.42	c satzilla running minisat20SAT07 ... 
1199.18/1199.80	c Bin: Executing minisat20SAT07
1199.18/1199.80	c spawning binary file with 1130 seconds ...
1199.18/1199.80	c child exit by a signal
1199.18/1199.80	c minisat20SAT07 returned code 137.
1199.18/1199.80	c satzilla running minisat20 ... 
1199.18/1199.80	c Bin: Executing minisat20
1199.18/1199.80	c minisat20 returned code 1.
1199.18/1199.80	c satzilla running zchaff_rand ... 
1199.18/1199.80	c Bin: Executing zchaff_rand
1199.18/1199.80	c zchaff_rand returned code 1.
1199.18/1199.80	c satzilla running march_dl2004 ... 
1199.18/1199.80	c Bin: Executing march_dl2004
1199.18/1199.80	c march_dl2004 returned code 1.
1199.18/1199.80	c satzilla running vallst ... 
1199.18/1199.80	c Bin: Executing vallst
1199.18/1199.80	c vallst returned code 1.
1199.18/1199.80	c satzilla running mxc-sr08 ... 
1199.18/1199.80	c Bin: Executing mxc-sr08
1199.18/1199.80	c mxc-sr08 returned code 1.
1199.18/1199.80	c satzilla running tts-4-0 ... 
1199.18/1199.80	c Bin: Executing tts-4-0
1199.18/1199.80	c tts-4-0 returned code 1.
1199.18/1199.80	c satzilla running SATenstein ... 
1199.18/1199.80	c Bin: Executing SATenstein
1199.18/1199.80	c SATenstein returned code 1.
1199.18/1199.80	c satzilla running gnovelty+ ... 
1199.18/1199.80	c Bin: Executing gnovelty+
1199.18/1199.80	c gnovelty+ returned code 1.
1199.18/1199.80	c satzilla running adaptg2wsat+ ... 
1199.18/1199.80	c Bin: Executing adaptg2wsat+
1199.18/1199.80	c adaptg2wsat+ returned code 1.
1199.18/1199.80	c satzilla running adaptg2wsat0 ... 
1199.18/1199.80	c Bin: Executing adaptg2wsat0
1199.18/1199.80	c adaptg2wsat0 returned code 1.
1199.18/1199.80	c satzilla running picosat846 ... 
1199.18/1199.80	c Bin: Executing picosat846
1199.18/1199.80	c picosat846 returned code 1.
1199.18/1199.80	c satzilla running kcnfs04SAT07 ... 
1199.18/1199.80	c Bin: Executing kcnfs04SAT07
1199.18/1199.80	c kcnfs04SAT07 returned code 1.
1199.18/1199.80	c ERROR: All Failed! 
1199.18/1199.80	c SATZILLA_TIME=1199.400000

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-1582004-1238935327/watcher-1582004-1238935327 -o /tmp/evaluation-result-1582004-1238935327/solver-1582004-1238935327 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1582004-1238935327.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 1.08 3/81 26159
/proc/meminfo: memFree=1570176/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=12400 CPUtime=0
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 1071 0 0 0 0 0 0 0 19 0 1 0 1166197185 12697600 1066 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 3100 1069 49 118 0 2979 0

[startup+0.104963 s]
/proc/loadavg: 0.92 0.98 1.08 3/81 26159
/proc/meminfo: memFree=1570176/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=21868 CPUtime=0.09
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 4260 0 0 0 8 1 0 0 20 0 1 0 1166197185 22392832 4255 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 5467 4255 50 118 0 5346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23924

[startup+0.201974 s]
/proc/loadavg: 0.92 0.98 1.08 3/81 26159
/proc/meminfo: memFree=1570176/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=23188 CPUtime=0.19
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 4680 0 0 0 18 1 0 0 20 0 1 0 1166197185 23744512 4675 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 5797 4675 50 118 0 5676 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25244

[startup+0.301983 s]
/proc/loadavg: 0.92 0.98 1.08 3/81 26159
/proc/meminfo: memFree=1570176/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=24640 CPUtime=0.29
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 5113 0 0 0 27 2 0 0 21 0 1 0 1166197185 25231360 5108 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 6160 5108 50 118 0 6039 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26696

[startup+0.701028 s]
/proc/loadavg: 0.92 0.98 1.08 3/81 26159
/proc/meminfo: memFree=1570176/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=29788 CPUtime=0.69
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 6711 0 0 0 66 3 0 0 25 0 1 0 1166197185 30502912 6706 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 7447 6706 50 118 0 7326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31844

[startup+1.50112 s]
/proc/loadavg: 0.92 0.98 1.08 2/83 26161
/proc/meminfo: memFree=1536624/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=81700 CPUtime=1.49
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 16225 0 0 0 142 7 0 0 25 0 1 0 1166197185 83660800 16218 1992294400 134512640 134996440 4294956176 18446744073709551615 134542421 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 20425 16218 52 118 0 20304 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83756

[startup+3.1023 s]
/proc/loadavg: 1.01 1.00 1.09 2/83 26161
/proc/meminfo: memFree=1508976/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=0
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1166197185 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 112 96 399 0 111 0
[pid=26160] ppid=26159 vsize=82220 CPUtime=3.09
/proc/26160/stat : 26160 (march_dl2004) R 26159 26159 25476 0 -1 4194304 20830 0 0 0 299 10 0 0 25 0 1 0 1166197185 84193280 16575 1992294400 134512640 134996440 4294956176 18446744073709551615 134644061 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26160/statm: 20555 16575 55 118 0 20434 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84276

[startup+6.30168 s]
/proc/loadavg: 1.01 1.00 1.09 2/83 26162
/proc/meminfo: memFree=1499504/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=5
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 152 22921 0 0 0 0 487 13 16 0 1 0 1166197185 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 121 104 399 0 111 0
[pid=26162] ppid=26159 vsize=96384 CPUtime=1.27
/proc/26162/stat : 26162 (mxc-sr08) R 26159 26159 25476 0 -1 4194304 22207 0 0 0 117 10 0 0 25 0 1 0 1166197686 98697216 22179 1992294400 134512640 135078026 4294956176 18446744073709551615 134566013 0 0 8392704 0 0 0 0 17 0 0 0
/proc/26162/statm: 24096 22180 54 138 0 23955 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 98440

[startup+12.7014 s]
/proc/loadavg: 1.15 1.03 1.09 2/83 26163
/proc/meminfo: memFree=1464824/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=2056 CPUtime=10.01
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 180 56561 0 0 0 0 971 30 19 0 1 0 1166197185 2105344 139 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 514 139 121 399 0 111 0
[pid=26163] ppid=26159 vsize=116360 CPUtime=2.65
/proc/26163/stat : 26163 (satelite) R 26159 26159 25476 0 -1 4194304 29295 0 0 0 246 19 0 0 25 0 1 0 1166198188 119152640 26652 1992294400 134512640 135037501 4294956160 18446744073709551615 134580421 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26163/statm: 29090 26652 67 128 0 28959 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 118416

[startup+25.5018 s]
/proc/loadavg: 1.21 1.05 1.10 2/82 26163
/proc/meminfo: memFree=1499528/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=62144 CPUtime=25.46
/proc/26159/stat : 26159 (SATzilla2009_C) R 26157 26159 25476 0 -1 4194304 14712 94087 0 0 775 7 1703 61 25 0 1 0 1166197185 63635456 14663 1992294400 134512640 136149437 4294956208 18446744073709551615 134535201 0 0 4096 0 0 0 0 17 0 0 0
/proc/26159/statm: 15536 14663 135 399 0 15133 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 62144

[startup+51.1016 s]
/proc/loadavg: 1.14 1.04 1.09 2/82 26163
/proc/meminfo: memFree=1498504/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=62144 CPUtime=51.03
/proc/26159/stat : 26159 (SATzilla2009_C) R 26157 26159 25476 0 -1 4194304 15052 94087 0 0 3332 7 1703 61 25 0 1 0 1166197185 63635456 15003 1992294400 134512640 136149437 4294956208 18446744073709551615 134535653 0 0 4096 0 0 0 0 17 0 0 0
/proc/26159/statm: 15536 15003 135 399 0 15133 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 62144

[startup+102.301 s]
/proc/loadavg: 1.05 1.03 1.09 2/83 26165
/proc/meminfo: memFree=1395192/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=89880 CPUtime=32.86
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 25064 0 0 0 3273 13 0 0 25 0 1 0 1166204127 92037120 21707 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 22470 21707 73 138 0 22329 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 168280

[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.08 2/83 26165
/proc/meminfo: memFree=1379832/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=105388 CPUtime=92.82
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 28925 0 0 0 9265 17 0 0 25 0 1 0 1166204127 107917312 25568 1992294400 134512640 135078472 4294956176 18446744073709551615 134550846 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 26347 25568 73 138 0 26206 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 183788

[startup+222.307 s]
/proc/loadavg: 1.00 1.02 1.07 2/83 26165
/proc/meminfo: memFree=1363512/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=121612 CPUtime=152.8
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 32973 0 0 0 15259 21 0 0 25 0 1 0 1166204127 124530688 29616 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 30403 29616 73 138 0 30262 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 200012

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.07 2/83 26167
/proc/meminfo: memFree=1344888/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=140256 CPUtime=212.77
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 37658 0 0 0 21250 27 0 0 25 0 1 0 1166204127 143622144 34301 1992294400 134512640 135078472 4294956176 18446744073709551615 134707415 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 35064 34301 73 138 0 34923 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 218656

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.06 2/83 26167
/proc/meminfo: memFree=1325816/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=159296 CPUtime=272.74
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 42385 0 0 0 27243 31 0 0 25 0 1 0 1166204127 163119104 39028 1992294400 134512640 135078472 4294956176 18446744073709551615 134551840 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 39824 39028 73 138 0 39683 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 237696

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.06 2/83 26167
/proc/meminfo: memFree=1310264/2055920 swapFree=4173632/4192956

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


[startup+762.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/83 26167
/proc/meminfo: memFree=1252920/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=231672 CPUtime=692.56
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 60449 0 0 0 69211 45 0 0 25 0 1 0 1166204127 237232128 57092 1992294400 134512640 135078472 4294956176 18446744073709551615 134550524 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 57918 57092 73 138 0 57777 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 310072

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/83 26167
/proc/meminfo: memFree=1252920/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=231672 CPUtime=752.53
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 60449 0 0 0 75208 45 0 0 25 0 1 0 1166204127 237232128 57092 1992294400 134512640 135078472 4294956176 18446744073709551615 134521192 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 57918 57092 73 138 0 57777 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 310072

[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.01 2/83 26167
/proc/meminfo: memFree=1252920/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=231672 CPUtime=812.5
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 60449 0 0 0 81205 45 0 0 25 0 1 0 1166204127 237232128 57092 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 57918 57092 73 138 0 57777 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 310072

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26167
/proc/meminfo: memFree=1241784/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=243040 CPUtime=872.48
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 63291 0 0 0 87199 49 0 0 25 0 1 0 1166204127 248872960 59934 1992294400 134512640 135078472 4294956176 18446744073709551615 134551920 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 60760 59934 73 138 0 60619 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 321440

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26167
/proc/meminfo: memFree=1227768/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=256908 CPUtime=932.45
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 66762 0 0 0 93193 52 0 0 25 0 1 0 1166204127 263073792 63405 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 64227 63405 73 138 0 64086 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 335308

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26167
/proc/meminfo: memFree=1213368/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=271472 CPUtime=992.42
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 70369 0 0 0 99186 56 0 0 25 0 1 0 1166204127 277987328 67012 1992294400 134512640 135078472 4294956176 18446744073709551615 134551963 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 67868 67012 73 138 0 67727 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 349872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26167
/proc/meminfo: memFree=1201848/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=282832 CPUtime=1052.39
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 73189 0 0 0 105180 59 0 0 25 0 1 0 1166204127 289619968 69832 1992294400 134512640 135078472 4294956176 18446744073709551615 134551872 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 70708 69832 73 138 0 70567 0
Current children cumulated CPU time (s) 1121.72
Current children cumulated vsize (KiB) 361232

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1192120/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=292472 CPUtime=1112.36
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 75629 0 0 0 111174 62 0 0 25 0 1 0 1166204127 299491328 72272 1992294400 134512640 135078472 4294956176 18446744073709551615 134551901 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 73118 72272 73 138 0 72977 0
Current children cumulated CPU time (s) 1181.69
Current children cumulated vsize (KiB) 370872

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

[startup+1190.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1189944/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=294584 CPUtime=1120.46
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 76132 0 0 0 111983 63 0 0 25 0 1 0 1166204127 301654016 72775 1992294400 134512640 135078472 4294956176 18446744073709551615 134551946 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 73646 72775 73 138 0 73505 0
Current children cumulated CPU time (s) 1189.79
Current children cumulated vsize (KiB) 372984

[startup+1196.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1188088/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=296300 CPUtime=1126.86
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 76580 0 0 0 112622 64 0 0 25 0 1 0 1166204127 303411200 73223 1992294400 134512640 135078472 4294956176 18446744073709551615 134550573 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 74075 73223 73 138 0 73934 0
Current children cumulated CPU time (s) 1196.19
Current children cumulated vsize (KiB) 374700

[startup+1198.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1187832/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=296696 CPUtime=1128.46
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 76686 0 0 0 112782 64 0 0 25 0 1 0 1166204127 303816704 73329 1992294400 134512640 135078472 4294956176 18446744073709551615 134550521 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 74174 73329 73 138 0 74033 0
Current children cumulated CPU time (s) 1197.79
Current children cumulated vsize (KiB) 375096

[startup+1199.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1187512/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=296960 CPUtime=1129.26
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 76733 0 0 0 112862 64 0 0 25 0 1 0 1166204127 304087040 73376 1992294400 134512640 135078472 4294956176 18446744073709551615 134551963 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 74240 73376 73 138 0 74099 0
Current children cumulated CPU time (s) 1198.59
Current children cumulated vsize (KiB) 375360

[startup+1199.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1187512/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=296960 CPUtime=1129.66
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4194304 76753 0 0 0 112902 64 0 0 25 0 1 0 1166204127 304087040 73396 1992294400 134512640 135078472 4294956176 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 74240 73396 73 138 0 74099 0
Current children cumulated CPU time (s) 1198.99
Current children cumulated vsize (KiB) 375360

[startup+1199.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 26173
/proc/meminfo: memFree=1187512/2055920 swapFree=4173632/4192956
[pid=26159] ppid=26157 vsize=78400 CPUtime=69.33
/proc/26159/stat : 26159 (SATzilla2009_C) S 26157 26159 25476 0 -1 4194304 34545 111984 0 0 4947 22 1895 69 25 0 1 0 1166197185 80281600 19182 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/26159/statm: 19600 19182 220 399 0 19197 0
[pid=26165] ppid=26159 vsize=0 CPUtime=1129.85
/proc/26165/stat : 26165 (minisat20SAT07) R 26159 26159 25476 0 -1 4195332 76760 0 0 0 112918 67 0 0 25 0 1 0 1166204127 0 0 1992294400 0 0 0 0 0 256 0 8392704 3 0 0 0 17 0 0 0
/proc/26165/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.18
Current children cumulated vsize (KiB) 78400

Child status: 17
Real time (s): 1199.83
CPU time (s): 1199.25
CPU user time (s): 1197.62
CPU system time (s): 1.63475
CPU usage (%): 99.9522
Max. virtual memory (cumulated for all children) (KiB): 375360

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

runsolver used 1.52777 second user time and 3.9334 second system time

The end

Launcher Data 

Begin job on node86 at 2009-04-05 14:42:09
IDJOB=1582004
IDBENCH=71047
IDSOLVER=527
FILE ID=node86/1582004-1238935327
PBS_JOBID= 9101434
Free space on /tmp= 66456 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-15-10p0.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1582004-1238935327/watcher-1582004-1238935327 -o /tmp/evaluation-result-1582004-1238935327/solver-1582004-1238935327 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1582004-1238935327.cnf

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

MD5SUM BENCH= a860cf613d4e0cb34c00f8b79611121d
RANDOM SEED=1424552746

node86.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.238
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1570656 kB
Buffers:         32368 kB
Cached:         370280 kB
SwapCached:       8276 kB
Active:         157788 kB
Inactive:       254596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570656 kB
SwapTotal:     4192956 kB
SwapFree:      4173632 kB
Dirty:           49956 kB
Writeback:           0 kB
Mapped:          15300 kB
Slab:            57108 kB
Committed_AS:  3103748 kB
PageTables:       2728 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= 66424 MiB
End job on node86 at 2009-04-05 15:02:09