Trace number 3289755

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

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom21.cnf
MD5SUMe6407843d1fbd00b68d4ad600a25dfb2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables48639
Number of clauses162901
Sum of the clauses size415741
Maximum clause length1542
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 283161
Number of clauses of size 378900
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5590

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: 29354
0.00/0.05	c parsetime: 46841us
0.00/0.05	c parsed 162901 clauses with 48639 variables
1.19/1.25	c preprocessor returned 48639 variables
1.19/1.25	c preprocessing returned UNKNOWN
1.19/1.25	c PP set 1672 variables
1.19/1.25	c pp time: 1189022us (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-3289755-1304053308/watcher-3289755-1304053308 -o /tmp/evaluation-result-3289755-1304053308/solver-3289755-1304053308 -C 4800 -W 1300 -M 15500 HOME/prissup.sh HOME HOME/instance-3289755-1304053308.cnf 513845020 4800 15500 4 

running on 4 cores: 0,2,4,6

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.56 3.63 3.52 3/179 29353
/proc/meminfo: memFree=31374476/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0

[startup+0.0809199 s]
/proc/loadavg: 3.56 3.63 3.52 3/179 29353
/proc/meminfo: memFree=31374476/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100916 s]
/proc/loadavg: 3.56 3.63 3.52 3/179 29353
/proc/meminfo: memFree=31374476/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30088 s]
/proc/loadavg: 3.56 3.63 3.52 3/179 29353
/proc/meminfo: memFree=31374476/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700856 s]
/proc/loadavg: 3.56 3.63 3.52 3/179 29353
/proc/meminfo: memFree=31374476/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50078 s]
/proc/loadavg: 3.56 3.63 3.52 3/181 29355
/proc/meminfo: memFree=31337012/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=143368 CPUtime=1.64 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 14557 0 0 0 162 2 0 0 18 0 2 0 516929557 146808832 12341 33554432000 4194304 5787044 140733334561760 18446744073709551615 5531981 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 35842 12341 390 389 0 31592 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 152068

[startup+3.1005 s]
/proc/loadavg: 3.56 3.63 3.52 5/182 29356
/proc/meminfo: memFree=31325964/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=143996 CPUtime=4.46 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 14739 0 0 0 433 13 0 0 20 0 2 0 516929557 147451904 12523 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 35999 12523 390 389 0 31749 0
[pid=29354/tid=29356] ppid=29353 vsize=143996 CPUtime=1.35 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 156 0 0 0 125 10 0 0 15 0 2 0 516929683 147451904 12523 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 152696

[startup+6.30082 s]
/proc/loadavg: 3.60 3.64 3.52 4/182 29356
/proc/meminfo: memFree=31323980/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=145184 CPUtime=10.02 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 15067 0 0 0 967 35 0 0 25 0 2 0 516929557 148668416 12851 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 36296 12851 390 389 0 32046 0
[pid=29354/tid=29356] ppid=29353 vsize=145184 CPUtime=3.72 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 217 0 0 0 341 31 0 0 15 0 2 0 516929683 148668416 12851 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.02
Current children cumulated vsize (KiB) 153884

[startup+12.7007 s]
/proc/loadavg: 3.63 3.64 3.53 4/182 29356
/proc/meminfo: memFree=31321228/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=147348 CPUtime=21.09 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 15690 0 0 0 2033 76 0 0 25 0 2 0 516929557 150884352 13474 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 36837 13474 390 389 0 32587 0
[pid=29354/tid=29356] ppid=29353 vsize=147348 CPUtime=8.39 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 306 0 0 0 770 69 0 0 15 0 2 0 516929683 150884352 13474 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.09
Current children cumulated vsize (KiB) 156048

[startup+25.5005 s]
/proc/loadavg: 3.71 3.66 3.53 4/182 29356
/proc/meminfo: memFree=31315872/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=152064 CPUtime=43.44 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 16994 0 0 0 4209 135 0 0 25 0 2 0 516929557 155713536 14778 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527140 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 38016 14778 390 389 0 33766 0
[pid=29354/tid=29356] ppid=29353 vsize=152064 CPUtime=17.94 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 343 0 0 0 1674 120 0 0 15 0 2 0 516929683 155713536 14778 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.44
Current children cumulated vsize (KiB) 160764

[startup+51.1011 s]
/proc/loadavg: 3.67 3.65 3.54 4/182 29357
/proc/meminfo: memFree=31305528/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=160476 CPUtime=88.39 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 19492 0 0 0 8603 236 0 0 25 0 2 0 516929557 164327424 17276 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 40119 17276 390 389 0 35869 0
[pid=29354/tid=29356] ppid=29353 vsize=160476 CPUtime=37.3 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 390 0 0 0 3523 207 0 0 15 0 2 0 516929683 164327424 17276 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 88.39
Current children cumulated vsize (KiB) 169176

[startup+102.307 s]
/proc/loadavg: 3.63 3.64 3.54 5/182 29358
/proc/meminfo: memFree=31263692/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=180396 CPUtime=179.01 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 24474 0 0 0 17500 401 0 0 25 0 2 0 516929557 184725504 22258 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 45099 22258 390 389 0 40849 0
[pid=29354/tid=29356] ppid=29353 vsize=180396 CPUtime=76.7 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 482 0 0 0 7321 349 0 0 15 0 2 0 516929683 184725504 22258 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (KiB) 189096

[startup+162.3 s]
/proc/loadavg: 3.40 3.58 3.52 5/182 29363
/proc/meminfo: memFree=31223688/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=194872 CPUtime=285.64 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 28287 0 0 0 28010 554 0 0 25 0 2 0 516929557 199548928 26071 33554432000 4194304 5787044 140733334561760 18446744073709551615 5531806 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 48718 26071 390 389 0 44468 0
[pid=29354/tid=29356] ppid=29353 vsize=194872 CPUtime=123.34 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 634 0 0 0 11853 481 0 0 15 0 2 0 516929683 199548928 26071 33554432000 4194304 5787044 140733334561760 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.64
Current children cumulated vsize (KiB) 203572

[startup+222.301 s]
/proc/loadavg: 3.67 3.62 3.54 3/182 29365
/proc/meminfo: memFree=31191952/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=218940 CPUtime=392.62 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 34265 0 0 0 38575 687 0 0 25 0 2 0 516929557 224194560 32049 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 54735 32049 390 389 0 50485 0
[pid=29354/tid=29356] ppid=29353 vsize=218940 CPUtime=170.32 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 894 0 0 0 16441 591 0 0 15 0 2 0 516929683 224194560 32049 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 392.62
Current children cumulated vsize (KiB) 227640

[startup+282.3 s]
/proc/loadavg: 3.80 3.66 3.56 5/182 29366
/proc/meminfo: memFree=31177384/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=232924 CPUtime=500.19 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 38058 0 0 0 49216 803 0 0 25 0 2 0 516929557 238514176 35842 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 58231 35842 390 389 0 53981 0
[pid=29354/tid=29356] ppid=29353 vsize=232924 CPUtime=217.89 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 1112 0 0 0 21103 686 0 0 16 0 2 0 516929683 238514176 35842 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 500.19

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

[pid=29354] ppid=29353 vsize=295600 CPUtime=1258.92 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 59845 0 0 0 124471 1421 0 0 25 0 2 0 516929557 302694400 57629 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 73900 57629 390 389 0 69650 0
[pid=29354/tid=29356] ppid=29353 vsize=295600 CPUtime=556.62 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2228 0 0 0 54495 1167 0 0 16 0 2 0 516929683 302694400 57629 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1258.92
Current children cumulated vsize (KiB) 304300

[startup+762.307 s]
/proc/loadavg: 3.72 3.64 3.56 5/182 29409
/proc/meminfo: memFree=31219640/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=323152 CPUtime=1368.79 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 67017 0 0 0 135398 1481 0 0 25 0 2 0 516929557 330907648 64801 33554432000 4194304 5787044 140733334561760 18446744073709551615 5531981 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 80788 64801 390 389 0 76538 0
[pid=29354/tid=29356] ppid=29353 vsize=323152 CPUtime=606.47 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2486 0 0 0 59435 1212 0 0 15 0 2 0 516929683 330907648 64801 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1368.79
Current children cumulated vsize (KiB) 331852

[startup+822.3 s]
/proc/loadavg: 3.84 3.69 3.58 5/182 29411
/proc/meminfo: memFree=31171716/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=336188 CPUtime=1477.19 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 70186 0 0 0 146167 1552 0 0 25 0 2 0 516929557 344256512 67970 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 84047 67970 390 389 0 79797 0
[pid=29354/tid=29356] ppid=29353 vsize=336188 CPUtime=654.88 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2571 0 0 0 64218 1270 0 0 15 0 2 0 516929683 344256512 67970 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1477.19
Current children cumulated vsize (KiB) 344888

[startup+882.301 s]
/proc/loadavg: 3.62 3.65 3.57 4/182 29412
/proc/meminfo: memFree=31148328/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=336188 CPUtime=1582.62 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 70187 0 0 0 156642 1620 0 0 25 0 2 0 516929557 344256512 67971 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527568 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 84047 67971 390 389 0 79797 0
[pid=29354/tid=29356] ppid=29353 vsize=336188 CPUtime=700.3 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 2571 0 0 0 68710 1320 0 0 15 0 2 0 516929683 344256512 67971 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1582.62
Current children cumulated vsize (KiB) 344888

[startup+942.3 s]
/proc/loadavg: 3.65 3.65 3.57 5/182 29414
/proc/meminfo: memFree=31145284/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=336188 CPUtime=1684.7 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 70193 0 0 0 166780 1690 0 0 25 0 2 0 516929557 344256512 67977 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527472 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 84047 67977 390 389 0 79797 0
[pid=29354/tid=29356] ppid=29353 vsize=336188 CPUtime=742.4 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2575 0 0 0 72877 1363 0 0 15 0 2 0 516929683 344256512 67977 33554432000 4194304 5787044 140733334561760 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1684.7
Current children cumulated vsize (KiB) 344888

[startup+1002.3 s]
/proc/loadavg: 3.55 3.63 3.57 5/182 29415
/proc/meminfo: memFree=31117804/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=336188 CPUtime=1794.18 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 70211 0 0 0 177662 1756 0 0 25 0 2 0 516929557 344256512 67995 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527491 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 84047 67995 390 389 0 79797 0
[pid=29354/tid=29356] ppid=29353 vsize=336188 CPUtime=791.86 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2585 0 0 0 77771 1415 0 0 15 0 2 0 516929683 344256512 67995 33554432000 4194304 5787044 140733334561760 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1794.18
Current children cumulated vsize (KiB) 344888

[startup+1062.3 s]
/proc/loadavg: 3.79 3.68 3.59 5/182 29417
/proc/meminfo: memFree=31115252/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=338176 CPUtime=1903.82 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 70871 0 0 0 188575 1807 0 0 25 0 2 0 516929557 346292224 68655 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 84544 68655 390 389 0 80294 0
[pid=29354/tid=29356] ppid=29353 vsize=338176 CPUtime=841.51 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 2701 0 0 0 82697 1454 0 0 16 0 2 0 516929683 346292224 68655 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1903.82
Current children cumulated vsize (KiB) 346876

[startup+1122.3 s]
/proc/loadavg: 3.60 3.65 3.58 5/182 29419
/proc/meminfo: memFree=31060880/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=360300 CPUtime=2013.9 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 76513 0 0 0 199525 1865 0 0 25 0 2 0 516929557 368947200 74297 33554432000 4194304 5787044 140733334561760 18446744073709551615 5528404 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 90075 74297 390 389 0 85825 0
[pid=29354/tid=29356] ppid=29353 vsize=360300 CPUtime=891.59 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2804 0 0 0 87661 1498 0 0 15 0 2 0 516929683 368947200 74297 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527205 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2013.9
Current children cumulated vsize (KiB) 369000

[startup+1182.3 s]
/proc/loadavg: 3.59 3.63 3.58 4/182 29420
/proc/meminfo: memFree=31021264/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=385624 CPUtime=2124.05 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 82962 0 0 0 210487 1918 0 0 25 0 2 0 516929557 394878976 80746 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527568 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 96406 80746 390 389 0 92156 0
[pid=29354/tid=29356] ppid=29353 vsize=385624 CPUtime=941.74 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) R 29353 29353 27293 0 -1 4202560 2972 0 0 0 92636 1538 0 0 15 0 2 0 516929683 394878976 80746 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527156 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2124.05
Current children cumulated vsize (KiB) 394324

[startup+1242.3 s]
/proc/loadavg: 3.61 3.62 3.57 5/182 29422
/proc/meminfo: memFree=30977672/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=404972 CPUtime=2234.49 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 87927 0 0 0 221481 1968 0 0 25 0 2 0 516929557 414691328 85711 33554432000 4194304 5787044 140733334561760 18446744073709551615 5527610 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 101243 85711 390 389 0 96993 0
[pid=29354/tid=29356] ppid=29353 vsize=404972 CPUtime=992.17 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 3069 0 0 0 97641 1576 0 0 15 0 2 0 516929683 414691328 85711 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2234.49
Current children cumulated vsize (KiB) 413672



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.47 3.58 3.56 5/182 29423
/proc/meminfo: memFree=30955288/32950928 swapFree=67111404/67111528
[pid=29353] ppid=29351 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29353/stat : 29353 (prissup.sh) S 29351 29353 27293 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516929557 8908800 252 33554432000 4194304 4922060 140736087140224 18446744073709551615 235594685573 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29353/statm: 2175 252 211 178 0 68 0
[pid=29354] ppid=29353 vsize=423276 CPUtime=2340.65 cores=0,2,4,6
/proc/29354/stat : 29354 (priss) R 29353 29353 27293 0 -1 4202496 92679 0 0 0 232051 2014 0 0 25 0 2 0 516929557 433434624 90463 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690671 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/29354/statm: 105819 90463 390 389 0 101569 0
[pid=29354/tid=29356] ppid=29353 vsize=423276 CPUtime=1040.63 cores=0,2,4,6
/proc/29354/task/29356/stat : 29356 (priss) S 29353 29353 27293 0 -1 4202560 3260 0 0 0 102452 1611 0 0 16 0 2 0 516929683 433434624 90463 33554432000 4194304 5787044 140733334561760 18446744073709551615 235606690225 0 0 4096 0 18446604453567926400 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2340.65
Current children cumulated vsize (KiB) 431976

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 29353 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 2340.65
#
# 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): 2340.65
CPU user time (s): 2320.51
CPU system time (s): 20.14
CPU usage (%): 180.048
Max. virtual memory (cumulated for all children) (KiB): 431976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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= 6
involuntary context switches= 3

runsolver used 2.28865 second user time and 4.79827 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 07:01:48
IDJOB=3289755
IDBENCH=83135
IDSOLVER=1601
FILE ID=node120/3289755-1304053308
RUNJOBID= node120-1304044139-28489
PBS_JOBID= 13170379
Free space on /tmp= 72068 MiB

SOLVER NAME= priss UP
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf
COMMAND LINE= DIR/prissup.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289755-1304053308/watcher-3289755-1304053308 -o /tmp/evaluation-result-3289755-1304053308/solver-3289755-1304053308 -C 4800 -W 1300 -M 15500  HOME/prissup.sh HOME HOME/instance-3289755-1304053308.cnf 513845020 4800 15500 4

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

MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=513845020

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31374632 kB
Buffers:        426980 kB
Cached:         530084 kB
SwapCached:          8 kB
Active:         552844 kB
Inactive:       663664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31374632 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            4392 kB
Writeback:           0 kB
AnonPages:      259272 kB
Mapped:          15772 kB
Slab:           295048 kB
PageTables:       5356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   417744 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= 72068 MiB
End job on node120 at 2011-04-29 07:23:30