Trace number 237904

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) 0 1366.09

General information on the benchmark

Namehaystacks/
haystacks_44.xml
MD5SUM0722ca56c46929635c236adaf10e929a
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 benchmark1560.29
SatisfiableNO
(Un)Satisfiability was proved
Number of variables1936
Number of constraints41667
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension0
Number of constraints which are defined in intension41667
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	c --- Preproc Stats ---
26.66	c start processing
26.67	c start relation processing
26.67	c start cnf exporting
100.43	c parsing time : 26.099
100.43	c preprocessing time : 99.865
100.44	
100.44	c Nary constraints - conflicts : 0 supports : 0
100.44	c Binary constraints - conflicts : 41624 supports :43
100.44	c max arity constraint : 2
100.44	c Max Tuples generated 1936
100.44	c relations : 4
100.44	c relations BDD: 0
100.44	c vars : 85185 - clauses :  3672330
100.44	
100.47	 
100.47	c --- Minisat Stats ---
100.47

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/node50/watcher-237904-1168718952 -o ROOT/results/node50/solver-237904-1168718952 -C 1800 -M 900 /tmp/evaluation/237904-1168718952/galac.sh /tmp/evaluation/237904-1168718952/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: 1.00 1.04 1.32 3/65 29552
/proc/meminfo: memFree=1944536/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=544 CPUtime=0
/proc/29551/stat : 29551 (galac.sh) D 29549 29551 28203 0 -1 4194304 16 0 0 0 0 0 0 0 18 0 1 0 220293889 557056 1 18446744073709551615 0 0 548682070048 18446744073709551615 240577473831 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/29551/statm: 136 1 0 0 0 51 0

[startup+0.10561 s]
/proc/loadavg: 1.00 1.04 1.32 3/65 29552
/proc/meminfo: memFree=1944536/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=8700 CPUtime=0
/proc/29551/stat : 29551 (galac.sh) D 29549 29551 28203 0 -1 4194304 391 839 4 1 0 0 0 0 17 0 1 0 220293889 8908800 302 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577642578 0 2 4096 73728 18446744071563479169 0 0 17 0 0 0
/proc/29551/statm: 2175 302 217 79 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.51368 s]
/proc/loadavg: 1.00 1.04 1.32 3/65 29552
/proc/meminfo: memFree=1944536/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47576

[startup+1.33582 s]
/proc/loadavg: 1.00 1.04 1.32 2/73 29572
/proc/meminfo: memFree=1916824/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29565] ppid=29551 vsize=861064 CPUtime=0.87
/proc/29565/stat : 29565 (java) R 29551 29551 28203 0 -1 0 12178 0 1 0 79 8 0 0 16 0 8 0 220293921 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073855360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29565/statm: 215266 11930 1990 14 0 201471 0
[pid=29565/tid=29566] ppid=29551 vsize=861064 CPUtime=0.08
/proc/29565/task/29566/stat : 29566 (java) S 29551 29551 28203 0 -1 64 3449 0 0 0 7 1 0 0 16 0 8 0 220293935 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29565/tid=29567] ppid=29551 vsize=861064 CPUtime=0
/proc/29565/task/29567/stat : 29567 (java) S 29551 29551 28203 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220293936 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29568] ppid=29551 vsize=861064 CPUtime=0
/proc/29565/task/29568/stat : 29568 (java) S 29551 29551 28203 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220293936 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29569] ppid=29551 vsize=861064 CPUtime=0
/proc/29565/task/29569/stat : 29569 (java) S 29551 29551 28203 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220293940 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29570] ppid=29551 vsize=861064 CPUtime=0.22
/proc/29565/task/29570/stat : 29570 (java) S 29551 29551 28203 0 -1 64 986 0 0 0 21 1 0 0 16 0 8 0 220293940 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29571] ppid=29551 vsize=861064 CPUtime=0
/proc/29565/task/29571/stat : 29571 (java) S 29551 29551 28203 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 220293940 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29572] ppid=29551 vsize=861064 CPUtime=0
/proc/29565/task/29572/stat : 29572 (java) S 29551 29551 28203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220293940 881729536 11930 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 908640

[startup+2.9881 s]
/proc/loadavg: 1.00 1.04 1.32 2/73 29572
/proc/meminfo: memFree=1902296/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29565] ppid=29551 vsize=861196 CPUtime=2.52
/proc/29565/stat : 29565 (java) R 29551 29551 28203 0 -1 0 12324 0 1 0 243 9 0 0 17 0 8 0 220293921 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073852632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29565/statm: 215299 12075 1995 14 0 201504 0
[pid=29565/tid=29566] ppid=29551 vsize=861196 CPUtime=0.13
/proc/29565/task/29566/stat : 29566 (java) S 29551 29551 28203 0 -1 64 3502 0 0 0 12 1 0 0 16 0 8 0 220293935 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29565/tid=29567] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29567/stat : 29567 (java) S 29551 29551 28203 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29568] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29568/stat : 29568 (java) S 29551 29551 28203 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29569] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29569/stat : 29569 (java) S 29551 29551 28203 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220293940 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29570] ppid=29551 vsize=861196 CPUtime=0.31
/proc/29565/task/29570/stat : 29570 (java) S 29551 29551 28203 0 -1 64 1060 0 0 0 30 1 0 0 16 0 8 0 220293940 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29571] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29571/stat : 29571 (java) S 29551 29551 28203 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 220293940 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29572] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29572/stat : 29572 (java) S 29551 29551 28203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220293940 881864704 12075 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 908772

[startup+6.27464 s]
/proc/loadavg: 1.00 1.04 1.32 2/73 29572
/proc/meminfo: memFree=1872728/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29565] ppid=29551 vsize=861196 CPUtime=5.8
/proc/29565/stat : 29565 (java) R 29551 29551 28203 0 -1 0 19668 0 1 0 568 12 0 0 23 0 8 0 220293921 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073867599 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29565/statm: 215299 19417 1998 14 0 201504 0
[pid=29565/tid=29566] ppid=29551 vsize=861196 CPUtime=0.13
/proc/29565/task/29566/stat : 29566 (java) S 29551 29551 28203 0 -1 64 3659 0 0 0 12 1 0 0 16 0 8 0 220293935 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29565/tid=29567] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29567/stat : 29567 (java) S 29551 29551 28203 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29568] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29568/stat : 29568 (java) S 29551 29551 28203 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29569] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29569/stat : 29569 (java) S 29551 29551 28203 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220293940 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29570] ppid=29551 vsize=861196 CPUtime=0.31
/proc/29565/task/29570/stat : 29570 (java) S 29551 29551 28203 0 -1 64 1060 0 0 0 30 1 0 0 16 0 8 0 220293940 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29571] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29571/stat : 29571 (java) S 29551 29551 28203 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 220293940 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29572] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29572/stat : 29572 (java) S 29551 29551 28203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220293940 881864704 19417 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 908772

[startup+12.7587 s]
/proc/loadavg: 1.00 1.04 1.31 2/73 29572
/proc/meminfo: memFree=1869408/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29565] ppid=29551 vsize=861196 CPUtime=12.28
/proc/29565/stat : 29565 (java) R 29551 29551 28203 0 -1 0 20524 0 1 0 1215 13 0 0 25 0 8 0 220293921 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073458698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29565/statm: 215299 20270 1998 14 0 201504 0
[pid=29565/tid=29566] ppid=29551 vsize=861196 CPUtime=0.17
/proc/29565/task/29566/stat : 29566 (java) S 29551 29551 28203 0 -1 64 4511 0 0 0 16 1 0 0 17 0 8 0 220293935 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29565/tid=29567] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29567/stat : 29567 (java) S 29551 29551 28203 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29568] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29568/stat : 29568 (java) S 29551 29551 28203 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29569] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29569/stat : 29569 (java) S 29551 29551 28203 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220293940 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29570] ppid=29551 vsize=861196 CPUtime=0.31
/proc/29565/task/29570/stat : 29570 (java) S 29551 29551 28203 0 -1 64 1061 0 0 0 30 1 0 0 17 0 8 0 220293940 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29571] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29571/stat : 29571 (java) S 29551 29551 28203 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 220293940 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29572] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29572/stat : 29572 (java) S 29551 29551 28203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220293940 881864704 20270 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 908772

[startup+25.6159 s]
/proc/loadavg: 1.00 1.04 1.31 2/73 29572
/proc/meminfo: memFree=1865440/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29565] ppid=29551 vsize=861196 CPUtime=25.12
/proc/29565/stat : 29565 (java) R 29551 29551 28203 0 -1 0 21602 0 1 0 2498 14 0 0 18 0 8 0 220293921 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073458709 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29565/statm: 215299 21342 1998 14 0 201504 0
[pid=29565/tid=29566] ppid=29551 vsize=861196 CPUtime=0.28
/proc/29565/task/29566/stat : 29566 (java) S 29551 29551 28203 0 -1 64 5579 0 0 0 26 2 0 0 16 0 8 0 220293935 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29567] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29567/stat : 29567 (java) S 29551 29551 28203 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29568] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29568/stat : 29568 (java) S 29551 29551 28203 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29569] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29569/stat : 29569 (java) S 29551 29551 28203 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220293940 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29570] ppid=29551 vsize=861196 CPUtime=0.32
/proc/29565/task/29570/stat : 29570 (java) S 29551 29551 28203 0 -1 64 1065 0 0 0 31 1 0 0 16 0 8 0 220293940 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29571] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29571/stat : 29571 (java) S 29551 29551 28203 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 220293940 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29572] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29572/stat : 29572 (java) S 29551 29551 28203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220293940 881864704 21342 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 908772

[startup+51.2332 s]
/proc/loadavg: 1.00 1.03 1.30 2/73 29572
/proc/meminfo: memFree=1837856/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=0.01
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 756 1703 6 1 0 0 0 1 17 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29565] ppid=29551 vsize=861196 CPUtime=50.56
/proc/29565/stat : 29565 (java) R 29551 29551 28203 0 -1 0 22635 0 4 0 5029 27 0 0 25 0 8 0 220293921 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4074365264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29565/statm: 215299 22327 2016 14 0 201504 0
[pid=29565/tid=29566] ppid=29551 vsize=861196 CPUtime=0.44
/proc/29565/task/29566/stat : 29566 (java) S 29551 29551 28203 0 -1 64 6473 0 0 0 41 3 0 0 16 0 8 0 220293935 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29567] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29567/stat : 29567 (java) S 29551 29551 28203 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 220293936 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29568] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29568/stat : 29568 (java) S 29551 29551 28203 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 220293936 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29569] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29569/stat : 29569 (java) S 29551 29551 28203 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 220293940 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29570] ppid=29551 vsize=861196 CPUtime=0.41
/proc/29565/task/29570/stat : 29570 (java) S 29551 29551 28203 0 -1 64 1117 0 0 0 39 2 0 0 16 0 8 0 220293940 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29571] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29571/stat : 29571 (java) S 29551 29551 28203 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 220293940 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29565/tid=29572] ppid=29551 vsize=861196 CPUtime=0
/proc/29565/task/29572/stat : 29572 (java) S 29551 29551 28203 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 220293940 881864704 22327 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 908772

[startup+102.453 s]
/proc/loadavg: 1.00 1.03 1.28 2/66 29573
/proc/meminfo: memFree=1761048/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=148548 CPUtime=1.96
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 35284 0 0 0 176 20 0 0 25 0 1 0 220303937 152113152 35266 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 37137 35266 54 142 0 36993 0
Current children cumulated CPU time (s) 101.69

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

[startup+703.206 s]
/proc/loadavg: 1.00 1.00 1.13 2/66 29575
/proc/meminfo: memFree=1187736/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=706976 CPUtime=602.29
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 174093 0 0 0 60110 119 0 0 25 0 1 0 220303937 723943424 174075 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 176744 174075 54 142 0 176600 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 754552

[startup+763.282 s]
/proc/loadavg: 1.00 1.00 1.12 2/66 29575
/proc/meminfo: memFree=1173272/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=721340 CPUtime=662.31
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 177689 0 0 0 66109 122 0 0 25 0 1 0 220303937 738652160 177671 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 180335 177671 54 142 0 180191 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 768916

[startup+823.357 s]
/proc/loadavg: 1.00 1.00 1.11 2/66 29575
/proc/meminfo: memFree=1156632/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=738260 CPUtime=722.35
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 181867 0 0 0 72109 126 0 0 25 0 1 0 220303937 755978240 181849 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 184565 181849 54 142 0 184421 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 785836

[startup+883.432 s]
/proc/loadavg: 1.00 1.00 1.10 2/66 29575
/proc/meminfo: memFree=1142232/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=752508 CPUtime=782.4
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 185405 0 0 0 78110 130 0 0 25 0 1 0 220303937 770568192 185387 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529453 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 188127 185387 54 142 0 187983 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 800084

[startup+943.504 s]
/proc/loadavg: 1.00 1.00 1.09 2/66 29575
/proc/meminfo: memFree=1123224/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=771628 CPUtime=842.43
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 190170 0 0 0 84109 134 0 0 25 0 1 0 220303937 790147072 190152 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 192907 190152 54 142 0 192763 0
Current children cumulated CPU time (s) 942.16
Current children cumulated vsize (KiB) 819204

[startup+1003.57 s]
/proc/loadavg: 1.04 1.01 1.09 2/66 29575
/proc/meminfo: memFree=1107288/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=787468 CPUtime=902.45
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 194166 0 0 0 90107 138 0 0 25 0 1 0 220303937 806367232 194148 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 196867 194148 54 142 0 196723 0
Current children cumulated CPU time (s) 1002.18
Current children cumulated vsize (KiB) 835044

[startup+1063.64 s]
/proc/loadavg: 1.04 1.02 1.09 2/66 29575
/proc/meminfo: memFree=1091352/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=804372 CPUtime=962.49
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 198224 0 0 0 96107 142 0 0 25 0 1 0 220303937 823676928 198190 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 201093 198190 54 142 0 200949 0
Current children cumulated CPU time (s) 1062.22
Current children cumulated vsize (KiB) 851948

[startup+1123.72 s]
/proc/loadavg: 1.01 1.02 1.08 2/66 29575
/proc/meminfo: memFree=1079064/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=816272 CPUtime=1022.52
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 201185 0 0 0 102107 145 0 0 25 0 1 0 220303937 835862528 201151 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 204068 201151 54 142 0 203924 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 863848

[startup+1183.8 s]
/proc/loadavg: 1.12 1.04 1.08 2/66 29575
/proc/meminfo: memFree=1066776/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=828612 CPUtime=1082.56
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 204242 0 0 0 108108 148 0 0 25 0 1 0 220303937 848498688 204208 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529368 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 207153 204208 54 142 0 207009 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 876188

[startup+1243.87 s]
/proc/loadavg: 1.04 1.03 1.08 2/66 29575
/proc/meminfo: memFree=1052568/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=842736 CPUtime=1142.59
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 207816 0 0 0 114108 151 0 0 25 0 1 0 220303937 862961664 207782 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529321 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 210684 207782 54 142 0 210540 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 890312

[startup+1303.94 s]
/proc/loadavg: 1.01 1.02 1.07 2/66 29575
/proc/meminfo: memFree=1038424/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=856680 CPUtime=1202.63
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 211295 0 0 0 120108 155 0 0 25 0 1 0 220303937 877240320 211261 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 214170 211261 54 142 0 214026 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 904256

[startup+1364.02 s]
/proc/loadavg: 1.00 1.02 1.07 2/66 29575
/proc/meminfo: memFree=1021720/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=873512 CPUtime=1262.67
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 215469 0 0 0 126108 159 0 0 25 0 1 0 220303937 894476288 215435 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529444 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 218378 215435 54 142 0 218234 0
Current children cumulated CPU time (s) 1362.4
Current children cumulated vsize (KiB) 921088



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1366.08 s]
/proc/loadavg: 1.00 1.02 1.07 2/66 29575
/proc/meminfo: memFree=1021208/2055920 swapFree=4191892/4192956
[pid=29551] ppid=29549 vsize=47576 CPUtime=99.73
/proc/29551/stat : 29551 (galac.sh) S 29549 29551 28203 0 -1 4194304 794 24448 6 5 0 0 9924 49 16 0 1 0 220293889 48717824 364 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 240577080154 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/29551/statm: 11894 364 246 79 0 218 0
[pid=29573] ppid=29551 vsize=874040 CPUtime=1264.72
/proc/29573/stat : 29573 (minisat) R 29551 29551 28203 0 -1 4194304 215591 0 0 0 126313 159 0 0 25 0 1 0 220303937 895016960 215557 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29573/statm: 218510 215557 54 142 0 218366 0
Current children cumulated CPU time (s) 1364.45
Current children cumulated vsize (KiB) 921616

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

Child ended because it received signal 15 (SIGTERM)

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29551 and gives childrusage.ru_utime.tv_sec=99 childrusage.ru_utime.tv_usec=250911 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=502923
CPU time returned by wait4() is 99.7538
while last known CPU time is 0

Using last known CPU time as value...

Real time (s): 1366.09
CPU time (s): 0
CPU user time (s): 0
CPU system time (s): 0
CPU usage (%): 0
Max. virtual memory (cumulated for all children) (KiB): 921616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.2509
system time used= 0.502923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25242
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4292
involuntary context switches= 2875

runsolver used 1.14482 s user time and 3.71843 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan 13 20:09:13 UTC 2007


IDJOB= 237904
IDBENCH= 6970
IDSOLVER= 78
FILE ID= node50/237904-1168718952

PBS_JOBID= 3547595

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  0722ca56c46929635c236adaf10e929a

RANDOM SEED= 238475051

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	: 5931.00
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:       1945272 kB
Buffers:          3724 kB
Cached:          44088 kB
SwapCached:        264 kB
Active:          46880 kB
Inactive:        16104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1945272 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7912 kB
Writeback:           0 kB
Mapped:          24088 kB
Slab:            33664 kB
Committed_AS:  5048212 kB
PageTables:       1460 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= 66501 MiB



End job on node50 on Sat Jan 13 20:32:00 UTC 2007