Trace number 210647

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 1811.7

General information on the benchmark

NamepseudoSeries/fpga/
fpga-30-29.xml
MD5SUMbaa832437a6b296bd72cdf91ca429a96
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 benchmark1562.27
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1305
Number of constraints958
Maximum constraint arity30
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension958
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/210647-1170097938/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/210647-1170097938/unknown.xml [Mon Jan 29 20:12:18 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/210647-1170097938/unknown.xml /tmp/evaluation/210647-1170097938/sugar16895.csp [Mon Jan 29 20:12:18 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210647-1170097938/sugar-v0-40.jar -convert /tmp/evaluation/210647-1170097938/unknown.xml /tmp/evaluation/210647-1170097938/sugar16895.csp
0.17	c BEGIN convert /tmp/evaluation/210647-1170097938/unknown.xml
0.71	c END convert (0.538328 seconds)
0.76	c # CONVERT_XML  END : /tmp/evaluation/210647-1170097938/sugar16895.csp 191256 bytes (1 seconds) [Mon Jan 29 20:12:19 2007]
0.76	c # CONVERT_XML  CPU : 0.64 = 0 + 0 + 0.59 + 0.05
0.76	
0.76	c # GENERATE_SAT  BEGIN : /tmp/evaluation/210647-1170097938/sugar16895.bcnf [Mon Jan 29 20:12:19 2007]
0.76	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210647-1170097938/sugar-v0-40.jar -bcnf -map /tmp/evaluation/210647-1170097938/sugar16895.map /tmp/evaluation/210647-1170097938/sugar16895.csp /tmp/evaluation/210647-1170097938/sugar16895.bcnf
0.88	c BEGIN parse /tmp/evaluation/210647-1170097938/sugar16895.csp
2.75	c END parse (1.870593 seconds)
2.75	c BEGIN simplify
2.76	c END simplify (0.005623 seconds)
2.76	c BEGIN encode /tmp/evaluation/210647-1170097938/sugar16895.bcnf
2.90	c END encode (0.145034 seconds)
2.99	c # GENERATE_SAT  END : 12132 variables 55868 clauses 775208 bytes (2 seconds) [Mon Jan 29 20:12:21 2007]
2.99	c # GENERATE_SAT  CPU : 2.19 = 0.06 + 0 + 2.06 + 0.07
2.99	
2.99	c # SOLVE_SAT  BEGIN : /tmp/evaluation/210647-1170097938/sugar16895.bcnf [Mon Jan 29 20:12:21 2007]
2.99	c # CMD : /tmp/evaluation/210647-1170097938/minisat /tmp/evaluation/210647-1170097938/sugar16895.bcnf /tmp/evaluation/210647-1170097938/sugar16895.out
3.02	c ==================================[MINISAT]===================================
3.02	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
3.02	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
3.02	c ==============================================================================
3.02	c |         0 |   43905   114326 |   14635       0        0     nan |  0.000 % |
3.04	c |       100 |   43905   114326 |   16098     100     5364    53.6 | 23.294 % |
3.05	c |       250 |   43905   114326 |   17708     250    11654    46.6 | 23.294 % |
3.07	c |       475 |   43905   114326 |   19479     475    18893    39.8 | 23.294 % |
3.10	c |       812 |   43905   114326 |   21427     812    35421    43.6 | 23.294 % |
3.15	c |      1318 |   43905   114326 |   23569    1318    54199    41.1 | 23.294 % |
3.21	c |      2078 |   43905   114326 |   25926    2078    81425    39.2 | 23.294 % |
3.34	c |      3219 |   43905   114326 |   28519    3219   157307    48.9 | 23.294 % |
3.53	c |      4930 |   43905   114326 |   31371    4930   252367    51.2 | 23.294 % |
3.89	c |      7492 |   43905   114326 |   34508    7492   391357    52.2 | 23.294 % |
4.29	c |     11337 |   43905   114326 |   37959   11337   499811    44.1 | 23.294 % |
4.97	c |     17103 |   43905   114326 |   41755   17103   705922    41.3 | 23.294 % |
6.93	c |     25754 |   43905   114326 |   45930   25754  1237723    48.1 | 23.294 % |
9.31	c |     38729 |   43905   114326 |   50523   38729  1834666    47.4 | 23.294 % |
14.67	c |     58190 |   43905   114326 |   55576   58190  2725373    46.8 | 23.294 % |
30.97	c |     87382 |   43905   114326 |   61134   38872  3341706    86.0 | 23.294 % |
60.33	c |    131171 |   43905   114326 |   67247   27893  3360684   120.5 | 23.294 % |
99.63	c |    196855 |   43905   114326 |   73972   34085  3325773    97.6 | 23.294 % |
190.66	c |    295382 |   43905   114326 |   81369   66816  5370274    80.4 | 23.294 % |
368.47	c |    443172 |   43905   114326 |   89506   65785  4867954    74.0 | 23.294 % |
608.25	c |    664855 |   43905   114326 |   98456   44779  3889113    86.9 | 23.294 % |
873.11	c |    997380 |   43905   114326 |  108302  100287  2696950    26.9 | 23.294 % |
1387.45	c |   1496170 |   43905   114326 |  119132   97624  6591468    67.5 | 23.294 % |
1810.69	
1810.69	s UNKNOWN
1810.69	c # INTERRUPTED
1810.69	c # MAIN  END :  (1811 seconds) [Mon Jan 29 20:42:29 2007]
1810.69	c # MAIN  CPU : 2.83 = 0.06 + 0 + 2.65 + 0.12
1810.69

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/node55/watcher-210647-1170097938 -o ROOT/results/node55/solver-210647-1170097938 -C 1800 -M 900 /tmp/evaluation/210647-1170097938/solver /tmp/evaluation/210647-1170097938 /tmp/evaluation/210647-1170097938/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.93 2.00 2.05 5/75 16896
/proc/meminfo: memFree=1806072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=18540 CPUtime=0
/proc/16895/stat : 16895 (runsolver) R 16893 16895 16476 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 29750290 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 248761609511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16895/statm: 4635 279 244 17 0 2626 0

[startup+0.109325 s]
/proc/loadavg: 1.93 2.00 2.05 5/75 16896
/proc/meminfo: memFree=1806072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=13724 CPUtime=0.04
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 1112 0 0 0 3 1 0 0 21 0 1 0 29750290 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+0.517362 s]
/proc/loadavg: 1.93 2.00 2.05 5/75 16896
/proc/meminfo: memFree=1806072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=13724 CPUtime=0.04
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29750290 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724

[startup+1.33944 s]
/proc/loadavg: 2.02 2.01 2.06 4/83 16912
/proc/meminfo: memFree=1783736/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=13724 CPUtime=0.68
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 1190 7415 0 1 3 1 59 5 15 0 1 0 29750290 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 3431 809 371 3 0 531 0
[pid=16905] ppid=16895 vsize=807368 CPUtime=0.55
/proc/16905/stat : 16905 (java) S 16895 16895 16476 0 -1 0 7273 0 1 0 51 4 0 0 17 0 8 0 29750366 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16905/statm: 201842 7022 1506 14 0 189120 0
[pid=16905/tid=16906] ppid=16895 vsize=807368 CPUtime=0.04
/proc/16905/task/16906/stat : 16906 (java) R 16895 16895 16476 0 -1 64 1100 0 0 0 4 0 0 0 16 0 8 0 29750369 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822953 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16907] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16907/stat : 16907 (java) S 16895 16895 16476 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29750370 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16908] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16908/stat : 16908 (java) S 16895 16895 16476 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29750370 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16909] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16909/stat : 16909 (java) S 16895 16895 16476 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16910] ppid=16895 vsize=807368 CPUtime=0.1
/proc/16905/task/16910/stat : 16910 (java) R 16895 16895 16476 0 -1 64 386 0 0 0 10 0 0 0 19 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16911] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16911/stat : 16911 (java) S 16895 16895 16476 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16905/tid=16912] ppid=16895 vsize=807368 CPUtime=0
/proc/16905/task/16912/stat : 16912 (java) S 16895 16895 16476 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29750373 826744832 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 821092

[startup+2.9916 s]
/proc/loadavg: 2.02 2.01 2.06 4/83 16912
/proc/meminfo: memFree=1774072/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.86
/proc/16895/stat : 16895 (sugar) R 16893 16895 16476 0 -1 4194304 2151 16830 0 2 8 1 265 12 18 0 1 0 29750290 17920000 1722 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248761486643 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16895/statm: 4375 1722 371 3 0 1475 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 17500

[startup+6.28292 s]
/proc/loadavg: 2.02 2.01 2.06 3/76 16913
/proc/meminfo: memFree=1789232/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 15 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=8776 CPUtime=3.25
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 2058 0 0 0 324 1 0 0 25 0 1 0 29750589 8986624 1853 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 2194 1853 52 112 0 2078 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 26276

[startup+12.7445 s]
/proc/loadavg: 2.01 2.01 2.06 3/76 16913
/proc/meminfo: memFree=1778288/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=15492 CPUtime=9.65
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 3723 0 0 0 962 3 0 0 25 0 1 0 29750589 15863808 3518 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525460 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 3873 3518 52 112 0 3757 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 32992

[startup+25.5878 s]
/proc/loadavg: 2.01 2.01 2.06 3/76 16913
/proc/meminfo: memFree=1767856/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=18788 CPUtime=22.37
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 4516 0 0 0 2234 3 0 0 25 0 1 0 29750589 19238912 4311 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528758 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 4697 4311 52 112 0 4581 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 36288

[startup+51.2593 s]
/proc/loadavg: 2.08 2.02 2.06 3/76 16913
/proc/meminfo: memFree=1754032/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=32740 CPUtime=47.82
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 8009 0 0 0 4775 7 0 0 25 0 1 0 29750589 33525760 7804 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134533589 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 8185 7804 52 112 0 8069 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 50240

[startup+102.537 s]
/proc/loadavg: 2.03 2.02 2.05 3/76 16913
/proc/meminfo: memFree=1732208/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=41832 CPUtime=98.62
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 10268 0 0 0 9853 9 0 0 25 0 1 0 29750589 42835968 10063 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 10458 10063 52 112 0 10342 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 59332

[startup+162.561 s]
/proc/loadavg: 2.01 2.01 2.05 3/76 16913
/proc/meminfo: memFree=1731504/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=42288 CPUtime=158.1
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 10357 0 0 0 15801 9 0 0 25 0 1 0 29750589 43302912 10152 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 10572 10152 52 112 0 10456 0
Current children cumulated CPU time (s) 160.97
Current children cumulated vsize (KiB) 59788

[startup+222.574 s]
/proc/loadavg: 2.00 2.01 2.04 3/76 16913
/proc/meminfo: memFree=1729840/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=43812 CPUtime=217.58
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 10754 0 0 0 21748 10 0 0 25 0 1 0 29750589 44863488 10549 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525735 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 10953 10549 52 112 0 10837 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 61312

[startup+282.589 s]
/proc/loadavg: 2.04 2.02 2.04 3/76 16913
/proc/meminfo: memFree=1721776/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=45312 CPUtime=277.05
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11067 0 0 0 27695 10 0 0 25 0 1 0 29750589 46399488 10862 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 11328 10862 52 112 0 11212 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 62812

[startup+342.61 s]
/proc/loadavg: 2.01 2.01 2.04 3/76 16913
/proc/meminfo: memFree=1709488/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=47052 CPUtime=336.52
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11526 0 0 0 33641 11 0 0 25 0 1 0 29750589 48181248 11321 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 11763 11321 52 112 0 11647 0
Current children cumulated CPU time (s) 339.39
Current children cumulated vsize (KiB) 64552

[startup+402.633 s]
/proc/loadavg: 2.00 2.01 2.03 3/76 16913
/proc/meminfo: memFree=1697456/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=48244 CPUtime=396
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11712 0 0 0 39589 11 0 0 25 0 1 0 29750589 49401856 11507 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 12061 11507 52 112 0 11945 0
Current children cumulated CPU time (s) 398.87
Current children cumulated vsize (KiB) 65744

[startup+462.657 s]
/proc/loadavg: 2.00 2.00 2.02 3/76 16913
/proc/meminfo: memFree=1687280/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=49100 CPUtime=455.47
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 11906 0 0 0 45536 11 0 0 25 0 1 0 29750589 50278400 11701 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 12275 11701 52 112 0 12159 0
Current children cumulated CPU time (s) 458.34
Current children cumulated vsize (KiB) 66600

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

/proc/loadavg: 2.00 2.00 2.00 3/76 16913
/proc/meminfo: memFree=1654192/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73240 CPUtime=1113.01
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17845 0 0 0 111281 20 0 0 25 0 1 0 29750589 74997760 17640 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18310 17640 52 112 0 18194 0
Current children cumulated CPU time (s) 1115.88
Current children cumulated vsize (KiB) 90740

[startup+1183.34 s]
/proc/loadavg: 2.03 2.01 2.00 3/76 16913
/proc/meminfo: memFree=1654192/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73240 CPUtime=1172.79
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17846 0 0 0 117259 20 0 0 25 0 1 0 29750589 74997760 17641 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18310 17641 52 112 0 18194 0
Current children cumulated CPU time (s) 1175.66
Current children cumulated vsize (KiB) 90740

[startup+1243.39 s]
/proc/loadavg: 2.01 2.01 2.00 3/76 16913
/proc/meminfo: memFree=1654192/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73236 CPUtime=1232.56
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17847 0 0 0 123236 20 0 0 25 0 1 0 29750589 74993664 17642 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18309 17642 52 112 0 18193 0
Current children cumulated CPU time (s) 1235.43
Current children cumulated vsize (KiB) 90736

[startup+1303.45 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16913
/proc/meminfo: memFree=1654128/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73236 CPUtime=1292.33
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17853 0 0 0 129213 20 0 0 25 0 1 0 29750589 74993664 17648 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18309 17648 52 112 0 18193 0
Current children cumulated CPU time (s) 1295.2
Current children cumulated vsize (KiB) 90736

[startup+1363.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16913
/proc/meminfo: memFree=1653936/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1352.12
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17884 0 0 0 135192 20 0 0 25 0 1 0 29750589 75161600 17679 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17679 52 112 0 18234 0
Current children cumulated CPU time (s) 1354.99
Current children cumulated vsize (KiB) 90900

[startup+1423.56 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1653680/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1411.88
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17893 0 0 0 141168 20 0 0 25 0 1 0 29750589 75161600 17688 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17688 52 112 0 18234 0
Current children cumulated CPU time (s) 1414.75
Current children cumulated vsize (KiB) 90900

[startup+1483.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1653680/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1471.66
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17895 0 0 0 147146 20 0 0 25 0 1 0 29750589 75161600 17690 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17690 52 112 0 18234 0
Current children cumulated CPU time (s) 1474.53
Current children cumulated vsize (KiB) 90900

[startup+1543.68 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1653616/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73400 CPUtime=1531.44
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17895 0 0 0 153124 20 0 0 25 0 1 0 29750589 75161600 17690 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18350 17690 52 112 0 18234 0
Current children cumulated CPU time (s) 1534.31
Current children cumulated vsize (KiB) 90900

[startup+1603.74 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1652464/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73764 CPUtime=1591.21
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17958 0 0 0 159101 20 0 0 25 0 1 0 29750589 75534336 17753 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18441 17753 52 112 0 18325 0
Current children cumulated CPU time (s) 1594.08
Current children cumulated vsize (KiB) 91264

[startup+1663.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1646448/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=73764 CPUtime=1650.99
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 17958 0 0 0 165079 20 0 0 25 0 1 0 29750589 75534336 17753 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18441 17753 52 112 0 18325 0
Current children cumulated CPU time (s) 1653.86
Current children cumulated vsize (KiB) 91264

[startup+1723.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1643120/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=74092 CPUtime=1710.78
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 18022 0 0 0 171057 21 0 0 25 0 1 0 29750589 75870208 17817 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18523 17817 52 112 0 18407 0
Current children cumulated CPU time (s) 1713.65
Current children cumulated vsize (KiB) 91592

[startup+1783.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 16915
/proc/meminfo: memFree=1643120/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=74092 CPUtime=1770.56
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 18022 0 0 0 177035 21 0 0 25 0 1 0 29750589 75870208 17817 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18523 17817 52 112 0 18407 0
Current children cumulated CPU time (s) 1773.43
Current children cumulated vsize (KiB) 91592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.68 s]
/proc/loadavg: 1.72 1.93 1.98 2/69 17132
/proc/meminfo: memFree=1758328/2055920 swapFree=4184200/4192956
[pid=16895] ppid=16893 vsize=17500 CPUtime=2.87
/proc/16895/stat : 16895 (sugar) S 16893 16895 16476 0 -1 4194304 2221 16830 0 2 9 1 265 12 16 0 1 0 29750290 17920000 1735 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 248770506850 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16895/statm: 4375 1735 373 3 0 1475 0
[pid=16913] ppid=16895 vsize=74256 CPUtime=1797.19
/proc/16913/stat : 16913 (minisat) R 16895 16895 16476 0 -1 0 18051 0 0 0 179696 23 0 0 25 0 1 0 29750589 76038144 17846 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/16913/statm: 18564 17846 52 112 0 18448 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 91756

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 16895 and gives childrusage.ru_utime.tv_sec=2 childrusage.ru_utime.tv_usec=743582 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=140978
CPU time returned by wait4() is 2.88456
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): 1811.7
CPU time (s): 1800.07
CPU user time (s): 1799.7
CPU system time (s): 0.37
CPU usage (%): 99.3582
Max. virtual memory (cumulated for all children) (KiB): 821092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.74358
system time used= 0.140978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19136
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= 1374
involuntary context switches= 1315

runsolver used 1.76173 s user time and 5.08023 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Mon Jan 29 19:12:18 UTC 2007


IDJOB= 210647
IDBENCH= 4635
IDSOLVER= 86
FILE ID= node55/210647-1170097938

PBS_JOBID= 3689702

Free space on /tmp= 66561 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-30-29.xml
COMMAND LINE= /tmp/evaluation/210647-1170097938/solver /tmp/evaluation/210647-1170097938 /tmp/evaluation/210647-1170097938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-210647-1170097938 -o ROOT/results/node55/solver-210647-1170097938 -C 1800 -M 900  /tmp/evaluation/210647-1170097938/solver /tmp/evaluation/210647-1170097938 /tmp/evaluation/210647-1170097938/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  baa832437a6b296bd72cdf91ca429a96

RANDOM SEED= 32694750

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.247
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.247
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:       1806488 kB
Buffers:         56668 kB
Cached:          95892 kB
SwapCached:       3160 kB
Active:          86524 kB
Inactive:       110236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806488 kB
SwapTotal:     4192956 kB
SwapFree:      4184200 kB
Dirty:            4144 kB
Writeback:           0 kB
Mapped:          50496 kB
Slab:            38000 kB
Committed_AS:   245172 kB
PageTables:       1796 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= 66563 MiB



End job on node55 on Mon Jan 29 19:42:33 UTC 2007