Trace number 237680

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.02 1809.59

General information on the benchmark

Namehaystacks/
haystacks_29.xml
MD5SUM6ea2fd023b80d39fcc8c5d27a75b4ff2
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 benchmark55.5806
SatisfiableNO
(Un)Satisfiability was proved
Number of variables841
Number of constraints11802
Maximum constraint arity2
Maximum domain size29
Number of constraints which are defined in extension0
Number of constraints which are defined in intension11802
Global constraints used (with number of constraints)

Solver Data (download as text)

0.03	c --- Preproc Stats ---
6.17	c start processing
6.17	c start relation processing
6.18	c start cnf exporting
21.22	c parsing time : 5.994
21.22	c preprocessing time : 21.051
21.23	
21.23	c Nary constraints - conflicts : 0 supports : 0
21.23	c Binary constraints - conflicts : 11774 supports :28
21.23	c max arity constraint : 2
21.23	c Max Tuples generated 841
21.23	c relations : 4
21.23	c relations BDD: 0
21.23	c vars : 24390 - clauses :  686925
21.23	
21.27	 
21.27	c --- Minisat Stats ---
21.27

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/node15/watcher-237680-1168436246 -o ROOT/results/node15/solver-237680-1168436246 -C 1800 -M 900 /tmp/evaluation/237680-1168436246/galac.sh /tmp/evaluation/237680-1168436246/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: 2.01 2.01 2.00 3/94 1085
/proc/meminfo: memFree=1464840/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=5244 CPUtime=0
/proc/1084/stat : 1084 (galac.sh) R 1082 1084 32658 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 192019445 5369856 122 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 4389095 0 0 4096 0 0 0 0 17 1 0 0
/proc/1084/statm: 1311 122 89 79 0 115 0

[startup+0.103817 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 1085
/proc/meminfo: memFree=1464840/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=0.01
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 762 1704 0 0 0 0 0 1 24 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560

[startup+0.511882 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 1085
/proc/meminfo: memFree=1464840/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=0.01
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 762 1704 0 0 0 0 0 1 24 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560

[startup+1.33502 s]
/proc/loadavg: 2.01 2.01 2.00 4/102 1105
/proc/meminfo: memFree=1425096/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=0.01
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 762 1704 0 0 0 0 0 1 24 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1098] ppid=1084 vsize=860972 CPUtime=1.26
/proc/1098/stat : 1098 (java) R 1084 1084 32658 0 -1 0 12042 0 1 0 118 8 0 0 17 0 8 0 192019449 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073458828 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1098/statm: 215243 11794 1991 14 0 201500 0
[pid=1098/tid=1099] ppid=1084 vsize=860972 CPUtime=0.1
/proc/1098/task/1099/stat : 1099 (java) S 1084 1084 32658 0 -1 64 3416 0 0 0 9 1 0 0 16 0 8 0 192019453 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1100] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1100/stat : 1100 (java) S 1084 1084 32658 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1101] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1101/stat : 1101 (java) S 1084 1084 32658 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1102] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1102/stat : 1102 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192019457 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1103] ppid=1084 vsize=860972 CPUtime=0.31
/proc/1098/task/1103/stat : 1103 (java) R 1084 1084 32658 0 -1 64 1035 0 0 0 30 1 0 0 21 0 8 0 192019457 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1104] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1104/stat : 1104 (java) S 1084 1084 32658 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192019457 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1105] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1105/stat : 1105 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 192019457 881635328 11794 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 908532

[startup+2.98331 s]
/proc/loadavg: 2.09 2.02 2.01 4/102 1105
/proc/meminfo: memFree=1417992/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=0.01
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 762 1704 0 0 0 0 0 1 24 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1098] ppid=1084 vsize=860972 CPUtime=2.89
/proc/1098/stat : 1098 (java) R 1084 1084 32658 0 -1 0 18313 0 1 0 277 12 0 0 25 0 8 0 192019449 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1098/statm: 215243 18063 1996 14 0 201500 0
[pid=1098/tid=1099] ppid=1084 vsize=860972 CPUtime=0.15
/proc/1098/task/1099/stat : 1099 (java) S 1084 1084 32658 0 -1 64 3428 0 0 0 14 1 0 0 17 0 8 0 192019453 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1100] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1100/stat : 1100 (java) S 1084 1084 32658 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1101] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1101/stat : 1101 (java) S 1084 1084 32658 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1102] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1102/stat : 1102 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192019457 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1103] ppid=1084 vsize=860972 CPUtime=0.36
/proc/1098/task/1103/stat : 1103 (java) S 1084 1084 32658 0 -1 64 1059 0 0 0 35 1 0 0 21 0 8 0 192019457 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1104] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1104/stat : 1104 (java) S 1084 1084 32658 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192019457 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1105] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1105/stat : 1105 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 192019457 881635328 18063 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 908532

[startup+6.27888 s]
/proc/loadavg: 2.09 2.02 2.01 3/102 1105
/proc/meminfo: memFree=1393360/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=0.01
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 762 1704 0 0 0 0 0 1 24 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1098] ppid=1084 vsize=860972 CPUtime=6.16
/proc/1098/stat : 1098 (java) R 1084 1084 32658 0 -1 0 19927 0 1 0 603 13 0 0 25 0 8 0 192019449 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1098/statm: 215243 19675 2016 14 0 201500 0
[pid=1098/tid=1099] ppid=1084 vsize=860972 CPUtime=0.16
/proc/1098/task/1099/stat : 1099 (java) S 1084 1084 32658 0 -1 64 3861 0 0 0 15 1 0 0 16 0 8 0 192019453 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1100] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1100/stat : 1100 (java) S 1084 1084 32658 0 -1 64 12 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1101] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1101/stat : 1101 (java) S 1084 1084 32658 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1102] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1102/stat : 1102 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192019457 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1103] ppid=1084 vsize=860972 CPUtime=0.4
/proc/1098/task/1103/stat : 1103 (java) R 1084 1084 32658 0 -1 64 1084 0 0 0 39 1 0 0 16 0 8 0 192019457 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4153528160 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1104] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1104/stat : 1104 (java) S 1084 1084 32658 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192019457 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1105] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1105/stat : 1105 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 192019457 881635328 19675 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 908532

[startup+12.6834 s]
/proc/loadavg: 2.23 2.05 2.02 3/102 1105
/proc/meminfo: memFree=1387088/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=0.01
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 762 1704 0 0 0 0 0 1 24 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1098] ppid=1084 vsize=860972 CPUtime=12.54
/proc/1098/stat : 1098 (java) R 1084 1084 32658 0 -1 0 20176 0 1 0 1238 16 0 0 25 0 8 0 192019449 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4074361623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1098/statm: 215243 19912 2017 14 0 201500 0
[pid=1098/tid=1099] ppid=1084 vsize=860972 CPUtime=0.24
/proc/1098/task/1099/stat : 1099 (java) S 1084 1084 32658 0 -1 64 4079 0 0 0 23 1 0 0 16 0 8 0 192019453 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1100] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1100/stat : 1100 (java) S 1084 1084 32658 0 -1 64 12 0 0 0 0 0 0 0 16 0 8 0 192019453 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1101] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1101/stat : 1101 (java) S 1084 1084 32658 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 192019453 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1102] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1102/stat : 1102 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 192019457 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1103] ppid=1084 vsize=860972 CPUtime=0.45
/proc/1098/task/1103/stat : 1103 (java) S 1084 1084 32658 0 -1 64 1103 0 0 0 43 2 0 0 16 0 8 0 192019457 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1104] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1104/stat : 1104 (java) S 1084 1084 32658 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 192019457 881635328 19912 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1098/tid=1105] ppid=1084 vsize=860972 CPUtime=0
/proc/1098/task/1105/stat : 1105 (java) S 1084 1084 32658 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 192019457 881635328 19912 18446744073709551615 134512640 134570532 4294956096 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) 908532

[startup+25.549 s]
/proc/loadavg: 2.20 2.05 2.01 3/95 1106
/proc/meminfo: memFree=1401096/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=56308 CPUtime=4.25
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 13902 0 0 0 416 9 0 0 25 0 1 0 192021572 57659392 13884 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529414 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 14077 13884 54 142 0 13933 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 103868

[startup+51.1674 s]
/proc/loadavg: 2.13 2.05 2.01 3/95 1106
/proc/meminfo: memFree=1346952/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=107604 CPUtime=29.74
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 26690 0 0 0 2957 17 0 0 25 0 1 0 192021572 110186496 26672 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 26901 26672 54 142 0 26757 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 155164

[startup+102.398 s]
/proc/loadavg: 2.05 2.04 2.01 3/95 1106
/proc/meminfo: memFree=1307080/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=147240 CPUtime=80.73
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 36513 0 0 0 8045 28 0 0 25 0 1 0 192021572 150773760 36495 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 36810 36495 54 142 0 36666 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 194800

[startup+162.47 s]
/proc/loadavg: 2.02 2.03 2.00 3/95 1106
/proc/meminfo: memFree=1255112/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=198904 CPUtime=140.51
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 49310 0 0 0 14012 39 0 0 25 0 1 0 192021572 203677696 49292 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 49726 49292 54 142 0 49582 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 246464

[startup+222.492 s]
/proc/loadavg: 2.33 2.10 2.02 3/95 1106
/proc/meminfo: memFree=1236936/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=216420 CPUtime=200.26
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 53659 0 0 0 19980 46 0 0 25 0 1 0 192021572 221614080 53641 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 54105 53641 54 142 0 53961 0
Current children cumulated CPU time (s) 221.33
Current children cumulated vsize (KiB) 263980

[startup+282.551 s]
/proc/loadavg: 2.26 2.11 2.03 3/95 1106

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

/proc/loadavg: 2.09 2.08 2.01 3/95 1106
/proc/meminfo: memFree=808328/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=639764 CPUtime=1096.97
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 158422 0 0 0 109524 173 0 0 25 0 1 0 192021572 655118336 158404 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 159941 158404 54 142 0 159797 0
Current children cumulated CPU time (s) 1118.04
Current children cumulated vsize (KiB) 687324

[startup+1183.53 s]
/proc/loadavg: 2.03 2.06 2.01 3/95 1106
/proc/meminfo: memFree=801288/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=646596 CPUtime=1156.72
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 160073 0 0 0 115497 175 0 0 25 0 1 0 192021572 662114304 160055 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529456 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 161649 160055 54 142 0 161505 0
Current children cumulated CPU time (s) 1177.79
Current children cumulated vsize (KiB) 694156

[startup+1243.58 s]
/proc/loadavg: 2.05 2.06 2.01 5/95 1106
/proc/meminfo: memFree=792968/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=654256 CPUtime=1216.32
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 162037 0 0 0 121453 179 0 0 25 0 1 0 192021572 669958144 162019 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 163564 162019 54 142 0 163420 0
Current children cumulated CPU time (s) 1237.39
Current children cumulated vsize (KiB) 701816

[startup+1303.63 s]
/proc/loadavg: 2.14 2.08 2.01 3/95 1106
/proc/meminfo: memFree=784648/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=662240 CPUtime=1275.81
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 164015 0 0 0 127399 182 0 0 25 0 1 0 192021572 678133760 163997 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 165560 163997 54 142 0 165416 0
Current children cumulated CPU time (s) 1296.88
Current children cumulated vsize (KiB) 709800

[startup+1363.69 s]
/proc/loadavg: 2.08 2.08 2.01 3/95 1106
/proc/meminfo: memFree=776328/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=670200 CPUtime=1335.33
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 165964 0 0 0 133348 185 0 0 25 0 1 0 192021572 686284800 165946 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134525757 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 167550 165946 54 142 0 167406 0
Current children cumulated CPU time (s) 1356.4
Current children cumulated vsize (KiB) 717760

[startup+1423.72 s]
/proc/loadavg: 2.03 2.06 2.00 3/101 1172
/proc/meminfo: memFree=764608/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=680156 CPUtime=1394.73
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 168450 0 0 0 139285 188 0 0 25 0 1 0 192021572 696479744 168432 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 170039 168432 54 142 0 169895 0
Current children cumulated CPU time (s) 1415.8
Current children cumulated vsize (KiB) 727716

[startup+1483.77 s]
/proc/loadavg: 2.01 2.05 2.00 3/101 1266
/proc/meminfo: memFree=752840/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=691520 CPUtime=1454.04
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 171284 0 0 0 145213 191 0 0 25 0 1 0 192021572 708116480 171266 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/1106/statm: 172880 171266 54 142 0 172736 0
Current children cumulated CPU time (s) 1475.11
Current children cumulated vsize (KiB) 739080

[startup+1543.78 s]
/proc/loadavg: 1.83 2.00 1.99 2/82 1349
/proc/meminfo: memFree=856944/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=700692 CPUtime=1513.52
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 173548 0 0 0 151158 194 0 0 25 0 1 0 192021572 717508608 173522 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/1106/statm: 175173 173522 54 142 0 175029 0
Current children cumulated CPU time (s) 1534.59
Current children cumulated vsize (KiB) 748252

[startup+1603.8 s]
/proc/loadavg: 1.37 1.83 1.93 2/82 1558
/proc/meminfo: memFree=847856/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=710412 CPUtime=1573.49
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 175960 0 0 0 157150 199 0 0 25 0 1 0 192021572 727461888 175934 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529461 0 0 4096 3 0 0 0 17 0 0 0
/proc/1106/statm: 177603 175934 54 142 0 177459 0
Current children cumulated CPU time (s) 1594.56
Current children cumulated vsize (KiB) 757972

[startup+1663.81 s]
/proc/loadavg: 1.14 1.68 1.87 2/82 1859
/proc/meminfo: memFree=837872/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=720356 CPUtime=1633.45
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 178372 0 0 0 163140 205 0 0 25 0 1 0 192021572 737644544 178346 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/1106/statm: 180089 178346 54 142 0 179945 0
Current children cumulated CPU time (s) 1654.52
Current children cumulated vsize (KiB) 767916

[startup+1723.89 s]
/proc/loadavg: 1.51 1.68 1.85 4/95 2011
/proc/meminfo: memFree=591928/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=727880 CPUtime=1693.42
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 180215 0 0 0 169133 209 0 0 25 0 1 0 192021572 745349120 180189 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529430 0 0 4096 3 0 0 0 17 0 0 0
/proc/1106/statm: 181970 180189 54 142 0 181826 0
Current children cumulated CPU time (s) 1714.49
Current children cumulated vsize (KiB) 775440

[startup+1783.99 s]
/proc/loadavg: 1.85 1.75 1.86 3/95 2131
/proc/meminfo: memFree=184312/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=736092 CPUtime=1753.37
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 182176 0 0 0 175125 212 0 0 25 0 1 0 192021572 753758208 182142 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/1106/statm: 184023 182142 54 142 0 183879 0
Current children cumulated CPU time (s) 1774.44
Current children cumulated vsize (KiB) 783652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.58 s]
/proc/loadavg: 1.90 1.77 1.87 3/95 2131
/proc/meminfo: memFree=181752/2055920 swapFree=4174172/4192956
[pid=1084] ppid=1082 vsize=47560 CPUtime=21.07
/proc/1084/stat : 1084 (galac.sh) S 1082 1084 32658 0 -1 4194304 800 22236 0 1 0 0 2085 22 17 0 1 0 192019445 48701440 365 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 240472222554 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/1084/statm: 11890 365 247 79 0 218 0
[pid=1106] ppid=1084 vsize=738628 CPUtime=1778.95
/proc/1106/stat : 1106 (minisat) R 1084 1084 32658 0 -1 4194304 182800 0 0 0 177681 214 0 0 25 0 1 0 192021572 756355072 182766 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 0 0 0
/proc/1106/statm: 184657 182766 54 142 0 184513 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 786188

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 1084 and gives childrusage.ru_utime.tv_sec=20 childrusage.ru_utime.tv_usec=859828 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=233964
CPU time returned by wait4() is 21.0938
while last known CPU time is 1800.02

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

Real time (s): 1809.59
CPU time (s): 1800.02
CPU user time (s): 1797.66
CPU system time (s): 2.36
CPU usage (%): 99.4712
Max. virtual memory (cumulated for all children) (KiB): 908532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8598
system time used= 0.233964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23036
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= 1908
involuntary context switches= 2908

runsolver used 2.16467 s user time and 5.73713 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Wed Jan 10 13:37:26 UTC 2007


IDJOB= 237680
IDBENCH= 6956
FILE ID= node15/237680-1168436246

PBS_JOBID= 3523681

Free space on /tmp= 66551 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_29.xml
COMMAND LINE= /tmp/evaluation/237680-1168436246/galac.sh /tmp/evaluation/237680-1168436246/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-237680-1168436246 -o ROOT/results/node15/solver-237680-1168436246 -C 1800 -M 900  /tmp/evaluation/237680-1168436246/galac.sh /tmp/evaluation/237680-1168436246/unknown.xml

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  6ea2fd023b80d39fcc8c5d27a75b4ff2

RANDOM SEED= 306493296

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.276
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.276
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:       1465384 kB
Buffers:         41372 kB
Cached:         344816 kB
SwapCached:       6172 kB
Active:         186680 kB
Inactive:       327152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1465384 kB
SwapTotal:     4192956 kB
SwapFree:      4174172 kB
Dirty:            4268 kB
Writeback:           0 kB
Mapped:         146220 kB
Slab:            61116 kB
Committed_AS:  7360644 kB
PageTables:       2676 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= 66550 MiB



End job on node15 on Wed Jan 10 14:07:36 UTC 2007