Trace number 1731644

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.21 626.245

General information on the benchmark

Namecrafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
MD5SUM3d4fadc8af17bc65dbe7fef013825ed5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark248.946
Satisfiable
(Un)Satisfiability was proved
Number of variables744
Number of clauses2464
Sum of the clauses size6432
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2960
Number of clauses of size 31504
Number of clauses of size 40
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-1731644-1240772962/watcher-1731644-1240772962 -o /tmp/evaluation-result-1731644-1240772962/solver-1731644-1240772962 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1731644-1240772962.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.99 0.97 0.99 3/64 32141
/proc/meminfo: memFree=1832784/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=1392 CPUtime=0
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 4 0 105330066 1425408 183 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 348 183 68 163 0 183 0
[pid=32141/tid=32142] ppid=32139 vsize=1392 CPUtime=0
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 105330066 1425408 183 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=1392 CPUtime=0
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 65 0 0 0 0 0 0 0 19 0 4 0 105330066 1425408 183 1992294400 134512640 135180984 4294956208 18446744073709551615 134522986 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=1392 CPUtime=0
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 43 0 0 0 0 0 0 0 19 0 4 0 105330066 1425408 183 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0819911 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 32141
/proc/meminfo: memFree=1832784/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=2544 CPUtime=0.12
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 263 0 0 0 7 5 0 0 18 0 4 0 105330066 2605056 248 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 636 248 70 163 0 471 0
[pid=32141/tid=32142] ppid=32139 vsize=2544 CPUtime=0.02
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 26 0 0 0 0 2 0 0 17 0 4 0 105330066 2605056 248 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=2544 CPUtime=0.04
/proc/32141/task/32143/stat : 32143 (satake) S 32139 32141 31949 0 -1 4194368 82 0 0 0 3 1 0 0 16 0 4 0 105330066 2605056 248 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=2544 CPUtime=0.03
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 72 0 0 0 2 1 0 0 16 0 4 0 105330066 2605056 248 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 2544

[startup+0.102499 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 32141
/proc/meminfo: memFree=1832784/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=2544 CPUtime=0.15
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 276 0 0 0 9 6 0 0 18 0 4 0 105330066 2605056 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 636 261 70 163 0 471 0
[pid=32141/tid=32142] ppid=32139 vsize=2544 CPUtime=0.04
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 30 0 0 0 1 3 0 0 17 0 4 0 105330066 2605056 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=2544 CPUtime=0.05
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 84 0 0 0 4 1 0 0 16 0 4 0 105330066 2605056 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134526203 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=2544 CPUtime=0.05
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 79 0 0 0 4 1 0 0 16 0 4 0 105330066 2605056 261 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 2544

[startup+0.301536 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 32141
/proc/meminfo: memFree=1832784/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=2808 CPUtime=0.5
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 354 0 0 0 34 16 0 0 18 0 4 0 105330066 2875392 339 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 702 339 70 163 0 537 0
[pid=32141/tid=32142] ppid=32139 vsize=2808 CPUtime=0.1
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 56 0 0 0 2 8 0 0 17 0 4 0 105330066 2875392 339 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=2808 CPUtime=0.18
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 109 0 0 0 15 3 0 0 17 0 4 0 105330066 2875392 339 1992294400 134512640 135180984 4294956208 18446744073709551615 134525822 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=2808 CPUtime=0.19
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 106 0 0 0 15 4 0 0 16 0 4 0 105330066 2875392 339 1992294400 134512640 135180984 4294956208 18446744073709551615 134522975 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2808

[startup+0.701612 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 32141
/proc/meminfo: memFree=1832784/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=2940 CPUtime=1.23
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 445 0 0 0 87 36 0 0 18 0 4 0 105330066 3010560 430 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 735 430 70 163 0 570 0
[pid=32141/tid=32142] ppid=32139 vsize=2940 CPUtime=0.23
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 105 0 0 0 5 18 0 0 16 0 4 0 105330066 3010560 430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=2940 CPUtime=0.5
/proc/32141/task/32143/stat : 32143 (satake) S 32139 32141 31949 0 -1 4194368 126 0 0 0 42 8 0 0 16 0 4 0 105330066 3010560 430 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=2940 CPUtime=0.48
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 131 0 0 0 39 9 0 0 17 0 4 0 105330066 3010560 430 1992294400 134512640 135180984 4294956208 18446744073709551615 134518580 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 2940

[startup+1.50176 s]
/proc/loadavg: 0.99 0.97 0.99 4/68 32145
/proc/meminfo: memFree=1831088/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=3072 CPUtime=2.64
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 576 0 0 0 189 75 0 0 18 0 4 0 105330066 3145728 561 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 768 561 70 163 0 603 0
[pid=32141/tid=32142] ppid=32139 vsize=3072 CPUtime=0.48
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 203 0 0 0 10 38 0 0 16 0 4 0 105330066 3145728 561 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=3072 CPUtime=1.09
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 144 0 0 0 90 19 0 0 16 0 4 0 105330066 3145728 561 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=3072 CPUtime=1.05
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 146 0 0 0 88 17 0 0 17 0 4 0 105330066 3145728 561 1992294400 134512640 135180984 4294956208 18446744073709551615 134523655 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 3072

[startup+3.10225 s]
/proc/loadavg: 1.15 1.00 1.01 4/68 32145
/proc/meminfo: memFree=1830192/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=4360 CPUtime=5.61
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 780 0 0 0 417 144 0 0 18 0 4 0 105330066 4464640 765 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 1090 765 70 163 0 925 0
[pid=32141/tid=32142] ppid=32139 vsize=4360 CPUtime=0.94
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 334 0 0 0 22 72 0 0 18 0 4 0 105330066 4464640 765 1992294400 134512640 135180984 4294956208 18446744073709551615 134580603 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=4360 CPUtime=2.42
/proc/32141/task/32143/stat : 32143 (satake) S 32139 32141 31949 0 -1 4194368 184 0 0 0 204 38 0 0 16 0 4 0 105330066 4464640 765 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=4360 CPUtime=2.22
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 179 0 0 0 189 33 0 0 15 0 4 0 105330066 4464640 765 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 4360

[startup+6.30184 s]
/proc/loadavg: 1.15 1.00 1.01 4/68 32145
/proc/meminfo: memFree=1828272/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=5796 CPUtime=11.47
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 1224 0 0 0 850 297 0 0 18 0 4 0 105330066 5935104 1209 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 1449 1209 70 163 0 1284 0
[pid=32141/tid=32142] ppid=32139 vsize=5796 CPUtime=1.92
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 645 0 0 0 42 150 0 0 15 0 4 0 105330066 5935104 1209 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=5796 CPUtime=4.93
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 238 0 0 0 417 76 0 0 17 0 4 0 105330066 5935104 1209 1992294400 134512640 135180984 4294956208 18446744073709551615 134528866 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=5796 CPUtime=4.59
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 258 0 0 0 390 69 0 0 15 0 4 0 105330066 5935104 1209 1992294400 134512640 135180984 4294956208 18446744073709551615 134524595 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 5796

[startup+12.7018 s]
/proc/loadavg: 1.28 1.04 1.02 3/68 32145
/proc/meminfo: memFree=1825456/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=9164 CPUtime=23.49
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 1885 0 0 0 1762 587 0 0 18 0 4 0 105330066 9383936 1870 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 2291 1870 70 163 0 2126 0
[pid=32141/tid=32142] ppid=32139 vsize=9164 CPUtime=3.73
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 1118 0 0 0 80 293 0 0 15 0 4 0 105330066 9383936 1870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=9164 CPUtime=10.05
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 327 0 0 0 851 154 0 0 17 0 4 0 105330066 9383936 1870 1992294400 134512640 135180984 4294956208 18446744073709551615 134521128 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=9164 CPUtime=9.68
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 357 0 0 0 829 139 0 0 16 0 4 0 105330066 9383936 1870 1992294400 134512640 135180984 4294956208 18446744073709551615 134520035 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.49
Current children cumulated vsize (KiB) 9164

[startup+25.5014 s]
/proc/loadavg: 1.47 1.08 1.03 3/68 32145
/proc/meminfo: memFree=1820272/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=13892 CPUtime=47.64
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 3144 0 0 0 3627 1137 0 0 18 0 4 0 105330066 14225408 3129 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 3473 3129 70 163 0 3308 0
[pid=32141/tid=32142] ppid=32139 vsize=13892 CPUtime=7.08
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 1988 0 0 0 151 557 0 0 15 0 4 0 105330066 14225408 3129 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=13892 CPUtime=20.52
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 557 0 0 0 1755 297 0 0 16 0 4 0 105330066 14225408 3130 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=13892 CPUtime=20.02
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 516 0 0 0 1720 282 0 0 16 0 4 0 105330066 14225408 3130 1992294400 134512640 135180984 4294956208 18446744073709551615 134526206 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.64
Current children cumulated vsize (KiB) 13892

[startup+51.1011 s]
/proc/loadavg: 1.79 1.19 1.07 3/68 32145
/proc/meminfo: memFree=1810672/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=24752 CPUtime=95.76
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 5550 0 0 0 7319 2257 0 0 18 0 4 0 105330066 25346048 5535 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 6188 5535 70 163 0 6023 0
[pid=32141/tid=32142] ppid=32139 vsize=24752 CPUtime=13.91
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 3688 0 0 0 299 1092 0 0 16 0 4 0 105330066 25346048 5535 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=24752 CPUtime=41.25
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 891 0 0 0 3533 592 0 0 17 0 4 0 105330066 25346048 5535 1992294400 134512640 135180984 4294956208 18446744073709551615 134528411 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=24752 CPUtime=40.59
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 888 0 0 0 3487 572 0 0 17 0 4 0 105330066 25346048 5535 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.76
Current children cumulated vsize (KiB) 24752

[startup+102.307 s]
/proc/loadavg: 2.18 1.39 1.14 4/68 32145
/proc/meminfo: memFree=1793328/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=44476 CPUtime=193.21
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 9804 0 0 0 14972 4349 0 0 18 0 4 0 105330066 45543424 9789 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 11119 9789 70 163 0 10954 0
[pid=32141/tid=32142] ppid=32139 vsize=44476 CPUtime=26.7
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 6685 0 0 0 571 2099 0 0 15 0 4 0 105330066 45543424 9789 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=44476 CPUtime=83.5
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 1488 0 0 0 7210 1140 0 0 17 0 4 0 105330066 45543424 9789 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=44476 CPUtime=82.98
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 1548 0 0 0 7190 1108 0 0 16 0 4 0 105330066 45543424 9789 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.21
Current children cumulated vsize (KiB) 44476

[startup+162.302 s]
/proc/loadavg: 2.34 1.56 1.21 3/68 32145
/proc/meminfo: memFree=1774704/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=66104 CPUtime=307.71
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 14503 0 0 0 24068 6703 0 0 18 0 4 0 105330066 67690496 14488 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 16526 14488 70 163 0 16361 0
[pid=32141/tid=32142] ppid=32139 vsize=66104 CPUtime=40.89
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 10058 0 0 0 873 3216 0 0 15 0 4 0 105330066 67690496 14488 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=66104 CPUtime=133.61
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 2112 0 0 0 11606 1755 0 0 16 0 4 0 105330066 67690496 14488 1992294400 134512640 135180984 4294956208 18446744073709551615 134528674 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=66104 CPUtime=133.19
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 2250 0 0 0 11588 1731 0 0 17 0 4 0 105330066 67690496 14488 1992294400 134512640 135180984 4294956208 18446744073709551615 134530765 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 307.71
Current children cumulated vsize (KiB) 66104

[startup+222.303 s]
/proc/loadavg: 2.35 1.71 1.28 3/68 32145
/proc/meminfo: memFree=1756656/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=87812 CPUtime=422.51
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 18997 0 0 0 33230 9021 0 0 18 0 4 0 105330066 89919488 18982 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 21953 18982 70 163 0 21788 0
[pid=32141/tid=32142] ppid=32139 vsize=87812 CPUtime=54.86
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 13421 0 0 0 1171 4315 0 0 16 0 4 0 105330066 89919488 18982 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=87812 CPUtime=184.16
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 2659 0 0 0 16051 2365 0 0 17 0 4 0 105330066 89919488 18982 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=87812 CPUtime=183.48
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 2834 0 0 0 16007 2341 0 0 16 0 4 0 105330066 89919488 18982 1992294400 134512640 135180984 4294956208 18446744073709551615 134520804 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 422.51
Current children cumulated vsize (KiB) 87812

[startup+282.303 s]
/proc/loadavg: 2.32 1.80 1.34 3/68 32145
/proc/meminfo: memFree=1739888/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=106496 CPUtime=537.92
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 23155 0 0 0 42523 11269 0 0 18 0 4 0 105330066 109051904 23140 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 26624 23140 70 163 0 26459 0
[pid=32141/tid=32142] ppid=32139 vsize=106496 CPUtime=68.22
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 16343 0 0 0 1440 5382 0 0 15 0 4 0 105330066 109051904 23140 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=106496 CPUtime=235.09
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 3165 0 0 0 20549 2960 0 0 16 0 4 0 105330066 109051904 23140 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=106496 CPUtime=234.59
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 3564 0 0 0 20533 2926 0 0 16 0 4 0 105330066 109051904 23140 1992294400 134512640 135180984 4294956208 18446744073709551615 134528576 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 537.92
Current children cumulated vsize (KiB) 106496

[startup+342.302 s]
/proc/loadavg: 2.27 1.88 1.39 3/68 32145
/proc/meminfo: memFree=1723440/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=125204 CPUtime=653.3
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 27271 0 0 0 51903 13427 0 0 18 0 4 0 105330066 128208896 27256 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 31301 27256 70 163 0 31136 0
[pid=32141/tid=32142] ppid=32139 vsize=125204 CPUtime=81.12
/proc/32141/task/32142/stat : 32142 (satake) R 32139 32141 31949 0 -1 4194368 19275 0 0 0 1712 6400 0 0 16 0 4 0 105330066 128208896 27256 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=125204 CPUtime=286.43
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 3830 0 0 0 25126 3517 0 0 16 0 4 0 105330066 128208896 27256 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=125204 CPUtime=285.72
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 4083 0 0 0 25064 3508 0 0 16 0 4 0 105330066 128208896 27256 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 653.3
Current children cumulated vsize (KiB) 125204

[startup+402.302 s]
/proc/loadavg: 2.14 1.91 1.43 3/68 32145
/proc/meminfo: memFree=1706608/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=146552 CPUtime=768.5
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 31479 0 0 0 61106 15744 0 0 18 0 4 0 105330066 150069248 31464 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 36638 31464 70 163 0 36473 0
[pid=32141/tid=32142] ppid=32139 vsize=146552 CPUtime=95.01
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 22359 0 0 0 1997 7504 0 0 16 0 4 0 105330066 150069248 31464 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=146552 CPUtime=337.32
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 4505 0 0 0 29610 4122 0 0 16 0 4 0 105330066 150069248 31464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=146552 CPUtime=336.15
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 4532 0 0 0 29498 4117 0 0 17 0 4 0 105330066 150069248 31464 1992294400 134512640 135180984 4294956208 18446744073709551615 134528600 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 768.5
Current children cumulated vsize (KiB) 146552

[startup+462.301 s]
/proc/loadavg: 2.25 1.99 1.49 3/68 32145
/proc/meminfo: memFree=1689392/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=165320 CPUtime=883.92
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 35760 0 0 0 70409 17983 0 0 18 0 4 0 105330066 169287680 35745 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 41330 35745 70 163 0 41165 0
[pid=32141/tid=32142] ppid=32139 vsize=165320 CPUtime=108.31
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 25409 0 0 0 2279 8552 0 0 16 0 4 0 105330066 169287680 35745 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=32141/tid=32143] ppid=32139 vsize=165320 CPUtime=388.49
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 5154 0 0 0 34127 4722 0 0 16 0 4 0 105330066 169287680 35745 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 1 0 0
[pid=32141/tid=32144] ppid=32139 vsize=165320 CPUtime=387.12
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 5114 0 0 0 34003 4709 0 0 16 0 4 0 105330066 169287680 35745 1992294400 134512640 135180984 4294956208 18446744073709551615 134522715 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 883.92
Current children cumulated vsize (KiB) 165320

[startup+522.301 s]
/proc/loadavg: 2.10 1.99 1.51 4/68 32145
/proc/meminfo: memFree=1673008/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=185348 CPUtime=999.39
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 39868 0 0 0 79769 20170 0 0 18 0 4 0 105330066 189796352 39853 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 46337 39853 70 163 0 46172 0
[pid=32141/tid=32142] ppid=32139 vsize=185348 CPUtime=121.33
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 28366 0 0 0 2544 9589 0 0 15 0 4 0 105330066 189796352 39853 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=185348 CPUtime=439.77
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 5750 0 0 0 38677 5300 0 0 17 0 4 0 105330066 189796352 39853 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=185348 CPUtime=438.28
/proc/32141/task/32144/stat : 32144 (satake) S 32139 32141 31949 0 -1 4194368 5669 0 0 0 38548 5280 0 0 17 0 4 0 105330066 189796352 39853 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 999.39
Current children cumulated vsize (KiB) 185348

[startup+582.302 s]
/proc/loadavg: 2.22 2.03 1.56 3/68 32145
/proc/meminfo: memFree=1657264/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=203184 CPUtime=1115.31
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 43735 0 0 0 89278 22253 0 0 18 0 4 0 105330066 208060416 43720 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 50796 43720 70 163 0 50631 0
[pid=32141/tid=32142] ppid=32139 vsize=203184 CPUtime=133.73
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 31023 0 0 0 2800 10573 0 0 16 0 4 0 105330066 208060416 43720 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=203184 CPUtime=491.58
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 6401 0 0 0 43308 5850 0 0 17 0 4 0 105330066 208060416 43720 1992294400 134512640 135180984 4294956208 18446744073709551615 134527255 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=203184 CPUtime=489.99
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 6228 0 0 0 43170 5829 0 0 15 0 4 0 105330066 208060416 43720 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1115.31
Current children cumulated vsize (KiB) 203184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+626.201 s]
/proc/loadavg: 2.19 2.04 1.58 3/68 32145
/proc/meminfo: memFree=1646000/2055920 swapFree=4181320/4192956
[pid=32141] ppid=32139 vsize=222300 CPUtime=1200.16
/proc/32141/stat : 32141 (satake) S 32139 32141 31949 0 -1 4194304 46493 0 0 0 96231 23785 0 0 18 0 4 0 105330066 227635200 46478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/32141/statm: 55575 46478 70 163 0 55410 0
[pid=32141/tid=32142] ppid=32139 vsize=222300 CPUtime=142.88
/proc/32141/task/32142/stat : 32142 (satake) S 32139 32141 31949 0 -1 4194368 32968 0 0 0 2982 11306 0 0 16 0 4 0 105330066 227635200 46478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32143] ppid=32139 vsize=222300 CPUtime=529.59
/proc/32141/task/32143/stat : 32143 (satake) R 32139 32141 31949 0 -1 4194368 6835 0 0 0 46707 6252 0 0 17 0 4 0 105330066 227635200 46478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=32141/tid=32144] ppid=32139 vsize=222300 CPUtime=527.66
/proc/32141/task/32144/stat : 32144 (satake) R 32139 32141 31949 0 -1 4194368 6607 0 0 0 46540 6226 0 0 17 0 4 0 105330066 227635200 46478 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (KiB) 222300

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): 626.245
CPU time (s): 1200.21
CPU user time (s): 962.325
CPU system time (s): 237.886
CPU usage (%): 191.652
Max. virtual memory (cumulated for all children) (KiB): 222300

deleting IPC queue 1769472
deleting IPC queue 1802241
deleting IPC queue 1835010
deleting IPC queue 1867779
deleting IPC queue 1900548
deleting IPC queue 1933317
deleting IPC queue 1966086
deleting IPC queue 1998855
deleting IPC queue 2031624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 962.325
system time used= 237.886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46494
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= 10375798
involuntary context switches= 9449943

runsolver used 0.626904 second user time and 1.79673 second system time

The end

Launcher Data 

Begin job on node7 at 2009-04-26 21:09:22
IDJOB=1731644
IDBENCH=24755
IDSOLVER=553
FILE ID=node7/1731644-1240772962
PBS_JOBID= 9187212
Free space on /tmp= 66204 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest02-Mat26.sat05-457.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1731644-1240772962/watcher-1731644-1240772962 -o /tmp/evaluation-result-1731644-1240772962/solver-1731644-1240772962 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1731644-1240772962.cnf 3 1200

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

MD5SUM BENCH= 3d4fadc8af17bc65dbe7fef013825ed5
RANDOM SEED=1439582500

node7.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.256
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.256
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:       1833200 kB
Buffers:         31484 kB
Cached:         125056 kB
SwapCached:       5504 kB
Active:          22492 kB
Inactive:       141956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833200 kB
SwapTotal:     4192956 kB
SwapFree:      4181320 kB
Dirty:             792 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            44188 kB
Committed_AS:   726188 kB
PageTables:       1444 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= 66200 MiB
End job on node7 at 2009-04-26 21:19:50