Trace number 3386326

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
SArTagnan 2011-05-15 (fixed)UNSAT 565.92 193.933

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom12.cnf
MD5SUMf0a59aeb3af8016fb8ec53aa337c4836
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.66183
Satisfiable
(Un)Satisfiability was proved
Number of variables17298
Number of clauses57292
Sum of the clauses size145234
Maximum clause length615
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 230583
Number of clauses of size 326391
Number of clauses of size 477
Number of clauses of size 510
Number of clauses of size over 5230

Solver Data 

565.84/193.92	
565.84/193.92	s UNSATISFIABLE
565.84/193.92	c Conflict at level 0

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386326-1305580129/watcher-3386326-1305580129 -o /tmp/evaluation-result-3386326-1305580129/solver-3386326-1305580129 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386326-1305580129.cnf -threads=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: 9.94 10.14 10.11 7/421 10972
/proc/meminfo: memFree=23018308/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=22024 CPUtime=0 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 1012 0 0 0 0 0 0 0 25 0 1 0 669611364 22552576 910 33554432000 4194304 4625164 140737187700784 18446744073709551615 210204647168 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10972/statm: 5506 911 299 106 0 1009 0

[startup+0.141431 s]
/proc/loadavg: 9.94 10.14 10.11 7/421 10972
/proc/meminfo: memFree=23018308/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=130420 CPUtime=0.24 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 4855 0 0 0 24 0 0 0 25 0 4 0 669611364 133550080 3835 33554432000 4194304 4625164 140737187700784 18446744073709551615 4519559 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10972/statm: 32605 3835 342 106 0 28108 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 130420

[startup+0.200425 s]
/proc/loadavg: 9.94 10.14 10.11 7/421 10972
/proc/meminfo: memFree=23018308/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=131240 CPUtime=0.35 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 5291 0 0 0 35 0 0 0 25 0 4 0 669611364 134389760 4144 33554432000 4194304 4625164 140737187700784 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/10972/statm: 32810 4144 342 106 0 28313 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 131240

[startup+0.300408 s]
/proc/loadavg: 9.94 10.14 10.11 7/421 10972
/proc/meminfo: memFree=23018308/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=131240 CPUtime=0.55 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 5380 0 0 0 55 0 0 0 25 0 4 0 669611364 134389760 4233 33554432000 4194304 4625164 140737187700784 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 32810 4233 342 106 0 28313 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 131240

[startup+0.700337 s]
/proc/loadavg: 9.94 10.14 10.11 7/421 10972
/proc/meminfo: memFree=23018308/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=198672 CPUtime=1.35 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 6533 0 0 0 135 0 0 0 25 0 4 0 669611364 203440128 5018 33554432000 4194304 4625164 140737187700784 18446744073709551615 4518211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 49668 5018 342 106 0 45171 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 198672

[startup+1.50121 s]
/proc/loadavg: 9.94 10.14 10.11 11/425 10976
/proc/meminfo: memFree=23001296/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=205516 CPUtime=2.93 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 11699 0 0 0 291 2 0 0 25 0 4 0 669611364 210448384 7720 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 51379 7720 343 106 0 46882 0
[pid=10972/tid=10974] ppid=10970 vsize=205516 CPUtime=0.89 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 1811 0 0 0 89 0 0 0 25 0 4 0 669611368 210448384 7720 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=205516 CPUtime=0.4 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 1445 0 0 0 40 0 0 0 25 0 4 0 669611368 210448384 7720 33554432000 4194304 4625164 140737187700784 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=205516 CPUtime=0.87 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 2831 0 0 0 87 0 0 0 25 0 4 0 669611368 210448384 7720 33554432000 4194304 4625164 140737187700784 18446744073709551615 4469816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 205516

[startup+3.10094 s]
/proc/loadavg: 9.94 10.14 10.11 11/425 10976
/proc/meminfo: memFree=22952192/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=307516 CPUtime=6.49 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 36502 0 0 0 644 5 0 0 25 0 4 0 669611364 314896384 17425 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512224 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 76879 17425 345 106 0 72382 0
[pid=10972/tid=10974] ppid=10970 vsize=307516 CPUtime=2.04 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 6256 0 0 0 203 1 0 0 25 0 4 0 669611368 314896384 17425 33554432000 4194304 4625164 140737187700784 18446744073709551615 210204308513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=307516 CPUtime=1.89 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 6293 0 0 0 189 0 0 0 19 0 4 0 669611368 314896384 17425 33554432000 4194304 4625164 140737187700784 18446744073709551615 4352876 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=307516 CPUtime=1.22 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 7831 0 0 0 121 1 0 0 25 0 4 0 669611368 314896384 17425 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 307516

[startup+6.30041 s]
/proc/loadavg: 9.95 10.14 10.11 11/425 10976
/proc/meminfo: memFree=22950752/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=307516 CPUtime=12.84 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 37268 0 0 0 1278 6 0 0 25 0 4 0 669611364 314896384 18191 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 76879 18191 347 106 0 72382 0
[pid=10972/tid=10974] ppid=10970 vsize=307516 CPUtime=3.62 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 6733 0 0 0 361 1 0 0 25 0 4 0 669611368 314896384 18191 33554432000 4194304 4625164 140737187700784 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=307516 CPUtime=3.5 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 6334 0 0 0 350 0 0 0 22 0 4 0 669611368 314896384 18191 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=307516 CPUtime=2.81 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 7842 0 0 0 280 1 0 0 25 0 4 0 669611368 314896384 18191 33554432000 4194304 4625164 140737187700784 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.84
Current children cumulated vsize (KiB) 307516

[startup+12.7003 s]
/proc/loadavg: 10.03 10.16 10.11 11/425 10976
/proc/meminfo: memFree=22932456/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=307516 CPUtime=26.54 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 43968 0 0 0 2646 8 0 0 25 0 4 0 669611364 314896384 20385 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 76879 20385 347 106 0 72382 0
[pid=10972/tid=10974] ppid=10970 vsize=307516 CPUtime=6.62 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 7755 0 0 0 660 2 0 0 25 0 4 0 669611368 314896384 20385 33554432000 4194304 4625164 140737187700784 18446744073709551615 4288699 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=307516 CPUtime=6.51 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 6873 0 0 0 650 1 0 0 25 0 4 0 669611368 314896384 20385 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=307516 CPUtime=7.32 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 12556 0 0 0 730 2 0 0 25 0 4 0 669611368 314896384 20385 33554432000 4194304 4625164 140737187700784 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 26.54
Current children cumulated vsize (KiB) 307516

[startup+25.5012 s]
/proc/loadavg: 10.02 10.15 10.11 11/425 10977
/proc/meminfo: memFree=22920060/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=320420 CPUtime=59.07 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 101570 0 0 0 5889 18 0 0 25 0 4 0 669611364 328110080 24814 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/10972/statm: 80105 24815 347 106 0 75608 0
[pid=10972/tid=10974] ppid=10970 vsize=320420 CPUtime=12.83 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 10713 0 0 0 1280 3 0 0 25 0 4 0 669611368 328110080 24815 33554432000 4194304 4625164 140737187700784 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=320420 CPUtime=18.2 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 10806 0 0 0 1818 2 0 0 25 0 4 0 669611368 328110080 24815 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=320420 CPUtime=15.31 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 62865 0 0 0 1521 10 0 0 25 0 4 0 669611368 328110080 24815 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 320420

[startup+51.1009 s]
/proc/loadavg: 10.02 10.13 10.10 11/425 10977
/proc/meminfo: memFree=22881480/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=335340 CPUtime=135.52 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 256893 0 0 0 13505 47 0 0 25 0 4 0 669611364 343388160 31004 33554432000 4194304 4625164 140737187700784 18446744073709551615 4510511 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 83835 31004 347 106 0 79338 0
[pid=10972/tid=10974] ppid=10970 vsize=335340 CPUtime=26.64 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 14851 0 0 0 2660 4 0 0 25 0 4 0 669611368 343388160 31004 33554432000 4194304 4625164 140737187700784 18446744073709551615 4288708 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=335340 CPUtime=39.71 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 15446 0 0 0 3967 4 0 0 25 0 4 0 669611368 343388160 31004 33554432000 4194304 4625164 140737187700784 18446744073709551615 4462317 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=335340 CPUtime=37.79 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 209364 0 0 0 3743 36 0 0 25 0 4 0 669611368 343388160 31004 33554432000 4194304 4625164 140737187700784 18446744073709551615 4552383 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 135.52
Current children cumulated vsize (KiB) 335340

[startup+102.3 s]
/proc/loadavg: 10.22 10.16 10.11 11/425 10979
/proc/meminfo: memFree=22777808/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=361040 CPUtime=288.38 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 444181 0 0 0 28756 82 0 0 25 0 4 0 669611364 369704960 47902 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 90260 47902 347 106 0 85763 0
[pid=10972/tid=10974] ppid=10970 vsize=361040 CPUtime=65.86 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 33467 0 0 0 6577 9 0 0 25 0 4 0 669611368 369704960 47902 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=361040 CPUtime=72.35 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 24926 0 0 0 7229 6 0 0 25 0 4 0 669611368 369704960 47902 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=361040 CPUtime=67.59 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 364746 0 0 0 6696 63 0 0 25 0 4 0 669611368 369704960 47902 33554432000 4194304 4625164 140737187700784 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 288.38
Current children cumulated vsize (KiB) 361040

[startup+162.3 s]
/proc/loadavg: 10.15 10.14 10.10 11/425 10980
/proc/meminfo: memFree=22707960/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=367276 CPUtime=467.53 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 626626 0 0 0 46641 112 0 0 25 0 4 0 669611364 376090624 61654 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512887 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 91819 61654 395 106 0 87322 0
[pid=10972/tid=10974] ppid=10970 vsize=367276 CPUtime=96.01 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37508 0 0 0 9592 9 0 0 25 0 4 0 669611368 376090624 61654 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=367276 CPUtime=105.59 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25180 0 0 0 10553 6 0 0 25 0 4 0 669611368 376090624 61654 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=367276 CPUtime=123.34 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 538718 0 0 0 12243 91 0 0 25 0 4 0 669611368 376090624 61654 33554432000 4194304 4625164 140737187700784 18446744073709551615 4552287 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 467.53
Current children cumulated vsize (KiB) 367276

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

[startup+179.201 s]
/proc/loadavg: 10.12 10.14 10.10 11/425 10981
/proc/meminfo: memFree=22694920/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=367276 CPUtime=520.12 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 666792 0 0 0 51894 118 0 0 25 0 4 0 669611364 376090624 64407 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 91819 64407 485 106 0 87322 0
[pid=10972/tid=10974] ppid=10970 vsize=367276 CPUtime=106.69 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37541 0 0 0 10660 9 0 0 25 0 4 0 669611368 376090624 64407 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=367276 CPUtime=113.7 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25185 0 0 0 11364 6 0 0 25 0 4 0 669611368 376090624 64407 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=367276 CPUtime=140.24 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 576366 0 0 0 13928 96 0 0 25 0 4 0 669611368 376090624 64407 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 520.12
Current children cumulated vsize (KiB) 367276

[startup+185.601 s]
/proc/loadavg: 10.11 10.13 10.10 11/425 10981
/proc/meminfo: memFree=22694052/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=367276 CPUtime=540.23 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 668512 0 0 0 53905 118 0 0 25 0 4 0 669611364 376090624 64943 33554432000 4194304 4625164 140737187700784 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 91819 64943 485 106 0 87322 0
[pid=10972/tid=10974] ppid=10970 vsize=367276 CPUtime=110.51 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37594 0 0 0 11042 9 0 0 25 0 4 0 669611368 376090624 64943 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=367276 CPUtime=117.2 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25204 0 0 0 11714 6 0 0 25 0 4 0 669611368 376090624 64943 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339646 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=367276 CPUtime=146.65 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 577557 0 0 0 14568 97 0 0 25 0 4 0 669611368 376090624 64943 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 540.23
Current children cumulated vsize (KiB) 367276

[startup+188.801 s]
/proc/loadavg: 10.18 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22692812/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=388836 CPUtime=549.83 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 672386 0 0 0 54865 118 0 0 25 0 4 0 669611364 398168064 64660 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 97209 64660 485 106 0 92712 0
[pid=10972/tid=10974] ppid=10970 vsize=388836 CPUtime=112.1 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37616 0 0 0 11201 9 0 0 25 0 4 0 669611368 398168064 64660 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=388836 CPUtime=118.8 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25204 0 0 0 11874 6 0 0 25 0 4 0 669611368 398168064 64660 33554432000 4194304 4625164 140737187700784 18446744073709551615 4352776 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=388836 CPUtime=149.85 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 577573 0 0 0 14888 97 0 0 25 0 4 0 669611368 398168064 64660 33554432000 4194304 4625164 140737187700784 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 549.83
Current children cumulated vsize (KiB) 388836

[startup+192 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22689712/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=388836 CPUtime=559.83 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 673188 0 0 0 55865 118 0 0 25 0 4 0 669611364 398168064 64859 33554432000 4194304 4625164 140737187700784 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 97209 64859 485 106 0 92712 0
[pid=10972/tid=10974] ppid=10970 vsize=388836 CPUtime=113.41 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37635 0 0 0 11332 9 0 0 25 0 4 0 669611368 398168064 64859 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=388836 CPUtime=121.1 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25219 0 0 0 12104 6 0 0 25 0 4 0 669611368 398168064 64859 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=388836 CPUtime=153.05 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 578157 0 0 0 15208 97 0 0 25 0 4 0 669611368 398168064 64859 33554432000 4194304 4625164 140737187700784 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 559.83
Current children cumulated vsize (KiB) 388836

[startup+192.8 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22691944/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=388836 CPUtime=562.53 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 673214 0 0 0 56135 118 0 0 25 0 4 0 669611364 398168064 64884 33554432000 4194304 4625164 140737187700784 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 97209 64884 485 106 0 92712 0
[pid=10972/tid=10974] ppid=10970 vsize=388836 CPUtime=113.85 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37635 0 0 0 11376 9 0 0 25 0 4 0 669611368 398168064 64884 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=388836 CPUtime=121.9 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25223 0 0 0 12184 6 0 0 25 0 4 0 669611368 398168064 64884 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=388836 CPUtime=153.85 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 578157 0 0 0 15288 97 0 0 25 0 4 0 669611368 398168064 64884 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 562.53
Current children cumulated vsize (KiB) 388836

[startup+193.601 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22691448/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=388836 CPUtime=564.96 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 673323 0 0 0 56378 118 0 0 25 0 4 0 669611364 398168064 64983 33554432000 4194304 4625164 140737187700784 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 97209 64983 485 106 0 92712 0
[pid=10972/tid=10974] ppid=10970 vsize=388836 CPUtime=114.26 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37643 0 0 0 11417 9 0 0 25 0 4 0 669611368 398168064 64983 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=388836 CPUtime=122.72 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25230 0 0 0 12266 6 0 0 25 0 4 0 669611368 398168064 64983 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=388836 CPUtime=154.66 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 578157 0 0 0 15369 97 0 0 25 0 4 0 669611368 398168064 64983 33554432000 4194304 4625164 140737187700784 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.96
Current children cumulated vsize (KiB) 388836

[startup+193.801 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22691448/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=388836 CPUtime=565.53 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 674267 0 0 0 56435 118 0 0 25 0 4 0 669611364 398168064 65622 33554432000 4194304 4625164 140737187700784 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 97209 65622 485 106 0 92712 0
[pid=10972/tid=10974] ppid=10970 vsize=388836 CPUtime=114.35 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37652 0 0 0 11426 9 0 0 25 0 4 0 669611368 398168064 65622 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=388836 CPUtime=122.9 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25235 0 0 0 12284 6 0 0 25 0 4 0 669611368 398168064 65622 33554432000 4194304 4625164 140737187700784 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=388836 CPUtime=154.85 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 578939 0 0 0 15388 97 0 0 25 0 4 0 669611368 398168064 65622 33554432000 4194304 4625164 140737187700784 18446744073709551615 4551106 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 565.53
Current children cumulated vsize (KiB) 388836

[startup+193.901 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22691448/32951124 swapFree=63649240/67111528
[pid=10972] ppid=10970 vsize=388836 CPUtime=565.84 cores=1,3,5,7
/proc/10972/stat : 10972 (SArTagnan) R 10970 10972 10575 0 -1 4202496 678083 0 0 0 56465 119 0 0 25 0 4 0 669611364 398168064 66242 33554432000 4194304 4625164 140737187700784 18446744073709551615 4362358 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/10972/statm: 97209 66242 485 106 0 92712 0
[pid=10972/tid=10974] ppid=10970 vsize=388836 CPUtime=114.4 cores=1,3,5,7
/proc/10972/task/10974/stat : 10974 (SArTagnan) R 10970 10972 10575 0 -1 4202560 37656 0 0 0 11431 9 0 0 25 0 4 0 669611368 398168064 66242 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10972/tid=10975] ppid=10970 vsize=388836 CPUtime=123 cores=1,3,5,7
/proc/10972/task/10975/stat : 10975 (SArTagnan) R 10970 10972 10575 0 -1 4202560 25235 0 0 0 12294 6 0 0 25 0 4 0 669611368 398168064 66242 33554432000 4194304 4625164 140737187700784 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10972/tid=10976] ppid=10970 vsize=388836 CPUtime=154.95 cores=1,3,5,7
/proc/10972/task/10976/stat : 10976 (SArTagnan) R 10970 10972 10575 0 -1 4202560 579609 0 0 0 15398 97 0 0 25 0 4 0 669611368 398168064 66242 33554432000 4194304 4625164 140737187700784 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 565.84
Current children cumulated vsize (KiB) 388836

Child status: 20
Real time (s): 193.933
CPU time (s): 565.92
CPU user time (s): 564.715
CPU system time (s): 1.20482
CPU usage (%): 291.812
Max. virtual memory (cumulated for all children) (KiB): 388836

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

runsolver used 0.707892 second user time and 1.9487 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-16 23:08:49
IDJOB=3386326
IDBENCH=83118
IDSOLVER=1871
FILE ID=node130/3386326-1305580129
RUNJOBID= node130-1305576415-10594
PBS_JOBID= 13350203
Free space on /tmp= 73356 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom12.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386326-1305580129/watcher-3386326-1305580129 -o /tmp/evaluation-result-3386326-1305580129/solver-3386326-1305580129 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386326-1305580129.cnf -threads=4

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

MD5SUM BENCH= f0a59aeb3af8016fb8ec53aa337c4836
RANDOM SEED=853591481

node130.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.838
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.67
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.838
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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23018588 kB
Buffers:        310388 kB
Cached:        4330772 kB
SwapCached:      10240 kB
Active:        5609456 kB
Inactive:      4018804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23018588 kB
SwapTotal:    67111528 kB
SwapFree:     63649240 kB
Dirty:            1172 kB
Writeback:           0 kB
AnonPages:     4985288 kB
Mapped:          23684 kB
Slab:           190356 kB
PageTables:      47228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 111803720 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= 73356 MiB
End job on node130 at 2011-05-16 23:12:03