Trace number 217982

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
sugar 0.40? (TO) 1800.14 1822.6

General information on the benchmark

Nameramsey/ramsey4/
ramsey-38-4.xml
MD5SUM7f9e6189ca845e1515395d3ba8d55a18
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark314.837
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables703
Number of constraints8436
Maximum constraint arity3
Maximum domain size4
Number of constraints which are defined in extension0
Number of constraints which are defined in intension8436
Global constraints used (with number of constraints)

Solver Data (download as text)

1.79	c # Sugar v0-40 (/tmp/evaluation/217982-1170101668/sugar-v0-40.jar)
1.79	
1.87	c # MAIN  BEGIN : /tmp/evaluation/217982-1170101668/unknown.xml [Mon Jan 29 21:14:31 2007]
1.87	c # CONVERT_XML  BEGIN : /tmp/evaluation/217982-1170101668/unknown.xml /tmp/evaluation/217982-1170101668/sugar29435.csp [Mon Jan 29 21:14:31 2007]
1.87	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217982-1170101668/sugar-v0-40.jar -convert /tmp/evaluation/217982-1170101668/unknown.xml /tmp/evaluation/217982-1170101668/sugar29435.csp
3.65	c BEGIN convert /tmp/evaluation/217982-1170101668/unknown.xml
4.84	c END convert (1.189382 seconds)
4.91	c # CONVERT_XML  END : /tmp/evaluation/217982-1170101668/sugar29435.csp 476337 bytes (3 seconds) [Mon Jan 29 21:14:34 2007]
4.91	c # CONVERT_XML  CPU : 1.07 = 0 + 0 + 0.96 + 0.11
4.91	
4.91	c # GENERATE_SAT  BEGIN : /tmp/evaluation/217982-1170101668/sugar29435.bcnf [Mon Jan 29 21:14:34 2007]
4.91	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217982-1170101668/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217982-1170101668/sugar29435.map /tmp/evaluation/217982-1170101668/sugar29435.csp /tmp/evaluation/217982-1170101668/sugar29435.bcnf
5.04	c BEGIN parse /tmp/evaluation/217982-1170101668/sugar29435.csp
6.96	c END parse (1.91745 seconds)
6.96	c BEGIN simplify
7.19	c END simplify (0.230509 seconds)
7.19	c BEGIN encode /tmp/evaluation/217982-1170101668/sugar29435.bcnf
7.76	c END encode (0.565438 seconds)
8.33	c # GENERATE_SAT  END : 52725 variables 212306 clauses 3087600 bytes (3 seconds) [Mon Jan 29 21:14:37 2007]
8.33	c # GENERATE_SAT  CPU : 3.32 = 0.46 + 0.06 + 2.65 + 0.15
8.33	
8.33	c # SOLVE_SAT  BEGIN : /tmp/evaluation/217982-1170101668/sugar29435.bcnf [Mon Jan 29 21:14:37 2007]
8.33	c # CMD : /tmp/evaluation/217982-1170101668/minisat /tmp/evaluation/217982-1170101668/sugar29435.bcnf /tmp/evaluation/217982-1170101668/sugar29435.out
8.46	c ==================================[MINISAT]===================================
8.46	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
8.46	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
8.46	c ==============================================================================
8.46	c |         0 |  212306   559588 |   70768       0        0     nan |  0.000 % |
8.56	c |       100 |  212306   559588 |   77844     100      596     6.0 |  0.000 % |
8.67	c |       250 |  212306   559588 |   85629     250     1391     5.6 |  0.000 % |
8.85	c |       475 |  212306   559588 |   94192     475     2584     5.4 |  0.000 % |
9.06	c |       812 |  212306   559588 |  103611     812     4408     5.4 |  0.000 % |
9.36	c |      1318 |  212306   559588 |  113972    1318     7107     5.4 |  0.000 % |
9.84	c |      2077 |  212306   559588 |  125369    2077    11249     5.4 |  0.000 % |
10.71	c |      3216 |  212306   559588 |  137906    3216    17950     5.6 |  0.000 % |
12.24	c |      4924 |  212306   559588 |  151697    4924    27747     5.6 |  0.000 % |
14.56	c |      7486 |  212306   559588 |  166867    7486    42948     5.7 |  0.000 % |
18.19	c |     11330 |  212306   559588 |  183553   11330    66349     5.9 |  0.000 % |
24.01	c |     17096 |  212306   559588 |  201909   17096   102060     6.0 |  0.000 % |
32.78	c |     25746 |  212306   559588 |  222100   25746   159046     6.2 |  0.000 % |
45.00	c |     38720 |  212306   559588 |  244310   38720   254608     6.6 |  0.000 % |
63.39	c |     58181 |  212306   559588 |  268741   58181   460097     7.9 |  0.000 % |
86.32	c |     87373 |  212306   559588 |  295615   87373  1184897    13.6 |  0.000 % |
112.79	c |    131162 |  212306   559588 |  325177  131162  4239616    32.3 |  0.000 % |
153.47	c |    196847 |  212306   559588 |  357694  196847 15458935    78.5 |  0.000 % |
252.00	c |    295376 |  212306   559588 |  393464  295376 35824662   121.3 |  0.000 % |
475.13	c |    443166 |  212306   559588 |  432810   52298 13283057   254.0 |  0.000 % |
817.81	c |    664850 |  212306   559588 |  476091  273982 55807008   203.7 |  0.000 % |
1727.18	c |    997377 |  212306   559588 |  523700  142717 46230171   323.9 |  0.000 % |
1821.56	
1821.56	s UNKNOWN
1821.56	c # INTERRUPTED
1821.56	c # MAIN  END :  (1820 seconds) [Mon Jan 29 21:44:51 2007]
1821.56	c # MAIN  CPU : 4.39 = 0.46 + 0.06 + 3.61 + 0.26
1821.56

Verifier Data (download as text)

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

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node12/watcher-217982-1170101668 -o ROOT/results/node12/solver-217982-1170101668 -C 1800 -M 900 /tmp/evaluation/217982-1170101668/solver /tmp/evaluation/217982-1170101668 /tmp/evaluation/217982-1170101668/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: 7.45 7.88 6.28 3/100 29436
/proc/meminfo: memFree=15072/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=5352 CPUtime=0
/proc/29435/stat : 29435 (solver) R 29433 29435 27963 0 -1 4194304 229 0 0 0 0 0 0 0 20 0 1 0 30121349 5480448 196 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429399848 0 0 4100 0 0 0 0 17 1 0 0
/proc/29435/statm: 1338 196 162 169 0 49 0

[startup+0.104042 s]
/proc/loadavg: 7.45 7.88 6.28 3/100 29436
/proc/meminfo: memFree=15072/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=5352 CPUtime=0
/proc/29435/stat : 29435 (solver) D 29433 29435 27963 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 30121349 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 252429528359 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/29435/statm: 1338 231 193 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352

[startup+0.512114 s]
/proc/loadavg: 7.45 7.88 6.28 3/100 29436
/proc/meminfo: memFree=15072/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=8540 CPUtime=0
/proc/29435/stat : 29435 (sugar) D 29433 29435 27963 0 -1 4194304 314 0 2 0 0 0 0 0 18 0 1 0 30121349 8744960 52 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252426912516 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/29435/statm: 2135 52 39 3 0 55 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8540

[startup+1.33426 s]
/proc/loadavg: 7.45 7.88 6.28 2/99 29436
/proc/meminfo: memFree=15016/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=12404 CPUtime=0
/proc/29435/stat : 29435 (sugar) R 29433 29435 27963 0 -1 4194304 670 0 3 0 0 0 0 0 18 0 1 0 30121349 12701696 392 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 0 0 0 0 17 0 0 0
/proc/29435/statm: 3101 392 275 3 0 201 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12404

[startup+2.98056 s]
/proc/loadavg: 7.09 7.80 6.27 2/100 29437
/proc/meminfo: memFree=16288/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=13724 CPUtime=0.03
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 1109 0 3 0 3 0 0 0 15 0 1 0 30121349 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 3431 805 368 3 0 531 0
[pid=29437] ppid=29435 vsize=9912 CPUtime=0
/proc/29437/stat : 29437 (java) D 29435 29435 27963 0 -1 0 680 0 9 0 0 0 0 0 18 0 1 0 30121537 10149888 450 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 7368 18446744071563479169 0 0 17 0 0 0
/proc/29437/statm: 2478 450 365 14 0 1143 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23636

[startup+6.26196 s]
/proc/loadavg: 7.09 7.80 6.27 4/107 29452
/proc/meminfo: memFree=15272/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=13724 CPUtime=1.1
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 1187 11041 3 33 3 0 96 11 15 0 1 0 30121349 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 3431 809 371 3 0 531 0
[pid=29445] ppid=29435 vsize=807344 CPUtime=1.31
/proc/29445/stat : 29445 (java) R 29435 29435 27963 0 -1 0 9671 0 1 0 126 5 0 0 19 0 8 0 30121840 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29445/statm: 201836 9414 1506 14 0 189114 0
[pid=29445/tid=29446] ppid=29435 vsize=807344 CPUtime=0.2
/proc/29445/task/29446/stat : 29446 (java) R 29435 29435 27963 0 -1 64 3477 0 0 0 19 1 0 0 16 0 8 0 30121845 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29445/tid=29447] ppid=29435 vsize=807344 CPUtime=0
/proc/29445/task/29447/stat : 29447 (java) S 29435 29435 27963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30121845 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29445/tid=29448] ppid=29435 vsize=807344 CPUtime=0
/proc/29445/task/29448/stat : 29448 (java) S 29435 29435 27963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30121845 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29445/tid=29449] ppid=29435 vsize=807344 CPUtime=0
/proc/29445/task/29449/stat : 29449 (java) S 29435 29435 27963 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30121848 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29445/tid=29450] ppid=29435 vsize=807344 CPUtime=0.13
/proc/29445/task/29450/stat : 29450 (java) S 29435 29435 27963 0 -1 64 401 0 0 0 13 0 0 0 20 0 8 0 30121848 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29445/tid=29451] ppid=29435 vsize=807344 CPUtime=0
/proc/29445/task/29451/stat : 29451 (java) S 29435 29435 27963 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30121848 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29445/tid=29452] ppid=29435 vsize=807344 CPUtime=0
/proc/29445/task/29452/stat : 29452 (java) S 29435 29435 27963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30121848 826720256 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 821068

[startup+12.7471 s]
/proc/loadavg: 7.14 7.79 6.28 3/106 29460
/proc/meminfo: memFree=15472/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=12032 CPUtime=4.2
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 3294 0 0 0 415 5 0 0 25 0 1 0 30122183 12320768 2510 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 3008 2510 52 112 0 2892 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 54176

[startup+25.5914 s]
/proc/loadavg: 7.46 7.84 6.31 3/104 29460
/proc/meminfo: memFree=14976/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=13044 CPUtime=16.97
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 3512 0 0 0 1689 8 0 0 25 0 1 0 30122183 13357056 2728 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528812 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 3261 2728 52 112 0 3145 0
Current children cumulated CPU time (s) 21.39
Current children cumulated vsize (KiB) 55188

[startup+51.2781 s]
/proc/loadavg: 8.04 7.95 6.39 3/101 29460
/proc/meminfo: memFree=15896/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=14904 CPUtime=42.32
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 3965 0 0 0 4204 28 0 0 25 0 1 0 30122183 15261696 3181 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 3726 3181 52 112 0 3610 0
Current children cumulated CPU time (s) 46.74
Current children cumulated vsize (KiB) 57048

[startup+102.539 s]
/proc/loadavg: 8.64 8.11 6.53 3/104 29470
/proc/meminfo: memFree=15944/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=26524 CPUtime=92.84
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 6868 0 0 0 9223 61 0 0 25 0 1 0 30122183 27160576 6084 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 6631 6084 52 112 0 6515 0
Current children cumulated CPU time (s) 97.26
Current children cumulated vsize (KiB) 68668

[startup+162.542 s]
/proc/loadavg: 10.87 8.79 6.86 3/105 29477
/proc/meminfo: memFree=15616/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=87192 CPUtime=151.84
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 21977 0 0 0 15080 104 0 0 25 0 1 0 30122183 89284608 21193 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 21798 21193 52 112 0 21682 0
Current children cumulated CPU time (s) 156.26
Current children cumulated vsize (KiB) 129336

[startup+222.643 s]
/proc/loadavg: 10.62 9.14 7.10 4/99 29478
/proc/meminfo: memFree=16176/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=141644 CPUtime=211.22
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 35640 0 0 0 20989 133 0 0 25 0 1 0 30122183 145043456 34856 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 35411 34856 52 112 0 35295 0
Current children cumulated CPU time (s) 215.64
Current children cumulated vsize (KiB) 183788

[startup+282.735 s]
/proc/loadavg: 10.25 9.29 7.27 3/101 29484
/proc/meminfo: memFree=16096/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=185892 CPUtime=270.93
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 46627 0 0 0 26916 177 0 0 25 0 1 0 30122183 190353408 45843 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 46473 45843 52 112 0 46357 0
Current children cumulated CPU time (s) 275.35
Current children cumulated vsize (KiB) 228036

[startup+342.819 s]
/proc/loadavg: 9.62 9.29 7.40 2/98 29485
/proc/meminfo: memFree=16760/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=221904 CPUtime=330.25
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 55666 0 0 0 32804 221 0 0 25 0 1 0 30122183 227229696 54882 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528319 0 0 4096 3 0 0 0 17 1 0 0
/proc/29453/statm: 55476 54882 52 112 0 55360 0
Current children cumulated CPU time (s) 334.67
Current children cumulated vsize (KiB) 264048

[startup+402.859 s]
/proc/loadavg: 7.43 8.83 7.36 3/95 29492
/proc/meminfo: memFree=15888/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=247344 CPUtime=389.8
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 62018 0 0 0 38713 267 0 0 25 0 1 0 30122183 253280256 61234 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134769578 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 61836 61234 52 112 0 61720 0
Current children cumulated CPU time (s) 394.22
Current children cumulated vsize (KiB) 289488

[startup+462.916 s]
/proc/loadavg: 5.64 8.04 7.18 3/95 29502
/proc/meminfo: memFree=15696/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=266088 CPUtime=449.13
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 66726 0 0 0 44613 300 0 0 25 0 1 0 30122183 272474112 65942 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 66522 65942 52 112 0 66406 0
Current children cumulated CPU time (s) 453.55
Current children cumulated vsize (KiB) 308232

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

/proc/loadavg: 2.67 3.21 4.85 3/95 29609
/proc/meminfo: memFree=972224/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=386944 CPUtime=1104.44
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 96953 0 0 0 110068 376 0 0 25 0 1 0 30122183 396230656 96169 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 96736 96169 52 112 0 96620 0
Current children cumulated CPU time (s) 1108.86
Current children cumulated vsize (KiB) 429088

[startup+1183.57 s]
/proc/loadavg: 2.70 3.12 4.71 3/95 29609
/proc/meminfo: memFree=928320/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=408792 CPUtime=1163.86
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 102418 0 0 0 116004 382 0 0 25 0 1 0 30122183 418603008 101634 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 102198 101634 52 112 0 102082 0
Current children cumulated CPU time (s) 1168.28
Current children cumulated vsize (KiB) 450936

[startup+1243.58 s]
/proc/loadavg: 2.84 3.08 4.60 4/95 29609
/proc/meminfo: memFree=888320/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=427092 CPUtime=1223.31
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 107020 0 0 0 121942 389 0 0 25 0 1 0 30122183 437342208 106236 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 106773 106236 52 112 0 106657 0
Current children cumulated CPU time (s) 1227.73
Current children cumulated vsize (KiB) 469236

[startup+1303.67 s]
/proc/loadavg: 2.81 3.03 4.48 4/95 29611
/proc/meminfo: memFree=867072/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=444312 CPUtime=1282.79
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 111304 0 0 0 127884 395 0 0 25 0 1 0 30122183 454975488 110520 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 111078 110520 52 112 0 110962 0
Current children cumulated CPU time (s) 1287.21
Current children cumulated vsize (KiB) 486456

[startup+1363.74 s]
/proc/loadavg: 2.85 3.01 4.38 4/95 29611
/proc/meminfo: memFree=858944/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=461356 CPUtime=1342.27
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 115372 0 0 0 133826 401 0 0 25 0 1 0 30122183 472428544 114588 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 115339 114588 52 112 0 115223 0
Current children cumulated CPU time (s) 1346.69
Current children cumulated vsize (KiB) 503500

[startup+1423.75 s]
/proc/loadavg: 2.71 2.94 4.27 5/95 29611
/proc/meminfo: memFree=795520/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=477452 CPUtime=1401.72
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 119395 0 0 0 139765 407 0 0 25 0 1 0 30122183 488910848 118611 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 119363 118611 52 112 0 119247 0
Current children cumulated CPU time (s) 1406.14
Current children cumulated vsize (KiB) 519596

[startup+1483.78 s]
/proc/loadavg: 2.64 2.87 4.16 4/95 29611
/proc/meminfo: memFree=784192/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1461.15
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122420 0 0 0 145705 410 0 0 25 0 1 0 30122183 501235712 121636 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121636 52 112 0 122256 0
Current children cumulated CPU time (s) 1465.57
Current children cumulated vsize (KiB) 531632

[startup+1543.87 s]
/proc/loadavg: 2.66 2.85 4.07 4/95 29611
/proc/meminfo: memFree=751296/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1520.66
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122420 0 0 0 151656 410 0 0 25 0 1 0 30122183 501235712 121636 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121636 52 112 0 122256 0
Current children cumulated CPU time (s) 1525.08
Current children cumulated vsize (KiB) 531632

[startup+1603.88 s]
/proc/loadavg: 2.81 2.86 4.00 4/95 29611
/proc/meminfo: memFree=743552/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1580.09
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122422 0 0 0 157599 410 0 0 25 0 1 0 30122183 501235712 121638 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134637966 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121638 52 112 0 122256 0
Current children cumulated CPU time (s) 1584.51
Current children cumulated vsize (KiB) 531632

[startup+1663.91 s]
/proc/loadavg: 2.69 2.82 3.91 3/95 29611
/proc/meminfo: memFree=743488/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1639.51
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122422 0 0 0 163541 410 0 0 25 0 1 0 30122183 501235712 121638 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121638 52 112 0 122256 0
Current children cumulated CPU time (s) 1643.93
Current children cumulated vsize (KiB) 531632

[startup+1724.01 s]
/proc/loadavg: 2.70 2.79 3.83 3/95 29611
/proc/meminfo: memFree=728960/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1699.04
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122422 0 0 0 169494 410 0 0 25 0 1 0 30122183 501235712 121638 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121638 52 112 0 122256 0
Current children cumulated CPU time (s) 1703.46
Current children cumulated vsize (KiB) 531632

[startup+1784.05 s]
/proc/loadavg: 2.85 2.81 3.77 4/95 29611
/proc/meminfo: memFree=727168/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1758.51
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122422 0 0 0 175440 411 0 0 25 0 1 0 30122183 501235712 121638 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121638 52 112 0 122256 0
Current children cumulated CPU time (s) 1762.93
Current children cumulated vsize (KiB) 531632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1821.55 s]
/proc/loadavg: 2.65 2.77 3.71 3/95 29611
/proc/meminfo: memFree=727104/2055920 swapFree=4192812/4192956
[pid=29435] ppid=29433 vsize=42144 CPUtime=4.42
/proc/29435/stat : 29435 (sugar) S 29433 29435 27963 0 -1 4194304 8255 27747 3 36 49 6 361 26 16 0 1 0 30121349 43155456 7673 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/29435/statm: 10536 7673 373 3 0 7636 0
[pid=29453] ppid=29435 vsize=489488 CPUtime=1795.63
/proc/29453/stat : 29453 (minisat) R 29435 29435 27963 0 -1 0 122422 0 0 0 179152 411 0 0 25 0 1 0 30122183 501235712 121638 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/29453/statm: 122372 121638 52 112 0 122256 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 531632

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 29435 and gives childrusage.ru_utime.tv_sec=4 childrusage.ru_utime.tv_usec=110375 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=341948
CPU time returned by wait4() is 4.45232
while last known CPU time is 1800.14

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

Real time (s): 1822.6
CPU time (s): 1800.14
CPU user time (s): 1795.62
CPU system time (s): 4.52
CPU usage (%): 98.7676
Max. virtual memory (cumulated for all children) (KiB): 821140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.11038
system time used= 0.341948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36087
page faults= 39
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1548
involuntary context switches= 1534

runsolver used 1.91971 s user time and 5.80712 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Mon Jan 29 20:14:29 UTC 2007


IDJOB= 217982
IDBENCH= 5185
IDSOLVER= 86
FILE ID= node12/217982-1170101668

PBS_JOBID= 3689506

Free space on /tmp= 30872 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/ramsey/ramsey4/ramsey-38-4.xml
COMMAND LINE= /tmp/evaluation/217982-1170101668/solver /tmp/evaluation/217982-1170101668 /tmp/evaluation/217982-1170101668/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-217982-1170101668 -o ROOT/results/node12/solver-217982-1170101668 -C 1800 -M 900  /tmp/evaluation/217982-1170101668/solver /tmp/evaluation/217982-1170101668 /tmp/evaluation/217982-1170101668/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  7f9e6189ca845e1515395d3ba8d55a18

RANDOM SEED= 965462778

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.285
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.285
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:         15104 kB
Buffers:          2876 kB
Cached:        1843188 kB
SwapCached:          0 kB
Active:         120732 kB
Inactive:      1815220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         15104 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          818736 kB
Writeback:           0 kB
Mapped:         115416 kB
Slab:            89544 kB
Committed_AS:   696260 kB
PageTables:       2208 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= 66552 MiB



End job on node12 on Mon Jan 29 20:44:52 UTC 2007