Trace number 1720722

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-22? (TO) 1200.17 602.263

General information on the benchmark

Namemizh-sha0-35-3.cnf
MD5SUM41d0118c47af202f6c4d6c3e9e8bdfb7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark12.981
Satisfiable
(Un)Satisfiability was proved
Number of variables48689
Number of clauses204067
Sum of the clauses size609421
Maximum clause length4
Minimum clause length1
Number of clauses of size 1187
Number of clauses of size 284694
Number of clauses of size 336898
Number of clauses of size 482288
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1720722-1240659265/watcher-1720722-1240659265 -o /tmp/evaluation-result-1720722-1240659265/solver-1720722-1240659265 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1720722-1240659265.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.91 0.97 0.99 3/64 13730
/proc/meminfo: memFree=894032/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=5244 CPUtime=0
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 675 0 0 0 0 0 0 0 18 0 4 0 93961178 5369856 660 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 1311 667 65 163 0 1146 0
[pid=13730/tid=13731] ppid=13728 vsize=5244 CPUtime=0
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93961178 5369856 682 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=5244 CPUtime=0
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 323 0 0 0 0 0 0 0 19 0 4 0 93961178 5369856 690 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=5244 CPUtime=0
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 292 0 0 0 0 0 0 0 20 0 4 0 93961178 5369856 699 1992294400 134512640 135180984 4294956208 18446744073709551615 134706046 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0129781 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13730
/proc/meminfo: memFree=894032/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=11408 CPUtime=0.03
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 2499 0 0 0 2 1 0 0 18 0 4 0 93961178 11681792 2484 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 2852 2494 65 163 0 2687 0
[pid=13730/tid=13731] ppid=13728 vsize=11408 CPUtime=0
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93961178 11681792 2501 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=11540 CPUtime=0.01
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 1215 0 0 0 1 0 0 0 16 0 4 0 93961178 11816960 2509 1992294400 134512640 135180984 4294956208 18446744073709551615 134691935 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=11540 CPUtime=0
/proc/13730/task/13733/stat : 13733 (satake) S 13728 13730 13274 0 -1 4194368 1220 0 0 0 0 0 0 0 16 0 4 0 93961178 11816960 2517 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11408

[startup+0.127043 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13730
/proc/meminfo: memFree=894032/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=24072 CPUtime=0.24
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 5235 0 0 0 20 4 0 0 18 0 4 0 93961178 24649728 5202 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 6018 5202 65 163 0 5853 0
[pid=13730/tid=13731] ppid=13728 vsize=24072 CPUtime=0
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 93961178 24649728 5202 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=24072 CPUtime=0.11
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 2491 0 0 0 10 1 0 0 17 0 4 0 93961178 24649728 5203 1992294400 134512640 135180984 4294956208 18446744073709551615 134513592 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=24072 CPUtime=0.11
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 2655 0 0 0 9 2 0 0 16 0 4 0 93961178 24649728 5203 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 24072

[startup+0.301088 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13730
/proc/meminfo: memFree=894032/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=31104 CPUtime=0.58
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 8399 0 0 0 51 7 0 0 18 0 4 0 93961178 31850496 6366 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 7776 6366 70 163 0 7611 0
[pid=13730/tid=13731] ppid=13728 vsize=31104 CPUtime=0.01
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 849 0 0 0 1 0 0 0 16 0 4 0 93961178 31850496 6366 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=31104 CPUtime=0.27
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 3703 0 0 0 24 3 0 0 16 0 4 0 93961178 31850496 6366 1992294400 134512640 135180984 4294956208 18446744073709551615 134518670 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=31104 CPUtime=0.27
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 3764 0 0 0 24 3 0 0 16 0 4 0 93961178 31850496 6366 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 31104

[startup+0.70116 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 13730
/proc/meminfo: memFree=894032/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=31236 CPUtime=1.37
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 8495 0 0 0 123 14 0 0 18 0 4 0 93961178 31985664 6462 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 7809 6462 70 163 0 7644 0
[pid=13730/tid=13731] ppid=13728 vsize=31236 CPUtime=0.05
/proc/13730/task/13731/stat : 13731 (satake) R 13728 13730 13274 0 -1 4194368 853 0 0 0 2 3 0 0 17 0 4 0 93961178 31985664 6462 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=31236 CPUtime=0.66
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 3757 0 0 0 61 5 0 0 17 0 4 0 93961178 31985664 6462 1992294400 134512640 135180984 4294956208 18446744073709551615 134518582 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=31236 CPUtime=0.65
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 3802 0 0 0 60 5 0 0 16 0 4 0 93961178 31985664 6462 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 31236

[startup+1.50132 s]
/proc/loadavg: 0.91 0.97 0.99 4/68 13734
/proc/meminfo: memFree=867952/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=31656 CPUtime=2.93
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 8725 0 0 0 258 35 0 0 18 0 4 0 93961178 32415744 6692 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 7914 6692 70 163 0 7749 0
[pid=13730/tid=13731] ppid=13728 vsize=31656 CPUtime=0.17
/proc/13730/task/13731/stat : 13731 (satake) R 13728 13730 13274 0 -1 4194368 891 0 0 0 5 12 0 0 17 0 4 0 93961178 32415744 6692 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=31656 CPUtime=1.38
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 3844 0 0 0 127 11 0 0 16 0 4 0 93961178 32415744 6692 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=31656 CPUtime=1.35
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 3907 0 0 0 125 10 0 0 17 0 4 0 93961178 32415744 6692 1992294400 134512640 135180984 4294956208 18446744073709551615 134528815 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 31656

[startup+3.10163 s]
/proc/loadavg: 0.91 0.97 0.99 4/68 13734
/proc/meminfo: memFree=866480/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=34320 CPUtime=5.97
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 9155 0 0 0 503 94 0 0 18 0 4 0 93961178 35143680 7122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 8580 7122 70 163 0 8415 0
[pid=13730/tid=13731] ppid=13728 vsize=34320 CPUtime=0.56
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 1005 0 0 0 14 42 0 0 16 0 4 0 93961178 35143680 7122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=34320 CPUtime=2.75
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 3989 0 0 0 249 26 0 0 17 0 4 0 93961178 35143680 7122 1992294400 134512640 135180984 4294956208 18446744073709551615 134535628 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=34320 CPUtime=2.64
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 4078 0 0 0 239 25 0 0 17 0 4 0 93961178 35143680 7122 1992294400 134512640 135180984 4294956208 18446744073709551615 134520855 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 34320

[startup+6.30108 s]
/proc/loadavg: 1.00 0.98 0.99 4/68 13734
/proc/meminfo: memFree=863664/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=37256 CPUtime=12.16
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 9817 0 0 0 1016 200 0 0 18 0 4 0 93961178 38150144 7784 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 9314 7784 70 163 0 9149 0
[pid=13730/tid=13731] ppid=13728 vsize=37256 CPUtime=1.21
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 1153 0 0 0 27 94 0 0 16 0 4 0 93961178 38150144 7784 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=37256 CPUtime=5.54
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 4225 0 0 0 502 52 0 0 16 0 4 0 93961178 38150144 7784 1992294400 134512640 135180984 4294956208 18446744073709551615 134518869 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=37256 CPUtime=5.39
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 4356 0 0 0 486 53 0 0 16 0 4 0 93961178 38150144 7784 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 37256

[startup+12.7014 s]
/proc/loadavg: 1.08 1.00 1.00 4/68 13734
/proc/meminfo: memFree=856952/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=43912 CPUtime=24.4
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 11398 0 0 0 1967 473 0 0 18 0 4 0 93961178 44965888 9365 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 10978 9365 70 163 0 10813 0
[pid=13730/tid=13731] ppid=13728 vsize=43912 CPUtime=2.83
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 1596 0 0 0 63 220 0 0 16 0 4 0 93961178 44965888 9365 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=43912 CPUtime=10.78
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 4800 0 0 0 953 125 0 0 17 0 4 0 93961178 44965888 9365 1992294400 134512640 135180984 4294956208 18446744073709551615 134528209 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=43912 CPUtime=10.75
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 4919 0 0 0 949 126 0 0 17 0 4 0 93961178 44965888 9365 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.4
Current children cumulated vsize (KiB) 43912

[startup+25.5011 s]
/proc/loadavg: 1.28 1.05 1.02 3/68 13734
/proc/meminfo: memFree=848888/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=51012 CPUtime=49.52
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 13367 0 0 0 4105 847 0 0 18 0 4 0 93961178 52236288 11334 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 12753 11334 70 163 0 12588 0
[pid=13730/tid=13731] ppid=13728 vsize=51012 CPUtime=5.03
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 2097 0 0 0 108 395 0 0 16 0 4 0 93961178 52236288 11334 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=51012 CPUtime=22.09
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 5588 0 0 0 1986 223 0 0 17 0 4 0 93961178 52236288 11334 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=51012 CPUtime=22.38
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 5599 0 0 0 2010 228 0 0 17 0 4 0 93961178 52236288 11334 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.52
Current children cumulated vsize (KiB) 51012

[startup+51.1012 s]
/proc/loadavg: 1.59 1.14 1.04 3/68 13734
/proc/meminfo: memFree=833080/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=68120 CPUtime=100.51
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 17368 0 0 0 8949 1102 0 0 18 0 4 0 93961178 69754880 15335 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 17030 15335 70 163 0 16865 0
[pid=13730/tid=13731] ppid=13728 vsize=68120 CPUtime=6.53
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 2571 0 0 0 141 512 0 0 16 0 4 0 93961178 69754880 15335 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=68120 CPUtime=46.88
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 7350 0 0 0 4397 291 0 0 18 0 4 0 93961178 69754880 15335 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=68120 CPUtime=47.07
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 7364 0 0 0 4409 298 0 0 18 0 4 0 93961178 69754880 15335 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 100.51
Current children cumulated vsize (KiB) 68120

[startup+102.306 s]
/proc/loadavg: 1.87 1.28 1.10 3/68 13734
/proc/meminfo: memFree=797304/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=103056 CPUtime=202.66
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 26194 0 0 0 18961 1305 0 0 18 0 4 0 93961178 105529344 24161 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 25764 24161 70 163 0 25599 0
[pid=13730/tid=13731] ppid=13728 vsize=103056 CPUtime=7.67
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 2959 0 0 0 167 600 0 0 16 0 4 0 93961178 105529344 24161 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=103056 CPUtime=97.39
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 11642 0 0 0 9385 354 0 0 18 0 4 0 93961178 105529344 24161 1992294400 134512640 135180984 4294956208 18446744073709551615 134520662 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=103056 CPUtime=97.59
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 11510 0 0 0 9408 351 0 0 19 0 4 0 93961178 105529344 24161 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.66
Current children cumulated vsize (KiB) 103056

[startup+162.303 s]
/proc/loadavg: 1.95 1.41 1.15 3/68 13734
/proc/meminfo: memFree=761848/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=138156 CPUtime=322.35
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 35102 0 0 0 30729 1506 0 0 18 0 4 0 93961178 141471744 33069 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 34539 33069 70 163 0 34374 0
[pid=13730/tid=13731] ppid=13728 vsize=138156 CPUtime=8.75
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 3341 0 0 0 192 683 0 0 16 0 4 0 93961178 141471744 33069 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=138156 CPUtime=156.7
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 16334 0 0 0 15254 416 0 0 20 0 4 0 93961178 141471744 33069 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=138156 CPUtime=156.88
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 15344 0 0 0 15282 406 0 0 17 0 4 0 93961178 141471744 33069 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 322.35
Current children cumulated vsize (KiB) 138156

[startup+222.302 s]
/proc/loadavg: 1.98 1.52 1.20 3/68 13736
/proc/meminfo: memFree=730232/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=170312 CPUtime=442.05
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 42951 0 0 0 42513 1692 0 0 18 0 4 0 93961178 174399488 40918 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 42578 40918 70 163 0 42413 0
[pid=13730/tid=13731] ppid=13728 vsize=170312 CPUtime=9.81
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 3737 0 0 0 217 764 0 0 16 0 4 0 93961178 174399488 40918 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=170312 CPUtime=216.09
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 19986 0 0 0 21140 469 0 0 23 0 4 0 93961178 174399488 40918 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=170312 CPUtime=216.11
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 19145 0 0 0 21154 457 0 0 17 0 4 0 93961178 174399488 40918 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 442.05
Current children cumulated vsize (KiB) 170312

[startup+282.302 s]
/proc/loadavg: 1.99 1.60 1.25 3/68 13736
/proc/meminfo: memFree=701112/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=199700 CPUtime=561.77
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 50266 0 0 0 54391 1786 0 0 18 0 4 0 93961178 204492800 48233 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 49925 48233 70 163 0 49760 0
[pid=13730/tid=13731] ppid=13728 vsize=199700 CPUtime=10.28
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 3924 0 0 0 227 801 0 0 16 0 4 0 93961178 204492800 48233 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=199700 CPUtime=275.86
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 23791 0 0 0 27088 498 0 0 17 0 4 0 93961178 204492800 48233 1992294400 134512640 135180984 4294956208 18446744073709551615 134528923 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=199700 CPUtime=275.61
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 22468 0 0 0 27075 486 0 0 25 0 4 0 93961178 204492800 48233 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 561.77
Current children cumulated vsize (KiB) 199700

[startup+342.302 s]
/proc/loadavg: 1.99 1.67 1.29 3/68 13736
/proc/meminfo: memFree=673400/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=226580 CPUtime=681.5
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 57126 0 0 0 66306 1844 0 0 18 0 4 0 93961178 232017920 55093 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 56645 55093 70 163 0 56480 0
[pid=13730/tid=13731] ppid=13728 vsize=226580 CPUtime=10.56
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 4028 0 0 0 233 823 0 0 16 0 4 0 93961178 232017920 55093 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=226580 CPUtime=335.69
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 27508 0 0 0 33054 515 0 0 25 0 4 0 93961178 232017920 55093 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=226580 CPUtime=335.22
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 25507 0 0 0 33018 504 0 0 25 0 4 0 93961178 232017920 55093 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 681.5
Current children cumulated vsize (KiB) 226580

[startup+402.302 s]
/proc/loadavg: 1.99 1.73 1.33 3/68 13736
/proc/meminfo: memFree=647608/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=252804 CPUtime=801.23
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 63596 0 0 0 78194 1929 0 0 18 0 4 0 93961178 258871296 61563 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 63201 61563 70 163 0 63036 0
[pid=13730/tid=13731] ppid=13728 vsize=252804 CPUtime=10.98
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 4176 0 0 0 244 854 0 0 15 0 4 0 93961178 258871296 61563 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=13730/tid=13732] ppid=13728 vsize=252804 CPUtime=395.43
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 30792 0 0 0 38999 544 0 0 25 0 4 0 93961178 258871296 61563 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=252804 CPUtime=394.78
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 28545 0 0 0 38949 529 0 0 25 0 4 0 93961178 258871296 61563 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 801.23
Current children cumulated vsize (KiB) 252804

[startup+462.302 s]
/proc/loadavg: 1.99 1.77 1.37 3/68 13736
/proc/meminfo: memFree=622584/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=277476 CPUtime=920.95
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 69842 0 0 0 90072 2023 0 0 18 0 4 0 93961178 284135424 67809 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 69369 67809 70 163 0 69204 0
[pid=13730/tid=13731] ppid=13728 vsize=277476 CPUtime=11.47
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 4358 0 0 0 254 893 0 0 16 0 4 0 93961178 284135424 67809 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=277476 CPUtime=455.16
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 33754 0 0 0 44943 573 0 0 25 0 4 0 93961178 284135424 67809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=13730/tid=13733] ppid=13728 vsize=277476 CPUtime=454.3
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 31647 0 0 0 44874 556 0 0 25 0 4 0 93961178 284135424 67809 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 920.95
Current children cumulated vsize (KiB) 277476

[startup+522.301 s]
/proc/loadavg: 1.99 1.81 1.41 3/68 13736
/proc/meminfo: memFree=597944/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=301908 CPUtime=1040.66
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 76061 0 0 0 101897 2169 0 0 18 0 4 0 93961178 309153792 74028 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 75477 74028 70 163 0 75312 0
[pid=13730/tid=13731] ppid=13728 vsize=301908 CPUtime=12.23
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 4630 0 0 0 270 953 0 0 16 0 4 0 93961178 309153792 74028 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=301908 CPUtime=514.69
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 36642 0 0 0 50848 621 0 0 25 0 4 0 93961178 309153792 74028 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=301908 CPUtime=513.72
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 34706 0 0 0 50778 594 0 0 25 0 4 0 93961178 309153792 74028 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1040.66
Current children cumulated vsize (KiB) 301908

[startup+582.301 s]
/proc/loadavg: 1.99 1.84 1.44 3/68 13736
/proc/meminfo: memFree=574136/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=324824 CPUtime=1160.38
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 81935 0 0 0 113797 2241 0 0 18 0 4 0 93961178 332619776 79902 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 81206 79902 70 163 0 81041 0
[pid=13730/tid=13731] ppid=13728 vsize=324824 CPUtime=12.59
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 4765 0 0 0 278 981 0 0 16 0 4 0 93961178 332619776 79902 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=324824 CPUtime=574.47
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 38965 0 0 0 56801 646 0 0 25 0 4 0 93961178 332619776 79902 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=324824 CPUtime=573.3
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 38122 0 0 0 56717 613 0 0 25 0 4 0 93961178 332619776 79902 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1160.38
Current children cumulated vsize (KiB) 324824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+602.201 s]
/proc/loadavg: 1.99 1.85 1.46 3/68 13736
/proc/meminfo: memFree=566456/2055920 swapFree=4192956/4192956
[pid=13730] ppid=13728 vsize=332584 CPUtime=1200.09
/proc/13730/stat : 13730 (satake) S 13728 13730 13274 0 -1 4194304 83793 0 0 0 117745 2264 0 0 18 0 4 0 93961178 340566016 81760 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/13730/statm: 83146 81760 70 163 0 82981 0
[pid=13730/tid=13731] ppid=13728 vsize=332584 CPUtime=12.7
/proc/13730/task/13731/stat : 13731 (satake) S 13728 13730 13274 0 -1 4194368 4803 0 0 0 281 989 0 0 16 0 4 0 93961178 340566016 81760 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=13730/tid=13732] ppid=13728 vsize=332584 CPUtime=594.31
/proc/13730/task/13732/stat : 13732 (satake) R 13728 13730 13274 0 -1 4194368 39885 0 0 0 58777 654 0 0 25 0 4 0 93961178 340566016 81760 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=13730/tid=13733] ppid=13728 vsize=332584 CPUtime=593.06
/proc/13730/task/13733/stat : 13733 (satake) R 13728 13730 13274 0 -1 4194368 39022 0 0 0 58686 620 0 0 25 0 4 0 93961178 340566016 81760 1992294400 134512640 135180984 4294956208 18446744073709551615 134522604 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 332584

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 602.263
CPU time (s): 1200.17
CPU user time (s): 1177.47
CPU system time (s): 22.6995
CPU usage (%): 199.276
Max. virtual memory (cumulated for all children) (KiB): 332584

deleting IPC queue 0
deleting IPC queue 32769
deleting IPC queue 65538
deleting IPC queue 98307
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 196614
deleting IPC queue 229383
deleting IPC queue 262152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1177.47
system time used= 22.6995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83795
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= 1589685
involuntary context switches= 1551348

runsolver used 0.518921 second user time and 1.68674 second system time

The end

Launcher Data 

Begin job on node1 at 2009-04-25 13:34:25
IDJOB=1720722
IDBENCH=69622
IDSOLVER=553
FILE ID=node1/1720722-1240659265
PBS_JOBID= 9186530
Free space on /tmp= 66332 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-35-3.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1720722-1240659265/watcher-1720722-1240659265 -o /tmp/evaluation-result-1720722-1240659265/solver-1720722-1240659265 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1720722-1240659265.cnf 3 1200

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

MD5SUM BENCH= 41d0118c47af202f6c4d6c3e9e8bdfb7
RANDOM SEED=658850779

node1.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.259
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	: 5931.00
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.259
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        894512 kB
Buffers:         98940 kB
Cached:         953564 kB
SwapCached:          0 kB
Active:         193536 kB
Inactive:       872956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        894512 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4808 kB
Writeback:           0 kB
Mapped:          23756 kB
Slab:            80888 kB
Committed_AS:   306644 kB
PageTables:       1440 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= 66332 MiB
End job on node1 at 2009-04-25 13:44:29