Trace number 1733540

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.05 603.427

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2_autoenc.cnf
MD5SUM68299073e5e5e9c13c18eb7bcc640f07
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 variables383
Number of clauses75352
Sum of the clauses size441112
Maximum clause length11
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21220
Number of clauses of size 30
Number of clauses of size 4516
Number of clauses of size 54802
Number of clauses of size over 568750

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-1733540-1240789734/watcher-1733540-1240789734 -o /tmp/evaluation-result-1733540-1240789734/solver-1733540-1240789734 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1733540-1240789734.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 1497
/proc/meminfo: memFree=1631596/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=4104 CPUtime=0
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 692 0 0 0 0 0 0 0 18 0 4 0 107006007 4202496 677 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 1026 683 65 163 0 861 0
[pid=1497/tid=1498] ppid=1495 vsize=4104 CPUtime=0
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107006007 4202496 699 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=4104 CPUtime=0
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 479 0 0 0 0 0 0 0 19 0 4 0 107006007 4202496 708 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=4104 CPUtime=0
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 154 0 0 0 0 0 0 0 19 0 4 0 107006007 4202496 717 1992294400 134512640 135180984 4294956208 18446744073709551615 134583077 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.0647589 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 1497
/proc/meminfo: memFree=1631596/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=10752 CPUtime=0.12
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 2241 0 0 0 11 1 0 0 18 0 4 0 107006007 11010048 2226 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 2688 2227 65 163 0 2523 0
[pid=1497/tid=1498] ppid=1495 vsize=10752 CPUtime=0
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107006007 11010048 2227 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=10752 CPUtime=0.05
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 1054 0 0 0 5 0 0 0 17 0 4 0 107006007 11010048 2227 1992294400 134512640 135180984 4294956208 18446744073709551615 134680984 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=10752 CPUtime=0.05
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 1098 0 0 0 5 0 0 0 17 0 4 0 107006007 11010048 2227 1992294400 134512640 135180984 4294956208 18446744073709551615 134513707 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10752

[startup+0.104762 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 1497
/proc/meminfo: memFree=1631596/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=13856 CPUtime=0.19
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 2882 0 0 0 18 1 0 0 18 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 3464 2867 66 163 0 3299 0
[pid=1497/tid=1498] ppid=1495 vsize=13856 CPUtime=0
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=13856 CPUtime=0.1
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 1373 0 0 0 9 1 0 0 17 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134520826 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=13856 CPUtime=0.09
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 1419 0 0 0 9 0 0 0 17 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134520773 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13856

[startup+0.301781 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 1497
/proc/meminfo: memFree=1631596/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=13856 CPUtime=0.58
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 2882 0 0 0 57 1 0 0 18 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 3464 2867 66 163 0 3299 0
[pid=1497/tid=1498] ppid=1495 vsize=13856 CPUtime=0
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=13856 CPUtime=0.29
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 1373 0 0 0 28 1 0 0 18 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134520798 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=13856 CPUtime=0.28
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 1419 0 0 0 28 0 0 0 18 0 4 0 107006007 14188544 2867 1992294400 134512640 135180984 4294956208 18446744073709551615 134520818 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13856

[startup+0.702831 s]
/proc/loadavg: 0.92 0.98 1.08 3/64 1497
/proc/meminfo: memFree=1631596/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=9976 CPUtime=1.25
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 3056 0 0 0 97 28 0 0 18 0 4 0 107006007 10215424 2007 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 2494 2007 70 163 0 2329 0
[pid=1497/tid=1498] ppid=1495 vsize=9976 CPUtime=0.17
/proc/1497/task/1498/stat : 1498 (satake) R 1495 1497 860 0 -1 4194368 27 0 0 0 3 14 0 0 17 0 4 0 107006007 10215424 2007 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=9976 CPUtime=0.54
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 1444 0 0 0 47 7 0 0 16 0 4 0 107006007 10215424 2007 1992294400 134512640 135180984 4294956208 18446744073709551615 134519103 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=9976 CPUtime=0.52
/proc/1497/task/1500/stat : 1500 (satake) S 1495 1497 860 0 -1 4194368 1502 0 0 0 46 6 0 0 16 0 4 0 107006007 10215424 2007 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9976

[startup+1.50392 s]
/proc/loadavg: 0.92 0.98 1.08 3/68 1501
/proc/meminfo: memFree=1623372/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=10808 CPUtime=2.63
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 3338 0 0 0 183 80 0 0 18 0 4 0 107006007 11067392 2289 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 2702 2289 70 163 0 2537 0
[pid=1497/tid=1498] ppid=1495 vsize=10808 CPUtime=0.49
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 145 0 0 0 9 40 0 0 16 0 4 0 107006007 11067392 2289 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=10808 CPUtime=1.11
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 1537 0 0 0 91 20 0 0 15 0 4 0 107006007 11067392 2289 1992294400 134512640 135180984 4294956208 18446744073709551615 134519930 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=10808 CPUtime=1.01
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 1573 0 0 0 82 19 0 0 17 0 4 0 107006007 11067392 2289 1992294400 134512640 135180984 4294956208 18446744073709551615 134528565 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10808

[startup+3.10356 s]
/proc/loadavg: 0.92 0.98 1.08 4/68 1501
/proc/meminfo: memFree=1621388/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=13472 CPUtime=5.63
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 4030 0 0 0 411 152 0 0 18 0 4 0 107006007 13795328 2981 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 3368 2981 70 163 0 3203 0
[pid=1497/tid=1498] ppid=1495 vsize=13472 CPUtime=0.98
/proc/1497/task/1498/stat : 1498 (satake) R 1495 1497 860 0 -1 4194368 335 0 0 0 20 78 0 0 17 0 4 0 107006007 13795328 2981 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=13472 CPUtime=2.38
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 1777 0 0 0 200 38 0 0 16 0 4 0 107006007 13795328 2981 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=13472 CPUtime=2.25
/proc/1497/task/1500/stat : 1500 (satake) S 1495 1497 860 0 -1 4194368 1835 0 0 0 190 35 0 0 15 0 4 0 107006007 13795328 2981 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 13472

[startup+6.30165 s]
/proc/loadavg: 1.01 1.00 1.09 4/68 1501
/proc/meminfo: memFree=1616460/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=18124 CPUtime=11.81
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 5055 0 0 0 921 260 0 0 18 0 4 0 107006007 18558976 4006 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 4531 4006 70 163 0 4366 0
[pid=1497/tid=1498] ppid=1495 vsize=18124 CPUtime=1.67
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 590 0 0 0 33 134 0 0 16 0 4 0 107006007 18558976 4006 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=18124 CPUtime=5.11
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 2183 0 0 0 448 63 0 0 17 0 4 0 107006007 18558976 4006 1992294400 134512640 135180984 4294956208 18446744073709551615 134528457 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=18124 CPUtime=5
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 2199 0 0 0 439 61 0 0 16 0 4 0 107006007 18558976 4006 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 18124

[startup+12.7014 s]
/proc/loadavg: 1.09 1.02 1.09 3/68 1501
/proc/meminfo: memFree=1610892/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=23204 CPUtime=24.46
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 6293 0 0 0 2053 393 0 0 18 0 4 0 107006007 23760896 5244 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 5801 5244 70 163 0 5636 0
[pid=1497/tid=1498] ppid=1495 vsize=23204 CPUtime=2.4
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 897 0 0 0 45 195 0 0 15 0 4 0 107006007 23760896 5244 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=23204 CPUtime=11.07
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 2660 0 0 0 1009 98 0 0 17 0 4 0 107006007 23760896 5244 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=23204 CPUtime=10.96
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 2653 0 0 0 997 99 0 0 17 0 4 0 107006007 23760896 5244 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 23204

[startup+25.5028 s]
/proc/loadavg: 1.29 1.06 1.11 3/68 1501
/proc/meminfo: memFree=1607308/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=26332 CPUtime=49.81
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 7113 0 0 0 4374 607 0 0 18 0 4 0 107006007 26963968 6064 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 6583 6064 70 163 0 6418 0
[pid=1497/tid=1498] ppid=1495 vsize=26332 CPUtime=3.69
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 1158 0 0 0 71 298 0 0 16 0 4 0 107006007 26963968 6064 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=26332 CPUtime=23.08
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 2879 0 0 0 2155 153 0 0 17 0 4 0 107006007 26963968 6064 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=26332 CPUtime=23.03
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 2993 0 0 0 2148 155 0 0 17 0 4 0 107006007 26963968 6064 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.81
Current children cumulated vsize (KiB) 26332

[startup+51.1015 s]
/proc/loadavg: 1.59 1.15 1.13 3/68 1501
/proc/meminfo: memFree=1600652/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=32908 CPUtime=100.54
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 8783 0 0 0 8956 1098 0 0 18 0 4 0 107006007 33697792 7734 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 8227 7734 70 163 0 8062 0
[pid=1497/tid=1498] ppid=1495 vsize=32908 CPUtime=6.54
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 1880 0 0 0 130 524 0 0 16 0 4 0 107006007 33697792 7734 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=32908 CPUtime=47.1
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 3339 0 0 0 4422 288 0 0 17 0 4 0 107006007 33697792 7734 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=32908 CPUtime=46.89
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 3481 0 0 0 4404 285 0 0 17 0 4 0 107006007 33697792 7734 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.54
Current children cumulated vsize (KiB) 32908

[startup+102.306 s]
/proc/loadavg: 1.86 1.28 1.18 3/68 1501
/proc/meminfo: memFree=1590092/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=46168 CPUtime=202.28
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 11406 0 0 0 18336 1892 0 0 18 0 4 0 107006007 47276032 10357 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 11542 10357 70 163 0 11377 0
[pid=1497/tid=1498] ppid=1495 vsize=46168 CPUtime=11.23
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 2955 0 0 0 228 895 0 0 16 0 4 0 107006007 47276032 10357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=46168 CPUtime=95.63
/proc/1497/task/1499/stat : 1499 (satake) S 1495 1497 860 0 -1 4194368 3875 0 0 0 9060 503 0 0 17 0 4 0 107006007 47276032 10357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=46168 CPUtime=95.41
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 4493 0 0 0 9047 494 0 0 17 0 4 0 107006007 47276032 10357 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.28
Current children cumulated vsize (KiB) 46168

[startup+162.302 s]
/proc/loadavg: 1.90 1.41 1.22 3/68 1501
/proc/meminfo: memFree=1581836/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=53896 CPUtime=321.66
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 13422 0 0 0 29490 2676 0 0 18 0 4 0 107006007 55189504 12373 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 13474 12373 70 163 0 13309 0
[pid=1497/tid=1498] ppid=1495 vsize=53896 CPUtime=15.82
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 3917 0 0 0 328 1254 0 0 16 0 4 0 107006007 55189504 12373 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=53896 CPUtime=152.99
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 4571 0 0 0 14576 723 0 0 18 0 4 0 107006007 55189504 12373 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=53896 CPUtime=152.85
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 4851 0 0 0 14586 699 0 0 18 0 4 0 107006007 55189504 12373 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 321.66
Current children cumulated vsize (KiB) 53896

[startup+222.302 s]
/proc/loadavg: 2.08 1.54 1.28 3/68 1501
/proc/meminfo: memFree=1574668/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=64168 CPUtime=441.02
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 15191 0 0 0 40745 3357 0 0 18 0 4 0 107006007 65708032 14142 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 16042 14142 70 163 0 15877 0
[pid=1497/tid=1498] ppid=1495 vsize=64168 CPUtime=19.76
/proc/1497/task/1498/stat : 1498 (satake) R 1495 1497 860 0 -1 4194368 4661 0 0 0 409 1567 0 0 16 0 4 0 107006007 65708032 14142 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=64168 CPUtime=210.53
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 5326 0 0 0 20132 921 0 0 17 0 4 0 107006007 65708032 14142 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=64168 CPUtime=210.73
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 5121 0 0 0 20204 869 0 0 17 0 4 0 107006007 65708032 14142 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 441.02
Current children cumulated vsize (KiB) 64168

[startup+282.302 s]
/proc/loadavg: 2.06 1.64 1.33 3/68 1501
/proc/meminfo: memFree=1567564/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=72368 CPUtime=560.5
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 17001 0 0 0 52101 3949 0 0 18 0 4 0 107006007 74104832 15952 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 18092 15952 70 163 0 17927 0
[pid=1497/tid=1498] ppid=1495 vsize=72368 CPUtime=23.19
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 5462 0 0 0 484 1835 0 0 16 0 4 0 107006007 74104832 15952 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=72368 CPUtime=268.61
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 5765 0 0 0 25768 1093 0 0 17 0 4 0 107006007 74104832 15952 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=72368 CPUtime=268.69
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 5691 0 0 0 25849 1020 0 0 17 0 4 0 107006007 74104832 15952 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 560.5
Current children cumulated vsize (KiB) 72368

[startup+342.302 s]
/proc/loadavg: 2.10 1.72 1.37 3/68 1501
/proc/meminfo: memFree=1559564/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=80456 CPUtime=679.94
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 18997 0 0 0 63316 4678 0 0 18 0 4 0 107006007 82386944 17948 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 20114 17948 70 163 0 19949 0
[pid=1497/tid=1498] ppid=1495 vsize=80456 CPUtime=27.45
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 6516 0 0 0 576 2169 0 0 16 0 4 0 107006007 82386944 17948 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=80456 CPUtime=326.26
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 6367 0 0 0 31330 1296 0 0 17 0 4 0 107006007 82386944 17948 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=80456 CPUtime=326.2
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 6031 0 0 0 31408 1212 0 0 17 0 4 0 107006007 82386944 17948 1992294400 134512640 135180984 4294956208 18446744073709551615 134520902 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 679.94
Current children cumulated vsize (KiB) 80456

[startup+402.302 s]
/proc/loadavg: 2.16 1.80 1.42 3/68 1501
/proc/meminfo: memFree=1554252/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=85884 CPUtime=799.4
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 20359 0 0 0 74639 5301 0 0 18 0 4 0 107006007 87945216 19310 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 21471 19310 70 163 0 21306 0
[pid=1497/tid=1498] ppid=1495 vsize=85884 CPUtime=31.16
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 7292 0 0 0 658 2458 0 0 16 0 4 0 107006007 87945216 19310 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=85884 CPUtime=384.15
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 6662 0 0 0 36959 1456 0 0 17 0 4 0 107006007 87945216 19310 1992294400 134512640 135180984 4294956208 18446744073709551615 134520661 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=85884 CPUtime=384.07
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 6322 0 0 0 37021 1386 0 0 18 0 4 0 107006007 87945216 19310 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 799.4
Current children cumulated vsize (KiB) 85884

[startup+462.301 s]
/proc/loadavg: 2.17 1.86 1.47 3/68 1501
/proc/meminfo: memFree=1544908/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=96560 CPUtime=918.95
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 22638 0 0 0 86115 5780 0 0 18 0 4 0 107006007 98877440 21589 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 24140 21589 70 163 0 23975 0
[pid=1497/tid=1498] ppid=1495 vsize=96560 CPUtime=33.94
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 8105 0 0 0 717 2677 0 0 16 0 4 0 107006007 98877440 21589 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=96560 CPUtime=442.46
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 7346 0 0 0 42663 1583 0 0 25 0 4 0 107006007 98877440 21589 1992294400 134512640 135180984 4294956208 18446744073709551615 134520719 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=96560 CPUtime=442.53
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 7104 0 0 0 42734 1519 0 0 20 0 4 0 107006007 98877440 21589 1992294400 134512640 135180984 4294956208 18446744073709551615 134528470 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 918.95
Current children cumulated vsize (KiB) 96560

[startup+522.301 s]
/proc/loadavg: 2.06 1.88 1.49 3/68 1501
/proc/meminfo: memFree=1542668/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=98804 CPUtime=1038.52
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 23211 0 0 0 97600 6252 0 0 18 0 4 0 107006007 101175296 22162 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 24701 22162 70 163 0 24536 0
[pid=1497/tid=1498] ppid=1495 vsize=98804 CPUtime=36.68
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 8484 0 0 0 774 2894 0 0 16 0 4 0 107006007 101175296 22162 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=1497/tid=1499] ppid=1495 vsize=98804 CPUtime=500.74
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 7429 0 0 0 48352 1722 0 0 18 0 4 0 107006007 101175296 22162 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
[pid=1497/tid=1500] ppid=1495 vsize=98804 CPUtime=501.07
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 7215 0 0 0 48473 1634 0 0 25 0 4 0 107006007 101175296 22162 1992294400 134512640 135180984 4294956208 18446744073709551615 134518219 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1038.52
Current children cumulated vsize (KiB) 98804

[startup+582.303 s]
/proc/loadavg: 2.07 1.92 1.53 3/68 1501
/proc/meminfo: memFree=1539852/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=103044 CPUtime=1157.98
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 23910 0 0 0 109027 6771 0 0 18 0 4 0 107006007 105517056 22861 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 25761 22861 70 163 0 25596 0
[pid=1497/tid=1498] ppid=1495 vsize=103044 CPUtime=39.8
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 9023 0 0 0 842 3138 0 0 16 0 4 0 107006007 105517056 22861 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=103044 CPUtime=559.13
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 7517 0 0 0 54061 1852 0 0 17 0 4 0 107006007 105517056 22861 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=103044 CPUtime=559.03
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 7287 0 0 0 54123 1780 0 0 18 0 4 0 107006007 105517056 22861 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1157.98
Current children cumulated vsize (KiB) 103044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.401 s]
/proc/loadavg: 2.05 1.92 1.54 3/68 1501
/proc/meminfo: memFree=1538316/2055920 swapFree=4181272/4192956
[pid=1497] ppid=1495 vsize=106124 CPUtime=1200.01
/proc/1497/stat : 1497 (satake) S 1495 1497 860 0 -1 4194304 24278 0 0 0 113054 6947 0 0 18 0 4 0 107006007 108670976 23229 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/1497/statm: 26531 23229 70 163 0 26366 0
[pid=1497/tid=1498] ppid=1495 vsize=106124 CPUtime=40.82
/proc/1497/task/1498/stat : 1498 (satake) S 1495 1497 860 0 -1 4194368 9199 0 0 0 862 3220 0 0 16 0 4 0 107006007 108670976 23229 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=1497/tid=1499] ppid=1495 vsize=106124 CPUtime=579.67
/proc/1497/task/1499/stat : 1499 (satake) R 1495 1497 860 0 -1 4194368 7579 0 0 0 56070 1897 0 0 17 0 4 0 107006007 108670976 23229 1992294400 134512640 135180984 4294956208 18446744073709551615 134528514 0 0 4096 0 0 0 0 -1 1 0 0
[pid=1497/tid=1500] ppid=1495 vsize=106124 CPUtime=579.49
/proc/1497/task/1500/stat : 1500 (satake) R 1495 1497 860 0 -1 4194368 7417 0 0 0 56120 1829 0 0 17 0 4 0 107006007 108670976 23229 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 106124

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): 603.427
CPU time (s): 1200.05
CPU user time (s): 1130.55
CPU system time (s): 69.4934
CPU usage (%): 198.872
Max. virtual memory (cumulated for all children) (KiB): 106124

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1130.55
system time used= 69.4934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24279
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= 5388176
involuntary context switches= 5264334

runsolver used 0.546916 second user time and 1.67474 second system time

The end

Launcher Data 

Begin job on node35 at 2009-04-27 01:48:55
IDJOB=1733540
IDBENCH=71142
IDSOLVER=553
FILE ID=node35/1733540-1240789734
PBS_JOBID= 9187284
Free space on /tmp= 66400 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2_autoenc.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1733540-1240789734/watcher-1733540-1240789734 -o /tmp/evaluation-result-1733540-1240789734/solver-1733540-1240789734 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1733540-1240789734.cnf 3 1200

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

MD5SUM BENCH= 68299073e5e5e9c13c18eb7bcc640f07
RANDOM SEED=550696746

node35.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.214
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.214
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:       1632012 kB
Buffers:         51560 kB
Cached:         315108 kB
SwapCached:       5700 kB
Active:          94996 kB
Inactive:       279836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1632012 kB
SwapTotal:     4192956 kB
SwapFree:      4181272 kB
Dirty:            2820 kB
Writeback:           0 kB
Mapped:          13632 kB
Slab:            35068 kB
Committed_AS:   471464 kB
PageTables:       1396 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= 66400 MiB
End job on node35 at 2009-04-27 01:59:00