Trace number 1727775

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 606.231

General information on the benchmark

Namecrafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
MD5SUMcd51741c2df34af4fdb8becaf8b3fc51
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 variables2935
Number of clauses18753
Sum of the clauses size133299
Maximum clause length13
Minimum clause length1
Number of clauses of size 156
Number of clauses of size 2526
Number of clauses of size 32382
Number of clauses of size 4501
Number of clauses of size 5678
Number of clauses of size over 514610

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-1727775-1240728808/watcher-1727775-1240728808 -o /tmp/evaluation-result-1727775-1240728808/solver-1727775-1240728808 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1727775-1240728808.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/65 23678
/proc/meminfo: memFree=1562152/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=3208 CPUtime=0
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 523 0 0 0 0 0 0 0 20 0 4 0 100910911 3284992 508 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 802 509 65 163 0 637 0
[pid=23678/tid=23679] ppid=23676 vsize=3208 CPUtime=0
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 7 0 0 0 0 0 0 0 21 0 4 0 100910911 3284992 509 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=3208 CPUtime=0
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 284 0 0 0 0 0 0 0 21 0 4 0 100910911 3284992 510 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=3208 CPUtime=0
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 151 0 0 0 0 0 0 0 21 0 4 0 100910911 3284992 510 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0593181 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23678
/proc/meminfo: memFree=1562152/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=4884 CPUtime=0.1
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 1209 0 0 0 9 1 0 0 20 0 4 0 100910911 5001216 840 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 1221 840 70 163 0 1056 0
[pid=23678/tid=23679] ppid=23676 vsize=4884 CPUtime=0
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 60 0 0 0 0 0 0 0 18 0 4 0 100910911 5001216 840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=4884 CPUtime=0.04
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 509 0 0 0 4 0 0 0 16 0 4 0 100910911 5001216 840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=4884 CPUtime=0.04
/proc/23678/task/23681/stat : 23681 (satake) S 23676 23678 23412 0 -1 4194368 557 0 0 0 4 0 0 0 17 0 4 0 100910911 5001216 840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 4884

[startup+0.102291 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23678
/proc/meminfo: memFree=1562152/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=4884 CPUtime=0.16
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 1239 0 0 0 11 5 0 0 20 0 4 0 100910911 5001216 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 1221 870 70 163 0 1056 0
[pid=23678/tid=23679] ppid=23676 vsize=4884 CPUtime=0.02
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 68 0 0 0 0 2 0 0 17 0 4 0 100910911 5001216 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=4884 CPUtime=0.05
/proc/23678/task/23680/stat : 23680 (satake) S 23676 23678 23412 0 -1 4194368 517 0 0 0 4 1 0 0 16 0 4 0 100910911 5001216 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=4884 CPUtime=0.07
/proc/23678/task/23681/stat : 23681 (satake) S 23676 23678 23412 0 -1 4194368 571 0 0 0 6 1 0 0 16 0 4 0 100910911 5001216 870 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 4884

[startup+0.301417 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23678
/proc/meminfo: memFree=1562152/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=5280 CPUtime=0.48
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 1387 0 0 0 27 21 0 0 20 0 4 0 100910911 5406720 1018 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 1320 1018 70 163 0 1155 0
[pid=23678/tid=23679] ppid=23676 vsize=5280 CPUtime=0.12
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 100 0 0 0 2 10 0 0 17 0 4 0 100910911 5406720 1018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=5280 CPUtime=0.14
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 564 0 0 0 9 5 0 0 16 0 4 0 100910911 5406720 1018 1992294400 134512640 135180984 4294956208 18446744073709551615 134528411 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=5280 CPUtime=0.19
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 640 0 0 0 14 5 0 0 17 0 4 0 100910911 5406720 1018 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 5280

[startup+0.701462 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 23678
/proc/meminfo: memFree=1562152/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=6964 CPUtime=1.17
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 1689 0 0 0 69 48 0 0 20 0 4 0 100910911 7131136 1320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 1741 1320 70 163 0 1576 0
[pid=23678/tid=23679] ppid=23676 vsize=6964 CPUtime=0.3
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 167 0 0 0 6 24 0 0 17 0 4 0 100910911 7131136 1320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=6964 CPUtime=0.36
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 650 0 0 0 24 12 0 0 16 0 4 0 100910911 7131136 1321 1992294400 134512640 135180984 4294956208 18446744073709551615 134528644 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=6964 CPUtime=0.48
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 790 0 0 0 38 10 0 0 16 0 4 0 100910911 7131136 1321 1992294400 134512640 135180984 4294956208 18446744073709551615 134675767 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 6964

[startup+1.50155 s]
/proc/loadavg: 1.08 1.02 1.01 3/69 23682
/proc/meminfo: memFree=1556232/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=9072 CPUtime=2.6
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 2209 0 0 0 163 97 0 0 20 0 4 0 100910911 9289728 1840 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 2268 1840 70 163 0 2103 0
[pid=23678/tid=23679] ppid=23676 vsize=9072 CPUtime=0.61
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 302 0 0 0 12 49 0 0 17 0 4 0 100910911 9289728 1840 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=9072 CPUtime=0.86
/proc/23678/task/23680/stat : 23680 (satake) S 23676 23678 23412 0 -1 4194368 800 0 0 0 62 24 0 0 16 0 4 0 100910911 9289728 1840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=9072 CPUtime=1.1
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 1024 0 0 0 87 23 0 0 17 0 4 0 100910911 9289728 1840 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 9072

[startup+3.10173 s]
/proc/loadavg: 1.08 1.02 1.01 4/69 23682
/proc/meminfo: memFree=1553480/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=10524 CPUtime=5.59
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 2735 0 0 0 379 180 0 0 20 0 4 0 100910911 10776576 2366 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 2631 2366 70 163 0 2466 0
[pid=23678/tid=23679] ppid=23676 vsize=10524 CPUtime=1.12
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 462 0 0 0 24 88 0 0 15 0 4 0 100910911 10776576 2366 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=10524 CPUtime=2.06
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 989 0 0 0 159 47 0 0 15 0 4 0 100910911 10776576 2366 1992294400 134512640 135180984 4294956208 18446744073709551615 134525235 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=10524 CPUtime=2.39
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 1201 0 0 0 195 44 0 0 16 0 4 0 100910911 10776576 2366 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 10524

[startup+6.30209 s]
/proc/loadavg: 1.31 1.07 1.02 4/69 23682
/proc/meminfo: memFree=1550664/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=13700 CPUtime=11.6
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 3450 0 0 0 815 345 0 0 20 0 4 0 100910911 14028800 3081 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 3425 3081 70 163 0 3260 0
[pid=23678/tid=23679] ppid=23676 vsize=13700 CPUtime=2.09
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 781 0 0 0 43 166 0 0 16 0 4 0 100910911 14028800 3081 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=13700 CPUtime=4.52
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 1180 0 0 0 359 93 0 0 16 0 4 0 100910911 14028800 3081 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=13700 CPUtime=4.97
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 1406 0 0 0 412 85 0 0 16 0 4 0 100910911 14028800 3081 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 13700

[startup+12.7018 s]
/proc/loadavg: 1.37 1.08 1.03 3/69 23682
/proc/meminfo: memFree=1546248/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=17440 CPUtime=23.87
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 4339 0 0 0 1772 615 0 0 20 0 4 0 100910911 17858560 3970 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 4360 3970 70 163 0 4195 0
[pid=23678/tid=23679] ppid=23676 vsize=17440 CPUtime=3.74
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 1243 0 0 0 79 295 0 0 16 0 4 0 100910911 17858560 3970 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=17440 CPUtime=9.75
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 1440 0 0 0 806 169 0 0 16 0 4 0 100910911 17858560 3970 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=17440 CPUtime=10.35
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 1573 0 0 0 885 150 0 0 16 0 4 0 100910911 17858560 3970 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.87
Current children cumulated vsize (KiB) 17440

[startup+25.5021 s]
/proc/loadavg: 1.46 1.11 1.04 3/69 23682
/proc/meminfo: memFree=1541192/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=23036 CPUtime=48.49
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 5639 0 0 0 3710 1139 0 0 20 0 4 0 100910911 23588864 5270 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 5759 5270 70 163 0 5594 0
[pid=23678/tid=23679] ppid=23676 vsize=23036 CPUtime=6.87
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 2039 0 0 0 145 542 0 0 16 0 4 0 100910911 23588864 5270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=23036 CPUtime=20.32
/proc/23678/task/23680/stat : 23680 (satake) S 23676 23678 23412 0 -1 4194368 1756 0 0 0 1717 315 0 0 15 0 4 0 100910911 23588864 5270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=23036 CPUtime=21.3
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 1761 0 0 0 1848 282 0 0 15 0 4 0 100910911 23588864 5270 1992294400 134512640 135180984 4294956208 18446744073709551615 134527501 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 48.49
Current children cumulated vsize (KiB) 23036

[startup+51.1022 s]
/proc/loadavg: 1.87 1.24 1.08 3/69 23682
/proc/meminfo: memFree=1531784/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=33508 CPUtime=98.61
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 7994 0 0 0 7911 1950 0 0 20 0 4 0 100910911 34312192 7625 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 8377 7625 70 163 0 8212 0
[pid=23678/tid=23679] ppid=23676 vsize=33508 CPUtime=11.69
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 3405 0 0 0 249 920 0 0 16 0 4 0 100910911 34312192 7625 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=33508 CPUtime=42.83
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 2351 0 0 0 3739 544 0 0 17 0 4 0 100910911 34312192 7625 1992294400 134512640 135180984 4294956208 18446744073709551615 134519923 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=33508 CPUtime=44.07
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 2155 0 0 0 3922 485 0 0 16 0 4 0 100910911 34312192 7625 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 98.61
Current children cumulated vsize (KiB) 33508

[startup+102.307 s]
/proc/loadavg: 2.05 1.39 1.14 3/69 23682
/proc/meminfo: memFree=1519688/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=46316 CPUtime=199.53
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 10944 0 0 0 16640 3313 0 0 20 0 4 0 100910911 47427584 10575 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 11579 10575 70 163 0 11414 0
[pid=23678/tid=23679] ppid=23676 vsize=46316 CPUtime=19.65
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 5493 0 0 0 415 1550 0 0 15 0 4 0 100910911 47427584 10575 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=46316 CPUtime=88.82
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 2763 0 0 0 7932 950 0 0 17 0 4 0 100910911 47427584 10575 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=46316 CPUtime=91.03
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 2605 0 0 0 8292 811 0 0 16 0 4 0 100910911 47427584 10575 1992294400 134512640 135180984 4294956208 18446744073709551615 134528685 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 199.53
Current children cumulated vsize (KiB) 46316

[startup+162.303 s]
/proc/loadavg: 2.08 1.51 1.19 3/69 23682
/proc/meminfo: memFree=1506888/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=61384 CPUtime=318.07
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 14164 0 0 0 27089 4718 0 0 20 0 4 0 100910911 62857216 13795 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 15346 13795 70 163 0 15181 0
[pid=23678/tid=23679] ppid=23676 vsize=61384 CPUtime=27.94
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 7665 0 0 0 594 2200 0 0 15 0 4 0 100910911 62857216 13795 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=61384 CPUtime=143.66
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 3393 0 0 0 12996 1370 0 0 17 0 4 0 100910911 62857216 13795 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=61384 CPUtime=146.44
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 3023 0 0 0 13498 1146 0 0 17 0 4 0 100910911 62857216 13795 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 318.07
Current children cumulated vsize (KiB) 61384

[startup+222.301 s]
/proc/loadavg: 2.08 1.61 1.25 3/69 23682
/proc/meminfo: memFree=1497544/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=71180 CPUtime=436.82
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 16454 0 0 0 37713 5969 0 0 20 0 4 0 100910911 72888320 16085 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 17795 16085 70 163 0 17630 0
[pid=23678/tid=23679] ppid=23676 vsize=71180 CPUtime=35.16
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 9428 0 0 0 738 2778 0 0 15 0 4 0 100910911 72888320 16085 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=71180 CPUtime=199.26
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 3721 0 0 0 18176 1750 0 0 17 0 4 0 100910911 72888320 16085 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=71180 CPUtime=202.37
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 3222 0 0 0 18797 1440 0 0 17 0 4 0 100910911 72888320 16085 1992294400 134512640 135180984 4294956208 18446744073709551615 134528633 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 436.82
Current children cumulated vsize (KiB) 71180

[startup+282.31 s]
/proc/loadavg: 2.09 1.70 1.30 3/69 23682
/proc/meminfo: memFree=1489672/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=81288 CPUtime=555.91
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 18458 0 0 0 48726 6865 0 0 20 0 4 0 100910911 83238912 18089 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 20322 18089 70 163 0 20157 0
[pid=23678/tid=23679] ppid=23676 vsize=81288 CPUtime=40.4
/proc/23678/task/23679/stat : 23679 (satake) R 23676 23678 23412 0 -1 4194368 10756 0 0 0 848 3192 0 0 16 0 4 0 100910911 83238912 18089 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=81288 CPUtime=256.06
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 3996 0 0 0 23588 2018 0 0 16 0 4 0 100910911 83238912 18089 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=81288 CPUtime=259.44
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 3623 0 0 0 24290 1654 0 0 16 0 4 0 100910911 83238912 18089 1992294400 134512640 135180984 4294956208 18446744073709551615 134528425 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 555.91
Current children cumulated vsize (KiB) 81288

[startup+342.301 s]
/proc/loadavg: 2.03 1.75 1.34 3/69 23682
/proc/meminfo: memFree=1481672/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=90412 CPUtime=675.14
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 20411 0 0 0 59792 7722 0 0 20 0 4 0 100910911 92581888 20042 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 22603 20042 70 163 0 22438 0
[pid=23678/tid=23679] ppid=23676 vsize=90412 CPUtime=45.49
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 12035 0 0 0 963 3586 0 0 15 0 4 0 100910911 92581888 20042 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=90412 CPUtime=312.87
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 4588 0 0 0 29002 2285 0 0 17 0 4 0 100910911 92581888 20042 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=90412 CPUtime=316.75
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 3705 0 0 0 29825 1850 0 0 17 0 4 0 100910911 92581888 20042 1992294400 134512640 135180984 4294956208 18446744073709551615 134524585 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 675.14
Current children cumulated vsize (KiB) 90412

[startup+402.301 s]
/proc/loadavg: 2.01 1.79 1.38 3/69 23682
/proc/meminfo: memFree=1474632/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=97884 CPUtime=794.4
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 22222 0 0 0 70971 8469 0 0 20 0 4 0 100910911 100233216 21853 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 24471 21853 70 163 0 24306 0
[pid=23678/tid=23679] ppid=23676 vsize=97884 CPUtime=49.86
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 13085 0 0 0 1057 3929 0 0 15 0 4 0 100910911 100233216 21853 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=97884 CPUtime=370.26
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 4778 0 0 0 34516 2510 0 0 16 0 4 0 100910911 100233216 21853 1992294400 134512640 135180984 4294956208 18446744073709551615 134525465 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=97884 CPUtime=374.27
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 4276 0 0 0 35398 2029 0 0 16 0 4 0 100910911 100233216 21853 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 794.4
Current children cumulated vsize (KiB) 97884

[startup+462.302 s]
/proc/loadavg: 2.08 1.84 1.42 3/69 23688
/proc/meminfo: memFree=1468488/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=104844 CPUtime=913.81
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 23676 0 0 0 82284 9097 0 0 20 0 4 0 100910911 107360256 23307 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 26211 23307 70 163 0 26046 0
[pid=23678/tid=23679] ppid=23676 vsize=104844 CPUtime=53.53
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 13986 0 0 0 1136 4217 0 0 15 0 4 0 100910911 107360256 23307 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=104844 CPUtime=428.16
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 5018 0 0 0 40118 2698 0 0 17 0 4 0 100910911 107360256 23307 1992294400 134512640 135180984 4294956208 18446744073709551615 134518228 0 0 4096 0 0 0 0 -1 1 0 0
[pid=23678/tid=23681] ppid=23676 vsize=104844 CPUtime=432.1
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 4589 0 0 0 41029 2181 0 0 18 0 4 0 100910911 107360256 23307 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 913.81
Current children cumulated vsize (KiB) 104844

[startup+522.301 s]
/proc/loadavg: 2.13 1.90 1.46 3/69 23688
/proc/meminfo: memFree=1461960/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=113164 CPUtime=1033.23
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 25345 0 0 0 93528 9795 0 0 20 0 4 0 100910911 115879936 24976 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 28291 24976 70 163 0 28126 0
[pid=23678/tid=23679] ppid=23676 vsize=113164 CPUtime=57.63
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 15122 0 0 0 1229 4534 0 0 16 0 4 0 100910911 115879936 24976 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=113164 CPUtime=485.72
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 5378 0 0 0 45660 2912 0 0 17 0 4 0 100910911 115879936 24976 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=113164 CPUtime=489.87
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 4762 0 0 0 46639 2348 0 0 16 0 4 0 100910911 115879936 24976 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1033.23
Current children cumulated vsize (KiB) 113164

[startup+582.302 s]
/proc/loadavg: 2.05 1.92 1.49 3/69 23688
/proc/meminfo: memFree=1455304/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=121504 CPUtime=1152.5
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 26971 0 0 0 104675 10575 0 0 20 0 4 0 100910911 124420096 26602 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 30376 26602 70 163 0 30211 0
[pid=23678/tid=23679] ppid=23676 vsize=121504 CPUtime=62.17
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 16324 0 0 0 1325 4892 0 0 15 0 4 0 100910911 124420096 26602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=23678/tid=23680] ppid=23676 vsize=121504 CPUtime=543.02
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 5682 0 0 0 51158 3144 0 0 16 0 4 0 100910911 124420096 26602 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=121504 CPUtime=547.29
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 4882 0 0 0 52191 2538 0 0 17 0 4 0 100910911 124420096 26602 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1152.5
Current children cumulated vsize (KiB) 121504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+606.203 s]
/proc/loadavg: 2.03 1.92 1.50 3/69 23688
/proc/meminfo: memFree=1452936/2055920 swapFree=4192192/4192956
[pid=23678] ppid=23676 vsize=124232 CPUtime=1200.16
/proc/23678/stat : 23678 (satake) S 23676 23678 23412 0 -1 4194304 27543 0 0 0 109227 10789 0 0 20 0 4 0 100910911 127213568 27174 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23678/statm: 31058 27174 70 163 0 30893 0
[pid=23678/tid=23679] ppid=23676 vsize=124232 CPUtime=63.45
/proc/23678/task/23679/stat : 23679 (satake) S 23676 23678 23412 0 -1 4194368 16645 0 0 0 1353 4992 0 0 15 0 4 0 100910911 127213568 27174 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=23678/tid=23680] ppid=23676 vsize=124232 CPUtime=566.18
/proc/23678/task/23680/stat : 23680 (satake) R 23676 23678 23412 0 -1 4194368 5880 0 0 0 53410 3208 0 0 19 0 4 0 100910911 127213568 27174 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=23678/tid=23681] ppid=23676 vsize=124232 CPUtime=570.52
/proc/23678/task/23681/stat : 23681 (satake) R 23676 23678 23412 0 -1 4194368 4935 0 0 0 54464 2588 0 0 17 0 4 0 100910911 127213568 27174 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) 124232

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): 606.231
CPU time (s): 1200.2
CPU user time (s): 1092.29
CPU system time (s): 107.907
CPU usage (%): 197.978
Max. virtual memory (cumulated for all children) (KiB): 124232

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 720900
deleting IPC queue 753669
deleting IPC queue 786438
deleting IPC queue 819207
deleting IPC queue 851976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1092.29
system time used= 107.907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27543
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= 8525831
involuntary context switches= 8272179

runsolver used 0.566913 second user time and 1.70574 second system time

The end

Launcher Data 

Begin job on node76 at 2009-04-26 08:53:28
IDJOB=1727775
IDBENCH=24644
IDSOLVER=553
FILE ID=node76/1727775-1240728808
PBS_JOBID= 9186920
Free space on /tmp= 66204 MiB

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

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

MD5SUM BENCH= cd51741c2df34af4fdb8becaf8b3fc51
RANDOM SEED=1087527167

node76.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.220
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.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1562568 kB
Buffers:         52312 kB
Cached:         370164 kB
SwapCached:        620 kB
Active:         181024 kB
Inactive:       255296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1562568 kB
SwapTotal:     4192956 kB
SwapFree:      4192192 kB
Dirty:            1452 kB
Writeback:           0 kB
Mapped:          22400 kB
Slab:            42924 kB
Committed_AS:   339548 kB
PageTables:       1432 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= 66204 MiB
End job on node76 at 2009-04-26 09:03:36