Trace number 203161

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? (TO) 1800.06 1808.19

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-27_ext.xml
MD5SUMed6a1a368f1d19d26870e598c1e4b517
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
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 variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.03	c --- Preproc Stats ---
5.29	c start processing
5.29	c start relation processing
19.80	c start cnf exporting
79.12	c parsing time : 5.136
79.12	c preprocessing time : 78.966
79.12	
79.12	c Nary constraints - conflicts : 0 supports : 93
79.12	c Binary constraints - conflicts : 0 supports :0
79.12	c max arity constraint : 3
79.12	c Max Tuples generated 0
79.12	c relations : 93
79.12	c relations BDD: 93
79.12	c vars : 598517 - clauses :  1875408
79.12	
79.19	 
79.19	c --- Minisat Stats ---
79.19

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/node76/watcher-203161-1168157088 -o ROOT/results/node76/solver-203161-1168157088 -C 1800 -M 900 /tmp/evaluation/203161-1168157088/galac.sh /tmp/evaluation/203161-1168157088/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.92 1.98 1.83 3/79 23879
/proc/meminfo: memFree=1330904/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=6400 CPUtime=0
/proc/23878/stat : 23878 (galac.sh) R 23876 23878 22861 0 -1 4194304 256 0 0 0 0 0 0 0 20 0 1 0 164105869 6553600 218 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206844162093 0 0 4096 8192 0 0 0 17 0 0 0
/proc/23878/statm: 1600 218 168 79 0 122 0

[startup+0.102505 s]
/proc/loadavg: 1.92 1.98 1.83 3/79 23879
/proc/meminfo: memFree=1330904/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 56344

[startup+0.510587 s]
/proc/loadavg: 1.92 1.98 1.83 3/79 23879
/proc/meminfo: memFree=1330904/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 56344

[startup+1.33275 s]
/proc/loadavg: 1.92 1.98 1.83 3/87 23899
/proc/meminfo: memFree=1253840/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23892] ppid=23878 vsize=860860 CPUtime=1.27
/proc/23892/stat : 23892 (java) R 23878 23878 22861 0 -1 0 21611 0 1 0 115 12 0 0 25 0 8 0 164105872 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4155765893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23892/statm: 215215 21366 1971 14 0 201471 0
[pid=23892/tid=23893] ppid=23878 vsize=860860 CPUtime=0.08
/proc/23892/task/23893/stat : 23893 (java) S 23878 23878 22861 0 -1 64 5856 0 0 0 5 3 0 0 16 0 8 0 164105876 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23894] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23894/stat : 23894 (java) S 23878 23878 22861 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164105876 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23895] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23895/stat : 23895 (java) S 23878 23878 22861 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164105876 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23896] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23896/stat : 23896 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164105879 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23897] ppid=23878 vsize=860860 CPUtime=0.12
/proc/23892/task/23897/stat : 23897 (java) S 23878 23878 22861 0 -1 64 893 0 0 0 11 1 0 0 16 0 8 0 164105880 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23898] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23898/stat : 23898 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164105880 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23899] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23899/stat : 23899 (java) S 23878 23878 22861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164105880 881520640 21366 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 917204

[startup+2.98307 s]
/proc/loadavg: 1.92 1.98 1.83 3/87 23899
/proc/meminfo: memFree=1242320/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23892] ppid=23878 vsize=860860 CPUtime=2.9
/proc/23892/stat : 23892 (java) R 23878 23878 22861 0 -1 0 26015 0 1 0 276 14 0 0 25 0 8 0 164105872 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073646389 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23892/statm: 215215 25764 1971 14 0 201471 0
[pid=23892/tid=23893] ppid=23878 vsize=860860 CPUtime=0.24
/proc/23892/task/23893/stat : 23893 (java) S 23878 23878 22861 0 -1 64 10242 0 0 0 19 5 0 0 16 0 8 0 164105876 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23894] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23894/stat : 23894 (java) S 23878 23878 22861 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164105876 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23895] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23895/stat : 23895 (java) S 23878 23878 22861 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164105876 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23896] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23896/stat : 23896 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164105879 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23897] ppid=23878 vsize=860860 CPUtime=0.14
/proc/23892/task/23897/stat : 23897 (java) S 23878 23878 22861 0 -1 64 905 0 0 0 13 1 0 0 16 0 8 0 164105880 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23898] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23898/stat : 23898 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164105880 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23899] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23899/stat : 23899 (java) S 23878 23878 22861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164105880 881520640 25764 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 917204

[startup+6.27373 s]
/proc/loadavg: 2.09 2.02 1.84 3/87 23899
/proc/meminfo: memFree=1213072/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23892] ppid=23878 vsize=860860 CPUtime=6.17
/proc/23892/stat : 23892 (java) R 23878 23878 22861 0 -1 0 31398 0 1 0 599 18 0 0 25 0 8 0 164105872 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23892/statm: 215215 31137 1979 14 0 201471 0
[pid=23892/tid=23893] ppid=23878 vsize=860860 CPUtime=0.44
/proc/23892/task/23893/stat : 23893 (java) R 23878 23878 22861 0 -1 64 15554 0 0 0 37 7 0 0 16 0 8 0 164105876 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4153823240 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23894] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23894/stat : 23894 (java) S 23878 23878 22861 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164105876 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23895] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23895/stat : 23895 (java) S 23878 23878 22861 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164105876 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23896] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23896/stat : 23896 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164105879 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23897] ppid=23878 vsize=860860 CPUtime=0.22
/proc/23892/task/23897/stat : 23897 (java) S 23878 23878 22861 0 -1 64 947 0 0 0 21 1 0 0 15 0 8 0 164105880 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23898] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23898/stat : 23898 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164105880 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23899] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23899/stat : 23899 (java) S 23878 23878 22861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164105880 881520640 31137 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 917204

[startup+12.769 s]
/proc/loadavg: 2.08 2.02 1.85 3/87 23899
/proc/meminfo: memFree=1120160/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23892] ppid=23878 vsize=860860 CPUtime=12.6
/proc/23892/stat : 23892 (java) R 23878 23878 22861 0 -1 0 54643 0 1 0 1230 30 0 0 25 0 8 0 164105872 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073918174 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23892/statm: 215215 54380 1979 14 0 201471 0
[pid=23892/tid=23893] ppid=23878 vsize=860860 CPUtime=1.49
/proc/23892/task/23893/stat : 23893 (java) S 23878 23878 22861 0 -1 64 38797 0 0 0 129 20 0 0 16 0 8 0 164105876 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23894] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23894/stat : 23894 (java) S 23878 23878 22861 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 164105876 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23895] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23895/stat : 23895 (java) S 23878 23878 22861 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164105876 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23896] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23896/stat : 23896 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164105879 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23897] ppid=23878 vsize=860860 CPUtime=0.22
/proc/23892/task/23897/stat : 23897 (java) S 23878 23878 22861 0 -1 64 947 0 0 0 21 1 0 0 15 0 8 0 164105880 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23898] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23898/stat : 23898 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164105880 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23899] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23899/stat : 23899 (java) S 23878 23878 22861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164105880 881520640 54380 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 917204

[startup+25.6245 s]
/proc/loadavg: 2.06 2.01 1.85 3/87 23899
/proc/meminfo: memFree=985376/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23892] ppid=23878 vsize=860860 CPUtime=25.36
/proc/23892/stat : 23892 (java) R 23878 23878 22861 0 -1 0 87676 0 1 0 2483 53 0 0 25 0 8 0 164105872 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073503897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23892/statm: 215215 87401 1998 14 0 201471 0
[pid=23892/tid=23893] ppid=23878 vsize=860860 CPUtime=2.93
/proc/23892/task/23893/stat : 23893 (java) S 23878 23878 22861 0 -1 64 71744 0 0 0 254 39 0 0 16 0 8 0 164105876 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23894] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23894/stat : 23894 (java) S 23878 23878 22861 0 -1 64 12 0 0 0 0 0 0 0 17 0 8 0 164105876 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23895] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23895/stat : 23895 (java) S 23878 23878 22861 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164105876 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23896] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23896/stat : 23896 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164105879 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23897] ppid=23878 vsize=860860 CPUtime=0.28
/proc/23892/task/23897/stat : 23897 (java) S 23878 23878 22861 0 -1 64 984 0 0 0 27 1 0 0 15 0 8 0 164105880 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23898] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23898/stat : 23898 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164105880 881520640 87401 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23899] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23899/stat : 23899 (java) S 23878 23878 22861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164105880 881520640 87401 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) 917204

[startup+51.2595 s]
/proc/loadavg: 2.04 2.01 1.85 3/87 23899
/proc/meminfo: memFree=969824/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=0.01
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 757 1668 0 0 0 0 0 1 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23892] ppid=23878 vsize=860860 CPUtime=50.75
/proc/23892/stat : 23892 (java) R 23878 23878 22861 0 -1 0 87723 0 1 0 5013 62 0 0 25 0 8 0 164105872 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4073670424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23892/statm: 215215 87402 1999 14 0 201471 0
[pid=23892/tid=23893] ppid=23878 vsize=860860 CPUtime=3.02
/proc/23892/task/23893/stat : 23893 (java) S 23878 23878 22861 0 -1 64 71745 0 0 0 262 40 0 0 16 0 8 0 164105876 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23894] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23894/stat : 23894 (java) S 23878 23878 22861 0 -1 64 12 0 0 0 0 0 0 0 17 0 8 0 164105876 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23895] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23895/stat : 23895 (java) S 23878 23878 22861 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 164105876 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23896] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23896/stat : 23896 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164105879 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23897] ppid=23878 vsize=860860 CPUtime=0.28
/proc/23892/task/23897/stat : 23897 (java) S 23878 23878 22861 0 -1 64 984 0 0 0 27 1 0 0 15 0 8 0 164105880 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23898] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23898/stat : 23898 (java) S 23878 23878 22861 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 164105880 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23892/tid=23899] ppid=23878 vsize=860860 CPUtime=0
/proc/23892/task/23899/stat : 23899 (java) S 23878 23878 22861 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164105880 881520640 87402 18446744073709551615 134512640 134570532 4294956112 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 917204

[startup+102.556 s]
/proc/loadavg: 2.02 2.01 1.85 3/80 23900
/proc/meminfo: memFree=1183320/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=122380 CPUtime=23.32
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 28175 0 0 0 2311 21 0 0 25 0 1 0 164113788 125317120 28157 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 30595 28157 54 142 0 30451 0
Current children cumulated CPU time (s) 101.76

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

/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=1073688/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=252684 CPUtime=1040.33
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 60566 0 0 0 103981 52 0 0 25 0 1 0 164113788 258748416 60548 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134521398 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 63171 60548 54 142 0 63027 0
Current children cumulated CPU time (s) 1118.77
Current children cumulated vsize (KiB) 309028

[startup+1183.83 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=1059544/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=266724 CPUtime=1100.15
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 64068 0 0 0 109960 55 0 0 25 0 1 0 164113788 273125376 64050 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 66681 64050 54 142 0 66537 0
Current children cumulated CPU time (s) 1178.59
Current children cumulated vsize (KiB) 323068

[startup+1243.91 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=1046360/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=279980 CPUtime=1159.97
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 67393 0 0 0 115939 58 0 0 25 0 1 0 164113788 286699520 67375 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 69995 67375 54 142 0 69851 0
Current children cumulated CPU time (s) 1238.41
Current children cumulated vsize (KiB) 336324

[startup+1303.99 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=1033688/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=292604 CPUtime=1219.74
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 70571 0 0 0 121913 61 0 0 25 0 1 0 164113788 299626496 70553 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529351 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 73151 70553 54 142 0 73007 0
Current children cumulated CPU time (s) 1298.18
Current children cumulated vsize (KiB) 348948

[startup+1364.06 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=1019096/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=306976 CPUtime=1279.54
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 74161 0 0 0 127891 63 0 0 25 0 1 0 164113788 314343424 74143 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 76744 74143 54 142 0 76600 0
Current children cumulated CPU time (s) 1357.98
Current children cumulated vsize (KiB) 363320

[startup+1424.14 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=984856/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=341164 CPUtime=1339.35
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 82729 0 0 0 133867 68 0 0 25 0 1 0 164113788 349351936 82711 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 85291 82711 54 142 0 85147 0
Current children cumulated CPU time (s) 1417.79
Current children cumulated vsize (KiB) 397508

[startup+1484.21 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=964824/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=361296 CPUtime=1399.15
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 87734 0 0 0 139843 72 0 0 25 0 1 0 164113788 369967104 87716 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525757 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 90324 87716 54 142 0 90180 0
Current children cumulated CPU time (s) 1477.59
Current children cumulated vsize (KiB) 417640

[startup+1544.29 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=953496/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=372668 CPUtime=1458.95
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 90587 0 0 0 145822 73 0 0 25 0 1 0 164113788 381612032 90569 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 93167 90569 54 142 0 93023 0
Current children cumulated CPU time (s) 1537.39
Current children cumulated vsize (KiB) 429012

[startup+1604.37 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=941912/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=384016 CPUtime=1518.76
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 93408 0 0 0 151801 75 0 0 25 0 1 0 164113788 393232384 93390 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 96004 93390 54 142 0 95860 0
Current children cumulated CPU time (s) 1597.2
Current children cumulated vsize (KiB) 440360

[startup+1664.45 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=928856/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=396964 CPUtime=1578.55
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 96676 0 0 0 157778 77 0 0 25 0 1 0 164113788 406491136 96658 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529417 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 99241 96658 54 142 0 99097 0
Current children cumulated CPU time (s) 1656.99
Current children cumulated vsize (KiB) 453308

[startup+1724.53 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=916824/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=409016 CPUtime=1638.35
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 99670 0 0 0 163755 80 0 0 25 0 1 0 164113788 418832384 99652 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529448 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 102254 99652 54 142 0 102110 0
Current children cumulated CPU time (s) 1716.79
Current children cumulated vsize (KiB) 465360

[startup+1784.6 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=911320/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=414472 CPUtime=1698.15
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 101042 0 0 0 169734 81 0 0 25 0 1 0 164113788 424419328 101024 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 103618 101024 54 142 0 103474 0
Current children cumulated CPU time (s) 1776.59
Current children cumulated vsize (KiB) 470816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.18 s]
/proc/loadavg: 1.99 1.98 1.91 3/79 24129
/proc/meminfo: memFree=909592/2055888 swapFree=4095388/4096564
[pid=23878] ppid=23876 vsize=56344 CPUtime=78.44
/proc/23878/stat : 23878 (galac.sh) S 23876 23878 22861 0 -1 4194304 795 89448 0 1 0 0 7766 78 17 0 1 0 164105869 57696256 366 18446744073709551615 4194304 4520092 548682069344 18446744073709551615 206843341162 0 2 4096 73728 18446744071563181405 0 0 17 1 0 0
/proc/23878/statm: 14086 366 248 79 0 218 0
[pid=23900] ppid=23878 vsize=416060 CPUtime=1721.62
/proc/23900/stat : 23900 (minisat) R 23878 23878 22861 0 -1 4194304 101463 0 0 0 172080 82 0 0 25 0 1 0 164113788 426045440 101445 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529361 0 0 4096 3 0 0 0 17 0 0 0
/proc/23900/statm: 104015 101445 54 142 0 103871 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 472404

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 23878 and gives childrusage.ru_utime.tv_sec=77 childrusage.ru_utime.tv_usec=674191 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=790879
CPU time returned by wait4() is 78.4651
while last known CPU time is 1800.06

Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...

Real time (s): 1808.19
CPU time (s): 1800.06
CPU user time (s): 1798.46
CPU system time (s): 1.6
CPU usage (%): 99.5502
Max. virtual memory (cumulated for all children) (KiB): 917204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.6742
system time used= 0.790879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90243
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= 3600
involuntary context switches= 4994

runsolver used 1.9787 s user time and 4.51331 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sun Jan  7 08:04:48 UTC 2007


IDJOB= 203161
IDBENCH= 3921
FILE ID= node76/203161-1168157088

PBS_JOBID= 3478518

Free space on /tmp= 66632 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-27_ext.xml
COMMAND LINE= /tmp/evaluation/203161-1168157088/galac.sh /tmp/evaluation/203161-1168157088/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-203161-1168157088 -o ROOT/results/node76/solver-203161-1168157088 -C 1800 -M 900  /tmp/evaluation/203161-1168157088/galac.sh /tmp/evaluation/203161-1168157088/unknown.xml

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  ed6a1a368f1d19d26870e598c1e4b517

RANDOM SEED= 277093282

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1331384 kB
Buffers:         58644 kB
Cached:         546508 kB
SwapCached:        456 kB
Active:         366768 kB
Inactive:       302884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1331384 kB
SwapTotal:     4096564 kB
SwapFree:      4095388 kB
Dirty:            8660 kB
Writeback:           0 kB
Mapped:          72320 kB
Slab:            40516 kB
Committed_AS:  6140264 kB
PageTables:       1876 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66598 MiB



End job on node76 on Sun Jan  7 08:34:56 UTC 2007