Trace number 237824

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, and are wall clock time (not CPU 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
galac 1? (MO) 47.0718 1624.29

General information on the benchmark

Namehaystacks/
haystacks_36.xml
MD5SUM39255fa757758e34b54045c43cc3e093
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark542.367
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1296
Number of constraints22715
Maximum constraint arity2
Maximum domain size36
Number of constraints which are defined in extension0
Number of constraints which are defined in intension22715
Global constraints used (with number of constraints)

Solver Data (download as text)

0.04	c --- Preproc Stats ---
13.28	c start processing
13.29	c start relation processing
13.29	c start cnf exporting
47.31	c parsing time : 13.117
47.31	c preprocessing time : 47.144
47.32	
47.32	c Nary constraints - conflicts : 0 supports : 0
47.32	c Binary constraints - conflicts : 22680 supports :35
47.32	c max arity constraint : 2
47.32	c Max Tuples generated 1296
47.32	c relations : 4
47.32	c relations BDD: 0
47.32	c vars : 46657 - clauses :  1639226
47.32	
47.38	 
47.38	c --- Minisat Stats ---
47.38

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-237824-1168718763 -o ROOT/results/node65/solver-237824-1168718763 -C 1800 -M 900 /tmp/evaluation/237824-1168718763/galac.sh /tmp/evaluation/237824-1168718763/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.93 0.98 0.99 5/81 8888
/proc/meminfo: memFree=1061852/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=8560 CPUtime=0
/proc/8887/stat : 8887 (galac.sh) R 8885 8887 8233 0 -1 4194304 308 0 0 0 0 0 0 0 20 0 1 0 19373658 8765440 253 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203881871 0 0 4096 8192 0 0 0 17 1 0 0
/proc/8887/statm: 2140 253 197 79 0 133 0

[startup+0.107076 s]
/proc/loadavg: 0.93 0.98 0.99 5/81 8888
/proc/meminfo: memFree=1061852/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568

[startup+0.519139 s]
/proc/loadavg: 0.93 0.98 0.99 5/81 8888
/proc/meminfo: memFree=1061852/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568

[startup+1.34328 s]
/proc/loadavg: 0.93 0.98 0.99 4/89 8908
/proc/meminfo: memFree=1020444/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8901] ppid=8887 vsize=861064 CPUtime=1.28
/proc/8901/stat : 8901 (java) R 8887 8887 8233 0 -1 0 12088 0 1 0 123 5 0 0 18 0 8 0 19373662 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4072924300 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8901/statm: 215266 11841 1989 14 0 201471 0
[pid=8901/tid=8902] ppid=8887 vsize=861064 CPUtime=0.05
/proc/8901/task/8902/stat : 8902 (java) S 8887 8887 8233 0 -1 64 3407 0 0 0 5 0 0 0 16 0 8 0 19373665 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8903] ppid=8887 vsize=861064 CPUtime=0
/proc/8901/task/8903/stat : 8903 (java) S 8887 8887 8233 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19373666 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8904] ppid=8887 vsize=861064 CPUtime=0
/proc/8901/task/8904/stat : 8904 (java) S 8887 8887 8233 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 19373666 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8905] ppid=8887 vsize=861064 CPUtime=0
/proc/8901/task/8905/stat : 8905 (java) S 8887 8887 8233 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 19373669 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8906] ppid=8887 vsize=861064 CPUtime=0.29
/proc/8901/task/8906/stat : 8906 (java) R 8887 8887 8233 0 -1 64 1035 0 0 0 28 1 0 0 20 0 8 0 19373669 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8907] ppid=8887 vsize=861064 CPUtime=0
/proc/8901/task/8907/stat : 8907 (java) S 8887 8887 8233 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 19373669 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8908] ppid=8887 vsize=861064 CPUtime=0
/proc/8901/task/8908/stat : 8908 (java) S 8887 8887 8233 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19373669 881729536 11841 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 908632

[startup+2.98055 s]
/proc/loadavg: 1.02 1.00 1.00 3/89 8908
/proc/meminfo: memFree=1019868/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8901] ppid=8887 vsize=861196 CPUtime=2.91
/proc/8901/stat : 8901 (java) R 8887 8887 8233 0 -1 0 13195 0 1 0 285 6 0 0 25 0 8 0 19373662 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073854796 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8901/statm: 215299 12946 1994 14 0 201504 0
[pid=8901/tid=8902] ppid=8887 vsize=861196 CPUtime=0.13
/proc/8901/task/8902/stat : 8902 (java) S 8887 8887 8233 0 -1 64 3490 0 0 0 13 0 0 0 16 0 8 0 19373665 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8903] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8903/stat : 8903 (java) S 8887 8887 8233 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8904] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8904/stat : 8904 (java) S 8887 8887 8233 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8905] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8905/stat : 8905 (java) S 8887 8887 8233 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 19373669 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8906] ppid=8887 vsize=861196 CPUtime=0.34
/proc/8901/task/8906/stat : 8906 (java) S 8887 8887 8233 0 -1 64 1066 0 0 0 33 1 0 0 16 0 8 0 19373669 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8907] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8907/stat : 8907 (java) S 8887 8887 8233 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 19373669 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8908] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8908/stat : 8908 (java) S 8887 8887 8233 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19373669 881864704 12946 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 908764

[startup+6.18407 s]
/proc/loadavg: 1.02 1.00 1.00 4/89 8908
/proc/meminfo: memFree=987436/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8901] ppid=8887 vsize=861196 CPUtime=6.09
/proc/8901/stat : 8901 (java) R 8887 8887 8233 0 -1 0 19643 0 1 0 599 10 0 0 25 0 8 0 19373662 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073854775 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8901/statm: 215299 19393 1997 14 0 201504 0
[pid=8901/tid=8902] ppid=8887 vsize=861196 CPUtime=0.14
/proc/8901/task/8902/stat : 8902 (java) S 8887 8887 8233 0 -1 64 3639 0 0 0 14 0 0 0 16 0 8 0 19373665 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8903] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8903/stat : 8903 (java) S 8887 8887 8233 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8904] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8904/stat : 8904 (java) S 8887 8887 8233 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8905] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8905/stat : 8905 (java) S 8887 8887 8233 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 19373669 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8906] ppid=8887 vsize=861196 CPUtime=0.34
/proc/8901/task/8906/stat : 8906 (java) S 8887 8887 8233 0 -1 64 1066 0 0 0 33 1 0 0 16 0 8 0 19373669 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8907] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8907/stat : 8907 (java) S 8887 8887 8233 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 19373669 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8908] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8908/stat : 8908 (java) S 8887 8887 8233 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19373669 881864704 19393 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 908764

[startup+12.6681 s]
/proc/loadavg: 1.25 1.05 1.02 3/89 8908
/proc/meminfo: memFree=976308/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8901] ppid=8887 vsize=861196 CPUtime=12.54
/proc/8901/stat : 8901 (java) R 8887 8887 8233 0 -1 0 20482 0 1 0 1243 11 0 0 25 0 8 0 19373662 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073884457 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8901/statm: 215299 20229 1997 14 0 201504 0
[pid=8901/tid=8902] ppid=8887 vsize=861196 CPUtime=0.18
/proc/8901/task/8902/stat : 8902 (java) S 8887 8887 8233 0 -1 64 4472 0 0 0 18 0 0 0 16 0 8 0 19373665 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8903] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8903/stat : 8903 (java) S 8887 8887 8233 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8904] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8904/stat : 8904 (java) S 8887 8887 8233 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8905] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8905/stat : 8905 (java) S 8887 8887 8233 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 19373669 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8906] ppid=8887 vsize=861196 CPUtime=0.35
/proc/8901/task/8906/stat : 8906 (java) S 8887 8887 8233 0 -1 64 1069 0 0 0 34 1 0 0 16 0 8 0 19373669 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8907] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8907/stat : 8907 (java) S 8887 8887 8233 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 19373669 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8908] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8908/stat : 8908 (java) S 8887 8887 8233 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19373669 881864704 20229 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 908764

[startup+25.5512 s]
/proc/loadavg: 1.36 1.08 1.03 3/89 8908
/proc/meminfo: memFree=952244/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=0.01
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 761 1704 0 0 0 0 0 1 18 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8901] ppid=8887 vsize=861196 CPUtime=25.36
/proc/8901/stat : 8901 (java) R 8887 8887 8233 0 -1 0 21483 0 1 0 2517 19 0 0 25 0 8 0 19373662 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074392884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8901/statm: 215299 21205 2015 14 0 201504 0
[pid=8901/tid=8902] ppid=8887 vsize=861196 CPUtime=0.33
/proc/8901/task/8902/stat : 8902 (java) S 8887 8887 8233 0 -1 64 5366 0 0 0 32 1 0 0 16 0 8 0 19373665 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8903] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8903/stat : 8903 (java) S 8887 8887 8233 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 19373666 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8904] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8904/stat : 8904 (java) S 8887 8887 8233 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 19373666 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8905] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8905/stat : 8905 (java) S 8887 8887 8233 0 -1 64 2 0 0 0 0 0 0 0 18 0 8 0 19373669 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8906] ppid=8887 vsize=861196 CPUtime=0.43
/proc/8901/task/8906/stat : 8906 (java) S 8887 8887 8233 0 -1 64 1112 0 0 0 41 2 0 0 15 0 8 0 19373669 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8907] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8907/stat : 8907 (java) S 8887 8887 8233 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 19373669 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8901/tid=8908] ppid=8887 vsize=861196 CPUtime=0
/proc/8901/task/8908/stat : 8908 (java) S 8887 8887 8233 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 19373669 881864704 21205 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 908764

[startup+51.1874 s]
/proc/loadavg: 1.64 1.17 1.06 3/75 8910
/proc/meminfo: memFree=874020/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=93976 CPUtime=3.76
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 22426 0 0 0 364 12 0 0 25 0 1 0 19378396 96231424 22408 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 23494 22408 54 142 0 23350 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 141544

[startup+102.43 s]
/proc/loadavg: 1.84 1.29 1.10 3/75 8910
/proc/meminfo: memFree=713060/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=186584 CPUtime=54.77
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 45497 0 0 0 5451 26 0 0 25 0 1 0 19378396 191062016 45479 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 46646 45479 54 142 0 46502 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 234152

[startup+162.493 s]
/proc/loadavg: 1.94 1.42 1.16 3/75 8910
/proc/meminfo: memFree=578020/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=266680 CPUtime=114.55
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 65356 0 0 0 11412 43 0 0 25 0 1 0 19378396 273080320 65338 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 66670 65338 54 142 0 66526 0
Current children cumulated CPU time (s) 161.6
Current children cumulated vsize (KiB) 314248


################
# More data... #
################

/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=635524 CPUtime=831.99
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 157126 0 0 0 83060 139 0 0 25 0 1 0 19378396 650776576 157108 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529414 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 158881 157108 54 142 0 158737 0
Current children cumulated CPU time (s) 879.04
Current children cumulated vsize (KiB) 683092

[startup+943.444 s]
/proc/loadavg: 2.04 1.97 1.62 3/75 8912
/proc/meminfo: memFree=15908/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=650360 CPUtime=891.78
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 160816 0 0 0 89035 143 0 0 25 0 1 0 19378396 665968640 160798 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529608 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 162590 160798 54 142 0 162446 0
Current children cumulated CPU time (s) 938.83
Current children cumulated vsize (KiB) 697928

[startup+1003.52 s]
/proc/loadavg: 2.01 1.97 1.64 3/75 8912
/proc/meminfo: memFree=14820/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=666072 CPUtime=951.56
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 164751 0 0 0 95008 148 0 0 25 0 1 0 19378396 682057728 164733 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 166518 164733 54 142 0 166374 0
Current children cumulated CPU time (s) 998.61
Current children cumulated vsize (KiB) 713640

[startup+1063.59 s]
/proc/loadavg: 2.06 1.99 1.67 3/75 8912
/proc/meminfo: memFree=15460/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=684336 CPUtime=1011.35
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 169316 0 0 0 100981 154 0 0 25 0 1 0 19378396 700760064 169298 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 171084 169298 54 142 0 170940 0
Current children cumulated CPU time (s) 1058.4
Current children cumulated vsize (KiB) 731904

[startup+1123.66 s]
/proc/loadavg: 2.02 1.99 1.68 3/75 8912
/proc/meminfo: memFree=15396/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=703644 CPUtime=1071.13
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 174128 0 0 0 106955 158 0 0 25 0 1 0 19378396 720531456 174110 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 175911 174110 54 142 0 175767 0
Current children cumulated CPU time (s) 1118.18
Current children cumulated vsize (KiB) 751212

[startup+1183.73 s]
/proc/loadavg: 2.00 1.99 1.70 3/75 8912
/proc/meminfo: memFree=16100/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=728940 CPUtime=1130.9
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 180437 0 0 0 112923 167 0 0 25 0 1 0 19378396 746434560 180419 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 182235 180419 54 142 0 182091 0
Current children cumulated CPU time (s) 1177.95
Current children cumulated vsize (KiB) 776508

[startup+1243.8 s]
/proc/loadavg: 2.00 1.99 1.72 3/75 8912
/proc/meminfo: memFree=15076/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=740504 CPUtime=1190.68
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 183330 0 0 0 118897 171 0 0 25 0 1 0 19378396 758276096 183312 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 185126 183312 54 142 0 184982 0
Current children cumulated CPU time (s) 1237.73
Current children cumulated vsize (KiB) 788072

[startup+1303.88 s]
/proc/loadavg: 2.04 2.00 1.74 3/75 8912
/proc/meminfo: memFree=15652/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=753192 CPUtime=1250.46
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 186480 0 0 0 124871 175 0 0 25 0 1 0 19378396 771268608 186462 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529435 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 188298 186462 54 142 0 188154 0
Current children cumulated CPU time (s) 1297.51
Current children cumulated vsize (KiB) 800760

[startup+1363.96 s]
/proc/loadavg: 2.05 2.01 1.76 3/75 8912
/proc/meminfo: memFree=16164/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=769676 CPUtime=1310.25
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 190599 0 0 0 130845 180 0 0 25 0 1 0 19378396 788148224 190581 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529461 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 192419 190581 54 142 0 192275 0
Current children cumulated CPU time (s) 1357.3
Current children cumulated vsize (KiB) 817244

[startup+1424.03 s]
/proc/loadavg: 2.02 2.01 1.77 3/75 8912
/proc/meminfo: memFree=16036/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=789856 CPUtime=1370.03
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 195628 0 0 0 136817 186 0 0 25 0 1 0 19378396 808812544 195610 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525757 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 197464 195610 54 142 0 197320 0
Current children cumulated CPU time (s) 1417.08
Current children cumulated vsize (KiB) 837424

[startup+1484.11 s]
/proc/loadavg: 2.00 2.00 1.78 3/75 8912
/proc/meminfo: memFree=14948/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=807396 CPUtime=1429.81
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 199980 0 0 0 142791 190 0 0 25 0 1 0 19378396 826773504 199962 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 201849 199962 54 142 0 201705 0
Current children cumulated CPU time (s) 1476.86
Current children cumulated vsize (KiB) 854964

[startup+1544.17 s]
/proc/loadavg: 2.00 2.00 1.79 3/75 8912
/proc/meminfo: memFree=15652/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=824128 CPUtime=1489.58
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 204149 0 0 0 148762 196 0 0 25 0 1 0 19378396 843907072 204131 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 206032 204131 54 142 0 205888 0
Current children cumulated CPU time (s) 1536.63
Current children cumulated vsize (KiB) 871696

[startup+1604.25 s]
/proc/loadavg: 2.00 2.00 1.80 3/75 8912
/proc/meminfo: memFree=15204/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=841684 CPUtime=1549.33
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 208533 0 0 0 154731 202 0 0 25 0 1 0 19378396 861884416 208515 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529453 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 210421 208515 54 142 0 210277 0
Current children cumulated CPU time (s) 1596.38
Current children cumulated vsize (KiB) 889252



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1624.28 s]
/proc/loadavg: 2.00 2.00 1.81 3/75 8912
/proc/meminfo: memFree=16292/2055920 swapFree=4192956/4192956
[pid=8887] ppid=8885 vsize=47568 CPUtime=47.05
/proc/8887/stat : 8887 (galac.sh) S 8885 8887 8233 0 -1 4194304 799 23245 0 1 0 0 4674 31 17 0 1 0 19373658 48709632 363 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 257203301210 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/8887/statm: 11892 363 245 79 0 218 0
[pid=8910] ppid=8887 vsize=874104 CPUtime=1569.2
/proc/8910/stat : 8910 (minisat) R 8887 8887 8233 0 -1 4194304 216587 0 0 0 156712 208 0 0 25 0 1 0 19378396 895082496 216569 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/8910/statm: 218526 216569 54 142 0 218382 0
Current children cumulated CPU time (s) 1616.25
Current children cumulated vsize (KiB) 921672

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1624.29
CPU time (s): 47.0718
CPU user time (s): 46.7479
CPU system time (s): 0.32395
CPU usage (%): 2.89799
Max. virtual memory (cumulated for all children) (KiB): 921672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.7479
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24044
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2697
involuntary context switches= 2944

runsolver used 2.10068 s user time and 5.10122 s system time

The end

Launcher Data (download as text)

Begin job on node65 on Sat Jan 13 20:06:03 UTC 2007


IDJOB= 237824
IDBENCH= 6965
IDSOLVER= 78
FILE ID= node65/237824-1168718763

PBS_JOBID= 3547636

Free space on /tmp= 66554 MiB

SOLVER NAME= galac 1
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_36.xml
COMMAND LINE= /tmp/evaluation/237824-1168718763/galac.sh /tmp/evaluation/237824-1168718763/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-237824-1168718763 -o ROOT/results/node65/solver-237824-1168718763 -C 1800 -M 900  /tmp/evaluation/237824-1168718763/galac.sh /tmp/evaluation/237824-1168718763/unknown.xml

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  39255fa757758e34b54045c43cc3e093

RANDOM SEED= 170778771

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.263
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.263
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:       1062332 kB
Buffers:         46924 kB
Cached:         782268 kB
SwapCached:          0 kB
Active:         244856 kB
Inactive:       674784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1062332 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           11048 kB
Writeback:           0 kB
Mapped:         109476 kB
Slab:            59064 kB
Committed_AS:  1067568 kB
PageTables:       2080 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= 66510 MiB



End job on node65 on Sat Jan 13 20:33:09 UTC 2007