Trace number 195499

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.40SAT 918.327 927.799

General information on the benchmark

Namefrb/frb40-19/
frb40-19-5-mgd_ext.xml
MD5SUM8589284fd07ecd642593419b9f201de6
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.2274
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables40
Number of constraints326
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension326
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.05	c # Sugar v0-40 (/tmp/evaluation/195499-1170092204/sugar-v0-40.jar)
0.05	
0.05	c # MAIN  BEGIN : /tmp/evaluation/195499-1170092204/unknown.xml [Mon Jan 29 18:36:55 2007]
0.05	c # CONVERT_XML  BEGIN : /tmp/evaluation/195499-1170092204/unknown.xml /tmp/evaluation/195499-1170092204/sugar19528.csp [Mon Jan 29 18:36:55 2007]
0.05	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195499-1170092204/sugar-v0-40.jar -convert /tmp/evaluation/195499-1170092204/unknown.xml /tmp/evaluation/195499-1170092204/sugar19528.csp
0.84	c BEGIN convert /tmp/evaluation/195499-1170092204/unknown.xml
1.54	c END convert (0.703974 seconds)
1.57	c # CONVERT_XML  END : /tmp/evaluation/195499-1170092204/sugar19528.csp 1121001 bytes (1 seconds) [Mon Jan 29 18:36:56 2007]
1.57	c # CONVERT_XML  CPU : 0.61 = 0 + 0 + 0.54 + 0.07
1.57	
1.57	c # GENERATE_SAT  BEGIN : /tmp/evaluation/195499-1170092204/sugar19528.bcnf [Mon Jan 29 18:36:56 2007]
1.57	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/195499-1170092204/sugar-v0-40.jar -bcnf -map /tmp/evaluation/195499-1170092204/sugar19528.map /tmp/evaluation/195499-1170092204/sugar19528.csp /tmp/evaluation/195499-1170092204/sugar19528.bcnf
1.69	c BEGIN parse /tmp/evaluation/195499-1170092204/sugar19528.csp
8.89	c END parse (7.20249 seconds)
8.89	c BEGIN simplify
8.94	c END simplify (0.049871 seconds)
8.94	c BEGIN encode /tmp/evaluation/195499-1170092204/sugar19528.bcnf
9.30	c END encode (0.358273 seconds)
9.40	c # GENERATE_SAT  END : 2872 variables 39317 clauses 2303100 bytes (8 seconds) [Mon Jan 29 18:37:04 2007]
9.40	c # GENERATE_SAT  CPU : 7.7 = 0.02 + 0 + 7.42 + 0.26
9.40	
9.40	c # SOLVE_SAT  BEGIN : /tmp/evaluation/195499-1170092204/sugar19528.bcnf [Mon Jan 29 18:37:04 2007]
9.40	c # CMD : /tmp/evaluation/195499-1170092204/minisat /tmp/evaluation/195499-1170092204/sugar19528.bcnf /tmp/evaluation/195499-1170092204/sugar19528.out
9.54	c ==================================[MINISAT]===================================
9.54	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
9.54	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
9.54	c ==============================================================================
9.54	c |         0 |   39317   536452 |   13105       0        0     nan |  0.000 % |
9.54	c |       100 |   39317   536452 |   14415     100     2615    26.1 |  0.000 % |
9.54	c |       250 |   39318   536452 |   15857     249     4445    17.9 |  0.000 % |
9.54	c |       475 |   39319   536452 |   17442     473     6897    14.6 |  0.001 % |
9.60	c |       812 |   39320   536452 |   19187     809    10665    13.2 |  0.000 % |
9.69	c |      1318 |   39321   536452 |   21105    1314    17873    13.6 |  0.000 % |
9.81	c |      2078 |   39321   536452 |   23216    2074    25720    12.4 |  0.000 % |
9.99	c |      3218 |   39321   536452 |   25537    3214    38379    11.9 |  0.001 % |
10.27	c |      4926 |   39322   536452 |   28091    4921    57053    11.6 |  0.001 % |
10.72	c |      7489 |   39325   536452 |   30900    7481    94625    12.6 |  0.001 % |
11.46	c |     11333 |   39326   536452 |   33990   11324   149094    13.2 |  0.000 % |
12.72	c |     17099 |   39329   536452 |   37390   17087   257785    15.1 |  0.001 % |
15.23	c |     25748 |   39336   536452 |   41129   25729   410783    16.0 |  0.001 % |
19.62	c |     38724 |   39341   536452 |   45242   38700   644874    16.7 |  0.001 % |
26.73	c |     58186 |   39351   536452 |   49766   25757   521071    20.2 |  0.001 % |
40.88	c |     87378 |   39358   536452 |   54742   19696   438116    22.2 |  0.001 % |
63.19	c |    131168 |   39365   536452 |   60217   24272   493583    20.3 |  0.001 % |
100.89	c |    196852 |   39368   536452 |   66238   46052   881738    19.1 |  0.001 % |
165.87	c |    295379 |   39375   536452 |   72862   47924  1258758    26.3 |  0.002 % |
262.78	c |    443170 |   39254   536098 |   80148   33533   686541    20.5 |  0.035 % |
412.37	c |    664853 |   39301   536098 |   88163   66831  1539746    23.0 |  0.035 % |
632.92	c |    997378 |   39334   536098 |   96980   45690   999384    21.9 |  0.035 % |
927.49	c ==============================================================================
927.49	c restarts              : 22
927.49	c conflicts             : 1397264        (1536 /sec)
927.49	c decisions             : 1821801        (2003 /sec)
927.49	c propagations          : 243831669      (268068 /sec)
927.49	c conflict literals     : 30428903       (44.35 % deleted)
927.49	c Memory used           : 22.28 MB
927.49	c CPU time              : 909.589 s
927.49	c 
927.49	c SATISFIABLE
927.50	c # SOLVE_SAT  END : SATISFIABLE (918 seconds) [Mon Jan 29 18:52:22 2007]
927.50	c # SOLVE_SAT  CPU : 909.7 = 0.01 + 0 + 909.6 + 0.09
927.50	
927.50	c # RESULT : SATISFIABLE
927.50	
927.50	c # OUTPUT_SOL  BEGIN : SAT  [Mon Jan 29 18:52:22 2007]
927.62	c BEGIN read SAT output /tmp/evaluation/195499-1170092204/sugar19528.out
927.65	c END read SAT output (0.0286 seconds)
927.65	c BEGIN write solution /tmp/evaluation/195499-1170092204/sugar19528.sol
927.77	c END write solution (0.114465 seconds)
927.79	s SATISFIABLE
927.79	v 0 10 2 5 15 2 13 13 15 5 18 16 10 16 3 17 6 12 8 6 16 4 10 15 9 4 16 5 1 5 0 12 15 18 17 9 18 14 0 4
927.79	c # OUTPUT_SOL  END :  (0 seconds) [Mon Jan 29 18:52:22 2007]
927.79	c # OUTPUT_SOL  CPU : 0.270000000000027 = 0 + 0.01 + 0.220000000000027 + 0.04
927.79	
927.79	c # MAIN  END :  (927 seconds) [Mon Jan 29 18:52:22 2007]
927.79	c # MAIN  CPU : 918.28 = 0.03 + 0.01 + 917.78 + 0.46
927.79

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-195499-1170092204 -o ROOT/results/node67/solver-195499-1170092204 -C 1800 -M 900 /tmp/evaluation/195499-1170092204/solver /tmp/evaluation/195499-1170092204 /tmp/evaluation/195499-1170092204/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.25 1.83 1.89 4/70 19529
/proc/meminfo: memFree=1577896/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=12268 CPUtime=0
/proc/19528/stat : 19528 (sugar) R 19526 19528 19423 0 -1 4194304 596 0 0 0 0 0 0 0 18 0 1 0 29179073 12562432 315 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271638559333 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/19528/statm: 3067 315 241 3 0 167 0

[startup+0.109355 s]
/proc/loadavg: 1.25 1.83 1.89 4/70 19529
/proc/meminfo: memFree=1577896/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=13724 CPUtime=0.03
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1112 0 0 0 2 1 0 0 18 0 1 0 29179073 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19528/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+0.517388 s]
/proc/loadavg: 1.25 1.83 1.89 4/70 19529
/proc/meminfo: memFree=1577896/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=13724 CPUtime=0.03
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1112 0 0 0 2 1 0 0 18 0 1 0 29179073 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19528/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724

[startup+1.34029 s]
/proc/loadavg: 1.31 1.84 1.89 2/89 19548
/proc/meminfo: memFree=1538704/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=13724 CPUtime=0.03
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1121 0 0 0 2 1 0 0 15 0 1 0 29179073 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19528/statm: 3431 805 368 3 0 531 0
[pid=19534] ppid=19528 vsize=807140 CPUtime=0.4
/proc/19534/stat : 19534 (java) R 19528 19528 19423 0 -1 0 4338 0 110 0 36 4 0 0 18 0 8 0 29179078 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19534/statm: 201785 4196 1679 14 0 189063 0
[pid=19534/tid=19535] ppid=19528 vsize=807140 CPUtime=0
/proc/19534/task/19535/stat : 19535 (java) S 19528 19528 19423 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 29179134 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19534/tid=19537] ppid=19528 vsize=807140 CPUtime=0
/proc/19534/task/19537/stat : 19537 (java) S 19528 19528 19423 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29179135 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19534/tid=19539] ppid=19528 vsize=807140 CPUtime=0
/proc/19534/task/19539/stat : 19539 (java) S 19528 19528 19423 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29179135 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19534/tid=19541] ppid=19528 vsize=807140 CPUtime=0
/proc/19534/task/19541/stat : 19541 (java) S 19528 19528 19423 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 29179141 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19534/tid=19542] ppid=19528 vsize=807140 CPUtime=0.1
/proc/19534/task/19542/stat : 19542 (java) R 19528 19528 19423 0 -1 64 336 0 0 0 10 0 0 0 16 0 8 0 29179141 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153277884 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19534/tid=19543] ppid=19528 vsize=807140 CPUtime=0
/proc/19534/task/19543/stat : 19543 (java) S 19528 19528 19423 0 -1 64 3 0 0 0 0 0 0 0 21 0 8 0 29179141 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19534/tid=19546] ppid=19528 vsize=807140 CPUtime=0
/proc/19534/task/19546/stat : 19546 (java) S 19528 19528 19423 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29179141 826511360 4196 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 820864

[startup+2.97946 s]
/proc/loadavg: 1.31 1.84 1.89 3/89 19556
/proc/meminfo: memFree=1477200/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=13724 CPUtime=0.64
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1190 7396 0 111 2 1 54 7 15 0 1 0 29179073 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3431 809 371 3 0 531 0
[pid=19549] ppid=19528 vsize=807064 CPUtime=1.37
/proc/19549/stat : 19549 (java) R 19528 19528 19423 0 -1 0 11184 0 3 0 131 6 0 0 25 0 8 0 29179231 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19549/statm: 201766 10926 1494 14 0 189044 0
[pid=19549/tid=19550] ppid=19528 vsize=807064 CPUtime=0.35
/proc/19549/task/19550/stat : 19550 (java) S 19528 19528 19423 0 -1 64 5125 0 0 0 33 2 0 0 16 0 8 0 29179234 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19551] ppid=19528 vsize=807064 CPUtime=0
/proc/19549/task/19551/stat : 19551 (java) S 19528 19528 19423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29179234 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19552] ppid=19528 vsize=807064 CPUtime=0
/proc/19549/task/19552/stat : 19552 (java) S 19528 19528 19423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29179234 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19553] ppid=19528 vsize=807064 CPUtime=0
/proc/19549/task/19553/stat : 19553 (java) S 19528 19528 19423 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29179238 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19554] ppid=19528 vsize=807064 CPUtime=0.05
/proc/19549/task/19554/stat : 19554 (java) S 19528 19528 19423 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29179238 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19555] ppid=19528 vsize=807064 CPUtime=0
/proc/19549/task/19555/stat : 19555 (java) S 19528 19528 19423 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29179238 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19556] ppid=19528 vsize=807064 CPUtime=0
/proc/19549/task/19556/stat : 19556 (java) S 19528 19528 19423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29179238 826433536 10926 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 820788

[startup+6.1878 s]
/proc/loadavg: 1.45 1.85 1.89 4/89 19564
/proc/meminfo: memFree=1402832/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=13724 CPUtime=0.64
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1190 7396 0 111 2 1 54 7 15 0 1 0 29179073 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3431 809 371 3 0 531 0
[pid=19549] ppid=19528 vsize=807336 CPUtime=4.56
/proc/19549/stat : 19549 (java) R 19528 19528 19423 0 -1 0 27938 0 4 0 440 16 0 0 25 0 8 0 29179231 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073695952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19549/statm: 201834 27602 1507 14 0 189112 0
[pid=19549/tid=19550] ppid=19528 vsize=807336 CPUtime=1.1
/proc/19549/task/19550/stat : 19550 (java) S 19528 19528 19423 0 -1 64 21655 0 0 0 100 10 0 0 16 0 8 0 29179234 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19551] ppid=19528 vsize=807336 CPUtime=0
/proc/19549/task/19551/stat : 19551 (java) S 19528 19528 19423 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29179234 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19552] ppid=19528 vsize=807336 CPUtime=0
/proc/19549/task/19552/stat : 19552 (java) S 19528 19528 19423 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29179234 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19553] ppid=19528 vsize=807336 CPUtime=0
/proc/19549/task/19553/stat : 19553 (java) S 19528 19528 19423 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 29179238 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19554] ppid=19528 vsize=807336 CPUtime=0.13
/proc/19549/task/19554/stat : 19554 (java) S 19528 19528 19423 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 29179238 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19555] ppid=19528 vsize=807336 CPUtime=0
/proc/19549/task/19555/stat : 19555 (java) S 19528 19528 19423 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 29179238 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19549/tid=19556] ppid=19528 vsize=807336 CPUtime=0
/proc/19549/task/19556/stat : 19556 (java) S 19528 19528 19423 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29179238 826712064 27602 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 821060

[startup+12.6835 s]
/proc/loadavg: 1.49 1.86 1.89 3/82 19565
/proc/meminfo: memFree=1363784/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 15 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=6600 CPUtime=3.26
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 1877 0 0 0 325 1 0 0 25 0 1 0 29180013 6758400 1300 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 1650 1300 52 112 0 1534 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 21592

[startup+25.5218 s]
/proc/loadavg: 1.64 1.88 1.90 4/82 19565
/proc/meminfo: memFree=1173832/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=9784 CPUtime=16.01
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 2659 0 0 0 1599 2 0 0 25 0 1 0 29180013 10018816 2082 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 2446 2082 52 112 0 2330 0
Current children cumulated CPU time (s) 24.35
Current children cumulated vsize (KiB) 24776

[startup+51.1755 s]
/proc/loadavg: 1.91 1.92 1.91 3/82 19565
/proc/meminfo: memFree=935624/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=11496 CPUtime=41.42
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 3096 0 0 0 4139 3 0 0 25 0 1 0 29180013 11771904 2519 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 2874 2519 52 112 0 2758 0
Current children cumulated CPU time (s) 49.76
Current children cumulated vsize (KiB) 26488

[startup+102.44 s]
/proc/loadavg: 2.26 2.01 1.94 4/82 19565
/proc/meminfo: memFree=925704/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=13316 CPUtime=92.2
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 3559 0 0 0 9217 3 0 0 25 0 1 0 29180013 13635584 2982 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 3329 2982 52 112 0 3213 0
Current children cumulated CPU time (s) 100.54
Current children cumulated vsize (KiB) 28308

[startup+162.501 s]
/proc/loadavg: 2.59 2.14 1.99 4/82 19565
/proc/meminfo: memFree=923016/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=14676 CPUtime=151.71
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 3875 0 0 0 15167 4 0 0 25 0 1 0 29180013 15028224 3298 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 3669 3298 52 112 0 3553 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (KiB) 29668

[startup+222.564 s]
/proc/loadavg: 2.80 2.28 2.04 3/82 19565
/proc/meminfo: memFree=917896/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=16564 CPUtime=211.24
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 4320 0 0 0 21119 5 0 0 25 0 1 0 29180013 16961536 3743 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 4141 3743 52 112 0 4025 0
Current children cumulated CPU time (s) 219.58
Current children cumulated vsize (KiB) 31556

[startup+282.65 s]
/proc/loadavg: 2.88 2.39 2.10 4/82 19565
/proc/meminfo: memFree=917640/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=16848 CPUtime=270.78
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 4393 0 0 0 27073 5 0 0 25 0 1 0 29180013 17252352 3816 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 4212 3816 52 112 0 4096 0
Current children cumulated CPU time (s) 279.12
Current children cumulated vsize (KiB) 31840

[startup+342.723 s]
/proc/loadavg: 3.03 2.51 2.15 3/82 19565
/proc/meminfo: memFree=915656/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=18824 CPUtime=330.28
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 4901 0 0 0 33022 6 0 0 25 0 1 0 29180013 19275776 4324 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 4706 4324 52 112 0 4590 0
Current children cumulated CPU time (s) 338.62
Current children cumulated vsize (KiB) 33816

[startup+402.799 s]
/proc/loadavg: 2.92 2.56 2.19 3/82 19565
/proc/meminfo: memFree=915080/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=19508 CPUtime=389.82
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5038 0 0 0 38976 6 0 0 25 0 1 0 29180013 19976192 4461 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 4877 4461 52 112 0 4761 0
Current children cumulated CPU time (s) 398.16
Current children cumulated vsize (KiB) 34500

[startup+462.84 s]
/proc/loadavg: 2.85 2.60 2.22 4/82 19565
/proc/meminfo: memFree=914056/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=20076 CPUtime=449.33
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5183 0 0 0 44927 6 0 0 25 0 1 0 29180013 20557824 4606 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5019 4606 52 112 0 4903 0
Current children cumulated CPU time (s) 457.67
Current children cumulated vsize (KiB) 35068

[startup+522.878 s]
/proc/loadavg: 2.94 2.67 2.27 4/82 19565
/proc/meminfo: memFree=913672/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=20548 CPUtime=508.77
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5293 0 0 0 50870 7 0 0 25 0 1 0 29180013 21041152 4716 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5137 4716 52 112 0 5021 0
Current children cumulated CPU time (s) 517.11
Current children cumulated vsize (KiB) 35540

[startup+582.918 s]
/proc/loadavg: 2.98 2.73 2.31 4/82 19565
/proc/meminfo: memFree=913352/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=20728 CPUtime=568.26
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5362 0 0 0 56818 8 0 0 25 0 1 0 29180013 21225472 4785 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5182 4785 52 112 0 5066 0
Current children cumulated CPU time (s) 576.6
Current children cumulated vsize (KiB) 35720

[startup+642.956 s]
/proc/loadavg: 2.91 2.74 2.34 3/82 19565
/proc/meminfo: memFree=912648/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=21548 CPUtime=627.73
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5538 0 0 0 62765 8 0 0 25 0 1 0 29180013 22065152 4961 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5387 4961 52 112 0 5271 0
Current children cumulated CPU time (s) 636.07
Current children cumulated vsize (KiB) 36540

[startup+703.03 s]
/proc/loadavg: 2.93 2.77 2.37 5/82 19565
/proc/meminfo: memFree=912520/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=21728 CPUtime=687.25
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5566 0 0 0 68717 8 0 0 25 0 1 0 29180013 22249472 4989 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5432 4989 52 112 0 5316 0
Current children cumulated CPU time (s) 695.59
Current children cumulated vsize (KiB) 36720

[startup+763.091 s]
/proc/loadavg: 2.87 2.77 2.39 4/82 19565
/proc/meminfo: memFree=912072/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=22160 CPUtime=746.76
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5677 0 0 0 74668 8 0 0 25 0 1 0 29180013 22691840 5100 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5540 5100 52 112 0 5424 0
Current children cumulated CPU time (s) 755.1
Current children cumulated vsize (KiB) 37152

[startup+823.168 s]
/proc/loadavg: 2.71 2.73 2.40 4/82 19565
/proc/meminfo: memFree=911944/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=22388 CPUtime=806.3
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5713 0 0 0 80622 8 0 0 25 0 1 0 29180013 22925312 5136 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5597 5136 52 112 0 5481 0
Current children cumulated CPU time (s) 814.64
Current children cumulated vsize (KiB) 37380

[startup+883.228 s]
/proc/loadavg: 2.72 2.73 2.42 5/82 19565
/proc/meminfo: memFree=911752/2055920 swapFree=4192956/4192956
[pid=19528] ppid=19526 vsize=14992 CPUtime=8.34
/proc/19528/stat : 19528 (sugar) S 19526 19528 19423 0 -1 4194304 1608 51424 0 116 4 1 796 33 16 0 1 0 29179073 15351808 1120 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19528/statm: 3748 1120 373 3 0 848 0
[pid=19565] ppid=19528 vsize=22524 CPUtime=865.8
/proc/19565/stat : 19565 (minisat) R 19528 19528 19423 0 -1 0 5758 0 0 0 86572 8 0 0 25 0 1 0 29180013 23064576 5181 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19565/statm: 5631 5181 52 112 0 5515 0
Current children cumulated CPU time (s) 874.14
Current children cumulated vsize (KiB) 37516

Child status: 0
Real time (s): 927.799
CPU time (s): 918.327
CPU user time (s): 917.841
CPU system time (s): 0.485926
CPU usage (%): 98.9791
Max. virtual memory (cumulated for all children) (KiB): 821060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 917.841
system time used= 0.485926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62562
page faults= 117
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3129
involuntary context switches= 36644

runsolver used 0.937857 s user time and 2.58561 s system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Jan 29 17:36:52 UTC 2007


IDJOB= 195499
IDBENCH= 3271
IDSOLVER= 86
FILE ID= node67/195499-1170092204

PBS_JOBID= 3689567

Free space on /tmp= 66560 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb40-19/frb40-19-5-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/195499-1170092204/solver /tmp/evaluation/195499-1170092204 /tmp/evaluation/195499-1170092204/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-195499-1170092204 -o ROOT/results/node67/solver-195499-1170092204 -C 1800 -M 900  /tmp/evaluation/195499-1170092204/solver /tmp/evaluation/195499-1170092204 /tmp/evaluation/195499-1170092204/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  8589284fd07ecd642593419b9f201de6

RANDOM SEED= 109524552

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.236
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.236
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:       1578888 kB
Buffers:         42864 kB
Cached:         343104 kB
SwapCached:          0 kB
Active:          55368 kB
Inactive:       350956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1578888 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4476 kB
Writeback:           0 kB
Mapped:          30724 kB
Slab:            56200 kB
Committed_AS:    60868 kB
PageTables:       1732 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= 66543 MiB



End job on node67 on Mon Jan 29 17:52:22 UTC 2007