Trace number 3386321

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 577.388 145.316

General information on the benchmark

Namemanol-pipe-f7nidw.cnf
MD5SUMb950ebec64dc35544d8f8bf6957e7bc2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark27.7028
Satisfiable
(Un)Satisfiability was proved
Number of variables310434
Number of clauses923497
Sum of the clauses size2154825
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2615664
Number of clauses of size 3307832
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

577.11/145.27	
577.11/145.27	s UNSATISFIABLE
577.11/145.27	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-3386321-1305577168/watcher-3386321-1305577168 -o /tmp/evaluation-result-3386321-1305577168/solver-3386321-1305577168 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386321-1305577168.cnf -threads=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: 7.58 8.03 8.03 2/444 30234
/proc/meminfo: memFree=18681784/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=65960 CPUtime=0 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 5970 0 0 0 0 0 0 0 23 0 1 0 747947639 67543040 5908 33554432000 4194304 4625164 140735865796704 18446744073709551615 215988289291 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30234/statm: 16490 5908 295 106 0 11993 0

[startup+0.102527 s]
/proc/loadavg: 7.58 8.03 8.03 2/444 30234
/proc/meminfo: memFree=18681784/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=75808 CPUtime=0.1 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 11461 0 0 0 8 2 0 0 23 0 1 0 747947639 77627392 8398 33554432000 4194304 4625164 140735865796704 18446744073709551615 4360205 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30234/statm: 18952 8399 296 106 0 14455 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 75808

[startup+0.200573 s]
/proc/loadavg: 7.58 8.03 8.03 2/444 30234
/proc/meminfo: memFree=18681784/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=85848 CPUtime=0.18 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 17386 0 0 0 16 2 0 0 24 0 1 0 747947639 87908352 11061 33554432000 4194304 4625164 140735865796704 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30234/statm: 21462 11062 296 106 0 16965 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 85848

[startup+0.300558 s]
/proc/loadavg: 7.58 8.03 8.03 2/444 30234
/proc/meminfo: memFree=18681784/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=94080 CPUtime=0.29 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 22853 0 0 0 26 3 0 0 25 0 1 0 747947639 96337920 13268 33554432000 4194304 4625164 140735865796704 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30234/statm: 23520 13271 296 106 0 19023 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94080

[startup+0.700376 s]
/proc/loadavg: 7.58 8.03 8.03 2/444 30234
/proc/meminfo: memFree=18681784/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=499908 CPUtime=1.33 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 67948 0 0 0 125 8 0 0 25 0 4 0 747947639 511905792 52740 33554432000 4194304 4625164 140735865796704 18446744073709551615 215988248533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 124977 52740 336 106 0 120480 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 499908

[startup+1.50024 s]
/proc/loadavg: 7.58 8.03 8.03 9/454 30244
/proc/meminfo: memFree=18261360/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=509528 CPUtime=4.52 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 73197 0 0 0 443 9 0 0 25 0 4 0 747947639 521756672 56819 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390609 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 127382 56819 336 106 0 122885 0
[pid=30234/tid=30242] ppid=30231 vsize=509528 CPUtime=1.01 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 2895 0 0 0 101 0 0 0 25 0 4 0 747947688 521756672 56819 33554432000 4194304 4625164 140735865796704 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=509528 CPUtime=1 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 2532 0 0 0 100 0 0 0 25 0 4 0 747947688 521756672 56819 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=509528 CPUtime=0.98 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 7411 0 0 0 98 0 0 0 25 0 4 0 747947688 521756672 56819 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334910 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 509528

[startup+3.10096 s]
/proc/loadavg: 7.58 8.03 8.03 10/454 30244
/proc/meminfo: memFree=18251324/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=509528 CPUtime=10.9 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 81768 0 0 0 1080 10 0 0 25 0 4 0 747947639 521756672 57413 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390564 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 127382 57413 336 106 0 122885 0
[pid=30234/tid=30242] ppid=30231 vsize=509528 CPUtime=2.61 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 2990 0 0 0 261 0 0 0 25 0 4 0 747947688 521756672 57413 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=509528 CPUtime=2.6 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 2581 0 0 0 260 0 0 0 25 0 4 0 747947688 521756672 57413 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=509528 CPUtime=2.58 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 15743 0 0 0 256 2 0 0 25 0 4 0 747947688 521756672 57413 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 509528

[startup+6.3004 s]
/proc/loadavg: 7.61 8.02 8.03 9/454 30244
/proc/meminfo: memFree=18202220/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=509528 CPUtime=23.64 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 98493 0 0 0 2350 14 0 0 25 0 4 0 747947639 521756672 56635 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 127382 56635 336 106 0 122885 0
[pid=30234/tid=30242] ppid=30231 vsize=509528 CPUtime=5.8 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 3051 0 0 0 579 1 0 0 25 0 4 0 747947688 521756672 56635 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=509528 CPUtime=5.8 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 2685 0 0 0 580 0 0 0 25 0 4 0 747947688 521756672 56635 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=509528 CPUtime=5.73 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 32231 0 0 0 568 5 0 0 25 0 4 0 747947688 521756672 56635 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.64
Current children cumulated vsize (KiB) 509528

[startup+12.7003 s]
/proc/loadavg: 7.64 8.02 8.03 9/454 30244
/proc/meminfo: memFree=18090120/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=509528 CPUtime=49.14 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 126321 0 0 0 4896 18 0 0 25 0 4 0 747947639 521756672 59013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 127382 59013 342 106 0 122885 0
[pid=30234/tid=30242] ppid=30231 vsize=509528 CPUtime=12.2 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 3337 0 0 0 1219 1 0 0 25 0 4 0 747947688 521756672 59013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=509528 CPUtime=12.2 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 2935 0 0 0 1220 0 0 0 25 0 4 0 747947688 521756672 59013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4327864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=509528 CPUtime=12.02 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 59093 0 0 0 1193 9 0 0 25 0 4 0 747947688 521756672 59013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334923 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.14
Current children cumulated vsize (KiB) 509528

[startup+25.501 s]
/proc/loadavg: 7.80 8.04 8.04 10/454 30245
/proc/meminfo: memFree=17764940/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=514996 CPUtime=100.13 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 172147 0 0 0 9987 26 0 0 25 0 4 0 747947639 527355904 63013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390671 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 128749 63013 342 106 0 124252 0
[pid=30234/tid=30242] ppid=30231 vsize=514996 CPUtime=25 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 4220 0 0 0 2499 1 0 0 25 0 4 0 747947688 527355904 63013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=514996 CPUtime=25 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 4765 0 0 0 2499 1 0 0 25 0 4 0 747947688 527355904 63013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=514996 CPUtime=24.62 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 98506 0 0 0 2447 15 0 0 25 0 4 0 747947688 527355904 63013 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334251 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.13
Current children cumulated vsize (KiB) 514996

[startup+51.1006 s]
/proc/loadavg: 7.87 8.03 8.03 9/454 30245
/proc/meminfo: memFree=17638704/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=542472 CPUtime=202.13 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 243421 0 0 0 20174 39 0 0 25 0 4 0 747947639 555491328 68104 33554432000 4194304 4625164 140735865796704 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 135618 68104 343 106 0 131121 0
[pid=30234/tid=30242] ppid=30231 vsize=542472 CPUtime=50.6 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 10375 0 0 0 5058 2 0 0 25 0 4 0 747947688 555491328 68104 33554432000 4194304 4625164 140735865796704 18446744073709551615 4462369 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=542472 CPUtime=50.59 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 12009 0 0 0 5057 2 0 0 25 0 4 0 747947688 555491328 68104 33554432000 4194304 4625164 140735865796704 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=542472 CPUtime=49.83 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 155436 0 0 0 4958 25 0 0 25 0 4 0 747947688 555491328 68104 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.13
Current children cumulated vsize (KiB) 542472

[startup+102.301 s]
/proc/loadavg: 8.00 8.04 8.03 9/454 30247
/proc/meminfo: memFree=17184728/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=578152 CPUtime=406.18 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 349346 0 0 0 40562 56 0 0 25 0 4 0 747947639 592027648 80166 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390609 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 144538 80166 344 106 0 140041 0
[pid=30234/tid=30242] ppid=30231 vsize=578152 CPUtime=101.81 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 16093 0 0 0 10178 3 0 0 25 0 4 0 747947688 592027648 80166 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=578152 CPUtime=101.79 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 17921 0 0 0 10176 3 0 0 25 0 4 0 747947688 592027648 80166 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=578152 CPUtime=100.25 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 242048 0 0 0 9987 38 0 0 25 0 4 0 747947688 592027648 80166 33554432000 4194304 4625164 140735865796704 18446744073709551615 4375311 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.18
Current children cumulated vsize (KiB) 578152

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

[startup+102.418 s]
/proc/loadavg: 8.00 8.04 8.03 9/454 30247
/proc/meminfo: memFree=17184728/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=578152 CPUtime=406.59 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 350497 0 0 0 40603 56 0 0 25 0 4 0 747947639 592027648 81230 33554432000 4194304 4625164 140735865796704 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 144538 81230 344 106 0 140041 0
[pid=30234/tid=30242] ppid=30231 vsize=578152 CPUtime=101.91 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 16093 0 0 0 10188 3 0 0 25 0 4 0 747947688 592027648 81230 33554432000 4194304 4625164 140735865796704 18446744073709551615 4352847 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=578152 CPUtime=101.89 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 17924 0 0 0 10186 3 0 0 25 0 4 0 747947688 592027648 81230 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=578152 CPUtime=100.35 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 243196 0 0 0 9996 39 0 0 25 0 4 0 747947688 592027648 81230 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.59
Current children cumulated vsize (KiB) 578152

[startup+128.001 s]
/proc/loadavg: 8.00 8.04 8.03 10/454 30247
/proc/meminfo: memFree=16620392/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1124884 CPUtime=508.52 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 587378 0 0 0 50759 93 0 0 25 0 4 0 747947639 1151881216 210976 33554432000 4194304 4625164 140735865796704 18446744073709551615 4512747 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 281221 210976 469 106 0 276724 0
[pid=30234/tid=30242] ppid=30231 vsize=1124884 CPUtime=127.49 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 38755 0 0 0 12743 6 0 0 25 0 4 0 747947688 1151881216 210976 33554432000 4194304 4625164 140735865796704 18446744073709551615 4278665 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1124884 CPUtime=127.46 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 38885 0 0 0 12740 6 0 0 25 0 4 0 747947688 1151881216 210976 33554432000 4194304 4625164 140735865796704 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1124884 CPUtime=125.55 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 296777 0 0 0 12508 47 0 0 25 0 4 0 747947688 1151881216 210976 33554432000 4194304 4625164 140735865796704 18446744073709551615 4335104 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 508.52
Current children cumulated vsize (KiB) 1124884

[startup+134.401 s]
/proc/loadavg: 8.08 8.05 8.04 10/454 30248
/proc/meminfo: memFree=16605512/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1124884 CPUtime=534.01 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 589087 0 0 0 53308 93 0 0 25 0 4 0 747947639 1151881216 212685 33554432000 4194304 4625164 140735865796704 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 281221 212685 469 106 0 276724 0
[pid=30234/tid=30242] ppid=30231 vsize=1124884 CPUtime=133.89 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 39135 0 0 0 13383 6 0 0 25 0 4 0 747947688 1151881216 212685 33554432000 4194304 4625164 140735865796704 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1124884 CPUtime=133.85 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 39804 0 0 0 13379 6 0 0 25 0 4 0 747947688 1151881216 212685 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1124884 CPUtime=131.85 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 297147 0 0 0 13138 47 0 0 25 0 4 0 747947688 1151881216 212685 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 534.01
Current children cumulated vsize (KiB) 1124884

[startup+140.801 s]
/proc/loadavg: 8.07 8.05 8.04 10/454 30248
/proc/meminfo: memFree=16591620/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1144036 CPUtime=559.58 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 599991 0 0 0 55863 95 0 0 25 0 4 0 747947639 1171492864 214248 33554432000 4194304 4625164 140735865796704 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 286009 214248 469 106 0 281512 0
[pid=30234/tid=30242] ppid=30231 vsize=1144036 CPUtime=140.31 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 39829 0 0 0 14024 7 0 0 25 0 4 0 747947688 1171492864 214248 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1144036 CPUtime=140.28 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 49460 0 0 0 14020 8 0 0 25 0 4 0 747947688 1171492864 214248 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1144036 CPUtime=138.16 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 297197 0 0 0 13769 47 0 0 25 0 4 0 747947688 1171492864 214248 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334603 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 559.58
Current children cumulated vsize (KiB) 1144036

[startup+142.401 s]
/proc/loadavg: 8.07 8.05 8.04 9/454 30248
/proc/meminfo: memFree=16590256/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1144036 CPUtime=565.89 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 600311 0 0 0 56494 95 0 0 25 0 4 0 747947639 1171492864 214562 33554432000 4194304 4625164 140735865796704 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 286009 214562 469 106 0 281512 0
[pid=30234/tid=30242] ppid=30231 vsize=1144036 CPUtime=141.9 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 39957 0 0 0 14183 7 0 0 25 0 4 0 747947688 1171492864 214562 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1144036 CPUtime=141.86 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 49519 0 0 0 14178 8 0 0 25 0 4 0 747947688 1171492864 214562 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1144036 CPUtime=139.73 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 297218 0 0 0 13926 47 0 0 25 0 4 0 747947688 1171492864 214562 33554432000 4194304 4625164 140735865796704 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 565.89
Current children cumulated vsize (KiB) 1144036

[startup+144 s]
/proc/loadavg: 8.07 8.05 8.04 9/454 30248
/proc/meminfo: memFree=16586536/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1144036 CPUtime=572.27 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 600816 0 0 0 57132 95 0 0 25 0 4 0 747947639 1171492864 215051 33554432000 4194304 4625164 140735865796704 18446744073709551615 4512763 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 286009 215051 469 106 0 281512 0
[pid=30234/tid=30242] ppid=30231 vsize=1144036 CPUtime=143.49 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 40074 0 0 0 14342 7 0 0 25 0 4 0 747947688 1171492864 215051 33554432000 4194304 4625164 140735865796704 18446744073709551615 4288814 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1144036 CPUtime=143.46 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 49632 0 0 0 14338 8 0 0 25 0 4 0 747947688 1171492864 215051 33554432000 4194304 4625164 140735865796704 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1144036 CPUtime=141.31 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 297256 0 0 0 14084 47 0 0 25 0 4 0 747947688 1171492864 215051 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334499 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 572.27
Current children cumulated vsize (KiB) 1144036

[startup+144.801 s]
/proc/loadavg: 8.07 8.05 8.03 9/454 30248
/proc/meminfo: memFree=16558148/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1172204 CPUtime=575.46 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 615178 0 0 0 57449 97 0 0 25 0 4 0 747947639 1200336896 215354 33554432000 4194304 4625164 140735865796704 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 293051 215354 469 106 0 288554 0
[pid=30234/tid=30242] ppid=30231 vsize=1172204 CPUtime=144.29 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 40079 0 0 0 14422 7 0 0 25 0 4 0 747947688 1200336896 215354 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1172204 CPUtime=144.26 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 49634 0 0 0 14418 8 0 0 25 0 4 0 747947688 1200336896 215354 33554432000 4194304 4625164 140735865796704 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1172204 CPUtime=142.1 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 297257 0 0 0 14163 47 0 0 25 0 4 0 747947688 1200336896 215354 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334349 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 575.46
Current children cumulated vsize (KiB) 1172204

[startup+145.201 s]
/proc/loadavg: 8.07 8.05 8.03 10/454 30248
/proc/meminfo: memFree=16580448/32950940 swapFree=67111356/67111528
[pid=30234] ppid=30231 vsize=1172204 CPUtime=577.11 cores=0,2,4,6
/proc/30234/stat : 30234 (SArTagnan) R 30231 30234 30199 0 -1 4202496 615235 0 0 0 57614 97 0 0 25 0 4 0 747947639 1200336896 215406 33554432000 4194304 4625164 140735865796704 18446744073709551615 4511846 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30234/statm: 293051 215406 469 106 0 288554 0
[pid=30234/tid=30242] ppid=30231 vsize=1172204 CPUtime=144.71 cores=0,2,4,6
/proc/30234/task/30242/stat : 30242 (SArTagnan) R 30231 30234 30199 0 -1 4202560 40092 0 0 0 14464 7 0 0 25 0 4 0 747947688 1200336896 215406 33554432000 4194304 4625164 140735865796704 18446744073709551615 4334238 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30234/tid=30243] ppid=30231 vsize=1172204 CPUtime=144.68 cores=0,2,4,6
/proc/30234/task/30243/stat : 30243 (SArTagnan) R 30231 30234 30199 0 -1 4202560 49640 0 0 0 14460 8 0 0 25 0 4 0 747947688 1200336896 215406 33554432000 4194304 4625164 140735865796704 18446744073709551615 4465169 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30234/tid=30244] ppid=30231 vsize=1172204 CPUtime=142.5 cores=0,2,4,6
/proc/30234/task/30244/stat : 30244 (SArTagnan) R 30231 30234 30199 0 -1 4202560 297258 0 0 0 14203 47 0 0 25 0 4 0 747947688 1200336896 215406 33554432000 4194304 4625164 140735865796704 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 577.11
Current children cumulated vsize (KiB) 1172204

Child status: 20
Real time (s): 145.316
CPU time (s): 577.388
CPU user time (s): 576.371
CPU system time (s): 1.01684
CPU usage (%): 397.332
Max. virtual memory (cumulated for all children) (KiB): 1228436

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

runsolver used 0.628904 second user time and 1.61075 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-16 22:19:29
IDJOB=3386321
IDBENCH=69619
IDSOLVER=1871
FILE ID=node117/3386321-1305577168
RUNJOBID= node117-1305577168-30217
PBS_JOBID= 13350218
Free space on /tmp= 73416 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-f7nidw.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386321-1305577168/watcher-3386321-1305577168 -o /tmp/evaluation-result-3386321-1305577168/solver-3386321-1305577168 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386321-1305577168.cnf -threads=4

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

MD5SUM BENCH= b950ebec64dc35544d8f8bf6957e7bc2
RANDOM SEED=1870163871

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18682328 kB
Buffers:        339560 kB
Cached:        4779192 kB
SwapCached:          0 kB
Active:       10658600 kB
Inactive:      3242648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18682328 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           35016 kB
Writeback:           0 kB
AnonPages:     8782072 kB
Mapped:          34076 kB
Slab:           248376 kB
PageTables:      49348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 115492048 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= 73416 MiB
End job on node117 at 2011-05-16 22:21:54