Trace number 3265638

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
priss UP? (TO) 2429.17 1300.02

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn009.shuffled-as.sat05-3849.cnf
MD5SUMf2a1eb7937a7cda114ce344a30ca1145
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark824.93
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18718
Sum of the clauses size134151
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2435
Number of clauses of size 32341
Number of clauses of size 4498
Number of clauses of size 5677
Number of clauses of size over 514725

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 26929
0.00/0.01	c parsetime: 12432us
0.00/0.01	c parsed 18718 clauses with 2969 variables
0.00/0.57	c preprocessor returned 10002 variables
0.00/0.57	c preprocessing returned UNKNOWN
0.00/0.57	c PP set 57 variables
0.00/0.57	c pp time: 552920us (0s)

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-3265638-1304077489/watcher-3265638-1304077489 -o /tmp/evaluation-result-3265638-1304077489/solver-3265638-1304077489 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3265638-1304077489.cnf 1281555799 4800 15500 4 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.54 3.67 3.64 2/179 26928
/proc/meminfo: memFree=17889888/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0

[startup+0.0728629 s]
/proc/loadavg: 3.54 3.67 3.64 2/179 26928
/proc/meminfo: memFree=17889888/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100857 s]
/proc/loadavg: 3.54 3.67 3.64 2/179 26928
/proc/meminfo: memFree=17889888/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300814 s]
/proc/loadavg: 3.54 3.67 3.64 2/179 26928
/proc/meminfo: memFree=17889888/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700724 s]
/proc/loadavg: 3.54 3.67 3.64 2/179 26928
/proc/meminfo: memFree=17889888/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50056 s]
/proc/loadavg: 3.54 3.67 3.64 5/182 26931
/proc/meminfo: memFree=17878580/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=104032 CPUtime=2.04 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 3709 0 0 0 178 26 0 0 20 0 2 0 519345610 106528768 3083 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 26008 3083 392 389 0 21758 0
[pid=26929/tid=26931] ppid=26928 vsize=104032 CPUtime=0.54 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 72 0 0 0 38 16 0 0 15 0 2 0 519345667 106528768 3083 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 112732

[startup+3.10024 s]
/proc/loadavg: 3.58 3.67 3.64 5/182 26931
/proc/meminfo: memFree=17876940/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=104956 CPUtime=4.68 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 3997 0 0 0 413 55 0 0 25 0 2 0 519345610 107474944 3371 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 26239 3371 392 389 0 21989 0
[pid=26929/tid=26931] ppid=26928 vsize=104956 CPUtime=1.58 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 110 0 0 0 123 35 0 0 15 0 2 0 519345667 107474944 3371 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 113656

[startup+6.30061 s]
/proc/loadavg: 3.58 3.67 3.64 6/182 26931
/proc/meminfo: memFree=17873836/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=106820 CPUtime=10.01 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 4483 0 0 0 894 107 0 0 25 0 2 0 519345610 109383680 3857 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 26705 3857 392 389 0 22455 0
[pid=26929/tid=26931] ppid=26928 vsize=106820 CPUtime=3.71 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 168 0 0 0 306 65 0 0 16 0 2 0 519345667 109383680 3857 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.01
Current children cumulated vsize (KiB) 115520

[startup+12.7003 s]
/proc/loadavg: 3.64 3.68 3.64 5/182 26931
/proc/meminfo: memFree=17868272/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=108940 CPUtime=21.14 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 5089 0 0 0 1957 157 0 0 25 0 2 0 519345610 111554560 4463 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 27235 4463 392 389 0 22985 0
[pid=26929/tid=26931] ppid=26928 vsize=108940 CPUtime=8.45 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 253 0 0 0 747 98 0 0 15 0 2 0 519345667 111554560 4463 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 21.14
Current children cumulated vsize (KiB) 117640

[startup+25.5008 s]
/proc/loadavg: 3.62 3.68 3.64 5/182 26931
/proc/meminfo: memFree=17858628/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=112752 CPUtime=43.7 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 6128 0 0 0 4140 230 0 0 25 0 2 0 519345610 115458048 5502 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 28188 5502 392 389 0 23938 0
[pid=26929/tid=26931] ppid=26928 vsize=112752 CPUtime=18.2 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 382 0 0 0 1675 145 0 0 16 0 2 0 519345667 115458048 5502 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 43.7
Current children cumulated vsize (KiB) 121452

[startup+51.1007 s]
/proc/loadavg: 3.56 3.65 3.63 5/182 26932
/proc/meminfo: memFree=17847304/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=123428 CPUtime=89.93 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 9037 0 0 0 8671 322 0 0 25 0 2 0 519345610 126390272 8411 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 30857 8411 392 389 0 26607 0
[pid=26929/tid=26931] ppid=26928 vsize=123428 CPUtime=38.83 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 602 0 0 0 3680 203 0 0 15 0 2 0 519345667 126390272 8411 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 89.93
Current children cumulated vsize (KiB) 132128

[startup+102.306 s]
/proc/loadavg: 3.82 3.71 3.65 4/182 26933
/proc/meminfo: memFree=17837984/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=131892 CPUtime=183.11 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 11211 0 0 0 17848 463 0 0 25 0 2 0 519345610 135057408 10585 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 32973 10585 392 389 0 28723 0
[pid=26929/tid=26931] ppid=26928 vsize=131892 CPUtime=80.81 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 819 0 0 0 7791 290 0 0 16 0 2 0 519345667 135057408 10585 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 183.11
Current children cumulated vsize (KiB) 140592

[startup+162.301 s]
/proc/loadavg: 3.61 3.67 3.63 3/182 26935
/proc/meminfo: memFree=17827932/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=140516 CPUtime=293.5 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 13649 0 0 0 28774 576 0 0 25 0 2 0 519345610 143888384 13023 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527468 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 35129 13023 392 389 0 30879 0
[pid=26929/tid=26931] ppid=26928 vsize=140516 CPUtime=131.18 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 1104 0 0 0 12760 358 0 0 16 0 2 0 519345667 143888384 13023 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 293.5
Current children cumulated vsize (KiB) 149216

[startup+222.301 s]
/proc/loadavg: 3.59 3.65 3.63 5/182 26937
/proc/meminfo: memFree=17817992/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=149000 CPUtime=404.56 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 16004 0 0 0 39776 680 0 0 25 0 2 0 519345610 152576000 15378 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 37250 15378 392 389 0 33000 0
[pid=26929/tid=26931] ppid=26928 vsize=149000 CPUtime=182.26 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 1286 0 0 0 17807 419 0 0 16 0 2 0 519345667 152576000 15378 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 404.56
Current children cumulated vsize (KiB) 157700

[startup+282.301 s]
/proc/loadavg: 3.69 3.65 3.63 5/182 26968
/proc/meminfo: memFree=18227240/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=157212 CPUtime=515.9 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 18100 0 0 0 50814 776 0 0 25 0 2 0 519345610 160985088 17217 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 39303 17217 392 389 0 35053 0
[pid=26929/tid=26931] ppid=26928 vsize=157212 CPUtime=233.58 cores=1,3,5,7

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

[pid=26929] ppid=26928 vsize=189128 CPUtime=1302.58 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 27105 0 0 0 129049 1209 0 0 25 0 2 0 519345610 193667072 26222 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527087 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/26929/statm: 47282 26222 392 389 0 43032 0
[pid=26929/tid=26931] ppid=26928 vsize=189128 CPUtime=600.24 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2398 0 0 0 59304 720 0 0 16 0 2 0 519345667 193667072 26222 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1302.58
Current children cumulated vsize (KiB) 197828

[startup+762.307 s]
/proc/loadavg: 3.71 3.72 3.66 5/182 26981
/proc/meminfo: memFree=18102872/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=201424 CPUtime=1415.74 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 30324 0 0 0 140314 1260 0 0 25 0 2 0 519345610 206258176 29441 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/26929/statm: 50356 29441 392 389 0 46106 0
[pid=26929/tid=26931] ppid=26928 vsize=201424 CPUtime=653.39 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2507 0 0 0 64590 749 0 0 16 0 2 0 519345667 206258176 29441 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1415.74
Current children cumulated vsize (KiB) 210124

[startup+822.301 s]
/proc/loadavg: 3.73 3.72 3.66 4/182 26982
/proc/meminfo: memFree=18102720/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=201424 CPUtime=1528.31 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 30324 0 0 0 151509 1322 0 0 25 0 2 0 519345610 206258176 29441 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515951 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/26929/statm: 50356 29441 392 389 0 46106 0
[pid=26929/tid=26931] ppid=26928 vsize=201424 CPUtime=705.97 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2507 0 0 0 69812 785 0 0 16 0 2 0 519345667 206258176 29441 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1528.31
Current children cumulated vsize (KiB) 210124

[startup+882.301 s]
/proc/loadavg: 3.74 3.72 3.66 5/182 26984
/proc/meminfo: memFree=18102200/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=201424 CPUtime=1641.21 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 30330 0 0 0 162749 1372 0 0 25 0 2 0 519345610 206258176 29447 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 50356 29447 392 389 0 46106 0
[pid=26929/tid=26931] ppid=26928 vsize=201424 CPUtime=758.87 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 2509 0 0 0 75073 814 0 0 16 0 2 0 519345667 206258176 29447 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1641.21
Current children cumulated vsize (KiB) 210124

[startup+942.301 s]
/proc/loadavg: 3.71 3.72 3.66 5/182 26986
/proc/meminfo: memFree=18095852/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=201424 CPUtime=1754.27 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 30351 0 0 0 174010 1417 0 0 25 0 2 0 519345610 206258176 29468 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 50356 29468 392 389 0 46106 0
[pid=26929/tid=26931] ppid=26928 vsize=201424 CPUtime=811.93 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 2527 0 0 0 80354 839 0 0 16 0 2 0 519345667 206258176 29468 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1754.27
Current children cumulated vsize (KiB) 210124

[startup+1002.3 s]
/proc/loadavg: 3.77 3.74 3.67 5/182 26996
/proc/meminfo: memFree=18085412/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=201424 CPUtime=1867.54 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 30434 0 0 0 185295 1459 0 0 25 0 2 0 519345610 206258176 29551 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528375 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 50356 29551 392 389 0 46106 0
[pid=26929/tid=26931] ppid=26928 vsize=201424 CPUtime=865.2 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2591 0 0 0 85659 861 0 0 16 0 2 0 519345667 206258176 29551 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1867.54
Current children cumulated vsize (KiB) 210124

[startup+1062.3 s]
/proc/loadavg: 3.79 3.75 3.68 5/182 26998
/proc/meminfo: memFree=18073624/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=201424 CPUtime=1980.57 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 30542 0 0 0 196554 1503 0 0 25 0 2 0 519345610 206258176 29659 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527755 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 50356 29659 392 389 0 46106 0
[pid=26929/tid=26931] ppid=26928 vsize=201424 CPUtime=918.22 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2671 0 0 0 90938 884 0 0 16 0 2 0 519345667 206258176 29659 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1980.57
Current children cumulated vsize (KiB) 210124

[startup+1122.3 s]
/proc/loadavg: 3.79 3.75 3.68 4/182 27000
/proc/meminfo: memFree=18069384/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=207188 CPUtime=2094.01 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 32139 0 0 0 207855 1546 0 0 25 0 2 0 519345610 212160512 30743 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 51797 30743 392 389 0 47547 0
[pid=26929/tid=26931] ppid=26928 vsize=207188 CPUtime=971.65 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2783 0 0 0 96258 907 0 0 16 0 2 0 519345667 212160512 30743 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527696 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2094.01
Current children cumulated vsize (KiB) 215888

[startup+1182.3 s]
/proc/loadavg: 3.92 3.79 3.69 5/182 27003
/proc/meminfo: memFree=18062032/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=213880 CPUtime=2207.18 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 33908 0 0 0 219130 1588 0 0 25 0 2 0 519345610 219013120 32512 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528408 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 53470 32512 392 389 0 49220 0
[pid=26929/tid=26931] ppid=26928 vsize=213880 CPUtime=1024.83 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) R 26928 26928 25471 0 -1 4202560 2919 0 0 0 101555 928 0 0 16 0 2 0 519345667 219013120 32512 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527582 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2207.18
Current children cumulated vsize (KiB) 222580

[startup+1242.3 s]
/proc/loadavg: 3.79 3.77 3.69 3/182 27006
/proc/meminfo: memFree=18055304/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=219968 CPUtime=2320.27 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 35548 0 0 0 230401 1626 0 0 25 0 2 0 519345610 225247232 34152 33554432000 4194304 5787044 140735689893968 18446744073709551615 5527068 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 54992 34152 392 389 0 50742 0
[pid=26929/tid=26931] ppid=26928 vsize=219968 CPUtime=1077.92 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 3080 0 0 0 106843 949 0 0 16 0 2 0 519345667 225247232 34152 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2320.27
Current children cumulated vsize (KiB) 228668



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.81 3.77 3.70 5/182 27007
/proc/meminfo: memFree=18045004/32950928 swapFree=67111528/67111528
[pid=26928] ppid=26926 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/26928/stat : 26928 (prissup.sh) S 26926 26928 25471 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 519345609 8908800 252 33554432000 4194304 4922060 140735783633296 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/26928/statm: 2175 252 211 178 0 68 0
[pid=26929] ppid=26928 vsize=229640 CPUtime=2429.17 cores=1,3,5,7
/proc/26929/stat : 26929 (priss) R 26928 26928 25471 0 -1 4202496 38102 0 0 0 241257 1660 0 0 25 0 2 0 519345610 235151360 36706 33554432000 4194304 5787044 140735689893968 18446744073709551615 5528446 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/26929/statm: 57410 36706 392 389 0 53160 0
[pid=26929/tid=26931] ppid=26928 vsize=229640 CPUtime=1129.1 cores=1,3,5,7
/proc/26929/task/26931/stat : 26931 (priss) S 26928 26928 25471 0 -1 4202560 3234 0 0 0 111945 965 0 0 16 0 2 0 519345667 235151360 36706 33554432000 4194304 5787044 140735689893968 18446744073709551615 254512515505 0 0 4096 0 18446604471149940864 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2429.17
Current children cumulated vsize (KiB) 238340

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26928 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 2429.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.02
CPU time (s): 2429.17
CPU user time (s): 2412.57
CPU system time (s): 16.6
CPU usage (%): 186.857
Max. virtual memory (cumulated for all children) (KiB): 238340

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

runsolver used 2.08368 second user time and 5.01824 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 13:44:49
IDJOB=3265638
IDBENCH=85793
IDSOLVER=1601
FILE ID=node149/3265638-1304077489
RUNJOBID= node149-1304061840-25490
PBS_JOBID= 13170452
Free space on /tmp= 71908 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn009.shuffled-as.sat05-3849.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265638-1304077489/watcher-3265638-1304077489 -o /tmp/evaluation-result-3265638-1304077489/solver-3265638-1304077489 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3265638-1304077489.cnf 1281555799 4800 15500 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f2a1eb7937a7cda114ce344a30ca1145
RANDOM SEED=1281555799

node149.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	: 5332.83
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.83
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.73
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.82
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.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.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:     32950928 kB
MemFree:      17889912 kB
Buffers:       2223896 kB
Cached:       11826808 kB
SwapCached:          0 kB
Active:        6384472 kB
Inactive:      8127880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17889912 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2188 kB
Writeback:           0 kB
AnonPages:      461256 kB
Mapped:          15548 kB
Slab:           484772 kB
PageTables:       5360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   620228 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= 71928 MiB
End job on node149 at 2011-04-29 14:06:31