Trace number 3308987

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
SAT09 reference solver:glucose 1.0? (TO) 1300.06 1300.01

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_3_keyfind_1.cnf
MD5SUM278d646386a62d4f28f7fc390c5eab3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark151.988
Satisfiable
(Un)Satisfiability was proved
Number of variables708
Number of clauses2664
Sum of the clauses size8392
Maximum clause length5
Minimum clause length1
Number of clauses of size 176
Number of clauses of size 2120
Number of clauses of size 31856
Number of clauses of size 4552
Number of clauses of size 560
Number of clauses of size over 50

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |    2540     8076 |     761       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    2204     7772 |      --       0       --      -- |     --   | -208/208
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 450   #clauses: 2204   #literals: 7772
0.00/0.01	c CPU time:   0.005999 s
0.00/0.01	c ==============================================================================
0.00/0.01	c
0.00/0.01	c Starting glucose
0.00/0.01	c
0.00/0.01	
0.00/0.01	c This is glucose 1.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.00/0.01	
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Number of variables:  450                                                  |
0.00/0.01	c |  Number of clauses:    2204                                                 |
0.00/0.01	c |  Parsing time:         0.00         s                                       |
1300.03/1300.01	HOME/glucose.sh: line 55:  8421 Terminated              $RS $TMP.cnf -verbosity=0 $TMP.result "$@"

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3308987-1303984943/watcher-3308987-1303984943 -o /tmp/evaluation-result-3308987-1303984943/solver-3308987-1303984943 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3308987-1303984943.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 4.00 3.37 4/192 8419
/proc/meminfo: memFree=14165132/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0

[startup+0.017586 s]
/proc/loadavg: 4.00 4.00 3.37 4/192 8419
/proc/meminfo: memFree=14165132/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100636 s]
/proc/loadavg: 4.00 4.00 3.37 4/192 8419
/proc/meminfo: memFree=14165132/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300588 s]
/proc/loadavg: 4.00 4.00 3.37 4/192 8419
/proc/meminfo: memFree=14165132/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.70051 s]
/proc/loadavg: 4.00 4.00 3.37 4/192 8419
/proc/meminfo: memFree=14165132/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50034 s]
/proc/loadavg: 4.00 4.00 3.37 5/194 8422
/proc/meminfo: memFree=14162888/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=3824 CPUtime=1.48 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 651 0 0 0 148 0 0 0 25 0 1 0 490909950 3915776 606 33554432000 134512640 135217611 4294571840 18446744073709551615 134533555 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 956 606 75 173 0 781 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12528

[startup+3.10106 s]
/proc/loadavg: 4.00 4.00 3.38 5/194 8422
/proc/meminfo: memFree=14161896/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=4840 CPUtime=3.09 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 899 0 0 0 309 0 0 0 25 0 1 0 490909950 4956160 854 33554432000 134512640 135217611 4294571840 18446744073709551615 134534004 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 1210 854 76 173 0 1035 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13544

[startup+6.30045 s]
/proc/loadavg: 4.00 4.00 3.38 5/194 8422
/proc/meminfo: memFree=14160248/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=5924 CPUtime=6.29 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 1135 0 0 0 629 0 0 0 25 0 1 0 490909950 6066176 1090 33554432000 134512640 135217611 4294571840 18446744073709551615 134533324 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 1481 1090 76 173 0 1306 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14628

[startup+12.7002 s]
/proc/loadavg: 4.00 4.00 3.38 5/194 8422
/proc/meminfo: memFree=14158900/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=7216 CPUtime=12.69 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 1438 0 0 0 1269 0 0 0 25 0 1 0 490909950 7389184 1393 33554432000 134512640 135217611 4294571840 18446744073709551615 134532996 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 1804 1393 76 173 0 1629 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15920

[startup+25.5008 s]
/proc/loadavg: 4.00 4.00 3.39 5/194 8423
/proc/meminfo: memFree=14156776/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=8912 CPUtime=25.48 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 1877 0 0 0 2548 0 0 0 25 0 1 0 490909950 9125888 1832 33554432000 134512640 135217611 4294571840 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 2228 1832 76 173 0 2053 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17616

[startup+51.101 s]
/proc/loadavg: 3.99 4.00 3.40 5/194 8454
/proc/meminfo: memFree=14354136/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=11204 CPUtime=51.09 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 2404 0 0 0 5109 0 0 0 25 0 1 0 490909950 11472896 2359 33554432000 134512640 135217611 4294571840 18446744073709551615 134533664 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 2801 2359 76 173 0 2626 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19908

[startup+102.307 s]
/proc/loadavg: 4.05 4.01 3.44 5/194 8486
/proc/meminfo: memFree=14384196/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=14624 CPUtime=102.3 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 3170 0 0 0 10229 1 0 0 25 0 1 0 490909950 14974976 3125 33554432000 134512640 135217611 4294571840 18446744073709551615 134533190 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 3656 3125 76 173 0 3481 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 23328

[startup+162.301 s]
/proc/loadavg: 4.02 4.01 3.47 5/194 8487
/proc/meminfo: memFree=14298928/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=16920 CPUtime=162.29 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 3745 0 0 0 16228 1 0 0 25 0 1 0 490909950 17326080 3700 33554432000 134512640 135217611 4294571840 18446744073709551615 134533055 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 4230 3700 76 173 0 4055 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25624

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.50 5/194 8489
/proc/meminfo: memFree=14282400/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=18788 CPUtime=222.29 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 4156 0 0 0 22228 1 0 0 25 0 1 0 490909950 19238912 4111 33554432000 134512640 135217611 4294571840 18446744073709551615 134533155 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 4697 4111 76 173 0 4522 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 27492

[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.53 5/194 8521
/proc/meminfo: memFree=14472968/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=20744 CPUtime=282.29 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 4577 0 0 0 28228 1 0 0 25 0 1 0 490909950 21241856 4529 33554432000 134512640 135217611 4294571840 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 5186 4529 76 173 0 5011 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29448

[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.56 5/190 8527
/proc/meminfo: memFree=14999960/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=22732 CPUtime=342.29 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 4990 0 0 0 34228 1 0 0 25 0 1 0 490909950 23277568 4942 33554432000 134512640 135217611 4294571840 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 5683 4942 76 173 0 5508 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 31436

[startup+402.301 s]
/proc/loadavg: 3.40 3.83 3.52 4/187 8543
/proc/meminfo: memFree=15095068/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2

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

[pid=8421] ppid=8419 vsize=27176 CPUtime=522.3 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 6050 0 0 0 52229 1 0 0 25 0 1 0 490909950 27828224 6002 33554432000 134512640 135217611 4294571840 18446744073709551615 134533196 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 6794 6002 76 173 0 6619 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 35880

[startup+582.301 s]
/proc/loadavg: 3.03 3.45 3.43 4/187 8548
/proc/meminfo: memFree=15077512/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=28304 CPUtime=582.31 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 6281 0 0 0 58229 2 0 0 25 0 1 0 490909950 28983296 6233 33554432000 134512640 135217611 4294571840 18446744073709551615 134533148 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 7076 6233 76 173 0 6901 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 37008

[startup+642.3 s]
/proc/loadavg: 3.01 3.37 3.40 4/187 8549
/proc/meminfo: memFree=15070548/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=29636 CPUtime=642.31 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 6556 0 0 0 64229 2 0 0 25 0 1 0 490909950 30347264 6508 33554432000 134512640 135217611 4294571840 18446744073709551615 134533324 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 7409 6508 76 173 0 7234 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 38340

[startup+702.301 s]
/proc/loadavg: 3.00 3.30 3.37 4/187 8551
/proc/meminfo: memFree=15068040/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=30336 CPUtime=702.3 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 6750 0 0 0 70228 2 0 0 25 0 1 0 490909950 31064064 6702 33554432000 134512640 135217611 4294571840 18446744073709551615 134532985 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 7584 6702 76 173 0 7409 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 39040

[startup+762.307 s]
/proc/loadavg: 3.03 3.25 3.35 4/187 8553
/proc/meminfo: memFree=15064552/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=31984 CPUtime=762.31 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 7047 0 0 0 76229 2 0 0 25 0 1 0 490909950 32751616 6999 33554432000 134512640 135217611 4294571840 18446744073709551615 134533327 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 7996 6999 76 173 0 7821 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 40688

[startup+822.3 s]
/proc/loadavg: 3.01 3.21 3.33 4/187 8554
/proc/meminfo: memFree=15059440/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=32632 CPUtime=822.31 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 7188 0 0 0 82229 2 0 0 25 0 1 0 490909950 33415168 7140 33554432000 134512640 135217611 4294571840 18446744073709551615 134533046 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 8158 7140 76 173 0 7983 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 41336

[startup+882.301 s]
/proc/loadavg: 3.00 3.16 3.30 4/187 8556
/proc/meminfo: memFree=15056932/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=33400 CPUtime=882.31 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 7384 0 0 0 88229 2 0 0 25 0 1 0 490909950 34201600 7336 33554432000 134512640 135217611 4294571840 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 8350 7336 76 173 0 8175 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 42104

[startup+942.301 s]
/proc/loadavg: 3.00 3.13 3.28 4/187 8557
/proc/meminfo: memFree=15055036/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=34872 CPUtime=942.32 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 7679 0 0 0 94229 3 0 0 25 0 1 0 490909950 35708928 7631 33554432000 134512640 135217611 4294571840 18446744073709551615 134533034 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 8718 7631 76 173 0 8543 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 43576

[startup+1002.3 s]
/proc/loadavg: 3.00 3.11 3.26 4/187 8559
/proc/meminfo: memFree=15051536/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=35436 CPUtime=1002.32 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 7845 0 0 0 100229 3 0 0 25 0 1 0 490909950 36286464 7797 33554432000 134512640 135217611 4294571840 18446744073709551615 134532960 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 8859 7797 76 173 0 8684 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 44140

[startup+1062.3 s]
/proc/loadavg: 3.00 3.08 3.24 4/187 8560
/proc/meminfo: memFree=15049520/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=36140 CPUtime=1062.33 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 7997 0 0 0 106230 3 0 0 25 0 1 0 490909950 37007360 7949 33554432000 134512640 135217611 4294571840 18446744073709551615 134533004 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 9035 7949 76 173 0 8860 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 44844

[startup+1122.3 s]
/proc/loadavg: 3.05 3.08 3.23 4/187 8562
/proc/meminfo: memFree=15047148/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=36632 CPUtime=1122.33 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 8102 0 0 0 112230 3 0 0 25 0 1 0 490909950 37511168 8054 33554432000 134512640 135217611 4294571840 18446744073709551615 134533146 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 9158 8054 76 173 0 8983 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 45336

[startup+1182.3 s]
/proc/loadavg: 3.02 3.07 3.21 4/187 8564
/proc/meminfo: memFree=15044268/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=37340 CPUtime=1182.33 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 8275 0 0 0 118230 3 0 0 25 0 1 0 490909950 38236160 8227 33554432000 134512640 135217611 4294571840 18446744073709551615 134533016 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 9335 8227 76 173 0 9160 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 46044

[startup+1242.3 s]
/proc/loadavg: 3.06 3.06 3.20 4/187 8565
/proc/meminfo: memFree=15041028/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=38360 CPUtime=1242.33 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 8481 0 0 0 124230 3 0 0 25 0 1 0 490909950 39280640 8433 33554432000 134512640 135217611 4294571840 18446744073709551615 134533327 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 9590 8433 76 173 0 9415 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 47064



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.02 3.05 3.18 4/187 8567
/proc/meminfo: memFree=15037276/32951124 swapFree=67111528/67111528
[pid=8419] ppid=8417 vsize=8704 CPUtime=0 cores=0,2
/proc/8419/stat : 8419 (glucose.sh) S 8417 8419 7964 0 -1 4202496 359 261 0 0 0 0 0 0 25 0 1 0 490909949 8912896 255 33554432000 4194304 4922060 140735614826832 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/8419/statm: 2176 255 211 178 0 69 0
[pid=8421] ppid=8419 vsize=39092 CPUtime=1300.03 cores=0,2
/proc/8421/stat : 8421 (glucose_static) R 8419 8419 7964 0 -1 4202496 8610 0 0 0 130000 3 0 0 25 0 1 0 490909950 40030208 8562 33554432000 134512640 135217611 4294571840 18446744073709551615 134532960 0 0 4096 8388611 0 0 0 17 0 0 0 0
/proc/8421/statm: 9773 8562 76 173 0 9598 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 47796

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.01
CPU time (s): 1300.06
CPU user time (s): 1300.02
CPU system time (s): 0.041993
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 47796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.02
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9239
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= 22
involuntary context switches= 2916

runsolver used 2.31365 second user time and 4.78927 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-28 12:02:23
IDJOB=3308987
IDBENCH=83432
IDSOLVER=1691
FILE ID=node141/3308987-1303984943
RUNJOBID= node141-1303983196-7982
PBS_JOBID= 13168685
Free space on /tmp= 71216 MiB

SOLVER NAME= SAT09 reference solver:glucose 1.0
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_3_keyfind_1.cnf
COMMAND LINE= glucose.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308987-1303984943/watcher-3308987-1303984943 -o /tmp/evaluation-result-3308987-1303984943/solver-3308987-1303984943 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3308987-1303984943.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 278d646386a62d4f28f7fc390c5eab3e
RANDOM SEED=1080248598

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5362.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14165164 kB
Buffers:       1618548 kB
Cached:       15675240 kB
SwapCached:          0 kB
Active:        8754064 kB
Inactive:      9448108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14165164 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1576 kB
Writeback:           0 kB
AnonPages:      908200 kB
Mapped:          16012 kB
Slab:           517960 kB
PageTables:       7064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1108132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71404 MiB
End job on node141 at 2011-04-28 12:24:05