Trace number 3257586

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) 2404.7 1300.02

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark238.524
Satisfiable
(Un)Satisfiability was proved
Number of variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

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: 28701
0.00/0.03	c parsetime: 28581us
0.00/0.03	c parsed 62656 clauses with 387 variables
1.19/1.21	c preprocessor returned 10026 variables
1.19/1.21	c preprocessing returned UNKNOWN
1.19/1.21	c PP set 97 variables
1.19/1.21	c pp time: 1182842us (1s)

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-3257586-1304043352/watcher-3257586-1304043352 -o /tmp/evaluation-result-3257586-1304043352/solver-3257586-1304043352 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3257586-1304043352.cnf 355196609 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.45 3.54 3.67 3/179 28700
/proc/meminfo: memFree=28223064/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0

[startup+0.085949 s]
/proc/loadavg: 3.45 3.54 3.67 3/179 28700
/proc/meminfo: memFree=28223064/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10094 s]
/proc/loadavg: 3.45 3.54 3.67 3/179 28700
/proc/meminfo: memFree=28223064/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300934 s]
/proc/loadavg: 3.45 3.54 3.67 3/179 28700
/proc/meminfo: memFree=28223064/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700872 s]
/proc/loadavg: 3.45 3.54 3.67 3/179 28700
/proc/meminfo: memFree=28223064/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50071 s]
/proc/loadavg: 3.42 3.53 3.66 3/181 28702
/proc/meminfo: memFree=28209656/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=105568 CPUtime=1.65 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 3937 0 0 0 158 7 0 0 25 0 2 0 515935934 108101632 3394 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 26392 3394 392 389 0 22142 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 114268

[startup+3.10041 s]
/proc/loadavg: 3.42 3.53 3.66 5/182 28703
/proc/meminfo: memFree=28206696/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=105568 CPUtime=4.3 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 4139 0 0 0 391 39 0 0 25 0 2 0 515935934 108101632 3596 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 26392 3596 392 389 0 22142 0
[pid=28701/tid=28703] ppid=28700 vsize=105568 CPUtime=1.2 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 7 0 0 0 96 24 0 0 15 0 2 0 515936055 108101632 3596 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 114268

[startup+6.30084 s]
/proc/loadavg: 3.46 3.54 3.66 4/182 28704
/proc/meminfo: memFree=28197032/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=105568 CPUtime=9.71 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 4531 0 0 0 882 89 0 0 25 0 2 0 515935934 108101632 3988 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 26392 3988 392 389 0 22142 0
[pid=28701/tid=28703] ppid=28700 vsize=105568 CPUtime=3.4 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 7 0 0 0 284 56 0 0 15 0 2 0 515936055 108101632 3988 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.71
Current children cumulated vsize (KiB) 114268

[startup+12.7007 s]
/proc/loadavg: 3.50 3.54 3.66 5/182 28704
/proc/meminfo: memFree=28187312/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=105568 CPUtime=20.81 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 5081 0 0 0 1925 156 0 0 25 0 2 0 515935934 108101632 4538 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 26392 4538 392 389 0 22142 0
[pid=28701/tid=28703] ppid=28700 vsize=105568 CPUtime=8.11 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 26 0 0 0 712 99 0 0 15 0 2 0 515936055 108101632 4538 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.81
Current children cumulated vsize (KiB) 114268

[startup+25.5003 s]
/proc/loadavg: 3.61 3.56 3.67 4/182 28704
/proc/meminfo: memFree=28171188/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=106112 CPUtime=43.34 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 6226 0 0 0 4082 252 0 0 25 0 2 0 515935934 108658688 5681 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 26528 5681 392 389 0 22278 0
[pid=28701/tid=28703] ppid=28700 vsize=106112 CPUtime=17.84 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 165 0 0 0 1626 158 0 0 15 0 2 0 515936055 108658688 5681 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 43.34
Current children cumulated vsize (KiB) 114812

[startup+51.1006 s]
/proc/loadavg: 3.59 3.57 3.67 4/181 28763
/proc/meminfo: memFree=28748864/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=112284 CPUtime=89.12 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 9087 0 0 0 8529 383 0 0 25 0 2 0 515935934 114978816 8521 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 28071 8521 392 389 0 23821 0
[pid=28701/tid=28703] ppid=28700 vsize=112284 CPUtime=38.02 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) S 28700 28700 27559 0 -1 4202560 390 0 0 0 3562 240 0 0 16 0 2 0 515936055 114978816 8521 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 18446604453986944320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 89.12
Current children cumulated vsize (KiB) 120984

[startup+102.306 s]
/proc/loadavg: 3.66 3.58 3.66 5/182 28765
/proc/meminfo: memFree=28703344/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=113260 CPUtime=181.88 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 10956 0 0 0 17631 557 0 0 25 0 2 0 515935934 115978240 10309 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 28315 10309 392 389 0 24065 0
[pid=28701/tid=28703] ppid=28700 vsize=113260 CPUtime=79.57 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 606 0 0 0 7611 346 0 0 16 0 2 0 515936055 115978240 10309 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 181.88
Current children cumulated vsize (KiB) 121960

[startup+162.3 s]
/proc/loadavg: 3.44 3.54 3.64 5/182 28767
/proc/meminfo: memFree=28666848/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=119776 CPUtime=291.48 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 14509 0 0 0 28449 699 0 0 25 0 2 0 515935934 122650624 13508 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 29944 13508 392 389 0 25694 0
[pid=28701/tid=28703] ppid=28700 vsize=119776 CPUtime=129.18 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 899 0 0 0 12488 430 0 0 16 0 2 0 515936055 122650624 13508 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 291.48
Current children cumulated vsize (KiB) 128476

[startup+222.3 s]
/proc/loadavg: 3.63 3.57 3.64 5/182 28768
/proc/meminfo: memFree=28637048/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=120736 CPUtime=401.79 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 15712 0 0 0 39357 822 0 0 25 0 2 0 515935934 123633664 14711 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 30184 14711 392 389 0 25934 0
[pid=28701/tid=28703] ppid=28700 vsize=120736 CPUtime=179.5 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) S 28700 28700 27559 0 -1 4202560 1109 0 0 0 17442 508 0 0 16 0 2 0 515936055 123633664 14711 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 18446604453986944320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 401.79
Current children cumulated vsize (KiB) 129436

[startup+282.3 s]
/proc/loadavg: 3.47 3.54 3.62 4/182 28770
/proc/meminfo: memFree=28614188/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=125636 CPUtime=512.13 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 18350 0 0 0 50288 925 0 0 25 0 2 0 515935934 128651264 17251 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 31409 17251 392 389 0 27159 0
[pid=28701/tid=28703] ppid=28700 vsize=125636 CPUtime=229.82 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 1296 0 0 0 22415 567 0 0 16 0 2 0 515936055 128651264 17251 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 512.13

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

[pid=28701] ppid=28700 vsize=141436 CPUtime=1289.19 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 28103 0 0 0 127439 1480 0 0 25 0 2 0 515935934 144830464 26289 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 35359 26289 392 389 0 31109 0
[pid=28701/tid=28703] ppid=28700 vsize=141436 CPUtime=586.88 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2424 0 0 0 57786 902 0 0 16 0 2 0 515936055 144830464 26289 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1289.19
Current children cumulated vsize (KiB) 150136

[startup+762.307 s]
/proc/loadavg: 3.57 3.59 3.61 4/182 28783
/proc/meminfo: memFree=28441164/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=207484 CPUtime=1401.91 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 30144 0 0 0 138658 1533 0 0 25 0 2 0 515935934 212463616 28105 33554432000 4194304 5787044 140737441240240 18446744073709551615 5521952 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/28701/statm: 51871 28105 392 389 0 47621 0
[pid=28701/tid=28703] ppid=28700 vsize=207484 CPUtime=639.58 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2570 0 0 0 63028 930 0 0 25 0 2 0 515936055 212463616 28105 33554432000 4194304 5787044 140737441240240 18446744073709551615 5521936 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1401.91
Current children cumulated vsize (KiB) 216184

[startup+822.301 s]
/proc/loadavg: 3.71 3.62 3.61 5/182 28784
/proc/meminfo: memFree=28400828/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=207484 CPUtime=1513.08 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 30144 0 0 0 149698 1610 0 0 25 0 2 0 515935934 212463616 28105 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 51871 28105 392 389 0 47621 0
[pid=28701/tid=28703] ppid=28700 vsize=207484 CPUtime=690.76 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2570 0 0 0 68100 976 0 0 16 0 2 0 515936055 212463616 28105 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1513.08
Current children cumulated vsize (KiB) 216184

[startup+882.301 s]
/proc/loadavg: 3.71 3.64 3.62 5/182 28786
/proc/meminfo: memFree=28401044/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=207484 CPUtime=1624.34 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 30145 0 0 0 160752 1682 0 0 25 0 2 0 515935934 212463616 28106 33554432000 4194304 5787044 140737441240240 18446744073709551615 5527140 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 51871 28106 392 389 0 47621 0
[pid=28701/tid=28703] ppid=28700 vsize=207484 CPUtime=742.01 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2570 0 0 0 73182 1019 0 0 16 0 2 0 515936055 212463616 28106 33554432000 4194304 5787044 140737441240240 18446744073709551615 5527113 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1624.34
Current children cumulated vsize (KiB) 216184

[startup+942.301 s]
/proc/loadavg: 3.66 3.63 3.62 5/182 28787
/proc/meminfo: memFree=28400876/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=207484 CPUtime=1735.87 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 30146 0 0 0 171836 1751 0 0 25 0 2 0 515935934 212463616 28107 33554432000 4194304 5787044 140737441240240 18446744073709551615 5526883 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 51871 28107 392 389 0 47621 0
[pid=28701/tid=28703] ppid=28700 vsize=207484 CPUtime=793.55 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2570 0 0 0 78296 1059 0 0 16 0 2 0 515936055 212463616 28107 33554432000 4194304 5787044 140737441240240 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1735.87
Current children cumulated vsize (KiB) 216184

[startup+1002.3 s]
/proc/loadavg: 3.71 3.65 3.63 5/182 28789
/proc/meminfo: memFree=28400460/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=207484 CPUtime=1847.61 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 30172 0 0 0 182944 1817 0 0 25 0 2 0 515935934 212463616 28133 33554432000 4194304 5787044 140737441240240 18446744073709551615 5527392 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 51871 28133 392 389 0 47621 0
[pid=28701/tid=28703] ppid=28700 vsize=207484 CPUtime=845.29 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2575 0 0 0 83431 1098 0 0 16 0 2 0 515936055 212463616 28133 33554432000 4194304 5787044 140737441240240 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1847.61
Current children cumulated vsize (KiB) 216184

[startup+1062.3 s]
/proc/loadavg: 3.80 3.68 3.64 4/182 28791
/proc/meminfo: memFree=28398924/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=208508 CPUtime=1959.52 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 30462 0 0 0 194079 1873 0 0 25 0 2 0 515935934 213512192 28423 33554432000 4194304 5787044 140737441240240 18446744073709551615 5528078 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 52127 28423 392 389 0 47877 0
[pid=28701/tid=28703] ppid=28700 vsize=208508 CPUtime=897.19 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) S 28700 28700 27559 0 -1 4202560 2737 0 0 0 88589 1130 0 0 16 0 2 0 515936055 213512192 28423 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 18446604453986944320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1959.52
Current children cumulated vsize (KiB) 217208

[startup+1122.3 s]
/proc/loadavg: 3.80 3.70 3.64 5/182 28792
/proc/meminfo: memFree=28368000/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=208764 CPUtime=2071.56 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 31249 0 0 0 205223 1933 0 0 25 0 2 0 515935934 213774336 29210 33554432000 4194304 5787044 140737441240240 18446744073709551615 5528380 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 52191 29210 392 389 0 47941 0
[pid=28701/tid=28703] ppid=28700 vsize=208764 CPUtime=949.23 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) S 28700 28700 27559 0 -1 4202560 2853 0 0 0 93761 1162 0 0 16 0 2 0 515936055 213774336 29210 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 18446604453986944320 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2071.56
Current children cumulated vsize (KiB) 217464

[startup+1182.3 s]
/proc/loadavg: 3.89 3.74 3.66 5/182 28794
/proc/meminfo: memFree=28327280/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=212864 CPUtime=2184.05 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 33520 0 0 0 216413 1992 0 0 25 0 2 0 515935934 217972736 31481 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933601135 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 53216 31481 392 389 0 48966 0
[pid=28701/tid=28703] ppid=28700 vsize=212864 CPUtime=1001.72 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 2925 0 0 0 98977 1195 0 0 16 0 2 0 515936055 217972736 31481 33554432000 4194304 5787044 140737441240240 18446744073709551615 222933600689 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2184.05
Current children cumulated vsize (KiB) 221564

[startup+1242.3 s]
/proc/loadavg: 3.86 3.75 3.66 5/182 28795
/proc/meminfo: memFree=28294504/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=213120 CPUtime=2296.63 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 34773 0 0 0 227616 2047 0 0 25 0 2 0 515935934 218234880 32734 33554432000 4194304 5787044 140737441240240 18446744073709551615 5527399 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 53280 32734 392 389 0 49030 0
[pid=28701/tid=28703] ppid=28700 vsize=213120 CPUtime=1054.3 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 3024 0 0 0 104205 1225 0 0 16 0 2 0 515936055 218234880 32734 33554432000 4194304 5787044 140737441240240 18446744073709551615 5528380 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2296.63
Current children cumulated vsize (KiB) 221820



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.72 3.73 3.66 5/182 28797
/proc/meminfo: memFree=28288640/32951124 swapFree=67111356/67111528
[pid=28700] ppid=28698 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/28700/stat : 28700 (prissup.sh) S 28698 28700 27559 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 515935933 8908800 251 33554432000 4194304 4922060 140733910875984 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/28700/statm: 2175 251 211 178 0 68 0
[pid=28701] ppid=28700 vsize=214656 CPUtime=2404.7 cores=1,3,5,7
/proc/28701/stat : 28701 (priss) R 28700 28700 27559 0 -1 4202496 36160 0 0 0 238370 2100 0 0 25 0 2 0 515935934 219807744 34121 33554432000 4194304 5787044 140737441240240 18446744073709551615 5527582 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/28701/statm: 53664 34121 392 389 0 49414 0
[pid=28701/tid=28703] ppid=28700 vsize=214656 CPUtime=1104.66 cores=1,3,5,7
/proc/28701/task/28703/stat : 28703 (priss) R 28700 28700 27559 0 -1 4202560 3316 0 0 0 109213 1253 0 0 16 0 2 0 515936055 219807744 34121 33554432000 4194304 5787044 140737441240240 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2404.7
Current children cumulated vsize (KiB) 223356

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 28700 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 2404.7
#
# 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): 2404.7
CPU user time (s): 2383.7
CPU system time (s): 21
CPU usage (%): 184.974
Max. virtual memory (cumulated for all children) (KiB): 223356

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= 331
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= 7
involuntary context switches= 3

runsolver used 2.08168 second user time and 5.02224 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 04:15:52
IDJOB=3257586
IDBENCH=71150
IDSOLVER=1601
FILE ID=node109/3257586-1304043352
RUNJOBID= node109-1304040747-28013
PBS_JOBID= 13170356
Free space on /tmp= 72376 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257586-1304043352/watcher-3257586-1304043352 -o /tmp/evaluation-result-3257586-1304043352/solver-3257586-1304043352 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3257586-1304043352.cnf 355196609 4800 15500 4

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

MD5SUM BENCH= a5bb71bc1d85a401ce9f42ed1404d63e
RANDOM SEED=355196609

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28223336 kB
Buffers:        871680 kB
Cached:        2783188 kB
SwapCached:        168 kB
Active:        1400432 kB
Inactive:      2900816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28223336 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            3164 kB
Writeback:           0 kB
AnonPages:      646484 kB
Mapped:          15532 kB
Slab:           360880 kB
PageTables:       5848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   801596 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= 72376 MiB
End job on node109 at 2011-04-29 04:37:34