Trace number 1725814

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
satake 2009-03-22UNSAT 615.1 322.998

General information on the benchmark

Namecrafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
MD5SUMddc67b9b869c1d77b5458996a2e27751
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark63.6443
Satisfiable
(Un)Satisfiability was proved
Number of variables1472
Number of clauses7737
Sum of the clauses size65737
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2253
Number of clauses of size 31166
Number of clauses of size 4118
Number of clauses of size 5888
Number of clauses of size over 55285

Solver Data 

614.99/322.99	c Benchmark name    : HOME/instance-1725814-1240706831.cnf
614.99/322.99	c Thread Num        :            3
614.99/322.99	c restarts          :           22
614.99/322.99	c conflicts         :      1111442
614.99/322.99	c decisions         :      3819316           (    11840 / sec      )
614.99/322.99	c propagations      :     40447195           (   125385 / sec      )
614.99/322.99	c inspects          :   1171033353           (  3630155 / sec      )
614.99/322.99	c conflict literals :     29197419           (    27.01 % deleted  )
614.99/322.99	c cpu time          :       322.58           
614.99/322.99	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1725814-1240706831/watcher-1725814-1240706831 -o /tmp/evaluation-result-1725814-1240706831/solver-1725814-1240706831 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1725814-1240706831.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.96 0.97 0.99 3/65 18803
/proc/meminfo: memFree=1753008/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=1728 CPUtime=0
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 271 0 0 0 0 0 0 0 20 0 4 0 98712315 1769472 256 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 432 257 65 163 0 267 0
[pid=18803/tid=18804] ppid=18801 vsize=1728 CPUtime=0
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 98712315 1769472 257 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=1728 CPUtime=0
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 20 0 0 0 0 0 0 0 22 0 4 0 98712315 1769472 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=1728 CPUtime=0
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 163 0 0 0 0 0 0 0 21 0 4 0 98712315 1769472 258 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.052869 s]
/proc/loadavg: 0.96 0.97 0.99 3/65 18803
/proc/meminfo: memFree=1753008/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=2952 CPUtime=0.08
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 655 0 0 0 5 3 0 0 20 0 4 0 98712315 3022848 478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 738 478 70 163 0 573 0
[pid=18803/tid=18804] ppid=18801 vsize=2952 CPUtime=0.01
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 34 0 0 0 0 1 0 0 17 0 4 0 98712315 3022848 478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=2952 CPUtime=0.02
/proc/18803/task/18805/stat : 18805 (satake) S 18801 18803 18739 0 -1 4194368 281 0 0 0 2 0 0 0 16 0 4 0 98712315 3022848 478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=2952 CPUtime=0.02
/proc/18803/task/18806/stat : 18806 (satake) S 18801 18803 18739 0 -1 4194368 257 0 0 0 2 0 0 0 16 0 4 0 98712315 3022848 478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2952

[startup+0.104396 s]
/proc/loadavg: 0.96 0.97 0.99 3/65 18803
/proc/meminfo: memFree=1753008/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=3084 CPUtime=0.15
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 684 0 0 0 7 8 0 0 20 0 4 0 98712315 3158016 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 771 507 70 163 0 606 0
[pid=18803/tid=18804] ppid=18801 vsize=3084 CPUtime=0.04
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 45 0 0 0 0 4 0 0 17 0 4 0 98712315 3158016 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=3084 CPUtime=0.05
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 292 0 0 0 3 2 0 0 17 0 4 0 98712315 3158016 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=3084 CPUtime=0.05
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 264 0 0 0 3 2 0 0 16 0 4 0 98712315 3158016 507 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 3084

[startup+0.301039 s]
/proc/loadavg: 0.96 0.97 0.99 3/65 18803
/proc/meminfo: memFree=1753008/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=3348 CPUtime=0.47
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 812 0 0 0 21 26 0 0 20 0 4 0 98712315 3428352 635 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 837 635 70 163 0 672 0
[pid=18803/tid=18804] ppid=18801 vsize=3348 CPUtime=0.14
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 78 0 0 0 2 12 0 0 17 0 4 0 98712315 3428352 635 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=3348 CPUtime=0.14
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 339 0 0 0 8 6 0 0 16 0 4 0 98712315 3428352 635 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=3348 CPUtime=0.15
/proc/18803/task/18806/stat : 18806 (satake) S 18801 18803 18739 0 -1 4194368 312 0 0 0 9 6 0 0 16 0 4 0 98712315 3428352 635 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 3348

[startup+0.701084 s]
/proc/loadavg: 0.96 0.97 0.99 3/65 18803
/proc/meminfo: memFree=1753008/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=4768 CPUtime=1.12
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 989 0 0 0 54 58 0 0 20 0 4 0 98712315 4882432 812 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 1192 812 70 163 0 1027 0
[pid=18803/tid=18804] ppid=18801 vsize=4768 CPUtime=0.36
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 138 0 0 0 6 30 0 0 17 0 4 0 98712315 4882432 812 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=4768 CPUtime=0.38
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 407 0 0 0 23 15 0 0 16 0 4 0 98712315 4882432 812 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=4768 CPUtime=0.35
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 361 0 0 0 23 12 0 0 16 0 4 0 98712315 4882432 812 1992294400 134512640 135180984 4294956208 18446744073709551615 134528511 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 4768

[startup+1.50118 s]
/proc/loadavg: 0.96 0.97 0.99 3/69 18807
/proc/meminfo: memFree=1749520/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=5440 CPUtime=2.45
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 1212 0 0 0 128 117 0 0 20 0 4 0 98712315 5570560 1035 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 1360 1035 70 163 0 1195 0
[pid=18803/tid=18804] ppid=18801 vsize=5440 CPUtime=0.76
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 247 0 0 0 15 61 0 0 15 0 4 0 98712315 5570560 1035 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=5440 CPUtime=0.86
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 469 0 0 0 58 28 0 0 17 0 4 0 98712315 5570560 1035 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=5440 CPUtime=0.82
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 413 0 0 0 55 27 0 0 16 0 4 0 98712315 5570560 1035 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 5440

[startup+3.10322 s]
/proc/loadavg: 1.12 1.00 1.00 3/69 18807
/proc/meminfo: memFree=1748176/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=6380 CPUtime=5.23
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 1565 0 0 0 298 225 0 0 20 0 4 0 98712315 6533120 1388 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 1595 1388 70 163 0 1430 0
[pid=18803/tid=18804] ppid=18801 vsize=6380 CPUtime=1.43
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 453 0 0 0 31 112 0 0 16 0 4 0 98712315 6533120 1388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=6380 CPUtime=1.93
/proc/18803/task/18805/stat : 18805 (satake) S 18801 18803 18739 0 -1 4194368 526 0 0 0 136 57 0 0 15 0 4 0 98712315 6533120 1388 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=6380 CPUtime=1.85
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 503 0 0 0 130 55 0 0 16 0 4 0 98712315 6533120 1388 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 6380

[startup+6.30171 s]
/proc/loadavg: 1.12 1.00 1.00 2/69 18807
/proc/meminfo: memFree=1745680/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=9060 CPUtime=10.91
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 2147 0 0 0 660 431 0 0 20 0 4 0 98712315 9277440 1970 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 2265 1970 70 163 0 2100 0
[pid=18803/tid=18804] ppid=18801 vsize=9060 CPUtime=2.69
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 847 0 0 0 61 208 0 0 16 0 4 0 98712315 9277440 1970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=9060 CPUtime=4.12
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 593 0 0 0 298 114 0 0 16 0 4 0 98712315 9277440 1970 1992294400 134512640 135180984 4294956208 18446744073709551615 134537913 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=9060 CPUtime=4.08
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 624 0 0 0 300 108 0 0 16 0 4 0 98712315 9277440 1970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.91
Current children cumulated vsize (KiB) 9060

[startup+12.7028 s]
/proc/loadavg: 1.41 1.07 1.02 3/69 18807
/proc/meminfo: memFree=1741200/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=13376 CPUtime=22.68
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 3195 0 0 0 1463 805 0 0 20 0 4 0 98712315 13697024 3018 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 3344 3018 70 163 0 3179 0
[pid=18803/tid=18804] ppid=18801 vsize=13376 CPUtime=4.98
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 1542 0 0 0 110 388 0 0 15 0 4 0 98712315 13697024 3018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=13376 CPUtime=8.91
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 758 0 0 0 680 211 0 0 16 0 4 0 98712315 13697024 3018 1992294400 134512640 135180984 4294956208 18446744073709551615 134528417 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=13376 CPUtime=8.77
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 812 0 0 0 672 205 0 0 16 0 4 0 98712315 13697024 3018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.68
Current children cumulated vsize (KiB) 13376

[startup+25.5041 s]
/proc/loadavg: 1.50 1.10 1.03 3/69 18807
/proc/meminfo: memFree=1734288/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=20716 CPUtime=46.4
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 4833 0 0 0 3135 1505 0 0 20 0 4 0 98712315 21213184 4656 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 5179 4656 70 163 0 5014 0
[pid=18803/tid=18804] ppid=18801 vsize=20716 CPUtime=9.27
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 2777 0 0 0 201 726 0 0 16 0 4 0 98712315 21213184 4656 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=20716 CPUtime=18.67
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 955 0 0 0 1476 391 0 0 17 0 4 0 98712315 21213184 4656 1992294400 134512640 135180984 4294956208 18446744073709551615 134528526 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=20716 CPUtime=18.44
/proc/18803/task/18806/stat : 18806 (satake) S 18801 18803 18739 0 -1 4194368 1018 0 0 0 1457 387 0 0 15 0 4 0 98712315 21213184 4656 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 46.4
Current children cumulated vsize (KiB) 20716

[startup+51.1017 s]
/proc/loadavg: 1.74 1.19 1.06 3/69 18807
/proc/meminfo: memFree=1723216/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=33784 CPUtime=94.76
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 7639 0 0 0 6680 2796 0 0 20 0 4 0 98712315 34594816 7462 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 8446 7462 70 163 0 8281 0
[pid=18803/tid=18804] ppid=18801 vsize=33784 CPUtime=17.11
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 4843 0 0 0 368 1343 0 0 16 0 4 0 98712315 34594816 7462 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=33784 CPUtime=39.07
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 1375 0 0 0 3180 727 0 0 16 0 4 0 98712315 34594816 7462 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=33784 CPUtime=38.56
/proc/18803/task/18806/stat : 18806 (satake) S 18801 18803 18739 0 -1 4194368 1338 0 0 0 3131 725 0 0 15 0 4 0 98712315 34594816 7462 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 94.76
Current children cumulated vsize (KiB) 33784

[startup+102.305 s]
/proc/loadavg: 2.13 1.39 1.14 4/69 18807
/proc/meminfo: memFree=1701904/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=59432 CPUtime=192.05
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 12920 0 0 0 13904 5301 0 0 20 0 4 0 98712315 60858368 12743 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 14858 12743 70 163 0 14693 0
[pid=18803/tid=18804] ppid=18801 vsize=59432 CPUtime=32.26
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 9093 0 0 0 694 2532 0 0 16 0 4 0 98712315 60858368 12743 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=59432 CPUtime=80.03
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 1807 0 0 0 6625 1378 0 0 16 0 4 0 98712315 60858368 12743 1992294400 134512640 135180984 4294956208 18446744073709551615 134518208 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=59432 CPUtime=79.74
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 1937 0 0 0 6584 1390 0 0 16 0 4 0 98712315 60858368 12743 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 192.05
Current children cumulated vsize (KiB) 59432

[startup+162.301 s]
/proc/loadavg: 2.31 1.58 1.21 3/69 18807
/proc/meminfo: memFree=1678608/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=85696 CPUtime=306.58
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 18793 0 0 0 22429 8229 0 0 20 0 4 0 98712315 87752704 18616 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 21424 18616 70 163 0 21259 0
[pid=18803/tid=18804] ppid=18801 vsize=85696 CPUtime=50.09
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 13823 0 0 0 1067 3942 0 0 16 0 4 0 98712315 87752704 18616 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=85696 CPUtime=128.44
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 2252 0 0 0 10716 2128 0 0 15 0 4 0 98712315 87752704 18616 1992294400 134512640 135180984 4294956208 18446744073709551615 134523716 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=85696 CPUtime=128.03
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 2635 0 0 0 10645 2158 0 0 16 0 4 0 98712315 87752704 18616 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 306.58
Current children cumulated vsize (KiB) 85696

[startup+222.302 s]
/proc/loadavg: 2.17 1.67 1.27 3/69 18807
/proc/meminfo: memFree=1655696/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=113744 CPUtime=421.47
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 24397 0 0 0 31198 10949 0 0 20 0 4 0 98712315 116473856 24220 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 28436 24220 70 163 0 28271 0
[pid=18803/tid=18804] ppid=18801 vsize=113744 CPUtime=66.57
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 18315 0 0 0 1418 5239 0 0 16 0 4 0 98712315 116473856 24220 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=113744 CPUtime=177.54
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 2697 0 0 0 14921 2833 0 0 17 0 4 0 98712315 116473856 24220 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=113744 CPUtime=177.34
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3302 0 0 0 14858 2876 0 0 16 0 4 0 98712315 116473856 24220 1992294400 134512640 135180984 4294956208 18446744073709551615 134528677 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 421.47
Current children cumulated vsize (KiB) 113744

[startup+282.302 s]
/proc/loadavg: 2.39 1.82 1.34 3/69 18807
/proc/meminfo: memFree=1634640/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=137084 CPUtime=536.86
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 29694 0 0 0 40064 13622 0 0 20 0 4 0 98712315 140374016 29517 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 34271 29517 70 163 0 34106 0
[pid=18803/tid=18804] ppid=18801 vsize=137084 CPUtime=82.69
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 22443 0 0 0 1757 6512 0 0 16 0 4 0 98712315 140374016 29517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=137084 CPUtime=226.98
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 3261 0 0 0 19171 3527 0 0 16 0 4 0 98712315 140374016 29517 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=137084 CPUtime=227.16
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3907 0 0 0 19134 3582 0 0 16 0 4 0 98712315 140374016 29517 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 536.86
Current children cumulated vsize (KiB) 137084

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

[startup+307.101 s]
/proc/loadavg: 2.25 1.83 1.36 3/69 18807
/proc/meminfo: memFree=1626192/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=146788 CPUtime=584.77
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 31723 0 0 0 43873 14604 0 0 20 0 4 0 98712315 150310912 31546 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 36697 31546 70 163 0 36532 0
[pid=18803/tid=18804] ppid=18801 vsize=146788 CPUtime=88.57
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 24196 0 0 0 1884 6973 0 0 15 0 4 0 98712315 150310912 31546 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=146788 CPUtime=247.81
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 3501 0 0 0 21000 3781 0 0 17 0 4 0 98712315 150310912 31546 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=146788 CPUtime=248.37
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3943 0 0 0 20988 3849 0 0 17 0 4 0 98712315 150310912 31546 1992294400 134512640 135180984 4294956208 18446744073709551615 134528669 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 584.77
Current children cumulated vsize (KiB) 146788

[startup+313.507 s]
/proc/loadavg: 2.23 1.83 1.36 4/69 18807
/proc/meminfo: memFree=1624400/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=148396 CPUtime=597.12
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 32183 0 0 0 44829 14883 0 0 20 0 4 0 98712315 151957504 32006 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 37099 32006 70 163 0 36934 0
[pid=18803/tid=18804] ppid=18801 vsize=148396 CPUtime=90.21
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 24624 0 0 0 1917 7104 0 0 15 0 4 0 98712315 151957504 32006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=148396 CPUtime=253.29
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 3533 0 0 0 21473 3856 0 0 17 0 4 0 98712315 151957504 32006 1992294400 134512640 135180984 4294956208 18446744073709551615 134528731 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=148396 CPUtime=253.61
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3943 0 0 0 21438 3923 0 0 16 0 4 0 98712315 151957504 32006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 597.12
Current children cumulated vsize (KiB) 148396

[startup+319.902 s]
/proc/loadavg: 2.30 1.85 1.37 3/69 18807
/proc/meminfo: memFree=1622928/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=150524 CPUtime=609.46
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 32652 0 0 0 45781 15165 0 0 20 0 4 0 98712315 154136576 32475 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 37631 32475 70 163 0 37466 0
[pid=18803/tid=18804] ppid=18801 vsize=150524 CPUtime=91.91
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 25086 0 0 0 1955 7236 0 0 16 0 4 0 98712315 154136576 32475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=150524 CPUtime=258.55
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 3540 0 0 0 21929 3926 0 0 16 0 4 0 98712315 154136576 32475 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=150524 CPUtime=258.98
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3943 0 0 0 21896 4002 0 0 16 0 4 0 98712315 154136576 32475 1992294400 134512640 135180984 4294956208 18446744073709551615 134528543 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 609.46
Current children cumulated vsize (KiB) 150524

[startup+321.503 s]
/proc/loadavg: 2.27 1.85 1.37 4/69 18807
/proc/meminfo: memFree=1621904/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=151168 CPUtime=612.58
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 32802 0 0 0 46036 15222 0 0 20 0 4 0 98712315 154796032 32625 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 37792 32625 70 163 0 37627 0
[pid=18803/tid=18804] ppid=18801 vsize=151168 CPUtime=92.27
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 25236 0 0 0 1965 7262 0 0 15 0 4 0 98712315 154796032 32625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=18803/tid=18805] ppid=18801 vsize=151168 CPUtime=259.92
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 3540 0 0 0 22051 3941 0 0 16 0 4 0 98712315 154796032 32625 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 0 0 0
[pid=18803/tid=18806] ppid=18801 vsize=151168 CPUtime=260.38
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3943 0 0 0 22020 4018 0 0 17 0 4 0 98712315 154796032 32625 1992294400 134512640 135180984 4294956208 18446744073709551615 134528549 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 612.58
Current children cumulated vsize (KiB) 151168

[startup+322.307 s]
/proc/loadavg: 2.27 1.85 1.37 3/69 18807
/proc/meminfo: memFree=1621840/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=152192 CPUtime=614.14
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 32865 0 0 0 46157 15257 0 0 20 0 4 0 98712315 155844608 32688 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 38048 32688 70 163 0 37883 0
[pid=18803/tid=18804] ppid=18801 vsize=152192 CPUtime=92.48
/proc/18803/task/18804/stat : 18804 (satake) S 18801 18803 18739 0 -1 4194368 25299 0 0 0 1970 7278 0 0 15 0 4 0 98712315 155844608 32688 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=18803/tid=18805] ppid=18801 vsize=152192 CPUtime=260.59
/proc/18803/task/18805/stat : 18805 (satake) R 18801 18803 18739 0 -1 4194368 3540 0 0 0 22107 3952 0 0 17 0 4 0 98712315 155844608 32688 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=18803/tid=18806] ppid=18801 vsize=152192 CPUtime=261.05
/proc/18803/task/18806/stat : 18806 (satake) R 18801 18803 18739 0 -1 4194368 3943 0 0 0 22079 4026 0 0 16 0 4 0 98712315 155844608 32688 1992294400 134512640 135180984 4294956208 18446744073709551615 134528628 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 614.14
Current children cumulated vsize (KiB) 152192

[startup+322.702 s]
/proc/loadavg: 2.27 1.85 1.37 3/69 18807
/proc/meminfo: memFree=1621840/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=152192 CPUtime=614.79
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 32883 0 0 0 46211 15268 0 0 20 0 2 0 98712315 155844608 32706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 38048 32706 79 163 0 37883 0
[pid=18803/tid=18804] ppid=18801 vsize=152192 CPUtime=92.69
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 25308 0 0 0 1986 7283 0 0 17 0 2 0 98712315 155844608 32706 1992294400 134512640 135180984 4294956208 18446744073709551615 134672228 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 614.79
Current children cumulated vsize (KiB) 152192

[startup+322.902 s]
/proc/loadavg: 2.27 1.85 1.37 3/69 18807
/proc/meminfo: memFree=1621840/2055920 swapFree=4181400/4192956
[pid=18803] ppid=18801 vsize=152192 CPUtime=614.99
/proc/18803/stat : 18803 (satake) S 18801 18803 18739 0 -1 4194304 32883 0 0 0 46231 15268 0 0 20 0 2 0 98712315 155844608 32706 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/18803/statm: 38048 32706 79 163 0 37883 0
[pid=18803/tid=18804] ppid=18801 vsize=152192 CPUtime=92.89
/proc/18803/task/18804/stat : 18804 (satake) R 18801 18803 18739 0 -1 4194368 25308 0 0 0 2006 7283 0 0 17 0 2 0 98712315 155844608 32706 1992294400 134512640 135180984 4294956208 18446744073709551615 134666303 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 614.99
Current children cumulated vsize (KiB) 152192

Child status: 3
Real time (s): 322.998
CPU time (s): 615.1
CPU user time (s): 462.389
CPU system time (s): 152.711
CPU usage (%): 190.434
Max. virtual memory (cumulated for all children) (KiB): 152192


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 462.389
system time used= 152.711
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32883
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= 7131390
involuntary context switches= 6571617

runsolver used 0.373943 second user time and 0.903862 second system time

The end

Launcher Data 

Begin job on node87 at 2009-04-26 02:47:11
IDJOB=1725814
IDBENCH=24598
IDSOLVER=553
FILE ID=node87/1725814-1240706831
PBS_JOBID= 9186837
Free space on /tmp= 66420 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1725814-1240706831/watcher-1725814-1240706831 -o /tmp/evaluation-result-1725814-1240706831/solver-1725814-1240706831 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1725814-1240706831.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= ddc67b9b869c1d77b5458996a2e27751
RANDOM SEED=750623531

node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1753424 kB
Buffers:         32000 kB
Cached:         198948 kB
SwapCached:       5420 kB
Active:          67772 kB
Inactive:       171512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753424 kB
SwapTotal:     4192956 kB
SwapFree:      4181400 kB
Dirty:            1068 kB
Writeback:           0 kB
Mapped:          13416 kB
Slab:            49116 kB
Committed_AS:   344604 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66420 MiB
End job on node87 at 2009-04-26 02:52:34