Trace number 3386342

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 959.365 321.757

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
MD5SUMceca868d07951273fdc2de08c57f2b6a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark5.9231
Satisfiable
(Un)Satisfiability was proved
Number of variables259762
Number of clauses656573
Sum of the clauses size1532001
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2437714
Number of clauses of size 3218857
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

959.23/321.73	
959.23/321.73	s UNSATISFIABLE
959.23/321.73	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-3386342-1305579806/watcher-3386342-1305579806 -o /tmp/evaluation-result-3386342-1305579806/solver-3386342-1305579806 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386342-1305579806.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: 10.13 10.13 10.09 7/421 10930
/proc/meminfo: memFree=23138532/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=28684 CPUtime=0 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 1989 0 0 0 0 0 0 0 24 0 1 0 669579164 29372416 1928 33554432000 4194304 4625164 140736915660912 18446744073709551615 4305886 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10930/statm: 7171 1940 291 106 0 2674 0

[startup+0.0687411 s]
/proc/loadavg: 10.13 10.13 10.09 7/421 10930
/proc/meminfo: memFree=23138532/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=62888 CPUtime=0.06 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 9042 0 0 0 5 1 0 0 24 0 1 0 669579164 64397312 6817 33554432000 4194304 4625164 140736915660912 18446744073709551615 210204647168 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10930/statm: 15722 6818 296 106 0 11225 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 62888

[startup+0.100733 s]
/proc/loadavg: 10.13 10.13 10.09 7/421 10930
/proc/meminfo: memFree=23138532/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=66268 CPUtime=0.09 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 11209 0 0 0 8 1 0 0 24 0 1 0 669579164 67858432 7722 33554432000 4194304 4625164 140736915660912 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10930/statm: 16567 7723 296 106 0 12070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66268

[startup+0.300701 s]
/proc/loadavg: 10.13 10.13 10.09 7/421 10930
/proc/meminfo: memFree=23138532/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=133648 CPUtime=0.29 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 32913 0 0 0 24 5 0 0 25 0 1 0 669579164 136855552 23476 33554432000 4194304 4625164 140736915660912 18446744073709551615 210204344789 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/10930/statm: 33412 23499 301 106 0 28915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 133648

[startup+0.700603 s]
/proc/loadavg: 10.13 10.13 10.09 7/421 10930
/proc/meminfo: memFree=23138532/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=357916 CPUtime=1.44 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 51078 0 0 0 137 7 0 0 25 0 4 0 669579164 366505984 41640 33554432000 4194304 4625164 140736915660912 18446744073709551615 4499479 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 89479 41640 335 106 0 84982 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 357916

[startup+1.50047 s]
/proc/loadavg: 10.13 10.13 10.09 11/425 10934
/proc/meminfo: memFree=22972520/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=358328 CPUtime=3.82 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 52279 0 0 0 375 7 0 0 25 0 4 0 669579164 366927872 42314 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 89582 42314 336 106 0 85085 0
[pid=10930/tid=10932] ppid=10928 vsize=358328 CPUtime=1.16 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 1749 0 0 0 116 0 0 0 25 0 4 0 669579196 366927872 42314 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=358328 CPUtime=1.15 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 1507 0 0 0 115 0 0 0 25 0 4 0 669579196 366927872 42314 33554432000 4194304 4625164 140736915660912 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=358328 CPUtime=0.6 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 2557 0 0 0 60 0 0 0 25 0 4 0 669579196 366927872 42314 33554432000 4194304 4625164 140736915660912 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 358328

[startup+3.1012 s]
/proc/loadavg: 10.12 10.13 10.09 11/425 10934
/proc/meminfo: memFree=22961732/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=370464 CPUtime=8.61 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 58688 0 0 0 853 8 0 0 25 0 4 0 669579164 379355136 45074 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390549 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 92616 45074 336 106 0 88119 0
[pid=10930/tid=10932] ppid=10928 vsize=370464 CPUtime=2.76 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 2521 0 0 0 276 0 0 0 25 0 4 0 669579196 379355136 45074 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=370464 CPUtime=2.73 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 3938 0 0 0 273 0 0 0 25 0 4 0 669579196 379355136 45074 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=370464 CPUtime=1.4 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 3708 0 0 0 140 0 0 0 25 0 4 0 669579196 379355136 45074 33554432000 4194304 4625164 140736915660912 18446744073709551615 4375344 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 370464

[startup+6.30067 s]
/proc/loadavg: 10.12 10.13 10.09 11/425 10934
/proc/meminfo: memFree=22944496/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=381420 CPUtime=18.16 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 67131 0 0 0 1807 9 0 0 25 0 4 0 669579164 390574080 48033 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 95355 48033 336 106 0 90858 0
[pid=10930/tid=10932] ppid=10928 vsize=381420 CPUtime=5.96 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 5336 0 0 0 596 0 0 0 25 0 4 0 669579196 390574080 48033 33554432000 4194304 4625164 140736915660912 18446744073709551615 4467485 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=381420 CPUtime=5.89 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 7472 0 0 0 588 1 0 0 25 0 4 0 669579196 390574080 48033 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288753 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=381420 CPUtime=3 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 5691 0 0 0 300 0 0 0 25 0 4 0 669579196 390574080 48033 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288765 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.16
Current children cumulated vsize (KiB) 381420

[startup+12.7006 s]
/proc/loadavg: 10.10 10.12 10.09 11/425 10935
/proc/meminfo: memFree=22921696/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=381420 CPUtime=37.27 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 79115 0 0 0 3715 12 0 0 25 0 4 0 669579164 390574080 51742 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 95355 51742 336 106 0 90858 0
[pid=10930/tid=10932] ppid=10928 vsize=381420 CPUtime=11.38 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 6670 0 0 0 1137 1 0 0 25 0 4 0 669579196 390574080 51742 33554432000 4194304 4625164 140736915660912 18446744073709551615 4467259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=381420 CPUtime=12.2 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 16957 0 0 0 1218 2 0 0 25 0 4 0 669579196 390574080 51742 33554432000 4194304 4625164 140736915660912 18446744073709551615 4467485 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=381420 CPUtime=6.2 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 6215 0 0 0 620 0 0 0 25 0 4 0 669579196 390574080 51742 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 37.27
Current children cumulated vsize (KiB) 381420

[startup+25.5005 s]
/proc/loadavg: 10.17 10.13 10.09 11/425 10935
/proc/meminfo: memFree=22886544/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=388212 CPUtime=75.49 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 132925 0 0 0 7528 21 0 0 25 0 4 0 669579164 397529088 57765 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 97053 57765 336 106 0 92556 0
[pid=10930/tid=10932] ppid=10928 vsize=388212 CPUtime=17.72 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 7485 0 0 0 1771 1 0 0 25 0 4 0 669579196 397529088 57765 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=388212 CPUtime=19.85 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 20756 0 0 0 1982 3 0 0 25 0 4 0 669579196 397529088 57765 33554432000 4194304 4625164 140736915660912 18446744073709551615 4464281 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=388212 CPUtime=17.61 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 55110 0 0 0 1754 7 0 0 25 0 4 0 669579196 397529088 57765 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351648 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 75.49
Current children cumulated vsize (KiB) 388212

[startup+51.1012 s]
/proc/loadavg: 10.11 10.12 10.09 11/425 10938
/proc/meminfo: memFree=22859200/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=420488 CPUtime=151.95 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 256708 0 0 0 15156 39 0 0 25 0 4 0 669579164 430579712 60473 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 105122 60473 336 106 0 100625 0
[pid=10930/tid=10932] ppid=10928 vsize=420488 CPUtime=30.33 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 12943 0 0 0 3030 3 0 0 25 0 4 0 669579196 430579712 60473 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=420488 CPUtime=32.5 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 25394 0 0 0 3246 4 0 0 25 0 4 0 669579196 430579712 60473 33554432000 4194304 4625164 140736915660912 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=420488 CPUtime=43.22 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 165333 0 0 0 4299 23 0 0 25 0 4 0 669579196 430579712 60473 33554432000 4194304 4625164 140736915660912 18446744073709551615 4375513 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 151.95
Current children cumulated vsize (KiB) 420488

[startup+102.316 s]
/proc/loadavg: 10.41 10.22 10.12 11/425 10940
/proc/meminfo: memFree=22798468/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=450588 CPUtime=304.07 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 375328 0 0 0 30351 56 0 0 25 0 4 0 669579164 461402112 73722 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390553 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 112647 73722 336 106 0 108150 0
[pid=10930/tid=10932] ppid=10928 vsize=450588 CPUtime=55.67 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 17344 0 0 0 5563 4 0 0 25 0 4 0 669579196 461402112 73722 33554432000 4194304 4625164 140736915660912 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=450588 CPUtime=58.33 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 29861 0 0 0 5828 5 0 0 25 0 4 0 669579196 461402112 73722 33554432000 4194304 4625164 140736915660912 18446744073709551615 4317209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=450588 CPUtime=93.29 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 269741 0 0 0 9292 37 0 0 25 0 4 0 669579196 461402112 73722 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 304.07
Current children cumulated vsize (KiB) 450588

[startup+162.301 s]
/proc/loadavg: 10.28 10.21 10.12 11/425 10941
/proc/meminfo: memFree=22738788/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=490912 CPUtime=483.21 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 436845 0 0 0 48255 66 0 0 25 0 4 0 669579164 502693888 86546 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 122728 86546 336 106 0 118231 0
[pid=10930/tid=10932] ppid=10928 vsize=490912 CPUtime=85.66 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 23673 0 0 0 8560 6 0 0 25 0 4 0 669579196 502693888 86546 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288662 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=490912 CPUtime=117.5 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 37698 0 0 0 11744 6 0 0 25 0 4 0 669579196 502693888 86546 33554432000 4194304 4625164 140736915660912 18446744073709551615 4467308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=490912 CPUtime=123.28 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 309019 0 0 0 12286 42 0 0 25 0 4 0 669579196 502693888 86546 33554432000 4194304 4625164 140736915660912 18446744073709551615 4552388 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 483.21
Current children cumulated vsize (KiB) 490912

[startup+222.301 s]
/proc/loadavg: 10.14 10.18 10.12 11/425 10943
/proc/meminfo: memFree=22561912/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=715276 CPUtime=662.38 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 563940 0 0 0 66153 85 0 0 25 0 4 0 669579164 732442624 125587 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 178819 125587 337 106 0 174322 0
[pid=10930/tid=10932] ppid=10928 vsize=715276 CPUtime=133.11 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28449 0 0 0 13303 8 0 0 25 0 4 0 669579196 732442624 125587 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=715276 CPUtime=166.67 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 56936 0 0 0 16658 9 0 0 25 0 4 0 669579196 732442624 125587 33554432000 4194304 4625164 140736915660912 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=715276 CPUtime=164.87 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 350757 0 0 0 16439 48 0 0 25 0 4 0 669579196 732442624 125587 33554432000 4194304 4625164 140736915660912 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 662.38
Current children cumulated vsize (KiB) 715276

[startup+282.301 s]
/proc/loadavg: 10.21 10.19 10.12 11/425 10945
/proc/meminfo: memFree=22491680/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=841.57 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 686029 0 0 0 84052 105 0 0 25 0 4 0 669579164 799551488 131768 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 131768 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=162.59 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28526 0 0 0 16251 8 0 0 25 0 4 0 669579196 799551488 131768 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288755 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=196.48 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57333 0 0 0 19639 9 0 0 25 0 4 0 669579196 799551488 131768 33554432000 4194304 4625164 140736915660912 18446744073709551615 4316696 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=224.88 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 472361 0 0 0 22419 69 0 0 25 0 4 0 669579196 799551488 131768 33554432000 4194304 4625164 140736915660912 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 841.57
Current children cumulated vsize (KiB) 780812

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

[startup+307.101 s]
/proc/loadavg: 10.28 10.21 10.13 11/425 10945
/proc/meminfo: memFree=22479896/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=915.62 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 703175 0 0 0 91454 108 0 0 25 0 4 0 669579164 799551488 133695 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 133695 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=174.55 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28526 0 0 0 17447 8 0 0 25 0 4 0 669579196 799551488 133695 33554432000 4194304 4625164 140736915660912 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=208.98 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57333 0 0 0 20889 9 0 0 25 0 4 0 669579196 799551488 133695 33554432000 4194304 4625164 140736915660912 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=249.68 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 489504 0 0 0 24896 72 0 0 25 0 4 0 669579196 799551488 133695 33554432000 4194304 4625164 140736915660912 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 915.62
Current children cumulated vsize (KiB) 780812

[startup+313.516 s]
/proc/loadavg: 10.31 10.22 10.13 11/425 10946
/proc/meminfo: memFree=22476176/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=934.79 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 707663 0 0 0 93370 109 0 0 25 0 4 0 669579164 799551488 134974 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 134974 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=177.7 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28526 0 0 0 17762 8 0 0 25 0 4 0 669579196 799551488 134974 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=212.15 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57336 0 0 0 21206 9 0 0 25 0 4 0 669579196 799551488 134974 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=256.09 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 493988 0 0 0 25537 72 0 0 25 0 4 0 669579196 799551488 134974 33554432000 4194304 4625164 140736915660912 18446744073709551615 4550103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 934.79
Current children cumulated vsize (KiB) 780812

[startup+316.701 s]
/proc/loadavg: 10.31 10.22 10.13 11/425 10946
/proc/meminfo: memFree=22473696/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=944.33 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 709447 0 0 0 94324 109 0 0 25 0 4 0 669579164 799551488 134474 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 134474 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=179.3 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28542 0 0 0 17922 8 0 0 25 0 4 0 669579196 799551488 134474 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=213.7 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57344 0 0 0 21361 9 0 0 25 0 4 0 669579196 799551488 134474 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=259.28 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 495747 0 0 0 25856 72 0 0 25 0 4 0 669579196 799551488 134474 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 944.33
Current children cumulated vsize (KiB) 780812

[startup+319.9 s]
/proc/loadavg: 10.29 10.21 10.13 11/425 10946
/proc/meminfo: memFree=22475060/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=953.86 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 709462 0 0 0 95277 109 0 0 25 0 4 0 669579164 799551488 134489 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 134489 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=180.88 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28543 0 0 0 18080 8 0 0 25 0 4 0 669579196 799551488 134489 33554432000 4194304 4625164 140736915660912 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=215.27 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57346 0 0 0 21518 9 0 0 25 0 4 0 669579196 799551488 134489 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=262.47 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 495759 0 0 0 26175 72 0 0 25 0 4 0 669579196 799551488 134489 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 953.86
Current children cumulated vsize (KiB) 780812

[startup+320.7 s]
/proc/loadavg: 10.29 10.21 10.13 11/425 10946
/proc/meminfo: memFree=22474812/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=956.24 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 709472 0 0 0 95515 109 0 0 25 0 4 0 669579164 799551488 134499 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 134499 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=181.26 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28543 0 0 0 18118 8 0 0 25 0 4 0 669579196 799551488 134499 33554432000 4194304 4625164 140736915660912 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=215.67 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57346 0 0 0 21558 9 0 0 25 0 4 0 669579196 799551488 134499 33554432000 4194304 4625164 140736915660912 18446744073709551615 4317274 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=263.27 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 495768 0 0 0 26255 72 0 0 25 0 4 0 669579196 799551488 134499 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 956.24
Current children cumulated vsize (KiB) 780812

[startup+321.501 s]
/proc/loadavg: 10.29 10.21 10.13 11/425 10946
/proc/meminfo: memFree=22473320/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=958.63 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 709487 0 0 0 95754 109 0 0 25 0 4 0 669579164 799551488 134514 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 134514 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=181.65 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28543 0 0 0 18157 8 0 0 25 0 4 0 669579196 799551488 134514 33554432000 4194304 4625164 140736915660912 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=216.07 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57352 0 0 0 21598 9 0 0 25 0 4 0 669579196 799551488 134514 33554432000 4194304 4625164 140736915660912 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=264.07 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 495777 0 0 0 26335 72 0 0 25 0 4 0 669579196 799551488 134514 33554432000 4194304 4625164 140736915660912 18446744073709551615 4334349 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 958.63
Current children cumulated vsize (KiB) 780812

[startup+321.701 s]
/proc/loadavg: 10.29 10.21 10.13 11/425 10946
/proc/meminfo: memFree=22473320/32951124 swapFree=63649240/67111528
[pid=10930] ppid=10928 vsize=780812 CPUtime=959.23 cores=1,3,5,7
/proc/10930/stat : 10930 (SArTagnan) R 10928 10930 10575 0 -1 4202496 709489 0 0 0 95814 109 0 0 25 0 4 0 669579164 799551488 134516 33554432000 4194304 4625164 140736915660912 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10930/statm: 195203 134516 337 106 0 190706 0
[pid=10930/tid=10932] ppid=10928 vsize=780812 CPUtime=181.75 cores=1,3,5,7
/proc/10930/task/10932/stat : 10932 (SArTagnan) R 10928 10930 10575 0 -1 4202560 28543 0 0 0 18167 8 0 0 25 0 4 0 669579196 799551488 134516 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10933] ppid=10928 vsize=780812 CPUtime=216.17 cores=1,3,5,7
/proc/10930/task/10933/stat : 10933 (SArTagnan) R 10928 10930 10575 0 -1 4202560 57353 0 0 0 21608 9 0 0 25 0 4 0 669579196 799551488 134516 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10930/tid=10934] ppid=10928 vsize=780812 CPUtime=264.27 cores=1,3,5,7
/proc/10930/task/10934/stat : 10934 (SArTagnan) R 10928 10930 10575 0 -1 4202560 495777 0 0 0 26355 72 0 0 25 0 4 0 669579196 799551488 134516 33554432000 4194304 4625164 140736915660912 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 959.23
Current children cumulated vsize (KiB) 780812

Child status: 20
Real time (s): 321.757
CPU time (s): 959.365
CPU user time (s): 958.248
CPU system time (s): 1.11683
CPU usage (%): 298.165
Max. virtual memory (cumulated for all children) (KiB): 780812

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

runsolver used 1.19382 second user time and 3.20851 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-16 23:03:27
IDJOB=3386342
IDBENCH=82435
IDSOLVER=1871
FILE ID=node130/3386342-1305579806
RUNJOBID= node130-1305576415-10594
PBS_JOBID= 13350203
Free space on /tmp= 73348 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386342-1305579806/watcher-3386342-1305579806 -o /tmp/evaluation-result-3386342-1305579806/solver-3386342-1305579806 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386342-1305579806.cnf -threads=4

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

MD5SUM BENCH= ceca868d07951273fdc2de08c57f2b6a
RANDOM SEED=1076345721

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:      23138564 kB
Buffers:        310348 kB
Cached:        4341068 kB
SwapCached:      10240 kB
Active:        5489600 kB
Inactive:      4018692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23138564 kB
SwapTotal:    67111528 kB
SwapFree:     63649240 kB
Dirty:           12044 kB
Writeback:           0 kB
AnonPages:     4854760 kB
Mapped:          23684 kB
Slab:           190664 kB
PageTables:      46860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 111644604 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= 73344 MiB
End job on node130 at 2011-05-16 23:08:48