Trace number 3308957

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.04 1300.01

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_1_keyfind_1.cnf
MD5SUM5092a9db644d53c7bc023e4dff206812
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 variables1192
Number of clauses10656
Sum of the clauses size56868
Maximum clause length8
Minimum clause length1
Number of clauses of size 1264
Number of clauses of size 2128
Number of clauses of size 32016
Number of clauses of size 4320
Number of clauses of size 52048
Number of clauses of size over 55880

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.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |   10360    56444 |    3107       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    9592    53884 |      --       0       --      -- |     --   | -256/-512
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 800   #clauses: 9592   #literals: 53884
0.00/0.01	c CPU time:   0.008998 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.02	
0.00/0.02	c This is glucose 1.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.00/0.02	
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Number of variables:  800                                                  |
0.00/0.02	c |  Number of clauses:    9592                                                 |
0.00/0.02	c |  Parsing time:         0.00         s                                       |
1300.02/1300.00	HOME/glucose.sh: line 55: 23810 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-3308957-1303984800/watcher-3308957-1303984800 -o /tmp/evaluation-result-3308957-1303984800/solver-3308957-1303984800 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3308957-1303984800.cnf 

running on 2 cores: 4,6

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.11 3.99 3.25 5/192 23807
/proc/meminfo: memFree=13691340/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 510078806 8912896 253 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 253 211 178 0 69 0

[startup+0.0854131 s]
/proc/loadavg: 4.11 3.99 3.25 5/192 23807
/proc/meminfo: memFree=13691340/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.100406 s]
/proc/loadavg: 4.11 3.99 3.25 5/192 23807
/proc/meminfo: memFree=13691340/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.300371 s]
/proc/loadavg: 4.11 3.99 3.25 5/192 23807
/proc/meminfo: memFree=13691340/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+0.700301 s]
/proc/loadavg: 4.11 3.99 3.25 5/192 23807
/proc/meminfo: memFree=13691340/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8704

[startup+1.50023 s]
/proc/loadavg: 4.11 3.99 3.25 5/194 23810
/proc/meminfo: memFree=13686488/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=5376 CPUtime=1.47 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 1077 0 0 0 147 0 0 0 25 0 1 0 510078808 5505024 1032 33554432000 134512640 135217611 4288221904 18446744073709551615 134532996 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 1344 1032 76 173 0 1169 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14080

[startup+3.10094 s]
/proc/loadavg: 4.11 3.99 3.25 5/194 23810
/proc/meminfo: memFree=13685004/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=6684 CPUtime=3.07 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 1403 0 0 0 307 0 0 0 25 0 1 0 510078808 6844416 1358 33554432000 134512640 135217611 4288221904 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 1671 1358 76 173 0 1496 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15388

[startup+6.30037 s]
/proc/loadavg: 4.10 3.99 3.25 5/194 23810
/proc/meminfo: memFree=13682360/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=7920 CPUtime=6.27 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 1690 0 0 0 627 0 0 0 25 0 1 0 510078808 8110080 1645 33554432000 134512640 135217611 4288221904 18446744073709551615 134536862 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 1980 1645 76 173 0 1805 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16624

[startup+12.7002 s]
/proc/loadavg: 4.09 3.99 3.26 5/194 23810
/proc/meminfo: memFree=13678136/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=9652 CPUtime=12.67 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 2147 0 0 0 1267 0 0 0 25 0 1 0 510078808 9883648 2102 33554432000 134512640 135217611 4288221904 18446744073709551615 134533552 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 2413 2102 76 173 0 2238 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18356

[startup+25.501 s]
/proc/loadavg: 4.14 4.00 3.27 5/194 23810
/proc/meminfo: memFree=13674292/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=12336 CPUtime=25.47 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 2781 0 0 0 2547 0 0 0 25 0 1 0 510078808 12632064 2736 33554432000 134512640 135217611 4288221904 18446744073709551615 134533193 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 3084 2736 76 173 0 2909 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21040

[startup+51.1005 s]
/proc/loadavg: 4.09 4.00 3.29 5/194 23811
/proc/meminfo: memFree=13667668/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=15632 CPUtime=51.07 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 3549 0 0 0 5107 0 0 0 25 0 1 0 510078808 16007168 3504 33554432000 134512640 135217611 4288221904 18446744073709551615 134533146 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 3908 3504 76 173 0 3733 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24336

[startup+102.307 s]
/proc/loadavg: 4.04 4.00 3.32 5/194 23822
/proc/meminfo: memFree=13653096/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=21200 CPUtime=102.28 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 4889 0 0 0 10227 1 0 0 25 0 1 0 510078808 21708800 4844 33554432000 134512640 135217611 4288221904 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 5300 4844 76 173 0 5125 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 29904

[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.37 5/194 23823
/proc/meminfo: memFree=13644616/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=23572 CPUtime=162.28 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 5480 0 0 0 16227 1 0 0 25 0 1 0 510078808 24137728 5435 33554432000 134512640 135217611 4288221904 18446744073709551615 134533184 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 5893 5435 76 173 0 5718 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 32276

[startup+222.3 s]
/proc/loadavg: 3.40 3.83 3.35 4/187 23843
/proc/meminfo: memFree=13715192/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=27208 CPUtime=222.27 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 6325 0 0 0 22226 1 0 0 25 0 1 0 510078808 27860992 6280 33554432000 134512640 135217611 4288221904 18446744073709551615 134533219 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 6802 6280 76 173 0 6627 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 35912

[startup+282.301 s]
/proc/loadavg: 3.15 3.68 3.32 4/187 23847
/proc/meminfo: memFree=13706292/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=29380 CPUtime=282.27 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 6837 0 0 0 28226 1 0 0 25 0 1 0 510078808 30085120 6792 33554432000 134512640 135217611 4288221904 18446744073709551615 134533304 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 7345 6792 76 173 0 7170 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 38084

[startup+342.301 s]
/proc/loadavg: 3.05 3.55 3.30 4/187 23849
/proc/meminfo: memFree=13701000/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=31448 CPUtime=342.28 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 7342 0 0 0 34226 2 0 0 25 0 1 0 510078808 32202752 7297 33554432000 134512640 135217611 4288221904 18446744073709551615 134533324 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 7862 7297 76 173 0 7687 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 40152

[startup+402.301 s]
/proc/loadavg: 3.02 3.45 3.28 4/187 23851
/proc/meminfo: memFree=13695740/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6

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

[pid=23810] ppid=23807 vsize=35768 CPUtime=522.28 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 8350 0 0 0 52226 2 0 0 25 0 1 0 510078808 36626432 8305 33554432000 134512640 135217611 4288221904 18446744073709551615 134533190 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 8942 8305 76 173 0 8767 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 44472

[startup+582.301 s]
/proc/loadavg: 3.01 3.25 3.23 4/187 23855
/proc/meminfo: memFree=13681604/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=37832 CPUtime=582.28 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 8846 0 0 0 58226 2 0 0 25 0 1 0 510078808 38739968 8801 33554432000 134512640 135217611 4288221904 18446744073709551615 134532978 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 9458 8801 76 173 0 9283 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 46536

[startup+642.3 s]
/proc/loadavg: 3.00 3.20 3.21 4/187 23857
/proc/meminfo: memFree=13677096/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=38432 CPUtime=642.29 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 8994 0 0 0 64227 2 0 0 25 0 1 0 510078808 39354368 8949 33554432000 134512640 135217611 4288221904 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 9608 8949 76 173 0 9433 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 47136

[startup+702.301 s]
/proc/loadavg: 3.00 3.16 3.19 4/187 23859
/proc/meminfo: memFree=13673684/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=40412 CPUtime=702.29 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 9504 0 0 0 70226 3 0 0 25 0 1 0 510078808 41381888 9459 33554432000 134512640 135217611 4288221904 18446744073709551615 134533063 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 10103 9459 76 173 0 9928 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 49116

[startup+762.307 s]
/proc/loadavg: 3.00 3.13 3.18 4/187 23860
/proc/meminfo: memFree=13669660/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=40592 CPUtime=762.3 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 9530 0 0 0 76227 3 0 0 25 0 1 0 510078808 41566208 9485 33554432000 134512640 135217611 4288221904 18446744073709551615 134533288 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 10148 9485 76 173 0 9973 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 49296

[startup+822.3 s]
/proc/loadavg: 3.00 3.10 3.16 4/187 23862
/proc/meminfo: memFree=13666016/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=41964 CPUtime=822.29 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 9899 0 0 0 82226 3 0 0 25 0 1 0 510078808 42971136 9854 33554432000 134512640 135217611 4288221904 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 10491 9854 76 173 0 10316 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 50668

[startup+882.301 s]
/proc/loadavg: 3.00 3.08 3.15 4/187 23863
/proc/meminfo: memFree=13664716/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=43660 CPUtime=882.29 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 10242 0 0 0 88226 3 0 0 25 0 1 0 510078808 44707840 10197 33554432000 134512640 135217611 4288221904 18446744073709551615 134533622 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 10915 10197 76 173 0 10740 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 52364

[startup+942.3 s]
/proc/loadavg: 3.00 3.06 3.14 4/187 23865
/proc/meminfo: memFree=13655868/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=48640 CPUtime=942.29 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 11445 0 0 0 94226 3 0 0 25 0 1 0 510078808 49807360 11400 33554432000 134512640 135217611 4288221904 18446744073709551615 134522600 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 12160 11400 76 173 0 11985 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 57344

[startup+1002.3 s]
/proc/loadavg: 3.00 3.05 3.13 4/187 23867
/proc/meminfo: memFree=13655232/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=48640 CPUtime=1002.3 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 11449 0 0 0 100226 4 0 0 25 0 1 0 510078808 49807360 11404 33554432000 134512640 135217611 4288221904 18446744073709551615 134533552 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 12160 11404 76 173 0 11985 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 57344

[startup+1062.3 s]
/proc/loadavg: 3.00 3.04 3.12 4/187 23898
/proc/meminfo: memFree=12957844/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=47056 CPUtime=1062.29 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 11458 0 0 0 106223 6 0 0 25 0 1 0 510078808 48185344 11045 33554432000 134512640 135217611 4288221904 18446744073709551615 134533133 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 11764 11045 76 173 0 11589 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 55760

[startup+1122.3 s]
/proc/loadavg: 3.00 3.03 3.11 4/187 23900
/proc/meminfo: memFree=12936324/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=47984 CPUtime=1122.3 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 11679 0 0 0 112223 7 0 0 25 0 1 0 510078808 49135616 11266 33554432000 134512640 135217611 4288221904 18446744073709551615 134533007 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 11996 11266 76 173 0 11821 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 56688

[startup+1182.3 s]
/proc/loadavg: 3.00 3.02 3.09 4/187 23901
/proc/meminfo: memFree=12923656/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=48640 CPUtime=1182.3 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 11855 0 0 0 118223 7 0 0 25 0 1 0 510078808 49807360 11442 33554432000 134512640 135217611 4288221904 18446744073709551615 134533135 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 12160 11442 76 173 0 11985 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 57344

[startup+1242.3 s]
/proc/loadavg: 3.00 3.02 3.09 4/187 23903
/proc/meminfo: memFree=12925852/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=50224 CPUtime=1242.3 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 12233 0 0 0 124223 7 0 0 25 0 1 0 510078808 51429376 11820 33554432000 134512640 135217611 4288221904 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 12556 11820 76 173 0 12381 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 58928



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.53 2.89 3.04 3/180 23922
/proc/meminfo: memFree=12992744/32950928 swapFree=67111528/67111528
[pid=23807] ppid=23805 vsize=8704 CPUtime=0.01 cores=4,6
/proc/23807/stat : 23807 (glucose.sh) S 23805 23807 23274 0 -1 4202496 360 469 0 0 0 0 1 0 25 0 1 0 510078806 8912896 255 33554432000 4194304 4922060 140734382187920 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/23807/statm: 2176 255 211 178 0 69 0
[pid=23810] ppid=23807 vsize=51016 CPUtime=1300.01 cores=4,6
/proc/23810/stat : 23810 (glucose_static) R 23807 23807 23274 0 -1 4202496 12437 0 0 0 129994 7 0 0 25 0 1 0 510078808 52240384 12024 33554432000 134512640 135217611 4288221904 18446744073709551615 134533161 0 0 4096 8388611 0 0 0 17 4 0 0 0
/proc/23810/statm: 12754 12024 76 173 0 12579 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 59720

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

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

Child status: 143
Real time (s): 1300.01
CPU time (s): 1300.04
CPU user time (s): 1299.96
CPU system time (s): 0.079987
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 59720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.96
system time used= 0.079987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13478
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= 10
involuntary context switches= 2003

runsolver used 2.13368 second user time and 4.95625 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-28 12:00:00
IDJOB=3308957
IDBENCH=83412
IDSOLVER=1691
FILE ID=node120/3308957-1303984800
RUNJOBID= node120-1303983220-23294
PBS_JOBID= 13168706
Free space on /tmp= 72008 MiB

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

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

MD5SUM BENCH= 5092a9db644d53c7bc023e4dff206812
RANDOM SEED=903626049

node120.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.809
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.809
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	: 5226.07
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.809
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.809
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.809
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.78
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.809
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.809
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.82
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.809
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:     32950928 kB
MemFree:      13691612 kB
Buffers:       2476612 kB
Cached:       16041012 kB
SwapCached:          0 kB
Active:       10902708 kB
Inactive:      7785896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13691612 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1968 kB
Writeback:           0 kB
AnonPages:      170764 kB
Mapped:          16148 kB
Slab:           507288 kB
PageTables:       5724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   358612 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= 71864 MiB
End job on node120 at 2011-04-28 12:21:40