Trace number 218376

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.08 1808.1

General information on the benchmark

Namerandom/rand-3-20-20/
rand-3-20-20-60-632-29_ext.xml
MD5SUM1dccb7e9f0c68441fbea3ee60d9db5eb
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.6028
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables20
Number of constraints57
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension57
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 ---
1.71	c start processing
1.72	c start relation processing
4.72	c start cnf exporting
18.40	c parsing time : 1.549
18.40	c preprocessing time : 18.233
18.40	
18.40	c Nary constraints - conflicts : 0 supports : 57
18.40	c Binary constraints - conflicts : 0 supports :0
18.40	c max arity constraint : 3
18.40	c Max Tuples generated 0
18.40	c relations : 57
18.40	c relations BDD: 57
18.40	c vars : 124972 - clauses :  399520
18.40	
18.46	 
18.46	c --- Minisat Stats ---
18.46

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/node7/watcher-218376-1168252397 -o ROOT/results/node7/solver-218376-1168252397 -C 1800 -M 900 /tmp/evaluation/218376-1168252397/galac.sh /tmp/evaluation/218376-1168252397/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.99 5/98 18892
/proc/meminfo: memFree=1591224/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=8652 CPUtime=0
/proc/18891/stat : 18891 (galac.sh) R 18889 18891 18039 0 -1 4194304 335 0 0 0 0 0 0 0 16 0 1 0 173635199 8859648 279 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244671113887 0 65538 4096 73728 0 0 0 17 1 0 0
/proc/18891/statm: 2163 279 207 79 0 156 0
[pid=18893] ppid=18891 vsize=8688 CPUtime=0
/proc/18893/stat : 18893 (galac.sh) R 18891 18891 18039 0 -1 4194368 27 0 0 0 0 0 0 0 16 0 1 0 173635200 8896512 286 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244671113887 0 65536 4096 73728 0 0 0 17 1 0 0
/proc/18893/statm: 2172 286 209 79 0 165 0

[startup+0.102878 s]
/proc/loadavg: 1.92 1.98 1.99 5/98 18892
/proc/meminfo: memFree=1591224/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=0.01
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 762 1704 0 0 0 0 0 1 23 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+0.510921 s]
/proc/loadavg: 1.92 1.98 1.99 5/98 18892
/proc/meminfo: memFree=1591224/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=0.01
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 762 1704 0 0 0 0 0 1 23 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47564

[startup+1.33201 s]
/proc/loadavg: 1.92 1.98 1.99 3/106 18912
/proc/meminfo: memFree=1512824/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=0.01
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 762 1704 0 0 0 0 0 1 23 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18905] ppid=18891 vsize=860852 CPUtime=1.27
/proc/18905/stat : 18905 (java) R 18891 18891 18039 0 -1 0 21565 0 1 0 114 13 0 0 22 0 8 0 173635202 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073722326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18905/statm: 215213 21318 1966 14 0 201471 0
[pid=18905/tid=18906] ppid=18891 vsize=860852 CPUtime=0.06
/proc/18905/task/18906/stat : 18906 (java) S 18891 18891 18039 0 -1 64 5811 0 0 0 3 3 0 0 16 0 8 0 173635206 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18907] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18907/stat : 18907 (java) S 18891 18891 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173635207 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18908] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18908/stat : 18908 (java) S 18891 18891 18039 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 173635207 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18909] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18909/stat : 18909 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173635210 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18910] ppid=18891 vsize=860852 CPUtime=0.13
/proc/18905/task/18910/stat : 18910 (java) S 18891 18891 18039 0 -1 64 893 0 0 0 12 1 0 0 16 0 8 0 173635210 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18911] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18911/stat : 18911 (java) S 18891 18891 18039 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 173635210 881512448 21318 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18912] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18912/stat : 18912 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173635210 881512448 21318 18446744073709551615 134512640 134570532 4294956096 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) 908416

[startup+2.97918 s]
/proc/loadavg: 1.93 1.98 1.99 3/106 18912
/proc/meminfo: memFree=1507896/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=0.01
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 762 1704 0 0 0 0 0 1 23 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18905] ppid=18891 vsize=860852 CPUtime=2.91
/proc/18905/stat : 18905 (java) R 18891 18891 18039 0 -1 0 22812 0 1 0 277 14 0 0 25 0 8 0 173635202 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073821164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18905/statm: 215213 22562 1974 14 0 201471 0
[pid=18905/tid=18906] ppid=18891 vsize=860852 CPUtime=0.11
/proc/18905/task/18906/stat : 18906 (java) S 18891 18891 18039 0 -1 64 7013 0 0 0 8 3 0 0 17 0 8 0 173635206 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18907] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18907/stat : 18907 (java) S 18891 18891 18039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 173635207 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18908] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18908/stat : 18908 (java) S 18891 18891 18039 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 173635207 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18909] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18909/stat : 18909 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173635210 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18910] ppid=18891 vsize=860852 CPUtime=0.18
/proc/18905/task/18910/stat : 18910 (java) S 18891 18891 18039 0 -1 64 917 0 0 0 17 1 0 0 16 0 8 0 173635210 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18911] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18911/stat : 18911 (java) S 18891 18891 18039 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 173635210 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18912] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18912/stat : 18912 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173635210 881512448 22562 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 908416

[startup+6.18652 s]
/proc/loadavg: 1.93 1.98 1.99 3/106 18912
/proc/meminfo: memFree=1460984/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=0.01
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 762 1704 0 0 0 0 0 1 23 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18905] ppid=18891 vsize=860852 CPUtime=6.1
/proc/18905/stat : 18905 (java) R 18891 18891 18039 0 -1 0 35844 0 1 0 588 22 0 0 25 0 8 0 173635202 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073903370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18905/statm: 215213 35590 1994 14 0 201471 0
[pid=18905/tid=18906] ppid=18891 vsize=860852 CPUtime=0.74
/proc/18905/task/18906/stat : 18906 (java) S 18891 18891 18039 0 -1 64 19955 0 0 0 63 11 0 0 16 0 8 0 173635206 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18907] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18907/stat : 18907 (java) S 18891 18891 18039 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173635207 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18908] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18908/stat : 18908 (java) S 18891 18891 18039 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 173635207 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18909] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18909/stat : 18909 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18910] ppid=18891 vsize=860852 CPUtime=0.25
/proc/18905/task/18910/stat : 18910 (java) S 18891 18891 18039 0 -1 64 963 0 0 0 23 2 0 0 16 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18911] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18911/stat : 18911 (java) S 18891 18891 18039 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18912] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18912/stat : 18912 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 908416

[startup+12.6652 s]
/proc/loadavg: 1.94 1.98 1.99 3/106 18912
/proc/meminfo: memFree=1452088/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=0.01
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 762 1704 0 0 0 0 0 1 23 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18905] ppid=18891 vsize=860852 CPUtime=12.55
/proc/18905/stat : 18905 (java) R 18891 18891 18039 0 -1 0 35854 0 1 0 1230 25 0 0 25 0 8 0 173635202 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4073681595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18905/statm: 215213 35590 1994 14 0 201471 0
[pid=18905/tid=18906] ppid=18891 vsize=860852 CPUtime=0.74
/proc/18905/task/18906/stat : 18906 (java) S 18891 18891 18039 0 -1 64 19955 0 0 0 63 11 0 0 16 0 8 0 173635206 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18907] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18907/stat : 18907 (java) S 18891 18891 18039 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 173635207 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18908] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18908/stat : 18908 (java) S 18891 18891 18039 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 173635207 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18909] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18909/stat : 18909 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18910] ppid=18891 vsize=860852 CPUtime=0.25
/proc/18905/task/18910/stat : 18910 (java) S 18891 18891 18039 0 -1 64 963 0 0 0 23 2 0 0 16 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18911] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18911/stat : 18911 (java) S 18891 18891 18039 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18905/tid=18912] ppid=18891 vsize=860852 CPUtime=0
/proc/18905/task/18912/stat : 18912 (java) S 18891 18891 18039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173635210 881512448 35590 18446744073709551615 134512640 134570532 4294956096 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 908416

[startup+25.5136 s]
/proc/loadavg: 1.95 1.98 1.99 3/99 18913
/proc/meminfo: memFree=1558384/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=27668 CPUtime=7
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 6469 0 0 0 696 4 0 0 25 0 1 0 173637046 28332032 6451 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 6917 6451 54 142 0 6773 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 75232

[startup+51.1852 s]
/proc/loadavg: 1.96 1.98 1.99 3/99 18913
/proc/meminfo: memFree=1555056/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=30892 CPUtime=32.55
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 7275 0 0 0 3249 6 0 0 25 0 1 0 173637046 31633408 7257 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 7723 7257 54 142 0 7579 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 78456

[startup+102.42 s]
/proc/loadavg: 2.05 2.00 2.00 3/99 18913
/proc/meminfo: memFree=1548528/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=37524 CPUtime=83.54
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 8928 0 0 0 8346 8 0 0 25 0 1 0 173637046 38424576 8910 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 9381 8910 54 142 0 9237 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 85088

[startup+162.481 s]
/proc/loadavg: 2.05 2.01 2.00 3/99 18913
/proc/meminfo: memFree=1477552/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=47940 CPUtime=143.13
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 11508 0 0 0 14300 13 0 0 25 0 1 0 173637046 49090560 11490 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134520027 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 11985 11490 54 142 0 11841 0
Current children cumulated CPU time (s) 161.42
Current children cumulated vsize (KiB) 95504

[startup+222.55 s]
/proc/loadavg: 2.02 2.01 2.00 4/99 18913
/proc/meminfo: memFree=1471344/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=53868 CPUtime=202.92
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 12993 0 0 0 20277 15 0 0 25 0 1 0 173637046 55160832 12975 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134521347 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 13467 12975 54 142 0 13323 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 101432

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

/proc/loadavg: 2.04 2.02 2.00 3/99 18913
/proc/meminfo: memFree=1311408/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=124992 CPUtime=1099.24
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 30601 0 0 0 109883 41 0 0 25 0 1 0 173637046 127991808 30583 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 31248 30583 54 142 0 31104 0
Current children cumulated CPU time (s) 1117.53
Current children cumulated vsize (KiB) 172556

[startup+1183.63 s]
/proc/loadavg: 2.01 2.02 2.00 3/99 18913
/proc/meminfo: memFree=1307312/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=128984 CPUtime=1159.01
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 31593 0 0 0 115859 42 0 0 25 0 1 0 173637046 132079616 31575 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 32246 31575 54 142 0 32102 0
Current children cumulated CPU time (s) 1177.3
Current children cumulated vsize (KiB) 176548

[startup+1243.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/99 18913
/proc/meminfo: memFree=1303088/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=133028 CPUtime=1218.81
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 32621 0 0 0 121837 44 0 0 25 0 1 0 173637046 136220672 32603 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 33257 32603 54 142 0 33113 0
Current children cumulated CPU time (s) 1237.1
Current children cumulated vsize (KiB) 180592

[startup+1303.75 s]
/proc/loadavg: 1.84 1.97 1.99 3/95 19320
/proc/meminfo: memFree=1652752/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=135712 CPUtime=1278.55
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 33279 0 0 0 127807 48 0 0 25 0 1 0 173637046 138969088 33261 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 0 0 0
/proc/18913/statm: 33928 33261 54 142 0 33784 0
Current children cumulated CPU time (s) 1296.84
Current children cumulated vsize (KiB) 183276

[startup+1363.82 s]
/proc/loadavg: 1.90 1.96 1.98 3/95 19447
/proc/meminfo: memFree=1632272/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=139332 CPUtime=1338.13
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 34177 0 0 0 133762 51 0 0 25 0 1 0 173637046 142675968 34159 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529304 0 0 4096 3 0 0 0 17 0 0 0
/proc/18913/statm: 34833 34159 54 142 0 34689 0
Current children cumulated CPU time (s) 1356.42
Current children cumulated vsize (KiB) 186896

[startup+1423.84 s]
/proc/loadavg: 1.65 1.87 1.95 2/82 19718
/proc/meminfo: memFree=1654584/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=143668 CPUtime=1397.9
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 35239 0 0 0 139734 56 0 0 25 0 1 0 173637046 147116032 35221 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529268 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 35917 35221 54 142 0 35773 0
Current children cumulated CPU time (s) 1416.19
Current children cumulated vsize (KiB) 191232

[startup+1483.84 s]
/proc/loadavg: 1.84 1.88 1.94 3/95 19830
/proc/meminfo: memFree=1592080/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=147364 CPUtime=1457.84
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 36182 0 0 0 145725 59 0 0 25 0 1 0 173637046 150900736 36164 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 36841 36164 54 142 0 36697 0
Current children cumulated CPU time (s) 1476.13
Current children cumulated vsize (KiB) 194928

[startup+1543.93 s]
/proc/loadavg: 1.94 1.90 1.94 3/95 19830
/proc/meminfo: memFree=1576848/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=151604 CPUtime=1517.9
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 37214 0 0 0 151730 60 0 0 25 0 1 0 173637046 155242496 37196 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 37901 37196 54 142 0 37757 0
Current children cumulated CPU time (s) 1536.19
Current children cumulated vsize (KiB) 199168

[startup+1603.93 s]
/proc/loadavg: 2.09 1.95 1.95 3/95 19830
/proc/meminfo: memFree=1544592/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=154928 CPUtime=1577.9
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 38015 0 0 0 157728 62 0 0 25 0 1 0 173637046 158646272 37997 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 38732 37997 54 142 0 38588 0
Current children cumulated CPU time (s) 1596.19
Current children cumulated vsize (KiB) 202492

[startup+1664.02 s]
/proc/loadavg: 2.07 1.97 1.96 3/97 19832
/proc/meminfo: memFree=1522816/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=158716 CPUtime=1637.95
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 38950 0 0 0 163732 63 0 0 25 0 1 0 173637046 162525184 38932 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 39679 38932 54 142 0 39535 0
Current children cumulated CPU time (s) 1656.24
Current children cumulated vsize (KiB) 206280

[startup+1724.11 s]
/proc/loadavg: 2.08 1.99 1.97 3/101 19980
/proc/meminfo: memFree=1518368/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=161936 CPUtime=1697.89
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 39574 0 0 0 169725 64 0 0 25 0 1 0 173637046 165822464 39556 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 40484 39556 54 142 0 40340 0
Current children cumulated CPU time (s) 1716.18
Current children cumulated vsize (KiB) 209500

[startup+1784.19 s]
/proc/loadavg: 2.07 2.00 1.97 3/95 20028
/proc/meminfo: memFree=1517392/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=164028 CPUtime=1757.9
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 40095 0 0 0 175725 65 0 0 25 0 1 0 173637046 167964672 40077 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529316 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 41007 40077 54 142 0 40863 0
Current children cumulated CPU time (s) 1776.19
Current children cumulated vsize (KiB) 211592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.08 s]
/proc/loadavg: 2.04 2.00 1.97 3/95 20028
/proc/meminfo: memFree=1516368/2055920 swapFree=4192812/4192956
[pid=18891] ppid=18889 vsize=47564 CPUtime=18.29
/proc/18891/stat : 18891 (galac.sh) S 18889 18891 18039 0 -1 4194304 800 37578 0 1 0 0 1798 31 17 0 1 0 173635199 48705536 364 18446744073709551615 4194304 4520092 548682069328 18446744073709551615 244670720858 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/18891/statm: 11891 364 246 79 0 218 0
[pid=18913] ppid=18891 vsize=165044 CPUtime=1781.79
/proc/18913/stat : 18913 (minisat) R 18891 18891 18039 0 -1 4194304 40336 0 0 0 178114 65 0 0 25 0 1 0 173637046 169005056 40318 18446744073709551615 134512640 135096742 4294956480 18446744073709551615 134529374 0 0 4096 3 0 0 0 17 1 0 0
/proc/18913/statm: 41261 40318 54 142 0 41117 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 212608

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 18891 and gives childrusage.ru_utime.tv_sec=17 childrusage.ru_utime.tv_usec=991264 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=325950
CPU time returned by wait4() is 18.3172
while last known CPU time is 1800.08

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

Real time (s): 1808.1
CPU time (s): 1800.08
CPU user time (s): 1799.12
CPU system time (s): 0.96
CPU usage (%): 99.5566
Max. virtual memory (cumulated for all children) (KiB): 908416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9913
system time used= 0.32595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38378
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= 1494
involuntary context switches= 1996

runsolver used 1.81272 s user time and 5.2352 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Mon Jan  8 10:33:17 UTC 2007


IDJOB= 218376
IDBENCH= 5231
FILE ID= node7/218376-1168252397

PBS_JOBID= 3481661

Free space on /tmp= 66555 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-29_ext.xml
COMMAND LINE= /tmp/evaluation/218376-1168252397/galac.sh /tmp/evaluation/218376-1168252397/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-218376-1168252397 -o ROOT/results/node7/solver-218376-1168252397 -C 1800 -M 900  /tmp/evaluation/218376-1168252397/galac.sh /tmp/evaluation/218376-1168252397/unknown.xml

META MD5SUM SOLVER= d8bf20eb49fe33822f00bab08f33d7fc
MD5SUM BENCH=  1dccb7e9f0c68441fbea3ee60d9db5eb

RANDOM SEED= 767661099

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.220
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.220
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:       1591768 kB
Buffers:         41008 kB
Cached:          98324 kB
SwapCached:          0 kB
Active:         347172 kB
Inactive:        64740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1591768 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4128 kB
Writeback:           0 kB
Mapped:         301556 kB
Slab:            36424 kB
Committed_AS:  5913824 kB
PageTables:       2816 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 node7 on Mon Jan  8 11:03:26 UTC 2007