Trace number 1728729

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.2 601.657

General information on the benchmark

Namecrafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
MD5SUM69151394f3e0e8838dc6693844061945
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables49153
Number of clauses324873
Sum of the clauses size1232169
Maximum clause length4
Minimum clause length1
Number of clauses of size 1257
Number of clauses of size 20
Number of clauses of size 366552
Number of clauses of size 4258064
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-1728729-1240740456/watcher-1728729-1240740456 -o /tmp/evaluation-result-1728729-1240740456/solver-1728729-1240740456 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1728729-1240740456.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: 1.00 1.00 1.00 3/64 23485
/proc/meminfo: memFree=1567400/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=5240 CPUtime=0
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 678 0 0 0 0 0 0 0 18 0 4 0 102078706 5365760 663 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 1310 669 65 163 0 1145 0
[pid=23485/tid=23486] ppid=23483 vsize=5240 CPUtime=0
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 102078706 5365760 686 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=5240 CPUtime=0
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 10 0 0 0 0 0 0 0 19 0 4 0 102078706 5365760 694 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=5240 CPUtime=0
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 618 0 0 0 0 0 0 0 20 0 4 0 102078706 5365760 703 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0921019 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23485
/proc/meminfo: memFree=1567400/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=35116 CPUtime=0.17
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 7597 0 0 0 11 6 0 0 18 0 4 0 102078706 35958784 7582 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 8779 7583 65 163 0 8614 0
[pid=23485/tid=23486] ppid=23483 vsize=35116 CPUtime=0
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 102078706 35958784 7583 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=35116 CPUtime=0.08
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 3737 0 0 0 5 3 0 0 16 0 4 0 102078706 35958784 7583 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=35116 CPUtime=0.08
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 3771 0 0 0 5 3 0 0 17 0 4 0 102078706 35958784 7583 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 35116

[startup+0.10202 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23485
/proc/meminfo: memFree=1567400/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=35380 CPUtime=0.19
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 7700 0 0 0 13 6 0 0 18 0 4 0 102078706 36229120 7685 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 8845 7686 65 163 0 8680 0
[pid=23485/tid=23486] ppid=23483 vsize=35380 CPUtime=0
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 102078706 36229120 7686 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=35380 CPUtime=0.09
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 3795 0 0 0 6 3 0 0 16 0 4 0 102078706 36229120 7686 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=35380 CPUtime=0.09
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 3816 0 0 0 6 3 0 0 17 0 4 0 102078706 36229120 7686 1992294400 134512640 135180984 4294956208 18446744073709551615 134534911 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35380

[startup+0.301053 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23485
/proc/meminfo: memFree=1567400/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=43240 CPUtime=0.58
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 9686 0 0 0 49 9 0 0 18 0 4 0 102078706 44277760 9671 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 10810 9672 65 163 0 10645 0
[pid=23485/tid=23486] ppid=23483 vsize=43240 CPUtime=0
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 102078706 44277760 9672 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=43240 CPUtime=0.28
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 4826 0 0 0 24 4 0 0 16 0 4 0 102078706 44277760 9672 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=43240 CPUtime=0.28
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 4771 0 0 0 24 4 0 0 16 0 4 0 102078706 44277760 9672 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 43240

[startup+0.701121 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 23485
/proc/meminfo: memFree=1567400/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=43728 CPUtime=1.37
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 13833 0 0 0 120 17 0 0 18 0 4 0 102078706 44777472 9726 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 10932 9726 68 163 0 10767 0
[pid=23485/tid=23486] ppid=23483 vsize=43728 CPUtime=0
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 867 0 0 0 0 0 0 0 17 0 4 0 102078706 44777472 9726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=43728 CPUtime=0.67
/proc/23485/task/23487/stat : 23487 (satake) S 23483 23485 23200 0 -1 4194368 6470 0 0 0 59 8 0 0 16 0 4 0 102078706 44777472 9726 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=43728 CPUtime=0.68
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 6413 0 0 0 60 8 0 0 16 0 4 0 102078706 44777472 9726 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 43728

[startup+1.50225 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 23489
/proc/meminfo: memFree=1527624/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=44520 CPUtime=2.96
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 14238 0 0 0 269 27 0 0 18 0 4 0 102078706 45588480 10131 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 11130 10131 70 163 0 10965 0
[pid=23485/tid=23486] ppid=23483 vsize=44520 CPUtime=0.06
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 883 0 0 0 2 4 0 0 16 0 4 0 102078706 45588480 10131 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=44520 CPUtime=1.43
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 6647 0 0 0 133 10 0 0 17 0 4 0 102078706 45588480 10131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=44520 CPUtime=1.43
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 6625 0 0 0 132 11 0 0 17 0 4 0 102078706 45588480 10131 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 44520

[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 1.00 3/68 23489
/proc/meminfo: memFree=1526088/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=46508 CPUtime=6.14
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 14637 0 0 0 564 50 0 0 18 0 4 0 102078706 47624192 10530 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 11627 10530 70 163 0 11462 0
[pid=23485/tid=23486] ppid=23483 vsize=46508 CPUtime=0.18
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 908 0 0 0 5 13 0 0 16 0 4 0 102078706 47624192 10530 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=46508 CPUtime=2.94
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 6876 0 0 0 278 16 0 0 17 0 4 0 102078706 47624192 10530 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=46508 CPUtime=2.98
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 6770 0 0 0 279 19 0 0 16 0 4 0 102078706 47624192 10530 1992294400 134512640 135180984 4294956208 18446744073709551615 134525422 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 46508

[startup+6.30183 s]
/proc/loadavg: 1.08 1.02 1.01 3/68 23489
/proc/meminfo: memFree=1523464/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=49816 CPUtime=12.45
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 15253 0 0 0 1137 108 0 0 18 0 4 0 102078706 51011584 11146 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 12454 11146 70 163 0 12289 0
[pid=23485/tid=23486] ppid=23483 vsize=49816 CPUtime=0.52
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 984 0 0 0 13 39 0 0 16 0 4 0 102078706 51011584 11146 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=49816 CPUtime=5.91
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 7157 0 0 0 559 32 0 0 17 0 4 0 102078706 51011584 11146 1992294400 134512640 135180984 4294956208 18446744073709551615 134524655 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=49816 CPUtime=6.01
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 7029 0 0 0 565 36 0 0 17 0 4 0 102078706 51011584 11146 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 49816

[startup+12.7029 s]
/proc/loadavg: 1.15 1.03 1.01 3/68 23489
/proc/meminfo: memFree=1519944/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=52488 CPUtime=25.19
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 16046 0 0 0 2330 189 0 0 18 0 4 0 102078706 53747712 11939 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 13122 11939 70 163 0 12957 0
[pid=23485/tid=23486] ppid=23483 vsize=52488 CPUtime=0.99
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 1091 0 0 0 22 77 0 0 16 0 4 0 102078706 53747712 11939 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=52488 CPUtime=12.01
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 7470 0 0 0 1149 52 0 0 16 0 4 0 102078706 53747712 11939 1992294400 134512640 135180984 4294956208 18446744073709551615 134528775 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=52488 CPUtime=12.17
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 7402 0 0 0 1158 59 0 0 17 0 4 0 102078706 53747712 11939 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 52488

[startup+25.5019 s]
/proc/loadavg: 1.34 1.08 1.02 3/68 23489
/proc/meminfo: memFree=1513160/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=59228 CPUtime=50.69
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 17744 0 0 0 4761 308 0 0 18 0 4 0 102078706 60649472 13637 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 14807 13637 70 163 0 14642 0
[pid=23485/tid=23486] ppid=23483 vsize=59228 CPUtime=1.67
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 1304 0 0 0 39 128 0 0 15 0 4 0 102078706 60649472 13637 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=59228 CPUtime=24.43
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 8204 0 0 0 2356 87 0 0 16 0 4 0 102078706 60649472 13637 1992294400 134512640 135180984 4294956208 18446744073709551615 134531561 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=59228 CPUtime=24.57
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 8153 0 0 0 2365 92 0 0 18 0 4 0 102078706 60649472 13637 1992294400 134512640 135180984 4294956208 18446744073709551615 134518255 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 59228

[startup+51.1012 s]
/proc/loadavg: 1.56 1.15 1.05 3/68 23489
/proc/meminfo: memFree=1501256/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=71600 CPUtime=101.73
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 20787 0 0 0 9687 486 0 0 18 0 4 0 102078706 73318400 16680 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 17900 16680 70 163 0 17735 0
[pid=23485/tid=23486] ppid=23483 vsize=71600 CPUtime=2.72
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 1583 0 0 0 64 208 0 0 16 0 4 0 102078706 73318400 16680 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=71600 CPUtime=49.44
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 9630 0 0 0 4808 136 0 0 17 0 4 0 102078706 73318400 16680 1992294400 134512640 135180984 4294956208 18446744073709551615 134525228 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=71600 CPUtime=49.55
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 9491 0 0 0 4814 141 0 0 18 0 4 0 102078706 73318400 16680 1992294400 134512640 135180984 4294956208 18446744073709551615 134519925 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 71600

[startup+102.306 s]
/proc/loadavg: 1.81 1.28 1.10 3/68 23489
/proc/meminfo: memFree=1480392/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=91044 CPUtime=203.83
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 25847 0 0 0 19577 806 0 0 18 0 4 0 102078706 93229056 21740 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 22761 21740 70 163 0 22596 0
[pid=23485/tid=23486] ppid=23483 vsize=91044 CPUtime=4.59
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 2108 0 0 0 105 354 0 0 16 0 4 0 102078706 93229056 21740 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=91044 CPUtime=99.57
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 12090 0 0 0 9739 218 0 0 18 0 4 0 102078706 93229056 21740 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=91044 CPUtime=99.65
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 11566 0 0 0 9732 233 0 0 21 0 4 0 102078706 93229056 21740 1992294400 134512640 135180984 4294956208 18446744073709551615 134520863 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.83
Current children cumulated vsize (KiB) 91044

[startup+162.302 s]
/proc/loadavg: 1.98 1.42 1.16 3/68 23489
/proc/meminfo: memFree=1458952/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=113952 CPUtime=323.51
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 31229 0 0 0 31293 1058 0 0 18 0 4 0 102078706 116686848 27122 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 28488 27122 70 163 0 28323 0
[pid=23485/tid=23486] ppid=23483 vsize=113952 CPUtime=6.12
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 2505 0 0 0 141 471 0 0 15 0 4 0 102078706 116686848 27122 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=113952 CPUtime=158.65
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 14353 0 0 0 15579 286 0 0 25 0 4 0 102078706 116686848 27122 1992294400 134512640 135180984 4294956208 18446744073709551615 134524651 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=113952 CPUtime=158.73
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 14288 0 0 0 15572 301 0 0 25 0 4 0 102078706 116686848 27122 1992294400 134512640 135180984 4294956208 18446744073709551615 134522617 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 323.51
Current children cumulated vsize (KiB) 113952

[startup+222.302 s]
/proc/loadavg: 2.06 1.54 1.21 3/68 23489
/proc/meminfo: memFree=1436488/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=136836 CPUtime=443.23
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 36816 0 0 0 43147 1176 0 0 18 0 4 0 102078706 140120064 32709 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 34209 32709 70 163 0 34044 0
[pid=23485/tid=23486] ppid=23483 vsize=136836 CPUtime=6.78
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 2734 0 0 0 158 520 0 0 16 0 4 0 102078706 140120064 32709 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=136836 CPUtime=218.21
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 16734 0 0 0 21503 318 0 0 25 0 4 0 102078706 140120064 32709 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=136836 CPUtime=218.23
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 17265 0 0 0 21486 337 0 0 25 0 4 0 102078706 140120064 32709 1992294400 134512640 135180984 4294956208 18446744073709551615 134528465 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 443.23
Current children cumulated vsize (KiB) 136836

[startup+282.301 s]
/proc/loadavg: 2.02 1.62 1.26 3/68 23489
/proc/meminfo: memFree=1417480/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=156616 CPUtime=562.97
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 41634 0 0 0 55019 1278 0 0 18 0 4 0 102078706 160374784 37527 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 39154 37527 70 163 0 38989 0
[pid=23485/tid=23486] ppid=23483 vsize=156616 CPUtime=7.35
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 2905 0 0 0 170 565 0 0 16 0 4 0 102078706 160374784 37527 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=156616 CPUtime=277.92
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 19143 0 0 0 27443 349 0 0 25 0 4 0 102078706 160374784 37527 1992294400 134512640 135180984 4294956208 18446744073709551615 134524611 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=156616 CPUtime=277.69
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 19503 0 0 0 27406 363 0 0 25 0 4 0 102078706 160374784 37527 1992294400 134512640 135180984 4294956208 18446744073709551615 134525230 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 562.97
Current children cumulated vsize (KiB) 156616

[startup+342.303 s]
/proc/loadavg: 2.01 1.69 1.30 3/68 23489
/proc/meminfo: memFree=1400520/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=172400 CPUtime=682.71
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 45774 0 0 0 66871 1400 0 0 18 0 4 0 102078706 176537600 41667 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 43100 41667 70 163 0 42935 0
[pid=23485/tid=23486] ppid=23483 vsize=172400 CPUtime=8.06
/proc/23485/task/23486/stat : 23486 (satake) R 23483 23485 23200 0 -1 4194368 3112 0 0 0 188 618 0 0 16 0 4 0 102078706 176537600 41667 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=172400 CPUtime=337.48
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 21512 0 0 0 33366 382 0 0 25 0 4 0 102078706 176537600 41667 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=172400 CPUtime=337.15
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 21067 0 0 0 33316 399 0 0 25 0 4 0 102078706 176537600 41667 1992294400 134512640 135180984 4294956208 18446744073709551615 134527257 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 172400

[startup+402.302 s]
/proc/loadavg: 2.00 1.74 1.34 3/68 23489
/proc/meminfo: memFree=1383944/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=189328 CPUtime=802.44
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 49938 0 0 0 78749 1495 0 0 18 0 4 0 102078706 193871872 45831 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 47332 45831 70 163 0 47167 0
[pid=23485/tid=23486] ppid=23483 vsize=189328 CPUtime=8.59
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 3261 0 0 0 199 660 0 0 15 0 4 0 102078706 193871872 45831 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=189328 CPUtime=396.97
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 23405 0 0 0 39290 407 0 0 25 0 4 0 102078706 193871872 45831 1992294400 134512640 135180984 4294956208 18446744073709551615 134532508 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23485/tid=23488] ppid=23483 vsize=189328 CPUtime=396.85
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 23189 0 0 0 39258 427 0 0 25 0 4 0 102078706 193871872 45831 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.44
Current children cumulated vsize (KiB) 189328

[startup+462.302 s]
/proc/loadavg: 2.03 1.80 1.38 3/68 23489
/proc/meminfo: memFree=1368328/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=204444 CPUtime=922.17
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 53821 0 0 0 90626 1591 0 0 18 0 4 0 102078706 209350656 49714 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 51111 49714 70 163 0 50946 0
[pid=23485/tid=23486] ppid=23483 vsize=204444 CPUtime=9.15
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 3430 0 0 0 215 700 0 0 16 0 4 0 102078706 209350656 49714 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23485/tid=23487] ppid=23483 vsize=204444 CPUtime=456.56
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 24982 0 0 0 45224 432 0 0 16 0 4 0 102078706 209350656 49714 1992294400 134512640 135180984 4294956208 18446744073709551615 134522706 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=204444 CPUtime=456.43
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 25326 0 0 0 45186 457 0 0 20 0 4 0 102078706 209350656 49714 1992294400 134512640 135180984 4294956208 18446744073709551615 134523775 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 922.17
Current children cumulated vsize (KiB) 204444

[startup+522.301 s]
/proc/loadavg: 2.01 1.83 1.42 3/68 23489
/proc/meminfo: memFree=1346696/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=226188 CPUtime=1041.89
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 59264 0 0 0 102485 1704 0 0 18 0 4 0 102078706 231616512 55157 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 56547 55157 70 163 0 56382 0
[pid=23485/tid=23486] ppid=23483 vsize=226188 CPUtime=9.76
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 3651 0 0 0 230 746 0 0 16 0 4 0 102078706 231616512 55157 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=226188 CPUtime=516.19
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 27583 0 0 0 51156 463 0 0 25 0 4 0 102078706 231616512 55157 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=226188 CPUtime=515.92
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 27947 0 0 0 51099 493 0 0 25 0 4 0 102078706 231616512 55157 1992294400 134512640 135180984 4294956208 18446744073709551615 134519901 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1041.89
Current children cumulated vsize (KiB) 226188

[startup+582.303 s]
/proc/loadavg: 2.00 1.86 1.45 3/68 23489
/proc/meminfo: memFree=1325576/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=247404 CPUtime=1161.61
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 64514 0 0 0 114357 1804 0 0 18 0 4 0 102078706 253341696 60407 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 61851 60407 70 163 0 61686 0
[pid=23485/tid=23486] ppid=23483 vsize=247404 CPUtime=10.31
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 3824 0 0 0 241 790 0 0 16 0 4 0 102078706 253341696 60407 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=247404 CPUtime=575.69
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 29831 0 0 0 57078 491 0 0 25 0 4 0 102078706 253341696 60407 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=247404 CPUtime=575.6
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 30776 0 0 0 57037 523 0 0 25 0 4 0 102078706 253341696 60407 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1161.61
Current children cumulated vsize (KiB) 247404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.603 s]
/proc/loadavg: 2.00 1.87 1.46 3/68 23489
/proc/meminfo: memFree=1321096/2055920 swapFree=4181132/4192956
[pid=23485] ppid=23483 vsize=250804 CPUtime=1200.14
/proc/23485/stat : 23485 (satake) S 23483 23485 23200 0 -1 4194304 65559 0 0 0 118187 1827 0 0 18 0 4 0 102078706 256823296 61452 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23485/statm: 62701 61452 70 163 0 62536 0
[pid=23485/tid=23486] ppid=23483 vsize=250804 CPUtime=10.44
/proc/23485/task/23486/stat : 23486 (satake) S 23483 23485 23200 0 -1 4194368 3868 0 0 0 245 799 0 0 16 0 4 0 102078706 256823296 61452 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23485/tid=23487] ppid=23483 vsize=250804 CPUtime=594.84
/proc/23485/task/23487/stat : 23487 (satake) R 23483 23485 23200 0 -1 4194368 30360 0 0 0 58988 496 0 0 25 0 4 0 102078706 256823296 61452 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23485/tid=23488] ppid=23483 vsize=250804 CPUtime=594.84
/proc/23485/task/23488/stat : 23488 (satake) R 23483 23485 23200 0 -1 4194368 31248 0 0 0 58954 530 0 0 25 0 4 0 102078706 256823296 61452 1992294400 134512640 135180984 4294956208 18446744073709551615 134522609 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 250804

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): 601.657
CPU time (s): 1200.2
CPU user time (s): 1181.89
CPU system time (s): 18.3092
CPU usage (%): 199.483
Max. virtual memory (cumulated for all children) (KiB): 250804

deleting IPC queue 294912
deleting IPC queue 327681
deleting IPC queue 360450
deleting IPC queue 393219
deleting IPC queue 425988
deleting IPC queue 458757
deleting IPC queue 491526
deleting IPC queue 524295
deleting IPC queue 557064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1181.89
system time used= 18.3092
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65561
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= 1584885
involuntary context switches= 1572789

runsolver used 0.547916 second user time and 1.65375 second system time

The end

Launcher Data 

Begin job on node26 at 2009-04-26 12:07:37
IDJOB=1728729
IDBENCH=24683
IDSOLVER=553
FILE ID=node26/1728729-1240740456
PBS_JOBID= 9186965
Free space on /tmp= 66100 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1728729-1240740456/watcher-1728729-1240740456 -o /tmp/evaluation-result-1728729-1240740456/solver-1728729-1240740456 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1728729-1240740456.cnf 3 1200

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

MD5SUM BENCH= 69151394f3e0e8838dc6693844061945
RANDOM SEED=1588028305

node26.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.261
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.261
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:       1567880 kB
Buffers:         50020 kB
Cached:         360584 kB
SwapCached:       5692 kB
Active:          93516 kB
Inactive:       325272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1567880 kB
SwapTotal:     4192956 kB
SwapFree:      4181132 kB
Dirty:            8928 kB
Writeback:           0 kB
Mapped:          13564 kB
Slab:            55368 kB
Committed_AS:   359384 kB
PageTables:       1368 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= 66100 MiB
End job on node26 at 2009-04-26 12:17:41