Trace number 1718226

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.19 609.034

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications 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 variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

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-1718226-1240634788/watcher-1718226-1240634788 -o /tmp/evaluation-result-1718226-1240634788/solver-1718226-1240634788 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1718226-1240634788.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.56 1.68 1.43 2/64 19444
/proc/meminfo: memFree=1782896/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=1400 CPUtime=0
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 200 0 0 0 0 0 0 0 18 0 4 0 91507351 1433600 185 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 350 185 65 163 0 185 0
[pid=19444/tid=19445] ppid=19442 vsize=1400 CPUtime=0
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 91507351 1433600 186 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=1400 CPUtime=0
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 111 0 0 0 0 0 0 0 19 0 4 0 91507351 1433600 186 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=1400 CPUtime=0
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 91507351 1433600 187 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0379769 s]
/proc/loadavg: 1.56 1.68 1.43 2/64 19444
/proc/meminfo: memFree=1782896/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=2568 CPUtime=0.05
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 382 0 0 0 3 2 0 0 18 0 4 0 91507351 2629632 309 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 642 309 70 163 0 477 0
[pid=19444/tid=19445] ppid=19442 vsize=2568 CPUtime=0
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 33 0 0 0 0 0 0 0 17 0 4 0 91507351 2629632 310 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=2568 CPUtime=0.01
/proc/19444/task/19446/stat : 19446 (satake) S 19442 19444 19376 0 -1 4194368 137 0 0 0 1 0 0 0 16 0 4 0 91507351 2629632 310 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=2568 CPUtime=0.01
/proc/19444/task/19447/stat : 19447 (satake) S 19442 19444 19376 0 -1 4194368 130 0 0 0 1 0 0 0 17 0 4 0 91507351 2629632 310 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2568

[startup+0.103986 s]
/proc/loadavg: 1.56 1.68 1.43 2/64 19444
/proc/meminfo: memFree=1782896/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=2700 CPUtime=0.16
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 426 0 0 0 11 5 0 0 18 0 4 0 91507351 2764800 353 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 675 353 70 163 0 510 0
[pid=19444/tid=19445] ppid=19442 vsize=2700 CPUtime=0.02
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 46 0 0 0 0 2 0 0 17 0 4 0 91507351 2764800 353 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=2700 CPUtime=0.07
/proc/19444/task/19446/stat : 19446 (satake) S 19442 19444 19376 0 -1 4194368 152 0 0 0 6 1 0 0 17 0 4 0 91507351 2764800 353 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=2700 CPUtime=0.05
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 145 0 0 0 4 1 0 0 16 0 4 0 91507351 2764800 353 1992294400 134512640 135180984 4294956208 18446744073709551615 134528549 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 2700

[startup+0.302917 s]
/proc/loadavg: 1.56 1.68 1.43 2/64 19444
/proc/meminfo: memFree=1782896/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=2968 CPUtime=0.53
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 554 0 0 0 35 18 0 0 18 0 4 0 91507351 3039232 481 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 742 481 70 163 0 577 0
[pid=19444/tid=19445] ppid=19442 vsize=2968 CPUtime=0.09
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 77 0 0 0 1 8 0 0 16 0 4 0 91507351 3039232 481 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=2968 CPUtime=0.21
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 202 0 0 0 17 4 0 0 17 0 4 0 91507351 3039232 481 1992294400 134512640 135180984 4294956208 18446744073709551615 134518728 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=2968 CPUtime=0.19
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 192 0 0 0 15 4 0 0 16 0 4 0 91507351 3039232 481 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2968

[startup+0.702992 s]
/proc/loadavg: 1.56 1.68 1.43 2/64 19444
/proc/meminfo: memFree=1782896/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=3232 CPUtime=1.28
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 664 0 0 0 96 32 0 0 18 0 4 0 91507351 3309568 591 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 808 591 70 163 0 643 0
[pid=19444/tid=19445] ppid=19442 vsize=3232 CPUtime=0.19
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 99 0 0 0 3 16 0 0 16 0 4 0 91507351 3309568 591 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=3232 CPUtime=0.55
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 239 0 0 0 47 8 0 0 17 0 4 0 91507351 3309568 591 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=3232 CPUtime=0.51
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 243 0 0 0 44 7 0 0 16 0 4 0 91507351 3309568 591 1992294400 134512640 135180984 4294956208 18446744073709551615 134525152 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 3232

[startup+1.50514 s]
/proc/loadavg: 1.56 1.68 1.43 3/68 19448
/proc/meminfo: memFree=1780432/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=4520 CPUtime=2.78
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 799 0 0 0 212 66 0 0 18 0 4 0 91507351 4628480 726 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 1130 726 70 163 0 965 0
[pid=19444/tid=19445] ppid=19442 vsize=4520 CPUtime=0.4
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 148 0 0 0 8 32 0 0 17 0 4 0 91507351 4628480 726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=4520 CPUtime=1.21
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 267 0 0 0 104 17 0 0 15 0 4 0 91507351 4628480 726 1992294400 134512640 135180984 4294956208 18446744073709551615 134528438 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=4520 CPUtime=1.14
/proc/19444/task/19447/stat : 19447 (satake) S 19442 19444 19376 0 -1 4194368 301 0 0 0 99 15 0 0 16 0 4 0 91507351 4628480 726 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 4520

[startup+3.10145 s]
/proc/loadavg: 1.56 1.68 1.43 4/68 19448
/proc/meminfo: memFree=1779472/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=5312 CPUtime=5.83
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 1156 0 0 0 467 116 0 0 18 0 4 0 91507351 5439488 1083 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 1328 1083 70 163 0 1163 0
[pid=19444/tid=19445] ppid=19442 vsize=5312 CPUtime=0.75
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 231 0 0 0 15 60 0 0 19 0 4 0 91507351 5439488 1083 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=5312 CPUtime=2.58
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 395 0 0 0 229 29 0 0 16 0 4 0 91507351 5439488 1083 1992294400 134512640 135180984 4294956208 18446744073709551615 134527266 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=5312 CPUtime=2.48
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 447 0 0 0 222 26 0 0 16 0 4 0 91507351 5439488 1083 1992294400 134512640 135180984 4294956208 18446744073709551615 134528766 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 5312

[startup+6.30123 s]
/proc/loadavg: 1.67 1.70 1.44 3/68 19448
/proc/meminfo: memFree=1777808/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=6748 CPUtime=11.98
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 1437 0 0 0 974 224 0 0 18 0 4 0 91507351 6909952 1364 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 1687 1364 70 163 0 1522 0
[pid=19444/tid=19445] ppid=19442 vsize=6748 CPUtime=1.45
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 346 0 0 0 29 116 0 0 16 0 4 0 91507351 6909952 1364 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=6748 CPUtime=5.31
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 435 0 0 0 473 58 0 0 17 0 4 0 91507351 6909952 1364 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=6748 CPUtime=5.2
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 573 0 0 0 471 49 0 0 17 0 4 0 91507351 6909952 1364 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 6748

[startup+12.7014 s]
/proc/loadavg: 1.70 1.70 1.45 3/68 19448
/proc/meminfo: memFree=1775184/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=9356 CPUtime=24.39
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 2061 0 0 0 1983 456 0 0 18 0 4 0 91507351 9580544 1988 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 2339 1988 70 163 0 2174 0
[pid=19444/tid=19445] ppid=19442 vsize=9356 CPUtime=2.84
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 686 0 0 0 58 226 0 0 16 0 4 0 91507351 9580544 1988 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=9356 CPUtime=10.79
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 509 0 0 0 964 115 0 0 16 0 4 0 91507351 9580544 1988 1992294400 134512640 135180984 4294956208 18446744073709551615 134528636 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=9356 CPUtime=10.73
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 783 0 0 0 960 113 0 0 15 0 4 0 91507351 9580544 1988 1992294400 134512640 135180984 4294956208 18446744073709551615 134525350 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 9356

[startup+25.5027 s]
/proc/loadavg: 1.76 1.72 1.45 3/68 19448
/proc/meminfo: memFree=1771024/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=13260 CPUtime=49.25
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 3071 0 0 0 4030 895 0 0 18 0 4 0 91507351 13578240 2998 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 3315 2998 70 163 0 3150 0
[pid=19444/tid=19445] ppid=19442 vsize=13260 CPUtime=5.4
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 1269 0 0 0 107 433 0 0 15 0 4 0 91507351 13578240 2998 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=13260 CPUtime=21.91
/proc/19444/task/19446/stat : 19446 (satake) S 19442 19444 19376 0 -1 4194368 645 0 0 0 1965 226 0 0 16 0 4 0 91507351 13578240 2998 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=13260 CPUtime=21.91
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 1074 0 0 0 1957 234 0 0 17 0 4 0 91507351 13578240 2998 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (KiB) 13260

[startup+51.1025 s]
/proc/loadavg: 1.84 1.74 1.47 3/68 19448
/proc/meminfo: memFree=1764752/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=20800 CPUtime=99.25
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 4703 0 0 0 8268 1657 0 0 18 0 4 0 91507351 21299200 4630 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 5200 4630 70 163 0 5035 0
[pid=19444/tid=19445] ppid=19442 vsize=20800 CPUtime=9.9
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 2188 0 0 0 199 791 0 0 16 0 4 0 91507351 21299200 4630 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=20800 CPUtime=44.5
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 861 0 0 0 4017 433 0 0 16 0 4 0 91507351 21299200 4630 1992294400 134512640 135180984 4294956208 18446744073709551615 134520815 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=20800 CPUtime=44.83
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 1571 0 0 0 4051 432 0 0 16 0 4 0 91507351 21299200 4630 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 99.25
Current children cumulated vsize (KiB) 20800

[startup+102.306 s]
/proc/loadavg: 2.09 1.82 1.51 3/68 19448
/proc/meminfo: memFree=1753168/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=33040 CPUtime=199.75
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 7487 0 0 0 17009 2966 0 0 18 0 4 0 91507351 33832960 7414 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 8260 7414 70 163 0 8095 0
[pid=19444/tid=19445] ppid=19442 vsize=33040 CPUtime=17.66
/proc/19444/task/19445/stat : 19445 (satake) R 19442 19444 19376 0 -1 4194368 3905 0 0 0 368 1398 0 0 16 0 4 0 91507351 33832960 7414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=33040 CPUtime=90.84
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 1275 0 0 0 8299 785 0 0 17 0 4 0 91507351 33832960 7414 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=33040 CPUtime=91.23
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 2224 0 0 0 8341 782 0 0 17 0 4 0 91507351 33832960 7414 1992294400 134512640 135180984 4294956208 18446744073709551615 134528641 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.75
Current children cumulated vsize (KiB) 33040

[startup+162.302 s]
/proc/loadavg: 2.03 1.85 1.54 3/68 19448
/proc/meminfo: memFree=1740752/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=46484 CPUtime=317.92
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 10589 0 0 0 27513 4279 0 0 18 0 4 0 91507351 47599616 10516 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 11621 10516 70 163 0 11456 0
[pid=19444/tid=19445] ppid=19442 vsize=46484 CPUtime=25.36
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 5586 0 0 0 536 2000 0 0 16 0 4 0 91507351 47599616 10516 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=46484 CPUtime=146.44
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 1722 0 0 0 13488 1156 0 0 16 0 4 0 91507351 47599616 10516 1992294400 134512640 135180984 4294956208 18446744073709551615 134525517 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=46484 CPUtime=146.11
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 3198 0 0 0 13489 1122 0 0 17 0 4 0 91507351 47599616 10516 1992294400 134512640 135180984 4294956208 18446744073709551615 134520901 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.92
Current children cumulated vsize (KiB) 46484

[startup+222.302 s]
/proc/loadavg: 2.12 1.91 1.57 3/68 19448
/proc/meminfo: memFree=1733200/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=54280 CPUtime=436.53
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 12468 0 0 0 38285 5368 0 0 18 0 4 0 91507351 55582720 12395 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 13570 12395 70 163 0 13405 0
[pid=19444/tid=19445] ppid=19442 vsize=54280 CPUtime=31.8
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 6810 0 0 0 669 2511 0 0 16 0 4 0 91507351 55582720 12395 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=54280 CPUtime=202.5
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 1997 0 0 0 18799 1451 0 0 17 0 4 0 91507351 55582720 12395 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=54280 CPUtime=202.2
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 3578 0 0 0 18815 1405 0 0 17 0 4 0 91507351 55582720 12395 1992294400 134512640 135180984 4294956208 18446744073709551615 134523600 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.53
Current children cumulated vsize (KiB) 54280

[startup+282.302 s]
/proc/loadavg: 2.08 1.94 1.60 3/68 19448
/proc/meminfo: memFree=1723856/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=65296 CPUtime=555.21
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 14788 0 0 0 49082 6439 0 0 18 0 4 0 91507351 66863104 14715 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 16324 14715 70 163 0 16159 0
[pid=19444/tid=19445] ppid=19442 vsize=65296 CPUtime=38.07
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 8063 0 0 0 799 3008 0 0 15 0 4 0 91507351 66863104 14715 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=65296 CPUtime=258.55
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 2389 0 0 0 24122 1733 0 0 16 0 4 0 91507351 66863104 14715 1992294400 134512640 135180984 4294956208 18446744073709551615 134528232 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=65296 CPUtime=258.57
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 4253 0 0 0 24160 1697 0 0 17 0 4 0 91507351 66863104 14715 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 555.21
Current children cumulated vsize (KiB) 65296

[startup+342.301 s]
/proc/loadavg: 2.03 1.95 1.62 2/68 19448
/proc/meminfo: memFree=1716048/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=74028 CPUtime=673.71
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 16733 0 0 0 59761 7610 0 0 18 0 4 0 91507351 75804672 16660 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 18507 16660 70 163 0 18342 0
[pid=19444/tid=19445] ppid=19442 vsize=74028 CPUtime=44.98
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 9395 0 0 0 946 3552 0 0 16 0 4 0 91507351 75804672 16660 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=74028 CPUtime=314.43
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 2617 0 0 0 29410 2033 0 0 16 0 4 0 91507351 75804672 16660 1992294400 134512640 135180984 4294956208 18446744073709551615 134523789 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=74028 CPUtime=314.28
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 4638 0 0 0 29404 2024 0 0 17 0 4 0 91507351 75804672 16660 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 673.71
Current children cumulated vsize (KiB) 74028

[startup+402.302 s]
/proc/loadavg: 2.13 2.00 1.66 3/68 19448
/proc/meminfo: memFree=1704528/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=86696 CPUtime=791.8
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 19613 0 0 0 70032 9148 0 0 18 0 4 0 91507351 88776704 19540 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 21674 19540 70 163 0 21509 0
[pid=19444/tid=19445] ppid=19442 vsize=86696 CPUtime=54.08
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 11593 0 0 0 1139 4269 0 0 16 0 4 0 91507351 88776704 19540 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=19444/tid=19446] ppid=19442 vsize=86696 CPUtime=369.3
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 2813 0 0 0 34495 2435 0 0 17 0 4 0 91507351 88776704 19540 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=86696 CPUtime=368.4
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 5124 0 0 0 34397 2443 0 0 16 0 4 0 91507351 88776704 19540 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 791.8
Current children cumulated vsize (KiB) 86696

[startup+462.313 s]
/proc/loadavg: 2.05 2.00 1.68 4/68 19448
/proc/meminfo: memFree=1693968/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=98664 CPUtime=910.13
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 22250 0 0 0 80540 10473 0 0 18 0 4 0 91507351 101031936 22177 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 24666 22177 70 163 0 24501 0
[pid=19444/tid=19445] ppid=19442 vsize=98664 CPUtime=61.9
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 13280 0 0 0 1306 4884 0 0 16 0 4 0 91507351 101031936 22177 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=98664 CPUtime=424.83
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 3196 0 0 0 39706 2777 0 0 16 0 4 0 91507351 101031936 22177 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=98664 CPUtime=423.38
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 5691 0 0 0 39527 2811 0 0 16 0 4 0 91507351 101031936 22177 1992294400 134512640 135180984 4294956208 18446744073709551615 134526499 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 910.13
Current children cumulated vsize (KiB) 98664

[startup+522.302 s]
/proc/loadavg: 2.05 2.01 1.70 3/68 19448
/proc/meminfo: memFree=1684816/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=111452 CPUtime=1028.46
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 24522 0 0 0 91051 11795 0 0 18 0 4 0 91507351 114126848 24449 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 27863 24449 70 163 0 27698 0
[pid=19444/tid=19445] ppid=19442 vsize=111452 CPUtime=69.73
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 14691 0 0 0 1471 5502 0 0 15 0 4 0 91507351 114126848 24449 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=111452 CPUtime=480.34
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 3598 0 0 0 44905 3129 0 0 16 0 4 0 91507351 114126848 24449 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=111452 CPUtime=478.36
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 6150 0 0 0 44673 3163 0 0 17 0 4 0 91507351 114126848 24449 1992294400 134512640 135180984 4294956208 18446744073709551615 134526712 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1028.46
Current children cumulated vsize (KiB) 111452

[startup+582.301 s]
/proc/loadavg: 2.09 2.03 1.73 3/68 19448
/proc/meminfo: memFree=1676048/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=121520 CPUtime=1147.15
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 26698 0 0 0 101762 12953 0 0 18 0 4 0 91507351 124436480 26625 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 30380 26625 70 163 0 30215 0
[pid=19444/tid=19445] ppid=19442 vsize=121520 CPUtime=76.6
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 16082 0 0 0 1615 6045 0 0 16 0 4 0 91507351 124436480 26625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=121520 CPUtime=536.25
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 3938 0 0 0 50192 3433 0 0 17 0 4 0 91507351 124436480 26625 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=19444/tid=19447] ppid=19442 vsize=121520 CPUtime=534.29
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 6595 0 0 0 49955 3474 0 0 16 0 4 0 91507351 124436480 26625 1992294400 134512640 135180984 4294956208 18446744073709551615 134528252 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1147.15
Current children cumulated vsize (KiB) 121520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+609.003 s]
/proc/loadavg: 2.13 2.04 1.74 3/68 19448
/proc/meminfo: memFree=1673616/2055920 swapFree=4177552/4192956
[pid=19444] ppid=19442 vsize=125032 CPUtime=1200.15
/proc/19444/stat : 19444 (satake) S 19442 19444 19376 0 -1 4194304 27301 0 0 0 106647 13368 0 0 18 0 4 0 91507351 128032768 27228 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19444/statm: 31258 27228 70 163 0 31093 0
[pid=19444/tid=19445] ppid=19442 vsize=125032 CPUtime=79.05
/proc/19444/task/19445/stat : 19445 (satake) S 19442 19444 19376 0 -1 4194368 16529 0 0 0 1666 6239 0 0 16 0 4 0 91507351 128032768 27228 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=19444/tid=19446] ppid=19442 vsize=125032 CPUtime=561.52
/proc/19444/task/19446/stat : 19446 (satake) R 19442 19444 19376 0 -1 4194368 3951 0 0 0 52612 3540 0 0 17 0 4 0 91507351 128032768 27228 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=19444/tid=19447] ppid=19442 vsize=125032 CPUtime=559.56
/proc/19444/task/19447/stat : 19447 (satake) R 19442 19444 19376 0 -1 4194368 6738 0 0 0 52368 3588 0 0 17 0 4 0 91507351 128032768 27228 1992294400 134512640 135180984 4294956208 18446744073709551615 134518217 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 125032

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): 609.034
CPU time (s): 1200.19
CPU user time (s): 1066.49
CPU system time (s): 133.704
CPU usage (%): 197.065
Max. virtual memory (cumulated for all children) (KiB): 125032

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= 1066.49
system time used= 133.704
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27301
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= 7977979
involuntary context switches= 7597437

runsolver used 0.617906 second user time and 1.64075 second system time

The end

Launcher Data 

Begin job on node37 at 2009-04-25 06:46:28
IDJOB=1718226
IDBENCH=20472
IDSOLVER=553
FILE ID=node37/1718226-1240634788
PBS_JOBID= 9186422
Free space on /tmp= 66300 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1718226-1240634788/watcher-1718226-1240634788 -o /tmp/evaluation-result-1718226-1240634788/solver-1718226-1240634788 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1718226-1240634788.cnf 3 1200

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=356163453

node37.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	: 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.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:       1783376 kB
Buffers:         47468 kB
Cached:         164136 kB
SwapCached:      10280 kB
Active:          29732 kB
Inactive:       194332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783376 kB
SwapTotal:     4192956 kB
SwapFree:      4177552 kB
Dirty:             924 kB
Writeback:           0 kB
Mapped:          13496 kB
Slab:            34540 kB
Committed_AS:   383224 kB
PageTables:       1372 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= 66300 MiB
End job on node37 at 2009-04-25 06:56:39