Trace number 199304

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.07 1809.33

General information on the benchmark

NameallIntervalSeries/
series-50.xml
MD5SUM1f7c6563c9354a56d1d8a4ef6be0b489
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 benchmark0.242962
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables99
Number of constraints2450
Maximum constraint arity3
Maximum domain size50
Number of constraints which are defined in extension0
Number of constraints which are defined in intension2450
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/199304-1170094076/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/199304-1170094076/unknown.xml [Mon Jan 29 19:07:57 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/199304-1170094076/unknown.xml /tmp/evaluation/199304-1170094076/sugar16221.csp [Mon Jan 29 19:07:57 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199304-1170094076/sugar-v0-40.jar -convert /tmp/evaluation/199304-1170094076/unknown.xml /tmp/evaluation/199304-1170094076/sugar16221.csp
0.16	c BEGIN convert /tmp/evaluation/199304-1170094076/unknown.xml
0.63	c END convert (0.468965 seconds)
0.65	c # CONVERT_XML  END : /tmp/evaluation/199304-1170094076/sugar16221.csp 36395 bytes (0 seconds) [Mon Jan 29 19:07:57 2007]
0.65	c # CONVERT_XML  CPU : 0.57 = 0 + 0 + 0.55 + 0.02
0.65	
0.65	c # GENERATE_SAT  BEGIN : /tmp/evaluation/199304-1170094076/sugar16221.bcnf [Mon Jan 29 19:07:57 2007]
0.65	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/199304-1170094076/sugar-v0-40.jar -bcnf -map /tmp/evaluation/199304-1170094076/sugar16221.map /tmp/evaluation/199304-1170094076/sugar16221.csp /tmp/evaluation/199304-1170094076/sugar16221.bcnf
0.76	c BEGIN parse /tmp/evaluation/199304-1170094076/sugar16221.csp
1.20	c END parse (0.433368 seconds)
1.20	c BEGIN simplify
1.23	c END simplify (0.02849 seconds)
1.23	c BEGIN encode /tmp/evaluation/199304-1170094076/sugar16221.bcnf
2.05	c END encode (0.824826 seconds)
2.12	c # GENERATE_SAT  END : 14504 variables 744211 clauses 12704952 bytes (2 seconds) [Mon Jan 29 19:07:59 2007]
2.12	c # GENERATE_SAT  CPU : 1.45 = 0.04 + 0 + 1.3 + 0.11
2.12	
2.12	c # SOLVE_SAT  BEGIN : /tmp/evaluation/199304-1170094076/sugar16221.bcnf [Mon Jan 29 19:07:59 2007]
2.12	c # CMD : /tmp/evaluation/199304-1170094076/minisat /tmp/evaluation/199304-1170094076/sugar16221.bcnf /tmp/evaluation/199304-1170094076/sugar16221.out
2.64	c ==================================[MINISAT]===================================
2.64	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
2.64	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
2.64	c ==============================================================================
2.64	c |         0 |  614459  2066916 |  204819       0        0     nan |  0.000 % |
2.81	c |       101 |  614459  2066916 |  225300     101     1509    14.9 | 16.892 % |
3.00	c |       251 |  614459  2066916 |  247830     251     5720    22.8 | 16.892 % |
3.21	c |       476 |  614459  2066916 |  272614     476    13301    27.9 | 16.892 % |
3.59	c |       815 |  614459  2066916 |  299875     815    31592    38.8 | 16.892 % |
4.21	c |      1322 |  614459  2066916 |  329863    1322    42840    32.4 | 16.892 % |
4.84	c |      2082 |  614459  2066916 |  362849    2082    71551    34.4 | 16.892 % |
6.60	c |      3221 |  614459  2066916 |  399134    3221   130494    40.5 | 16.892 % |
7.62	c |      4929 |  614459  2066916 |  439047    4929   166833    33.8 | 16.892 % |
11.11	c |      7491 |  614459  2066916 |  482952    7491   284460    38.0 | 16.892 % |
16.43	c |     11335 |  614459  2066916 |  531247   11335   426277    37.6 | 16.892 % |
23.18	c |     17101 |  614459  2066916 |  584372   17101   758659    44.4 | 16.892 % |
34.34	c |     25751 |  614459  2066916 |  642809   25751  1125476    43.7 | 16.892 % |
48.23	c |     38726 |  614459  2066916 |  707090   38726  1689382    43.6 | 16.892 % |
89.82	c |     58188 |  614459  2066916 |  777799   58188  2566530    44.1 | 16.892 % |
149.52	c |     87380 |  614459  2066916 |  855579   87380  4572006    52.3 | 16.892 % |
237.55	c |    131169 |  614459  2066916 |  941137  131169  6791982    51.8 | 16.892 % |
383.87	c |    196854 |  614459  2066916 | 1035251  196854 10846792    55.1 | 16.892 % |
664.64	c |    295381 |  614459  2066916 | 1138776  295381 18116261    61.3 | 16.892 % |
1170.22	c |    443170 |  614459  2066916 | 1252654  443170 29205451    65.9 | 16.892 % |
1808.31	
1808.31	s UNKNOWN
1808.31	c # INTERRUPTED
1808.31	c # MAIN  END :  (1808 seconds) [Mon Jan 29 19:38:05 2007]
1808.31	c # MAIN  CPU : 2.02 = 0.04 + 0 + 1.85 + 0.13
1808.31

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/node41/watcher-199304-1170094076 -o ROOT/results/node41/solver-199304-1170094076 -C 1800 -M 900 /tmp/evaluation/199304-1170094076/solver /tmp/evaluation/199304-1170094076 /tmp/evaluation/199304-1170094076/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.24 2.54 2.79 5/74 16222
/proc/meminfo: memFree=1599448/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=18540 CPUtime=0
/proc/16221/stat : 16221 (runsolver) R 16219 16221 15742 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29363586 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16221/statm: 4635 279 244 17 0 2626 0

[startup+0.153082 s]
/proc/loadavg: 2.24 2.54 2.79 5/74 16222
/proc/meminfo: memFree=1599448/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=13724 CPUtime=0.04
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 29363586 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16221/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.561117 s]
/proc/loadavg: 2.24 2.54 2.79 5/74 16222
/proc/meminfo: memFree=1599448/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=13724 CPUtime=0.04
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29363586 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16221/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.38419 s]
/proc/loadavg: 2.30 2.55 2.79 3/82 16238
/proc/meminfo: memFree=1577688/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=13724 CPUtime=0.61
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1190 5329 0 1 3 1 55 2 16 0 1 0 29363586 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16221/statm: 3431 809 371 3 0 531 0
[pid=16231] ppid=16221 vsize=807360 CPUtime=0.71
/proc/16231/stat : 16231 (java) R 16221 16221 15742 0 -1 0 7843 0 1 0 67 4 0 0 23 0 8 0 29363651 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16231/statm: 201840 7592 1510 14 0 189118 0
[pid=16231/tid=16232] ppid=16221 vsize=807360 CPUtime=0.02
/proc/16231/task/16232/stat : 16232 (java) R 16221 16221 15742 0 -1 64 1609 0 0 0 2 0 0 0 16 0 8 0 29363654 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823124 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16231/tid=16233] ppid=16221 vsize=807360 CPUtime=0
/proc/16231/task/16233/stat : 16233 (java) S 16221 16221 15742 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29363654 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16231/tid=16234] ppid=16221 vsize=807360 CPUtime=0
/proc/16231/task/16234/stat : 16234 (java) S 16221 16221 15742 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29363654 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16231/tid=16235] ppid=16221 vsize=807360 CPUtime=0
/proc/16231/task/16235/stat : 16235 (java) S 16221 16221 15742 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29363657 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16231/tid=16236] ppid=16221 vsize=807360 CPUtime=0.16
/proc/16231/task/16236/stat : 16236 (java) S 16221 16221 15742 0 -1 64 424 0 0 0 16 0 0 0 16 0 8 0 29363657 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16231/tid=16237] ppid=16221 vsize=807360 CPUtime=0
/proc/16231/task/16237/stat : 16237 (java) S 16221 16221 15742 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29363657 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16231/tid=16238] ppid=16221 vsize=807360 CPUtime=0
/proc/16231/task/16238/stat : 16238 (java) S 16221 16221 15742 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29363657 826736640 7592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 821084

[startup+3.03434 s]
/proc/loadavg: 2.30 2.55 2.79 3/75 16239
/proc/meminfo: memFree=1564944/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 15 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=31816 CPUtime=0.89
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 8274 0 0 0 85 4 0 0 25 0 1 0 29363798 32579584 7234 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16239/statm: 7954 7234 52 112 0 7838 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 48348

[startup+6.32562 s]
/proc/loadavg: 2.28 2.54 2.78 3/75 16239
/proc/meminfo: memFree=1551888/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 15 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=32356 CPUtime=4.16
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 8400 0 0 0 411 5 0 0 25 0 1 0 29363798 33132544 7360 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16239/statm: 8089 7360 52 112 0 7973 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 48888

[startup+12.7922 s]
/proc/loadavg: 2.17 2.52 2.77 2/69 16262
/proc/meminfo: memFree=1557440/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=33152 CPUtime=10.61
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 8575 0 0 0 1056 5 0 0 25 0 1 0 29363798 33947648 7535 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 8288 7535 52 112 0 8172 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49684

[startup+25.6271 s]
/proc/loadavg: 2.15 2.50 2.76 3/75 16311
/proc/meminfo: memFree=1526680/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=35364 CPUtime=23.4
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 9149 0 0 0 2333 7 0 0 25 0 1 0 29363798 36212736 8109 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 8841 8109 52 112 0 8725 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 51896

[startup+51.2914 s]
/proc/loadavg: 2.09 2.45 2.74 3/75 16311
/proc/meminfo: memFree=1517528/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=39692 CPUtime=48.91
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 10224 0 0 0 4883 8 0 0 25 0 1 0 29363798 40644608 9184 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 9923 9184 52 112 0 9807 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 56224

[startup+102.514 s]
/proc/loadavg: 2.04 2.38 2.70 3/75 16311
/proc/meminfo: memFree=1502744/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=45444 CPUtime=99.91
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 11652 0 0 0 9981 10 0 0 25 0 1 0 29363798 46534656 10612 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525703 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 11361 10612 52 112 0 11245 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 61976

[startup+162.567 s]
/proc/loadavg: 2.01 2.31 2.65 3/75 16311
/proc/meminfo: memFree=1485208/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=53788 CPUtime=159.7
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 13724 0 0 0 15957 13 0 0 25 0 1 0 29363798 55078912 12684 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 13447 12684 52 112 0 13331 0
Current children cumulated CPU time (s) 161.76
Current children cumulated vsize (KiB) 70320

[startup+222.627 s]
/proc/loadavg: 2.00 2.25 2.61 3/75 16311
/proc/meminfo: memFree=1469976/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=60760 CPUtime=219.5
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 15479 0 0 0 21935 15 0 0 25 0 1 0 29363798 62218240 14439 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 15190 14439 52 112 0 15074 0
Current children cumulated CPU time (s) 221.56
Current children cumulated vsize (KiB) 77292

[startup+282.683 s]
/proc/loadavg: 2.00 2.20 2.57 3/75 16311
/proc/meminfo: memFree=1455256/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=68380 CPUtime=279.27
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 17351 0 0 0 27909 18 0 0 25 0 1 0 29363798 70021120 16311 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 17095 16311 52 112 0 16979 0
Current children cumulated CPU time (s) 281.33
Current children cumulated vsize (KiB) 84912

[startup+342.741 s]
/proc/loadavg: 2.00 2.16 2.53 3/75 16311
/proc/meminfo: memFree=1441368/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=75788 CPUtime=339.06
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 19211 0 0 0 33886 20 0 0 25 0 1 0 29363798 77606912 18171 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 18947 18171 52 112 0 18831 0
Current children cumulated CPU time (s) 341.12
Current children cumulated vsize (KiB) 92320

[startup+402.792 s]
/proc/loadavg: 2.00 2.13 2.49 3/75 16311
/proc/meminfo: memFree=1427160/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=84100 CPUtime=398.86
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 21220 0 0 0 39863 23 0 0 25 0 1 0 29363798 86118400 20180 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 21025 20180 52 112 0 20909 0
Current children cumulated CPU time (s) 400.92
Current children cumulated vsize (KiB) 100632

[startup+462.844 s]
/proc/loadavg: 2.00 2.10 2.46 3/75 16311
/proc/meminfo: memFree=1413720/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=91316 CPUtime=458.62
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 23043 0 0 0 45836 26 0 0 25 0 1 0 29363798 93507584 22003 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0

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

/proc/loadavg: 2.00 2.02 2.21 3/75 16311
/proc/meminfo: memFree=1289752/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=156744 CPUtime=1116.27
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 39447 0 0 0 111578 49 0 0 25 0 1 0 29363798 160505856 38407 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 39186 38407 52 112 0 39070 0
Current children cumulated CPU time (s) 1118.33
Current children cumulated vsize (KiB) 173276

[startup+1183.51 s]
/proc/loadavg: 2.05 2.03 2.20 3/75 16311
/proc/meminfo: memFree=1280216/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=162212 CPUtime=1176.04
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 40792 0 0 0 117553 51 0 0 25 0 1 0 29363798 166105088 39752 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525460 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 40553 39752 52 112 0 40437 0
Current children cumulated CPU time (s) 1178.1
Current children cumulated vsize (KiB) 178744

[startup+1243.57 s]
/proc/loadavg: 2.02 2.02 2.18 3/75 16311
/proc/meminfo: memFree=1271832/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=166576 CPUtime=1235.84
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 41903 0 0 0 123531 53 0 0 25 0 1 0 29363798 170573824 40863 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 41644 40863 52 112 0 41528 0
Current children cumulated CPU time (s) 1237.9
Current children cumulated vsize (KiB) 183108

[startup+1303.63 s]
/proc/loadavg: 2.00 2.02 2.17 3/75 16311
/proc/meminfo: memFree=1263000/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=171852 CPUtime=1295.63
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 42998 0 0 0 129508 55 0 0 25 0 1 0 29363798 175976448 41958 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 42963 41958 52 112 0 42847 0
Current children cumulated CPU time (s) 1297.69
Current children cumulated vsize (KiB) 188384

[startup+1363.68 s]
/proc/loadavg: 2.00 2.01 2.16 3/75 16311
/proc/meminfo: memFree=1254616/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=175956 CPUtime=1355.41
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 44037 0 0 0 135485 56 0 0 25 0 1 0 29363798 180178944 42997 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 43989 42997 52 112 0 43873 0
Current children cumulated CPU time (s) 1357.47
Current children cumulated vsize (KiB) 192488

[startup+1423.74 s]
/proc/loadavg: 2.05 2.02 2.15 3/75 16311
/proc/meminfo: memFree=1246936/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=179376 CPUtime=1415.19
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 44914 0 0 0 141462 57 0 0 25 0 1 0 29363798 183681024 43874 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 44844 43874 52 112 0 44728 0
Current children cumulated CPU time (s) 1417.25
Current children cumulated vsize (KiB) 195908

[startup+1483.79 s]
/proc/loadavg: 2.02 2.01 2.14 3/75 16311
/proc/meminfo: memFree=1239384/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=183852 CPUtime=1474.98
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 46037 0 0 0 147440 58 0 0 25 0 1 0 29363798 188264448 44997 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 45963 44997 52 112 0 45847 0
Current children cumulated CPU time (s) 1477.04
Current children cumulated vsize (KiB) 200384

[startup+1543.85 s]
/proc/loadavg: 2.04 2.02 2.14 3/75 16311
/proc/meminfo: memFree=1230744/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=189268 CPUtime=1534.76
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 47398 0 0 0 153416 60 0 0 25 0 1 0 29363798 193810432 46358 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 47317 46358 52 112 0 47201 0
Current children cumulated CPU time (s) 1536.82
Current children cumulated vsize (KiB) 205800

[startup+1603.91 s]
/proc/loadavg: 2.01 2.02 2.12 3/75 16311
/proc/meminfo: memFree=1221080/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=195744 CPUtime=1594.55
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 49037 0 0 0 159393 62 0 0 25 0 1 0 29363798 200441856 47997 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 48936 47997 52 112 0 48820 0
Current children cumulated CPU time (s) 1596.61
Current children cumulated vsize (KiB) 212276

[startup+1663.97 s]
/proc/loadavg: 2.00 2.01 2.11 3/75 16313
/proc/meminfo: memFree=1208656/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=205104 CPUtime=1654.34
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 51379 0 0 0 165368 66 0 0 25 0 1 0 29363798 210026496 50339 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528707 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 51276 50339 52 112 0 51160 0
Current children cumulated CPU time (s) 1656.4
Current children cumulated vsize (KiB) 221636

[startup+1724.02 s]
/proc/loadavg: 2.00 2.01 2.10 3/75 16313
/proc/meminfo: memFree=1200088/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=210268 CPUtime=1714.12
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 52680 0 0 0 171344 68 0 0 25 0 1 0 29363798 215314432 51640 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 52567 51640 52 112 0 52451 0
Current children cumulated CPU time (s) 1716.18
Current children cumulated vsize (KiB) 226800

[startup+1784.08 s]
/proc/loadavg: 2.00 2.00 2.09 3/75 16313
/proc/meminfo: memFree=1192856/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=214136 CPUtime=1773.91
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 53656 0 0 0 177322 69 0 0 25 0 1 0 29363798 219275264 52616 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 53534 52616 52 112 0 53418 0
Current children cumulated CPU time (s) 1775.97
Current children cumulated vsize (KiB) 230668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.31 s]
/proc/loadavg: 2.00 2.00 2.09 3/75 16313
/proc/meminfo: memFree=1189784/2055920 swapFree=4192956/4192956
[pid=16221] ppid=16219 vsize=16532 CPUtime=2.06
/proc/16221/stat : 16221 (sugar) S 16219 16221 15742 0 -1 4194304 1997 13688 0 2 7 1 185 13 16 0 1 0 29363586 16928768 1508 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16221/statm: 4133 1508 373 3 0 1233 0
[pid=16239] ppid=16221 vsize=215616 CPUtime=1797.98
/proc/16239/stat : 16239 (minisat) R 16221 16221 15742 0 -1 0 54027 0 0 0 179728 70 0 0 25 0 1 0 29363798 220790784 52987 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/16239/statm: 53904 52987 52 112 0 53788 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 232148

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16221 and gives childrusage.ru_utime.tv_sec=1 childrusage.ru_utime.tv_usec=934705 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=152976
CPU time returned by wait4() is 2.08768
while last known CPU time is 1800.07

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

Real time (s): 1809.33
CPU time (s): 1800.07
CPU user time (s): 1799.2
CPU system time (s): 0.87
CPU usage (%): 99.4883
Max. virtual memory (cumulated for all children) (KiB): 821084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.93471
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15769
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1403
involuntary context switches= 1319

runsolver used 1.51577 s user time and 4.91625 s system time

The end

Launcher Data (download as text)

Begin job on node41 on Mon Jan 29 18:07:56 UTC 2007


IDJOB= 199304
IDBENCH= 3606
IDSOLVER= 86
FILE ID= node41/199304-1170094076

PBS_JOBID= 3689594

Free space on /tmp= 66563 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/allIntervalSeries/series-50.xml
COMMAND LINE= /tmp/evaluation/199304-1170094076/solver /tmp/evaluation/199304-1170094076 /tmp/evaluation/199304-1170094076/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node41/watcher-199304-1170094076 -o ROOT/results/node41/solver-199304-1170094076 -C 1800 -M 900  /tmp/evaluation/199304-1170094076/solver /tmp/evaluation/199304-1170094076 /tmp/evaluation/199304-1170094076/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  1f7c6563c9354a56d1d8a4ef6be0b489

RANDOM SEED= 489146542

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.231
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.231
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:       1599864 kB
Buffers:         47864 kB
Cached:         312536 kB
SwapCached:          0 kB
Active:         163032 kB
Inactive:       222604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599864 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2224 kB
Writeback:           0 kB
Mapped:          36252 kB
Slab:            55608 kB
Committed_AS:   101028 kB
PageTables:       1892 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= 66556 MiB



End job on node41 on Mon Jan 29 18:38:06 UTC 2007