Trace number 202753

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

General information on the benchmark

Namerandom/rand-2-40-19/
rand-2-40-19-443-230-7_ext.xml
MD5SUMa8611361fc071f36f209f12d9cff780e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark101.315
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.53	c # Sugar v0-40 (/tmp/evaluation/202753-1170095719/sugar-v0-40.jar)
0.53	
0.74	c # MAIN  BEGIN : /tmp/evaluation/202753-1170095719/unknown.xml [Mon Jan 29 19:35:21 2007]
0.74	c # CONVERT_XML  BEGIN : /tmp/evaluation/202753-1170095719/unknown.xml /tmp/evaluation/202753-1170095719/sugar24526.csp [Mon Jan 29 19:35:21 2007]
0.74	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202753-1170095719/sugar-v0-40.jar -convert /tmp/evaluation/202753-1170095719/unknown.xml /tmp/evaluation/202753-1170095719/sugar24526.csp
3.62	c BEGIN convert /tmp/evaluation/202753-1170095719/unknown.xml
4.19	c END convert (0.563258 seconds)
4.59	c # CONVERT_XML  END : /tmp/evaluation/202753-1170095719/sugar24526.csp 1092794 bytes (4 seconds) [Mon Jan 29 19:35:25 2007]
4.59	c # CONVERT_XML  CPU : 0.62 = 0 + 0 + 0.54 + 0.08
4.59	
4.59	c # GENERATE_SAT  BEGIN : /tmp/evaluation/202753-1170095719/sugar24526.bcnf [Mon Jan 29 19:35:25 2007]
4.59	c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202753-1170095719/sugar-v0-40.jar -bcnf -map /tmp/evaluation/202753-1170095719/sugar24526.map /tmp/evaluation/202753-1170095719/sugar24526.csp /tmp/evaluation/202753-1170095719/sugar24526.bcnf
4.70	c BEGIN parse /tmp/evaluation/202753-1170095719/sugar24526.csp
16.17	c END parse (11.471158 seconds)
16.17	c BEGIN simplify
16.24	c END simplify (0.062735 seconds)
16.24	c BEGIN encode /tmp/evaluation/202753-1170095719/sugar24526.bcnf
16.78	c END encode (0.54446 seconds)
16.91	c # GENERATE_SAT  END : 5582 variables 43727 clauses 4546060 bytes (12 seconds) [Mon Jan 29 19:35:37 2007]
16.91	c # GENERATE_SAT  CPU : 12.03 = 0.04 + 0 + 11.61 + 0.38
16.91	
16.91	c # SOLVE_SAT  BEGIN : /tmp/evaluation/202753-1170095719/sugar24526.bcnf [Mon Jan 29 19:35:37 2007]
16.91	c # CMD : /tmp/evaluation/202753-1170095719/minisat /tmp/evaluation/202753-1170095719/sugar24526.bcnf /tmp/evaluation/202753-1170095719/sugar24526.out
17.03	c ==================================[MINISAT]===================================
17.03	c | Conflicts |     ORIGINAL     |              LEARNT              | Progress |
17.03	c |           | Clauses Literals |   Limit Clauses Literals  Lit/Cl |          |
17.03	c ==============================================================================
17.03	c |         0 |   43727  1092780 |   14575       0        0     nan |  0.000 % |
17.06	c |       101 |   43728  1092780 |   16032     100     1567    15.7 |  0.000 % |
17.10	c |       252 |   43728  1092780 |   17635     251     4390    17.5 |  0.000 % |
17.14	c |       477 |   43730  1092780 |   19399     474     7454    15.7 |  0.000 % |
17.20	c |       814 |   43730  1092780 |   21339     811    11283    13.9 |  0.000 % |
17.32	c |      1321 |   43730  1092780 |   23473    1318    19398    14.7 |  0.000 % |
17.47	c |      2081 |   43732  1092780 |   25820    2076    28307    13.6 |  0.000 % |
17.72	c |      3220 |   43732  1092780 |   28402    3215    42670    13.3 |  0.000 % |
18.08	c |      4928 |   43732  1092780 |   31242    4923    70064    14.2 |  0.000 % |
18.76	c |      7490 |   43733  1092780 |   34367    7484   107340    14.3 |  0.000 % |
19.97	c |     11335 |   43736  1092780 |   37803   11326   165909    14.6 |  0.000 % |
21.93	c |     17101 |   43736  1092780 |   41584   17092   262613    15.4 |  0.000 % |
25.33	c |     25752 |   43736  1092780 |   45742   25743   464213    18.0 |  0.000 % |
31.10	c |     38728 |   43741  1092780 |   50316   38714   718093    18.5 |  0.000 % |
41.88	c |     58189 |   43745  1092780 |   55348   22827   469328    20.6 |  0.000 % |
56.57	c |     87382 |   43753  1092780 |   60883   52012  1169485    22.5 |  0.000 % |
80.00	c |    131172 |   43762  1092780 |   66971   53028  1136695    21.4 |  0.000 % |
116.95	c |    196857 |   43770  1092780 |   73668   18119   369590    20.4 |  0.000 % |
177.45	c |    295385 |   43779  1092780 |   81035   60286  1646500    27.3 |  0.000 % |
278.46	c |    443174 |   43809  1092780 |   89139   77352  2032075    26.3 |  0.000 % |
453.69	c |    664858 |   43836  1092780 |   98053   80188  2126642    26.5 |  0.001 % |
741.19	c |    997385 |   43745  1092477 |  107858   28112   744649    26.5 |  0.018 % |
1182.57	c |   1496174 |   43791  1092477 |  118644   84545  2755087    32.6 |  0.018 % |
1814.86	
1814.86	s UNKNOWN
1814.86	c # INTERRUPTED
1814.86	c # MAIN  END :  (1814 seconds) [Mon Jan 29 20:05:35 2007]
1814.86	c # MAIN  CPU : 12.66 = 0.05 + 0 + 12.15 + 0.46
1814.86

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/node16/watcher-202753-1170095719 -o ROOT/results/node16/solver-202753-1170095719 -C 1800 -M 900 /tmp/evaluation/202753-1170095719/solver /tmp/evaluation/202753-1170095719 /tmp/evaluation/202753-1170095719/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: 3.55 3.45 3.22 5/95 24527
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=5352 CPUtime=0
/proc/24526/stat : 24526 (solver) D 24524 24526 23583 0 -1 4194304 264 0 0 0 0 0 0 0 21 0 1 0 29526345 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 231962373415 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/24526/statm: 1338 231 193 169 0 49 0

[startup+0.111552 s]
/proc/loadavg: 3.55 3.45 3.22 5/95 24527
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=12272 CPUtime=0
/proc/24526/stat : 24526 (sugar) D 24524 24526 23583 0 -1 4194304 640 0 4 0 0 0 0 0 18 0 1 0 29526345 12566528 363 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/24526/statm: 3068 363 274 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272

[startup+0.522518 s]
/proc/loadavg: 3.55 3.45 3.22 5/95 24527
/proc/meminfo: memFree=15880/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=13196 CPUtime=0.03
/proc/24526/stat : 24526 (sugar) D 24524 24526 23583 0 -1 4194304 930 0 4 0 2 1 0 0 18 0 1 0 29526345 13512704 653 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/24526/statm: 3299 653 336 3 0 399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13196

[startup+1.34622 s]
/proc/loadavg: 3.66 3.48 3.23 3/96 24528
/proc/meminfo: memFree=14912/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=13724 CPUtime=0.04
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1108 0 4 0 3 1 0 0 15 0 1 0 29526345 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 3431 805 368 3 0 531 0
[pid=24528] ppid=24526 vsize=216 CPUtime=0
/proc/24528/stat : 24528 (java) D 24526 24526 23583 0 -1 0 41 0 1 0 0 0 0 0 18 0 1 0 29526420 221184 30 18446744073709551615 134512640 134570532 4294956688 18446744073709551615 7205668 0 0 4096 0 18446744071563608240 0 0 17 0 0 0
/proc/24528/statm: 54 30 25 14 0 2 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13940

[startup+2.98404 s]
/proc/loadavg: 3.66 3.48 3.23 2/97 24529
/proc/meminfo: memFree=16312/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=13724 CPUtime=0.04
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1108 0 4 0 3 1 0 0 15 0 1 0 29526345 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 3431 805 368 3 0 531 0
[pid=24528] ppid=24526 vsize=9948 CPUtime=0
/proc/24528/stat : 24528 (java) S 24526 24526 23583 0 -1 0 708 0 10 0 0 0 0 0 18 0 1 0 29526420 10186752 470 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 0 0 0
/proc/24528/statm: 2487 470 383 14 0 1142 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23672

[startup+6.2717 s]
/proc/loadavg: 3.66 3.48 3.23 4/103 24544
/proc/meminfo: memFree=14920/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=13724 CPUtime=0.66
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1186 7471 4 32 3 1 54 8 15 0 1 0 29526345 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 3431 809 371 3 0 531 0
[pid=24537] ppid=24526 vsize=807336 CPUtime=1.59
/proc/24537/stat : 24537 (java) R 24526 24526 23583 0 -1 0 11719 0 1 0 152 7 0 0 25 0 8 0 29526805 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073659191 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24537/statm: 201834 11458 1506 14 0 189112 0
[pid=24537/tid=24538] ppid=24526 vsize=807336 CPUtime=0.36
/proc/24537/task/24538/stat : 24538 (java) S 24526 24526 23583 0 -1 64 5526 0 0 0 34 2 0 0 16 0 8 0 29526808 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24539] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24539/stat : 24539 (java) S 24526 24526 23583 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29526808 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24540] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24540/stat : 24540 (java) S 24526 24526 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29526808 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24541] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24541/stat : 24541 (java) S 24526 24526 23583 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29526811 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24542] ppid=24526 vsize=807336 CPUtime=0.13
/proc/24537/task/24542/stat : 24542 (java) S 24526 24526 23583 0 -1 64 399 0 0 0 12 1 0 0 16 0 8 0 29526811 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24543] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24543/stat : 24543 (java) S 24526 24526 23583 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29526811 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24544] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24544/stat : 24544 (java) S 24526 24526 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29526811 826712064 11458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 821060

[startup+12.6989 s]
/proc/loadavg: 3.94 3.55 3.25 3/103 24546
/proc/meminfo: memFree=14984/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=13724 CPUtime=0.66
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1186 7471 4 32 3 1 54 8 15 0 1 0 29526345 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 3431 809 371 3 0 531 0
[pid=24537] ppid=24526 vsize=807336 CPUtime=7.88
/proc/24537/stat : 24537 (java) R 24526 24526 23583 0 -1 0 54328 0 1 0 759 29 0 0 25 0 8 0 29526805 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24537/statm: 201834 53867 1506 14 0 189112 0
[pid=24537/tid=24538] ppid=24526 vsize=807336 CPUtime=2.19
/proc/24537/task/24538/stat : 24538 (java) S 24526 24526 23583 0 -1 64 47917 0 0 0 198 21 0 0 15 0 8 0 29526808 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24539] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24539/stat : 24539 (java) S 24526 24526 23583 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29526808 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24540] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24540/stat : 24540 (java) S 24526 24526 23583 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29526808 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24541] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24541/stat : 24541 (java) S 24526 24526 23583 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29526811 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24542] ppid=24526 vsize=807336 CPUtime=0.14
/proc/24537/task/24542/stat : 24542 (java) S 24526 24526 23583 0 -1 64 403 0 0 0 13 1 0 0 16 0 8 0 29526811 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24543] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24543/stat : 24543 (java) S 24526 24526 23583 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29526811 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24537/tid=24544] ppid=24526 vsize=807336 CPUtime=0
/proc/24537/task/24544/stat : 24544 (java) S 24526 24526 23583 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29526811 826712064 53867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 821060

[startup+25.5806 s]
/proc/loadavg: 4.18 3.61 3.27 3/96 24548
/proc/meminfo: memFree=72848/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=10388 CPUtime=8.56
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 3260 0 0 0 853 3 0 0 25 0 1 0 29528037 10637312 2221 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527284 0 0 4096 3 0 0 0 17 1 0 0
/proc/24547/statm: 2597 2221 52 112 0 2481 0
Current children cumulated CPU time (s) 21.25
Current children cumulated vsize (KiB) 26832

[startup+51.2528 s]
/proc/loadavg: 4.09 3.64 3.29 3/96 24556
/proc/meminfo: memFree=16208/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=13548 CPUtime=33.93
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 4029 0 0 0 3375 18 0 0 25 0 1 0 29528037 13873152 2990 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 3387 2990 52 112 0 3271 0
Current children cumulated CPU time (s) 46.62
Current children cumulated vsize (KiB) 29992

[startup+102.474 s]
/proc/loadavg: 3.24 3.47 3.25 3/96 24560
/proc/meminfo: memFree=15312/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=16304 CPUtime=84.82
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 4702 0 0 0 8447 35 0 0 25 0 1 0 29528037 16695296 3663 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 4076 3663 52 112 0 3960 0
Current children cumulated CPU time (s) 97.51
Current children cumulated vsize (KiB) 32748

[startup+162.496 s]
/proc/loadavg: 2.50 3.21 3.18 3/95 24628
/proc/meminfo: memFree=1638488/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=18536 CPUtime=144.04
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 5285 0 0 0 14354 50 0 0 25 0 1 0 29528037 18980864 4246 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 4634 4246 52 112 0 4518 0
Current children cumulated CPU time (s) 156.73
Current children cumulated vsize (KiB) 34980

[startup+222.577 s]
/proc/loadavg: 2.26 3.02 3.11 3/95 24628
/proc/meminfo: memFree=1166872/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=20284 CPUtime=203.53
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 5708 0 0 0 20302 51 0 0 25 0 1 0 29528037 20770816 4669 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528404 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 5071 4669 52 112 0 4955 0
Current children cumulated CPU time (s) 216.22
Current children cumulated vsize (KiB) 36728

[startup+282.647 s]
/proc/loadavg: 2.09 2.83 3.04 3/95 24628
/proc/meminfo: memFree=1165784/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=21284 CPUtime=263.07
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 5960 0 0 0 26256 51 0 0 25 0 1 0 29528037 21794816 4921 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 5321 4921 52 112 0 5205 0
Current children cumulated CPU time (s) 275.76
Current children cumulated vsize (KiB) 37728

[startup+342.682 s]
/proc/loadavg: 2.03 2.68 2.97 3/95 24628
/proc/meminfo: memFree=1164568/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=22352 CPUtime=322.54
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 6212 0 0 0 32202 52 0 0 25 0 1 0 29528037 22888448 5173 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 5588 5173 52 112 0 5472 0
Current children cumulated CPU time (s) 335.23
Current children cumulated vsize (KiB) 38796

[startup+402.719 s]
/proc/loadavg: 2.07 2.58 2.92 3/95 24628
/proc/meminfo: memFree=1164376/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0

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

/proc/loadavg: 2.00 2.10 2.45 3/95 24860
/proc/meminfo: memFree=1138152/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=30252 CPUtime=1098.71
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8133 0 0 0 109807 64 0 0 25 0 1 0 29528037 30978048 7094 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24547/statm: 7563 7094 52 112 0 7447 0
Current children cumulated CPU time (s) 1111.4
Current children cumulated vsize (KiB) 46696

[startup+1183.39 s]
/proc/loadavg: 2.00 2.08 2.42 3/95 24860
/proc/meminfo: memFree=1137768/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=30584 CPUtime=1158.74
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8200 0 0 0 115809 65 0 0 25 0 1 0 29528037 31318016 7161 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24547/statm: 7646 7161 52 112 0 7530 0
Current children cumulated CPU time (s) 1171.43
Current children cumulated vsize (KiB) 47028

[startup+1243.4 s]
/proc/loadavg: 1.58 1.95 2.35 3/95 25041
/proc/meminfo: memFree=1787112/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=32384 CPUtime=1218.53
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8668 0 0 0 121786 67 0 0 25 0 1 0 29528037 33161216 7629 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528186 0 0 4096 3 0 0 0 17 1 0 0
/proc/24547/statm: 8096 7629 52 112 0 7980 0
Current children cumulated CPU time (s) 1231.22
Current children cumulated vsize (KiB) 48828

[startup+1303.47 s]
/proc/loadavg: 1.86 1.96 2.33 3/88 25210
/proc/meminfo: memFree=1780704/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=32660 CPUtime=1278.45
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8720 0 0 0 127776 69 0 0 25 0 1 0 29528037 33443840 7681 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8165 7681 52 112 0 8049 0
Current children cumulated CPU time (s) 1291.14
Current children cumulated vsize (KiB) 49104

[startup+1363.52 s]
/proc/loadavg: 1.95 1.97 2.30 3/88 25210
/proc/meminfo: memFree=1773664/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=32804 CPUtime=1338.22
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8755 0 0 0 133753 69 0 0 25 0 1 0 29528037 33591296 7716 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8201 7716 52 112 0 8085 0
Current children cumulated CPU time (s) 1350.91
Current children cumulated vsize (KiB) 49248

[startup+1423.57 s]
/proc/loadavg: 1.98 1.97 2.28 3/88 25210
/proc/meminfo: memFree=1771680/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=33104 CPUtime=1398.01
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8817 0 0 0 139732 69 0 0 25 0 1 0 29528037 33898496 7778 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8276 7778 52 112 0 8160 0
Current children cumulated CPU time (s) 1410.7
Current children cumulated vsize (KiB) 49548

[startup+1483.6 s]
/proc/loadavg: 1.99 1.97 2.26 3/88 25210
/proc/meminfo: memFree=1769120/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=33104 CPUtime=1457.76
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8837 0 0 0 145707 69 0 0 25 0 1 0 29528037 33898496 7798 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8276 7798 52 112 0 8160 0
Current children cumulated CPU time (s) 1470.45
Current children cumulated vsize (KiB) 49548

[startup+1543.64 s]
/proc/loadavg: 2.15 2.00 2.25 3/94 25236
/proc/meminfo: memFree=1766472/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=33304 CPUtime=1517.51
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8874 0 0 0 151678 73 0 0 25 0 1 0 29528037 34103296 7835 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528506 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8326 7835 52 112 0 8210 0
Current children cumulated CPU time (s) 1530.2
Current children cumulated vsize (KiB) 49748

[startup+1603.71 s]
/proc/loadavg: 2.06 2.00 2.24 3/94 25360
/proc/meminfo: memFree=1765840/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=33304 CPUtime=1577.23
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 8892 0 0 0 157638 85 0 0 25 0 1 0 29528037 34103296 7853 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8326 7853 52 112 0 8210 0
Current children cumulated CPU time (s) 1589.92
Current children cumulated vsize (KiB) 49748

[startup+1663.77 s]
/proc/loadavg: 2.09 2.02 2.22 3/88 25408
/proc/meminfo: memFree=1763680/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=34116 CPUtime=1636.97
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 9067 0 0 0 163607 90 0 0 25 0 1 0 29528037 34934784 8028 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8529 8028 52 112 0 8413 0
Current children cumulated CPU time (s) 1649.66
Current children cumulated vsize (KiB) 50560

[startup+1723.82 s]
/proc/loadavg: 2.03 2.01 2.21 3/88 25408
/proc/meminfo: memFree=1762784/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=34516 CPUtime=1696.75
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 9176 0 0 0 169585 90 0 0 25 0 1 0 29528037 35344384 8137 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8629 8137 52 112 0 8513 0
Current children cumulated CPU time (s) 1709.44
Current children cumulated vsize (KiB) 50960

[startup+1783.86 s]
/proc/loadavg: 2.01 2.00 2.19 3/88 25408
/proc/meminfo: memFree=1762144/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=34788 CPUtime=1756.52
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 9227 0 0 0 175562 90 0 0 25 0 1 0 29528037 35622912 8188 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8697 8188 52 112 0 8581 0
Current children cumulated CPU time (s) 1769.21
Current children cumulated vsize (KiB) 51232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.85 s]
/proc/loadavg: 2.00 2.00 2.18 3/88 25408
/proc/meminfo: memFree=1761184/2055920 swapFree=4192812/4192956
[pid=24526] ppid=24524 vsize=16444 CPUtime=12.69
/proc/24526/stat : 24526 (sugar) S 24524 24526 23583 0 -1 4194304 1970 62515 4 36 7 1 1215 46 16 0 1 0 29526345 16838656 1485 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24526/statm: 4111 1485 373 3 0 1211 0
[pid=24547] ppid=24526 vsize=34788 CPUtime=1787.37
/proc/24547/stat : 24547 (minisat) R 24526 24526 23583 0 -1 0 9231 0 0 0 178647 90 0 0 25 0 1 0 29528037 35622912 8192 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528435 0 0 4096 3 0 0 0 17 0 0 0
/proc/24547/statm: 8697 8192 52 112 0 8581 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51232

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

Child status: 1

!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24526 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=234140 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=483926
CPU time returned by wait4() is 12.7181
while last known CPU time is 1800.08

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

Real time (s): 1815.87
CPU time (s): 1800.08
CPU user time (s): 1798.7
CPU system time (s): 1.38
CPU usage (%): 99.1304
Max. virtual memory (cumulated for all children) (KiB): 821312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2341
system time used= 0.483926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64570
page faults= 40
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3883
involuntary context switches= 4020

runsolver used 1.92671 s user time and 5.34919 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Mon Jan 29 18:35:20 UTC 2007


IDJOB= 202753
IDBENCH= 3880
IDSOLVER= 86
FILE ID= node16/202753-1170095719

PBS_JOBID= 3689403

Free space on /tmp= 38074 MiB

SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
COMMAND LINE= /tmp/evaluation/202753-1170095719/solver /tmp/evaluation/202753-1170095719 /tmp/evaluation/202753-1170095719/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-202753-1170095719 -o ROOT/results/node16/solver-202753-1170095719 -C 1800 -M 900  /tmp/evaluation/202753-1170095719/solver /tmp/evaluation/202753-1170095719 /tmp/evaluation/202753-1170095719/unknown.xml

META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH=  a8611361fc071f36f209f12d9cff780e

RANDOM SEED= 544891672

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.281
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.281
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:         15656 kB
Buffers:          3228 kB
Cached:        1814480 kB
SwapCached:          0 kB
Active:         158032 kB
Inactive:      1786060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:         15656 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:          822764 kB
Writeback:           0 kB
Mapped:         151876 kB
Slab:            80904 kB
Committed_AS:   487212 kB
PageTables:       2308 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= 66546 MiB



End job on node16 on Mon Jan 29 19:05:36 UTC 2007