Trace number 3264860

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
glucose 2? (TO) 1300.04 1300.01

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
MD5SUM22bc1843113c53c5f8a8f8cec42dcbe5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark240.682
Satisfiable
(Un)Satisfiability was proved
Number of variables352
Number of clauses2492
Sum of the clauses size11032
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41592
Number of clauses of size 5736
Number of clauses of size over 5164

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 |    2492    11032 |     747       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 352   #clauses: 2492   #literals: 11032
0.00/0.00	c CPU time:   0.000999 s
0.00/0.00	c ==============================================================================
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
0.00/0.09	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
0.00/0.09	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.09	c ============================[ Problem Statistics ]=============================
0.00/0.09	c |                                                                             |
0.00/0.09	c |  Number of variables:           352                                         |
0.00/0.09	c |  Number of clauses:            2492                                         |
0.00/0.09	c |  Parse time:                   0.00 s                                       |
0.00/0.09	c |                                                                             |
0.00/0.09	c ============================[ Search Statistics ]==============================
0.00/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.09	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.09	c ===============================================================================
0.00/0.09	c |       503 |     352     2492    11032 |        1      503      5 |  0.000 % |
0.00/0.09	c |      1010 |     352     2492    11032 |        1     1010      6 |  0.000 % |
0.00/0.09	c |      1243 |     352     2492    11032 |        1     1243      7 |  0.000 % |
0.00/0.09	c |      1428 |     352     2492    11032 |        1     1428      8 |  0.000 % |
0.00/0.09	c |      1668 |     352     2492    11032 |        1     1668      8 |  0.000 % |
0.00/0.09	c |      1952 |     352     2492    11032 |        1     1952      8 |  0.000 % |
0.00/0.09	c |      2123 |     352     2492    11032 |        1     2123      9 |  0.000 % |
0.00/0.09	c |      2308 |     352     2492    11032 |        1     2308      9 |  0.000 % |
0.00/0.09	c |      2452 |     352     2492    11032 |        1     2452      9 |  0.000 % |
0.00/0.09	c |      2599 |     352     2492    11032 |        1     2599      9 |  0.000 % |
0.00/0.09	c |      2769 |     352     2492    11032 |        1     2769     10 |  0.000 % |
0.00/0.09	c |      2872 |     352     2492    11032 |        1     2872     10 |  0.000 % |
0.00/0.09	c |      3026 |     352     2492    11032 |        1     3026     10 |  0.000 % |
0.00/0.09	c |      3130 |     352     2492    11032 |        1     3130     11 |  0.000 % |
0.00/0.09	c |      3264 |     352     2492    11032 |        1     3264     11 |  0.000 % |
0.00/0.09	c |      3365 |     352     2492    11032 |        1     3365     11 |  0.000 % |
0.00/0.09	c |      3499 |     352     2492    11032 |        1     3499     11 |  0.000 % |
0.00/0.09	c |      3600 |     352     2492    11032 |        1     3600     12 |  0.000 % |
0.00/0.09	c |      3700 |     352     2492    11032 |        1     3700     12 |  0.000 % |
0.00/0.09	c |      3801 |     352     2492    11032 |        1     3801     12 |  0.000 % |
0.00/0.09	c |      3901 |     352     2492    11032 |        1     3901     12 |  0.000 % |
0.00/0.09	c |      4001 |     352     2492    11032 |        1     4001     13 |  0.000 % |
0.00/0.09	c |      4164 |     352     2492    11032 |        1     2164      6 |  0.000 % |
0.00/0.09	c |      4275 |     352     2492    11032 |        1     2275      7 |  0.000 % |
0.00/0.09	c |      4375 |     352     2492    11032 |        1     2375      8 |  0.000 % |
0.00/0.09	c |      4504 |     352     2492    11032 |        1     2504      8 |  0.000 % |
0.00/0.09	c |      4606 |     352     2492    11032 |        1     2606      9 |  0.000 % |
0.00/0.09	c |      4716 |     352     2492    11032 |        1     2716     10 |  0.000 % |
0.00/0.09	c |      4832 |     352     2492    11032 |        1     2832     10 |  0.000 % |
0.00/0.09	c |      5014 |     352     2492    11032 |        1     3014     11 |  0.000 % |
0.00/0.09	c |      5218 |     352     2492    11032 |        1     3218     11 |  0.000 % |
0.00/0.09	c |      5551 |     352     2492    11032 |        1     3551     13 |  0.000 % |
0.00/0.09	c |      5652 |     352     2492    11032 |        1     3652     13 |  0.000 % |
0.00/0.09	c |      5752 |     352     2492    11032 |        1     3752     13 |  0.000 % |
0.00/0.09	c |      5854 |     352     2492    11032 |        1     3854     14 |  0.000 % |
0.00/0.09	c |      5954 |     352     2492    11032 |        1     3954     14 |  0.000 % |
0.00/0.09	c |      6259 |     352     2492    11032 |        1     4259     15 |  0.000 % |
0.00/0.09	c |      6568 |     352     2492    11032 |        1     4568     16 |  0.000 % |
0.00/0.09	c |      6874 |     3HOME/glucose.sh: line 55: 11908 Terminated              $RS $TMP.cnf $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-3264860-1303548238/watcher-3264860-1303548238 -o /tmp/evaluation-result-3264860-1303548238/solver-3264860-1303548238 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264860-1303548238.cnf 

running on 2 cores: 1,3

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: 3.80 3.94 3.67 4/185 11906
/proc/meminfo: memFree=14454560/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0

[startup+0.097071 s]
/proc/loadavg: 3.80 3.94 3.67 4/185 11906
/proc/meminfo: memFree=14454560/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.101074 s]
/proc/loadavg: 3.80 3.94 3.67 4/185 11906
/proc/meminfo: memFree=14454560/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.301048 s]
/proc/loadavg: 3.80 3.94 3.67 4/185 11906
/proc/meminfo: memFree=14454560/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700967 s]
/proc/loadavg: 3.80 3.94 3.67 4/185 11906
/proc/meminfo: memFree=14454560/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50084 s]
/proc/loadavg: 3.80 3.94 3.67 4/187 11909
/proc/meminfo: memFree=14446140/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=20244 CPUtime=1.49 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 1915 0 0 0 149 0 0 0 25 0 1 0 466421763 20729856 1496 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 5061 1496 248 17 0 1702 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28948

[startup+3.10054 s]
/proc/loadavg: 3.74 3.92 3.67 4/187 11909
/proc/meminfo: memFree=14444900/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=24596 CPUtime=3.08 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 2572 0 0 0 308 0 0 0 25 0 1 0 466421763 25186304 2133 33554432000 4194304 4260849 140736117023072 18446744073709551615 4225110 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 6149 2133 248 17 0 2790 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33300

[startup+6.30098 s]
/proc/loadavg: 3.74 3.92 3.67 4/187 11909
/proc/meminfo: memFree=14437620/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=24596 CPUtime=6.28 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 3158 0 0 0 628 0 0 0 25 0 1 0 466421763 25186304 2701 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 6149 2701 248 17 0 2790 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33300

[startup+12.7009 s]
/proc/loadavg: 3.63 3.89 3.66 4/187 11909
/proc/meminfo: memFree=14432748/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=29432 CPUtime=12.69 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 5223 0 0 0 1268 1 0 0 25 0 1 0 466421763 30138368 3601 33554432000 4194304 4260849 140736117023072 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 7358 3601 248 17 0 3999 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38136

[startup+25.5006 s]
/proc/loadavg: 3.53 3.86 3.65 4/187 11909
/proc/meminfo: memFree=14420968/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=29432 CPUtime=25.49 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 7406 0 0 0 2548 1 0 0 25 0 1 0 466421763 30138368 3960 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 7358 3960 248 17 0 3999 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 38136

[startup+51.1011 s]
/proc/loadavg: 3.35 3.79 3.63 4/187 11910
/proc/meminfo: memFree=14397372/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=40868 CPUtime=51.08 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 9797 0 0 0 5107 1 0 0 25 0 1 0 466421763 41848832 6266 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 10217 6266 248 17 0 6858 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49572

[startup+102.307 s]
/proc/loadavg: 3.20 3.67 3.60 4/187 11911
/proc/meminfo: memFree=14374656/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=52644 CPUtime=102.29 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 13161 0 0 0 10227 2 0 0 25 0 1 0 466421763 53907456 9499 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 13161 9499 248 17 0 9802 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 61348

[startup+162.301 s]
/proc/loadavg: 3.07 3.55 3.56 4/187 11913
/proc/meminfo: memFree=14350836/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=59828 CPUtime=162.28 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 15202 0 0 0 16226 2 0 0 25 0 1 0 466421763 61263872 11453 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 14957 11453 248 17 0 11598 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 68532

[startup+222.301 s]
/proc/loadavg: 3.02 3.44 3.52 4/187 11915
/proc/meminfo: memFree=14340896/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=59828 CPUtime=222.29 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 15208 0 0 0 22227 2 0 0 25 0 1 0 466421763 61263872 11459 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 14957 11459 248 17 0 11598 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 68532

[startup+282.301 s]
/proc/loadavg: 3.01 3.37 3.49 4/187 11916
/proc/meminfo: memFree=14327984/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=67224 CPUtime=282.3 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 16188 0 0 0 28227 3 0 0 25 0 1 0 466421763 68837376 12402 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 16806 12402 248 17 0 13447 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 75928

[startup+342.301 s]
/proc/loadavg: 3.03 3.31 3.46 4/187 11918
/proc/meminfo: memFree=14310232/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=69004 CPUtime=342.29 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 17589 0 0 0 34226 3 0 0 25 0 1 0 466421763 70660096 13754 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224753 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 17251 13754 248 17 0 13892 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 77708

[startup+402.3 s]
/proc/loadavg: 3.01 3.25 3.43 4/187 11919
/proc/meminfo: memFree=14305128/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3

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

[pid=11908] ppid=11906 vsize=92032 CPUtime=522.29 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 25586 0 0 0 52224 5 0 0 25 0 1 0 466421763 94240768 16881 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 23008 16881 248 17 0 19649 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 100736

[startup+582.301 s]
/proc/loadavg: 3.00 3.13 3.34 4/187 11924
/proc/meminfo: memFree=14265392/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=93668 CPUtime=582.3 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 26239 0 0 0 58224 6 0 0 25 0 1 0 466421763 95916032 17501 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 23417 17501 248 17 0 20058 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 102372

[startup+642.3 s]
/proc/loadavg: 3.05 3.12 3.33 4/187 11926
/proc/meminfo: memFree=14263752/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=93668 CPUtime=642.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 26305 0 0 0 64225 6 0 0 25 0 1 0 466421763 95916032 17566 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 23417 17566 248 17 0 20058 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 102372

[startup+702.301 s]
/proc/loadavg: 3.05 3.11 3.31 4/187 11927
/proc/meminfo: memFree=14253324/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=93668 CPUtime=702.3 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 26309 0 0 0 70224 6 0 0 25 0 1 0 466421763 95916032 17570 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 23417 17570 248 17 0 20058 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 102372

[startup+762.307 s]
/proc/loadavg: 3.02 3.08 3.28 4/187 11929
/proc/meminfo: memFree=14230244/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=93668 CPUtime=762.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 26756 0 0 0 76225 6 0 0 25 0 1 0 466421763 95916032 17998 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 23417 17998 248 17 0 20058 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 102372

[startup+822.301 s]
/proc/loadavg: 3.00 3.07 3.26 4/187 11931
/proc/meminfo: memFree=14229364/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=93668 CPUtime=822.3 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 26756 0 0 0 82224 6 0 0 25 0 1 0 466421763 95916032 17998 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 23417 17998 248 17 0 20058 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 102372

[startup+882.301 s]
/proc/loadavg: 3.04 3.07 3.25 4/187 11932
/proc/meminfo: memFree=14217700/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=104732 CPUtime=882.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 29790 0 0 0 88224 7 0 0 25 0 1 0 466421763 107245568 20896 33554432000 4194304 4260849 140736117023072 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 26183 20896 248 17 0 22824 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 113436

[startup+942.301 s]
/proc/loadavg: 3.01 3.05 3.23 4/187 11934
/proc/meminfo: memFree=14220900/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=104732 CPUtime=942.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 29833 0 0 0 94224 7 0 0 25 0 1 0 466421763 107245568 20938 33554432000 4194304 4260849 140736117023072 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 26183 20938 248 17 0 22824 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 113436

[startup+1002.3 s]
/proc/loadavg: 3.00 3.04 3.22 4/187 11935
/proc/meminfo: memFree=14219016/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=104732 CPUtime=1002.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 30029 0 0 0 100224 7 0 0 25 0 1 0 466421763 107245568 21130 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 26183 21130 248 17 0 22824 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 113436

[startup+1062.3 s]
/proc/loadavg: 3.00 3.03 3.20 4/187 11946
/proc/meminfo: memFree=14216908/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=104732 CPUtime=1062.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 30040 0 0 0 106224 7 0 0 25 0 1 0 466421763 107245568 21141 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 26183 21141 248 17 0 22824 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 113436

[startup+1122.3 s]
/proc/loadavg: 3.00 3.02 3.18 4/187 11948
/proc/meminfo: memFree=14208208/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=104732 CPUtime=1122.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 30151 0 0 0 112224 7 0 0 25 0 1 0 466421763 107245568 21245 33554432000 4194304 4260849 140736117023072 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 26183 21245 248 17 0 22824 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 113436

[startup+1182.3 s]
/proc/loadavg: 3.08 3.03 3.18 4/187 11949
/proc/meminfo: memFree=14207700/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=104732 CPUtime=1182.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 30335 0 0 0 118224 7 0 0 25 0 1 0 466421763 107245568 21417 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 26183 21417 248 17 0 22824 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 113436

[startup+1242.3 s]
/proc/loadavg: 3.02 3.03 3.16 4/187 11954
/proc/meminfo: memFree=14197640/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=111916 CPUtime=1242.31 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 32663 0 0 0 124223 8 0 0 25 0 1 0 466421763 114601984 23637 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 27979 23637 248 17 0 24620 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 120620



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.71 2.95 3.13 2/174 11991
/proc/meminfo: memFree=14386296/32951124 swapFree=67111524/67111528
[pid=11906] ppid=11904 vsize=8704 CPUtime=0 cores=1,3
/proc/11906/stat : 11906 (glucose.sh) S 11904 11906 10350 0 -1 4202496 360 198 0 0 0 0 0 0 25 0 1 0 466421762 8912896 254 33554432000 4194304 4922060 140733646392400 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11906/statm: 2176 254 211 178 0 69 0
[pid=11908] ppid=11906 vsize=111916 CPUtime=1300.02 cores=1,3
/proc/11908/stat : 11908 (glucose_static) R 11906 11906 10350 0 -1 4202496 32666 0 0 0 129994 8 0 0 25 0 1 0 466421763 114601984 23640 33554432000 4194304 4260849 140736117023072 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11908/statm: 27979 23640 248 17 0 24620 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 120620

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.04
CPU user time (s): 1299.95
CPU system time (s): 0.094985
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 120620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.95
system time used= 0.094985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33228
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= 8
involuntary context switches= 1819

runsolver used 2.19067 second user time and 4.90725 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 10:43:58
IDJOB=3264860
IDBENCH=85355
IDSOLVER=1651
FILE ID=node136/3264860-1303548238
RUNJOBID= node136-1303546921-11624
PBS_JOBID= 13143102
Free space on /tmp= 71632 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264860-1303548238/watcher-3264860-1303548238 -o /tmp/evaluation-result-3264860-1303548238/solver-3264860-1303548238 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3264860-1303548238.cnf 

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

MD5SUM BENCH= 22bc1843113c53c5f8a8f8cec42dcbe5
RANDOM SEED=115191006

node136.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	: 5332.75
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.75
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.76
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.75
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.83
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.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.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14454964 kB
Buffers:       1698784 kB
Cached:       16145380 kB
SwapCached:          4 kB
Active:        9437028 kB
Inactive:      8495936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14454964 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4152 kB
Writeback:           0 kB
AnonPages:       88148 kB
Mapped:          15224 kB
Slab:           500196 kB
PageTables:       4804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   256860 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= 71636 MiB
End job on node136 at 2011-04-23 11:05:40